Pith. sign in

REVIEW 5 major objections 4 minor 4 cited by

Nash entropy, Calabi energy and geometric regularization of singular K\"ahler metrics

T0 review · 5 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read This paper proves that on normal projective varieties with log terminal singularities and a resolution with relative nef or effective anti-canonical bundle, any admissible singular Kähler metric with Ricci curvature bounded below induces…

desk verdict A solid analytic core with an ambitious RCD theorem whose proof needs real repair before the general case is ready. read the letter →

arxiv 2502.02041 v1 pith:NVEZ2XNB submitted 2025-02-04 math.DG math.APmath.MG

Bin Guo , Jian Song This is my paper · ORCID
classification math.DGmath.APmath.MG MSC 53C5532Q2053C2332W20
keywords KählermetricsNashentropyCalabienergyRCDspacessingularRiccicurvatureboundedbelowSobolevestimatesgeometricregularization
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

This paper proves new uniform Sobolev estimates for solutions of the Laplace equation and for Green's functions on Kähler manifolds with bounded Nash entropy and bounded Calabi energy, and uses them to analyze singular Kähler spaces. The main theorem states that on a normal projective variety with log terminal singularities that admits a resolution with $\pi$-nef or $\pi$-effective anti-canonical bundle, every admissible singular Kähler metric with $\operatorname{Ric}(\omega) \ge -\omega$ induces a non-collapsed compact $\mathrm{RCD}(-1,2n)$ space homeomorphic to the variety. The regular set of this RCD space is exactly the smooth locus, and the singular set has Hausdorff dimension at most $2n-3$. If true, the result supplies a large family of RCD spaces arising from algebraic geometry and confirms that a pluripotential-theoretic Ricci lower bound produces a synthetic Ricci lower bound in the RCD sense.

What carries the argument

The load-bearing mechanism is a Bochner-formula estimate with a power trick: for $\varphi = u^\beta$ with $\beta = 8/9$, the paper derives an integrated lower bound for $\Delta|\nabla\varphi|^2$ that controls Hessian and gradient terms, with the Calabi energy bound absorbing the negative Ricci contribution. Iterating this estimate gives uniform $W^{2,2}$ and $W^{1,4}$ bounds for Laplace solutions and Green's functions (Theorem 1.1). These bounds make eigenfunctions Lipschitz via a Green's-function representation and Riesz–Thorin interpolation (Proposition 3.1), yield a Schwarz lemma $\omega \ge c\theta_X$ (Proposition 4.1), and allow approximation by twisted cscK metrics (Proposition 5.1). The homeomorphism statement in the general case is carried by a regularization of the Kähler current $\eta = \operatorname{Ric}(\omega)+\omega$ by smooth forms, followed by convergence of the associated RCD spaces and partial $C^0$ holomorphic sections that separate points (Lemma 8.7 and Corollary 8.2).

What would settle it

A direct way to test the central claim: construct a normal projective variety $X$ satisfying the resolution hypothesis and a singular Kähler metric $\omega$ with $\operatorname{Ric}(\omega) \ge -\omega$ whose metric completion $(\hat X,d_\omega)$ has a singular point with tangent cone splitting off $\mathbb{R}^{2n-1}$ or $\mathbb{R}^{2n-2}$; Theorem 1.3 predicts this cannot happen. On the proof level, one could examine a concrete example where $\eta = \operatorname{Ric}(\omega)+\omega$ has a potential $\psi$ only in $\operatorname{PSH}(X,(1+\varepsilon)\eta_0)$ and show that no decreasing sequence of smooth $\eta_0$-PSH approximations exists, which would invalidate Lemma 8.1 as stated.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that bounded Nash entropy together with bounded Calabi energy (equivalently an $L^2$ bound on the negative part of the Ricci form) yields higher-order linear estimates: for solutions $u$ of $\Delta_\omega u = f$, the quantities $|\nabla\nabla u|^2$, $|\nabla\bar\nabla u|^2$, and $|\nabla u|^4$ are uniformly integrable, and the same holds off small balls for the Green's function. These estimates upgrade the earlier $W^{1,2}$ theory to the regularity needed for RCD analysis. The paper then shows that, under the resolution hypothesis $-K_Y$ being $\pi$-nef or $\pi$-effective, any singular Kähler metric $\omega$ in the admissible class with $\operatorname{Ric}(\omega) \ge -\omega$ admits a regularization by smooth twisted cscK metrics with uniform Nash entropy and Calabi energy, and that the metric completion $(\hat X, d_\omega, \omega^n)$ is a non-collapsed $\mathrm{RCD}(-1,2n)$ space homeomorphic to $X$, with $\omega \ge c\theta_X$.

