# A new complete Calabi–Yau metric on \({\mathbb {C}}^3\)

- 354 Downloads

## Abstract

Motivated by the study of collapsing Calabi–Yau 3-folds with a Lefschetz K3 fibration, we construct a complete Calabi–Yau metric on \({\mathbb {C}}^3\) with maximal volume growth, which in the appropriate scale is expected to model the collapsing metric near the nodal point. This new Calabi–Yau metric has singular tangent cone at infinity \({\mathbb {C}}^2/{\mathbb {Z}}_2 \times {\mathbb {C}}\), and its Riemannian geometry has certain non-standard features near the singularity of the tangent cone, which are more typical of adiabatic limit problems. The proof uses an existence result in H-J. Hein’s Ph.D. thesis to perturb an asymptotic approximate solution into an actual solution, and the main difficulty lies in correcting the slowly decaying error terms.

## 1 Motivations

This work grows out of the attempt to model the collapsing behaviour of Calabi–Yau metrics on a K3 fibred compact Calabi–Yau manifold (*i.e.* Kähler Ricci-flat with parallel nonvanishing holomorphic volume form) over a Riemann surface, where the Kähler class has very small volume on the K3 fibres. Assuming the only singularities in the fibration are nodal, we wish to understand the metric near the critical points of the fibration, in the standard local model of the Lefschetz fibration \(f: {\mathbb {C}}^3\rightarrow {\mathbb {C}}\) with \(f=z_1^2+z_2^2+z_3^2\) . Knowledge of the model metric is often useful in gluing constructions. The prototype examples are the Kummer construction [3] and the Gross-Wilson construction [4] of CY metrics on K3 surfaces, modelled on the Eguchi-Hanson metric and the Ooguri-Vafa metric, respectively.

The main result of this paper is:

### Theorem 1.1

There is a complete Calabi–Yau metric of maximal volume growth on \({\mathbb {C}}^3\) with the standard Euclidean holomorphic volume form, whose tangent cone at infinity is the singular cone \({\mathbb {C}}^2/{\mathbb {Z}}_2 \times {\mathbb {C}}\).

### Remark

The leading order asymptote and the error estimate will be given in the course of proof (*cf.* (14) and proposition 6.8).

We briefly summarize the method. It is natural to write down the so called semi-Ricci flat metric as a first approximation, which restricts to the Stenzel metrics on the quadric fibres of \(f=z_1^2+z_2^2+z_3^2: {\mathbb {C}}^3\rightarrow {\mathbb {C}}\). This is a singular metric admitting a large symmetry group, suggesting that the construction of Calabi–Yau metric is a cohomogeneity two problem. After appropriate scaling and some modifications to the ansatz, we construct a metric whose volume form is asymptotic to a multiple of the standard Euclidean volume form on \({\mathbb {C}}^3\). We carefully examine the error terms involved in the approximate metric, and then apply standard techniques for the Monge–Ampère equation on noncompact manifolds to perturb this into a genuine Calabi–Yau metric.

This Calabi–Yau metric is interesting from several other viewpoints. One context is Gromov-Hausdorff convergence theory in Riemannian geometry. Our metric is a nontrivial Ricci-flat metric on \({\mathbb {C}}^3\) with maximal volume growth, whose tangent cone at infinity is the singular variety \({\mathbb {C}}^2/{\mathbb {Z}}_2 \times {\mathbb {C}}\); this falsifies a conjecture [14] in the field. The neighbourhood of vanishing cycles in the Lefschetz fibration are asymptotically collapsed to the nodal line, similar to the picture in the unpublished work of Hein and Naber on \(A_k\)-type singularities. From the viewpoints of Euclidean geometry this is counterintuitive as the collapsed region apparently carries a large amount of Lebesgue measure. The behaviour of the Laplacian is likewise non-standard in this region; in fact the cohomogeneity two problem of inverting the Laplacian effectively reduces to solving ODEs, in contrast to the Euclidean intuition, which suggests a genuine dependence of the Laplacian on both variables.

Another context in which our metric is expected to arise is related to Joyce’s construction of \(G_2\) manifolds [7]. This typically involves a \(G_2\) orbifold with singularities along an associative submanifold, whose normal direction is modelled on \({\mathbb {C}}^2/{\mathbb {Z}}_2\). Joyce and Karigiannis [8] consider desingularising the orbifold, using a family of Eguchi-Hanson metrics to replace \({\mathbb {C}}^2/{\mathbb {Z}}_2\). A more subtle question then is to understand what happens if some Eguchi-Hanson fibres are allowed to be singular. In the dimensionally reduced case where the associative submanifold is just the product of \(S^1\) with a complex curve, it seems plausible that our metric with suitable scaling conventions will model this situation.

It should be pointed out that this work overlaps to some extent with the substantial literature on Calabi–Yau metrics on non-compact manifolds, due to many authors, notably Yau, Tian, Hein, Joyce, Kovalev, Haskins and Nordström, among others. One closely related work is Joyce’s construction of Quasi-ALE Calabi–Yau metrics [7], since our asymptotic cone is a finite group quotient of \({\mathbb {C}}^3\). Joyce’s construction is more general and combinatorial in spirit, but the decay rate to the asymptotic flat metric is much faster in his case, and we do not use his result in a direct way. The announced work of Hein and Naber about \(A_k\)-type singularities contains many common geometric features, and may use similar strategies. In our construction of Calabi–Yau metric, the work we use substantially is Hein’s PhD thesis [6], which gives a criterion for perturbing an approximate Calabi–Yau metric into a genuine one.

This work has since been generalised to higher dimensions by the recent independent work of R. Conlon and F. Rochon [1], and G. Székelyhidi [12], where the fibration *f* is replaced by more complicated fibrations \({\mathbb {C}}^n\rightarrow {\mathbb {C}}\) defined using a large class of weighted homogenous polynomials. The difficulty comes from the computational complexity of precisely understanding the main error terms in the ansatz, and developing the linear theory to correct these errors which tend to have very slow decay rate near infinity. Some informal discussions on the moduli question of classifying complete Calabi–Yau metrics on \({\mathbb {C}}^n\) with maximal volume growth will be given at the end.

