Professional Documents
Culture Documents
METRICS
arXiv:2006.13068v2 [math.DG] 1 Apr 2022
Abstract. We obtain sharp upper and lower bounds for the diameter of Ricci-
flat Kähler metrics on polarized Calabi-Yau degeneration families, as conjec-
tured by Kontsevich-Soibelman.
1. Introduction
The main objects of study in this note are Ricci-flat Kähler metrics on Calabi-Yau
manifolds whose complex structure degenerates. More precisely, we assume that
we have π : X → ∆∗ ⊂ C a projective holomorphic submersion with connected
fibers of relative dimension n with KX/∆∗ ∼ = OX and which is meromorphic at 0
(in the sense of [4]), meaning that it extends to a proper flat map π : X → ∆ with X
normal. We also fix a relative polarization L → X, and we will refer to this data as
a polarized Calabi-Yau degeneration family, often without mentioning L explicitly.
The fibers Xt for t ∈ ∆∗ are thus polarized Calabi-Yau n-folds.
A choice of X as above will be called a model of X. Models are highly non-
unique, and in particular up to passing to a finite base change, we may P assume by
[12] that X admits a semistable model, where X is smooth and X0 = i∈I Ei is
reduced and has simple normal crossings. One can then apply a relative MMP to a
semistable model and obtain a relatively minimal dlt model [2, 10, 17, 19], which is
unique up to applying sequences of flops on the central fiber [3, 11]. Taking the dual
intersection complex of the central fiber of any such minimal dlt model, one obtains
a simplicial complex Sk(X), the essential skeleton of X, which was introduced in
this context by Kontsevich-Soibelman [13] with a different but equivalent definition
(cf. [18]), whose homeomorphism type is well-defined independent of any choice of
models [19].
In this note we will not make direct use of the skeleton Sk(X) itself, but only of
its real dimension which will be denoted by m, and which appears naturally [4, 13]
as the power of logarithmic blowup of the fiberwise integrals of the Calabi-Yau
volume forms, as we will recall in Section 2 below. As shown in [19] we always
have m 6 n, and the case when m = 0 happens if and only if (after possibly a
finite base change) X admits a semistable model with central fiber X0 which is a
Calabi-Yau variety with klt singularities. Furthermore, the case m = n is equivalent
to the monodromy transformation around 0 acting on H n (Xt , C) having a Jordan
block of size n + 1. This is the familiar notion of a “large complex structure limit”
from mirror symmetry, see e.g. [8], where these polarized Calabi-Yau degeneration
families play a crucial role.
2
Let us now recall the asymptotic behavior of the integrals Xt in Ωt ∧ Ωt , largely
R
T
following [4]. For any J ⊂ I we denote by EJ = j∈J Ej . As in [15, 16], we fix a
Kähler metric on X and for ε > 0 small and J ⊂ I with EJ 6= ∅ we define
from which using polar coordinates zj = exp(xj log |t| + iθj ), j ∈ J, one can easily
see as in [4] that Z
2
in Ωt ∧ Ωt ∼ | log |t||mJ ,
EJ0
where
mJ = |{j ∈ J | aj = 0}| − 1,
while Z
2
in Ωt ∧ Ωt ∼ | log |t||m ,
Xt
where
(2.2) m = max{|J| − 1 | EJ 6= ∅, aj = 0 for all j ∈ J} = dim Sk(X).
log |z |
The local logarithmic variables xj = log |t|j vary in the standard simplex
X p
∆J = 0 6 xj 6 1 | xj = 1 ,
j=0
S
and in this way one obtains a map Logt : V \ j Ej → ∆J , see [4].
For each i ∈ I we fix now a defining section σi ∈ H 0 (X, O(Ei )) and a Hermitian
metric hi on O(Ei ), so that ri := |σi |2hi is a smooth nonnegative function of X which
vanishes precisely along Ei and is uniformly comparable to |zi |2 in any adapted
coordinate chart as above where zi is the local defining equation of Ei . In particular,
log ri
x̃i := ,
log |t|
S
is now defined on the whole X\ j Ej , and in the adapted coordinates as above it is
equal to 2xi up to very small errors (as t approaches 0). It follows that on Xt (for
|t| sufficiently small) in an adapted coordinate chart near a point of EJ0 as above,
the point 21 x̃0 , . . . , 12 x̃p will lie very close to ∆J .
and so
Z
(3.4) |dρt |ωt dµt 6 C.
Xt
R
where Dt = diam(Xt , ωt ), and in the A1 ×A2 we are actually only integrating over
the subset of pairs (x, y) which are joined by a unique ωt -minimal geodesic, which
has full measure (cf. [5]).
Combining (3.4) and (3.6) gives
µt (A1 )µt (A2 ) 6 CDt (µt (A1 ) + µt (A2 )) 6 CDt .
Lastly, from the definition of ρt and from (3.1), a direct computation in polar
coordinates (analogous to the one in [4]) gives
µt (A1 ) > C −1 , µt (A2 ) > C −1 ,
for a fixed constant C, and so Dt > C −1 , as desired.
Proof of the diameter upper bound in Theorem 1.1. Let ωt′ be the Kähler metric
defined in Proposition 3.1, and let ωFS,t = | log1 |t|| ωFS |Xt , where ωFS is a suitable
Fubini-Study metric on PN0 scaled so that ωFS |Xt ∈ c1 (L)|Xt . Then the metrics ωt′
and ωFS,t are cohomologous, and on Bt ⊂ Xt in any adapted coordinate chart we
have
m n
i X dzj dzj i X
(4.1) ωt′ + ωFS,t > C −1 ∧ + C −1
dzj ∧ dzj .
| log |t||2 j=1 zj zj | log |t|| j=m+1
Let us then fix a point x ∈ EJ0 , an adapted coordinate chart near x, and in these
coordinates define a local Kähler metric ω̃t on Xt by the RHS of (4.1). Inside this
coordinate chart intersected Xt , define also B̃t to be a Euclidean rectangle which is
contained inside Bt so that in the metric ω̃t , in the first m complex directions B̃t has
length ∼ 1 in the radial directions and length ∼ | log |t||−1 in the logarithmic angular
1
directions, and in the other n − m complex directions B̃t has length ∼ | log |t||− 2 .
Therefore, given any x, y ∈ B̃t , if we denote by γx,y the Euclidean straight line in
B̃t joining them, parametrized linearly by 0 6 s 6 1, then |γ̇x,y (s)|ω̃t 6 C for a
uniform constant C independent of t and s.
On B̃t we have
C −1 C
n
µt 6 ω̃tn 6 µt ,
| log |t|| | log |t||n
and again by direct computation in polar coordinates (as in [4]), thanks to the
definition of B̃t and to (3.1) we have that
Z
(4.2) C −1 6 dµt 6 1,
B̃t
and so
C −1 C
Z
6 ω̃tn 6 .
| log |t||n B̃t | log |t||n
If we then define
ω̃tn
µ̃t = R ,
ω̃ n
B̃t t
8 YANG LI AND VALENTINO TOSATTI
6C c1 (L) · c1 (L)n−1 6 C.
Xt
and
Z Z Z 1
1
distωt (x, y)dµ̃t (x)dµ̃t (y) 6 C (trω̃t ωt (sy+(1−s)x)) 2 ds dµ̃t (x)dµ̃t (y).
B̃t ×B̃t B̃t ×B̃t 0
This bound can then be inserted into a well-known result of Yau (see e.g. [24,
Lemma 3.2]): given a complete d-dimensional Riemannian manifold (M, g) with
nonnegative Ricci curvature, for any x ∈ M and 1 < R < diam(M, g) we have
R−1 Vol(Bg (x, 2R + 2))
6 .
2d Vol(Bg (x, 1))
Indeed, it suffices to choose R = diam(Xt , ωt ) − 1 to obtain the desired uniform
diameter upper bound for (Xt , ωt ).
References
[1] P.S. Aspinwall, T. Bridgeland, A. Craw, M.R. Douglas, M. Gross, A. Kapustin, G.W. Moore,
G. Segal, B. Szendrői, P.M.H. Wilson, Dirichlet branes and mirror symmetry, Clay Mathe-
matics Monographs, 4. American Mathematical Society, Providence, RI; Clay Mathematics
Institute, Cambridge, MA, 2009.
[2] C. Birkar, Existence of log canonical flips and a special LMMP, Publ. Math. Inst. Hautes
Études Sci. 115 (2012), 325–368.
[3] S. Boucksom, Remarks on minimal models of degenerations, preprint, 2014.
[4] S. Boucksom, M. Jonsson, Tropical and non-Archimedean limits of degenerating families of
volume forms, J. Éc. polytech. Math. 4 (2017), 87–139.
[5] J. Cheeger, T.H. Colding, Lower bounds on Ricci curvature and the almost rigidity of warped
products, Ann. of Math. (2) 144 (1996), no. 1, 189–237.
[6] J.-P. Demailly, T. Peternell, M. Schneider, Kähler manifolds with numerically effective Ricci
class, Compositio Math. 89 (1993), no. 2, 217–240.
[7] X. Fu, B. Guo, J. Song, Geometric estimates for complex Monge-Ampère equations, J. Reine
Angew. Math. 765 (2020), 69–99.
[8] M. Gross, Calabi-Yau manifolds and mirror symmetry, in Calabi-Yau manifolds and related
geometries (Nordfjordeid, 2001), 69–159, Universitext, Springer, Berlin, 2003.
[9] M. Gross, P.M.H. Wilson, Large complex structure limits of K3 surfaces, J. Differential
Geom. 55 (2000), no. 3, 475–546.
[10] C.D. Hacon, C. Xu, Existence of log canonical closures, Invent. Math. 192 (2013), no. 1,
161–195.
[11] Y. Kawamata, Flops connect minimal models, Publ. Res. Inst. Math. Sci. 44 (2008), no. 2,
419–423.
[12] G. Kempf, F. Knudsen, D. Mumford, B. Saint-Donat, Toroidal embeddings. I. Lecture Notes
in Mathematics, Vol. 339. Springer-Verlag, Berlin-New York, 1973. viii+209 pp.
[13] M. Kontsevich, Y. Soibelman, Affine structures and Non-Archimedean analytic spaces, in
The Unity of Mathematics, Progress in Mathematics Volume 244, Springer, (2006), 321–385.
10 YANG LI AND VALENTINO TOSATTI
[14] Y. Li, SYZ conjecture for Calabi-Yau hypersurfaces in the Fermat family, to appear in Acta
Math.
[15] Y. Li, Uniform Skoda integrability and Calabi-Yau degeneration, preprint, arXiv:2006.16961.
[16] Y. Li, Metric SYZ conjecture and non-Archimedean geometry, preprint, arXiv:2007.01384.
[17] J. Kollár, J. Nicaise, C. Xu, Semi-stable extensions over 1-dimensional bases, Acta Math.
Sin. (Engl. Ser.) 34 (2018), no. 1, 103–113.
[18] M. Mustaţă, J. Nicaise, Weight functions on non-Archimedean analytic spaces and the
Kontsevich-Soibelman skeleton, Algebr. Geom. 2 (2015), no. 3, 365–404.
[19] J. Nicaise, C. Xu, The essential skeleton of a degeneration of algebraic varieties, Amer. J.
Math. 138 (2016), no. 6, 1645–1667.
[20] X. Rong, Y. Zhang, Continuity of extremal transitions and flops for Calabi-Yau manifolds,
Appendix B by Mark Gross, J. Differential Geom. 89 (2011), no. 2, 233–269.
[21] J. Song, Riemannian geometry of Kähler-Einstein currents, preprint, arXiv:1404.0445.
[22] A. Strominger, S.-T. Yau, E. Zaslow, Mirror symmetry is T -duality, Nuclear Phys. B 479
(1996), no. 1-2, 243–259.
[23] S. Takayama, On moderate degenerations of polarized Ricci-flat Kähler manifolds, J. Math.
Sci. Univ. Tokyo 22 (2015), no. 1, 469–489.
[24] V. Tosatti, Limits of Calabi-Yau metrics when the Kähler class degenerates, J. Eur. Math.
Soc. (JEMS) 11 (2009), no. 4, 755–776.
[25] V. Tosatti, Families of Calabi-Yau manifolds and canonical singularities, Int. Math. Res.
Not. IMRN 2015, no. 20, 10586–10594.
[26] V. Tosatti, Collapsing Calabi-Yau manifolds, Surveys in Differential Geometry 23 (2018),
305–337, International Press, 2020.
[27] C.-L. Wang, On the incompleteness of the Weil-Petersson metric along degenerations of
Calabi-Yau manifolds, Math. Res. Lett. 4 (1997), no. 1, 157–171.
[28] S.-T. Yau, On the Ricci curvature of a compact Kähler manifold and the complex Monge-
Ampère equation, I, Comm. Pure Appl. Math. 31 (1978), 339–411.
[29] Y. Zhang, Note on equivalences for degenerations of Calabi-Yau manifolds, in Surveys in
Geometric Analysis 2017, 186–202, Science Press, Beijing, 2018.