Load-bearing premise

The argument's load-bearing step is the assertion that the singular current $\eta = \operatorname{Ric}(\omega)+\omega$ can be approximated by smooth Kähler forms via potentials that are genuinely $\eta_0$-plurisubharmonic, and that the resulting twisted Kähler-Einstein metrics automatically lie in the admissible class with uniform Nash entropy and Calabi energy bounds; this is stated rather than fully derived, so the general proof would fail if the stated class $\operatorname{PSH}(X,(1+\varepsilon)\eta_0)$ is the correct one.

Editorial extensions

If this is right

  • Every singular Kähler metric satisfying the hypotheses of Theorem 1.3 determines a non-collapsed $\mathrm{RCD}(-1,2n)$ space whose underlying topological space is $X$ itself; the analytic metric completion recovers the original variety.
  • The singular set of this RCD space has Hausdorff dimension at most $2n-3$, and at most $2n-4$ when the Ricci curvature of $\omega$ is bounded from both sides.
  • The uniform estimate $\omega \ge c\theta_X$ makes the identity map from $(\hat X,d_\omega)$ to $(X,\theta_X)$ Lipschitz, so the RCD structure is quantitatively compatible with the ambient embedding.
  • Theorem 1.1 supplies a general linear-analysis tool: uniform Laplace and Green's-function estimates on any family of Kähler manifolds with bounded Nash entropy and Calabi energy, independent of the metric's Ricci lower bound.
  • For any projectively embeddable variety with a resolution with $-K_Y$ $\pi$-nef or $\pi$-effective, there are infinitely many RCD spaces topologically and holomorphically equivalent to $X$, coming from Kähler currents with Ricci curvature bounded below.

Reading between the lines

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

  • If the current-theoretic Ricci lower bound is equivalent to the synthetic RCD condition for this class, Theorem 1.3 would extend to all singular Kähler metrics with synthetic Ricci bounds, without the resolution hypothesis.
  • The remark that only an $L^{2-\varepsilon}$ bound on the negative Ricci part suffices suggests the Calabi-energy hypothesis could be relaxed, potentially covering collapsing families.
  • A concrete test of the proof's core step: check whether the potential $\psi$ of $\eta = \operatorname{Ric}(\omega)+\omega$ can always be chosen $\eta_0$-PSH. If not, Lemma 8.1 and the twisted cscK approximation would need a modified construction for the general case.
  • The theorem implies that singular Kähler-Einstein currents on varieties of Fano type are RCD spaces, matching the recent independent result for Kähler-Einstein currents; comparing the two approximation schemes might simplify both proofs.
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

5 major / 4 minor

Summary. The paper develops uniform Sobolev and gradient estimates for solutions of the Laplace equation on families of Kähler metrics with bounded Nash entropy and Calabi energy, and applies them to show that certain singular Kähler metrics on normal projective varieties induce non-collapsed RCD spaces that are homeomorphic to the underlying variety. The main global result, Theorem 1.3, asserts that under a resolution condition on the anti-canonical bundle and a lower Ricci bound as currents, every admissible singular Kähler metric with rational cohomology class yields an RCD(-1,2n) space whose regular set is the smooth locus and whose singular set has Hausdorff dimension at most 2n-3.

Significance. If the main theorem is correct, it provides a substantial bridge between pluripotential theory on singular varieties and the RCD theory of metric measure spaces, producing abundant examples of RCD spaces that are topologically and holomorphically equivalent to algebraic varieties. The Bochner-based estimates in Section 2 are coherent and are a genuine contribution: they upgrade the existing W^{1,2} theory to uniform W^{2,2} and W^{1,4} bounds under a Calabi energy bound, and the Green function estimates are a natural corollary. The paper is also careful in many places to cite the prior groundwork in [24,25,26] and [42]. However, several load-bearing steps in Sections 7 and 8 are asserted rather than proved, and the logical ordering and hypotheses there need correction before the main theorem can be accepted.

