ALG gravitational instantons and Hitchin moduli spaces, I: Torelli parameters

Abstract

This is the first of two papers which together prove that the $12$-parameter family of parabolic $SU(2)$-Hitchin moduli spaces on the four-punctured sphere are all ALG gravitational instantons of type D4, and hence are asymptotic to $(\mathbb{C} \times T^2_τ)/\mathbb{Z}_2$ at infinity. The elliptic modulus $τ$ is determined by the cross-ratio of the four points. In this first paper, we consider each Hitchin moduli space corresponding to an allowable set of parabolic data and compute its Torelli parameters. There is a $12$-parameter family of Hitchin moduli spaces corresponding to different parabolic data, and we show that these realize all possible allowable Torelli parameters. In the companion paper, we we will show there that all of the Hitchin moduli spaces studied here are indeed ALG of type $D_4$, and consequently that every ALG-$D_4$ gravitational instanton can be realized as a Hitchin moduli space. Altogether, this will give the first verification of any case of the Modularity Conjecture: that all ALG gravitational instantons with tangent cone $\mathbb{C}/\mathbb{Z}_2$ can be realized as Hitchin moduli spaces with their natural associated $L^2$ metrics.

Figures (13)

• Figure 2.1:
• Figure 2.2: $\mathbb C^\times$-fixed points are shown in red
• Figure 3.1: Nilpotent cone assembly kit for interior chambers of Type A1 (first row) and A2 (second row), as appearing in Figures 7-9 of Meneses. The first column describes the pieces of bundle type $\mathcal{O}(-2) \oplus \mathcal{O}(-2)$ and the second column describes the pieces of bundle type $\mathcal{O}(-3) \oplus \mathcal{O}(-1)$. The labels of the $\mathbb {CP}^1$ are Meneses.
• Figure 3.2: Nilpotent cone assembly kit for interior chambers of Type B1 (first row) and B2 (second row), as appearing in Figures 7-9 of Meneses. See comments on Figure \ref{['fig:assemblyA']}.
• Figure 3.3: Nilpotent cone assembly kit for exterior chambers of Type E1 (first row) and E2 (second row), as appearing in Figures 7-9 of Meneses. See comments on Figure \ref{['fig:assemblyA']}.

Theorems & Definitions (177)

• Theorem 1.1
• Conjecture 1.2: Modularity Conjecture aim
• Theorem 1.3: cf. Theorem \ref{['thm:Torelli']}
• Theorem 1.4: cf. See Theorem \ref{['thm:surjective']}
• Conjecture 1.5
• Theorem 1.6
• Definition 1.7
• Definition 1.8
• Definition 1.9
• Theorem 1.10: Torelli theorem for ALG spaces