Pith. sign in

REVIEW 3 major objections 4 minor 22 references

A note on orbifold regularity of canonical metrics

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read On a compact Kähler variety with log terminal singularities and trivial canonical class, the unique singular Ricci-flat metric is smooth after pullback to local covers of quotient singularities.

desk verdict A genuine extension of orbifold regularity to non-projective klt Calabi-Yau varieties via a quantitative deformation argument, with one explicitly flagged uniformity gap that needs a rigorous fix before the proof is complete. read the letter →

arxiv 2509.09259 v1 pith:G74M35ZL submitted 2025-09-11 math.DG math.CV

Henri Guenancia , Chung-Ming Pan , Mihai Păun This is my paper · ORCID
classification math.DGmath.CV MSC 32Q2032Q2553C5532W20
keywords orbifoldregularitysingularRicci-flatmetricslogterminalsingularitiesKählerCalabi-YauvarietiescomplexMonge-Ampèreequationlocallytrivialalgebraicapproximationquotient
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a regularity result for singular Ricci-flat Kähler metrics on compact Kähler varieties with log terminal singularities and trivial canonical class: near every finite-quotient singularity, the metric, pulled back to a smooth local cover, extends to a smooth Kähler metric. This is the first proof of this orbifold regularity in the non-projective Kähler setting, extending known projective theorems. The strategy is to degenerate the variety to nearby projective fibers, where the result is already known, and to control all constants uniformly along the degeneration. The engine is a quantitative bound on the trace of the pulled-back metric on local uniformizing covers.

What carries the argument

The central object is the trace function f = tr_{p^* omega} omega_V on a local uniformizing cover V of a quotient singularity, and the proof’s goal is a uniform L^infinity bound for f. The machinery combines: (1) Chern–Lu inequality plus a recent strict-positivity theorem to get omega >= epsilon omega_X with a uniform epsilon; (2) an elliptic inequality for small powers of a cut-off f, namely Delta_omega (chi f^alpha) >= -C chi f^alpha; (3) a Harnack-type inequality based on Green-kernel estimates that turns an L^1 bound into an L^infinity bound; and (4) a locally trivial deformation to projective fibers, where orbifold regularity is already known and the constants are uniform. A final Evans

What would settle it

Exhibit a compact Kähler variety X with log terminal singularities and c1(K_X)=0, and a point x in X^orb, such that the pullback of the singular Ricci-flat metric to a local uniformizing cover is not a smooth Kähler metric—e.g., its trace against the Euclidean metric is unbounded. Alternatively, construct a locally trivial algebraic approximation satisfying the paper’s Assumption 5.1 for which sup_{X_t} |phi_t| is unbounded, which would break the uniform positivity step and show the proof’s mechanism fails.

Watch

Extended reading notes

Core claim

Let X be a compact Kähler space with log terminal singularities and c1(K_X)=0, and let omega be the unique solution of the complex Monge-Ampère equation (omega_X + dd^c phi)^n = mu_h, where h is a flat metric on K_X. The paper establishes that omega restricted to the orbifold locus X^orb has orbifold singularities: for any local finite Galois cover p: V -> U of a quotient singularity, p^* omega extends to a smooth Kähler metric on V. More generally, Theorem A proves the same conclusion whenever X admits a locally trivial algebraic approximation, with no condition on the canonical class; the c1=0 hypothesis enters only through a known algebraic-approximation result. The authors also derive th

Load-bearing premise

The proof needs a uniform L^infinity bound on the Monge-Ampère potentials phi_t along the approximating projective fibers; the authors note this follows only “essentially” from a prior theorem without the precise statement, and they give only a sketch via simultaneous resolution, so if this bound fails the uniform strict positivity constant may degenerate and the limit argument collapses.

Editorial extensions

