Given ,
the neck region is obtained from a Gibbons-Hawking space based on with monopole points. The Gibbons-Hawking metric is determined by a harmonic function on .
Notice that, the topology of requires
| (6.9) |
|
|
|
Consider the flat cylinder and denote by a finite set of monopoles, let be the Greenβs function from Corollary 2.7, which satisfies
| (6.10) |
|
|
|
In the gluing procedure, we need to modify the above Greenβs function such that the metric on the neck matches up with the metric of the Tian-Yau parts.
For this purpose, we analyze the asymptotic behavior of at the two ends of the neck region. By Corollary 2.7,
there are bounded harmonic functions and on such that
| (6.11) |
|
|
|
and satisfy the asymptotic behavior .
For fixed , we define a new harmonic function on ,
| (6.12) |
|
|
|
such that the metric on the neck can be glued with the metric on the Tian-Yau space.
First, we need to match the slopes, that is, the slope parameter should be chosen as
| (6.13) |
|
|
|
Then near to the two ends of the neck region, the harmonic function can be written as
| (6.14) |
|
|
|
Using this potential, we next define the neck metric through the Gibbons-Hawking ansatz.
Letting denote the set of monopole points,
we note that has dimension with generators being small spheres around the monopole points, and any torus of the form where is any value of for which there are no monopole points. It is easy to see that the -form attains integer values on these cycles, which implies that the cohomology class lies in the image of the natural inclusion
| (6.15) |
|
|
|
Therefore, we let be the total space of the -bundle over
corresponding to the class , completed by adding finitely many points corresponding to . Choose a connection -form on so that
| (6.16) |
|
|
|
Then applying the Gibbons-Hawking construction to , we obtain a smooth hyperkΓ€hler triple over , which induces an incomplete hyperkΓ€hler metric over the part in where is strictly positive.
For parameters and , we define,
| (6.17) |
|
|
|
where is the bundle projection.
Proposition 6.1.
There is a diffeomorphism
| (6.18) |
|
|
|
which preserves the -coordinate, such that
| (6.19) |
|
|
|
as .
Similarly, there is a diffeomorphism
| (6.20) |
|
|
|
which preserves the -coordinate, such that
| (6.21) |
|
|
|
as .
Furthermore, there exist triples of -forms on the ends of the neck such that
| (6.22) |
|
|
|
| (6.23) |
|
|
|
with
| (6.24) |
|
|
|
for any integer and , where is a uniform constant in Proposition 3.4, and are the hyperkΓ€hler triples on the corresponding Calabi model spaces.
Proof.
We just deal with the negative end of the neck, the positive end is similar.
Let
| (6.25) |
|
|
|
Note that deformation retracts to , so . The neck is a circle bundle over , and call the restriction to by . Note this bundle has Euler number .
Over there exists another -bundle explicitly identified with an open subset of the model space
| (6.26) |
|
|
|
with connection form , which has curvature form , so this bundle also has Euler number .
From the exponential sheaf sequence, , so there exists a bundle equivalence
| (6.27) |
|
|
|
which covers the identity map on the base, and such that the pullback bundle .
The -forms and are therefore both connection forms on
. Note that
| (6.28) |
|
|
|
and
| (6.29) |
|
|
|
From the asymptotics on in (6.14), we have
| (6.30) |
|
|
|
as . By same method from the proof of Lemma 3.7, we conclude that
| (6.31) |
|
|
|
where , as .
Therefore
| (6.32) |
|
|
|
where . Since
and are two connections with the same curvature form,
and since , we conclude that
| (6.33) |
|
|
|
for some function , and constants .
Next, there exists a gauge transformation, that is, a mapping
, covering the identity map, given by fiber rotation by , so that
| (6.34) |
|
|
|
Then, by the discussion in Subsection 2.2, there exists a mapping
which is the lift of a rotation on the torus, so that . Pulling back (6.34),
| (6.35) |
|
|
|
Since covers a rotation on the torus, the right hand side is invariant under ,
so this can be rewritten as
| (6.36) |
|
|
|
where
as .
Then we define . The coordinate is not affected because and both cover the identity map, and covers a rotation on the torus.
Next, it follows from (6.19) that the leading terms of the hyperkΓ€hler triple on the neck agree with the model hyperkΓ€hler triple for (note we can allow to become negative, the triple is still defined).
The same method from the proof of Lemma 3.7 then yields (6.22).