Scalar curvature bounds and tangent cones for K"ahler--Ricci shrinkers

arXiv:2610.05643 · math.DG · Submitted 2026-10-05 · Read on arXiv

Listen

Transcript

Introduction to the show: ident: Mathematics. The day in mathematics: new theorems, new proofs, and what they open.

Ada: We're looking at the paper: "Scalar curvature bounds and tangent cones for K"ahler--Ricci shrinkers".

Emmy: Here's the gist of the paper. We prove that every noncompact Kähler–Ricci shrinker has a unique tangent cone at infinity and establish a uniform scalar curvature bound depending only on the dimension Scalar Curvature Bounds The paper proves a uniform scalar curvature bound, depending only on the dimension, for Kähler–Ricci shrinkers Theorem 1.1 states that there is a constant C n < ∞ such that every Kähler–Ricci shrinker of complex dimension n satisfies 0 ≤ R w ≤ C n.

Ada: This bound is motivated by the fact that the soliton identities give the general bound 0 ≤ R w ≤ ρ squared, where ρ 2:= f + n The proof adapts the one-form method and iteration of the energy estimate over scales in

JS26, Sections 3, 6, and 7: to the canonical ancient flow Tangent Cones at Infinity The paper establishes that every noncompact Kähler–Ricci shrinker has a unique tangent cone at infinity Theorem 1.2 states that there is a proper geodesic metric dY on Y, inducing its analytic topology, such that for every p in X, (X, r-2g, p) -!

Emmy: (Y, dY, 0) C(Σ) as r!

Ada: ∞ The proof involves two geometric steps: first deriving polynomial control of the evolving metrics from

Zha26, Lemma 5.4: and

LZ26, Proposition 4.4: , and then determining the metric cone structure Heat Kernel Estimates Section 2 collects the heat kernel estimates, introduces the weighted one-form energy, and reduces the scalar curvature bound to an estimate for this energy Lemma 2.1 provides an estimate relating B(b) and B(a) based on a smooth scalar function B The weighted projection and scalar curvature estimate section uses heat kernel estimates and compactness without an a priori curvature bound Metric Cone Structure Section 5 proves the metric cone structure on the tangent space at infinity Theorem 5.5 states that for every p in M, (M, r-2g, p) -!

Title and authors: Ada: So let's talk about this paper, "Scalar curvature bounds and tangent cones for Kähler–Ricci shrinkers," Yu Li and Junsheng Zhang. We established that they tackle the problem of controlling the geometry of noncompact Kähler–Ricci shrinkers by getting two big results out of it.

Emmy: What's interesting is how they connect these ideas: first, they get a uniform scalar curvature bound, which is a control on the local curvature, and then they use that to uniquely identify the tangent cone at infinity.

Kolya: From my side, I'm wondering what this uniform bound actually tells us about the space itself. Is it just some abstract constant C n, or does that constant survive when we apply it to these specific shrinker metrics?

Ada: That's a good question, Kolya. The paper states there is a constant C n that depends only on the complex dimension n, and every Kähler–Ricci shrinker of complex dimension n satisfies a scalar curvature bound of zero up to that constant.

Emmy: And this uniform bound is motivated by the soliton identities, which give us the general growth rate for scalar curvature, specifically something like rho squared, where rho is related to some fixed value f + n <ref:2610.05643#pg1>.

Kolya: So if we look at it from a probabilistic standpoint, that quadratic growth rate gives us an expectation on the tail of some distribution related to the Ricci flow. Does that uniform bound help control those tails?

Ada: It helps in controlling the geometry near singularities. The proof adapts the one-form method and iteration of energy estimates over scales, which is a standard technique for ancient flows, and it uses this to show that the energy estimate improves iteratively up to a constant C(n) that only depends on n.

Emmy: That iterative improvement suggests a very structured space, not just some chaotic geometry where things blow up randomly. It points toward a more rigid classification structure.

The paper's summary: Ada: To summarize what they did in "Scalar curvature bounds and tangent cones for Kähler–Ricci shrinkers," they proved that there is a uniform scalar curvature bound depending only on the dimension, zero R omega C n <ref:2610.05643#pg2,depending only on the dimension>.

Emmy: And they also established that every noncompact Kähler–Ricci shrinker has a unique tangent cone at infinity, which they describe as being naturally homeomorphic to the base of its polarized Fano fibration.

