S^1-quotient of Spin(7)-structures

From MaRDI portal
Publication:2190772



Abstract: If a Spin(7) manifold N8 admits a free S1 action preserving the fundamental 4-form then the quotient space M7 is naturally endowed with a G2-structure. We derive equations relating the intrinsic torsion of the Spin(7)-structure to that of the G2-structure together with the additional data of a Higgs field and the curvature of the S1-bundle; this can be interpreted as a Gibbons-Hawking-type ansatz for Spin(7)-structures. We focus on the three Spin(7) torsion classes: torsion-free, locally conformally parallel and balanced. In particular we show that if N is a Spin(7) manifold then M cannot have holonomy contained in G2 unless N is in fact a Calabi-Yau 4-fold and M is the product of a Calabi-Yau 3-fold and an interval. We also derive a new formula for the Ricci curvature of Spin(7)-structures in terms of the torsion forms. We then describe this S1-quotient construction in detail for the Bryant-Salamon Spin(7) metric on the spinor bundle of S4 and for the flat metric on mathbbR8.


This work is concerned with the study of \(\mathrm{Spin}(7)\)-structures (with torsion) which are invariant under the action of \(S^1\). Recall that \(\mathrm{Spin}(7)\) is one of the two exceptional groups appearing in the Berger classification, the other one is \(G_2\). Also recall that \textit{V. Apostolov} and \textit{S. Salamon} [Commun. Math. Phys. 246, No. 1, 43--61 (2004; Zbl 1067.53039)] used the \(S^1\)-reduction of \(G_2\) with Kähler quotient, to give examples of metrics with \(G_2\) holonomy. The paper under review parallels this method in the \(\mathrm{Spin}(7)\) setting. The first result is that \(G_2\)-holonomy in the \(\mathrm{Spin}(7)\) setting appears only in dimension \(4\) and requires the presence of a Calabi-Yau structure. Inverting this construction, the author constructs examples of \(\mathrm{SU}(4)\)-holonomy metrics and gives a formula for the Ricci curvature of a \(\mathrm{Spin}(7)\)-structure in terms of torsion.



Cites work









This page was built for publication: \(S^1\)-quotient of \(\mathrm{Spin}(7)\)-structures

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