## 2 The Stenzel metric

*n*-form on \({\mathbb {C}}^n\) is \(\Omega =dz_1\ldots dz_n\).

*F*is locally smooth; this amounts to imposing \(SO(n, {\mathbb {R}})\) symmetry. We compute the metric

### 2.1 The homogeneous Monge–Ampère equation

### 2.2 The inhomogeneous Monge–Ampère equation

### Example 2.1

For \(n=3\), the above equation implies \(\frac{d {\tilde{F}}}{d\tau }=\frac{1}{\sqrt{2} } \sinh (\frac{\tau }{2 })\), \({\tilde{F}}=\sqrt{2} \cosh (\frac{\tau }{2 } )=\sqrt{ \frac{H}{|y|} +1 }\). Thus the Kähler potential is \(\phi =F(H)=\sqrt{H+|y|}\). The Stenzel metric in this special case is also known as the Eguchi-Hanson metric.

## 3 A general symmetric ansatz

We consider Kähler potentials on \({\mathbb {C}}^n\) of the form \( \phi =F(H, \eta ) \) where \(\eta =|f|^2\). This amounts to imposing the symmetry under \(SO(n,{\mathbb {R}})\times U(1)\). Notice that this is not a cohomogeneity-one problem, so it may be hard to write down explicit solutions to interesting equations. We shall nevertheless exhibit solutions whose asymptotic behaviour resembles a Calabi–Yau metric. This symmetry reduction technique is very common, and in particular used by Hein and Naber in their work on \(A_k\)-type singularities.

*f*is holomorphic,

### Proposition 3.1

### Example 3.2

### Example 3.3

### Main Ansatz 3.4

*H*, which has some minor effects on the secondary asymptotes. We give some intermediate steps:

Combining these computations, we see that

### Lemma 3.5

*H*,

*a*etc; each

*H*-derivative picks up a multiplicative factor \(O(\frac{1}{H})\) (the factor coming from \(a_H\) are further suppressed); each \(\eta \)-derivative involves differentiating an expression of

*a*, so the derviative picks up a multiplicative factor \(O(\frac{1}{a^2})\). The result is that the error term \(E=O(\frac{1}{a^3})\) in formula (9) has higher order bounds

To take two extreme cases, in the region where \(\eta ^{1/2}\sim H^{1/4}\gg 1\) then \(a\sim H^{1/4}\), and \(O(\frac{1}{H^{3/2}})=O(\frac{1}{a^6})\) is insignificantly small. In the region where \(\eta ^{1/2}\sim H \gg 1\), then \(a\sim H\), and \(O(\frac{1}{H^{3/2}})=O(\frac{1}{a^{3/2}})\) is the dominating error term.

## 4 Relation to the collapsing metric problem

We shall now informally explain the origin of the main ansatz (8).

*Motivating question* Consider a Calabi–Yau 3-fold which admits a Lefschetz fibration over a Riemann surface, namely the singularity in the fibration is complex analytically modelled by the standard quadric fibration on \({\mathbb {C}}^3\). If we vary the Kähler class so that the fibres have area of order \(t \ll 1\), we obtain some highly collapsed Calabi–Yau metric on the total space. Can we construct a local model on \({\mathbb {C}}^3\) describing what happens near the ODP points in the fibration?

