On the geometry of closed G₂-structures

From MaRDI portal
Publication:883034



Abstract: We give an answer to a question posed recently by R.Bryant, namely we show that a compact 7-dimensional manifold equipped with a G2-structure with closed fundamental form is Einstein if and only if the Riemannian holonomy of the induced metric is contained in G2. This could be considered to be a G2 analogue of the Goldberg conjecture in almost Kahler geometry. The result was generalized by R.L.Bryant to closed G2-structures with too tightly pinched Ricci tensor. We extend it in another direction proving that a compact G2-manifold with closed fundamental form and divergence-free Weyl tensor is a G2-manifold with parallel fundamental form. We introduce a second symmetric Ricci-type tensor and show that Einstein conditions applied to the two Ricci tensors on a closed G2-structure again imply that the induced metric has holonomy group contained in G2.


Let \(e_1,\dots, e_7\) be an oriented orthonormal basis of \(\mathbb R^7\) and denote \(e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_p}\) by \(e_{i_i}\cdots e_{i_p}\). The subgroup of \(\text{GL}(7)\) that fixes the three-form \[ \omega= e_{124}+ e_{235}+ e_{346}+ e_{457}+ e_{561}+ e_{672}+ e_{713} \] is the exceptional Lie group \(G_2\) and is a compact, connected, simply-connected, simple Lie subgroup of \(\text{SO}(7)\) of \(\dim 14\). A \(G_2\)-structure on a 7-manifold is a reduction of the structure group of the tangent bundle to \(G_2\), and \(\omega\) is called the fundamental form of the \(G_2\)-manifold \(M\). When \(\omega\) is parallel, it is known that the holonomy group is contained in \(G_2\). Compact examples of such parallel \(G_2\)-manifolds were obtained by \textit{D. Joyce} [J. Differ. Geom 43, No. 2, 291--328 (1996; Zbl 0861.53022)] which are all called Joyce spaces. In this paper the authors study the geometry of closed \(G_2\)-structures and present as main theorem the following result: A compact and closed \(G_2\)-manifold with harmonic Weyl tensor is a Joyce space. With this theorem associated is the following corollary: If \(M\) as above admits a harmonic curvature or is an Einstein space, then it is a Joyce space.




Cited in
(38)








This page was built for publication: On the geometry of closed \(G_{2}\)-structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q883034)