Kolya: So what does this identification of the tangent cone mean for someone who is looking at the long-term behavior of a flow? Does it simplify how we analyze the limit spaces?

Ada: It simplifies things because it gives us a specific geometric shape—the metric cone structure—for what the space looks like far away, which they show is C(, d), where is just some compact length space.

Emmy: That identification links the asymptotic geometry of the evolving flow directly to a well-understood metric cone over a compact object. It makes the analysis tractable because we've replaced an infinite, complex structure with something based on a finite metric space.

Kolya: I'm thinking about the convergence part, too. They show that in the pointed Gromov–Hausdorff sense, as you look at (M, r-2g p) for large r, it converges to this cone structure (Z zero dZ zero).

Ada: Exactly. They prove that this convergence happens uniformly on compact subsets of X times X, which solidifies that the limit is indeed the base of the polarized Fano fibration. It's a very strong statement about stability in the limit.

The paper's improvements: Ada: The authors suggest several improvements to how they get these results, particularly in Section three point three where they improve the energy estimate and complete the proof of Theorem one point one <ref:2610.05643#pg1>. They use an iterative inequality, Proposition three point six, to show that D x zero(tau) —that quantity related to the distance—is bounded by a constant independent of x zero.

Emmy: That iteration is key because it allows them to move from a general bound on energy to the specific uniform scalar curvature bound depending only on n. It shows that we can get rid of the dependence on the starting point x zero in that final estimate <ref:2610.05643#pg2>.

Kolya: From a probability view, this means that as you iterate, the tail of our distribution gets squeezed down so tightly that it's governed purely by dimension-dependent constants, which is what we want for classification.

Ada: And they tie all this together with the heat kernel estimates in Section two <ref:2610.05643#pg1>. They use these to reduce the scalar curvature bound to an estimate for a weighted one-form energy, and Lemma two point one helps relate B(b) and B(a) based on a smooth scalar function B <ref:2610.05643#pg1>.

Emmy: That's where the machinery comes together: you start with heat kernel estimates, use them to get an energy bound, then use that bound iteratively to control the curvature growth near almost self-similar points. It shows how these tools work together in a cohesive system.

Conclusion: Ada: So to wrap up on "Scalar curvature bounds and tangent cones for Kähler–Ricci shrinkers," we have a uniform scalar curvature bound R omega C n, and we've identified the unique tangent cone at infinity as the base of its polarized Fano fibration.

Emmy: This means we have a complete geometric description of these noncompact shrinkers, linking their local curvature to this well-defined asymptotic structure based on a compact length space.

Kolya: I just want to say that the convergence analysis, where they show the pointed Gromov–Hausdorff convergence to (Z zero dZ zero) is uniform on compact subsets of X times X, really gives us confidence in this identification holding up under rigorous limits <ref:2610.05643#pg2>.

Ada: And Kolya's point about the uniform convergence is crucial because it confirms that the limit space isn't just some abstract object, but a structure we can measure precisely.

Emmy: It’s a very clean result for classification purposes, showing that the geometry of these flows is constrained by dimension in a very uniform way.

Kolya: It seems like this paper provides strong tools for classifying these spaces because it gives you both a curvature control and a shape description simultaneously.

Ada: That's the essence of it: uniform control and unique structure at infinity for Kähler–Ricci shrinkers, as detailed in "Scalar curvature bounds and tangent cones for Kähler–Ricci shrinkers."

University of Science and Technology of China · Courant Institute of Mathematical Sciences · New York University

math.DG

Submitted: 2026-10-05

Updated: 2026-10-29

Comments: v2: Added metric-completion results for Kähler-Ricci shrinkers with maximal volume growth and finite-time singularities of volume-noncollapsed Kähler-Ricci flows

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Importance score: 100/100

The gist: We prove that every noncompact Kähler–Ricci shrinker has a unique tangent cone at infinity and establish a uniform scalar curvature bound depending only on the dimension Scalar Curvature Bounds

Key concepts

Kähler–Ricci Shrinker: These are special solutions to a geometric flow that describe certain types of shrinking geometry. The paper studies noncompact examples where the geometry shrinks in a controlled way, allowing for classification based on dimension.
Tangent Cone at Infinity: This concept describes the asymptotic shape of the shrinker as you move infinitely far away from any point. The paper proves this cone is unique and identifies it with the base of a polarized Fano fibration, giving a clear structure to the geometry at infinity.
Scalar Curvature Bound: The authors prove that for any Kähler–Ricci shrinker of complex dimension n, its scalar curvature ($R_ ext{w}$) is bounded above by a constant $C_n$ that only depends on the dimension. This provides a uniform control over the geometry.
Entropy Evolution Inequality: This inequality is used to control the evolution of certain geometric quantities (related to metric measure spaces). It is crucial for proving radial evolution inequalities, which ultimately help identify the structure of the space at infinity.

