Abstract
This article studies Kummer K3 surfaces close to the orbifold limit. We improve upon estimates for the Calabi–Yau metrics due to Kobayashi. As an application, we study stable closed geodesics. We use the metric estimates to show how there are generally restrictions on the existence of such geodesics. We also show how there can exist stable, closed geodesics in some highly symmetric circumstances due to hyperkähler identities.
1 Introduction
Einstein metrics are interesting objects both from a physics and from a geometry perspective. By postulating enough symmetry, noncompact, examples have been found in both Lorentzian and Riemannian geometry. For instance the solutions due to Schwarzschild [63], Eguchi–Hanson [25], Calabi [17], Gibbons–Hawking [31] and Kronheimer [44, 45], to name just a few. These are socalled gravitational instantons. On compact manifolds, very few examples are known explicitly. An idea dating back to Page [59] and Gibbons–Pope [33] is to desingularize certain orbifolds by blowing up the singular points and gluing in gravitational instantons. This procedure produces a family of almostEinstein metrics with concentrated curvature. By an implicit function argument [28, 39, 40], by Twistor methods [50, 67, 68], or by solving the Monge–Ampère equation [21, 43, 47], one can perturb the given metric to an Einstein metric. Since the original metric was close to solving the Einstein equation, one could hope that the metric is close to the solution of the Einstein equation. This turns out to be the case in several instances. This in turn allows one to study the geometry of the unknown Einstein metric by studying its known approximation.
As the size of the exceptional divisor in the blowup tends to 0, both the patchwork metric and the Einstein metric degenerate to an orbifold metric. In fact, work by Bando, Kasue, and Nakajima [7, 10, 57] and Anderson [2] shows that a converse is true; a sequence of compact 4manifolds and Einstein metrics with volume, diameter, and Euler characteristic bounds have convergent subsequences. The limit spaces have at worst isolated orbifold singularities. The orbifold limits are the added points of a compactification of the moduli space of Einstein metrics [2, 10, 57]. This makes understanding the orbifold limit more important.
In this paper, we will study the oldest and bestknown example, namely the Kummer construction of a K3 surface. In this case, one can go beyond the general convergence statements of Nakajima and Anderson, and describe in more detail exactly how the Einstein metric degenerates. This programme was initially carried out by Todorov and Kobayashi [43, 47]. We have chosen to go through the arguments of Kobayashi in great detail in the hope that the present paper can serve as an introduction to this fascinating topic.
As an application, we study stable, closed geodesics on Ricciflat Kummer K3 surfaces close to the orbifold limit. The lengths of closed geodesics on a Riemannian manifold is a much studied geometric quantity (see [20, 22,23,24, 37] for some highlights). For generic metrics it has been shown [62, Corollary 2] that there are infinitely many geometrically distinct, closed geodesics. The same holds for an arbitrary metric if one imposes mild topological assumptions (see [32, Theorem 4] and [71, Theorem (2nd)]). The topological conditions are fulfilled by all compact Calabi–Yau manifolds. We propose to restrict attention to the lengths of stable, closed geodesics.
Definition 1.1
Let (M, g) be a Riemannian manifold. A closed geodesic \(\gamma :\mathbb {S}^1\rightarrow M\) is said to be stable if \(\delta ^2E_{\gamma }\ge 0\). Written out, this means
for all vector fields \(\xi \) along \(\gamma \), where \(R(U,V){:}{=}\nabla _U \nabla _V \nabla _V\nabla _U\nabla _{[U,V]}\) is the Riemann tensor.
Consider the number \(\mathcal {N}(L)\) of stable, closed geodesics of length at most L, where one counts families of geodesics as a single geodesic. If the manifold (M, g) is compact and real analytic then it is a consequence of [65, Proposition 1.2] that \(\mathcal {N}(L)\) is finite for any \(L\ge 0\). For stable geodesics one has the following trichotomy based on curvature.
Theorem 1.2
[53, 56] Let (M, g) be a compact, connected, realanalytic Riemannian manifold of real dimension n. Let \(\mathcal {N}(L)\) be as above. Then, we have the following asymptotic behaviour as \(L\rightarrow \infty \).

If \(Ric\ge \kappa (n1)\) for some \(\kappa >0\), then \(\mathcal {N}(L)\) is constant for \(L>\frac{\pi }{\sqrt{\kappa }}\).

If the sectional curvature vanishes, then \(\mathcal {N}(L)\sim c(M) L^n\) for some constant \(c(M)>0\) depending on the manifold.

If the sectional curvature is negative everywhere, then \(\mathcal {N}(L)\sim \frac{e^{c(M)L}}{c(M)L}\) for some constant \(c(M)>0\) depending on the manifold.
The hardest part of the above statement is the negative curvature case, which is [53, 54, Equation 6.87]. The positive case follows by the proof of the Bonnet–Myers theorem, and the flat case is a direct computation on a flat torus.
Theorem 1.2 is an example of a comparison geometry, and a natural question is whether or not one can replace sectional curvature by Ricci curvature. This motivates the following question.
Question 1
Let (M, g) be a compact, connected, Ricciflat manifold of dimension n. Is it true that \(\mathcal {N}(L)\sim c(M)L^n\) for some constant \(c(M)>0\)?
Remark 1.3
We do not know what happens for \(Ric<0\). Our guess is that this condition is too weak, seeing how (in the light of [48, Theorem A]) the condition \(Ric<0\) gives absolutely no information about the underlying manifold in dimensions \(n\ge 3\).
If one additionally assumes that the manifold is Kähler, then P. Gao and M. Douglas have put forward physicsbased arguments in [30] for why the answer to the above question should be yes.
Conjecture 1
[30] Any compact, Ricciflat Calabi–Yau manifold^{Footnote 1}\((X,\tilde{g})\) has stable, closed, nonconstant geodesics. In fact, if the manifold is of real dimension n then \(\mathcal {N}(L)\sim C(X)L^n\) for some constant \(C(X)>0\).
When Douglas and Gao published their work, there were no examples of a single stable, closed geodesic on a Ricciflat, compact Calabi–Yau manifold. They, however, suggest as a starting point to investigate the conjecture on a Kummer K3 surface (the construction will be recalled in Sect. 2). In this article, we follow their advice and derive some constraints on stable, closed geodesics on Kummer K3 surfaces. Additionally, we show that the Riemann curvature tensor vanishes at certain points if the K3 surface has enough symmetry. Roughly speaking, a Kummer K3 surface is the minimal resolution of the orbifold \(\mathbb {T}^4/\{\pm 1\}\) equipped with a Kähler metric g which is Eguchi–Hanson near any blownup point, flat far away from the exceptional divisor, and a gluing of these two in between. We shall refer to this metric g as the patchwork metric. By the Calabi–Yau theorem, 2.2, there exists a unique Ricciflat metric \(\tilde{g}\) in the Kähler class of g. What we show is then the following.
Theorem 1.4
Let X be a Kummer K3 surface with metrics g and \(\tilde{g}\) as above. Then, when the exceptional divisor \(E\subset X\) has small enough volume, there is an open set \(U\subset X\) with \(E\subset U\subset X\) such that no stable, closed geodesic (with respect to either g or \(\tilde{g}\)) on X ever enters U.
Theorem 1.5
Assume the setup of Theorem 1.4. Let \(U_i\subset X\) be a suitable neighbourhood around a single component \(E_i\) of the exceptional divisor. Then, when the volume of E is small enough there are no stable, closed geodesics which stay completely inside \(U_i\).
See Theorems 3.1 and 3.4 for the detailed statements.
Theorem 1.6
Let X be the Kummer K3 surface associated with the torus \(T=\mathbb {C}^2/\Gamma \) where \(\Gamma {:}{=}(\mathbb {Z}\{1,i\})^2\subset \mathbb {C}^2\). Let g be the patchwork metric and let \(\tilde{g}\) denote the unique Ricciflat metric in the Kähler class of g. Then there are totally geodesic tori \(\mathbb {T}^2\subset X\) and points \(p\in \mathbb {T}^2\) where the Riemann tensor of \((X,\tilde{g})\) vanishes. Furthermore, if the minima of the curvature of \(\mathbb {T}^2\) are local minima of the holomorphic sectional curvature of X, the tori are flat.
See Theorem 5.4 for a more detailed statement and a precise description of how some of these tori look like. Theorem 5.5 is the precise statement of the second half of the theorem.
To our knowledge, the only previous work on stable geodesics on compact, Ricciflat Calabi–Yau manifolds are the articles [13, 14, 30]. What Bourguignon and Yau prove in [14] is the following, a result we will need later.
Theorem 1.7
[14] Assume \((X,\tilde{g})\) is a hyperkähler manifold of real dimension 4. Assume \(\gamma :\mathbb {S}^1\rightarrow X\) is a nonconstant geodesic. Then, \(\gamma \) is stable if and only if the entire Riemann curvature tensor vanishes along \(\gamma \).
Theorem 1.7 is both a clearcut criterion and a major hurdle for stability. A priori, it is not clear that a Ricciflat space has a single point with vanishing Riemann tensor. Indeed, the Eguchi–Hanson space of [17, 25] has a Ricciflat metric with nowhere vanishing Riemann tensor. The Eguchi–Hanson Kähler potential is given by (2.1), and the norm of the curvature tensor in (2.4). This is a noncompact manifold, so it does not contradict the above conjecture. In the presence of symmetries, Theorem 1.6 tells us that the Riemann tensor vanishes at certain points on a Kummer K3 surface. We do not know of other results of this kind. In particular, we do not know what happens on an arbitrary K3 surface.
The layout of the paper is as follows. We recall the Kummer construction, including the patchwork metric and metric estimates, in Sect. 2. Section 3 deals with the nogo results Theorems 1.4 and 1.5. Section 4 starts by studying what one can say about the curvature of hyperkähler 4manifolds in the presence of symmetry, before specializing to a particular Kummer K3 surface in Sect. 5. To improve the flow, we have relegated some of the computations of the derivatives of the curvature to “Appendix A”. In Sect. 6, we reprove the metric estimates of R. Kobayashi and correct some of the methods. We also include a short discussion of other approaches one could try to deduce Kobayashi’s estimates.
We end the introduction by listing some general obstructions to studying the conjecture of [30].

There is no explicitly known, nonflat, Ricciflat metric on a compact Riemannian manifold. The stability of geodesics is, however, very dependent on the details of the metric (e.g. Theorem 1.7).

In the case of a K3 surface, Theorem 1.7 has as corollary that any stable, closed geodesic has nullity equal to 3, and the linearized Poincaré map has all eigenvalues equal to 1. This says that stable, closed geodesics on K3 surfaces are very degenerate critical points of the energy function, making them harder to study using Morse–Botttype methods.

The Ricciflatness condition on a Calabi–Yau manifold can be though of as specifying the volume to be “Euclidean” (Eq. (2.6) is the precise meaning of this). Deriving statements about the length spectrum can as such be seen as asking for length information when given information about the volume.

A compact Calabi–Yau manifold with Ricciflat metric always has finite isometry group (a fact due to S. Bochner—see [60, Theorem 1.5, p. 167] for instance). This makes it challenging to construct geodesics as fixed point sets of isometries.

The fundamental group of a compact Calabi–Yau manifold is always finite. So, unlike in the case of a flat torus, one cannot realize enough stable, closed geodesics as nontrivial homotopy classes to fulfil the conjecture. Indeed, on a nonsimply connected, compact manifold there are always closed geodesics which minimize the energy in their homotopy class, and are as such strictly stable, meaning all variations of the energy function are nonnegative, and not just the second variation.

In Bourguignon [13, Théorème 2.9] proves that if one has a hyperkähler 4manifold with a strictly stable, closed, nonconstant geodesic then the manifold is flat. In particular, K3 surfaces never have strictly stable, closed geodesics.
Some words about the notation. Local expressions for Kähler metrics g on manifolds X of complex dimension n will be treated as Hermitian \(n\times n\) matrices. Determinants and traces of Hermitian matrices are with respect to the complex matrices, not the associated real matrices. The complex Hessian of f will be denoted by \(\partial \overline{\partial } f\), where we allow ourselves to sometimes think of this as a (1, 1)form and sometimes as a Hermitian matrix, i.e. the components of the (1, 1)form. So
Tensor norms of complex tensors and the Laplacian will also be defined using the Hermitian matrices as follows.
Similar definitions hold for higher rank tensors. The complex Laplacian acting on functions coincides (up to a constant scaling) with the real Laplacian. The complex Hessian does not coincide with the real Hessian. Indeed, in complex dimension 1 we have \(\partial \overline{\partial } f= g \Delta f\).
For the real Hessian, we write \(D^2 f\). Its pointwise norm is
where \(g_{\mathbb {R}}\) is the symmetric \(2n\times 2n\)matrix associated with g. The Hölder seminorm of \(D^2f\) is defined as.^{Footnote 2}
where the supremum is over all \(x\in X\) and all \(y\ne x\) contained in normal coordinate charts centred at x, and the tensor \(D^2f(y)\) means the tensor at x obtained by parallel transport along the radial geodesic between x and y.
2 The Kummer construction
The Kummer construction is a wellknown construction which associates with any 4torus \(T\cong \mathbb {C}^2/\Gamma \) a K3 surface X. The idea of the patchwork metric which we put on X comes from [33, 59]. To our knowledge, Kobayashi was the first to write out the details of this metric in [43]. This is our main source on the Kummer construction. There is a twistorial discussion in [50], but they do not have any explicit metric estimates. Another possible reference is [21]. See also [51, Chapter 5] for more details.
Let us first give an algebraicgeometric description of the Kummer construction. This is a standard result and can be found in [8, p. 224] for instance. Let \(\Gamma \subset \mathbb {C}^2\) be a nondegenerate lattice. Let \(T{:}{=}\mathbb {C}^2/\Gamma \) be the associated 4torus. Let \(\mu _2{:}{=}\{\pm 1\}\) act diagonally on \(\mathbb {C}^2\). Then, this induces an action on T with precisely 16 fixed points. The quotient \(Y{:}{=}T/\mu _2\) is a complex space with singular set \(Sing(Y)=\Gamma /2\Gamma \). The singular points are \(A_1\)singularities. Blowing up each of these singular points once leads to a nonsingular space X along with a blowdown map \(\pi :X\rightarrow Y\). This is the minimal resolution of X and is called the Kummer K3 surface associated with the torus T .
Near any of the fixed points, the singular space Y looks like \(\mathbb {C}^2/\mu _2\), and the resolution of this can be identified with \(\mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2)=T^*\mathbb {C}\mathbb {P}^1\). We like to think of \(\mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2)\) as
and the map \((\mathbb {C}^2{\setminus } \{0\})/\mu _2\rightarrow \mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2){\setminus } \mathbb {C}\mathbb {P}^1\) can be given as \([(z,w)]\mapsto ((z^2,w^2),(z:w))\). The blowdown map \(\mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2)\rightarrow \mathbb {C}^2/\mu _2\) inverting the above map away from the zero section will be discussed in the proof of Lemma 6.9. The resolution \(\mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2)\) can be equipped with the Eguchi–Hanson metric, which was discovered in [25] and generalized in [17]. See [52] for a detailed discussion about these metrics and the resolutions. The Eguchi–Hanson Kähler potential is given in (2.1).
To describe the metric we put on X, we need to have a look at what happens near a blownup point. This is done for us in [43, pp. 293–297]. Let z be the coordinates on \(\mathbb {C}^2\), and define \(u{:}{=}\vert z\vert ^2_{\mathbb {C}^2}{:}{=}\vert z_1\vert ^2 +\vert z_2\vert ^2\). Choose some \(a>0\) and let \(f_{\textrm{Euc}},f_a:(\mathbb {C}^2{\setminus } \{0\})/\mu _2\rightarrow \mathbb {R}\) be the Euclidean Kähler potential and Eguchi–Hanson Kähler potential, respectively, namely
Here \(\text {arsinh}(x){:}{=}\log \left( x+\sqrt{1+x^2}\right) \) denotes the inverse function of \(\sinh \). The Eguchi–Hanson Kähler potential (2.1) is not regular down to \(u=0\), but the Eguchi–Hanson metric \(g_{\textrm{EH}}{:}{=}\partial \overline{\partial } f_a\) does extend across the zerosection \( \mathbb {C}\mathbb {P}^1 \subset \mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2)\) to give a complete metric, as is seen by choosing suitable coordinates. Here, we are identifying \((\mathbb {C}^2{\setminus }\{0\})/\mu _2\cong \mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2){\setminus } \mathbb {C}\mathbb {P}^1\). We postpone this computation until Lemma 6.9 in Sect. 6.
Let \(0<\delta \ll 1\) be some fixed number and let \(\chi :[0,\infty )\rightarrow \mathbb {R}\) be a smooth cutoff function with the following properties.