If this is right

  • The unique singular Ricci-flat Kähler metric in any given class on such a variety is genuinely smooth on the local covers of all quotient singularities; near the orbifold locus there are no singularities beyond those of the quotient structure.
  • Any compact subset K avoiding the non-orbifold locus has its metric completion homeomorphic to K, and the Ricci-flat distance is bi-Hölder to a fixed Kähler metric.
  • Because the c1=0 hypothesis is used only to guarantee locally trivial algebraic approximation, any future proof of that approximation property for broader classes would immediately extend the orbifold-regularity theorem to them.
  • Combined with previously known projective results, the paper implies that all singular Kähler-Einstein metrics (negative, zero, or positive first Chern class) on log terminal compact Kähler varieties have orbifold singularities on the orbifold locus.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The uniform trace bound is quantitative and may be reusable to control the degeneration of Ricci-flat metrics in families, for instance yielding uniform diameter or energy estimates along algebraic approximations of Calabi-Yau varieties.
  • The method suggests that orbifold regularity is a stable property under locally trivial degenerations: if nearby projective fibers admit the regularity with uniform constants, the central fiber inherits it. This may serve as a template for other singular canonical metrics.
  • The technical gap flagged in item C of the proof—the uniform L^infinity bound on the potentials along the family—could be filled by developing the sketched simultaneous-resolution argument in full detail; if a counterexample to that bound exists, the proof would need a different route, though the conclusion might still hold by other means.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. This paper proves Theorem A: if a compact Kähler variety X with log terminal singularities admits a locally trivial algebraic approximation, then the solution omega of the normalized Monge-Ampère equation (1.1) restricts to the orbifold locus X^orb as an orbifold Kähler metric. Combined with the algebraic approximation theorem of BGL22 for compact Kähler Calabi-Yau varieties, this yields Corollary B: every singular Ricci-flat Kähler metric on a compact Kähler klt variety with c1(K_X)=0 has orbifold singularities on X^orb. The proof approximates X by projective fibers X_t and aims to establish quantitative uniformity—of the strict positivity constant, of the orbifold Harnack estimate, and of the Laplacian bound—so that the limiting metric inherits the orbifold regularity. The paper also derives a metric-completion application in Section 5.2.

Significance. If the main theorem is fully supported, this is a meaningful advance: orbifold regularity was previously known for projective X via LT19 and GP24, and the current note extends it to all compact Kähler klt Calabi-Yau varieties by invoking locally trivial algebraic approximation. The quantitative Harnack-type statement in Proposition 4.2 is a useful tool in its own right. The paper is honest about its reliance on recent external results and about the projectivity limitation in Remark 2.5. However, the load-bearing uniformity step in Theorem 5.5—especially the uniform L-infinity bound on the approximating potentials phi_t—is only sketched, and the paper itself acknowledges that the precise statement is not in the cited literature. The result is therefore not yet fully supported as written, but the gap appears fixable.

major comments (3)
  1. [Section 5.1, item C, proof of Theorem 5.5] The uniform bound sup_{X_t}|phi_t| <= C is load-bearing. It supplies the hypothesis phi_t >= -C in Lemma 3.3, which yields a t-independent epsilon0. If epsilon0 degenerates, then inequality (4.7) in Claim 4.1 becomes t-dependent and the Harnack-based argument in Proposition 4.2 collapses. The text states that this bound follows 'essentially' from [DNGG23] but that the precise statement is not explicitly there; the proposed simultaneous-resolution workaround is not sufficiently detailed. In particular, [BL22, Lemma 4.8] is invoked without stating the resolution properties, and the claims that the pull-backs of mu_t to Y_t have uniformly bounded L^{1+epsilon} density and that [DNGG23, Thm 3.4 and 1.1] give the desired sup bound are not checked. Since pi_t^*omega_{X_t} is not a Kähler form in general, the relation between the Monge-Ampère equations (5.2) on X_t and any equations controlled
  2. [Section 5.1, item gamma,G, proof of Theorem 5.5] The uniformity of the Green-function constants gamma and G is also asserted rather than proved. The text says it is a consequence of [GT25, Theorem A] applied to a simultaneous resolution, but the exact family version needed for (X_t^reg, omega_t) is not stated. Since the final constant C_U in Proposition 4.2 depends on gamma and G, this is another t-dependent quantity that must be controlled. If the cited theorem indeed covers this family, the verification should be spelled out; otherwise a proof is required.
  3. [Section 4.2, Proposition 4.2] The passage from the Green-function inequality (4.13) to the L-infinity bound for f relies on the existence of a uniform L^1 bound for f with respect to omega^n and on the choice alpha = gamma/(gamma+1). The argument is correct if the input constants are uniform. However, the proposition as stated requires an upper bound for the integral of omega_V wedge p^*omega^{n-1}, and Remark 4.3 explains that this follows from the L-infinity bound on phi. Thus Proposition 4.2 is only as good as the uniform L-infinity control from Theorem 5.5. This is not an independent flaw, but it means the gap in item C cannot be circumvented by the Harnack estimate alone.