Terminology

Integrability — 5× in this paper · explained in 2 episodes
Wasserstein Distance — 4× in this paper · explained in 6 episodes
Generator — 3× in this paper · explained in 2 episodes
Uniform Convergence — 3× in this paper · explained in 2 episodes
Initial Data — 2× in this paper · explained in 2 episodes
Monotonicity — 2× in this paper · explained in 2 episodes
Equivariance — 1× in this paper · explained in 3 episodes
Fixed Point — 1× in this paper · explained in 2 episodes
Gradient Flow — 1× in this paper · explained in 2 episodes
Optimal Transport — 1× in this paper · explained in 5 episodes
Orthogonal Projection — 1× in this paper · explained in 2 episodes
Regularization — 1× in this paper · explained in 3 episodes

Summary

We prove that every noncompact Kähler–Ricci shrinker has a unique tangent cone at infinity and establish a uniform scalar curvature bound depending only on the dimension

Scalar Curvature Bounds

The paper proves a uniform scalar curvature bound, depending only on the dimension, for Kähler–Ricci shrinkers Theorem 1.1 states that there is a constant C n < ∞ such that every Kähler–Ricci shrinker of complex dimension n satisfies 0 ≤ R w ≤ C n. This bound is motivated by the fact that the soliton identities give the general bound 0 ≤ R w ≤ ρ squared, where ρ 2:= f + n The proof adapts the one-form method and iteration of the energy estimate over scales in [JS26, Sections 3, 6, and 7] to the canonical ancient flow

Tangent Cones at Infinity

The paper establishes that every noncompact Kähler–Ricci shrinker has a unique tangent cone at infinity Theorem 1.2 states that there is a proper geodesic metric dY on Y, inducing its analytic topology, such that for every p in X, (X, r-2g, p) -! (Y, dY, 0) C(Σ) as r! ∞ The proof involves two geometric steps: first deriving polynomial control of the evolving metrics from [Zha26, Lemma 5.4] and [LZ26, Proposition 4.4], and then determining the metric cone structure

Heat Kernel Estimates

Section 2 collects the heat kernel estimates, introduces the weighted one-form energy, and reduces the scalar curvature bound to an estimate for this energy Lemma 2.1 provides an estimate relating B(b) and B(a) based on a smooth scalar function B The weighted projection and scalar curvature estimate section uses heat kernel estimates and compactness without an a priori curvature bound

Metric Cone Structure

Section 5 proves the metric cone structure on the tangent space at infinity Theorem 5.5 states that for every p in M, (M, r-2g, p) -! (Z0, dZ0, pbar) as r! ∞ in the pointed Gromov–Hausdorff sense, and (Z0, dZ0) is a proper geodesic metric cone over a compact metric space This result identifies Y with C(Σ, dΣ), where Σ is a compact length space

Energy Improvement and Iteration

Section 3.3 improves the energy estimate and completes the proof by iteration Proposition 3.6 provides an iterative inequality for D x 0(τ) under certain conditions The final proof of Theorem 1.1 uses this iteration to show that D x 0(1) ≤ C(n) with a constant independent of x0 This leads to the conclusion that R w (x0) ≤ C(n) for every x0 in X

Time-Zero Slice and Fano Fibration

Section 4 identifies the time-zero slice with the base of the Fano fibration Proposition 4.3 shows that the map Φ0: (Z0, dZ0)! Y is a homeomorphism The convergence to (Y, dY, 0) in (1.5) holds uniformly on compact subsets of X × X This proves the identification of the limit with the base of the polarized Fano fibration

Entropy Evolution Inequality

Section 5.1 establishes an entropy evolution inequality for 0 < τ ≤ 1 Lemma 5.1 states that the metric measure space (X, d-τ, m τ) is RCD(τ-1, ∞) This inequality is crucial for proving the radial evolution inequality (5.13)

Radial Evolution Inequality