\(\chi (u)=1\) for \(u\le 1\)

\(\chi (u)=0\) for \(u\ge 1+\delta \).
Then
defines a spherically symmetric Kähler potential on \((\mathbb {C}^2{\setminus } \{0\})/\mu _2\) for all values of a small enough. We shall write \(\Phi _{a}(z){=}{:}\varphi _a(u(z))\). Furthermore, on the complement of any orbiball \(V{:}{=}(\mathbb {C}^2{\setminus } B_R(0))/\mu _2\) we may write
for some function \(\xi _a :V\rightarrow \mathbb {R}\) which is regular as \(a\rightarrow 0\). For later use, we also record the norm squared of the Riemann tensor of the Eguchi–Hanson metric,
This is an \(L^2\)function with most of its mass concentrated near \(u=0\); hence, the patchwork metric is a metric of concentrated curvature.
We want to define a Kähler metric on all of X whose Kähler potential is given by (2.2) close to the exceptional divisor and flat far away from it. Let \(\pi :X\rightarrow Y\) be the blowdown map as above. Let \(Sing(Y)=\cup _{i=1}^{16}\{p_i\}\) denote the singular points of Y and let \(E{:}{=}\cup _{i=1}^{16} E_i{:}{=}\cup _{i=1}^{16} \pi ^{1}(\{p_i\})\) be the exceptional divisor of X. Fix a number \(0<\delta \ll 1\), and choose numbers \(a_i\), \(1\le i\le 16\), such that \(0<a_i\ll 1\). Then, there exists a Kähler metric g on X with the following properties. Each component \(E_i\subset X\) has a neighbourhood \(U_i\subset X\) such that \(U_i{:}{=}Bl_0(B_{1+2\delta }(0)/\mu _2)\) and \(E_i=\mathbb {C}\mathbb {P}^1\). By scaling X if necessary, we may assume \(U_i\cap U_j =\emptyset \) for \(i\ne j\). On \(Bl_0(B_{1+2\delta }(0)/\mu _2)\) the Kähler potential of g is given by (2.2) with parameter \(a_i\). In particular g is equal to the Eguchi–Hanson metric with potential (2.1) on \(Bl_0(B_{1}(0)/\mu _2)\) and \(g_{\vert E_i}=a_i g_{FS}\) where \(g_{FS}\) is the Fubini–Study metric on \(\mathbb {C}\mathbb {P}^1\). On any of the necks \(N_i{:}{=}(B_{1+\delta }(0){\setminus } B_{1}(0))/\mu _2\) the metric is not Ricciflat. Outside of all the sets \(U_i\) the metric g is flat.
The metric g will be called the patchwork metric. We will follow [43] and write \(\vert a\vert ^2{:}{=}\sum _{i=1}^{16} a_i^2\). The limit \(\vert a\vert \rightarrow 0\) is called the orbifold limit, and \(\vert a\vert ^2\) being small is what we mean by being close to the orbifold limit.
Remark 2.1
The cohomologyclass of the patchwork metric does not depend on the specific choice of \(\chi \). If \(\xi \) is another cutoff function, then the difference of the resulting Kähler forms will locally look like \(i\partial \overline{\partial } ((\chi \xi )(f_{\textrm{Euc}}f_{a_i}))\), which is the differential of a globally defined function (one simply extends by 0 to the whole manifold). Hence, the Ricciflat metric in the next theorem does not depend on the choice of \(\chi \).
The patchwork metric is not Ricciflat due to the neck regions, hence is not the final metric we want to put on X. The celebrated Calabi–Yau theorem of [15, 16, 72] provides the solution to this problem.
Theorem 2.2
[72, Theorem 2] Assume (X, g) is a Kähler manifold of complex dimension n, and assume the first Chern class vanishes, \(c_1(X)=0\). Let \(\omega \) be the Kähler form associated with g, and let \(\psi :X\rightarrow \mathbb {R}\) be a function such that \(\hbox {Ric}_g=\partial \overline{\partial } \psi \). Define the constant \(A>0\) by
Then, there is a unique function \(\phi :X\rightarrow \mathbb {R}\) subject to the normalization \(\int _X \phi \, \omega ^n=0\) such that \(\tilde{\omega }{:}{=}\omega +i\partial \overline{\partial }\phi \) is a Kähler form satisfying the Monge–Ampère equation
The Kähler metric \(\tilde{g}\) associated with \(\tilde{\omega }\) is Ricciflat.
When we additionally assume \(H^1(X;\mathbb {R})=0\), then X has a finite fundamental group. This follows from Cheeger–Gromoll splitting theorem, [18] and the Calabi–Yau [72, Theorem 2]. Let \(\tilde{X}\) denote the universal cover of X. Then \(H^1(\tilde{X};\mathbb {Z})=0\), and \(c_1(X)=0\implies c_1(\tilde{X})=0\). So \(\tilde{X}\) admits a nowhere zero holomorphic nform \(\eta \). We normalize this so that
In terms of this nform, we may write
The Calabi–Yau theorem applies to any Kummer K3 surface. K3 surface are already simply connected, so we do not need to pass to a universal cover. The only work one has to do is to decide on what \(\eta \) is and then use this to compute the constant A in (2.7). We will formulate this as a little lemma and supply a proof since [43] does not compute A. Let \(\eta \) be the nowhere vanishing holomorphic 2form on X induced from
on \(\mathbb {C}^2\). For (measurable) subsets \(V\subset X\), we write
and
Remark 2.3
Note that the volume forms here differ from the real versions by a factor of 4; hence, we divide the integrals by 4 to compensate. To see this, note that if \(\eta =(dx_1+idy_1)\wedge (dx_2+idy_2)\), then \(\eta \wedge \overline{\eta }=4 dx_1\wedge dy_1\wedge dx_2\wedge dy_2\). One could alternatively define the Kähler form as \(\omega =\frac{i}{2} g_{\mu \overline{\nu }} dz^\mu \wedge d\overline{z}^\nu \) and the holomorphic volume form to be \(\eta =\frac{1}{2}dz\wedge dw\). This is a conventional choice, but we will drop these extra factors of \(\frac{1}{2}\) to simplify several formulas.
Definition 2.4
Let X be a Kummer K3 surface with nowhere vanishing holomorphic volume form \(\eta \). A pair z, w of locally defined coordinates on X such that \(\eta = dz\wedge dw\) are called holomorphic Darboux coordinates.
Remark 2.5
If \(\omega =i g_{\mu \overline{\nu }} dz^\mu \wedge d\overline{z}^\nu \) is the Kähler form in holomorphic Darboux coordinates, then
Lemma 2.6
Let (X, g) be a Kummer K3 surface with patchwork metric g as described above. Then, the constant A given by (2.7) takes the value
Proof
By (2.7) we have
The denominator is simply
where we have used \(\int _X =\int _Y=\frac{1}{2}\int _T\). Let \(N=\cup _{i=1}^{16} N_i\) denote the union of all the neck regions of X. We may decompose the integral in the numerator into an integral over \(X{\setminus } N\) and N, and use that \(\omega ^2=2\eta \wedge \overline{\eta }\) on \(X{\setminus } N\) since this is satisfied by both the Euclidean metric and the Eguchi–Hanson metric. Thus,
It thus only remains to compute
Working on a single neck \(N_i\), the Kähler potential of g is given by (2.2). For any spherically symmetric Kähler potential in 2 complex dimensions \(F(z)=\Psi (u(z))\), we have \(\det (\partial \overline{\partial } F)=(\Psi '(u))\cdot (u\Psi '(u))'\), as one can check directly, where \(u=\vert z\vert ^2_{\mathbb {C}^2}\) as before. Using spherical coordinates with \(r^2=u\) (and hence also \(r^3 dr=\frac{u du}{2}\)), and recalling that \(\Phi _{a}(z)=\varphi _a(u(z))\), we therefore have
By (2.2) and the fact that the cutoff function \(\chi \) satisfies \(\chi (u=1+\delta )=0=\chi '(u=1)=\chi '(u=1+\delta )\) and \(\chi (u=1)=1\), we find \(\varphi _{a_i}'(u=1)=\sqrt{1+a_i^2}\) and \(\varphi _{a_i}(u=1+\delta )=1\), hence
This shows
Summing over \(1\le i\le 16\) and inserting back into (2.9) gives (2.8). \(\square \)
Remark 2.7
The fact that the expression (2.8) becomes negative for large enough values of \(\vert a\vert ^2\) shows why one had to restrict to small values of \(\vert a\vert ^2\) when gluing the metrics. The problem is traceable to the fact that (2.2) ceases to be plurisubharmonic for large values of \(\vert a\vert ^2\).
We also remark that (2.8) is independent of the choice of cutoff since \(\int _X \omega ^2\) only depends on the Kähler class and \(\eta \) is metricindependent. As such, the positivity of (2.8) puts a strict upper bound on \(\vert a\vert \).
2.1 Estimates
The metrics g and \(\tilde{g}\) on a Kummer K3 surface are related by the (nonlinear) elliptic PDE (2.6), so one could hope to get estimates on \(g\tilde{g}\) using Moser iteration and a maximum principle due to [72]. This works as long as the curvature is sufficiently concentrated and as long as no component \(E_i\) is shrunk a lot faster than the rest. Concretely, we make the following assumption.
Assumption 2.8
Let
be the ratio between the largest and smallest component of the exceptional divisor E. We assume there is a constant \(C\ge 1\) independent of a such that
for all values \(a=(a_1,\ldots , a_{16})\) under consideration.
The estimates we need were obtained by Kobayashi [43], and the results are as follows.
Theorem 2.9
[43, Equations 46–48] Assume X is a Kummer K3 surface with Kähler form \(\omega \) associated with the patchwork metric g and \(\tilde{\omega }=\omega +i\partial \overline{\partial } \phi \) satisfies (2.6) with \(\int _X \phi \,\omega ^2=0 \). Let \(U\subset X\) be any open set such that \(E\subset U\). Then, there are constants \(C_k>0\), \(k\ge 0\), depending on U but not on the parameters \(a_i\) such that for all small enough values of \(\vert a\vert \) we have
Moreover, there is a constant \(C>0\), independent of the parameters \(a_i\) such that for all small enough values of \(\vert a\vert \) we have
Kobayashi only states (2.11) for even k’s. The odd cases are handled by the Gagliardo–Nierenberg interpolation inequality (see for instance [3, Theorem 3.70]).
These estimates will be crucial in Sect. 3 to prove Theorems 1.4 and 1.5.
Remark 2.10
In words, (2.10) says that when the exceptional divisor E is small, g is close to \(\tilde{g}\) as long as one stays away from E. The second bound (2.11) gives weaker estimates valid also near E. The \(C^k\)estimates of \(\phi \) translate into \(C^{k2}\)estimates for the metric \(\tilde{g}\). The \(C^4\)estimates of \(\phi \) are sometimes called estimates at the level of curvature.
We will reprove Theorem 2.9 in Sect. 6. Our arguments are roughly the same as Kobayashi’s, with some added detail and some corrections.
2.2 Isometries
Even though the Ricciflat metric \(\tilde{g}\) is not known explicitly, it will inherit the isometries of g.
Proposition 2.11
Assume the setup of Theorem 2.2. Let \(\tilde{g}\) be the Ricciflat Kähler metric in the Kähler class of g. Assume \(F:X\rightarrow X\) is a (anti) holomorphic isometry of g. Then, F is also an isometry of \(\tilde{g}\).
Proof
The isometry F preserves the Monge–Ampère Eq. (2.6) and the Kähler form \(\omega \) up to sign. By the uniqueness of the solution, it also has to preserve \(\tilde{\omega }\) up to sign. The details are as follows.
Let \(\omega \) and \(\tilde{\omega }\) be the Kähler forms of g and \(\tilde{g}\), respectively. Let \(\epsilon =+1\) if F is holomorphic and \(\epsilon =1\) if F is antiholomorphic. Then, \(F^*\omega =\epsilon \omega \). Since F is an isometry, we also have \(\psi \circ F=\psi \) and
Applying \(F^*\) to the Monge–Ampère Eq. (2.6) gives us
So \(\epsilon F^*\tilde{\omega }\) solves the Monge–Ampère equation. Since F is (anti) holomorphic, we find
So both \(\phi \) and \(\phi \circ F\) solve the equation subject to the normalization
By the uniqueness, we that conclude \(\phi =\phi \circ F\) and F is an isometry of \(\tilde{g}\). \(\square \)
Remark 2.12
Proposition 2.11 is known to the experts. In [1, Proposition 2.2], a very similar statement is proven for projective Calabi–Yau manifolds, \(\iota :X\rightarrow \mathbb {C}\mathbb {P}^N\) when one takes \(\omega =\iota ^*(\omega _{FS})\), i.e. the metric is induced by the Fubini–Study metric. Their arguments are essentially the above ones.
Proposition 2.13
Assume X is a Kummer K3 surface with patchwork metric as described above. Assume all the components of the exceptional divisor have the same size, meaning \(a_i=a_j\) for \(1\le i,j\le 16\). Let \(\tilde{g}\) be the unique Ricciflat metric in the Kähler class of g. Assume \(F^{\mathbb {C}}:\mathbb {C}^2\rightarrow \mathbb {C}^2\) is an affine map \(F^{\mathbb {C}}(z)=Bz+b\) with \(B\in U(2)\) such that \(B\Gamma =\Gamma \) and \(b\in \frac{1}{2}\Gamma \). Then \(F^{\mathbb {C}}\) induces an isometry \(F:X\rightarrow X\) of both g and \(\tilde{g}\).
Similarly, if \(\tau ^{\mathbb {C}}:\mathbb {C}^2\rightarrow \mathbb {C}^2\) denotes the complex conjugation map and \(\tau ^{\mathbb {C}}(\Gamma )=\Gamma \), then \(\tau ^{\mathbb {C}}\) induces an isometry \(\tau :X\rightarrow X\) of both g and \(\tilde{g}\).
Maps of these forms are the only (anti) holomorphic isometries of (X, g).
Proof
The argument that one gets an induced map \(F:X\rightarrow X\) goes as follows. Since \(F^{\mathbb {C}}(z+\Gamma )=F^{\mathbb {C}}(z)+\Gamma \) holds for all \(z\in \mathbb {C}^2\) we get an induced map \(F^T:T\rightarrow T\). The requirement \(b\in \frac{1}{2}\Gamma \) implies \(F^T(z)=F^T(z)\), so we get a welldefined map \(F^Y:Y\rightarrow Y\). Since this came from an affine map, it extends to the blowup, and the argument, when written out, looks like this. To extend to the blowup, it suffices to see what happens locally. Since blowing up commutes with taking the quotient, i.e. \(Bl_0(\mathbb {C}^2/\mu _2)=Bl_0(\mathbb {C}^2)/\mu _2\), it suffices to see what happens when blowing up points in \(\mathbb {C}^2\). In this case, we extend a given affine map \(F^{\mathbb {C}}:\mathbb {C}^2\rightarrow \mathbb {C}^2\) to a map \(F^{Bl}:Bl_p(\mathbb {C}^2)\rightarrow Bl_{F(p)}(\mathbb {C}^2)\) by sending a pair \((q,\ell )\in \mathbb {C}^2\times \mathbb {C}\mathbb {P}^1\) to \((F(q),F(\ell ))\), which makes sense since affine maps map lines to lines. This gives us our required map \(F:X\rightarrow X\). The same line of arguments works for antiholomorphic maps.
To see that the induced map is an isometry of g, we split X into two different kinds of regions; the flat region and the neck+Eguchi–Hanson regions (the sets called \(U_i\) in the construction above). In the flat region, there is nothing to show. In one of the patches \(U_i\), we have a metric whose Kähler potential is given by (2.2), and this potential is preserved by maps of the above form. Completely analogous arguments work for the map \(\tau \).
We may therefore apply Proposition 2.11.
To see that the above maps are the only (anti) holomorphic isometries of (X, g), one can argue using the curvature as follows. The neck regions are not Ricciflat, whereas the complement is. So an isometry has to map the neck regions to neck regions. The Euclidean region is flat, and the Eguchi–Hanson patches have nowhere vanishing curvature. So these regions cannot be interchanged either. Letting \(U=\cup _i U_i\) denote all the nonflat regions, we therefore have a map \(f:X{\setminus } U\rightarrow X{\setminus } U\), and \(F{:}{=}\pi \circ f\circ \pi ^{1}:Y{\setminus } \pi (U)\rightarrow Y{\setminus } \pi (U)\). We will show that this lifts to an isometry of the flat torus (with some open set removed), hence has to have the above form. The orbifold \(Y=T/\mu _2\) is simply connected, and by the Seifert–Van Kampen theorem, [35, Theorem 1.20], \(Y{\setminus } \pi (U)\) is as well. Let \(P:T\rightarrow Y\) denote the quotient map and let \(V{:}{=}P^{1}(\pi (U))\subset T\). Away from the singular points of Y, P is a covering map. By [35, Proposition 1.33], F lifts to an isometry \(\tilde{F} :T{\setminus } V\rightarrow T{\setminus } V\). Hence, \(\tilde{F}\) takes the above affine form. So f agrees with an isometry induced from an affine mapping of \(\mathbb {C}^2\) on \(X{\setminus } U\); hence, the two isometries agree everywhere. \(\square \)
Remark 2.14
We do not know if the isometry group of \((X,\tilde{g})\) is bigger than that of (X, g). For toy models, this can easily be the case. Consider \((\mathbb {C}^n/\Gamma ,g_0)\) with any Kähler metric \(g_0\) without nontrivial isometries. Use Theorem 2.2 to find the Ricciflat metric g in the Kähler class of \(g_0\). Then, g is the flat metric and thus has an infinite isometry group, even though the isometry group of \(g_0\) is trivial.
2.3 Homothety of a Kummer K3 surface
Both the Euclidean metric and the Eguchi–Hanson Kähler potentials are homogeneous in simultaneous scaling of the coordinate z and the parameter a. This property will then be inherited by the solution \(\phi \). Here are the details.
Let \(\alpha >0\) and consider the homothety \(S_{\alpha }^{\mathbb {C}}:\mathbb {C}^2\rightarrow \mathbb {C}^2\) given by
Let \(\Gamma \subset \mathbb {C}^2\) be any nondegenerate lattice and let \(\Gamma _{\alpha }=S_{\alpha }^{\mathbb {C}} (\Gamma )\) be the scaled lattice. Denote by X and \(X_{\alpha }\) the Kummer K3 surface associated with the lattice \(\Gamma \) and \(\Gamma _{\alpha }\), respectively. Let \(g_a\) denote the patchwork metric on X with parameter \(a=(a_1,\ldots , a_{16})\), and denote by \(\tilde{g}_{a}\) the Ricciflat metric in the Kähler class of \(g_a\). These are denoted by g and \(\tilde{g}\), respectively, for most of the paper. On \(X_{\alpha }\), we put the same kind of patchwork metric with locally defined Kähler potential (2.2), but we modify the cutoff function to be
We denote this Kähler potential by \(\Phi _a^\alpha \).
Lemma 2.15
The map \(S_{\alpha }^{\mathbb {C}}\) induces an isometry
and
Proof
That we get induced maps can be argued as in the proof Proposition 2.13. The important properties are \(S_{\alpha }^{\mathbb {C}}(z)=S_{\alpha }^{\mathbb {C}}(z)\) and that \(S_{\alpha }^{\mathbb {C}}\) is affine.
One easily checks that the Eguchi–Hanson potential (2.1) satisfies
The same goes for the Euclidean potential. Hence, in an Eguchi–Hanson and neck region,
We are abusing notation a bit, seeing how the lefthand side is locally defined on \(X_{\alpha }\) and the righthand side is locally defined on X, but one could think of the equality as happening on a punctured ball in \(\mathbb {C}^2\). Away from the Eguchi–Hanson and neck regions, the isometry is clear. This shows the claimed isometry with respect to the patchwork metric.
For the isometry of the Ricciflat metric, we argue as in the proof of Proposition 2.11. It is also clear that \(Ae^{\psi }\) is the same for \((X,g_a)\) and \((X_{\alpha },g_{\alpha ^2 a})\). Hence,^{Footnote 3}
which shows that both \(\alpha ^2\phi _a(z)\) and \(\phi _{\alpha ^2 a}(S_{\alpha }(z))\) solve the Monge–Ampère equation. By uniqueness, \(\alpha ^2\phi _a(z)=\phi _{\alpha ^2 a}(S_{\alpha }(z))\) and \(S_{\alpha }\) is an isometry between the Ricciflat metrics as well. \(\square \)
The homothety \(S_{\alpha }\) clearly maps \(\Gamma /2\Gamma \) to \(\Gamma _{\alpha }/2\Gamma _{\alpha }\), hence maps the exceptional divisor of X to the exceptional divisor of \(X_{\alpha }\). In fact, \((S_{\alpha })_{\vert E}\) is \(\alpha \)independent. So Lemma 2.15 says in particular
Here, we are abusing notation again, since the righthand side E is a subset of \(X_{\alpha }\).
3 Closed geodesics: No–Go theorems
There are two main results about geodesics on a Kummer K3 surface in this section. Theorem 3.1 constrains stable, closed geodesics to stay away from the exceptional divisor E, whereas Theorem 3.4 says that closed, stable geodesics cannot stay inside an Eguchi–Hanson patch.
Theorem 3.1
Let (X, g) be a Kummer K3 as constructed above. Let \(\tilde{g}\) be the Ricciflat metric in the Kähler class of g. Then, for each value of \(\vert a\vert \) small enough, there is an adependent open set \(V_a\subset X\) with \(E\subset V_a\) such that no stable, closed geodesic (with respect to either g or \(\tilde{g}\)) in X ever enters \(V_a\).
Proof
The idea is to use the estimates of [43] to show that the curvature of \(\tilde{g}\) doesn’t vanish anywhere near E. Then, we appeal to Theorem 1.7 to get our conclusion for geodesics with respect to \(\tilde{g}\). Here are the details.
Let \(p\in E_i \subset E\) and pick holomorphic normal coordinates with respect to g at p, meaning \(g_{\mu \overline{\nu }}(p)=\delta _{\mu \nu }\), \(g_{\mu \overline{\nu },\alpha }(p)=0,\) and \(g_{\mu \overline{\nu },\alpha \overline{\beta }}(p)=R_{\mu \overline{\nu }\alpha \overline{\beta }}(p)\) hold, where R is the Riemann curvature tensor of g. Write \(\phi _{\mu \overline{\nu }}(p){:}{=}\frac{\partial ^2 \phi }{\partial z^{\mu } \partial \overline{z}^{\nu } }(p)\) and so on for more indices. Introduce the \(2\times 2\)matrix h via \(h{:}{=}\tilde{g}^{1}(p)  g^{1}(p)=\tilde{g}^{1}(p)\mathbb {1}\). By (2.11) for \(k=2\) we know that \(\phi _{\mu \overline{\nu }}(p)\in \mathcal {O}(\vert a\vert )\), hence also \(h\in \mathcal {O}(\vert a\vert )\), as is seen by writing \(\tilde{g}^{1}(p)=(\mathbb {1}+\partial \overline{\partial }\phi (p))^{1}=\mathbb {1} +\sum _{k=1}^{\infty } (1)^k (\partial \overline{\partial } \phi (p))^k\). We may use a standard formula for the Riemann tensor associated with a Kähler metric (see [72, Eq. 1.14] for instance) namely
to write the Riemann tensor \(\tilde{R}\) of \(\tilde{g}\) in the above coordinates as
By (2.11) for \(k=3\) and \(k=4\) and the above bound on h we may estimate this as
for some \(\vert a\vert \)independent constant \(C>0\). Let \(V\in T_p E_i \subset T_pX\) be such that \(\vert V\vert _{\tilde{g}}=1\). Then (2.11) for \(k=2\) gives \(1\tilde{C}\vert a\vert \le \vert V\vert _g^2 \le 1+\tilde{C}\vert a\vert \) for some constant \(\tilde{C}>0\). Inserting this into (3.1) we find
where \(\hbox {Sect}_g(p)\) and \(\hbox {Sect}_{\tilde{g}}(p)\) denote the holomorphic sectional curvatures of g and \(\tilde{g}\), respectively, evaluated on \(T_pE_i\). Since we are on \(E_i\) we may use that \(g_{\vert E_i} =a_i g_{FS}\), FS being short for Fubini–Study, to write \(\hbox {Sect}_g(p)=\frac{2}{a_i}\). Using the ratio \(r_a = \frac{\max _{1\le i\le 16} a_i}{\min _{1\le i\le 16} a_i}\), we bound this as \(\frac{2}{\vert a\vert } \le \hbox {Sect}_g(p)\le \frac{4r_a}{\vert a\vert }\); hence, (3.2) finally becomes
for \(\vert a\vert \)independent constants \(C_i>0\). This shows that \(\hbox {Sect}_{\tilde{g}}(p)>0\) for all \(\vert a\vert \) small enough.
To see that there are no closed, stable geodesics with respect to g one can argue in a couple of ways. The fastest is probably to appeal to Theorem 1.7, which applies since the Eguchi–Hanson patch has a hyperkähler metric whose Riemann curvature tensor doesn’t vanish in any point (see [25, Equation 2.28] or [51, Equation 4.8]). Another argument is to first see directly (see [70, Theorem 5.3], [51, Chapter 4.5]), or [52, Theorem 8] that the only closed, nonconstant geodesics in Eguchi–Hanson space are the ones contained in the \(\mathbb {C}\mathbb {P}^1\). Hence, they are closed geodesics in \((\mathbb {C}\mathbb {P}^1,g_{FS})\), all of which are unstable. \(\square \)
Remark 3.2
That the components \(E_i\) of the exceptional divisor have induced metrics with positive curvature (even for the Ricciflat metric) can be seen in numerical solutions like [38, Figure 3].
The next result says that any geodesic with respect to \(\tilde{g}\) is close to being a geodesic with respect to g.
Theorem 3.3
Assume the same setup as in Theorem 3.1. Then, for all values of \(\vert a\vert \) small enough there is a constant \(C>0\) independent of \(\vert a\vert \) such that if \(\gamma :(\epsilon ,\epsilon )\rightarrow X\) is a geodesic with respect to \(\tilde{g}\) we have
where \(D_t^g=\nabla _{\dot{\gamma }}\) is the covariant derivative associated with g.
Proof
Let \(\Gamma \) and \(\tilde{\Gamma }\) denote the Christoffel symbols in some coordinates of g and \(\tilde{g}\), respectively. Define the tensor \(\Psi \) by
Then
where \(\nabla \) denotes the covariant derivative associated with g. Let \(\gamma :(\epsilon ,\epsilon )\rightarrow X\) be a geodesic with respect to \(\tilde{g}\). Then,
This is the equation which will give us (3.3) after we estimate \(\left \Psi (\dot{\gamma },\dot{\gamma })\right \). To this effect, we claim there exists \(C>0\) independent of \(\vert a\vert \) such that \(\left\Vert \Psi \right\Vert _{C^0(X,g)} \le C\vert a\vert ^{\frac{1}{2}}\), and this will follow by Kobayashi’s estimates. Let \(p\in X\) and, like in the proof of Theorem 3.1, choose holomorphic normal coordinates at p with respect to g, meaning \(g_{\mu \overline{\nu }}(p)=\delta _{\mu \nu }\) etc. In these coordinates, we may write
where h and \(\phi (p)_{\mu \alpha \overline{\sigma }}\) are as in the proof of Theorem 3.1. In that proof, we also saw that \(h\in \mathcal {O}(\vert a\vert )\). From (2.11), with \(k=3\) we have \(\vert \phi (p)_{\mu \alpha \overline{\sigma }}\vert \le \left\Vert \phi \right\Vert _{C^3(X,g)} \le C_1\vert a\vert ^{\frac{1}{2}}\). Altogether, we thus find
At the point p, still in holomorphic normal coordinates, we thus compute
The lefthand side is independent of coordinate system, and since p was arbitrary this proves the claim. \(\square \)
Theorem 3.4
Assume the same setup as in Theorem 3.1. Then, for all values of \(\vert a\vert \) small enough, no stable, closed geodesic with respect to \(\tilde{g}\) can stay completely within an Eguchi–Hanson patch \(U_i\).
Proof
Assume there is a closed, stable geodesic \(\gamma \) with respect to \(\tilde{g}\) in an Eguchi–Hanson patch \(U_i\). By Theorem 3.1, we may assume that \(\gamma \) stays away from \(E_i\cong \mathbb {C}\mathbb {P}^1\). Consider the distance squared d(t) between \(\gamma (t)\) and \(\mathbb {C}\mathbb {P}^1\). This distance is realized by geodesics as follows. Let \(\rho _s(t)\) denote the family of radial^{Footnote 4} geodesics with respect to the metric g connecting \(\gamma (t)\) and \(\mathbb {C}\mathbb {P}^1\), meaning \(\rho _0(t)\in \mathbb {C}\mathbb {P}^1\) for all t, \(\rho _{1}(t)=\gamma (t)\), and \(D_s^g \partial _s \rho _s(t)=0\) for all \(t\in \mathbb {S}^1\) and \(s\in (0,1)\). Then
The function d needs to have a maximum, meaning there is some T such that \(\dot{d}(T)=0\) and \(\ddot{d}(T)\le 0\). We shall show that (3.3) implies \(\ddot{d}(T)>0\), hence forcing a contradiction.
We start by computing \(\dot{d}(t)\). Note that \(D_t^g \partial _s =D_s^g \partial _t\) (see for instance [19, Lemma 3.4]). Since \(s\mapsto \rho _s(t)\) is a geodesic, \(D_s^g \partial _s \rho _s(t)=0\). So^{Footnote 5}
The lower limit vanishes for all t since \(\partial _s \rho _s(t)_{\vert s=0}\) is normal to \(E_i\cong \mathbb {C}\mathbb {P}^1\), whereas \(\partial _t \rho _{s}(t)_{\vert s=0}\) is tangential. Differentiating this again we find
To say something more about these expressions we need to recall some basic facts about the Eguchi–Hanson metric g. The region we are interested in is \((B_1(0){\setminus } \{0\})/\mu _2\) with Kähler potential given by (2.1). We use \(z=(z_1, z_2)\) as coordinates and write \(u=\vert z\vert ^2_{\mathbb {C}^2}\) as before. The Kähler metric associated with (2.1) reads
where \(\left\langle U,V\right\rangle _{\mathbb {C}^2}{:}{=}\overline{U_1}V_1+\overline{U_2}V_2\) is the Euclidean inner product. From this, it follows that
holds for any \(V\in \mathbb {C}^2\).
Using the formula (see for instance [5, Equation 4.39]) \(\Gamma _{\mu \alpha }^{\lambda } = \frac{\partial g_{\mu \overline{\nu }}}{\partial z^\alpha } g^{\overline{\nu }\lambda }\) we also find
We can locally write \(\rho _s(t)=\theta (s,t) z(t)\) for some function \(\theta \) satisfying (amongst others^{Footnote 6}) \(\theta (1,t)=1\) and \(\partial _s \theta >0\) for all t. In particular \(\partial _t \rho _{\vert s=1}=\dot{z}(t)\). Inserting this into our above expressions for \(\dot{d}(t)\), we find
We deduce that \(\dot{d}(T)=0\iff \text {Re}\left\langle z,\dot{z}\right\rangle _g(T)=0\), which by (3.8) happens if and only if \(\text {Re}\left\langle z,\dot{z}\right\rangle _{\mathbb {C}^2}(T)=0\). We similarly find
The term \(\left\langle \partial _t \rho _s(t),D_t^g \partial _s \rho _s(t)\right\rangle _g\big \vert _{s=1}\) needs a bit more work. We have
Here, the indices are raised using the Euclidean metric; \(z_\mu =z^{\mu }\) and so on. Using (3.9) we have
Inserting this, we find
Hence,
Taking the real part and setting \(t=T\) removes the term \( (\partial _t\partial _s\theta )\left\langle \dot{z}(t),z(t)\right\rangle _g\) since \(\text {Re}\left\langle \dot{z}(T),z(T)\right\rangle _g=0\).
We thus conclude
We estimate this from below by dropping the nonnegative term \(\frac{2a_i^2}{\sqrt{a_i^2+u^2}} \vert \left\langle z,\dot{z}\right\rangle _g\vert ^2\) (recalling that \(\partial _s \theta >0\)) and observing that
From this, we deduce
By choosing \(\vert a\vert \) small enough we have \(\ddot{d}(T)>0\) and d therefore does not have a maximum. This is the desired contradiction. \(\square \)
Remark 3.5
The strategy of the above proof is similar to [70, Theorem 5.3] and [52, Theorem 8]. Enlarging slightly to include the neck region in the consideration would not change anything, since a similar argument would go through, where one compares with the Euclidean metric instead of the Eguchi–Hanson metric. See [51, Theorem 7.3] for details.
Let us stress that the above theorem forbids a stable, closed geodesic from staying inside of \(U_i\). It does not rule out a geodesic entering and leaving \(U_i\) and closing up somewhere else in X. This is a possibility envisioned in [30, pp. 12–13], and we do not rule this out, but would note the restrictions imposed upon such a geodesic by Theorems 3.1 and 3.3.
4 Curvature of Hyperkähler 4manifolds
In this section, we analyse the Riemann curvature tensor of a Hyperkähler 4manifold. Most of the statements rely on having enough isometries. We need some preliminaries first. We will start by recalling some facts from Riemannian geometry.
Lemma 4.1
Assume (M, g) is a Riemannian manifold with Levi–Civita connection \(\nabla \). Assume \(F:M\rightarrow M\) is an isometry. Then,
holds for all tangent vector fields \(U,V\in \Gamma (TM)\). In particular, if R denotes the Riemann curvature tensor, then
holds for all \(p\in M\) and all \(U,V,W,Z\in T_pM\).
Proof
Define \(\nabla '\) by \(\nabla '_{U}V {:}{=}F_*^{1} \left( \nabla _{F_*U} F_* V\right) \) and verify that \(\nabla '\) is a torsionfree metric connection, hence \(\nabla '=\nabla \). \(\square \)
4.1 Curvature of hyperkähler 4manifolds
We next turn to some facts about hyperkähler manifolds in real dimension four and at the same time establish some notation.
Lemma 4.2
Let \((X,\tilde{g})\) be a Ricciflat Kähler manifold of real dimension 4 with complex structure I and nowhere vanishing holomorphic 2form \(\eta \). Then, there exist complex structures J, K such that \(IJ=K\). These complex structures are metric compatible, meaning \(\nabla J=J\nabla \) and \(\nabla K=K\nabla \).
In fact, one can write down such complex structures explicitly, following [17, p. 287] or [9, p. 6]. Let z, w be holomorphic Darboux coordinates such that the metric \(\tilde{g}\) takes the matrix form
with
being some constant. Then, we may define a complex structure by
and
For any \(p\in X\) and \(V\in T_pM\) we introduce the notation
and similarly for \(\sigma _{IK}(V), \sigma _{JK}(V), \sigma _{II}(V)\) etc. These satisfy \(\sigma _{IJ}(V)=\sigma _{JI}(V)\) and so on.
The Ricciflatness condition^{Footnote 7} reads
for any \(V\in T_pM\).
The significance of the above \(\sigma '\)s is that they determine the Riemann curvature tensor of X.
Lemma 4.3
Let \((X,\tilde{g})\) be a hyperkähler manifold of real dimension 4. Fix some \(V\in T_pX{\setminus } \{0\}\) for some \(p\in X\). Then, the holomorphic sectional curvature \(W\mapsto \sigma _{II}(W)\) at p defines a quartic on \(T_pX\) with coefficients given by \(\sigma _{II}(V), \sigma _{JJ}(V), \sigma _{IJ}(V), \sigma _{IK}(V)\), and \(\sigma _{JK}(V)\).
Proof
Let \(W=\alpha V +\beta IV +\mu JV +\nu KV\in T_pX\) be any tangent vector. Then, by iteratively using identities like \(\left\langle R(Iv,Jw)u,t\right\rangle =\left\langle R(I^2v,IJw)u,t\right\rangle =\left\langle R(v,Kw)u,t\right\rangle \) for any \(t,u,v,w\in T_pX\) and the standard Riemann tensor symmetries, one arrives at
Using (4.5) one can solve away one of the \(\sigma \)’s, \(\sigma _{KK}(V)=\sigma _{II}(V)\sigma _{JJ}(V)\), say. So in particular, the holomorphic sectional curvature of W is completely determined by \(\sigma _{II}(V), \sigma _{JJ}(V), \sigma _{IJ}(V), \sigma _{IK}(V)\), and \(\sigma _{JK}(V)\). \(\square \)
Remark 4.4
A neat way of writing (4.6) is to use the following coordinates on \(\mathbb {S}^3\). Assuming \(\vert W\vert =\vert V\vert \), we can write
where
as in [25, Eq. 2.4]. Then
We note the absence of \(\psi \) in (4.7), which corresponds to the U(1)symmetry of the holomorphic sectional curvature.
The next result shows how the presence of symmetry can drastically reduce the available degrees of freedom in the Riemann tensor.
Theorem 4.5
Let \((X,\tilde{g})\) be a hyperkähler manifold of real dimension 4. Assume \(F:X\rightarrow X\) is a holomorphic isometry of order 4 with positivedimensional fixed point set \(M{:}{=}Fix(F)\). Then, \(\sigma _{IJ}(V)=\sigma _{IK}(V)=\sigma _{JK}(V)=0\) and \(\sigma _{JJ}(V)=\sigma _{KK}(V)\) for any \(V\in T_pM\subset T_pX\) and \(p\in M\).
Proof
Let us start by seeing how \(F_*\) acts in a single tangent space. Let \(p\in M\), and \(V\in T_pM\). Then, V is necessarily fixed by \(F_*\). Since F is holomorphic, M is a complex submanifold, and IV is fixed by \(F_*\) as well. Since \(p=F(p)\), everything will be taking place at p and we shall be omitting references to the point everywhere. Consider now \(F_*(JV)\). Using that V is fixed, that F is an isometry, and that \(JV\perp V\) we deduce \(\left\langle V,F_*(JV)\right\rangle =\left\langle F_*V,F_*(JV)\right\rangle =\left\langle V,JV\right\rangle =0\). Similarly, \(\left\langle IV,F_*(JV)\right\rangle =0\). It thus follows that there exists \(\theta \in [0,2\pi )\) such that \(F_*(JV)=(\cos (\theta )+I\sin (\theta ))JV\). A direct computation shows \(F_*^4(JV)=(\cos (4\theta )+I\sin (4\theta ))JV\). By assumption \(F_*^4(JV)=JV\), so \(\cos (4\theta )=1\), \(\sin (4\theta )=0\). The solutions \(\theta =0\) and \(\theta =\pi \) can be ruled out as these would make F an order 1 or 2 isometry, respectively (see [60, Theorem 1.1, p. 137] for instance). We conclude that \(F_*(JV)=\pm KV\) and \(F_*(KV)=\mp JV\). In words; \(F_*\) fixes \(T_pM\) and rotates the orthogonal complement of \(T_pM\subset T_pX\) by \(90^\circ \).
This already provides us with plenty of information due to Lemma 4.1. Recalling the notation of Lemma 4.2, we next aim to show that for any \(p\in M\) and \(V\in T_pX\) the following holds
and
To see this, we use (4.2) and the above knowledge of how \(F_*\) acts
But \(\sigma _{JK}(V)=\sigma _{KJ}(V)\), so \(\sigma _{JK}(V)=0\). Similarly, one computes \(\sigma _{IJ}(V)=\pm \sigma _{IK}(V)\) and \(\sigma _{IK}(V)=\mp \sigma _{IJ}(V)\), which combine to say \(\sigma _{IJ}(V)=\sigma _{IJ}(V)\) and \(\sigma _{IK}(V)=\sigma _{IK}(V)\). The same kind of computation also gives \(\sigma _{JJ}(V)=\sigma _{KK}(V)\). \(\square \)
The proposition can actually be generalized to isometries of other orders.
Theorem 4.6
Let \((X,\tilde{g})\) be a hyperkähler manifold of real dimension 4. Assume \(F:X\rightarrow X\) is a holomorphic isometry of order \(k\ge 2\) with positivedimensional fixed point set \(M{:}{=}Fix(F)\). Then \(\sigma _{IJ}(V)=\sigma _{IK}(V)=\sigma _{JK}(V)=0\) for any \(V\in T_pM\subset T_pX\) and \(p\in M\). If \(k>2\), then \(\sigma _{JJ}(V)=\sigma _{KK}(V)\) and \(\sigma _{JK}(V)=0\) as well.
Proof
One argues as above that for \(p\in M\) and \(V\in T_pM\), \(F_*\) acts by rotating the orthogonal complement by \(\theta =\pm \frac{2\pi }{k}\). One then computes as above that
and
This means \((\sigma _{IJ},\sigma _{IK})\) is fixed by a nontrivial rotation, hence has to be 0. Using this, we further compute
When \(\sin (\theta )\ne 0\), this implies \(\sigma _{JJ}(V)=\sigma _{KK}(V)\). Similarly, one computes
hence \(\sigma _{JK}(V)=0\). \(\square \)
Remark 4.7
One can prove the same theorem for Ricciflat Kähler manifolds of complex dimension 2, i.e. without using the hyperkähler structure. Choosing local coordinates \(z_1,z_2\) near a point \(p\in M\) such that M locally takes the form \(\{z_2=0\}\), the action of \(f_*\) is given by multiplying \(\frac{\partial }{\partial z_2}\) by a k’th root of unity while leaving \(\frac{\partial }{\partial z_1}\) invariant. Assuming \(k>2\), the only invariant components of the Riemann tensor are then the ones with an equal number of 2 and \(\overline{2}\)indices. The independent components are then \(R_{1\overline{1}1\overline{1}}\), \(R_{1\overline{1}2\overline{2}}\), \(R_{1\overline{2}2\overline{1}}\), \(R_{2\overline{2}2\overline{2}}\). The Ricciflatness gives us 3 additional equations,
This completely determines the Riemann tensor in terms of \(R_{1\overline{1}1\overline{1}}\).
When \(k=2\), the invariant components are the ones where the total number of 2 and \(\overline{2}\) indices is even. So we get one more independent component, namely \(R_{1\overline{2}1\overline{2}}\). The Riemann tensor then has 2 degrees of freedom instead of 1.
Corollary 4.8
Assume the setup of Theorem 4.6 with \(k>2\). Then the Riemann curvature tensor of X at \(p\in M\subset X\) is uniquely determined by the Gauss curvature of M at p. In fact, if \(\mathcal {K}:M\rightarrow \mathbb {R}\) is the Gauss curvature, \(V\in T_pM \subset T_pX\) is a unit vector, and \(W=\alpha V +\beta IV +\mu JV+\nu KV\in T_pX\) is arbitrary, then
Proof
By the Gauss–Codazzi theorem (see [19, Theorem 2.5] for instance) and the fact that M is totally geodesic, \(\sigma _{II}(V)\) equals the holomorphic sectional curvature (of the induced metric) of M, and the holomorphic sectional curvature exactly equals the Gauss curvature of a Riemann surface. The expression then follows from (4.6). \(\square \)
Remark 4.9
Yet another corollary of the above result is that if the fixed point set has a connected component which is a torus, then there has to be points where the curvature of M vanishes (simply by the Gauss–Bonnet theorem), hence points where the entire curvature tensor of X vanishes. The zero set of the curvature on a Riemann surface does not have to be made up of geodesics, however. Indeed, just compute what happens for a torus embedded in \(\mathbb {R}^3\), via \((\theta ,\phi )\mapsto \left( ((R+r\cos (\theta ))\cos (\phi ),(R+r\cos (\theta ))\sin (\phi ),r\sin (\theta )\right) \). One finds that in this case, \(\mathcal {K}=0\) on the two circles \(\left( R\cos (\phi ),R\sin (\phi ),\pm r\right) \), neither of which are geodesics.
Remark 4.10
In the coordinates of Remark 4.4, the sectional curvature reads
4.2 Derivatives of the curvature
To proceed, we will formulate some results about the derivative the holomorphic sectional curvature on a hyperkähler manifold. We will write \(\nabla \) (instead of \(\tilde{\nabla }\)) for the covariant derivative associated with \(\tilde{g}\). We only refer to a single (hyperkähler) metric in this section, so the risk of confusion is minimal.
Proposition 4.11
Let \((X,\tilde{g})\) be as in Theorem 4.5. Let V be a unit vector field defined in some open neighbourhood U of M with the property that \(V_p\in T_pM\) for all \(p\in M\). Then, for any critical point of the function \(\sigma _{II}(V):U\rightarrow \mathbb {R}\) lying in M, we have
Proof
Let W be any vector field. Then
and
The terms \(\nabla _WR\) and \(\nabla _W^2R\) denote covariant derivatives of R as a 4tensor, and we will deal with these terms last using the second Bianchi identity. Since \(\vert V\vert =1\), \(\left\langle \nabla _W V,V\right\rangle =0\) so there are real functions \(\alpha ,\mu ,\nu \) depending on W such that
A quick computation reveals
We compute each of the above terms on the righthand side, using the shorthand \(\sigma _{II}(V)\) and so on introduced above.
So
Evaluating this at a critical point in the fixed point set, \(p\in M\), simplifies the expression vastly. By Theorem 4.5, \(\sigma _{IJ}=\sigma _{JK}=\sigma _{IK}=0\) and \(\sigma _{JJ}=\sigma _{KK}=\frac{1}{2}\sigma _{II}\). Furthermore, being a critical point implies \(\nabla _W \sigma _{II}=0\) for all vector fields W, hence
This will imply that also \(\left\langle \nabla _WR(V,KV)IV,V\right\rangle =0=\left\langle \nabla _WR(V,JV)IV,V\right\rangle \), as we now demonstrate case by case. When \(W=V\) or IV, the result follows by the same argument using isometries as in the proof of Theorem 4.5. The key being that the expression contains an odd number of JV and KVfactors. When \(W=JV\), we use the second Bianchi identity to say
On the last term, we apply the isometry sending \(JV\mapsto \pm KV\), \(KV\mapsto \mp JV\) to argue
The righthand side vanishes at a critical point. When \(W=KV\), we use the Bianchi identity to say
Writing \(\nabla _V V=\alpha IV\) and \(\nabla _{IV} V=\beta IV\) for some functions \(\alpha ,\beta :M\rightarrow \mathbb {R}\), we find
The last term vanishes on M, and the first term is 0 at a critical point. This shows that \(\left\langle \nabla _WR(V,KV)IV,V\right\rangle =0\) at a critical point \(p\in M\). Using the isometry mapping JV to \(\pm KV\) shows that \(\left\langle \nabla _WR(V,JV)IV,V\right\rangle =0\) as well.
All in all, this shows
at any critical point \(p\in M\). We recall \(\mu =\left\langle JV,\nabla _W V\right\rangle \), \(\nu =\left\langle KV,\nabla _W V\right\rangle \). Using the order 4 isometry shows
and
We therefore find
Using Proposition A.4 from Appendix A for \(\Delta R\), we finally find
at a critical point \(p\in M\). \(\square \)
Remark 4.12
A key fact used is that the Laplacian acting on the Riemann tensor gives something proportional to the square of the Riemann tensor. (A.4) is the precise statement. Something similar is true on an arbitrary Ricciflat Kähler manifold without assuming it to be hyperkähler. The result is (see [66, Eq. 3.108])
The second thing used in the above proof is that the order 4 symmetry restricts the degrees of freedom of the Riemann tensor, allowing us to get a simple expression for the Laplacian.
5 A special K3 surface
From now on we will specialize to a special Kummer K3 surface. The precise assumptions and notation is as follows.
Notation 5.1
Let \(\Lambda {:}{=}\mathbb {Z}\{1,i\}\subset \mathbb {C}\) and let (X, g) denote the Kummer K3 surface associated with the torus with lattice \(\Gamma {:}{=}\Lambda \oplus \Lambda \). We will also assume that all components of the exceptional divisor have the same volume, \(a_i=a_j\) for \(1\le i,j\le 16\).
We write \(Q:\mathbb {C}^2\rightarrow Y\) for the quotient map (quotienting with respect to both \(\Gamma \) and \(\mu _2\)) and \(\pi :X\rightarrow Y\) for the blowdown map, with inverse \(\pi ^{1}:Y{\setminus } Sing(Y)\rightarrow X{\setminus } E\).
For any suitable affine map \(F^{\mathbb {C}}:\mathbb {C}^2\rightarrow \mathbb {C}^2\), \(F^{\mathbb {C}}(\textbf{z})=B\textbf{z}+\textbf{b}\) we denote the induced map (using Proposition 2.13) by \(F:X\rightarrow X\). These maps will all have the property that they map E to E, so give rise to isometries (using the same name for the restrictions) \(F:X{\setminus } E\rightarrow X{\setminus } E\).
These restricted maps satisfy \(\pi \circ F \circ \pi ^{1}\circ Q=Q\circ F^{\mathbb {C}}\), a fact which will be used implicitly.
For \(M^{\mathbb {C}}\subset \mathbb {C}^2\) with \(Q(M^{\mathbb {C}})\subset Y{\setminus } Sing(Y)\), we write \(M{:}{=}\pi ^{1}\circ Q(M^{\mathbb {C}})\subset X\).
We start by describing the isometries induced by affine maps.
Proposition 5.2
The holomorphic isometries of (X, g) are induced by the affine maps of the form
where
with \(\mu _4\,{:}{=}\,\{\pm 1,\pm i\}\), and \(\textbf{b}\in \left( \frac{1}{2}\Lambda \right) ^2\). Any antiholomorphic isometry is induced by one of the above forms composed with \(\tau ^{\mathbb {C}}\) for \(\tau ^{\mathbb {C}}(\textbf{z}){:}{=}\overline{\textbf{z}}\). There are 512 distinct isometries. All of them are isometries of \((X,\tilde{g})\) as well. The maximum order of these isometries is 8.
These isometries play a central role in the arguments to come. We will single out some of them.
Notation 5.3
We consider the following map \(\mathbb {C}^2\rightarrow \mathbb {C}^2\)
along with the induced map \(f:X\rightarrow X\). This map is an isometry of (X, g) of order 4.
We also consider the following subset:
The corresponding set in X is denoted by \(M=\pi ^{1} \circ Q(M^{\mathbb {C}})\). Note that \(Q(M^{\mathbb {C}})\) lands in \(Y{\setminus } Sing(Y)\) due to the shift by an element not in \(\frac{1}{2}\Gamma \), so \(\pi ^{1}\) is well defined.
Theorem 5.4
The submanifold \(M\subset X\) described above is a totally geodesic torus. There are points \(p\in M\) such that the Riemann tensor of \((X,\tilde{g})\) vanishes at p.
Proof
The image \(Q(M^{\mathbb {C}})\subset Y\) lands in the smooth part due to the shift by \(\frac{1+i}{4}\notin \frac{1}{2}\Gamma \). Clearly \(Q(M^{\mathbb {C}})\) is a torus, and \(\pi \) is biholomorphic when restricted, \(\pi :X{\setminus } E \xrightarrow {\cong } Y{\setminus } Sing(Y)\), hence \(M\subset X\) is a torus.
Furthermore, M is fixed by the order 4 isometry f. So by Theorem 4.5, the Riemann tensor of \((X,\tilde{g})\) at \(p\in M\) is uniquely determined by the Gauss curvature of M at p. But any torus has points of vanishing Gauss curvature due to the Gauss–Bonnet theorem; hence, there are points where the curvature of \((X,\tilde{g})\) vanishes. \(\square \)
The next proposition indicates that the torus in Theorem 5.4 could be flat. The proposition contains a nontrivial assumption, however. Assume \(M\subset X\) is a torus which is fixed by an order 4 isometry f. Let V be a unit vector field on M. By an extension of V to a neighbourhood \(M\subset U\subset X\), we mean a unit vector field \(V:U\rightarrow TX\) such that

V restricts to a tangent vector field on M, \(V_{\vert M} :M\rightarrow TM\);

\(\nabla _W V\) restricts to a tangent vector field on M, \((\nabla _W V)_{\vert M} :M\rightarrow TM\), for all vector fields \(W:U\rightarrow TX\).
A concrete example would be that if (z, w) are local coordinates with M locally being given by \(\{w=0\}\), and \(V=h \frac{\partial }{\partial z}\) with \(h{:}{=}\frac{1}{\vert \partial _z\vert _{\tilde{g}}}\). Then (4.3) along with \(\nabla _{\partial _{\overline{z}}} \partial _z =0=\nabla _{\partial _{\overline{w}}} \partial _z\) say \(\nabla _{JV} V \parallel V\), and similarly for \(\nabla _{KV} V\).
Theorem 5.5
Let \(M \subset (X,\tilde{g})\) be a torus which is fixed by an order 4 holomorphic isometry. Let V be a unit vector tangent field of M, extended to a neighbourhood U of M. If the function \(\sigma _{II}(V):U\rightarrow \mathbb {R}\) has its minima on M, then M is flat.
Proof
Proposition 4.11 gives us an expression for \(\Delta \sigma _{II}\) at critical points. We will argue that the last term drops out. Using the order 4 isometry f, we see that \(\nabla _{JV} V\) has to be proportional to a combination of JV and KV when restricted to M. Hence, \(\nabla _{JV}V=0\) on M. Proposition 4.11 therefore says
for any critical point on M. Hence, a minimum is possible if and only if \(\sigma _{II}=0\) at the minimum. But \(\int _M \sigma _{II}\, d\text {Vol}_{\tilde{g}_{\vert M}}=0\) by the Gauss–Bonnet theorem, and \(\sigma _{II}=0\) everywhere on M as a consequence. \(\square \)
Remark 5.6
Any critical point for \((\sigma _{II})_{\vert M}\) is also a critical point for \(\sigma _{II}\) due to the order 4 isometry. Indeed, \(\nabla _{JV} \sigma _{II}=\nabla _{JV} \sigma _{II}\) and similarly for \(\nabla _{KV}\). So \(\nabla \sigma _{II}=0\) if and only if \(\nabla _{V} \sigma _{II}=\nabla _{IV} \sigma _{II}=0\). Hence, there are critical points of \(\sigma _{II}\) on M. What is not clear (hence the assumption in the above result) is that these critical points are minima.
We end by pointing out that the lattice \(\Gamma =\Lambda \oplus \Lambda \) with \(\Lambda =\mathbb {Z}\{1,i\}\) is not the only possible choice leading to a result like Theorem 5.4. Another possibility is to choose \(\zeta {:}{=}\exp \left( \frac{2\pi i}{3}\right) \), \(\Lambda {:}{=}\mathbb {Z}\{1,\zeta \}\) and \(\Gamma =\Lambda \oplus \Lambda \). The affine map
induces an order 3 holomorphic isometry \(f:X\rightarrow X\). The set
maps to a torus \(M\subset X\) which is a connected component of the fixed point set of f. Theorem 5.4 therefore applies to this M.
6 Proof of Kobayashi’s estimates
Here, we will go through large parts of the proof of Kobayashi’s estimates. Most of the key arguments are due to [43], but there are two minor mistakes we correct. The first is that Kobayashi seems to assume the constant A from (2.7) is 1. One can of course absorb A into the definition of \(\psi \), (6.1), but this will cause \(\psi \) to be different from 0 outside of the neck regions. The fact that A is not 1, but somewhat smaller, see (2.8), slightly changes the proof of Case 1 of Lemma 6.5. The second mistake is that Kobayashi refers to standard theory for the real Monge–Ampère equation to deduce Hölder bounds. One instead has to use the corresponding complex theory, which we do in Proposition 6.8.
Additionally, we clarify the choice of coordinates used by introducing holomorphic Darboux coordinates, and give a detailed analysis of a suitable coordinate system near a connected component \(E_i\cong \mathbb {C}\mathbb {P}^1\) of the exceptional divisor E.
Our notation is as before; (X, g) denotes a Kummer K3 surface with patchwork metric depending on 16 parameters \(a_i\) and \(\vert a\vert ^2=\sum _i a_i^2.\) The constant A is defined in (2.7) and takes the value given in (2.8). We introduce the function \(\psi :X\rightarrow \mathbb {R}\) via
This can either be interpreted as the Radon–Nikodym derivative, or simply the proportionality function which must exist between the two top forms \(\eta \wedge \overline{\eta }\) and \(\omega ^2/2\). In holomorphic Darboux coordinates, i.e. where \(\eta =dz_1 \wedge dz_2\), we have
and (6.1) is a way of making this function globally well defined. As we prove in Appendix B, (B.6), we have
for some constant \(C>0\). The argument is that \(\psi =0\) outside of the neck regions, and in the necks one can see that the Euclidean and Eguchi–Hanson metrics differ by terms of order \(a^2\). With this notation out of the way, we may write the Monge–Ampère equation as
6.1 \(C^0\)estimates
The \(C^0\) estimate of Kobayashi is as follows.
Proposition 6.1
[43] Assume \(\phi \) is the solution to (6.3) subject to the normalization
Then, there is a constant \(C>0\) such that for all values of \(\vert a\vert \) small enough, we have
We will forego a full proof, which proceeds via Moser iteration and is well explained in [43]. We would nevertheless like to sketch parts of it to point out some important features.
Sketch of proof
From the Monge–Ampère Eq. (6.3), we have
Multiplying this by \(\phi \vert \phi \vert ^{2(p1)}\) for \(p\ge 1\), integrating by parts, and dropping a nonnegative term leads to
where we have also used (6.2) and (2.8). This is the key estimate we need. For \(p=1\), one can use the Hölder inequality on the righthand side to get an \(L^2\)norm of \(\phi \). Replacing the lefthand side by \(\left\Vert \phi \right\Vert ^2_{L^2(X,g)}\) via the Poincaré inequality (B.3), we get \(\left\Vert \phi \right\Vert _{L^2(X,g)}\le C\vert a\vert ^2\). Going back to (6.6), we can use the Sobolev inequality (B.4) to replace the gradient norm by a higher \(L^p\)norm. Concretely, one finds
Iterating this, starting at \(p=1\), will lead to the required \(L^\infty \)bounds. \(\square \)
Remark 6.2
There are a couple of important aspects of this estimate we would like to point out. Firstly, the factor \(\vert a\vert ^2\) appears as \(\vert 1Ae^\psi \vert \), which essentially measures the Ricci curvature of the patchwork metric in the neck regions. A better approximation of the Ricciflat metric would then have given us a smaller \(C^0\)bound on the correction, which would have propagated into the \(C^k\)bounds.
Secondly, the fact that the Patchwork metric has bounded volume, diameter and Ricci curvature as \(a\rightarrow 0\) gives us uniform Poincaré and Sobolev constants, which ensures that our constants stay aindependent. Details can be found in Appendix B.
6.2 \(C^2\)estimates
The \(C^2\)estimates follow from the Monge–Ampère equation as soon as we have estimates on \(\Delta \phi \). To see this, we recall the function
In holomorphic Darboux coordinates, the Monge–Ampère Eq. (6.3) reads
where A is defined by (2.7). The determinant of the complex \(2\)matrix we write as
Now \(\text {tr}(g^{1} \partial \overline{\partial } \phi )=\Delta \phi \) and \(\text {tr}(g^{1} \partial \overline{\partial }\phi g^{1} \partial \overline{\partial } \phi )= \vert \partial \overline{\partial } \phi \vert ^2_g\) per definition, and
With this, we may write the Monge–Ampère equation as
We note how (6.8) is independent of the choice of coordinates.
This tells us that a bound on \(\Delta \phi \) directly translates into a bound on \(\partial \overline{\partial } \phi \). So we set about bounding \(\Delta \phi \) as in [43, 72]. Let \(r_a=\frac{\max _i a_i}{\min _i a_i}\). Then, we will prove there is a constant \(C>0\) independent of \(\vert a\vert \) such that
holds for any point in X. The trick to be employed in proving (6.9) is essentially a maximum principle. We will consider the function \(F(x){:}{=}\exp (C\phi (x))\text {Tr}_{g}(\tilde{g})(x)= \exp (C\phi (x))(2+\Delta \phi )\) for some positive constant C (to be determined later). The function F has a maximum due to the compactness of X, and at a maximum we have \(\tilde{\Delta }F\le 0\), where we have introduced \(\tilde{\Delta }F=\text {tr}(\tilde{g}^{1} \partial \overline{\partial } F)=\tilde{g}^{\overline{\nu }\mu } \partial _\mu \partial _{\overline{\nu }} F\). Below, there will be an extensive computation deriving a lower bound on \(\tilde{\Delta }F\). This lower bound at a single point will essentially establish (a stronger version of) (6.9) at a single point, which then gets translated into a proof of (6.9) at an arbitrary point.
The proof is long, and is subdivided into several steps. We start by recalling a important estimate from [72], which essentially comes from computing two derivatives of the Monge–Ampère equation.
Proposition 6.3
[72, Equation 2.22] Choose holomorphic normal coordinates at p and diagonalize^{Footnote 8}\(\partial \overline{\partial } \phi (p)\), meaning \(g_{\mu \bar{\nu }}(p)=\delta _{\mu \bar{\nu }}\), \(g_{\mu \bar{\nu },\alpha }(p)=0\), and \(\phi _{\mu \bar{\nu }}(p)=\delta _{\mu \bar{\nu }}\phi _{\mu \bar{\mu }}(p)\). Then, the following inequality holds for any positive real number C at the single point p.
Lemma 6.4
Let \(K:X\rightarrow \mathbb {R}_{\ge 0}\), \(K{:}{=}\vert Riem\vert ^2_g\) denote the Kretchsmann scalar for the patchwork metric g. Introduce
Then, there are constants \(C_1,C_2>0\) (independent of a) such that for all small enough values of \(\vert a\vert \), we have the bounds
In particular, in the special coordinates of Proposition 6.3, we have
for an arbitrary point \(p\in X\), and
if p is in a neck region.
Proof
In the Euclidean region, we have \(K=0\). In a neck region \(N_i\), (2.3) implies there is a constant \(C>0\) such that \(K\le C a_i^4\) for small enough values of \(a_i\). In an Eguchi–Hanson patch \(U_i\), (2.4) says \(K(z)=\frac{24a_i^4}{(a_i^2+u^2)^3}\) with \(u=\vert z\vert ^2_{\mathbb {C}^2}\). All in all, we find
from which it follows that^{Footnote 9}
\(\square \)
Lemma 6.5
Let \(x_m\in X\) denote a maximum of the function \(F(x)=\exp (2R_a\phi (x))\text {Tr}_g(\tilde{g})(x)\). Then, there is a constant \(C>0\) such that for all small enough values of \(\vert a\vert \), we have
Proof
At the single point \(x_m\) we introduce holomorphic normal coordinates as before such that \(g_{\mu \bar{\nu }}(x_m)=\delta _{\mu \bar{\nu }}\), \(g_{\mu \bar{\nu },\alpha }(x_m)=0\), and \(\phi _{\mu \bar{\nu }}(x_m)=\delta _{\mu \bar{\nu }}\phi _{\mu \bar{\mu }}(x_m)\). In these coordinates, we set
Note that per definition, \(\vert k(x_m)\vert \le 1\).
At the maximum of \(\exp (2R_a\phi )\text {Tr}_g(\tilde{g})\), the lefthand side of (6.10) with \(C=2R_a\) has to be nonpositive. With our choice of notation, we may write this as
Complete a square in \(\text {Tr}_g(\tilde{g})\) to arrive at
There are now two possible cases. Either \(x_m\) lies inside a neck region \(N_i\) or it lies outside of all the neck regions.
Case 1—\(x_m\) lies outside of the neck regions:
Outside of the necks, \(\psi (x_m)=\Delta \psi (x_m)=0\) by (6.1) by construction of g. Inserting this into (6.17) gives
The Monge–Ampère equation (6.3) says in holomorphic normal coordinates for g that \(\det (\tilde{g})=Ae^{\psi }=1\Upsilon \vert a\vert ^2<1\), where \(\Upsilon >0\) is some positive constant which was computed in (2.8). Hence, one may overestimate the first term on the lefthand side of (6.18) by
Inserting this back into (6.18) and recognizing a square allows one to conclude
Taking a square root on both sides here and using \(\det (\tilde{g})<1\) twice, one can conclude that
or
This proves that
when \(x_m\) lies outside of the neck regions.
Case 2—\(x_m\) lies inside the neck regions:
When the maximum \(x_m\) lies in a neck region, we return to (6.17) and complete the square on the lefthand side. Suppressing the point \(x_m\) from the notation, the result is
Hence, (6.17) says
or
Since we are in a neck region, the curvature k is bounded, \(\vert k\vert \le C \frac{\vert a\vert ^3}{r_a}\). This follows by (B.5). In normal coordinates for g, the Monge–Ampère equation reads \(\det (\tilde{g})=Ae^{\psi }\), hence \(\vert \det (\tilde{g})1\vert \le C\vert a\vert ^2\) by (2.8) and (6.2). From (B.6), it also follows that \(\vert \Delta \psi \vert \le C \vert a\vert ^2\), and so
for all \(\vert a\vert \) small enough. This proves (6.15). \(\square \)
Proof of Equation (6.9)
To get an upper bound of \(\nabla \phi \) at an arbitrary point, we can do as follows, where the first inequality is the definition of \(x_m\).
This proves the upper bound in (6.9).
The lower bound in (6.9) is considerably easier. Let \(\alpha ,\beta \) denote the eigenvalues of \(g^{1}\tilde{g}\) in some local coordinates. Then
and by the inequality of arithmetic and geometric means,
where we have inserted the Monge–Ampère Eq. (6.3), in the final step. By (2.8) and (6.2), one can find a constant \(C>0\) such that
for sufficiently small values of \(\vert a\vert \). This can be inserted into (6.22) to establish
which proves the lower bound in (6.9). \(\square \)
Corollary 6.6
There is a constant \(C>0\) independent of \(\vert a\vert \) such that
hold everywhere on X.
Proof
From (2.8), (6.2), (6.8), and (6.9), it follows that
\(\square \)
Remark 6.7
The appearance of \(r_a\) in the \(C^2\)estimate is a consequence of using Yau’s maximum principle, where the maximal holomorphic sectional curvature appears from a double derivative of the Monge–Ampère equation. This factor of \(r_a\) then propagates into the higherorder estimates. We do not know if this is reflected in the actual behaviour of the solution, or if it is an artefact of the proof. We assume \(r_a\) is uniformly bounded in a (Assumption 2.8).
It would in general be interesting (and useful for studying the Kähler–Ricci flow on singular manifolds) if one can derive Yau’s \(C^2\)bounds without using the maximum of the sectional curvature.
6.3 Hölder regularity
From the above bound on the complex Hessian \(\partial \overline{\partial } \phi \), we will follow Siu [64] and Błocki [11, 12], to derive Hölder bounds on the real Hessian \(D^2\phi \). Since the real and complex Hessians differ, the corresponding real and complex Monge–Ampère equations differ. Hence, one cannot simply apply the real theory directly, as [43, p. 302] does. The methods go back to Evans [26, 27], Krylov [46] and Trudinger [69].
Proposition 6.8
There are constants \(C>0\) and \(0<\alpha <1\) which do not depend on a such that
holds for all values of a small enough.
The strategy is the following. Locally, we may write \(\tilde{g}=\partial \overline{\partial } \tilde{\phi }\) for some Kähler potential \(\tilde{\phi }\). In suitable coordinates, the Monge–Ampère equation reads \(\det (\partial \overline{\partial } \tilde{\phi })=const.\), and by taking derivatives of this equation, we get an elliptic equation we can analyse using a local Harnack inequality. By combining bounds on sub and supersolutions, we get a bound on the oscillation of \(\tilde{\phi }\), which leads to the Hölder bound on \(\tilde{\phi }\). Since \(\tilde{g}=g+\partial \overline{\partial }\phi \), we may choose \(\tilde{\phi }=\Phi +\phi \), where \(\Phi \) is a Kähler potential for g (e.g. (2.2)). We will show that \(\Phi \) is in \(C^{2,\alpha }\) uniformly in the same local coordinates as for \(\tilde{\phi }\). Hence, \(\phi \) will be uniformly bounded as well. We divide the proof into 7 steps.
Step 1—Bounds on the patchwork metric: We first prove that we can cover X by coordinate charts in such a way that the Monge–Ampère equation becomes simple and the eigenvalues of the patchwork metric are under control away from the exceptional divisor.
Lemma 6.9
For all \(\vert a\vert \) small enough, there is an aindependent finite cover \(V_i\) of holomorphic Darboux coordinate charts^{Footnote 10} of X and a constant \(C>0\) such that the eigenvalues of the metrics g and \(\tilde{g}\) in the local coordinates lie in the interval between \(C^{1}\frac{\vert a\vert }{r_a}\) and \(C\frac{r_a}{\vert a\vert }\).
For any compact set \(K\subset X{\setminus } E\), there is an aindependent constant \(C_K\) such that the eigenvalues of g and \(\tilde{g}\) in the local coordinate charts \(K\cap V_i\) lie between \(C_{K}^{1}\) and \(C_K\).
Proof
We start with the second part. As long as one stays away from the exceptional divisor, the patchwork metric g can locally be written
where h is bounded with bounded derivatives. Cover the compact set K with finitely many such coordinate charts to deduce the statement for g. The statement for \(\tilde{g}\) follows by Corollary 6.6 as we next show. Let v be an eigenvector for \(\tilde{g}\). Then,
similarly for the lower bound.
To estimate the eigenvalues also near the exceptional divisor, we take a careful look at the Eguchi–Hanson metric. The Eguchi–Hanson metric on \(\mathbb {C}^2{\setminus } \{0\}\) reads
where \(u=\vert z\vert ^2\) is the Euclidean distance squared and we are writing a instead of \(a_i\). The eigenvalues in these coordinates are \(\frac{\sqrt{a^2+u^2}}{u}\) and \(\frac{u}{\sqrt{u^2+a^2}}\), hence are not bounded. We therefore need to choose different coordinates. The metric extends to a complete metric on the total space of the cotangent bundle of \(\mathbb {C}\mathbb {P}^1\), \(\mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2)\), and we will first use coordinate patches on this total space. Recall that
Working on the coordinate chart \(\{\xi \ne 0\}\) and writing \(\zeta {:}{=}\frac{\varsigma }{\xi }\), we have \(w=\zeta ^2 z\). On this coordinate patch, we introduce the map
Here, the brackets on the righthand side mean the \(\mu _2\)orbit. This map is well defined. The map \(f_2\) is similarly defined on the set \(\varsigma \ne 0\), and \(f_1=f_2\) on the overlap \(\{\xi \ne 0\ne \varsigma \}\). Hence, there is a blowdown map \(f:\mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2) \rightarrow \mathbb {C}^2/\mu _2\). See [52] for more details. Pulling back the Eguchi–Hanson line element using \(f_1\) then yields
where \(u=\vert z\vert (1+\vert \zeta \vert ^2)\). Completely analogous expressions will be found on the other set \(\{\varsigma \ne 0\}\), so we do not write these out.
This removes the divergence in the metric at \(z=0\iff u=0\). Indeed, we simply have
The eigenvalues of this metric are clearly uniformly bounded by \(\frac{C}{a}\) and Ca on the set \(\vert \zeta \vert \le 1\) and \(u\le 1\). For \(\vert \zeta \vert \ge 1\), we make one final change of coordinates, writing
In these coordinates, still at \(u=0\), we find
These components are again uniformly bounded by Ca and \(\frac{C}{ a}\) for all \(\vert \upsilon \vert \le 1\). These estimates were for a single component of the exceptional divisor with parameter \(a_i\), so the upper bound has to be modified to \(C\frac{1}{a_i}\le C\frac{r_a}{\vert a\vert }\) and the lower bound to \(C \vert a\vert \le \frac{\max _i a_i}{\min _i a_i} \min _i a_i\le r_a a_i\). Combined with the estimates away from E, we the statement about the eigenvalues of g follow. The bounds on \(\tilde{g}\) follow from Corollary 6.6 exactly as before.
To see that the above coordinates are (almost) holomorphic Darboux coordinates, we look at what happens to the holomorphic volume form \(\eta =dz_1 \wedge dz_2\) under these coordinate transformations. With the above coordinates, \(z_1=\sqrt{z}\), \( z_2=\zeta \sqrt{z}\), \(z=\frac{y}{\zeta ^2}\) and \(\zeta =\frac{1}{\upsilon }\), we find
So simply multiplying z and y by a factor of 2 gives us holomorphic Darboux coordinates. \(\square \)
The holomorphic Darboux coordinates are not suited for local analysis near the exceptional divisor since the ratio of the eigenvalues of g is unbounded as \(a\rightarrow 0\). This can be remedied by rescaling the fibre coordinate z or y in the above proof.
Lemma 6.10
Near a component \(E_i\) of the exceptional divisor, we may choose finitely many coordinate patches and coordinates \((z_a, \zeta )\) such that
and
in these coordinates. We shall refer to the above coordinates as rescaled holomorphic Darboux coordinates.
Proof
We return to the expression (6.24). By a change of scale, \(z_a{:}{=}\frac{z}{2a}\) and \(u_a{:}{=}2 \vert z_a\vert (1+\vert \zeta \vert ^2)\), (6.24) becomes
This expression has eigenvalues bounded by Ca and \(C^{1} a\) for all \(u\le a\) (i.e. \( u_a\le 1\)) and \(\vert \zeta \vert \le 1\). For \(\vert \zeta \vert \ge 1\), we use \(y_a{:}{=}\zeta ^2 z_a\) and \(\upsilon =1/\zeta \) as before to get the same bounds Ca and \(C^{1} a\). \(\square \)
We will from now on be working locally on an open subset \(V_j\subset X\). By Lemmas 6.9 and 6.10, we may choose this open set to have (rescaled) holomorphic Darboux coordinates. In particular, \(V_j\) may be taken biholomorphic to a Euclidean ball \(B_{2R}\) in \(\mathbb {C}^2\) centred on the origin. The Ricciflat metric \(\tilde{g}\) satisfied the Monge–Ampère equation, which in these coordinates simply reads
where the constant is A (\(a_i^2 A\)). We may assume there exists a locally defined Kähler potential \(\tilde{\phi }:V_j\rightarrow \mathbb {R}\) with \(\partial \overline{\partial } \tilde{\phi }=\tilde{g}\). We will write \(\tilde{\phi }\) instead of \(\tilde{\phi }_j\) not to clutter the notation.
Step 2—A local Harnack inequality: The key analysis result will be the following.
Proposition 6.11
[64, p. 102] Let g be a Kähler metric on \(B_{2R}\), the ball of radius 2R centred on \(0\in \mathbb {C}^n\). Let \(q>n\). Then, there exists a \(p>0\) and \(C>0\) such that if \(g^{\overline{\nu }\mu } \partial _{\mu }\partial _{\overline{\nu }} v\le \theta \) and \(v>0\) on \(B_{2R}\), then
The constant C depends on n, \(\text {diam}(B_r,g)\), \(\text {Vol}(B_r,g)\) and the constant in the Sobolev inequality
for all compactly supported f.
We refer to [64, pp. 107–112] for a proof.
Corollary 6.12
Let X be a Kummer K3 surface with Ricciflat metric \(\tilde{g}\). Let \(V_j\cong B_{2R}\) be a holomorphic Darboux coordinate patch. Then, the constant C in (6.26) can be chosen independently of a.
Proof
The volume bound follows from the Monge–Ampère equation directly, which prescribes the volume form of \(\tilde{g}\). The diameter bound for g is argued in the proof of Proposition B.2 in Appendix B. The diameter bound for \(\tilde{g}\) follows from this and the bound on \(\partial \overline{\partial } \phi \), (6.23). The Sobolev constant can be controlled as long as one has upper and lower bounds on the volume and diameter and a lower bound on the Ricci curvature  see Theorem B.1 in Appendix B. The Ricci curvature vanishes for \(\tilde{g}\); hence, we have a uniform Sobolev constant. \(\square \)
Step 3—Harnack inequality for supersolutions: The Monge–Ampère equation reads
in (rescaled) holomorphic Darboux coordinates. Let \(\zeta \in \mathbb {C}^2\) with \(\vert \zeta \vert =1\) be arbitrary. Differentiating the logarithm of the equation and using the Jacobi formula yields
and
The first term on the lefthand side is per definition \(\tilde{\Delta }\tilde{\phi }_{\zeta \overline{\zeta }}\). The second term is the tensor norm of \(\partial \overline{\partial } \tilde{\phi }_{\zeta }\), hence can be dropped to give the inequality
This allows us to apply the Harnack inequality to the function
to deduce
The constant C on the righthand side can be chosen to be independent of a, as discussed in step 2.
Step 4—Harnack inequality for subsolutions: We need two linear algebra results. The first goes as follows.
Lemma 6.13
[29, Lemme 1] Let \(\mathcal {H}_+\) denote all \(n\times n\) Hermitian matrices with positive eigenvalues. Let \(A\in \mathcal {H}_+\). Then,
Let \(x,y\in B_{2R}\). We will specify x later, and y will be integrated. Let \(B=\kappa \tilde{g}^{1}(y)\), where \(\kappa =\sqrt{A}\) (\(\kappa =a_i \sqrt{A}\)) when we are in (rescaled) holomorphic Darboux coordinates. Then, the Monge–Ampère equation says \(\det (B)=1\), and the lemma, implies
On the other hand, we trivially have
so
To proceed, we need the second linear algebra result.
Lemma 6.14
[64, p. 103], [12, Lemma 5.17] For \(0<\lambda<\Lambda <\infty \), let \(S(\lambda ,\Lambda )\) denote the set of Hermitian \(n\times n\)matrices with eigenvalues in the interval \([\lambda ,\Lambda ]\). Then, one can find unit vectors \(\zeta _1,\ldots , \zeta _N\in \mathbb {C}^n\) and \(0<\lambda _*< \Lambda _*<\infty \) depending only on \(n,\lambda ,\) and \(\Lambda \) such that every \(H\in S(\lambda ,\Lambda )\) can be written
with \(\beta _k\in [\lambda _*,\Lambda _*]\).
Remark 6.15
The proof yields \(\lambda _*<\lambda /N\) and \(\Lambda _*>\Lambda \), but can otherwise be chosen arbitrarily. We may also assume that the finite set of vectors contains an orthonormal basis.
With this at hand, we find locally defined functions \(\beta _k\) with \(\lambda _*\le \beta _k \le \Lambda _*\) such that
Hence,
Let
and introduce the oscillation
We also introduce the shorthand
Let \(\ell \in \{1,\ldots ,N\}\) be arbitrary. Then, the Harnack inequality tells us
The last sum can be estimated a bit. Since \(M_{k,2R}M_{k,R}\ge 0\), we can include the term \(k=\ell \) on the righthand side. We further have
So
From (6.28) and \(\lambda _*\le \beta _k\le \Lambda _*\), we find
Taking averaged \(L^p\)norms here and using (6.29) gives us
where all the integrals are with respect to y. For any \(\epsilon >0\), we can find \(x\in B_{2R}\) such that \(w_{\ell }(x)=m_{\ell ,2R}+\epsilon \). Using this on the lefthand side, we deduce
Since \(\epsilon \) was arbitrary, we can send it to 0 and deduce
for any \(\ell \in \{1,\ldots ,N\}\).
Step 5—Combining both Harnack estimates: Let \(\ell \in \{1,\ldots , N\}\). Then, we have
Multiplying both sides by \(R^{4/p}\) and using both (6.27) and (6.30) yields
Summing over \(\ell \) gives us
where \(\delta {:}{=}1\frac{\lambda _*}{\Lambda _*CN}\).
The inequality (6.31) gives us the Hölder regularity by [34, Lemma 8.23]. Indeed, let \(r<R\). Choose \(m>0\) so that
i.e.
Then, (6.31) and the monotonicity of \(\text {osc}\) say
The oscillation \(\text {osc}(R)\) can be bounded by bounding \(\vert \tilde{\phi }_{\zeta \overline{\zeta }}\vert \) for arbitrary \(\zeta \). For \(\zeta \in \mathbb {C}^2\), there are \(\mu ,\nu \in \mathbb {C}\) such that \(\zeta =\mu z+\nu w\), hence
The righthand side can be bounded by a constant (depending on \(\zeta \)) and the largest eigenvalue of \(\tilde{g}\). Hence, by Lemmas 6.9 and 6.10,
and
with
To finish, we have to bound \(\alpha \). We distinguish between being near and away from the exceptional divisor. Lemma 6.9 yields uniform bounds on the eigenvalues of \(\tilde{g}\) away from the exceptional divisor. So \(\frac{\lambda _*}{\Lambda _*}\) is uniformly bounded, and thus \(\alpha <1\) uniformly.
Near the exceptional divisor, the eigenvalues \(\lambda \) and \(\Lambda \) are poorly behaved in the coordinates (6.24), so we use the rescaled coordinates (6.25). In these coordinates, \(\frac{\lambda }{\Lambda }\) is uniformly bounded by Lemma 6.10 as long as \(u\le a_i\). This can be achieved by rescaling \(R\mapsto \sqrt{a_i}R\). By Lemma 6.10 and Corollary 6.6, we have \(\Lambda \le C\sqrt{\vert a\vert }\). Hence,
with \(\alpha <1\) uniformly. So we get Hölder estimates also near the exceptional divisor.
Step 6—Hölder bounds on g:
Lemma 6.16
Let \(\{V_i\}\) be the cover of (rescaled) holomorphic Darboux coordinate neighbourhoods of Lemmas 6.9 and 6.10. Let \(\Phi _j :V_i \rightarrow \mathbb {R}\) be Kähler potentials for the patchwork metric g. Then, there are uniform constants \(C>0\) and \(0< \alpha \le 1\) such that
Proof
For the Euclidean region, this is clear. On an annulus K around a component of the exceptional divisor \(E_i\), the potential (2.1) can be written
for some smooth function \(\xi _K\) which is regular as \(a_i\rightarrow 0\). In the neck region, the patchwork potential can thus be written
where \(\chi \) is a smooth cutoff function as described in Sect. 2. These expressions then give the required bound.
Near the exceptional divisor, one could compute the real Hessian of the Eguchi–Hanson potential (2.1) directly and compare. But it is probably easier to just repeat steps 3–5, since the potential \(\Phi \) satisfies
where the constant is 1 (\(a_i^2\)) in (rescaled) holomorphic Darboux coordinates. \(\square \)
Step 7—Hölder bounds on \(\phi \): In a coordinate patch \(V_i\), we write
, hence
where we have used Corollary 6.6 to compare the g and \(\tilde{g}\)norm.
6.4 \(C^1\) estimates
The \(C^1\) estimates of \(\phi \) follow from a general result in Riemannian geometry.
Lemma 6.17
Let (M, g) be a compact, connected Riemannian manifold with diameter \(d{:}{=}\text {diam}(M,g)\). Then, there exists a monotonically increasing function \(\alpha :[0,\infty )\rightarrow \mathbb {R}\) such that
holds for any \(f\in C^2(M;\mathbb {R})\).
Proof
The idea is simply to integrate the double derivative along a curve. Here are the details.
For an \(f\in C^2(M;\mathbb {R})\), let \(q\in M\) denote a critical point. This point exists due to the compactness of M. Let \(p\in M\) be any point. For \(\epsilon >0\), let \(\gamma :[0,T]\) denote a unit speed curve with \(\gamma (0)=q\), \(\gamma (T)=p\), and \(T=L(\gamma )\le d(p,q)+\epsilon \). Let \(\xi :[0,T]\rightarrow \mathbb {R}\) denote the function
This is differentiable, and
where we have used the unit speed condition and the inequality between arithmetic and geometric mean. This differential inequality tells us
which integrates to
This then yields
Doing the same construction for other points tells us
Letting \(\epsilon \rightarrow 0\) gives the required bound with \(\alpha (d)=d e^d\). \(\square \)
Remark 6.18
The aboveconstructed \(\alpha \) is not sharp. Indeed, if there are no critical points for f between \(\gamma (0)=q\) and \(\gamma (T)=p\), then the function \(\xi (t)=\vert \nabla f\vert _g(\gamma (t))\) is differentiable, and repeating the above argument yields \(\xi '(t)\le \vert D^2 f\vert _g(\gamma (t))\), hence
Since Morse functions are dense in the \(C^2\)topology, we can approximate an arbitrary function with a function with isolated critical points. By shifting the curve \(\gamma \) a bit, we can make sure there are no critical points between q and p, and use the above estimate. All in all one finds \(\alpha (d)=d^2\) as a better constant.
6.5 Higherorder estimates
Kobayashi’s approach to proving the higherorder derivatives is worth sketching here. For \(t\in [0,1]\), consider the equation
subject to
Here \(A,\psi \) and \(\omega \) are as before. This is what one considers for the continuity method to show that the Monge–Ampère equation has a solution. Computing the tderivative of (6.34) yields
where we have introduced
Then, (2.8) and (6.2) tell us that the righthand side is uniformly bounded from above and below,
Indeed, writing \(\varpi {:}{=}\frac{Ae^{\psi }1}{1+t(Ae^{\psi }1)}\), we have
for all \(k\ge 0\). Repeating the proofs^{Footnote 11} of the \(C^{2.\alpha }\)bounds for \(\phi _t\) instead of \(\phi \) gives us uniform Hölder bounds on \(\partial \overline{\partial } \phi _t\). Staying away from the exceptional divisor, we can write \(g=g_{\textrm{Euc}}+\mathcal {O}(\vert a\vert ^2)\). So (6.35) is a Poisson equation with Hölder continuous coefficients and Hölder continuous righthand side. So Schauder estimates, [34, Theorem 6.2] from elliptic theory gives local \(C^{k,\alpha }\)bounds on \(\partial _t \phi _t\), hence also on \(\phi =\phi _1\) by integrating and using \(\phi _0=0\).
Near the exceptional divisor, one has to use coordinates like (6.24) or (6.25). The last coordinates require a rescaling, hence the drop in powers of a in [43, equations 47, 48].
6.6 Some alternative proof strategies
There are by now several other routes one could attempt do deduce Kobayashi’s estimates. We would like to mention some which were suggested by the referee as interesting venues for further research. The first would be to use Donaldson’s bound on the correction in \(W^{5,2}(X,g)\), [21]. One could try to estimate the Sobolev constant in the embedding \(W^{5,2}(X,g) \rightarrow C^{2,\alpha }(X,g)\), which would allow one to circumvent most of Kobayashi’s arguments. This Sobolev constant will probably not be uniformly bounded since the sectional curvature and injectivity radius of (X, g) are not uniformly controlled, but if one can get a good enough control of it in terms of either of these two quantities, this should suffice. The second route would be to try to use estimates from the Joyce construction. If one starts out with (X, g) as the almost Ricciflat Kummer K3 of the paper and consider the product \(X\times \mathbb {T}^3\), then one can write down an almost \(G_2\) structure on this. After perturbing using [41, Theorem 11.6.1], one gets an actual \(G_2\)structure. This is a Ricciflat metric on \(X\times \mathbb {T}^3\), hence is an isometric product due to the Cheeger splitting theorem. The \(G_2\)perturbation of Joyce has thus perturbed the patchwork metric into a Ricciflat metric (circumventing the Monge–Ampère equation). The precise estimates in Joyce on this perturbation are, however, too weak for the purposes of this paper. If one could strengthen these estimates like in the recent work by Daniel Platt [61], then one should be able to deduce estimates like Kobayashi’s using the Joyce construction. A third idea would be to build on more general theory of desingularizing Einstein orbifolds like the recent work by Ozuch [58, Theorem 4.6]. They deal with the problem of the injectivity radius being uncontrolled by introducing weights in their function spaces which counteract this. It would still entail some work to deduce Kobayashi’s unweighted estimates from this more general framework, but it should be doable.
7 Discussion and outlook
7.1 Flatness of the tori
In the author’s unpublished PhD thesis [51], there is an argument that a certain special Lagrangian torus L, which can be found by similar arguments as in Theorem 5.4 using an antiholomorphic isometry of rank 2 of is flat. The argument was that a special Lagrangian submanifold has a prescribed volume form
where \(J_0\) is a complex structure on the flat torus T which is orthogonal to I and A is the constant in (2.8). But L is Kähler with the Kähler form \(\text {Vol}_L=\omega _J=\tilde{g}(\cdot , J\cdot )\). Hence,
Using the isometries again [51], argues \(J_{\vert L}=J_0\), hence \(\tilde{g}_{\vert L}=g_{\vert L}\) and the torus is flat. The proof of \(J_{\vert L}=J_0\) is sadly wrong, however.
7.2 Reducing the amount of symmetry
Theorem 5.4 only works for very special tori. A natural questions is what happens when one perturbs the underlying lattice \(\Gamma \) or the sizes \(a_i\). We do now know the answer to this, but would remark that closed geodesics need not behave nicely under metric perturbations. The oldest example of this is due to Morse [55, Chapter IX, Theorem 4.1], where he studies ellipsoids which are almost spherical. What he finds is that there are closed geodesics which become infinitely long when the ellipsoid is deformed to a round sphere. There is a modern proof in [42], and generalizations by Ballmann [4] and Bangert [6]. What this tells us is that one cannot in general expect the closed geodesics of a perturbed metric to be perturbations of the original closed geodesics.
We do now know if the situation is improved when considering hyperkähler deformations, and this is a question we hope to return to in the future.
Notes
Our definition of a Calabi–Yau manifold is a Kähler manifold (X, g) with vanishing first Chern class \(c_1(X)=0\) and trivial first cohomology group, \(H^1(X;\mathbb {R})=0\).
See [49, p. 44].
Here, we are indulging in some abuse of notation. \(\phi _a :X\rightarrow \mathbb {R}\), whereas \(\phi _{\alpha ^2a} :X_{\alpha }\rightarrow \mathbb {R}\). We also write simply \(\psi \) even though it depends on a and appears once as a function \(\psi :X\rightarrow \mathbb {R}\) and once as a function \(\psi :X_{\alpha } \rightarrow \mathbb {R}\).
For \(s>0\), \(\rho _s(t)\in \mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2){\setminus } \mathbb {C}\mathbb {P}^1\cong (\mathbb {C}^2{\setminus } \{0\})/\mu _2\). Writing [z(t)] for the image of \(\gamma (t)\) under this identification, \(\rho _s(t)\) takes the form \(\rho _s(t)=\theta (s,t)[z(t)]\) for some function \(\theta \), hence the name radial geodesic.
In this section, we are thinking of the metric as a hermitian metric, whose real part is the corresponding Riemannian metric. This is to make better use of the complex coordinates on \(\mathbb {C}^2\).
One can find \(\theta \) more or less explicitly. Since \(\rho _s(t)\) is supposed to be a radial geodesic, the geodesic equation has to be fulfilled, so using (3.9) and (3.8) we see that \(\partial _s^2 \theta + \frac{a_i^2}{(a_i^2 + u^2 \theta ^4)\theta } (\partial _s\theta )^2=0\) is the ODE satisfied by \(\theta \). This has \(\partial _s \theta (s,t) =\frac{\sqrt{d(t)}(a_i^2 + \theta (s,t)^4 u(t)^2)^{\frac{1}{4}}}{\theta (s,t)u(t)}\) as a first integral, where we can write \(\sqrt{d(t)}=\int _0^1 \frac{s u(t)}{(a_i^2 +s^4 u(t)^2)^{\frac{1}{4}}}\, ds\). We shall not need these explicit expressions, however.
Once one knows that there exists 3 metriccompatible, mutually orthogonal complex structures I, J, K, then (4.5) is actually a direct consequence of the Bianchi identity.
See [66, Prop. 3.1.1] for instance for a proof that these coordinates exist.
The argument written out is this. We have \(\max _i \frac{1}{a_i}=\frac{r_a}{\max _i a_i}\). Then, one uses the comparison between the maxnorm and Euclidean norm; \(\max _i a_i\le \vert a\vert \le 16\max _i a_i\).
If z, w are coordinates on \(V_i\), then \(\eta =dz\wedge dw\).
There is a slight added difficulty with the Hölder bound. The Monge–Ampère equation for \(\phi _t\) in holomorphic Darboux coordinates reads \(\det (g+\partial \overline{\partial } \phi _t)=(1t)e^{\psi }+tA\), so the righthand side is not constant in the neck region when \(t\ne 1\). The same proof goes through, however, with some harmless additional terms appearing in (6.31). We refer to [64, pp. 100–107] for the necessary modifications.
References
Alekseevsky, D.V., Graev, M.M.: Calabi–Yau metric on the Fermat surface. Isometries and totally geodesic submanifolds. J. Geom. Phys. 7(1), 21–43 (1990)
Anderson, M.T.: Ricci curvature bounds and Einstein metrics on compact manifolds. J. Am. Math. Soc. 2(3), 455–490 (1989)
Aubin, T.: Nonlinear Analysis on Manifolds. Monge–Ampère Equations. Springer, Berlin (1982)
Ballmann, W.: On the lengths of closed geodesics on convex surfaces. Invent. Math. 71, 593–597 (1983)
Ballmann, W.: Lectures on Kähler Manifolds. EMS (2006)
Bangert, V.: On the lengths of closed geodesics on almost round spheres. Math. Z. 191, 549–558 (1986)
Bando, S.: Bubbling out of Einstein manifolds. Tohoku Math. J. (2) 42(2), 205–216 (1990)
Barth, W.P., Hulek, K., Peters, C.A.M., Van de Ven, A.: Compact Complex Surfaces, 2nd edn. Springer, Berlin (2004)
Bielawski, R.: Complete hyperkähler \(4n\)manifolds with a local trihamiltonian \(\mathbb{R}^n\)action. Math. Ann. 314, 505–528 (1999)
Bando, S., Kasue, A., Nakajima, H.: On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth. Invent. Math. 97, 313–349 (1989)
Błocki, Z.: Interior regularity of the complex Monge–Ampère equation in convex domains. Duke Math. J. 105(1), 167–181 (2000)
Błocki, Z.: Chapter 5—The Calabi–Yau theorem. In: Complex Monge–Ampère Equations and Geodesics in the Space of Kähler Metrics. Springer (2012)
Bourguignon, J.P.: Sur les géodésiques fermées des variétés quaternionniennes de dimension 4. Math. Ann. 221(2), 153–165 (1976)
Bourguignon, J.P., Yau, S.T.: Sur les métriques riemanniens à courbure de Ricci nulle sur le quotient d’une surface K3. C. R. Acad. Sci. Paris, tome 277, Ser. A 1175–1177 (1973)
Calabi, E.: The space of Kähler metrics. Proc. Int. Congr. Math. Amsterdam 2, 206–207 (1954)
Calabi, E.: On Kähler manifolds with vanishing canonical class. In: Algebraic Geometry and Topology. A Symposium in Honor of S. Lefschetz, pp. 78–89. Princeton University Press (1957)
Calabi, E.: Metriques kähleriennes et fibres holomorphes. Annales scientifique de l’E.N.S. 4e serie, tome 12(2) (1979)
Cheeger, J., Gromoll, D.: The splitting theorem for manifolds of nonnegative Ricci curvature. J. Differ. Geom. 6, 119–128 (1971)
Carmo, M.P.: Riemannian Geometry. Birkhäuser, Basel (1992)
Duistermaat, H., Guillemin, V.: The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math. 29, 39–80 (1975)
Donaldson, S. K.: Calabi–Yau metrics on Kummer surfaces as a model gluing problem. In: Advances in Geometric Analysis, Advanced Lectures in Mathematics (ALM), vol. 21, pp. 109–118. International Press, Somerville, MA (2012)
de Verdière, Y.C.: Spectre du laplacien et longueurs des géodésiques périodiques i. Compos. Math. 27, 83–106 (1973)
de Verdière, Y.C.: Spectre du laplacien et longueurs des géodésiques périodiques ii. Compos. Math. 27, 159–184 (1973)
de Verdière, Y.C.: Spectrum of the Laplace operator and periodic geodesics: thirty years after. Ann. Inst. Fourier 57(7), 2429–2463 (2007)
Eguchi, T., Hanson, A.J.: Selfdual solutions to Euclidean Gravity. Ann. Phys. 120, 82–105 (1979)
Evans, L.C.: Classical solutions of fully nonlinear, convex, second order elliptic equations. Commun. Pure Appl. Math. 25, 333–363 (1982)
Evans, L.C.: Classical solutions of the Hamilton–Jacobi–Bellman equation for uniformly elliptic operators. Trans. Am. Math. Soc. 275, 245–255 (1983)
Foscolo, L.: ALF gravitational instantons and collapsing Ricciflat metrics on the K3 surface. J. Differ. Geom. 112(1), 79–120 (2019)
Gaveau, B.: Méthodes de contrôle optimal en analyse complexe. I. Résolution d’équations de MongeAmpère. J. Funct. Anal. 25(4), 391–411 (1977)
Gao, P., Douglas, M.R.: Geodesics on Calabi–Yau manifolds and winding states in nonlinear sigma models. Front. Phys. 1 (2013)
Gibbons, G.W., Hawking, S.: Gravitational multiinstantons. Phys. Lett. B 78(4), 430–432 (1978)
Gromoll, D., Meyer, W.: Periodic geodesics on compact Riemannian manifolds. J. Differ. Geom. 3(3–4), 493–510 (1969)
Gibbons, G.W., Pope, C.N.: The positive action conjecture and asymptotically Euclidean metrics in quantum gravity. Commun. Math. Phys. 66(3), 267–290 (1979)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of the Second Order (reprint of the 1998 Edition). Springer, Berlin (2001)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2009)
Hebey, E.: Nonlinear analysis on manifolds: Sobolev space and inequalities. In: AMS and Courant Institute of Mathematical Sciences (2000)
Huber, H.: Zur analytischen Theorie hyperbolischer Raumformen und Bewegungsgruppen. Math. Ann. 138, 1–26 (1959)
Headrick, M., Wiseman, T.: Numerical Ricciflat metrics on K3. Class. Quantum Gravity 22, 4931–4960 (2005)
Joyce, D.: Compact 8manifolds with holonomy Spin(7). Invent. Math. 123, 507–552 (1996)
Joyce, D.: Compact Riemannian 7manifolds with holonomy G2. J. Differ. Geom. 43(2), (1996)
Joyce, D.: Compact Manifolds with Special Holonomy. Oxford University Press, Oxford (2000)
Klingenberg, W.P.A.: Riemannian Geometry (Second Revised Edition). Walter de Gruyter, Berlin (1995)
Kobayashi, R.: Moduli of Einstein metrics on a K3 surface and degeneration of type 1. Adv. Stud. Pure Math. 18–11, 257–311 (1990)
Kronheimer, P.B.: A Torellitype theorem for gravitational instantons. J. Differ. Geom. 29, 685–697 (1989)
Kronheimer, P.B.: The construction of ALE spaces as hyperKähler quotients. J. Differ. Geom. 29, 665–683 (1989)
Krylov, N.V.: Boundedly inhomogeneous elliptic and parabolic equations. Izv. Akad.Nauk SSSR 46, 487–523 (1982). English translation: Math. USSRIzv. 20, 459–492 (1983)
Kobayashi, R., Todorov, A.N.: Polarized period map for generalized K3 surfaces and the moduli of Einstein metrics. Tohoku Math. J. (2) 39(3), 341–363 (1987)
Lohkamp, J.: Metrics of Negative Ricci Curvature. Ann. Math. (2) 140(3), 655–683 (1994)
Lee, J.M., Parker, T.H.: The Yamabe problem. Bull. Am. Math. Soc. (N.S.) 17(1), 37–91 (1987)
LeBrun, C., Singer, M.: A kummertype construction of selfdual 4manifolds. Math. Ann. 300, 165–180 (1994)
Lye, J.O.: Stable Geodesics on a K3 Surface. Ph.D. Thesis, AlbertLudwigs Universität Freiburg, (2019). Unpublished thesis
Lye, J. O.: A detailed look at the Calabi–Eguchi–Hanson spaces (2022). arXiv:2201.07295
Margulis, G.A.: Applications of ergodic theory to the investigation of manifolds of negative curvature. Funct. Anal. Appl. 3, 335–336 (1969)
Margulis, G.A.: On Some Aspects of the Theory of Anosov Systems. Springer, Berlin (2000)
Morse, M.: The Calculus of Variations in the Large. AMS Coloquium Publications, Rhode Island (1934)
Myers, S.B.: Riemannian manifolds with positive mean curvature. Duke Math. J. 8(2), 401–404 (1941)
Nakajima, H.: Hausdorff convergence of Einstein 4manifolds. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 35(2), 411–424 (1988)
Ozuch, T.: Noncollapsed degeneration of Einstein 4manifolds II. Geom. Topol. 26, 1529–1634 (2022)
Page, D.N.: A physical picture of the K3 gravitational instanton. Phys. Lett. B 80(1–2), 55–57 (1978)
Petersen, P.: Riemannian Geometry. Springer, Berlin (1998)
Platt, D.: Improved estimates for \(G_2\)structures on the Generalised Kummer Construction (2022). arXiv:2011.00482v3
Rademacher, H.B.: On the average indices of closed geodesics. J. Differ. Geom. 29(1), 65–83 (1989)
Schwarzschild, K.: Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie. Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften 7, 189–196 (1916)
Siu, Y.T.: Lectures on Hermitian–Einstein Metrics for Stable Bundles and KählerEinstein Metrics. Birkhäuser, Berlin (1987)
Schmidt, B., Sutton, C.J.: Two remarks on the length spectrum of a Riemannian manifold. Proc. Am. Math. Soc. 139(11), 4113–4119 (2011)
Song, J., Weinkove, B.: An Introduction to the KählerRicci Flow. Springer, Berlin (2013)
Topiwala, P.: A new proof of the existence of Kähler–Einstein metrics on K3. I. Invent. Math. 89(2), 425–448 (1987)
Topiwala, P.: A new proof of the existence of Kähler–Einstein metrics on K3. II. Invent. Math. 89(2), 449–454 (1987)
Trudinger, N.: Fully nonlinear, uniformly elliptic equations under natural structure conditions. Trans. Am. Math. Soc. 278, 751–769 (1983)
Tsai, C.J., Wang, M.T.: Mean curvature flows in manifolds of special holonomy. J. Differ. Geom. 108(3), 531–569 (2018)
ViguéPoirrier, M., Sullivan, D.: The homology theory of the closed geodesic problem. J. Differ. Geom. 11(4), 633–644 (1976)
Yau, S.T.: On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I. Commun. Pure Appl. Math. 31(3), 339–411 (1978)
Acknowledgements
This work is both a summary and continuation of the authors’ PhD thesis [51] written at the AlbertLudwigsUniversität Freiburg under the expert guidance of Nadine Große and Katrin Wendland. The project was suggested by them, and several ideas and suggestions (and the absence of several mistakes) are due to them. They both took the time to read several earlier drafts of this paper in detail and provided helpful feedback. Any remaining errors are solely the author’s fault. We would also like to thank the anonymous referee for encouraging words and good suggestions for improvement.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Laplacian of the Riemann tensor
Here, we present part of the computation underlying Proposition 4.11. We start with a couple of lemmas.
Lemma A.1
Assume \((X,\tilde{g})\) is a hyperkähler 4manifold. Let V be any (locally defined) tangent vector field. Then,
where
is the Laplacian acting on 4tensors and all the commutators on the righthand side are acting on the 4tensor R.
Proof
This follows from using the second Bianchi identity twice along with some hyperkähler identities. By the second Bianchi identity and \(IJ=K\), we find
Hence,
To the second term, we apply the second Bianchi identity again to get
The fourth term we handle similarly, using the second Bianchi identity in the last two components to write
Hence, we have
Performing the same computation with KV instead of JV, we find
Using the Bianchi identity again, we rewrite
so
Adding these two expressions and using the Ricciflatness (equivalently, the first Bianchi identity) to write
we arrive at
as announced. \(\square \)
Lemma A.2
Assume \((X,\tilde{g})\) is a hyperkähler 4manifold. Let U, V, W be any tangent vector fields and write \((I_1,I_2,I_3)=(I,J,K)\) for the complex structures satisfying \(IJ=K\). Then,
Proof
This follows from the definitions and is quite standard. We start by computing
Similarly,
Subtracting the same expression with U and W swapped, we get
The lefthand side can be written as
On the righthand side, we use the definition of the curvature tensor to write
This yields the claimed formula. \(\square \)
From now on, we assume V is a (locally defined) unit vector field. We recall that \(\sigma _{IJ}=\sigma _{IJ}(V)\), etc., are defined so that
and so on for R(V, JV) and R(V, KV). Using this and the previous two lemmas, we arrive at
Proposition A.3
Assume \((X,\tilde{g})\) is a hyperkähler 4manifold. Let V be any locally defined unit tangent vector field. Then,
Proof
Lemma A.2 says
Using \(R(JV,V)V=\sigma _{IJ}IV+\sigma _{JJ}JV+\sigma _{JK}KV\), we find
and
Hence,
Similar computations yield
and
Adding up these four contributions, writing \(\sigma _{KK}+\sigma _{JJ}=\sigma _{II}\), and using Lemma A.1 gives (A.4). \(\square \)
Along the fixed point set M of an order 4 holomorphic isometry \(f:X\rightarrow X\), we may simplify greatly.
Proposition A.4
Assume the setup of Proposition 4.11. Let \(\alpha {:}{=}\left\langle IV,\nabla _{V}V\right\rangle \) and \(\beta {:}{=} \left\langle IV,\nabla _{IV} V\right\rangle \). Then,
holds for any point on M.
Proof
Let \(f:X\rightarrow X\) denote the isometry with M as fixed point set. Due to \(f_*(JV)=\pm KV\), we find
along M. So we analyse the commutators. Since V is unit speed, we have \(\left\langle V,\nabla _W V\right\rangle =0\) for any W. Since \(f_*\) fixes V, IV and rotates JV, KV, there have to be functions \(\alpha ,\beta ,\mu ,\nu :M\rightarrow \mathbb {R}\) such that
Using the formula \([W,U]=\nabla _WU\nabla _UW\), we thus arrive at
The second Bianchi identity tells us
and
Applying the isometry f to these further gives
and
hence
We have
so \(\sigma _{JJ}+\sigma _{KK}=\sigma _{II}\) along with \(\sigma _{JJ}=\sigma _{KK}\) tell us
on M. Similarly,
So
and
Inserting these into (A.6) then results in
For any point on M. \(\square \)
Remark A.5
We note how the righthand side of (A.5) is expressed solely in quantities computable on M, even though the Laplacian on the lefthand side involves derivatives normal to M.
Appendix B: Appendix—parameter independence
In this appendix, we prove the parameter independence of the Poincaré and Sobolev inequalities used in Kobayashi’s estimates. This will be a consequence of the following wellknown result. One potential source with a proof is [36, Theorem 5.3], where the Poincaré inequality gets discussed as part of the proof.
Theorem B.1
Let \((M,g_\lambda )\) is a compact manifold of dimension \(m\ge 3\) with a family of Riemannian metrics \(g_{\lambda }\). Assume there is a \(\lambda \)independent constant \(C>0\) giving

a lower bound on the volume,
$$\begin{aligned} C\le \text {Vol}_{g_{\lambda }}(M), \end{aligned}$$ 
an upper bound on the diameter
$$\begin{aligned} \text {diam}_{g_{\lambda }}(M)\le C, \end{aligned}$$ 
and a lower bound on the Ricci curvature
$$\begin{aligned} C g_{\lambda }\le \hbox {Ric}_{g_{\lambda }}. \end{aligned}$$
Then, there are \(\lambda \)independent constants \(C_P,C_S>0\) depending on the dimension m such that the following Poincaré and Sobolev inequalities hold for all \(f\in H^1(M,g_{\lambda })=\{f\in L^2(M,g_{\lambda })\, \big \vert \, \vert df\vert _{g_\lambda } \in L^2(M,g_{\lambda })\}\):
and
where
is the average.
Theorem B.1 applies to the Kummer construction.
Proposition B.2
Let (X, g) denote a Kummer K3 with patchwork metric g and Kähler form \(\omega \). Then, for all \(\vert a\vert \) small enough, there is a constant \(C>0\) independent of \(\vert a\vert \) such that
holds for all \(f\in H^1(X,g)\) with
and
holds for all \(f\in H^1(X,g)\).
Proof
That the diameter is bounded can be seen as follows. The distance between suitably close pairs of points in the Euclidean region is independent of a. For pairs of point p, q in the Eguchi–Hanson region, one can use the triangle inequality and compare with radial geodesics going from p to the zero section and out again to q. The radial distance is bounded by the Euclidean distance, as one sees by computing the length of the curve \(z(t)=tp\),
In the neck region, the distance is close to Euclidean by (2.3). So the distance between any two points in X can be bounded (using the triangle inequality several times) uniformly by aindependent quantities.
The volume form is Euclidean (\(\omega ^2/2 =\eta \wedge \overline{\eta }\)) outside of the neck regions where the gluing takes place. The Ricci curvature vanishes outside of the necks. So it only remains to bound the volume form and Ricci curvature in the neck regions. However, on any compact subset of the complement of the zero section in Eguchi–Hanson space, \(K\subset \mathcal {O}_{\mathbb {C}\mathbb {P}^1}(2){\setminus } \mathbb {C}\mathbb {P}^1\), it follows from the explicit form of the Kähler potential (2.1) that we can find a smooth function \(\xi _K\) such that
Furthermore, the function \(\xi _K\) is regular as \(a\rightarrow 0\). From this, it follows that the potential for the patchwork metric in the neck regions reads
and the patchwork metric reads
for some uniformly bounded h with uniformly bounded derivatives. This then tells us
has the form \(\det (g)=1+\vert a\vert ^2 \cdot \hbox {bounded}\) and
for some uniformly bounded \(\tilde{\xi }\). All in all, there is an \(\vert a\vert \)independent constant \(C>0\) such that
and
hold on all of X. With these, we get \(\vert a\vert \)independent bounds on the volume of X and the Ricci curvature of g for all small enough values of \(\vert a\vert \). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lye, J.O. Geodesics on a K3 surface near the orbifold limit. Ann Glob Anal Geom 63, 20 (2023). https://doi.org/10.1007/s1045502309898w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s1045502309898w