Strong uniqueness of tangent flows at cylindrical singularities in Ricci flow

Hanbing Fang; Yu Li

arxiv: 2510.20320 · v2 · submitted 2025-10-23 · 🧮 math.DG

Strong uniqueness of tangent flows at cylindrical singularities in Ricci flow

Hanbing Fang , Yu Li This is my paper

Pith reviewed 2026-05-18 05:13 UTC · model grok-4.3

classification 🧮 math.DG

keywords Ricci flowtangent flowscylindrical singularitiesLojasiewicz inequalityW-entropystrong uniquenessfirst singular time

0 comments

The pith

The modified Ricci flow near a cylindrical singularity converges to the standard cylinder model under a fixed gauge at the first singular time.

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

The paper establishes a Lojasiewicz inequality for the pointed W-entropy in the Ricci flow when the local geometry is close to a cylinder or its quotient. This inequality is applied to prove strong uniqueness of the cylindrical tangent flow at the first singular time. A sympathetic reader would care because it means the rescaled flow must approach the same model without gauge adjustments, pinning down the structure of singularities in a precise way. Such uniqueness clarifies how the flow behaves right at the moment it develops a singularity.

Core claim

We establish a Lojasiewicz inequality for the pointed W-entropy under the assumption that the geometry near the base point is close to a standard cylinder R^k × S^{n-k} or the quotient thereof. As an application, we prove the strong uniqueness of the cylindrical tangent flow at the first singular time of the Ricci flow. Specifically, we show that the modified Ricci flow near the singularity converges to the cylindrical model under a fixed gauge.

What carries the argument

The Lojasiewicz inequality for the pointed W-entropy, which gives quantitative control on convergence to the cylinder when the geometry is sufficiently close to it.

Load-bearing premise

The geometry near the base point is close to a standard cylinder or its quotient, which is required to establish the Lojasiewicz inequality for the pointed W-entropy.

What would settle it

A concrete Ricci flow solution in which the rescaled modified flow near a point whose geometry is close to a cylinder fails to converge to the cylindrical model under a fixed gauge would falsify the uniqueness claim.

read the original abstract

In this paper, we establish a Lojasiewicz inequality for the pointed $\mathcal{W}$-entropy in the Ricci flow, under the assumption that the geometry near the base point is close to a standard cylinder $\mathbb{R}^k \times S^{n-k}$ or the quotient thereof. As an application, we prove the strong uniqueness of the cylindrical tangent flow at the first singular time of the Ricci flow. Specifically, we show that the modified Ricci flow near the singularity converges to the cylindrical model under a fixed gauge.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves a Lojasiewicz inequality for pointed W-entropy under cylindrical closeness and applies it to strong uniqueness of tangent flows at the first singular time, but the justification for maintaining that closeness needs direct verification.

read the letter

The main thing to know is that this work gives a Lojasiewicz inequality for the pointed W-entropy when the geometry near the base point stays close to a cylinder or quotient, then uses it to show the modified Ricci flow converges to the cylindrical model under fixed gauge at the first singular time. That is the new piece: combining the inequality with the uniqueness statement for these tangent flows. It builds on the existing entropy monotonicity results without claiming to reinvent the whole framework. The setup looks technically reasonable for controlling behavior near singularities in Ricci flow. The application to convergence under a fixed gauge is stated cleanly as the payoff. The soft spot is the standing closeness assumption required for the inequality. The stress-test note is right to flag that at the first singular time the rescaled flow must satisfy the closeness uniformly so the inequality can be applied along the trajectory. The abstract does not spell out whether this closeness comes from separate curvature estimates, follows from the tangent flow existence itself, or is simply taken as given. If the full proof derives it independently without looping back to the conclusion, the argument holds; otherwise the step is fragile. This is for readers already working on Ricci flow singularities and Perelman-style entropy methods. Someone extending classification results or singularity analysis would get the most out of the inequality and the uniqueness claim. It deserves a serious referee because the topic matters and the approach is grounded enough to merit checking the details on the assumption.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a Łojasiewicz inequality for the pointed 𝒲-entropy in Ricci flow under the standing assumption that the geometry near the base point remains close to a standard cylinder ℝ^k × S^{n-k} (or quotient). As an application, it proves strong uniqueness of the cylindrical tangent flow at the first singular time by showing that the modified Ricci flow converges to the cylindrical model under a fixed gauge.