Proposition 5.4 provides a radial evolution inequality for every y, y' in Y The proof shows that the squared Wasserstein distance converges uniformly to dY (De s y, y') squared This leads to the identification of Y with C(Σ, dΣ)

Metric Cone Structure on the Tangent Space at Infinity

The final result is that Y is identified with C(Σ, dΣ), where Σ is a compact length space The proof shows that the radial map identifies Y with the metric cone over (Σ, theta) This identifies Y with C(Σ, dΣ)

Reference List

[AGS14] L. Ambrosio, N. Gigli, and G. Savaré, Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J. 163 (2014), no. 7, 1405–1490

[Bam20a] R. H. Bamler, Entropy and heat kernel bounds on a Ricci flow background, preprint (2020), arXiv:2008.07093v3

[Bam20b] R. H. Bamler, Structure theory of non-collapsed limits of Ricci flows, preprint (2020), arXiv:2611159

[Bam23] R. H. Bamler, Compactness theory of the space of super Ricci flows, Invent. Math. 233 (2023), no. 3, 1121–1277

[BCCD24] R. H. Bamler, C. Cifarelli, R. J. Conlon, and A. Deruelle, A new complete two-dimensional shrinking gradient Kähler–Ricci soliton, Geom. Funct. Anal. 34 (2024), no. 2, 377–392

[BH99] M. R. Bridson and A. Haefliger, Metric Spaces of Non-Positive Curvature, Grundlehren der mathematischen Wissenschaften, vol. 319, Springer-Verlag, Berlin, 1999

[CC96] J. Cheeger and 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

[CCD26] Cifarelli, R. J. Conlon, and A Deruelle, On finite time Type I singularities of the Kähler–Ricci flow on compact Kähler surfaces, J. Eur. Math. Soc. 28 (2026), no. 2, 463–504

[CDS24] R. J. Conlon, A Deruelle, and S Sun, Classification results for expanding and shrinking gradient Kähler–Ricci solitons, Geom. Topol. 28 (2024), no. 1, 267–351

[Che09] B.-L. Chen, Strong uniqueness of the Ricci flow, J. Differential Geom. 82 (2009), no. 2, 363–382

[CN09] J. A Carrillo and L Ni, Sharp logarithmic Sobolev inequalities on gradient solitons and applications, Comm. Anal. Geom. 17 (2009), no. 4, 721–753

[CZ10] H.-D. Cao and D Zhou, On complete gradient shrinking Ricci solitons, J. Differential Geom. 85 (2010), no. 2, 175–186

[DW11] A S Dancer and M Y Wang, On Ricci solitons of cohomogeneity one, Ann. Global Anal. Geom. 39 (2011), no. 3, 259–292; arXiv:0802.0759v1

[EZ26] C Esparza and J Zhang, A Matsushima theorem, uniqueness, and K-polystability for Kähler–Ricci shrinkers, arXiv preprint (2026)

[FL25a] H. Fang and Y. Li, On the structure of noncollapsed Ricci flow limit spaces, preprint (2025), arXiv:2510.12398v3

[FL25b] H. Fang and Y.

Improvements for AI systems

Uniform Scalar Curvature Bound Computation: The improved system can compute a uniform scalar curvature bound for any Kähler Ricci shrinker of complex dimension n by using Theorem 1.1, which states "There is a constant Cn < ∞ such that every Kähler–Ricci shrinker of complex dimension n satisfies 0 ≤ Romega ≤ Cn."
Tangent Cone Identification: The system can uniquely determine the tangent cone at infinity for any noncompact Kähler Ricci shrinker, which is naturally homeomorphic to the base of its polarized Fano fibration, as established by Theorem 1.2 and subsequent analysis.
Metric Cone Structure Determination: The improved system can prove that every noncompact Kähler Ricci shrinker possesses a metric cone structure on its tangent space at infinity, utilizing the results derived from the entropy evolution inequality in Section 5 and Theorem 1.2, which states The remaining step is to determine the metric cone structure.
Convergence Analysis of Ancient Flows: The system can analyze sequences of Kähler Ricci shrinkers by showing that if a sequence has small pointed Nash entropy drop, then the terminal term to zero, yielding a scalar curvature estimate depending only on the dimension and a lower bound for Perelman’s entropy (Theorem 1.1 proof), allowing classification of noncompact shrinkers.
Geometric Limit Identification: The system can identify the limit of the canonical flow as the base of its polarized Fano fibration, by utilizing Section 4, which states The collapse of the fibers and identification of the limit.