This naïve ansatz is not smooth at the central fibre \(\eta =0\). But at least we know \(\phi \) is PSH. To see this, recall the elementary fact that if \(\psi \), \(\psi '\) are PSH, then \(\log (e^\psi +e^{\psi '})\) is PSH. Apply this to \(\psi =\log H\) and \(\psi '=\frac{1}{2}\log \eta \), we get \(\log (H+\eta ^{1/2})\) is PSH, so \(\phi \) is then easily seen to be PSH.

*t*dependence. We notice that all terms with

*H*dependence necessarily also carry a

*t*factor, so the correction terms \( F_H^3+ F_H^2 F_{HH} H \) and \(4F_{H\eta }\eta F_H^{2} -4F_{H\eta }^2 \eta F_H (H^2-\eta )\) are both of order \(t^{3}\). This means the leading order term is \((\sqrt{-1}\partial {\bar{\partial }} \phi )^3\sim \frac{3}{2} t^2 \widetilde{vol_E}\), so this metric is approximately Calabi–Yau at the scale where both

*H*and \(\eta \) are comparable to 1, and the relative error of the volume form is of order

*O*(

*t*).

Now \(F_H\sim \frac{t}{H^{1/2} }\), so at the scale \(H \sim t^{2/3}\), we have \({F_H}^{3}\sim t^2\), which is comparable to the leading order volume form, and the approximation breaks down.

Similarly \(F_\eta -\frac{1}{2}\sim \frac{t}{H^{1/2} \eta ^{1/2 } }\), so if \(H\eta \sim t^2\), the approximation fails.

The source of the first failure has an interesting geometric interpretation. Think about the fibred Calabi–Yau 3-fold with the collapsing CY metric which we are trying to model. At the nodal point, *i.e.* the origin, the CY metric should be locally Euclidean, but the volume form has order \(t^2\). Therefore it seems reasonable to expect that near the origin, this collapsing CY metric is uniformly equivalent to \(t^{2/3}\omega _E\). This uniform equivalence is expected to hold up to the scale \(H\sim t^{2/3}\), at which the Calabi–Yau metric matches up with the semi-Ricci flat approximation ansatz. We may call the scale \(H\sim t^{2/3}\) the ‘quantisation scale’. The reason for choosing this terminology is that, when *H* is larger than this scale, the CY metric approximates a rescaled semi-Ricci flat metric. This picture is formally similar to the semiclassical limit in quantum mechanics. The quantisation scale is where this approximation breaks down, which can be imagined as quantum fluctuation effects.

## 5 Riemannian geometry of the main ansatz (8)

We study the asymptotic properties of the metric ansatz (8). As a preliminary remark, the volume form of the metric (8) is asymptotic to the volume form of the Euclidean metric. At one stage we will make use of a non-holomorphic parametrisation, so we shall distinguish the Kähler form \(\omega \) and the associated Riemannian metric tensor *g*.

### 5.1 Asymptotic metric

*a*since these do not affect the leading asymptote.

We want to understand the qualitative features of the distance function.

### Lemma 5.1

*P*in the region \( \{H>1\}\), there is a uniform equivalence

*d*(0,

*P*) is uniformly equivalent to the function

*a*for \(P\in \{H>1\}\).

### Proof

Now for the reverse direction, we take the radial path joining the origin and the point *P*, and compute the length. This gives \( d(0,P) \le C( \eta ^{1/2}+H^{1/4} ). \)\(\square \)

### Lemma 5.2

### Proof

*C*and \(C'\). Thus we can consider instead the set \(\{ H\le r^4 \}\cap \{\eta \le r^2 \}\) and estimate its volume. This is an exercise in Lebesgue integration theory.

*r*, the set \(\{ H\le 1 \}\cap \{\eta \le r^{-6} \}\) is approximately the product of \( \{ H\le 1 \}\cap X_0 \) with the disc \(\{ \eta \le r^{-6} \}\subset {\mathbb {C}}\) where \(X_0\) is the nodal central fibre, so the above

We define a family of cones in \({\mathbb {C}}^3\) by \(E_\epsilon =\{ \eta ^{1/2}\ge \epsilon H \}\), for \(0<\epsilon <1\). In practice \(\epsilon \) is a fixed small number. Our next result says these cones are highly squashed in the metric *g*.

### Lemma 5.3

*P*to the complement of \(E_\epsilon \) has an upper bound

### Proof

*cf.*Sect. 2), there is a uniform diameter bound \(\text {diam}(\{ H\le \frac{1}{\epsilon } \} ) \le \frac{C}{\epsilon ^{1/4}}\) for \(0<\epsilon <1\), because at large distance the Stenzel metric is asymptotic to the orbifold metric on \(X_0\), and the distance to the origin on the flat orbifold \(X_0\) is \(\sqrt{2}H^{1/4}\). By scaling, on the fibre \(X_f\) with the Stenzel metric, the diameter bound reads

*g*restricted to the fibre \(X_f\) is uniformly equivalent to the Stenzel metric, because

*g*is by construction essentially the semi-Ricci flat approximation, for large values of \(\eta \). Thus if \(P\in X_f \cap E_\epsilon \), we can move the point inside \(X_f\) and exit the region \(E_\epsilon \) within distance \(\frac{C}{\epsilon ^{1/4}}(\eta ^{1/8}+1)\le \frac{C}{\epsilon ^{1/4}}(r^{1/4}+1)\). Here we add in the constant 1 to make the argument work also for \(\eta \le 1\). This means \(d(P, {\mathbb {C}}^3 {\setminus } E_\epsilon ) \le \frac{C}{\epsilon ^{1/4}}(r^{1/4}+1)\le \frac{C}{\epsilon ^{1/4}}r^{1/4}\). \(\square \)

### Remark

If we normalise the metric by a factor \(\frac{1}{r^2}\), then \(P\in B_{\frac{1}{r^2}g } (1)\), and this estimate says \(d_{ \frac{1}{r^2}g } (P, {\mathbb {C}}^3{\setminus } E_{\epsilon }) \le \frac{C}{\epsilon ^{1/4}r^{3/4} }\). Intuitively, for large *r* and fixed \(\epsilon \), this means the region \(E_\epsilon \) has very small solid angle.

*cf.*Theorem 9.3 [15]) suggests the fibration

*f*restricted to the region \(({\mathbb {C}}^3{\setminus } E_\epsilon ) \cap \{H \gg 1 \}\) is a smooth fibration over \({\mathbb {C}}\). For example, if we calculate the monodromy (namely integrating the vector field \(\sum _i \frac{{\bar{z}}_i}{|z|^2} \frac{\partial }{\partial z_i}\) on \({\mathbb {C}}^3\)) along the standard vanishing paths, we can obtain an explicit trivialisation:

### Lemma 5.4

*s*is almost zero, and the above formulae are well approximated by a much simpler parametrisation over the base \({\mathbb {C}}\):

We now study the asymptotic formula of the metric tensor associated to \(\omega \) via the parametrisation \(\chi \). The base term \(\frac{1}{2}\sqrt{-1}df\wedge d{\bar{f}}\) pulls back exactly to \(\frac{1}{2}\sqrt{-1}df\wedge d{\bar{f}}\), because \(\chi \) is defined over the base. The function *H* pulls back to \(|w|^2 (1+O(\epsilon ))\). To calculate the other terms we need to be careful about the failure of holomorphicity. This means we need to directly pull back the Riemmanian metric tensor.

### Lemma 5.5

*g*associated to \(\omega \) admits the approximate formula in the region \(\{ \eta ^{1/2}\le \epsilon H, H\gg 1 \}\):

*i.e.*up to relative error of order \(O(\epsilon )\), the metric

*g*is asymptotic to the product metric \(g_{product}\) on \(X_0\times {\mathbb {C}}\), where the \(X_0\) factor is equipped with the Stenzel metric.

The information at our disposal now allows us to identify the tangent cone at infinity for the metric *g* associated to \(\omega \).

### Proposition 5.6

The tangent cone of \(({\mathbb {C}}^3,g)\) at infinity is isometrically \(X_0\times {\mathbb {C}}\) with the product metric.

### Proof

*r*, and apply the scaling factor \(\frac{1}{r^2}\) to the metric

*g*. In the ball \(B_{\frac{1}{r^2}g} (0, D )\) of fixed radius

*D*, if there is a point

*P*in the region \(E_\epsilon \), then by the lemma 5.3, its distance to \({\mathbb {C}}^3{\setminus } E_\epsilon \) is controlled above by \(\frac{CD^{1/4} }{\epsilon ^{1/4} r^{3/4} } <C\epsilon \) for large