minor comments (4)
  1. [Section 3, proof of Lemma 3.3] The phrase 'énième conséquence' is informal and unclear; it should be replaced by a precise statement such as 'a direct consequence' or a specific reference.
  2. [Section 4, proof of Proposition 4.2] The construction of the cutoff functions tau_k and their G-invariant averaging is only summarized. It would help to spell out that the averaging preserves the integrability estimate (4.11), since the inequality is applied after descending to U.
  3. [Section 4, equation (4.13)] The norm notation for G_x should specify the measure and the fact that G_x is singular; clarify that the norm is taken with respect to the volume form omega^n on X_reg.
  4. [Abstract and Corollary B] The abstract says 'any singular Ricci-flat Kähler metric', while the proof treats the unique solution of (1.1) with a flat hermitian metric. This is standard and likely intended, but the equivalence should be stated explicitly for the reader.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main reduction uses the independent projective case [LT19] plus external family estimates; recurrent self-citations ([GP24], [BGL22], [DNGG23]) are load-bearing but have independent content. The main weakness is an acknowledged proof gap (item C), not circularity.

full rationale

Walking the derivation chain: Theorem 5.5 proves Theorem A by approximating X by projective fibers X_{t_k} and passing uniform estimates to the limit. The projective fiber statement is quoted as '[LT19, GP24]' (Theorem 5.4); [LT19] is independent of the authors, so the projective case is not reduced to a self-citation. The uniform estimate machinery (Claim 4.1, Proposition 4.2) uses 'Proposition 3.3 in [GP24]' and the Green kernel construction '[GP24, §3]', a self-cited preprint by two of the authors; however, this is presented as an external tool whose hypotheses are checked (via Lemma 3.3 from [CCH+25] and [GPSS24]) and it does not assume the non-projective orbifold regularity being proved. Corollary B uses [BGL22] for the existence of locally trivial algebraic approximations; that is a published external theorem, not the target result. No fitted constants are relabeled as predictions, no uniqueness theorem from the authors is invoked to force a choice, and no known result is merely renamed: the local-approximation + uniformity argument is a genuine new proof for the non-projective klt c1=0 case. The only passage that warrants flagging is item C in the proof of Theorem 5.5: the authors write that the needed uniform bound sup_{X_t}|φ_t| ≤ C 'follows essentially from [DNGG23], although the precise statement that we would need is not explicitly stated there' and then give only a sketch via a simultaneous resolution, asserting uniform L^{1+ε} density bounds and citing [DNGG23, Thm 3.4 & 1.1]. This is an acknowledged omitted justification on which the uniformity of ε0 and the subsequent Harnack bound depend; it is a correctness/completeness risk, not a circular equivalence. Because the citation chain is not definitional and the main claim has independent content, the appropriate circularity score is low.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The proof is a chain of sophisticated external theorems from the Kähler geometry literature. There are no fitted constants or invented objects. The central claim rests on the correctness and applicability of these cited results, especially the very recent strict positivity theorem (CCH+25) and the uniform L-infinity bound in families, which the paper itself notes is not explicitly available in DNGG23.

