ScalingStacks

2.2. Calabi model spaces [04Z8]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

2.2. Calabi model spaces

In general it is not easy to directly solve the equation (2.26), but we can easily see some special solutions, which will be important for us.

Suppose (D,Ω)(D,\Omega) is an n−1n-1 dimensional compact Calabi-Yau manifold, and ωD\omega_{D} is a Calabi-Yau metric on DD with [ωD]∈2​π​H2​(D,ℤ)[\omega_{D}]\in 2\pi H^{2}(D;\mathbb{Z}), satisfying

(2.29) ωDn−1(n−1)!=(−1)(n−1)22n−1​ΩD∧Ω¯D.\frac{\omega_{D}^{n-1}}{(n-1)!}=\frac{(\sqrt{-1})^{(n-1)^{2}}}{2^{n-1}}\Omega_{D}\wedge\bar{\Omega}_{D}.

If we set

(2.30) {ω~​(z)=z⋅ωD;h=zn−1\begin{cases}\tilde{\omega}(z)=z\cdot\omega_{D};\\ h=z^{n-1}\end{cases}

Then as long as z>0z>0, (ω~,h)(\tilde{\omega},h) clearly satisfy (2.26) and the integrality condition is also achieved, so we get (incomplete) Calabi-Yau metrics in nn dimension.

This metric has already appeared in Kähler geometry, which is usually expressed in terms of a Kähler potential. To explain this, we fix a holomorphic line bundle LDL_{D} with first Chern class 12​π​ωD\frac{1}{2\pi}\omega_{D}, and also fix a hermitian metric on LDL_{D} whose curvature form is −−1​ωD-\sqrt{-1}\omega_{D}. Then we consider the subset 𝒞\mathcal{C} of the total space of LDL_{D} consisting of all elements ξ\xi with 0<|ξ|<10<|\xi|<1. It is endowed with a nowhere vanishing holomorphic volume form Ω𝒞\Omega_{\mathcal{C}} and a Ricci-flat Kähler metric ω𝒞\omega_{\mathcal{C}} which is incomplete as |ξ|→1|\xi|\to 1 and complete as |ξ|→0|\xi|\to 0. The holomorphic volume form Ω𝒞\Omega_{\mathcal{C}} is given by (as in Section 4.2)

(2.31) Ω𝒞=−1​d​ξξ∧ΩD\Omega_{\mathcal{C}}=\sqrt{-1}\frac{d\xi}{\xi}\wedge\Omega_{D}

The metric ω𝒞\omega_{\mathcal{C}} is given by the Calabi ansatz

(2.32) ω𝒞=nn+1​−1​∂∂¯​(−log⁡|ξ|2)n+1n.\omega_{\mathcal{C}}=\frac{n}{n+1}\sqrt{-1}\partial\bar{\partial}(-{\log|\xi|^{2}})^{\frac{n+1}{n}}.

It is straightforward to check that

(2.33) ω𝒞n=1n​2n−1​(−1)n2​Ω𝒞∧Ω¯𝒞,\omega_{\mathcal{C}}^{n}=\frac{1}{n2^{n-1}}(\sqrt{-1})^{n^{2}}\Omega_{\mathcal{C}}\wedge\overline{\Omega}_{\mathcal{C}},

Clearly the Calabi-Yau structure (ω𝒞,Ω𝒞)(\omega_{\mathcal{C}},\Omega_{\mathcal{C}}) is invariant under the natural S1S^{1} action on LDL_{D}. Applying the S1S^{1} reduction as in Section 2.1, we get that the moment map is given by

(2.34) z=(−log⁡|ξ|2)1/n,z=(-{\log|\xi|^{2}})^{1/n},

and the reduced family of Kähler metrics on DD is given by

(2.35) ω~=z⋅ωD.\tilde{\omega}=z\cdot\omega_{D}.

The function hh is

(2.36) h=2n​zn.h=\frac{2}{n}z^{n}.

So we see this gives rise to the above solution to (2.30) (up to a multiplicative constant on hh), We call the space (𝒞,ω𝒞,Ω𝒞)(\mathcal{C},\omega_{\mathcal{C}},\Omega_{\mathcal{C}}) a Calabi model space. In Section 4.2, Remark 4.12.2 we shall see the formula (2.32) can also be recovered from (2.30), and this works in a more general situation.

Now from the second construction the connection 1-form Θ\Theta is given by the Chern connection 1-form on LDL_{D}. We claim that by varying the holomorphic structures on LDL_{D} we obtain all the gauge equivalence classes of Θ\Theta. This follows from the fact that there is a natural isomorphism between the group 𝒮h\mathcal{S}_{h} of the isomorphism classes of holomorphic line bundles with c1=0∈H2​(D,ℝ)c_{1}=0\in H^{2}(D;\mathbb{R}) and the group 𝒮f\mathcal{S}_{f} of gauge equivalence classes of flat U⁡(1)U(1) connections on DD. Abstractly, we know the first group fits into an exact sequence

(2.37) 0→H1​(D,𝒪)H1​(D,ℤ)→𝒮h→Htor2→0,0\rightarrow\frac{H^{1}(D;\mathcal{O})}{H^{1}(D;\mathbb{Z})}\rightarrow\mathcal{S}_{h}\rightarrow H^{2}_{\text{tor}}\rightarrow 0,

where Ht​o​r2H^{2}_{tor} denotes the torsion subgroup in H2​(D,ℤ)H^{2}(D;\mathbb{Z}), and the second group fits into a short exact sequence

(2.38) 0→H1​(D,ℝ)H1​(D,ℤ)→𝒮f→Hom​(H1,tor,S1)→00\rightarrow\frac{H^{1}(D;\mathbb{R})}{H^{1}(D;\mathbb{Z})}\rightarrow\mathcal{S}_{f}\rightarrow\text{Hom}(H_{1,\text{tor}},S^{1})\rightarrow 0

where H1,t​o​rH_{1,tor} is the torsion subgroup in H1​(D,ℤ)H_{1}(D;\mathbb{Z}). The isomorphism between 𝒮h\mathcal{S}_{h} and 𝒮f\mathcal{S}_{f} induces an isomorphism on the torsion quotients, which coincides with the isomorphism

(2.39) Htor2≃Ext​(H1​(D,ℤ),ℤ)≃Hom​(H1,t​o​r,S1)H^{2}_{\text{tor}}\simeq\text{Ext}(H_{1}(D;\mathbb{Z}),\mathbb{Z})\simeq\text{Hom}(H_{1,tor},S^{1})

given by the universal coefficient theorem.

We mentioned in the above that gauge equivalent choices of the connection 1-form Θ\Theta yield isomorphic Calabi-Yau structures on 𝒞\mathcal{C}. Now we observe that for different choices of gauge equivalence classes which differ only by an element in the identity component of 𝒮f\mathcal{S}_{f}, the resulting Calabi-Yau structures are also isomorphic, via a diffeomorphism that covers a holomorphic isometry on DD. For this we fix a choice of Θ\Theta, then given any vector field VV on DD, let V^\hat{V} be the horizontal lift of VV to the U⁡(1)U(1) bundle with respect to the connection Θ\Theta. The infinitesmal variation of Θ\Theta along the flow of V^\hat{V} is given by

(2.40) ℒV^​Θ=d⁡(V^​⌟​Θ)+V^​⌟​d​Θ=V​⌟​ωD.\mathcal{L}_{\hat{V}}\Theta=d(\hat{V}\lrcorner\Theta)+\hat{V}\lrcorner d\Theta=V\lrcorner\omega_{D}.

Since ωD\omega_{D} is Ricci-flat, every harmonic 1-form on DD is parallel, so by Bochner’s theorem, the map V↦V​⌟​ωDV\mapsto V\lrcorner\omega_{D} defines an isomorphism between the space of parallel vector fields on DD and the space of harmonic 1-forms on DD. A parallel vector field is automatically holomorphic and Killing, we see if Θ′\Theta^{\prime} differs from Θ\Theta by a harmonic 1-form, then they are related by the flow of some V^\hat{V} for a parallel vector field VV.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.