Significance. If the claims hold with the geometric assumption independently justified, the result would advance the analysis of singularities in Ricci flow by extending Perelman's entropy methods to pointed cylindrical settings and providing a convergence tool under fixed gauge. This could support further work on tangent flow classification and singularity structure, though the significance is tempered by the need to verify applicability at the first singular time.

major comments (2)

[§4] §4 (Application to strong uniqueness): The proof invokes the Łojasiewicz inequality for the pointed 𝒲-entropy along the rescaled trajectory near the first singular time. However, the manuscript does not derive or cite an independent verification (e.g., via curvature estimates or monotonicity formulas) that the geometric closeness to ℝ^k × S^{n-k} holds uniformly in a neighborhood of the singular time. If this closeness is instead inferred from the existence of the cylindrical tangent flow itself, the argument risks circularity; please clarify the logical order and provide the relevant estimate or reference in §4.2.
[§3.2] §3.2 (Proof of the Łojasiewicz inequality): The inequality is established only under a quantitative closeness assumption to the cylinder. The dependence of the Łojasiewicz constant and the decay rate on the closeness parameter is not made fully explicit. This matters for the application because the rescaled flow may approach the cylinder at a rate that must be compatible with the inequality's validity region; an explicit statement of the constants in terms of the closeness parameter would strengthen the result.

minor comments (2)

[Abstract] The term 'modified Ricci flow' is used in the abstract and §4 without an immediate definition or forward reference to the precise gauge-fixing or normalization employed.
[§2] Notation for the pointed 𝒲-entropy could be clarified by adding a brief comparison to the standard (unpointed) Perelman entropy in §2.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments on our manuscript. We address each major comment point by point below, clarifying the logical order in the application and making the dependence of constants explicit. These changes will be incorporated in the revised version.

read point-by-point responses

Referee: §4 (Application to strong uniqueness): The proof invokes the Łojasiewicz inequality for the pointed 𝒲-entropy along the rescaled trajectory near the first singular time. However, the manuscript does not derive or cite an independent verification (e.g., via curvature estimates or monotonicity formulas) that the geometric closeness to ℝ^k × S^{n-k} holds uniformly in a neighborhood of the singular time. If this closeness is instead inferred from the existence of the cylindrical tangent flow itself, the argument risks circularity; please clarify the logical order and provide the relevant estimate or reference in §4.2.

Authors: We appreciate the referee highlighting the need to clarify the logical order and avoid any perception of circularity. The geometric closeness to the cylinder is a standing hypothesis for the Łojasiewicz inequality established in §3, motivated by the local geometry at cylindrical singularities. In the application of §4, we start from the assumption that a cylindrical tangent flow exists at the first singular time T. By definition of tangent flow, there exists a sequence t_i → T^- with rescaling factors λ_i → ∞ such that the rescaled flows converge to the standard cylinder on compact sets. To prove strong uniqueness, we show that the rescaled flow converges to the cylinder for the full continuous parameter as t → T^-. The closeness holds uniformly near T because the tangent flow convergence along the sequence, combined with the smooth dependence of the Ricci flow on initial data in the rescaled parabolic neighborhoods, ensures that for all sufficiently large λ the rescaled metric remains within the δ-neighborhood for times close to T. We will revise §4.2 to include this explanation together with a reference to standard curvature estimates (e.g., Hamilton's estimates or Perelman's monotonicity formulas controlling geometry via entropy) that guarantee the required uniformity. This establishes the order: existence of the cylindrical tangent flow implies entry into the closeness regime, after which the Łojasiewicz inequality upgrades subsequence convergence to full convergence. revision: yes
Referee: §3.2 (Proof of the Łojasiewicz inequality): The inequality is established only under a quantitative closeness assumption to the cylinder. The dependence of the Łojasiewicz constant and the decay rate on the closeness parameter is not made fully explicit. This matters for the application because the rescaled flow may approach the cylinder at a rate that must be compatible with the inequality's validity region; an explicit statement of the constants in terms of the closeness parameter would strengthen the result.

