Pith. sign in

REVIEW 2 major objections 3 minor 46 references

The paper proves that the Satake compactification of the K3 period domain maps continuously onto the Gromov-Hausdorff compactification of unit-diameter hyperkähler K3 metrics, with the inverse of the period map on the interior.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 16:26 UTC pith:L4VZI66Y

load-bearing objection Major result that likely proves Odaka–Oshima Conjecture III, but the written proof has a scaling slip in §4.4.1 that needs correction before the argument goes through. the 2 major comments →

arxiv 2512.13315 v2 pith:L4VZI66Y submitted 2025-12-15 math.DG math.AGmath.RT

Compactification of metric moduli space of K3 surfaces

Zexuan Ouyang , Gang Tian This is my paper
classification math.DG math.AGmath.RT MSC 14J2853C2632G2053C25
keywords K3 surfaceshyperkähler metricsGromov-Hausdorff compactificationSatake compactificationperiod mapcollapsing limitselliptic fibrationsgeneralized Kähler-Einstein metrics
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the Gromov-Hausdorff compactification of all unit-diameter hyperkähler metrics on K3 surfaces is, at the level of points, identical to the Satake compactification of the K3 period domain built from the adjoint representation. The period map, which sends a metric to its hyperkähler period, extends continuously to a geometric realization map from that algebraic compactification onto the metric compactification. This confirms a previously open conjecture that had been verified only in special elliptic-fiber cases, and it yields classifications of all collapsing limits with a fixed polarization or a fixed complex structure. The proof works in reverse: from a collapsing metric it builds an elliptic fibration and extracts enough period information to identify the algebraic boundary point.

Core claim

The central claim is that there is a continuous surjection from the Satake compactification of the K3 moduli space, formed with the adjoint representation, to the Gromov-Hausdorff compactification of unit-diameter hyperkähler metrics, and on the interior this map is exactly the inverse of the period map. Each boundary point of the Satake compactification—a rational flag in the K3 lattice—corresponds to a Gromov-Hausdorff limit: a generalized Kähler-Einstein metric on P^1, a flat orbifold T^3/{±1} or T^2/{±1}, or the unit interval. Because the realization map is a continuous surjection between compact Hausdorff spaces, the metric compactification inherits an algebraic description.

What carries the argument

The load-bearing object is the Satake compactification of the K3 period domain with respect to the adjoint representation of SO(3,19), whose boundary decomposes into rational boundary components of four types. The geometric realization map assigns to each algebraic boundary point the corresponding generalized Kähler-Einstein metric, flat torus quotient, or unit interval. The proof mechanism is the collapse analysis: a structure theorem gives an approximate torus fibration over the regular part of the limit, a holomorphic-torus perturbation theorem upgrades the approximate fibers to genuine elliptic fibrations in the two-dimensional-collapse case, and integrals of the hyperkähler forms over c

Load-bearing premise

The argument depends on the existence, after rescaling, of a unique holomorphic torus through every point near the collapsing limit, in the same homology class, with uniform C^{1,α} estimates; if that perturbative existence fails at the collapsing scale, the elliptic-fibration approximation and the d=2/d=3 period computations collapse.

What would settle it

