pith. sign in

arxiv: 2505.20576 · v3 · submitted 2025-05-26 · 🧮 math.DG

On steady and expanding Ricci solitons with asymptotic symmetries

Michael B. Law This is my paper

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

classification 🧮 math.DG
keywords Ricci solitonsgradient Ricci solitonsasymptotic symmetriesBryant solitonuniquenessasymptotically cylindricalasymptotically conical
0
0 comments X

The pith

The Bryant steady soliton is the unique asymptotically cylindrical steady gradient Ricci soliton with a round spherical link that satisfies a quantitative rigidity condition.

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

The paper develops a symmetry principle for asymptotically cylindrical steady gradient Ricci solitons and asymptotically conical expanding gradient Ricci solitons with homogeneous links. It applies this principle to prove that the Bryant steady soliton is the only such steady soliton possessing a round spherical link while also meeting a specific quantitative rigidity condition on its asymptotic end. A parallel uniqueness result is obtained for the expanding solitons, and a global symmetry statement covers cases with quotient-Berger sphere links. These characterizations matter for understanding the possible asymptotic geometries that can arise as models in Ricci flow.

Core claim

A symmetry principle is established for asymptotically cylindrical steady gradient Ricci solitons and asymptotically conical expanding gradient Ricci solitons with homogeneous links. This principle implies that the Bryant steady soliton is the unique asymptotically cylindrical steady gradient Ricci soliton having a round spherical link and satisfying a particular quantitative rigidity condition. A similar characterization is proved for Bryant's expanding solitons. A global symmetry result holds for gradient Ricci solitons exhibiting the same asymptotics but with quotient-Berger sphere asymptotic links.

What carries the argument

The symmetry principle for gradient Ricci solitons with homogeneous asymptotic links, which forces additional rotational symmetry when the quantitative rigidity condition holds.

If this is right

  • The Bryant steady soliton is the only asymptotically cylindrical steady gradient Ricci soliton with a round spherical link under the rigidity condition.
  • Bryant's expanding solitons admit an analogous uniqueness characterization.
  • Gradient Ricci solitons with quotient-Berger sphere asymptotic links must be globally symmetric.

Where Pith is reading between the lines

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

  • The symmetry principle may extend to classify other steady or expanding solitons whose links are not necessarily homogeneous.
  • These uniqueness statements could constrain the possible singularity models arising in the Ricci flow in three dimensions.
  • Similar rigidity techniques might apply to solitons with different asymptotic behaviors if the homogeneity assumption can be relaxed.

Load-bearing premise

The asymptotic end must satisfy the quantitative rigidity condition or the link must be homogeneous.

What would settle it

Exhibiting an asymptotically cylindrical steady gradient Ricci soliton with a round spherical link that fails the quantitative rigidity condition would refute the uniqueness statement.

read the original abstract

We establish a symmetry principle for asymptotically cylindrical steady gradient Ricci solitons (GRSs) and asymptotically conical expanding GRSs with homogeneous links. Using this, we show that the Bryant steady soliton is the unique asymptotically cylindrical steady GRS that has a round spherical link and satisfies a particular quantitative rigidity condition. A similar characterization is proved for Bryant's expanding solitons. Finally, we establish a global symmetry result for GRSs which exhibit the aforementioned asymptotics with quotient-Berger sphere asymptotic links.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to establish a symmetry principle for asymptotically cylindrical steady gradient Ricci solitons (GRSs) and asymptotically conical expanding GRSs with homogeneous links. Using this principle, it shows that the Bryant steady soliton is the unique asymptotically cylindrical steady GRS with a round spherical link that satisfies a particular quantitative rigidity condition. A similar characterization is proved for Bryant's expanding solitons. Finally, a global symmetry result is established for GRSs with quotient-Berger sphere asymptotic links.

Significance. These results, if correct, offer valuable rigidity and uniqueness theorems for gradient Ricci solitons based on their asymptotic behavior and symmetries. This could have implications for the study of Ricci flow and the classification of its singularities. The paper's focus on asymptotic symmetries provides a new tool for analyzing these geometric objects. The derivation of the symmetry principle from asymptotic analysis is a strength.