major comments (5)
  1. [Section 7, proof of Theorem 7.1] The proof invokes Proposition 4.1 to conclude that ω dominates θ_X, writing "By Proposition 4.1, ω dominates θ_X", before the regularization hypotheses of Proposition 4.1 have been established. Proposition 4.1 is stated and proved under the assumption that ω admits a regularization (Y,{ω_j}) satisfying (3.1)-(3.3); at this point in Theorem 7.1 no such regularization has yet been constructed, since its construction is precisely the content of Proposition 5.1. The proof can likely be repaired by first invoking Proposition 5.1 to obtain the regularization and then applying Proposition 4.1, but as written the argument is circular and the assertion used in the proof of (7.2) is not justified.
  2. [Section 8, before Lemma 8.1] The reduction to the smooth twisted case writes η = η_0 + i∂∂̄ψ and states that ψ ∈ PSH(X,(1+ε)η_0) ∩ C^∞(X^∘). Lemma 8.1 and the extension theorem [13] that supports it require ψ ∈ PSH(X,η_0), not merely (1+ε)η_0-plurisubharmonicity. If the stated class is correct, the regularized maximum construction in Lemma 8.1 does not apply as written, because the approximants ψ_j are required to be η_0-PSH. If instead ψ is meant to be η_0-PSH, the text should state that hypothesis and justify why η_0 + i∂∂̄ψ is a Kähler current with the required domination property.
  3. [Section 8, after equation (8.2)] The assertion that the twisted Kähler-Einstein metrics ω_i = ω_0 + i∂∂̄φ_i lie in V(X,θ_X,n,A,p,K′) with a uniform K′ is not derived. The argument gives only a uniform upper bound for φ_i from the Monge-Ampère equation and the pointwise convergence of ψ_i; it does not provide the L^p bound on |log(V^{-1}ω_i^n/θ_X^n)| required by (1.3), and no lower bound on ψ_i or φ_i is established. This uniform Nash entropy control is needed before Theorem 7.1 can be applied to the approximating sequence, so the reduction is incomplete.
  4. [Theorem 7.1, assumption (1)] The statement of Theorem 7.1 says "KY is π-nef", but the surrounding results and the proof require −K_Y to be π-nef. Proposition 5.1, Theorem 1.3, and the discussion in the introduction all concern the anti-canonical bundle −K_Y being π-nef or π-effective. As stated, the sign in Theorem 7.1 is inconsistent with its own proof, which invokes Proposition 5.1, and the statement must be corrected to −K_Y. This is not merely a typographical issue, since the nefness of K_Y and of −K_Y are very different hypotheses.
  5. [Theorem 1.3, π-effective alternative] Theorem 1.3 is stated for the case where −K_Y is π-nef or π-effective, but the proof in Sections 7 and 8 only addresses the π-nef case: Theorem 7.1 assumes π-nefness, and Section 8 reduces the general case to Theorem 7.1. No separate argument is supplied for the π-effective branch beyond the remark that Theorem 1.3 has been proved in [22] in that case. If the paper intends to rely on [22] for the π-effective case, that dependence should be stated explicitly in the proof of Theorem 1.3; otherwise the theorem is not proved as stated.
minor comments (4)
  1. [Throughout] There are several typos and small errors: "equppied" in the introduction, "no great than" for "no greater than" in Theorem 1.3, "Ccontradiction" in the proof of Lemma 8.5, and "small δ >> ǫ" in Lemma 8.1 where the intended order of δ and ǫ is unclear.
  2. [Lemma 8.4] The notation Y is used for the Gromov-Hausdorff limit space in Lemma 8.4, which conflicts with the resolution Y used throughout the paper; a different symbol such as Z would avoid ambiguity.
  3. [Section 5, Proposition 5.1] The sentence "ω_{ǫ_j} converges smoothly to ω on any compact subset of Y^∘" should presumably read "on any compact subset of π^{-1}(X^∘)", since ω is defined on X and π^{-1}(X^∘) is the relevant smooth region of the resolution.
  4. [Lemma 3.3] The displayed condition "0 ≤ ρ ≤ 1" should be "0 ≤ ρ_k ≤ 1", and the indexing of the cut-off functions should be made consistent with the domains Ω_k.

