Abstract:We derive a formula for the energy of a path in the moduli space of a compact $G_2$-manifold with vanishing first Betti number for the volume-normalised $L^2$-metric. This allows us to give simple sufficient conditions for a path of torsion-free $G_2$-structures to have finite energy and length. We deduce that the compact $G_2$-manifolds produced by the generalised Kummer construction have incomplete moduli spaces. Under some assumptions, we also state a necessary condition for the limit of a path of torsion-free $G_2$-structures to be at infinite distance in the moduli space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that G2 - moduli spaces are generally not complete. Specifically, the author proves that the singular limits of certain degenerate families of G2 - manifolds appear at a finite distance in the moduli space. Before this, this had not been known. The paper proves this conclusion by deriving the formula for path energy and giving simple sufficient conditions to determine whether a path of torsion - free G2 - structures has finite energy and length. In addition, the paper also explores the incompleteness of the moduli space of compact G2 - manifolds generated by the generalized Kummer construction, and under certain assumptions, gives the necessary conditions for the limit of a path of torsion - free G2 - structures to be at an infinite distance in the moduli space.
### Main contributions
1. **Derivation of the path energy formula**:
- The author derives a formula for the energy of a path under the volume - normalized L2 metric.
- This formula allows the author to give simple sufficient conditions to determine whether a path of torsion - free G2 - structures has finite energy and length.
2. **Proof of the incompleteness of the moduli space**:
- Through the above formula, the author proves that the singular limits of certain degenerate families of G2 - manifolds appear at a finite distance in the moduli space.
- This means that the moduli spaces of these G2 - manifolds are incomplete.
3. **Application of the generalized Kummer construction**:
- The author applies the generalized Kummer construction method to prove that the moduli space of compact G2 - manifolds generated by this method is incomplete.
4. **Discussion of necessary conditions**:
- Under certain assumptions, the author also gives the necessary conditions for the limit of a path of torsion - free G2 - structures to be at an infinite distance in the moduli space.
### Formulas and derivations
The paper uses several key formulas, and the following are some of the important ones:
1. **Path energy formula**:
\[
E_{\tau}^T(\phi_t) = \frac{1}{\text{Vol}(\phi_\tau)} \langle \left.\frac{d[\phi_t]}{dt}\right|_{t=\tau} \cup [\Theta(\phi_\tau)], [M] \rangle - \frac{1}{\text{Vol}(\phi_T)} \langle \left.\frac{d[\phi_t]}{dt}\right|_{t=T} \cup [\Theta(\phi_T)], [M] \rangle + \int_\tau^T \frac{1}{\text{Vol}(\phi_t)} \langle \frac{d^2[\phi_t]}{dt^2} \cup [\Theta(\phi_t)], [M] \rangle dt
\]
2. **Volume - normalized L2 metric**:
\[
G_{\phi_t}(\dot{\phi}_t, \dot{\phi}_t) = -h'(t) + \frac{1}{\text{Vol}(\phi_t)} \langle \frac{d^2[\phi_t]}{dt^2} \cup [\Theta(\phi_t)], [M] \rangle
\]
3. **Relationship between path length and energy**:
\[
L_0^T(\phi_t)^2 \leq T E_0^T(\phi_t)
\]
4. **Relationship between volume and homology classes**:
\[
|g_{ij}(t)| = \left| \int_{[D_{ij}]} \Theta(\tilde{\phi}_t) \right| \leq \text{Vol}(D_{ij}, g_{\tilde{\phi}_t})
\]
### Conclusion
By deriving the path energy formula, the paper proves that the singular limits of certain degenerate families of G2 - manifolds appear at a finite distance in the moduli space, thus proving that G2 - moduli spaces are generally incomplete. This result is important for understanding the geometric properties of G2 - manifolds and their applications in physics.