Authors: We agree that making the dependence on the closeness parameter explicit will strengthen the result and facilitate its application. In §3.2 the proof proceeds under the quantitative assumption that the rescaled metric is δ-close to the cylinder in C^2 topology on a ball of fixed radius R. The Łojasiewicz constant C and the exponent θ in the inequality depend on δ (as well as on R, n, and k). We will revise the statement of the main inequality (Theorem 3.1) to record explicitly that C = C(δ) and θ = θ(δ), with C(δ) finite and θ(δ) > 0 for every fixed δ > 0 sufficiently small. A short remark will be added noting that the constants remain controlled as long as the rescaled flow stays inside the δ-neighborhood, which is guaranteed for large rescaling factors by the tangent-flow assumption. This explicit dependence ensures compatibility with the rate at which the rescaled flow approaches the cylinder in the application. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and description state that the Lojasiewicz inequality is established under an explicit standing assumption of closeness to the cylinder (or quotient), which is then applied to obtain convergence of the modified flow to the model. No quoted equation, self-citation chain, or definitional reduction is exhibited in which the uniqueness conclusion is invoked to justify the closeness input, nor is any fitted parameter renamed as a prediction. The derivation remains self-contained once the assumption is granted, consistent with the default expectation that most papers are not circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result relies on standard background facts from Ricci flow theory and differential geometry rather than new free parameters or invented entities.

axioms (2)

standard math Standard properties of the Ricci flow and the W-entropy functional hold in the smooth setting away from singularities.
Invoked implicitly when defining the pointed W-entropy and applying monotonicity formulas.
domain assumption The geometry near the base point remains sufficiently close to the cylindrical model for the Lojasiewicz inequality to apply.
Explicitly stated in the abstract as the assumption under which the inequality is established.

pith-pipeline@v0.9.0 · 5600 in / 1331 out tokens · 46461 ms · 2026-05-18T05:13:00.724485+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we establish a Lojasiewicz inequality for the pointed W-entropy in the Ricci flow, under the assumption that the geometry near the base point is close to a standard cylinder R^k × S^{n-k} or the quotient thereof
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3 (Lojasiewicz inequality) ... |W_z(τ) - Θ_{n-k}| ≤ C (W_z(τ/2) - W_z(2τ))^β

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 4 internal anchors

[1]

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

work page arXiv 2008
[2]

[Bam20b] R. H. Bamler. Structure theory of non-collapsed limits of Ricci flows.arXiv:2009.03243,

work page arXiv 2009
[3]

Choi and Y

[CL25] K. Choi and Y . Lai. Convergence of Ricci flow and long-time existence of Harmonic map heat flow.arXiv:2504.02804,

work page arXiv
[4]

[CMI23] T. H. Colding and W. P. Minicozzi II. Regularity of elliptic and parabolic systems. Annales scientifiques de l’Ecole normale sup´ erieure, 56(4):1883–1921,

work page 1921
[5]

On the structure of noncollapsed Ricci flow limit spaces

[FL25a] H. Fang and Y . Li. On the structure of noncollpased Ricci flow limit spaces. arXiv:2510.12398,

work page internal anchor Pith review Pith/arXiv arXiv
[6]

arXiv:2504.09811 , year=

[FL25c] H. Fang and Y . Li. V olume estimates for the singular sets of mean curvature flows. arXiv:2504.09811,

work page arXiv
[7]

[Kot10] B. L. Kotschwar. Backwards uniqueness for the Ricci flow.International Mathematics Research Notices, 2010(21):4064–4097,

work page 2010
[8]

Li and B

[LW23] Y . Li and B. Wang. On K ¨ahler Ricci shrinker surfaces.arXiv:2301.09784, to appear in Acta Mathematica,

work page arXiv
[9]

Li and W

[LZ23] Y . Li and W. Zhang. On the rigidity of Ricci shrinkers.arXiv:2305.06143v2,

work page arXiv
[10]