*r*. Thus the only important contribution comes from the region \(({\mathbb {C}}^3{\setminus } E_\epsilon ) \cap \{H\ge C\}\). Up to \(O(\epsilon )\) error, \(({\mathbb {C}}^3{\setminus } E_\epsilon ) \cap B_{\frac{1}{r^2} g }(0,D) \) is Gromov-Hausdorff close to the metric space

*r*the region \(\{\eta ^{1/2}\ge \epsilon |w|^2 \}\) is unimportant. Thus the metric space is Gromov-Hausdorff close to \(( B_{r^{-2} g_{product}}(0, D) , \frac{1}{r^2}g_{product} ) \), which is the same as \((B_{g_{product}}(0, rD) , g_{product} ) \). From this we see that as \(r\rightarrow \infty \), \(B_{\frac{1}{r^2}g} (0, D )\) Gromov-Hausdorff converges to \((B_{g_{product}}(0, D) , g_{product} ) \), for any fixed

*D*, so the tangent cone is indeed \(X_0\times {\mathbb {C}}\) with the product metric.

\(\square \)

### Remark

*t*.

### Remark

(Measure theoretic paradox) The link of the tangent cone is singular. The singularity corresponds to the node in \(X_0\), and the cone \(E_\epsilon \) collapses to the nodal line in \(X_0\times {\mathbb {C}}\). This behaviour is counterintuitive as \(E_\epsilon \) seems to carry a large amount of Lebesgue measure, which disappears in the limit, but general theory of noncollapsing Gromov-Hausdorff convergence implies measure theoretic convergence. But this is not a contradiction because in a large ball with respect to the metric *g*, the set \(E_\epsilon \) only occupies a very small portion of the measure.

H-J. Hein pointed out an analogy with the Taub-NUT metric which may help to understand this measure theoretic picture. By a well known observation of LeBrun [9], the Taub-NUT space is biholomorphic to \({\mathbb {C}}^2\) with the standard holomorphic volume form. In fact the holomorphic symplectic moment map makes \({\mathbb {C}}^2\) into a fibration of affine quadrics, exactly analogous to our situation. The counterintuitive fact then is that the Taub-NUT metric has cubic volume growth. The explanation again lies in the large distortion of distance. The distinctive feature of \(n=2\) is that the quadric fibres are isomorphic to \({\mathbb {C}}^*\), whose natural cylindrical metric has linear growth rate, which is not maximal. The Taub-NUT metric is asymptotically described by the semi-Ricci flat metric coming from the quadric fibration; the growth rate is quadratic in the base direction and linear in the fibre direction, thus the overall growth is cubic.

### 5.2 Topological discussions

*cf.*Theorem 3.16 [16]).

More explicitly, in our metric *g*, the vanishing cycle \(\{ H=\eta ^{1/2}\}\) on \(X_f\) for large \(\eta \) has diameter proportional to \(\eta ^{1/8}\), but the distance of the vanishing cycle to the origin is of order \(\eta ^{1/2}\). The tangent cone only sees the regions whose diameter has at least linear growth rate, so the vanishing cycle disappears in the limit. This phenomenon also appears in the announced work of Hein and Naber on \(A_k\) type singularities.

The link \(S( {\mathbb {C}}^2/{\mathbb {Z}}_2 \times {\mathbb {C}})\) of the tangent cone \(X_0\times {\mathbb {C}}\simeq {\mathbb {C}}^2/{\mathbb {Z}}_2 \times {\mathbb {C}}\) is singular along a circle \(S^1\). The appearance of the circle is explained by the *U*(1) symmetry of the whole setup. Metrically, the points on the circle correspond to the Gromov Hausdorff limit of the vanishing cycles.

*cf.*[7], and the subsequent generalisation into QAC spaces [2]). The main common feature is that the tangent cone at infinity is a finite group quotient \({\mathbb {C}}^n/G={\mathbb {C}}^3/{\mathbb {Z}}_2\), where the main complication comes from the non-free action of \({\mathbb {Z}}_2\). However, our setup does not seem to fit naturally into Joyce’s framework, not even at the topological level. Joyce requires the ambient manifold to be a resolution of the quotient \({\mathbb {C}}^n/G\), which is not a natural structure on \({\mathbb {C}}^3\). Joyce understands \({\mathbb {C}}^n/G\) in terms of a stratification by fixed point sets of subgroups of

*G*, and describes the structure of his resolution in a stratified manner in terms of what he calls the local product resolution; the simplest local picture looks like

*Y*is a resolution of \({\mathbb {C}}^{n-m}/H\) and

*H*is a subgroup of

*G*. Here

*Y*plays a similar role as \(X_1\). His framework does not typically incorporate the Picard-Lefschetz monodromy behaviour, as his product structures are usually globally trivial over stratified pieces. At the metric level, on the local piece \(Y\times {\mathbb {C}}\), Joyce requires asymptotic convergence of the metric to the product metric (this type of phenomenon also happens for QAC spaces [2]). In our case the vanishing cycles do not have constant size, but instead grow slowly as \(O(a^{1/4})\) with the distance to the origin, so the metric in \(E_\epsilon \) cannot converge to a product metric.

### 5.3 The Ricci curvature

*v*depends only on \(H,\eta \). We have

*v*is given by (10). To leading order,

*v*is a constant. The worst term in (10) is \(\frac{1}{H^{1/2}a}\). It is clear by computation that the terms showing up in the quadratic expression \(\sqrt{-1}\partial {v}\wedge {\bar{\partial }}v\) are much smaller than the terms in the second derivative \(\sqrt{-1}\partial {\bar{\partial }} v\). This reflects the fact that the approximation is good enough for nonlinear effect to be insignificant in the asymptotic regime. Comparing the computation with the asymptotic formula

*a*. In the metric

*g*, a typical point has \(H\sim a^4\), so the Ricci tensor decays as \(O(\frac{1}{a^5})\), which is quite fast. Second, in the worst region \(E_\epsilon \),

*H*is comparable to

*a*, so this ansatz only gives quadratic decay of the Ricci curvature. The scalar curvature likewise decays as \(O(\frac{1}{a^2})\) in the region \(E_\epsilon \).

The last observation links this discussion to the work of Hein [5] on weighted Sobolev inequalities, and their applications to Monge–Ampère equations (*cf.* also Hein’s PhD thesis [6]). The main technical condition there is