major comments (1)
  1. [§3] The claim that the Bryant steady soliton is the unique asymptotically cylindrical steady GRS with round spherical link satisfying the quantitative rigidity condition is central. However, the manuscript does not appear to include an explicit check or reference verifying that the Bryant soliton itself satisfies this quantitative rigidity condition on its asymptotic end. Without this, the uniqueness result does not place the Bryant soliton within the characterized class, weakening the characterization.
minor comments (1)
  1. Clarify the precise definition of the quantitative rigidity condition early in the paper for better accessibility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying this important clarification. We address the major comment below and will revise the paper accordingly to strengthen the presentation of the uniqueness result.

read point-by-point responses

  1. Referee: [§3] The claim that the Bryant steady soliton is the unique asymptotically cylindrical steady GRS with round spherical link satisfying the quantitative rigidity condition is central. However, the manuscript does not appear to include an explicit check or reference verifying that the Bryant soliton itself satisfies this quantitative rigidity condition on its asymptotic end. Without this, the uniqueness result does not place the Bryant soliton within the characterized class, weakening the characterization.

    Authors: We agree with the referee that an explicit verification is needed to confirm the Bryant soliton lies in the class defined by the quantitative rigidity condition. In the revised manuscript we will add a short computation (or a reference to the known asymptotic expansion of the Bryant soliton) demonstrating that it satisfies the condition on its cylindrical end. This will ensure the uniqueness statement properly includes the Bryant soliton as the unique object in the characterized class. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent asymptotic analysis and symmetry principle

full rationale

The paper derives a symmetry principle for asymptotically cylindrical steady gradient Ricci solitons and asymptotically conical expanding ones with homogeneous links, then applies it to obtain uniqueness of the Bryant soliton under an explicit quantitative rigidity condition on the asymptotic end. This condition is stated as an assumption rather than defined in terms of the conclusion, and the uniqueness follows from the symmetry result via asymptotic analysis without reducing to a fitted parameter, self-definition, or self-citation chain. The central claims remain independent of the target uniqueness statement, with no evidence of ansatz smuggling, renaming of known results, or load-bearing self-citations that would force the outcome by construction. The derivation is self-contained against external benchmarks in Ricci soliton theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents identification of specific free parameters, axioms, or invented entities; none are mentioned in the provided summary.

