Harmonic $\rm{Sp}(2)$-invariant $\rm{G}_2$-structures on the $7$-sphere

Abstract: We describe the $10$-dimensional space of $\rm{Sp}(2)$-invariant $\rm{G}_2$-structures on the homogeneous $7$-sphere $\mathbb{S}^7=\mathrm{Sp}(2)/\rm{Sp}(1)$ as $\Omega_+^3(\mathbb{S}^7)^{\mathrm{Sp}(2)}\simeq \mathbb{R}^+ \times\rm{Gl}^+(3,\mathbb{R})$. In those terms, we formulate a general Ansatz for $\rm{G}_2$-structures, which realises representatives in each of the $7$ possible isometric classes of homogeneous $\rm{G}_2$-structures. Moreover, the well-known nearly parallel ${round}$ and ${squashed}$ metrics occur naturally as opposite poles in an $\mathbb{S}^3$-family, the equator of which is a new $\mathbb{S}^2$-family of coclosed $\rm{G}_2$-structures satisfying the harmonicity condition $\mathrm{div}\; T=0$. We show general existence of harmonic representatives of $\rm{G}_2$-structures in each isometric class through explicit solutions of the associated flow and describe the qualitative behaviour of the flow. We study the stability of the Dirichlet gradient flow near these critical points, showing explicit examples of degenerate and nondegenerate local maxima and minima, at various regimes of the general Ansatz. Finally, for metrics outside of the Ansatz, we identify families of harmonic $\rm{G}_2$-structures, prove long-time existence of the flow and study the stability properties of some well-chosen examples.

Joint work with E. Loubeau, A. Moreno and J. Saavedra.

differential geometry

Audience: researchers in the topic

( paper | video )

---

Virtual seminar on geometry with symmetries

Series comments: Description: Research seminar in Lie group actions in Riemannian geometry.

The seminar meets every other Wednesday. To accommodate most time zones, the time rotates. The Zoom link is sent to the mailing list around 24 hours before each talk. To subscribe to the mailing list, send a message to geometrywithsymmetries@gmail.com requiring it.

---