### Definition 5.7

A complete noncompact Riemannian manifold (*M*, *g*) is called \(SOB(\beta )\) if there is a point \(x_0\in M\), a fixed small number \(\delta >0\), and \(C\ge 1\), such that any two points \(p,q\in M\) with \(d(p,x_0)=d(q,x_0)=s\) are connected within the annulus \(A(x_0, (1-\delta )s, (1+\delta )s)\) whenever \(s>C\). Morever \(|B(x_0,s)|\le Cs^\beta \) for all \(s\ge C\), and \(|B(x, (1-\frac{1}{C}) r(x) )|\ge \frac{1}{C} r(x)^\beta \), and \(\text {Ricci} \ge -C r(x)^{-2} \) if \(r(x)= d(x_0, x) \ge C\).

### Remark

The definition of \(SOB(\beta )\) used in [6] requires also the connectedness of the annulus *A*(*s*, *t*) for any \(t>s>C\), but this stronger condition is not needed for his weighted Sobolev inequality and his main theorem 6.1 below.

### Proposition 5.8

The metric ansatz ( 8) satisifies the condition *SOB*(6).

### Proof

The main point is that we know the maximal volume growth and the at worst quadratic Ricci curvature decay. The completeness property is clear from the asymptotic formula.

The connectedness property in our definition of *SOB*(6) is implied by the connectedness of the link of the tangent cone at infinity. \(\square \)

We take the opportunity to explain another technical condition in Hein’s work.

### Definition 5.9

(*cf.* [6], Definition 4.2) A \(C^{k,\alpha }\) quasi-atlas on a complete Kähler manifold \((M,\omega )\) is a collection \(\{\Phi _x: x\in A\}, A\subset M\) of holomorphic local diffeomorphisms \(\Phi _x: B\rightarrow M, \Phi _x(0)=x,\) from \(B=B(0,1)\subset {\mathbb {C}}^n\) into *M* which extend smoothly to the closure \({\bar{B}}\), and such that there exists \(C\ge 1\) with \(\text {inj}(\Phi _x^*g) \ge 1/C\), \(\frac{1}{C}g_{{\mathbb {C}}^n} \le \Phi _x^*g\le Cg_{{\mathbb {C}}^n}\), and \(\left|| \Phi _x^*g\right||_{C^{k,\alpha }(B, g_{{\mathbb {C}}^n}) } \le C\) for all \(x\in A\), and such that for all \(y\in M\) there exists \(x\in A\) with \(y\in \Phi _x(B)\) and \(\text {dist}_g (y, \partial \Phi _x(B)) \ge 1/C\).

### Lemma 5.10

Our metric ansatz (8) has a \(C^{k, \alpha }\) quasi-atlas for any *k*.

### Proof