assumptions (6)
  • domain assumption Existence and uniqueness of the solution to the Monge-Ampère equation (1.1) on compact log terminal Kähler spaces, with Ricci form equal to -Theta_h(K_X) on the regular locus (EGZ09).
    Invoked in Section 1 and used throughout as the starting point for defining the singular canonical metric.
  • domain assumption Strict positivity theorem of Chen-Chiu-Hallgren-Szekelyhidi-To-Tong (CCH+25, Theorem 1.2), giving a uniform lower bound omega >= C omega_X for solutions of Monge-Ampère equations under curvature and density conditions.
    Used in Section 3 to derive Lemma 3.3, the quantitative strict positivity that underpins the uniform estimates in Section 5. Very recent preprint, not independently verified here.
  • domain assumption Orbifold regularity for projective log terminal varieties (LT19 and GP24): the solution of (3.1) has orbifold singularities on X_orb.
    Applied in Theorem 5.5 to the approximating projective fibers X_{t_k}, giving the qualitative starting point for Proposition 4.2.
  • domain assumption Uniform Green function estimates for families of Kähler metrics (GPSS24 and GT25, Theorem A), giving uniform constants gamma and G in (4.10).
    Used in Section 4 and Theorem 5.5 to apply the Harnack inequality from GP24 and to control the constants uniformly along the deformation.
  • ad hoc to paper Uniform L-infinity bound on the potentials phi_t along the family, asserted 'essentially' from DNGG23 but with the precise statement not explicit; a workaround via simultaneous resolution is sketched.
    This is item C in the proof of Theorem 5.5 and the weakest point of the paper. The authors flag that the exact statement they need is not in DNGG23.
  • domain assumption Existence of locally trivial algebraic approximations for compact Kähler log terminal spaces with c1(K_X)=0 (BGL22).
    Used in Corollary 5.6 to reduce the Calabi-Yau case to Theorem 5.5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A note on orbifold regularity of canonical metrics." pith.science (2026). https://pith.science/paper/G74M35ZL

@misc{pith2026250909259,
  author       = {Pith},
  title        = {Pith review of: A note on orbifold regularity of canonical metrics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G74M35ZL}},
  note         = {Machine review of arXiv:2509.09259}
}
abstract