Construct a collapsing sequence of unit-diameter hyperkähler K3 metrics whose period points converge to a Satake boundary point of type (b2) or (c2) but whose Gromov-Hausdorff limit is not the unit interval; Theorem 1.1 predicts the limit is always the unit segment for those components. Concretely, compute the period integrals of the three tori constructed in the proof and check whether the limit matrix falls into the predicted case of the Satake topology; any mismatch between the predicted algebraic boundary type and the actual Gromov-Hausdorff limit would falsify the theorem.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The Gromov-Hausdorff compactification becomes a topological quotient of an arithmetic compactification, so every metric boundary point carries an algebraic label.
  • For a fixed polarization, the boundary consists only of generalized Kähler-Einstein metrics on P^1 arising from elliptic K3 fibrations satisfying [Re Ω] = λ, together with the unit segment.
  • For a fixed complex structure, three regimes occur: either all possible Gromov-Hausdorff limits are realized, or only the polarized ones, or only finitely many generalized Kähler-Einstein metrics on P^1.
  • Gromov-Hausdorff limits of type II and type III Kulikov degenerations are respectively the unit segment and generalized Kähler-Einstein metrics on P^1.
  • The continuous geometric realization map is a quotient map, providing a compact Hausdorff topology on the metric compactification compatible with the algebraic boundary structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the realization map is injective on each boundary component in the way the paper suggests, then Gromov-Hausdorff convergence of hyperkähler K3 metrics can be studied through rational flags in the K3 lattice, giving an algebro-combinatorial translation of collapse.
  • The paper leaves the one-dimensional-limit case with its renormalized limit measure open; a natural test is whether that piecewise-affine measure is determined by the parabolic boundary point or whether a finer compactification is needed.
  • The reliance on a holomorphic-torus perturbation theorem suggests a stable phenomenon: at collapsing scale, the approximate torus fibration automatically aligns with an algebraic elliptic fibration; testing this in the nilpotent one-dimensional collapsing setting could extend the classification.
  • The same strategy may extend to Enriques surfaces and, eventually, to higher-dimensional hyperkähler manifolds once analogues of the structure theorem and perturbation statement are available.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper proves Odaka–Oshima Conjecture III: the Gromov–Hausdorff compactification of unit-diameter hyperkähler metrics on K3 surfaces is realized continuously by the Satake compactification of the period domain with respect to the adjoint representation. The main theorem constructs a continuous geometric realization map Φ whose restriction to the open moduli space is the inverse period map, and identifies the type of each boundary point with a GH limit. The proof combines the Sun–Zhang fibration theorem for collapsing hyperkähler K3 surfaces, a perturbation theorem of Zhang producing holomorphic tori, and explicit period computations in the Satake topology; it also gives corollaries for fixed polarization and fixed complex structure.

Significance. If correct, this is a substantial advance: it provides an algebraic description of the full GH compactification, confirms a conjecture of Odaka–Oshima, and links arithmetic compactifications to metric degeneration. The paper is carefully structured, with detailed technical appendices (volume comparison and continuity of generalized KE metrics) and an honest account of its dependence on deep external results (Sun–Zhang, Zhang, Gross–Wilson). The main theorem is an independent statement and not a rephrasing of a known result, although the classification of GH limits in Theorem 2.5 is drawn from [30], a preprint by the first author.

major comments (2)
  1. [§4.4.1, Eq. (4.2)/(4.6)] The stated application of Zhang's Theorem 4.7 is affected by a scaling error. With ε_k the diameter of the T^2 fiber, the rescaled local coordinates t_old = ε_k t_new and x_old = ε_k x_new transform every term of the hyperkähler triple (4.2) as ω_old = ε_k^2 ω_new. Therefore (1/ε_k)ω†_k is not C^2-close to the standard triple (4.6); it tends to 0. The correct normalization is ε_k^{-2}. As written, the fixed-δ hypothesis of Theorem 4.7 cannot hold, so the existence of the holomorphic tori, the elliptic fibration π_k in Theorem 4.10, and all d=2 period computations in §5.1 are unsupported. If this is a typo, it must be corrected and the C^{1,α} estimates rechecked.
  2. [§5.1.2, after Lemma 5.3] The period computation leading to the assertion that the sequence lies in Case 3 of Proposition 3.23 is only written with an asymptotic '∼' and is load-bearing for the d=2 divergence case. The estimates on the entries of (A_{αβ})_k, the exact normalization to unit volume/unit diameter, the SO(2) rotation used, and the identification with Case 3 should be stated with explicit convergence statements. As written, this step is too compressed to be fully verified.
minor comments (3)
  1. [Title] The title has a typo: "COMP ACTIFICA TION" should be "COMPACTIFICATION".
  2. [§5.4] In the proof of Corollary 1.4(iii), the sentence "From the properties of Satake topology, we can choose a standard basis ..." is terse; a short explanation or reference would improve readability.
  3. [§3.3] The notation M(b1), M(b2), M(c1), M(c2) is introduced without explicitly listing which boundary component corresponds to which Γ16 or (−E8)^2 type; stating the correspondence explicitly would avoid confusion.

Circularity Check

0 steps flagged

No significant circularity; central derivation independent, with minor non-load-bearing self-citation.

full rationale

