Highly symmetric 2-plane fields on 5-manifolds and 5-dimensional Heisenberg group holonomy

Abstract

Nurowski showed that any generic 2-plane field D on a 5-manifold M determines a natural conformal structure cD on M; these conformal structures are exactly those (on oriented M) whose normal conformal holonomy is contained in the (split, real) simple Lie group G2. Graham and Willse showed that for real-analytic D the same holds for the holonomy of the real-analytic Fefferman–Graham ambient metric of cD, and that both holonomy groups are equal to G2 for almost all D. We investigate here independently interesting 2-plane fields for which the associated holonomy groups are a proper subgroup of G2.Cartan solved the local equivalence problem for 2-plane fields D and constructed the fundamental curvature tensor A for these objects. He furthermore claimed to describe locally all D whose infinitesimal symmetry algebra has rank at least 6 and gave a local quasi-normal form, depending on a single function of one variable, for those that furthermore satisfy a natural degeneracy condition on A, but Doubrov and Govorov recently rediscovered a counterexample to Cartanʼs claim. We show that for all D given by Cartanʼs alleged quasi-normal form, the conformal structures cD induced via Nurowskiʼs construction are almost Einstein, that we can write their ambient metrics explicitly, and that the holonomy groups associated to cD are always the 5-dimensional Heisenberg group, which here acts indecomposably but not irreducibly. (Not all of these properties hold, however, for Doubrov and Govorovʼs counterexample.) We also show that the similar results hold for the related class of 2-plane fields defined on suitable jet spaces by ordinary differential equations z′(x)=F(y″(x)) satisfying a simple genericity condition.