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 is an dimensional compact Calabi-Yau manifold, and is a Calabi-Yau metric on with , satisfying
| (2.29) |
If we set
| (2.30) |
Then as long as , clearly satisfy (2.26) and the integrality condition is also achieved, so we get (incomplete) Calabi-Yau metrics in 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 with first Chern class , and also fix a hermitian metric on whose curvature form is . Then we consider the subset of the total space of consisting of all elements with . It is endowed with a nowhere vanishing holomorphic volume form and a Ricci-flat Kähler metric which is incomplete as and complete as . The holomorphic volume form is given by (as in Section 4.2)
| (2.31) |
The metric is given by the Calabi ansatz
| (2.32) |
It is straightforward to check that
| (2.33) |
Clearly the Calabi-Yau structure is invariant under the natural action on . Applying the reduction as in Section 2.1, we get that the moment map is given by
| (2.34) |
and the reduced family of Kähler metrics on is given by
| (2.35) |
The function is
| (2.36) |
So we see this gives rise to the above solution to (2.30) (up to a multiplicative constant on ), We call the space 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 is given by the Chern connection 1-form on . We claim that by varying the holomorphic structures on we obtain all the gauge equivalence classes of . This follows from the fact that there is a natural isomorphism between the group of the isomorphism classes of holomorphic line bundles with and the group of gauge equivalence classes of flat connections on . Abstractly, we know the first group fits into an exact sequence
| (2.37) |
where denotes the torsion subgroup in , and the second group fits into a short exact sequence
| (2.38) |
where is the torsion subgroup in . The isomorphism between and induces an isomorphism on the torsion quotients, which coincides with the isomorphism
| (2.39) |
given by the universal coefficient theorem.
We mentioned in the above that gauge equivalent choices of the connection 1-form yield isomorphic Calabi-Yau structures on . Now we observe that for different choices of gauge equivalence classes which differ only by an element in the identity component of , the resulting Calabi-Yau structures are also isomorphic, via a diffeomorphism that covers a holomorphic isometry on . For this we fix a choice of , then given any vector field on , let be the horizontal lift of to the bundle with respect to the connection . The infinitesmal variation of along the flow of is given by
| (2.40) |
Since is Ricci-flat, every harmonic 1-form on is parallel, so by Bochner’s theorem, the map defines an isomorphism between the space of parallel vector fields on and the space of harmonic 1-forms on . A parallel vector field is automatically holomorphic and Killing, we see if differs from by a harmonic 1-form, then they are related by the flow of some for a parallel vector field .