Circularity Check

2 steps flagged · score 6.0 of 10

Partial circularity: Section 8 invokes Proposition 4.1 to make η a Kähler current before the regularization that Proposition 4.1 requires has been produced, so the approximation scheme presupposes the lower bound it is meant to prove.

  1. other [Section 8, proof of Theorem 1.3 (after defining η = Ric(ω) + ω)]
    "If η is not strictly positive, we can let ω′ = 2ω and η′ = ω + η, then Ric(ω′) = −ω′ + η′ and η′ is indeed a Kähler current by Proposition 4.1."

    Proposition 4.1 is stated only for ω ∈ V(X,θX,n,A,p,K) that admits a regularization (Y,{ω_j}) satisfying (3.1)-(3.3). At this point in the general-case proof no such regularization has been constructed for ω; constructing one, or an approximating family, is the task of the rest of Section 8. The conclusion ω ≥ cθ_X, equivalently η′ = ω + η ≥ cθ_X, is being used as the input that makes [η] Kähler, which is needed to choose η0, solve (8.1)-(8.2), and invoke Theorem 7.1. The proof then derives ω ≥ cθ_X as the limit of the approximating family, so the lower bound is used before it is proved. This is a load-bearing circular dependency, not merely an expositional ordering issue.

  2. other [Section 7, proof of Theorem 7.1]
    "By Proposition 4.1, ω dominates θX, i.e., there exists C>0 such that −ω ≤ Ric(ω) ≤ Cω. In particular, the twisted Kähler-Einstein equation ω satisfies the assumptions of Proposition 5.1. Therefore there exist a regularization ..."

    The same dependency appears earlier: Proposition 4.1 has as a hypothesis that ω admits a regularization satisfying (3.1)-(3.3), but in the proof of Theorem 7.1 that regularization is only produced afterward by Proposition 5.1. The regularization is therefore simultaneously the hypothesis of the proposition being applied and the output of the subsequent proposition. The step is reorderable, since Proposition 5.1 does not itself need the lower bound, so this is a proof-order circularity rather than an equivalence of statements; as written, the derivation chain is circular.

full rationale

The central theorem is not definitionally equivalent to its assumptions: V(X,θX,n,A,p,K), the entropy and Calabi bounds, and the Ricci current inequality do not by themselves force the RCD/homeomorphism conclusion without substantial analytic work in Sections 2-3, 5 and 8. The heavy inputs [24,25,26] and [22] are the authors' own prior results, but they are independent theorems with their own proofs and are not assumed versions of the target result; their use does not by itself constitute circularity. The extension theorem [13] used in Lemma 8.1 is external, though the text's ψ ∈ PSH(X,(1+ε)η0) does not match the η0-PSH hypothesis of that theorem; that is a correctness gap, not a circularity. The circularity score is raised by the two Proposition 4.1 invocations: in Section 8 the claim that η′ is a Kähler current by Proposition 4.1 uses the regularization hypothesis that the approximation scheme is supposed to supply, and the resulting lower bound ω ≥ cθ_X is then fed back into the construction of the approximating twisted Kähler-Einstein metrics. This is a partial, load-bearing circularity. Also in-scope but non-circular: the assertion after (8.2) that ω_i ∈ V(X,θX,n,A,p,K′) with uniform Nash entropy for all i is not derived, since uniform control of φ_i from above does not give the L^p entropy bound (1.3), and it is needed before Theorem 7.1 can be applied; this compounds the Section 8 dependency. If the Proposition 4.1 applications are reordered or replaced by regularization results proved independently of ω ≥ cθ_X, the remaining derivation would be largely self-contained against external benchmarks; as written, the general-case proof has a genuine circular step. Score 6 reflects partial circularity of the central proof, not self-citation.

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