The main theorem is not obtained by renaming inputs or by fitting. Φ is defined from Satake boundary data and its continuity is proved via explicit period-integral computations (Theorems 5.1, 5.4) over tori supplied by the external Sun–Zhang structure theorem [38] and Zhang's perturbation theorem [45]. The remaining d=1 case is handled by connectedness of F(η∞) plus realization results from [17] and [29]; these are independent inputs. The only self-citation is the first author's preprint [30], cited in Theorem 2.5 for the GH-limit classification and in §3.5 for the parenthetical almost-injectivity of Φ|M(a). Neither is load-bearing for Theorem 1.1: the continuity proof does not invoke [30] to rule out dimension-1 limits (the unit-segment classification is supported by [21]/[38]), and almost-injectivity is not used. A flagged non-circular concern: §4.4.1 says '1/ε_k ω†_k is C^2-close to the standard hyperkähler triple'; if ε_k is a length (fiber diameter), forms scale by 1/ε_k^2, so the written application of Theorem 4.7 may be a correctness gap, not a circularity. No fitted parameter is relabeled as a prediction and no self-referential uniqueness theorem is used.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

The proof is a chain of standard K3 geometry, arithmetic-group compactification theory, and external collapsing-analysis theorems. No free parameters are fitted. No new geometric or physical entities are introduced. The most delicate imported inputs are the GH-limit classification (Theorem 2.5) and Zhang's perturbation theorem (Theorem 4.7); both are cited from the literature rather than proved in this paper.