It is enough to consider \(H \gg 1\). For any such point \(x=(x_1,x_2,x_3)\in {\mathbb {C}}^3\), without loss of generality \(|x_1|=\max |x_i|\). Then we take the local coordinates \(z_1'= f-f(x), z_2'= \frac{1}{H(x)^{1/4}} (z_2-x_2), z_3'=\frac{1}{H(x)^{1/4}} (z_3-x_3) \). Using the asymptotic formula (14) for the metric *g*, we see that in a coordinate ball the metric *g* is uniformly equivalent to the Euclidean metric. In fact the uniform equivalence holds up to distance scale \(O(H^{1/4})\). The higher order behaviour is clear. \(\square \)

### 5.4 The asymptotic Laplacian

It is important in the study of the Monge–Ampère equation to have a well controlled linear theory of the Laplace operator. We want a formula for the main terms in the Laplacian of a general locally smooth function \(b(H,\eta )\) depending only on \(H,\eta \).

### Lemma 5.11

### Proof

*t*at \(t=0\). The LHS becomes \(3(\sqrt{-1}\partial {\bar{\partial }}\phi )^2 \wedge (\sqrt{-1}\partial {\bar{\partial }}b)\). The RHS becomes a linear combination of \(b_H, b_{HH}, b_{H\eta }, b_{\eta \eta }, b_\eta \). For example, the coefficient of \(b_{HH}\) is

The interesting feature of this expression is its inhomogeneity. Think about the region \(E_\epsilon \), where \(\eta ^{1/2}\) and *H* are comparable. If we take a homogeneous expression *b*, such as \((\eta ^{1/2}+H)^\alpha \), and recall that *H* and \(\eta \) are homogeneous in \(z_i\) of degree 2 and 4 respectively, then each *H* differentiation brings down the degree by 2, and each \(\eta \) differentiation brings down the degree by 4. Then purely on the ground of dimensional analysis, only the terms with \(b_H\) and \(b_{HH}\) dominate. There is an additional subtlety that \(H^2-a^2\) can have zeros. If we ignore this issue, then the insight we gain from this formula is that if we just want to invert the Laplacian approximately in the region \(E_\epsilon \cap \{H \gg 1 \}\), then we only need to solve a second order ODE rather than a PDE. The fact that the \(\eta \) derivative is suppressed, can be interpreted as saying the fibres behave as if they were independent in the region \(E_\epsilon \). This phenomenon is typical in adiabatic limit problems, where the metric ansatz ultimately comes from.

One explanation for this phenomenon is that in the intrinsic geometry of the metric *g*, one should trade \(\eta \) for \(H^{1/2}\). With this new homogeneity convention, in the region where \(\eta \sim H^{1/2}\), the quantity \(H^{1/2 }b_H\) should be comparable to \(b_\eta \), so the Laplacian genuinely depends on two variables in that region. The nonclassical nature of the Laplacian in the region \(E_\epsilon \) testifies to the singularity of the tangent cone, which breaks down most of the intuitions based on Euclidean geometry.

### Lemma 5.12

*a*is comparable to the distance to the origin for \(H>1\), and globally satisfies the estimate

## 6 Calabi–Yau metric

We aim to improve the approximate solution into a genuine Calabi–Yau metric. Our strategy to achieve this relies on the following existence result for the Monge–Ampère equation on noncompact manifolds, taken from Hein’s PhD thesis [6], which builds on previous work of Tian and Yau [13].

### Theorem 6.1

([6], proposition 4.1) Let \((M, \omega )\) be a complete noncompact Kähler manifold with a \(C^{3,\alpha }\) atlas, which satisfies the condition \(SOB(\beta )\), where \(\beta >2\). Let \(f\in C^{2,\alpha }(M)\) satisfy \(|f|\le Cr^{-\mu }\) on \(\{ r>1 \}\) for some \(\mu >2\). Then there exists \({\bar{\alpha }} \in (0,\alpha ] \) and \(u\in C^{4,{\bar{\alpha }} }(M)\), such that \((\omega +\sqrt{-1}\partial {\bar{\partial }}{u})^n=e^f \omega ^n\). If in addition \(f\in C^{k,{\bar{\alpha }} }(M)\) for some \(k\ge 3\), then all such solutions *u* belong to \(C^{k+2, {\bar{\alpha }}}_{\text {loc} } (M)\).

### Remark

The condition \(SOB(\beta )\) is chiefly used in the application of certain weighted Sobolev inequalities. The condition \(\beta >2\) reflects a basic distinction between parabolic and non-parabolic manifolds. The reason to impose \(\mu >2\) is that the method typically only allows us to construct solutions with decaying potential, and if the solution decays with some power law \(O(r^{2-\mu })\), then standard potential theory on Euclidean spaces makes us expect the Laplacian to decay with order \(O(r^{-\mu })\). As a side remark, since the distance function in our ansatz involves two competing factors \(\eta ^{1/2}\) and \(H^{1/4}\), the intuition from standard Euclidean behaviour is not always very effective.

### 6.1 Approximately inverting the Laplacian

The problem with applying Hein’s result to construct a genuine Calabi–Yau metric is that the error terms to the volume form (*cf.* (9)) have slower than quadratic decay. More precisely, in the region where *H* is comparable to \(a^4\), all error terms are of order at most \(O(\frac{1}{a^3})\), so the approximation is already good enough. But in the region \(E_\epsilon \), the worst error term has order \(O(\frac{1}{aH^{1/2}})\). Notice also its square is of order \(O(\frac{1}{a^2 H})=O(\frac{1}{a^3})\) and in particular decays faster than quadratically, which indicates that nonlinear effects are asymptotically unimportant.

We shall attempt to remove the leading errors by explicitly inverting the Laplacian up to an admissible amount of error. The result is

### Lemma 6.2

### Lemma 6.3

We begin with examples of treating individual terms before describing the general algorithm.

### Example 6.4

*a*and

*H*are not independent variables, in the region \(E_\epsilon \) they behave as if they are, because

*a*is \(\eta ^{1/2}\) up to lower order corrections. Now we solve a related ODE with variable

*x*:

*h*on

*x*. Integrate further to get

*H*for

*x*and

*a*for

*y*. This gives an approximate solution

*a*also depends on

*H*, but the relative error is quite small, so the situation is improved. Now we use the formula (21) to see that in fact

### Remark

In Euclidean potential theory, if the forcing term decays slower than quadratically near infinity, then in general the solution to the Poisson equation will grow at infinity. One explanation that we obtain a decaying potential in our context, is that our forcing term is \( O(\frac{1}{a^3} )\) in the region where \(H\sim \eta ^2\), and the slow decay occurs only in a very small solid angle.

### Example 6.5

*x*, and its asymptotic growth at large

*x*is \(O(\frac{1}{x^{3/2}})\). This implies \({\tilde{h}}(x)= O(\frac{1}{x^{1/2}})\). We then define

*h*, substitute

*H*for

*x*and

*a*for

*y*. It is clear that in each case the result is a smooth function \(b(H, \eta )\) for \(H \gg 1\).

*x*, in order to estimate all the errors. For the terms

It follows that in the first three cases, we can cancel the error terms up to \(O(\frac{\log (H/a)}{a^3})\), and in the last three cases, we can cancel the error terms up to \(O(\frac{1}{H^{1/2}a^{5/2} } )\). In summary, we have the lemma 6.2.

### Remark

It should be pointed out that this ODE method improves the error only in the bad region with \(\eta \gg H^{1/2}\), *i.e.* the region collapsing to the singularity of the tangent cone. It is typical in adiabatic problems involving a local fibration structure, that one can improve an approximate solution by solving a related equation along the fibres. This is indeed what happens here.

In the region where \(\eta \) is comparable to \(H^{1/2}\), the Laplacian genuinely depends on both *H* and \(\eta \) derivatives, so ODE reduction is not possible in general, but the error there is already acceptably small.

### Remark

The form \(\sqrt{-1}\partial {\bar{\partial }}{(b+ {\mathfrak {b}})}\) compared to \(\sqrt{-1}\partial {\bar{\partial }}{\phi }\) is of order \(O( \frac{1}{aH^{1/2}} )+ O(\frac{\log (2H/a) }{a^3} )\), so its square has order \(O(\frac{1}{a^3})\). This again confirms the fact that the nonlinear effect is asymptotically weak.

### 6.2 Perturbation into the Calabi–Yau metric

*b*is defined in Lemma 6.2 and \({\mathfrak {b}}\) in Lemma 6.3, \(0\le \chi \le 1\) is a cutoff function, vanishes in the ball \(\{ H\le R^2 \}\), and equals to 1 outside \(\{ H\le 4R^2 \}\). If we choose the parameter

*R*large enough, we can ensure \(\omega '\) is a genuine Kähler metric.

Now since \(\omega '\) deviates from \(\sqrt{-1}\partial {\bar{\partial }}{\phi }\) by only a small smooth perturbation of order \(O(\frac{1}{aH^{1/2}})+ O(\frac{\log (2H/a)}{a^3})\), the condition *SOB*(6) and the existence of \(C^{k,\alpha }\) quasi-atlas still hold for \(\omega '\) (compare with Sect. 5.3). So Hein’s theorem gives us

### Theorem 6.6

Since our setup is symmetric under the action of \(SO(3,{\mathbb {R}})\times U(1)\), and Hein’s method works equivariantly with respect to the group action, we can assume the solution is symmetric.

### 6.3 Decay estimates

We now improve the decay rate of the potential \(\psi \). This can be extracted from Hein’s work, and the method is standard. We observe first

### Proposition 6.7

The potential \(\psi \) decays as \(O( \frac{1}{ a^ {1-\epsilon } } )\) for any \(\epsilon >0\).

### Proof

This follows from Hein’s thesis [6], the proof of proposition 3.16 (ii), and his comments on non-parabolic manifolds in his Sect. 4.5, where the reader can find more details. The main idea is weighted Moser iteration. The lemma 5.12 is technically required in his argument. The general conclusion is that if the forcing term decays as \(O(a^{-\mu })\), for \(2<\mu <6\), then the potential decays as \(O(a^{2-\mu +\epsilon })\). \(\square \)

### Remark

We think the decay rate estimate is not far from optimal because our correction term to the potential is \(b=O(\frac{\log (2H/a)}{a} )\). It may be of interest to compare this with Joyce’s work [7]. As discussed in Sect. 5.2, our setup does not technically fit into Joyce’s definition of QALE manifolds. So we shall just make the crude remark that for Joyce’s ALE manifold of real dimension 2*n*, the decay rate of the metric is \(O(a^{-2n})\), and the decay rate of the potential is \(O(a^{2-2n})\), which in our context is \(O(a^{-4})\). In any case it is clear that our decay rate is much slower.

### Proposition 6.8

### Proof

*x*(see lemma 5.10), which displays that the metric is smoothly equivalent to the standard Euclidean metric on a ball of size \(cH^{1/4}(x) \), for some small fixed

*c*. Now we scale both the coordinates and the metric, writing \(z_j''=\frac{z_j'}{ cH(x)^{1/4} }\), so \(\frac{1}{H(x)^{1/2}} \omega '\) and \(\frac{1}{H(x)^{1/2}}\omega _{CY}\) are uniformly equivalent to the standard Euclidean metric in the unit coordinate ball. The Calabi–Yau condition reads

### Remark

In the region where \(\eta ^{1/2}\) is comparable to \( H^{1/4}\), the \(k=2\) case of this estimate implies \(\omega _{CY}-\omega =O(\frac{1}{ a^{3-\epsilon }} )\), where we recall \(\omega \) is the ansatz (8). The decay estimates are much slower in \(E_\epsilon \), which can be expected from the singularity of the tangent cone at infinity.

As a consequence of the decay estimate 6.8 on the metric, the leading order asymptote of \(\omega \) agrees with that of \(\omega _{CY}\), hence

### Corollary 6.9

The asymptotic properties of \(\omega \), including maximal volume growth and the tangent cone at infinity, are also true for \(\omega _{CY}\).

### Remark

This CY metric is a counterexample to a previous conjecture, which says any complete CY metric on \({\mathbb {C}}^n\) with maximal growth is flat (*cf.* [14], Remark 5.3).

### 6.4 Riemannian submersion property

*f*is almost a Riemannian submersion, or equivalently by considering the pointwise simultaneous diagonalisation of \(\omega _{CY}\) and \(\omega _0\),

### Proposition 6.10

\({{\,\mathrm{Tr}\,}}_{\omega _{CY}} \omega _0 \le 1.\)

### Proof

*f*(

*cf.*[10] proposition 7.1), which in this case essentially reduces to the Bochner formula. Notice \(\omega _{CY}\) is Ricci flat and \(\omega _0\) is flat, so

### Remark

It may be noticed that this argument only depends on the Calabi–Yau condition and the leading asymptote. Establishing a priori properties of the metric may have some bearing on the open question whether the leading asymptote uniquely determines the Calabi–Yau metric.

## 7 Remarks on moduli questions

### 7.1 Moduli questions and possible generalisations

Our Calabi–Yau metric \(\omega _{CY}\) is a nontrivial Ricci flat metric on \({\mathbb {C}}^3\). This is interesting in relation to the following fundamental question: on a given noncompact complex manifold with a global holomorphic volume form, can we classify the complete Calabi–Yau metrics? What if we impose maximal growth condition? How about the case of \({\mathbb {C}}^n\)?

For instance, one may ask if we can build other examples using more complicated fibrations on \({\mathbb {C}}^n\), starting from some ansatz which desingularises a semi-Ricci flat metric; optimistically this gives an abundant supply of nontrivial Ricci flat metrics on \({\mathbb {C}}^n\). Existence results in this direction have now been obtained independently by [12] and [1], shortly after the appearance of the present paper on arXiv. The difficulty for this question is more severe, because we lose both the explicit nature of the Stenzel metric and the cohomogeneity-two property.

This question is also very relevant for understanding what happens near the (isolated) critical points of a very collapsed Calabi–Yau manifold fibred over some Riemann surface, assuming the singular fibre is a normal Calabi–Yau variety. The expectation is that there should be a complete Calabi–Yau metric on a model space fibred over \({\mathbb {C}}\), possibly biholomorphic to \({\mathbb {C}}^n\), whose asymptotic behaviour is a semi-Ricci flat metric, such that after appropriate scaling it describes the collapsing metric near the critical points on the total space of the fibration. (The normality condition is imposed for the fibrewise Calabi–Yau metric to make sense; if we drop this condition, a prototype example is the Ooguri-Vafa metric, which is an incomplete metric modelling the collapsing elliptically fibred K3 surface near a singular fibre (*cf.* Gross and Wilson [4]), and whose local behaviour near the node is modelled on the Taub-NUT metric which does not have maximal growth.) A description of the tangent cone at infinity is likely to involve stability issues, as understood for \(A_k\)-type singularities by Hein and Naber.

On the negative side, any meaningful classification program must deal with singular tangent cones, which can be a major source of difficulty.

### 7.2 Deformation and uniqueness questions

We can also ask the weaker question of classifying Calabi–Yau metrics arising as deformations of a given one, which I believe is more tractable. This depends on the class of deformations, which in turn depends on the function spaces in which one sets up the Monge–Ampère equation. Hein’s viscosity solution method surprisingly does not give any suggestion on the appropriate function space, nor does it make any uniqueness assertions. Let us formulate a number of more concrete questions:

### Question 7.1

Can we classify all Calabi–Yau metrics with the given holomorphic volume form which are uniformly equivalent to our example?

Instead of giving a complete answer, we remark that \(SL(3, {\mathbb {C}})\) gives automorphisms of \({\mathbb {C}}^3\) as a complex manifold. But the uniform equivalence forces a compatibility condition with the fibration structure, so reduces this symmetry to \(SO(3,{\mathbb {C}}) \times \langle e^{2\pi i/3}\rangle \). Clearly \(SO(3,{\mathbb {R}})\times \langle e^{2\pi i/3}\rangle \) is a subgroup preserving also the metric structure. So the moduli space contains at least the homogeneous space \(SO(3,{\mathbb {C}}) / SO(3,{\mathbb {R}}) \simeq SL(2,{\mathbb {C}})/SU(2) \). These examples are different as Calabi–Yau metrics on the fixed complex manifold \({\mathbb {C}}^3\), but they are isometric as Riemannian manifolds by a linear change of coordinates.

### Question 7.2

Given the leading order asymptote for the Kähler form, then is our Calabi–Yau metric unique?

The uniqueness is clear once we assume sufficient decay of the perturbation term, and the question is about the optimal decay condition we need.

### Question 7.3

What are the formal deformations of our example?

### Question 7.4

(Rigidity) If \(\omega _{CY}'\) is a Calabi–Yau metric on a large ball \(\{|z|\le R \}\) with the same volume form as \(\omega _{CY}\), and near the boundary \( (1-\epsilon ) \omega _{CY} \le \omega _{CY}' \le (1+\epsilon ) \omega _{CY}\) for sufficiently small \(\epsilon \), then can we deduce effective estimates of the shape \( (1-C\epsilon ) \omega _{CY} \le \omega _{CY}' \le (1+C\epsilon ) \omega _{CY} \) on the whole ball, where *C* is independent of *R*?

## Notes

### Acknowledgements

The author is grateful to his Ph.D. supervisor Simon Donaldson and co-supervisor Mark Haskins for their inspirations, suggestions and encouragements, and to the London School of Geometry and Number Theory (Imperial College London, UCL and KCL) for providing a stimulating research environment. He would also like to thank H-J. Hein, V. Tosatti and G. Székelyhidi for comments, and the referees for their careful reading and helpful suggestions.

This work was supported by the Engineering and Physical Sciences Research Council [EP/L015234/1], the EPSRC Centre for Doctoral Training in Geometry and Number Theory (The London School of Geometry and Number Theory), University College London. The author is also funded by Imperial College London for his Ph.D. studies.

## References

- 1.Conlon, R., Rochon, F.: New examples of complete Calabi-Yau metrics on \({\mathbb{C}}^n\) for \(n\ge 3\), arXiv:1705.08788v1
- 2.Degeratu, A., Mazzeo, R.: Fredholm theory for elliptic operators on quasi-asymptotically conical spaces, arXiv:1406.3465
- 3.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)Google Scholar
- 4.Gross, M., Wilson, P.M.H.: Large complex structure limits of K3 surfaces. J. Differ. Geom.
**55**(3), 475–546 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 5.Hein, H.-J.: Weighted Sobolev inequalities under lower Ricci curvature bounds. In: Proceedings of the AMS, vol. 139(8), pp. 2943–2955, August (2011)Google Scholar
- 6.Hein, H.-J.: On gravitational instantons. Thesis (Ph.D.)—Princeton University, 129 pp (2010). ISBN: 978-1124-34891-9, ProQuest LLCGoogle Scholar
- 7.Joyce, D.: Compact Manifolds with Special Holonomy. Oxford Mathematical Monographs. Oxford University Press, Oxford (2000)zbMATHGoogle Scholar
- 8.Joyce, D., Karigiannis, S.: A new construction of compact \(G_2\)-manifolds by gluing families of Eguchi-Hanson spaces, arXiv:1707.09325
- 9.LeBrun, C.: Complete Ricci-Flat Kähler Metrics on \({\mathbb{C}}^n\) Need Not Be Flat, Several complex variables and complex geometry, Part 2 (Santa Cruz, CA, 1989), 297–304, Proceedings of Symposia in Pure Mathematics, 52, Part 2, American Mathematical Society, Providence, RI (1991)Google Scholar
- 10.Rubinstein, Y.A.: Smooth and singular Kähler-Einstein metrics, Contemp. Math. 630, AMS and Centre Recherches Mathematiques, pp. 45–138 (2014)Google Scholar
- 11.Stenzel, M.B.: Ricci-flat metrics on the complexification of a compact rank one symmetric space. Manuscr. Math.
**80**(2), 151–163 (1993)MathSciNetCrossRefzbMATHGoogle Scholar - 12.Székelyhidi, G.: Degenerations of \({\mathbb{C}}^n\) and Calabi-Yau metrics, arXiv:1706.00357 (preprint 2017)
- 13.Tian, G., Yau, S.T.: Complete Kähler manifolds with zero Ricci curvature. I. J. Amer. Math. Soc.
**3**(3), 579–609 (1990)zbMATHGoogle Scholar - 14.Tian, G.: Aspects of metric geometry of four manifolds. Inspired by S. S. Chern, pp. 381–397, Nankai Tracts Math., 11, World Scientific Publishing, Hackensack, NJ, (2006)Google Scholar
- 15.Voisin, C.: Hodge theory and complex algebraic geometry I. Cambridge University Press, Cambridge (2002)CrossRefzbMATHGoogle Scholar
- 16.Voisin, C.: Hodge theory and complex algebraic geometry II. Cambridge University Press, Cambridge (2003)CrossRefzbMATHGoogle Scholar
- 17.Yau, S.T.: On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampére equation. I. Comm. Pure Appl. Math.
**31**(3), 339–411 (1978)CrossRefzbMATHGoogle Scholar

## Copyright information

**OpenAccess**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.