No fitted constants; the bounds A, B, K, p are hypotheses, not fitted parameters. The central claim rests on imported analytic and algebraic geometry results, especially the authors' own Sobolev and diameter theory [24,25] and the twisted cscK construction from [42]. These are not circular because they are independent established results, but they carry most of the technical weight.

assumptions (5)
  • domain assumption Log terminal singularities give mK_X Cartier for some m and adapted volume forms exist on X.
    Used in Definition 6.1 to define Ricci curvature as a current; standard in minimal model program theory but nontrivial.
  • standard math Quasi-plurisubharmonic functions extend from X to projective space via [13], and regularized maxima produce smooth η0-PSH approximants ψ_i ≥ ψ.
    Lemma 8.1 depends on this; if ψ is only (1+ε)η0-PSH as stated, the quoted class is insufficient without adjustment.
  • domain assumption Twisted cscK metrics solving R(ω_ε)-tr(π*η)=c_ε exist for -K_Y π-nef with uniform entropy and Calabi energy bounds.
    Proposition 5.1 is proved by citing the argument of Theorem 3 in [42] and the Chen-Cheng existence theorem [7], not independently reproved in full.
  • standard math Honda's criterion, Corollary 3.10 in [28], converts almost smooth metric measure spaces with Lipschitz eigenfunctions into RCD spaces.
    This is imported as a black box in Corollary 3.2 and controls the RCD conclusion.
  • domain assumption Partial C^0 estimates and tangent cone splitting results from [19,30,42] control the singular set and yield the homeomorphism to X.
    Used in Theorems 7.1 and 1.3 to identify RCD limits with the original variety and to rule out codimension-one and codimension-two splittings.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nash entropy, Calabi energy and geometric regularization of singular K\"ahler metrics." pith.science (2026). https://pith.science/paper/NVEZ2XNB