The entropy formula for the Ricci flow and its geometric applications

[Per02] G. Perelman. The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159,

work page internal anchor Pith review Pith/arXiv arXiv
[11]

Finite extinction time for the solutions to the Ricci flow on certain three-manifolds

[Per03a] G. Perelman. Finite extinction time for the solutions to the Ricci flow on certain three- manifolds.arXiv:math/0307245,

work page internal anchor Pith review Pith/arXiv arXiv
[12]

Ricci flow with surgery on three-manifolds

[Per03b] G. Perelman. Ricci flow with surgery on three-manifolds.arXiv:math/0303109,

work page internal anchor Pith review Pith/arXiv arXiv
[13]

91 [Sch14] F. Schulze. Uniqueness of compact tangent flows in mean curvature flow.Journal f¨ ur die reine und angewandte Mathematik (Crelle’s Journal), 2014(690):163–172,

work page 2014
[14]

Sun and Y

[SW15] S. Sun and Y . Wang. On the K ¨ahler–Ricci flow near a K¨ahler–Einstein metric.Journal f¨ ur die reine und angewandte Mathematik (Crelle’s Journal), 2015(699):143–158,

work page 2015

[1] [1]

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

work page arXiv 2008

[2] [2]

[Bam20b] R. H. Bamler. Structure theory of non-collapsed limits of Ricci flows.arXiv:2009.03243,

work page arXiv 2009

[3] [3]

Choi and Y

[CL25] K. Choi and Y . Lai. Convergence of Ricci flow and long-time existence of Harmonic map heat flow.arXiv:2504.02804,

work page arXiv

[4] [4]

[CMI23] T. H. Colding and W. P. Minicozzi II. Regularity of elliptic and parabolic systems. Annales scientifiques de l’Ecole normale sup´ erieure, 56(4):1883–1921,

work page 1921

[5] [5]

On the structure of noncollapsed Ricci flow limit spaces

[FL25a] H. Fang and Y . Li. On the structure of noncollpased Ricci flow limit spaces. arXiv:2510.12398,

work page internal anchor Pith review Pith/arXiv arXiv

[6] [6]

arXiv:2504.09811 , year=

[FL25c] H. Fang and Y . Li. V olume estimates for the singular sets of mean curvature flows. arXiv:2504.09811,

work page arXiv

[7] [7]

[Kot10] B. L. Kotschwar. Backwards uniqueness for the Ricci flow.International Mathematics Research Notices, 2010(21):4064–4097,

work page 2010

[8] [8]

Li and B

[LW23] Y . Li and B. Wang. On K ¨ahler Ricci shrinker surfaces.arXiv:2301.09784, to appear in Acta Mathematica,

work page arXiv

[9] [9]

Li and W

[LZ23] Y . Li and W. Zhang. On the rigidity of Ricci shrinkers.arXiv:2305.06143v2,

work page arXiv

[10] [10]

The entropy formula for the Ricci flow and its geometric applications

[Per02] G. Perelman. The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159,

work page internal anchor Pith review Pith/arXiv arXiv

[11] [11]

Finite extinction time for the solutions to the Ricci flow on certain three-manifolds

[Per03a] G. Perelman. Finite extinction time for the solutions to the Ricci flow on certain three- manifolds.arXiv:math/0307245,

work page internal anchor Pith review Pith/arXiv arXiv

[12] [12]

Ricci flow with surgery on three-manifolds

[Per03b] G. Perelman. Ricci flow with surgery on three-manifolds.arXiv:math/0303109,

work page internal anchor Pith review Pith/arXiv arXiv

[13] [13]

91 [Sch14] F. Schulze. Uniqueness of compact tangent flows in mean curvature flow.Journal f¨ ur die reine und angewandte Mathematik (Crelle’s Journal), 2014(690):163–172,

work page 2014

[14] [14]

Sun and Y

[SW15] S. Sun and Y . Wang. On the K ¨ahler–Ricci flow near a K¨ahler–Einstein metric.Journal f¨ ur die reine und angewandte Mathematik (Crelle’s Journal), 2015(699):143–158,

work page 2015