In this short note, we prove that on a compact K\"ahler variety $X$ with log terminal singularities and $c_1(X)=0$, any singular Ricci-flat K\"ahler metric has orbifold singularities in restriction to the orbifold locus of $X$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 2 linked inside Pith

  1. [1]

    Bakker, H

    B. Bakker, H. Guenancia C. Lehn -- Algebraic approximation and the decomposition theorem for K \"a hler Calabi - Yau varieties , Invent. Math. 228 (2022), no. 3, p. 1255--1308

    2022

  2. [2]

    Bingener -- On deformations of K \"a hler spaces

    J. Bingener -- On deformations of K \"a hler spaces. I , Math. Z. 182 (1983), p. 505--535

    1983

  3. [3]

    Bakker C

    B. Bakker C. Lehn -- The global moduli theory of symplectic varieties , J. Reine Angew. Math. 790 (2022), p. 223--265

    2022

  4. [4]

    Campana -- Orbifoldes \`a premi\`ere classe de C hern nulle , in The F ano C onference , Univ

    F. Campana -- Orbifoldes \`a premi\`ere classe de C hern nulle , in The F ano C onference , Univ. Torino, Turin, 2004, p. 339--351

    2004

  5. [5]

    Chen, S.-K

    Y. Chen, S.-K. Chiu, M. Hallgren, G. Székelyhidi, T. D. Tô F. Tong -- On Kähler-Einstein Currents , Preprint arXiv:2502.09825 http://arxiv.org/abs/2502.09825, 2025

    arXiv 2025

  6. [6]

    Claudon, P

    B. Claudon, P. Graf H. Guenancia -- Equality in the Miyaoka–Yau inequality and uniformization of non-positively curved klt pairs , C. R., Math., Acad. Sci. Paris 362 (2024), no. S1, p. pp. 55--81

    2024

  7. [7]

    S.-K. Chiu G. Sz\'ekelyhidi -- Higher regularity for singular K \"ahler- E instein metrics , Duke Math. J. 172 (2023), no. 18, p. 3521--3558

    2023

  8. [8]

    Di Nezza, V

    E. Di Nezza, V. Guedj H. Guenancia -- Families of singular K\"ahler-Einstein metrics , J. Eur. Math. Soc. 25 (2023), no. 7, p. 2697--2762

    2023

Show all 22 references
  1. [9]

    Eyssidieux, V

    P. Eyssidieux, V. Guedj A. Zeriahi -- Singular K \"a hler-Einstein metrics , J. Amer. Math. Soc. 22 (2009), p. 607--639

    2009

  2. [10]

    Faulk -- On Y au's theorem for effective orbifolds , Expo

    M. Faulk -- On Y au's theorem for effective orbifolds , Expo. Math. 37 (2019), no. 4, p. 382--409

    2019

  3. [11]

    Guedj, H

    V. Guedj, H. Guenancia A. Zeriahi -- Strict positivity of K \"ahler- E instein currents , Forum Math. Sigma 12 (2024), p. Paper No. e68, 27

    2024

  4. [12]

    P. Graf T. Kirschner -- Finite quotients of three-dimensional complex tori , Ann. Inst. Fourier (Grenoble) 70 (2020), no. 2, p. 881--914

    2020

  5. [13]

    D. Greb, S. Kebekus, S. J. Kov \'a cs T. Peternell -- Differential forms on log canonical spaces , Publ. Math. Inst. Hautes \'E tudes Sci. (2011), no. 114, p. 87--169

    2011

  6. [14]

    Guenancia M

    H. Guenancia M. P a un -- Bogomolov-Gieseker inequality for log terminal Kähler threefolds , Preprint arXiv:2405.10003 https://arxiv.org/abs/2405.10003, to appear in Comm. Pure. App. Math., 2024

    2024 arXiv

  7. [15]

    B. Guo, D. H. Phong, J. Song J. Sturm -- Diameter estimates in K \"a hler geometry , Commun. Pure Appl. Math. 77 (2024), no. 8, p. 3520--3556

    2024

  8. [16]

    V. Guedj T. D. T \^o -- K \"a hler families of Green 's functions , J. \'E c. Polytech., Math. 12 (2025), p. 319--339

    2025

  9. [17]

    H.-J. Hein S. Sun -- Calabi- Y au manifolds with isolated conical singularities , Publ. Math. Inst. Hautes \'Etudes Sci. 126 (2017), p. 73--130

    2017

  10. [18]

    C. Li G. Tian -- Orbifold regularity of weak K \" a hler- E instein metrics , in Advances in complex geometry, Contemp. Math., vol. 735, Amer. Math. Soc., [Providence], RI, [2019] 2019, p. 169--178

    2019

  11. [19]

    Ou -- Orbifold modifications of complex analytic varieties , Preprint arXiv:2401.07273 http://arxiv.org/abs/2401.07273, 2024

    W. Ou -- Orbifold modifications of complex analytic varieties , Preprint arXiv:2401.07273 http://arxiv.org/abs/2401.07273, 2024

    2024

  12. [20]

    C.-M. Pan A. Trusiani -- K \"a hler- E instein metrics on families of Fano varieties , J. Reine Angew. Math. 819 (2025), p. 45--87

    2025

  13. [21]

    Wang -- On the \(C^ 2, \) -regularity of the complex Monge - Amp \`e re equation , Math

    Y. Wang -- On the \(C^ 2, \) -regularity of the complex Monge - Amp \`e re equation , Math. Res. Lett. 19 (2012), no. 4, p. 939--946

    2012

  14. [22]

    @lbibitem[#1]#2 [\@biblabel #1 ] @tempwidthb \@biblabel #1 @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @filesw \@auxout #2 #1 @bibitem#1 @filesw \@auxout #1 \@listctr @tempwidthb \@biblabel @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb \@lbibitem @lbibitem \@bibitem ...

    2000

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.