Abstract:This paper is concerned with the geometry the moduli space $\mathscr{M}$ of torsion-free $G_2$-structures on a compact $G_2$-manifold $M$, equipped with the volume-normalised $L^2$-metric $\mathscr{G}$. When $b^1(M) = 0$, this metric is known to be of Hessian type and to admit a global potential. Here we give a new description of the geometry of $\mathscr{M}$, based on the observation that there is a natural way to immerse the moduli space into a homogeneous space $D$ diffeomorphic to $GL(n+1)/ (\{\pm 1\} \times O(n))$, where $n = b^3(M) - 1$. We point out that the formal properties of this immersion $\Phi : \mathscr{M} \rightarrow D$ are very similar to those of the period map defined on the moduli spaces of Calabi--Yau threefolds. With a view to understand the curvatures of $\mathscr{G}$, we also derive a new formula for the fourth derivative of the potential and relate it to the second fundamental form of $\Phi(\mathscr{M}) \subset D$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the geometric characteristics of the torsion - free $G_2$ structure moduli space $M$ on $G_2$ manifolds. Specifically, the author focuses on the geometric properties of the moduli space $M$ equipped with the volume - normalized $L^2$ metric $G$ when the first Betti number $b_1(M)=0$. It is known that in this case, the metric $G$ is of Hessian type and there exists a global potential function. However, little is currently known about the overall structure of the $G_2$ moduli space, mainly because of the lack of a result corresponding to Yau's theorem in $G_2$ geometry. To gain a deeper understanding of the geometric characteristics of the $G_2$ moduli space, the author introduces a new description method. By observing that the moduli space $M$ can be naturally immersed into a homogeneous space $D$ which is homeomorphic to $GL(n + 1)/(\{\pm1\}\times O(n))$, where $n=b_3(M)- 1$. The formal properties of this immersion $\Phi:M\rightarrow D$ are very similar to the period map defined on the Calabi - Yau three - fold moduli space. Moreover, in order to understand the curvature of the metric $G$, the author also derives a new formula to calculate the fourth - order derivative of the potential function and relates it to the second fundamental form of $\Phi(M)\subset D$. In summary, the main objective of this paper is to further reveal the geometric characteristics of the $G_2$ moduli space, especially its curvature properties, by introducing new geometric tools and methods, thereby providing new perspectives and insights for the study of $G_2$ geometry.

Geometry and periods of $G_2$-moduli spaces

Curvatures of Moduli Space of Curves and Applications

GEOMETRY MODULI SPACES

Generalising G$_\text{2}$ geometry: involutivity, moment maps and moduli

Moduli spaces as ball quotients I, local theory

Local Geometry of the G2 Moduli Space

On the incompleteness of $G_2$-moduli spaces along degenerating families of $G_2$-manifolds

The physical moduli of heterotic G_2 string compactifications

Torsors on moduli spaces of principal $G$-bundles

Superperiods and superstring measure near the boundary of the moduli space of supercurves

Moduli Space of Torsional Manifolds

The $G_2$ geometry of $3$-Sasaki structures

Asymptotic directions in the moduli space of curves

Geometry of non-classical period domains

Torsion-free $G_2$-structures with identical Riemannian metric

Some remarks on G_2-structures

Higher Geometric Structures on Manifolds and the Gauge Theory of Deligne Cohomology

On the local geometry of the moduli space of $(2,2)$-threefolds in ${\mathcal A}_9$

Geometric Structures for the $G_2'$-Hitchin Component

Discrete Torsion in Singular G_2-Manifolds and Real LG

On Counting Flat Connections over $G_2$-Orbifolds