pith-pipeline@v0.9.0 · 5594 in / 1065 out tokens · 32199 ms · 2026-05-19T13:28:48.890445+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 1 Pith paper

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

  1. An analytical characterization of Eguchi-Hanson space and its higher-dimensional analogs

    math.DG 2026-04 unverdicted novelty 7.0

    If the L2 kernel of the Lichnerowicz Laplacian has dimension at most 3, then a complete 4D Ricci-flat ALE orbifold with Z2 at infinity is either the Eguchi-Hanson space or the flat orbifold R4/Z2.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    M. M. Alexandrino and R. G. Bettiol,Lie groups and geometric aspects of isometric actions, Springer Cham, 2015

    work page 2015

  2. [2]

    Appleton,A family of non-collapsed steady Ricci solitons in even dimensions greater or equal to four, Preprint,arXiv:1708.00161(2017)

    A. Appleton,A family of non-collapsed steady Ricci solitons in even dimensions greater or equal to four, Preprint,arXiv:1708.00161(2017)

    work page arXiv 2017

  3. [3]

    R. H. Bamler, B. Chow, Y. Deng, Z. Ma, and Y. Zhang,Four-dimensional steady gradient Ricci solitons with 3-cylindrical tangent flows at infinity, Adv. Math.401(2022), no. 108285

    work page 2022

  4. [4]

    Brendle,Rotational symmetry of self-similar solutions to the Ricci flow, Invent

    S. Brendle,Rotational symmetry of self-similar solutions to the Ricci flow, Invent. Math.194(2013), 731–764

    work page 2013

  5. [5]

    Differential Geom.97(2014), no

    ,Rotational symmetry of Ricci solitons in higher dimensions, J. Differential Geom.97(2014), no. 2, 191–214. 28 MICHAEL B. LAW

    work page 2014

  6. [6]

    ,Ancient solutions to the Ricci flow in dimension 3, Acta Math.225(2020), 1–102

    work page 2020

  7. [7]

    Brendle, P

    S. Brendle, P. Daskalopoulos, and N. Sesum,Uniqueness of compact ancient solutions to three- dimensional Ricci flow, Invent. Math.226(2021), 579–651

    work page 2021

  8. [8]

    Brendle and K

    S. Brendle and K. Naff,Rotational symmetry of ancient solutions to the Ricci flow in higher dimensions, Geom. Topol.27(2023), no. 1, 153–226

    work page 2023

  9. [9]

    R. L. Bryant,Ricci flow solitons in dimension three with SO(3)-symmetries, Preprint, https://services.math.duke.edu/ bryant/3DRotSymRicciSolitons.pdf (2005)

    work page 2005

  10. [10]

    Cao,Existence of gradient K¨ ahler-Ricci solitons, Elliptic and Parabolic Methods in Geometry (Minneapolis, MN, 1994), A K Peters, 1996

    H.-D. Cao,Existence of gradient K¨ ahler-Ricci solitons, Elliptic and Parabolic Methods in Geometry (Minneapolis, MN, 1994), A K Peters, 1996

    work page 1994

  11. [11]

    Cao and M

    H.-D. Cao and M. Zhu,On second variation of Perelman’s Ricci shrinker entropy, Math. Ann.353 (2012), 747–763

    work page 2012

  12. [12]

    Chodosh,Expanding Ricci solitons asymptotic to cones, Calc

    O. Chodosh,Expanding Ricci solitons asymptotic to cones, Calc. Var. Partial Differential Equations51 (2014), 1–15

    work page 2014

  13. [13]

    Chodosh, K

    O. Chodosh, K. Choi, C. Mantoulidis, and F. Schulze,Mean curvature flow with generic initial data, Invent. Math.237(2024), 121–220

    work page 2024

  14. [14]

    Chodosh and F

    O. Chodosh and F. T.-H. Fong,Rotational symmetry of conical K¨ ahler–Ricci solitons, Math. Ann.364 (2016), 777–792

    work page 2016

  15. [15]

    K. Choi, R. Haslhofer, O. Hershkovits, and B. White,Ancient asymptotically cylindrical flows and applications, Invent. Math.229(2022), 134–241

    work page 2022

  16. [16]

    Chow,Ricci solitons in low dimensions, Graduate Studies in Mathematics, vol

    B. Chow,Ricci solitons in low dimensions, Graduate Studies in Mathematics, vol. 235, American Mathematical Society, 2023

    work page 2023

  17. [17]

    B. Chow, Y. Deng, and Z. Ma,On four-dimensional steady gradient Ricci solitons that dimension reduce, Adv. Math.403(2022), no. 108367

    work page 2022

  18. [18]

    B. Chow, P. Lu, and L. Ni,Hamilton’s Ricci flow, Graduate Studies in Mathematics, vol. 77, American Mathematical Society, 2006

    work page 2006

  19. [19]

    T. H. Colding and W. P. Minicozzi II,Generic mean curvature flow I; generic singularities, Ann. of Math.175(2012), 755–833

    work page 2012

  20. [20]

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

    work page 2024

  21. [21]

    de Rham,Complexes ` a automorphismes et hom´ eomorphie diff´ erentiable, Ann

    G. de Rham,Complexes ` a automorphismes et hom´ eomorphie diff´ erentiable, Ann. Inst. Fourier2(1950), 51–67

    work page 1950

  22. [22]

    Deng,Rigidity of positively curved steady gradient Ricci solitons on orbifolds, Preprint, arXiv:2504.14525(2025)

    Y. Deng,Rigidity of positively curved steady gradient Ricci solitons on orbifolds, Preprint, arXiv:2504.14525(2025)

    work page arXiv 2025

  23. [23]

    Deng and X

    Y. Deng and X. Zhu,Classification of gradient steady Ricci solitons with linear curvature decay, Sci. China Math.63(2020), 135–154

    work page 2020

  24. [24]

    Deruelle,Stability of non compact steady and expanding gradient Ricci solitons, Calc

    A. Deruelle,Stability of non compact steady and expanding gradient Ricci solitons, Calc. Var. Partial Differential Equations54(2015), 2367–2405

    work page 2015

  25. [25]

    Donovan,Cohomogeneity one 4-dimensional gradient Ricci solitons, J

    P. Donovan,Cohomogeneity one 4-dimensional gradient Ricci solitons, J. Geom. Anal.35(2025), no. 401

    work page 2025

  26. [26]

    Feldman, T

    M. Feldman, T. Ilmanen, and D. Knopf,Rotationally symmetric shrinking and expanding gradient K¨ ahler–Ricci solitons, J. Differential Geom.65(2003), 169–209

    work page 2003

  27. [27]

    Hershkovits,Translators asymptotic to cylinders, J

    O. Hershkovits,Translators asymptotic to cylinders, J. Reine Angew. Math.766(2020), 61–71

    work page 2020

  28. [28]

    C. A. Hoelscher,Classification of cohomogeneity one manifolds in low dimensions, Pacific J. Math.246 (2010), no. 1, 129–185

    work page 2010

  29. [29]

    Kobayashi,Transformation groups in differential geometry, Classics in Mathematics, Springer Berlin, Heidelberg, 1995

    S. Kobayashi,Transformation groups in differential geometry, Classics in Mathematics, Springer Berlin, Heidelberg, 1995

    work page 1995

  30. [30]

    M. B. Law,An analytical characterization of Eguchi–Hanson space and its higher-dimensional analogs, in preparation

    work page

  31. [31]

    P. S. Mostert,On a compact Lie group acting on a manifold, Ann. of Math.65(1957), no. 3, 447–455

    work page 1957

  32. [32]

    Munteanu and J

    O. Munteanu and J. Wang,Smooth metric measure spaces with non-negative curvature, Comm. Anal. Geom.19(2011), no. 3, 451–486

    work page 2011

  33. [33]

    Naff and T

    K. Naff and T. Ozuch,Linear stability of the blowdown Ricci shrinker in 4D, Preprint, arXiv:2509.05470 (2025)

    work page arXiv 2025

  34. [34]

    The entropy formula for the Ricci flow and its geometric applications

    G. Perelman,The entropy formula for the Ricci flow and its geometric applications, Preprint, arXiv:math/0211159(2002)

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  35. [35]

    Torralbo and F

    F. Torralbo and F. Urbano,Index of compact minimal submanifolds of the Berger spheres, Calc. Var. Partial Differential Equations61(2022), no. 104. ON STEADY AND EXPANDING RICCI SOLITONS WITH ASYMPTOTIC SYMMETRIES 29

    work page 2022

  36. [36]

    Verdiani and W

    L. Verdiani and W. Ziller,Smoothness conditions in cohomogeneity one manifolds, Transform. Groups 27(2022), 311–342

    work page 2022

  37. [37]

    Zhao and X

    Z. Zhao and X. Zhu,Rigidity of the Bryant Ricci soliton, Preprint,arXiv:2212.02889(2022)

    work page arXiv 2022

  38. [38]

    Ziller,Homogeneous Einstein metrics on spheres and projective spaces, Math

    W. Ziller,Homogeneous Einstein metrics on spheres and projective spaces, Math. Ann.259(1982), 351–358. MIT, Department of Mathematics, 77 Massachusetts A venue, Cambridge, MA 02139, USA. Email address:mikelaw@mit.edu

    work page 1982