axioms (8)
  • domain assumption Yau's Calabi conjecture: every Kähler class on a K3 surface contains a unique Ricci-flat Kähler metric.
    Used in §2.1 to define the hyperkähler triple and the period map P; the non-collapsing part of M̄ consists of such metrics.
  • domain assumption Torelli theorem and surjectivity of the period map for K3 surfaces, including Kähler-cone/Weyl-reflection refinements.
    Used in Proposition 2.9 and §2.4.1 to construct elliptic K3 surfaces from positive-definite 2-planes and to identify Jacobian fibrations.
  • domain assumption Classification of GH limits (Theorem 2.5): M̄ = M ∪ M^4 ∪ M^3 ∪ M^2 ∪ M^1, with M^3 flat T^3/{±1}, M^2 generalized KE metrics on P^1 from elliptic K3s, and M^1 = {I_1}.
    Load-bearing in §5.3: it restricts F(η∞) to be a subset of {Φ'(η∞), I_1} before the connectedness argument. Cites [38, Thm. 1.1] and [30, Thm. 3].
  • domain assumption Sun–Zhang structure theorem (Theorem 4.1): collapsing hyperkähler K3s are modeled over the regular part by a T^n fibration with an R^n-invariant hyperkähler metric C^l-close to the actual metric.
    The starting point for all collapsing analysis in §4; used to construct elliptic fibrations and to compute period integrals on auxiliary tori.
  • domain assumption Zhang's holomorphic torus perturbation theorem (Theorem 4.7): small hyperkähler deformations admit unique holomorphic tori through every point in a fixed homology class; Remark 4.9 extends from r≫0 to fixed r.
    Used in §4.4.1 to upgrade the approximate fibration to an elliptic fibration, and in Lemmas 5.3 and 5.6 to perturb constructed tori into holomorphic tori.
  • domain assumption Gross–Tosatti–Zhang [17, Thm. 1.1]: GH limits along elliptic fibrations of K3 surfaces realize the generalized KE metrics; used to show Φ'(η∞) ∈ F(η∞) for η∞ ∈ M(a).
    Invoked in §5.3 to rule out F(η∞) = {I_1} on the M(a) boundary component.
  • domain assumption Verbitsky's ergodic theorem for hyperkähler complex structures ([42], [43]): G_Z-orbits of the complex-structure 2-plane are dense or have closures described by rational subspaces.
    Used in §5.4 to prove Corollary 1.4 for fixed complex structure, especially the density claims in cases (i) and (ii).
  • standard math Satake compactification theory and Borel–Harish-Chandra reduction theory: existence of Siegel sets, fundamental sets, Satake topology, and the boundary decomposition of M^ad_K3.
    Used throughout §3 to define M^ad_K3, its topology, and the neighborhood system used in Proposition 3.20 and the proof of Theorem 1.1.

pith-pipeline@v1.3.0-alltime-deepseek · 38863 in / 16588 out tokens · 143183 ms · 2026-08-03T16:26:28.880819+00:00 · methodology

0 comments
read the original abstract

We prove a conjecture of Odaka--Oshima, which says that there is an algebraic description of the Gromov--Hausdorff compactification of all unit-diameter hyperk\"ahler metrics on K3 surfaces. As a corollary, we obtain a classification of the Gromov--Hausdorff limits of those hyperk\"ahler K3 surfaces with a fixed complex structure or with a fixed polarization.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

46 extracted references · 4 linked inside Pith

  1. [1]

    M. T. Anderson. TheL 2 structure of moduli spaces of Einstein metrics on 4-manifolds.Geom. Funct. Anal., 2(1):29–89, 1992

    1992

  2. [2]

    The k¨ ahler geometry of toric manifolds.arXiv preprint arXiv:2208.12493, 2022

    Vestislav Apostolov. The k¨ ahler geometry of toric manifolds.arXiv preprint arXiv:2208.12493, 2022

    Pith/arXiv arXiv 2022

  3. [3]

    W. L. Baily, Jr. and A. Borel. Compactification of arithmetic quotients of bounded symmetric domains.Ann. of Math. (2), 84:442–528, 1966

    1966

  4. [4]

    Barth, Klaus Hulek, Chris A

    Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius Van de Ven.Compact complex surfaces, volume 4 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, second edition, 2004

    2004

  5. [5]

    Borel and J.-P

    A. Borel and J.-P. Serre. Corners and arithmetic groups.Comment. Math. Helv., 48:436–491, 1973

    1973

  6. [6]

    American Mathematical Society, Providence, RI, 2019

    Armand Borel.Introduction to arithmetic groups, volume 73 ofUniversity Lecture Series. American Mathematical Society, Providence, RI, 2019. Translated from the 1969 French original [MR0244260] by Lam Laurent Pham, Edited and with a preface by Dave Witte Morris

    2019

  7. [7]

    Arithmetic subgroups of algebraic groups.Ann

    Armand Borel and Harish-Chandra. Arithmetic subgroups of algebraic groups.Ann. of Math. (2), 75:485–535, 1962. COMPACTIFICATION OF METRIC MODULI SPACE OF K3 SURF ACES 41

    1962

  8. [8]

    Mathematics: Theory & Applications

    Armand Borel and Lizhen Ji.Compactifications of symmetric and locally symmetric spaces. Mathematics: Theory & Applications. Birkh¨ auser Boston, Inc., Boston, MA, 2006

    2006

  9. [9]

    Jeff Cheeger and Tobias H. Colding. On the structure of spaces with Ricci curvature bounded below. I.J. Differential Geom., 46(3):406–480, 1997

    1997

  10. [10]

    Nilpotent structures and invariant metrics on collapsed manifolds.J

    Jeff Cheeger, Kenji Fukaya, and Mikhael Gromov. Nilpotent structures and invariant metrics on collapsed manifolds.J. Amer. Math. Soc., 5(2):327–372, 1992

    1992

  11. [11]

    Curvature and injectivity radius estimates for Einstein 4- manifolds.J

    Jeff Cheeger and Gang Tian. Curvature and injectivity radius estimates for Einstein 4- manifolds.J. Amer. Math. Soc., 19(2):487–525, 2006

    2006

  12. [12]

    Viaclovsky, and Ruobing Zhang

    Gao Chen, Jeff A. Viaclovsky, and Ruobing Zhang. Collapsing ricci-flat metrics on elliptic k3 surfaces.Communications in Analysis and Geometry, 2019

    2019

  13. [13]

    PWN—Polish Scientific Publishers, Warsaw, 1977

    Ryszard Engelking.General topology, volume Tom 60 ofMonografie Matematyczne [Math- ematical Monographs]. PWN—Polish Scientific Publishers, Warsaw, 1977. Translated from the Polish by the author

    1977

  14. [14]

    ALF gravitational instantons and collapsing Ricci-flat metrics on theK3 surface.J

    Lorenzo Foscolo. ALF gravitational instantons and collapsing Ricci-flat metrics on theK3 surface.J. Differential Geom., 112(1):79–120, 2019

    2019

  15. [15]

    Daniel S. Freed. Special K¨ ahler manifolds.Comm. Math. Phys., 203(1):31–52, 1999

    1999

  16. [16]

    Special Lagrangian fibrations

    Mark Gross. Special Lagrangian fibrations. II. Geometry. A survey of techniques in the study of special Lagrangian fibrations. InSurveys in differential geometry: differential geometry inspired by string theory, volume 5 ofSurv. Differ. Geom., pages 341–403. Int. Press, Boston, MA, 1999

    1999

  17. [17]

    Gromov-Hausdorff collapsing of Calabi- Yau manifolds.Comm

    Mark Gross, Valentino Tosatti, and Yuguang Zhang. Gromov-Hausdorff collapsing of Calabi- Yau manifolds.Comm. Anal. Geom., 24(1):93–113, 2016

    2016

  18. [18]

    Mark Gross and P. M. H. Wilson. Large complex structure limits ofK3 surfaces.J. Differ- ential Geom., 55(3):475–546, 2000

    2000

  19. [19]

    Gravitational instantons from rational elliptic surfaces.J

    Hans-Joachim Hein. Gravitational instantons from rational elliptic surfaces.J. Amer. Math. Soc., 25(2):355–393, 2012

    2012

  20. [20]

    Nilpotent structures and collapsing Ricci-flat metrics on the K3 surface.J

    Hans-Joachim Hein, Song Sun, Jeff Viaclovsky, and Ruobing Zhang. Nilpotent structures and collapsing Ricci-flat metrics on the K3 surface.J. Amer. Math. Soc., 35(1):123–209, 2022

    2022

  21. [21]

    A note on the collapsing geometry of hy- perk¨ ahler four manifolds.Sci

    Shouhei Honda, Song Sun, and Ruobing Zhang. A note on the collapsing geometry of hy- perk¨ ahler four manifolds.Sci. China Math., 62(11):2195–2210, 2019

    2019

  22. [22]

    Cambridge University Press, Cambridge, 2016

    Daniel Huybrechts.Lectures on K3 surfaces, volume 158 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2016

    2016

  23. [23]

    Ryoichi Kobayashi and Andrey N. Todorov. Polarized period map for generalizedK3 surfaces and the moduli of Einstein metrics.Tohoku Math. J. (2), 39(3):341–363, 1987

    1987

  24. [24]

    K. Kodaira. On compact analytic surfaces. II, III.Ann. of Math. (2), 77:563–626; 78 (1963), 1–40, 1963

    1963

  25. [25]

    Lee.Introduction to smooth manifolds, volume 218 ofGraduate Texts in Mathemat- ics

    John M. Lee.Introduction to smooth manifolds, volume 218 ofGraduate Texts in Mathemat- ics. Springer, New York, second edition, 2013

    2013

  26. [26]

    The moduli of Weierstrass fibrations overP 1.Math

    Rick Miranda. The moduli of Weierstrass fibrations overP 1.Math. Ann., 255(3):379–394, 1981

    1981

  27. [27]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan.Geometric invariant theory, volume 34 ofErgebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)]. Springer-Verlag, Berlin, third edition, 1994

    1994

  28. [28]

    PL density invariant for type II degenerating K3 surfaces, moduli compactifica- tion and hyper-K¨ ahler metric.Nagoya Math

    Yuji Odaka. PL density invariant for type II degenerating K3 surfaces, moduli compactifica- tion and hyper-K¨ ahler metric.Nagoya Math. J., 247:574–614, 2022

    2022

  29. [29]

    Mathematical Society of Japan, Tokyo, 2021

    Yuji Odaka and Yoshiki Oshima.Collapsing K3 surfaces, tropical geometry and moduli com- pactifications of Satake, Morgan-Shalen type, volume 40 ofMSJ Memoirs. Mathematical Society of Japan, Tokyo, 2021

    2021

  30. [30]

    Collapsing of K3 surfaces and special k¨ ahler structures.arXiv preprint arXiv:2502.18203, 2025

    Zexuan Ouyang. Collapsing of K3 surfaces and special k¨ ahler structures.arXiv preprint arXiv:2502.18203, 2025

    Pith/arXiv arXiv 2025

  31. [31]

    Springer, Cham, third edition, 2016

    Peter Petersen.Riemannian geometry, volume 171 ofGraduate Texts in Mathematics. Springer, Cham, third edition, 2016

    2016

  32. [32]

    On compactifications of the quotient spaces for arithmetically defined discon- tinuous groups.Ann

    Ichirˆ o Satake. On compactifications of the quotient spaces for arithmetically defined discon- tinuous groups.Ann. of Math. (2), 72:555–580, 1960

    1960

  33. [33]

    On representations and compactifications of symmetric Riemannian spaces

    Ichirˆ o Satake. On representations and compactifications of symmetric Riemannian spaces. Ann. of Math. (2), 71:77–110, 1960

    1960

  34. [34]

    On the compactification of moduli spaces for algebraicK3 surfaces.Mem

    Francesco Scattone. On the compactification of moduli spaces for algebraicK3 surfaces.Mem. Amer. Math. Soc., 70(374):x+86, 1987. 42 ZEXUAN OUYANG AND GANG TIAN

    1987

  35. [35]

    Gerald W. Schwarz. The topology of algebraic quotients. InTopological methods in algebraic transformation groups (New Brunswick, NJ, 1988), volume 80 ofProgr. Math., pages 135–

    1988

  36. [36]

    Serre.A course in arithmetic, volume No

    J.-P. Serre.A course in arithmetic, volume No. 7 ofGraduate Texts in Mathematics. Springer- Verlag, New York-Heidelberg, 1973. Translated from the French

    1973

  37. [37]

    Collapsing behavior of ricci-flat kahler metrics and long time solutions of the kahler-ricci flow.arXiv preprint arXiv:1904.08345, 2019

    Jian Song, Gang Tian, and Zhenlei Zhang. Collapsing behavior of ricci-flat kahler metrics and long time solutions of the kahler-ricci flow.arXiv preprint arXiv:1904.08345, 2019

    Pith/arXiv arXiv 1904

  38. [38]

    Collapsing geometry of hyperk¨ ahler 4-manifolds and applica- tions.Acta Math., 232(2):325–424, 2024

    Song Sun and Ruobing Zhang. Collapsing geometry of hyperk¨ ahler 4-manifolds and applica- tions.Acta Math., 232(2):325–424, 2024

    2024

  39. [39]

    Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric

    Gang Tian. Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric. InMathematical aspects of string theory (San Diego, Calif., 1986), volume 1 ofAdv. Ser. Math. Phys., pages 629–646. World Sci. Publishing, Singapore, 1987

    1986

  40. [40]

    On Calabi’s conjecture for complex surfaces with positive first Chern class.Invent

    Gang Tian. On Calabi’s conjecture for complex surfaces with positive first Chern class.Invent. Math., 101(1):101–172, 1990

    1990

  41. [41]

    The K¨ ahler-Ricci flow, Ricci-flat metrics and collapsing limits.Amer

    Valentino Tosatti, Ben Weinkove, and Xiaokui Yang. The K¨ ahler-Ricci flow, Ricci-flat metrics and collapsing limits.Amer. J. Math., 140(3):653–698, 2018

    2018

  42. [42]

    Ergodic complex structures on hyperk¨ ahler manifolds.Acta Math., 215(1):161–182, 2015

    Misha Verbitsky. Ergodic complex structures on hyperk¨ ahler manifolds.Acta Math., 215(1):161–182, 2015

    2015

  43. [43]

    Ergodic complex structures on hyperkahler manifolds: an erratum.arXiv preprint arXiv:1708.05802, 2017

    Misha Verbitsky. Ergodic complex structures on hyperkahler manifolds: an erratum.arXiv preprint arXiv:1708.05802, 2017

    Pith/arXiv arXiv 2017

  44. [44]

    On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equation

    Shing Tung Yau. On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equation. I.Comm. Pure Appl. Math., 31(3):339–411, 1978

    1978

  45. [45]

    Collapsing of Calabi-Yau manifolds and special Lagrangian submanifolds

    Yuguang Zhang. Collapsing of Calabi-Yau manifolds and special Lagrangian submanifolds. Univ. Iagel. Acta Math., (54):53–78, 2017. BICMR, Peking University, Beijing, 100871, China Email address:oyzx@pku.edu.cn BICMR and School of Mathematics, Peking University, Beijing, 100871, China Email address:gtian@math.pku.edu.cn

    2017

  46. [151]

    Birkh¨ auser Boston, Boston, MA, 1989

    1989