1.2. Generalised Gibbons-Hawking ansatz [03YP]
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
1.2. Generalised Gibbons-Hawking ansatz
The materials in this Section draws heavily from the presentation of Zharkov [31]. Suppose is a complex -dimensional KΓ€hler manifold with a nonvanishing holomorphic volume form admitting a holomorphic isometric free action. The generalised Gibbons-Hawking ansatz expresses the KΓ€hler and Calabi-Yau conditions in terms of the moment map coordinates and the holomorphic coordinates on the KΓ€hler quotient.
Let denote the Lie algebra of , and let be the natural integral lattice in . A choice of basis in defines linear coordinates on the dual space . Let be either or , and let denote the standard complex coordinates on or the logarithmic coordinates on with period 1 (in which case are the standard coordinates on ). Consider a principal -bundle over an open set in , whose first Chern class is an element . Later we will partially compactify into a singular -bundle. Summation convention will be used throughout.
Theorem 1.5.
(cf. Theorem 2.1 in [31]) Let , respectively , be real symmetric positive definite/Hermitian matrices of smooth functions on , locally given by some potential function :
| (1.5) |
Then the following -valued real 2-form is closed:
| (1.6) |
Suppose further that is in the cohomology class . Then there exists a connection on the principal bundle with curvature for , such that is a KΓ€hler manifold with metric tensor
| (1.7) |
where and form a basis of type (1,0) forms which defines an integrable complex structure. There is a nowhere vanishing holomorphic form on :
| (1.8) |
The Calabi-Yau condition is equivalent to the equation
| (1.9) |
Remark 1.5.
The inverse matrix describes the metric restricted to the torus fibres, and the matrix describes the metric induced on the KΓ€hler quotients. This viewpoint is taken by Pedersen and Poon [23], whose argument shows that Calabi-Yau manifolds with Hamiltonian torus symmetries necessarily arise from this construction locally. The local existence of the potential is equivalent to the linear integrability condition
| (1.10) |
and
| (1.11) |
In particular when , the Calabi-Yau condition is and we recover the usual Gibbons-Hawking equation from (1.11).
Proof.
(Theorem 1.5, sketch) By formula (1.6) and the integrability condition (1.10),
| (1.12) |
so the closedness of is equivalent to (1.11). Since represents the appropriate first Chern class, must be the curvature of a -connection . Modulo gauge admits the local formula
| (1.13) |
Gauge equivalent choices of the connection define the structures on up to holomorphic isometry.
Remark 1.6.
If are the Hamiltonian vector fields dual to , namely , then , namely are the symplectic moment coordinates up to sign. When , namely there is only one coordinate, then , and accordingly we refer to as the holomorphic moment coordinate. In this situation admits a fibration
where fibres are special Lagrangians with phase zero: the Lagrangian condition follows from on fibres, while the special condition is equivalent to .
Remark 1.7.
The information contained in the generalised Gibbons-Hawking ansatz can be encoded by a Riemannian metric on the base, written in distinguished coordinates as
| (1.15) |
such that the map is a Riemannian submersion.
Remark 1.8.
There is an additional freedom to twist the connection by a flat connection. Up to gauge equivalence, the choice of is parametrised by .
1.2.1. Elementary examples
Example 1.6.
(Constant solution) The simplest solution is where and are independent of the base variables and satisfy (1.9). We shall see that many interesting solutions can be thought heuristically as perturbation of the constant solution after introducing some topology. Some important special cases for us are:
- β’
- β’
, is symmetric positive definite, and . We write . The subcase where takes value in will be relevant for constructing new Taub-NUT type Calabi-Yau metrics on , and the subcase where is a periodic variable will be relevant for the positive vertex. In the periodic case the choice of the connection is parametrised by .
- β’
, is Hermitian, and . We write . Here are periodic coordinates with period 1. The choice of the connection is parametrised by . This case will be relevant for the negative vertex. Notice that if we demand that the fibration on induced by is a special Lagrangian fibration with phase zero, then we would need , namely is symmetric.
Example 1.7.
( Harvey-Lawson example) The affine space with the standard Euclidean metric and holomorphic volume form admits a diagonal -action, where the -th circle factor acts by
The corresponding moment coordinates are
This defines a -bundle away from the singular locus . Special cases include (1.1)(1.3). The inverse matrices are
viewed as functions of and . The special Lagrangian fibration described by Remark 1.6 is the well known Harvey-Lawson example.
We notice in particular when that the discriminant locus of the singular -bundle is given by as in (1.2). This is not an accidental feature of the Euclidean metric:
Lemma 1.6.
Let be equipped with the holomorphic volume form above, and let be any -invariant KΓ€hler form with infinite volume on the singular loci for any . Then the discriminant locus of the singular -bundle is in moment coordinates and .
Proof.
The discriminant locus is the image of the singular locus under the moment map. We shall focus on . The holomorphic moment coordinate depends only on and the action, so as before and vanishes on . The symplectic moment coordinates are defined by , and are normalised to be zero at . In particular since the Hamiltonian vector field vanishes on , the moment must be the constant zero on . Furthermore on by considering the weight of the remaining action at the fixed point, so the image of is contained in . The infinite volume condition and the formula
ensure that stretches to infinity, so is the image of . Likewise the image of is and the image of is . β
Example 1.8.
(Taub-NUT) We take , and , where is a positive constant. This defines a Calabi-Yau metric whose asymptotic geometry at infinity approaches the constant solution (cf. Example 1.6), with asymptotic circles of length fibred over a flat 3-dimensional base. Different choices of define the same metric up to scaling. The first Chern class of the -bundle over evaluates to on any sphere around the origin in ; equivalently, the 3-current is represented by the origin viewed as a codimension 3 cycle. Written in terms of the delta function,
From the holomorphic perspective, LeBrun [17] observes that the Taub-NUT space is biholomorphic to . To see this, recall and notice the (1,0) form is closed, so locally is the differential of a holomorphic function. The line integrals
define holomorphic functions up to over the regions and respectively, so and are well defined over the respective regions. Since we can normalise to satisfy the functional equation , whence and extend as global holomorphic functions. These coordinates exhibit the biholomorphism to . By considering the Hamiltonian vector field acting on , we idenitfy the action as
The holomorphic volume form is
Thus defines holomorphic fibration of by affine quadrics. The generic quadric fibre is topologically a cylinder, and metrically is also approaching the flat cylindrical metric near spatial infinity. When , the quadric fibre degenerates into a union of two complex lines with simple normal crossing, where each line looks metrically like a cylinder with one capped end.
1.2.2. Compactification and distributional equation
When we partially compactify the principal -bundle over to a singular -bundle over by allowing torus fibres to degenerate, we need to encode the topology into the generalised Gibbons-Hawking ansatz, by changing the RHS of (1.11) into a distributional term reflecting the nontriviality of the first Chern class (cf. the Taub-NUT example 1.8). This has been worked out by Zharkov [31] in general dimensions; here we will focus on the vertices in .
Example 1.9.
(Positive vertex and Taub-NUT type ) Recall from Section 1.1.3 that are the homology classes of the two circle factors in the -fibre, or equivalently an integral basis in . The -valued curvature 2-form satisfies (cf. (1.12))
which is a -valued 3-current supported on the codimension 3 discriminant locus . Now take small 3-balls transverse to respectively. The integrals of over the balls are equal to the integrals of the Chern class representative over the linking , which by Section 1.1.3 are up to orientation issues. Thus
| (1.16) |
where the RHS is a -valued codimension 3 cycle. The orientation here is decided by comparing with the Taub-NUT example. If is an orientation form on , then the orientation forms on are , compatible with the directions pointing to infinity.
In the variant situation where instead of being periodic, to which previous discussions still apply, the generalised Gibbons-Hawking ansatz has a scaling symmetry compatible with the distributional equation (1.16): a new solution may be constructed from an old solution by
| (1.17) |
These solutions are isometric up to a scaling factor, analogous to Taub-NUT metrics with different asymptotic circle lengths. The presence of the periodicty condition (or more abstractly an integral lattice structure) breaks down scaling symmetry by singling out a special scale.
Example 1.10.
(Negative vertex) By a similar argument, in the negative vertex setting (cf. Section 1.1.5) the curvature 2-form satisfies
| (1.18) |
where defines a codimension 3 cycle. Here is endowed with the complex orientation, and the orientation on is defined by the form .