@misc{pith2026250202041,
  author       = {Pith},
  title        = {Pith review of: Nash entropy, Calabi energy and geometric regularization of singular K\"ahler metrics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NVEZ2XNB}},
  note         = {Machine review of arXiv:2502.02041}
}
abstract

We prove uniform Sobolev bounds for solutions of the Laplace equation on a general family of K\"ahler manifolds with bounded Nash entropy and Calabi energy. These estimates establish a connection to the theory of RCD spaces and provide abundant examples of RCD spaces topologically and holomorphically equivalent to projective varieties. Suppose $X$ is a normal projective variety that admits a resolution of singularities with relative nef or relative effective anti-canonical bundle. Then every admissible singular K\"ahler metric on $X$ with Ricci curvature bounded below induces a non-collapsed RCD space homeomorphic to the projective variety $X$ itself.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. H\"older estimates for degenerate complex Monge-Amp\`ere equations

    math.CV 2025-08 conditional novelty 8.0 of 10

    Hölder estimates for degenerate complex Monge-Ampère equations are established on smoothable singular Kähler varieties, confirming a conjecture for Kähler-Einstein potentials.

  2. Gromov-Hausdorff limits of collapsing Calabi-Yau fibrations

    math.DG 2025-05 accept novelty 8.0 of 10

    The Gromov-Hausdorff limit of collapsing Calabi-Yau metrics is homeomorphic to the base variety, and the singular set has Hausdorff codimension at least two.

  3. On K\"ahler-Einstein Currents

    math.DG 2025-02 conditional novelty 8.0 of 10

    Singular Kähler-Einstein metrics on klt pairs define Kähler currents, and a tame approximation with L^p Ricci control suffices to make the metric completion an RCD space.

  4. SNC K\"ahler-Einstein metrics and RCD spaces

    math.DG 2026-01 conditional novelty 6.0 of 10

    Conical Kähler–Einstein metrics along SNC divisors are RCD spaces; in dimension 4, ALE Ricci-flat RCD spaces exist with any space-form link at infinity.

Reference graph

Works this paper leans on

50 extracted references · 40 canonical work pages · cited by 4 Pith papers

  1. [42]

    Sz´ ekelyhidi, G.Singular K¨ ahler-Einstein metrics and RCD spaces, 2024, arXiv:2408.10747

    arXiv 2024

  2. [11]

    On K¨ ahler-Einstein currents, preprint, 2025

    Chen, Y., Chiu, S.-K., Hallgren, M., S´ zekelyhidi, G., Tˆ o, T.D., and To ng, F. On K¨ ahler-Einstein currents, preprint, 2025

    work page 2025

  3. [13]

    On the extension of quasiplurisubharmonic functions , Anal

    Coman, D., Guedj, V., and Zeriahi, A. On the extension of quasiplurisubharmonic functions , Anal. Math. 48 (2022), no. 2, 411–426

    work page 2022

  4. [22]

    and Song, J

    Fu, X., Guo, B. and Song, J. Singular K¨ ahler spaces of complex dimension three with Ric ci curvature bounded below, preprint

    work page

  5. [1]

    and Savare, G

    Ambrosio, L., Gigli, N. and Savare, G. Bakry- `Emery curvature-dimension condition and Riemannian Ricci curvature bounds , Ann. Probab. 43 (2015), no. 1, 339–404

    work page 2015

  6. [2]

    A variational approach to complex Monge-Amp` ere equations, Publ

    Berman, R., Boucksom, S., Guedj, V., and Zeriahi, A. A variational approach to complex Monge-Amp` ere equations, Publ. Math. Inst. Hautes Etudes Sci. 117 (2013), 179–245

    work page 2013

  7. [3]

    and Trusiani, A

    Boucksom, S., Jonsson, M. and Trusiani, A. Weighted extremal K¨ ahler metrics on resolutions of singu- larities, arXiv:2412.06096

    arXiv

  8. [4]

    and Colding, T.H

    Cheeger, J. and Colding, T.H. On the structure of space with Ricci curvature bounded below I, J. Differential. Geom. 46 (1997), 406-480

    work page 1997

Show all 50 references
  1. [5]

    and Colding, T.H

    Cheeger, J. and Colding, T.H. On the structure of space with Ricci curvature bounded below II, J. Differential. Geom. 52 (1999), 13–35

    1999

  2. [6]

    and Tian, G

    Cheeger, J., Colding, T.H. and Tian, G. On the singularities of spaces with bounded Ricci curvature , Geom.Funct.Anal. Vol.12 (2002), 873–914

    2002

  3. [7]

    and Cheng, J

    Chen, X. and Cheng, J. On the constant scalar curvature K¨ ahler metrics (II)—Exis tence results , J. Amer. Math. Soc. 34 (2021), 937-1009

    2021

  4. [8]

    and Sun, S

    Chen, X.X., Donaldson, S.K. and Sun, S. K¨ ahler-Einstein metrics on Fano manifolds. I: Approximation of metrics with cone singularities , J. Amer. Math. Soc. 28 (2015), no. 1, 183–197

    2015

  5. [9]

    and Sun, S

    Chen, X.X., Donaldson, S.K. and Sun, S. K¨ ahler-Einstein metrics on Fano manifolds. II: Limits wit h cone angle less than 2π , J. Amer. Math. Soc. 28 (2015), no. 1, 199–234

    2015

  6. [10]

    and Sun, S

    Chen, X.X., Donaldson, S.K. and Sun, S. K¨ ahler-Einstein metrics on Fano manifolds, III: limits as cone angle approaches 2π and completion of the main proof , J. Amer. Math. Soc. 28 (2015), no. 1, 235–278

    2015

  7. [12]

    and Naber, A

    Colding, T.H. and Naber, A. Sharp H¨ older continuity of tangent cones for spaces with a lower Ricci curvature bound and applications, Ann. of Math. (2) 176 (2012), no. 2, 1173–1229

    2012

  8. [14]

    Metric geometry of normal K¨ ahler spaces, energy propernes s, and existence of canonical metrics, Int

    Darvas, T. Metric geometry of normal K¨ ahler spaces, energy propernes s, and existence of canonical metrics, Int. Math. Res. Not. IMRN (2017), no. 22, 6752–6777

    2017

  9. [15]

    Holder Continuity of Tangent Cones and Non-Branching in RCD (K,N) Spaces , Thesis (Ph.D.)–University of Toronto (Canada), 2021

    Deng, Q. Holder Continuity of Tangent Cones and Non-Branching in RCD (K,N) Spaces , Thesis (Ph.D.)–University of Toronto (Canada), 2021

    2021

  10. [16]

    and Gigli, N

    De Philippis, G. and Gigli, N. From volume cone to metric cone in the nonsmooth setting , Geom. Funct. Anal. 26 (2016), no.6, 1526–1587

    2016

  11. [17]

    Non-collapsed spaces with Ricci curvature bounded from below, J

    De Philippis, G., Gigli, N. Non-collapsed spaces with Ricci curvature bounded from below, J. Ec. polytech. Math. 5 (2018), 613–650

    2018

  12. [18]

    and Zhang, Z

    Dinew, S. and Zhang, Z. On stability and continuity of bounded solutions of degener ate complex Monge- Amp` ere equations over compact K¨ ahler manifolds, Adv. Math. 225 (2010), no. 1, 367–388

    2010

  13. [19]

    and Sun, S

    Donaldson, S.K. and Sun, S. Gromov-Hausdorff limits of K¨ ahler manifolds and algebraic geometry, Acta Math. 213 (2014), no. 1, 63–106

    2014

  14. [20]

    and Zeriahi, A

    Eyssidieux, P., Guedj, V. and Zeriahi, A. Singular K¨ ahler-Einstein metrics, J. Amer. Math. Soc. 22 (2009), 607–639

    2009

  15. [21]

    and Song, J

    Fu, X., Guo, B. and Song, J. Geometric estimates for complex Monge-Amp` ere equations , J. Reine Angew. Math. 765 (2020), 69–99

    2020

  16. [23]

    and Tˆ o, T.D.K¨ ahler families of Green’s functions, arXiv:2405.17232

    Guedj, V. and Tˆ o, T.D.K¨ ahler families of Green’s functions, arXiv:2405.17232

    arXiv

  17. [24]

    and Sturm, J

    Guo, B., Phong, D.H., Song, J. and Sturm, J. Sobolev inequalities on K¨ ahler spaces, preprint, 2023, arXiv:2311.00221 30 BIN GUO AND JIAN SONG

    2023 arXiv

  18. [25]

    and Sturm, J

    Guo, B., Phong, D.H., Song, J. and Sturm, J. Diameter estimates in K¨ ahler geometry, Comm. Pure Appl. Math., Volume 77, Issue 8 (2024), 3520-3556

    2024

  19. [26]

    and Sturm, J

    Guo, B., Phong, D.H., Song, J. and Sturm, J. Diameter estimates in K¨ ahler geometry II: removing the small degeneracy assumption , Math. Z. 308, 43 (2024)

    2024

  20. [27]

    and Tong, F

    Guo, B., Phong, D.H. and Tong, F. On L∞ estimates for complex Monge-Amp` ere equations , Ann. of Math. (2) 198 (2023), no.1, 393 - 418

    2023

  21. [28]

    Bakry- `Emery conditions on almost smooth metric measure spaces , Anal

    Honda, S. Bakry- `Emery conditions on almost smooth metric measure spaces , Anal. Geom. Metr. Spaces 6 (2018), no. 1, 129 - 145

    2018

  22. [29]

    and Wang, F

    Li, C., Tian, G. and Wang, F. On the Yau-Tian-Donaldson conjecture for singular Fano var ieties, Comm. Pure Appl. Math. 74 (2021), no. 8, 1748–1800

    2021

  23. [30]

    and Sz´ ekelyhidi, G.Gromov-Hausdorff limits of K¨ ahler manifolds with Ricci cur vature bounded below, Geom

    Liu, G. and Sz´ ekelyhidi, G.Gromov-Hausdorff limits of K¨ ahler manifolds with Ricci cur vature bounded below, Geom. Funct. Anal. 32 (2022), no. 2, 236–279

    2022

  24. [31]

    180 (1998) 69–117

    Ko/suppress lodziej, S.The complex Monge-Amp` ere equation, Acta Math. 180 (1998) 69–117

    1998

  25. [32]

    Ko/suppress lodziej, S.The Monge-Amp` ere equation on compact K¨ ahler manifolds , Indiana Univ. Math. J. 52 (2003), no. 3, 667–686

    2003

  26. [33]

    and Villani, C

    Lott, J. and Villani, C. Ricci curvature for metric-measure spaces via optimal tran sport , Ann. of Math. (2) 169 (2009), 903–991

    2009

  27. [34]

    and To, T.D

    Pan, C. and To, T.D. Weighted cscK metrics on K¨ ahler varieties, arXiv:2412.07968

  28. [35]

    Riemannian geometry of K¨ ahler-Einstein currents, arXiv:1404.0445

    Song, J. Riemannian geometry of K¨ ahler-Einstein currents, arXiv:1404.0445

    arXiv

  29. [36]

    Riemannian geometry of K¨ ahler-Einstein currents II: an an alytic proof of Kawamata’s base point free theorem, arXiv:1409.8374

    Song, J. Riemannian geometry of K¨ ahler-Einstein currents II: an an alytic proof of Kawamata’s base point free theorem, arXiv:1409.8374

    arXiv

  30. [37]

    Degeneration of K¨ ahler-Einstein manifolds of negative scalar curvature, arXiv:1706.01518

    Song, J. Degeneration of K¨ ahler-Einstein manifolds of negative scalar curvature, arXiv:1706.01518

    arXiv

  31. [38]

    and Tian, G

    Song, J. and Tian, G. The K¨ ahler-Ricci flow on surfaces of positive Kodaira dimen sion, Invent. Math. 170 (2007), no. 3, 609–653

    2007

  32. [39]

    and Tian, G

    Song, J. and Tian, G. Canonical measures and K¨ ahler-Ricci flow , J . Amer. Math. Soc. 25 (2012), 303–353

    2012

  33. [40]

    private notes, available at https://sites.rutgers.edu/jacob-sturm/publications/

    Sturm, J. private notes, available at https://sites.rutgers.edu/jacob-sturm/publications/

  34. [41]

    On the geometry of metric measure spaces

    Sturm, K. On the geometry of metric measure spaces. I. , Acta Math. 196 (2006), no. 1, 65–131

    2006

  35. [43]

    On Calabi’s conjecture for complex surfaces with positive fi rst Chern class , Invent

    Tian, G. On Calabi’s conjecture for complex surfaces with positive fi rst Chern class , Invent. Math. 101 (1990), no. 1, 101–172

    1990

  36. [44]

    K¨ ahler-Einstein metrics with positive scalar curvature, Invent

    Tian, G. K¨ ahler-Einstein metrics with positive scalar curvature, Invent. Math. 130 (1997), no.1, 1–37

    1997

  37. [45]

    Canonical metrics in K¨ ahler geometry, Lectures Math

    Tian, G. Canonical metrics in K¨ ahler geometry, Lectures Math. ETH Zurich, Birkhauser Verlag, Basel,

  38. [46]

    K-stability and K¨ ahler-Einstein metrics, Comm

    Tian, G. K-stability and K¨ ahler-Einstein metrics, Comm. Pure Appl. Math. 68 (2015), no. 7, 1085–1156

    2015

  39. [47]

    Uniform diameter estimates for K¨ ahler metrics, arXiv:2405.14680

    Vu, D. Uniform diameter estimates for K¨ ahler metrics, arXiv:2405.14680

    arXiv

  40. [48]

    On the Ricci curvature of a compact K¨ ahler manifold and comp lex Monge-Amp` ere equation I, Comm

    Yau, S.-T. On the Ricci curvature of a compact K¨ ahler manifold and comp lex Monge-Amp` ere equation I, Comm. Pure Appl. Math. 31 (1978), 339–411

    1978

  41. [49]

    On degenerate Monge-Amp` ere equations over closed K¨ ahler manifolds, Int

    Zhang, Z. On degenerate Monge-Amp` ere equations over closed K¨ ahler manifolds, Int. Math. Res. Not. 2006, Art. ID 63640, 18 pp

    2006

  42. [50]

    Singular scalar curvature equations , arXiv:2205.14726

    Zheng, K. Singular scalar curvature equations , arXiv:2205.14726. Department of Mathematics & Computer Science, Rutgers Univ ersity, Newark, NJ 07102 Email address : bguo@rutgers.edu Department of Mathematics, Rutgers University, Piscatawa y, NJ 08854 Email address : jiansong@...

    arXiv

Pith tools

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