pith. sign in

arxiv: 2605.21078 · v1 · pith:CQ4BR7J6new · submitted 2026-05-20 · 🧮 math.DG

Complete gradient Ricci solitons with zero radial Weyl curvature

Tongzhu Li , Junlong Yu This is my paper

Pith reviewed 2026-05-21 01:52 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C21
keywords gradient Ricci solitonszero radial Weyl curvaturecomplete manifoldsclassificationWeyl tensorRicci flowdifferential geometry
0
0 comments X

The pith

Complete gradient Ricci solitons with zero radial Weyl curvature are classified for n ≥ 4.

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

The paper establishes a full classification of all complete gradient Ricci solitons on manifolds of dimension at least 4 that obey the zero radial Weyl curvature condition. This condition requires that the interior product of the gradient of the potential function with the Weyl tensor vanishes everywhere. A sympathetic reader cares because Ricci solitons describe the asymptotic behavior and singularities in the Ricci flow, and the radial Weyl condition is a strong geometric restriction that reduces the possible examples to a short explicit list. The argument relies only on the soliton equation and the algebraic definition of the Weyl tensor, with no extra decay or boundedness assumptions imposed at infinity.

Core claim

In this paper, we study the complete gradient Ricci solitons (M^n, g, f) with zero radial Weyl curvature, which means that the interior product of ∇f with the Weyl tensor W is zero, i.e., i_∇f W = 0. We classify completely the complete gradient Ricci solitons with zero radial Weyl curvature for the dimension n≥4.

What carries the argument

The zero radial Weyl curvature condition i_∇f W = 0, which combines with the gradient Ricci soliton equation to force the manifold into a rigid, explicitly describable form.

If this is right

  • The classification applies uniformly to shrinking, steady, and expanding solitons in every dimension n ≥ 4.
  • No extra assumptions on the behavior of f or the metric at infinity are required for the result to hold.
  • The zero radial Weyl condition is strong enough to determine the curvature and the potential function explicitly.
  • All such solitons satisfy the equation Ric + Hess f = λ g together with the global vanishing of i_∇f W.

Where Pith is reading between the lines

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

  • The same condition might be imposed on ancient solutions or on Ricci solitons with additional symmetry to obtain further rigidity statements.
  • One could check whether known explicit solitons in dimensions greater than 3 automatically obey i_∇f W = 0 and therefore fall inside the classified list.
  • Analogous radial vanishing conditions on other curvature tensors could produce parallel classification theorems for different geometric flows.

Load-bearing premise

The zero radial Weyl curvature condition holds globally on the complete manifold, and the standard Ricci soliton equation together with the definition of the Weyl tensor are sufficient to derive the classification without further restrictions on the potential f or the manifold at infinity.

What would settle it

An explicit example of a complete gradient Ricci soliton in dimension n ≥ 4 that satisfies i_∇f W = 0 at every point yet lies outside the families listed in the classification would refute the result.

read the original abstract

In this paper, we study the complete gradient Ricci solitons $(M^n, g,f)$ with zero radial Weyl curvature, which means that the interior product of $\nabla f$ with the Weyl tensor $W$ is zero, i.e., $i_{\nabla f}W=0$. We classify completely the complete gradient Ricci solitons with zero radial Weyl curvature for the dimension $n\geq 4$.

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

0 major / 2 minor

Summary. The paper claims a complete classification of complete gradient Ricci solitons (M^n, g, f) satisfying i_∇f W = 0 for n ≥ 4. The argument combines the gradient Ricci soliton equation Ric + Hess f = λg with the algebraic condition on the Weyl tensor, applies standard commutation formulas and the Riemann decomposition into Weyl/Ricci/scalar parts to derive a PDE system, and uses completeness together with Omori-Yau estimates and continuity at critical points of f to conclude that the manifold is locally symmetric or a warped product of a specific form.

Significance. If the classification holds, the result supplies a rigidity statement for gradient Ricci solitons under a natural pointwise algebraic condition on the Weyl tensor. The approach relies on standard tools of the field (commutators, curvature decomposition, maximum principles at infinity) and handles the global completeness assumption without extra boundary terms; this is a strength that makes the classification falsifiable by direct verification on the listed model spaces.

minor comments (2)
  1. The abstract asserts a complete classification but supplies no outline of the main cases or the role of the completeness assumption; a single sentence summarizing the two families obtained would improve readability.
  2. In the section deriving the PDE system from i_∇f W = 0 and the soliton equation, the notation for the interior product and the precise commutation identities invoked should be stated explicitly on first use to aid readers unfamiliar with the conventions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The report accurately summarizes our main result and the tools employed. Since no specific major comments or criticisms were raised, we have no points to address in detail at this stage. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives its classification by combining the standard gradient Ricci soliton equation Ric + Hess f = λg with the given algebraic condition i_∇f W = 0. It applies standard commutation formulas for the curvature tensors and the Weyl decomposition of the Riemann tensor to obtain a system of PDEs. These PDEs are then solved under the completeness assumption using maximum principles or Omori-Yau estimates, forcing the manifold to be locally symmetric or a specific warped product. All steps rely on external, standard differential geometry identities and the global validity of the input condition; no parameter fitting, self-definitional reductions, or load-bearing self-citations appear in the chain. The result is independent of the input data beyond the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the classification rests on standard definitions of gradient Ricci solitons and the Weyl tensor.

pith-pipeline@v0.9.0 · 5580 in / 979 out tokens · 39535 ms · 2026-05-21T01:52:47.492007+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.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [1]

    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 (3) (2013), 731-764. 10

    work page 2013

  2. [2]

    Cao, B.L

    H.D. Cao, B.L. Chen, X.P. Zhu,Recent developments on Hamilton’s Ricci flow, in: Surveys in Differential Geometry. Vol. XII. Geometric Flows, in: Surv. Differ. Geom., vol. 12, Int. Press, Somerville, MA, 2008, pp. 47-112

    work page 2008

  3. [3]

    H.D. Cao, Q. Chen,On Bach-flat gradient shrinking Ricci solitons, Duke Math. J., 162 (6) (2013), 1149-1169

    work page 2013

  4. [4]

    H.D. Cao, G. Catino, Q. Chen, C. Mantegazza, L. Mazzieri,Bach-flat gradient steady Ricci solitons, Calc. Var. Partial Differ. Equ., 49 (1-2) (2014), 125-138

    work page 2014

  5. [5]

    Cao,Geometry of complete gradient shrinking Ricci solitons, in: Geometry and Analysis

    H.D. Cao,Geometry of complete gradient shrinking Ricci solitons, in: Geometry and Analysis. No. 1, in: Adv. Lect. Math. (ALM), vol. 17, Int. Press, Somerville, MA, 2011, pp. 227-246

    work page 2011

  6. [6]

    H.D. Cao, Q. Chen,On locally conformally flat gradient steady Ricci solitons, Trans. Am. Math. Soc., 364 (5) (2012), 2377-2391

    work page 2012

  7. [7]

    cao, J.T

    H.D. cao, J.T. Yu,On complete gradient steady Ricci solitons with vanihingD- tensor, P. Am. Math. Soc., 149 (2021), 1733-1742

    work page 2021

  8. [8]

    X. Cao, H. Tran,The Weyl tensor of gradient Ricci solitons, Geom. Topol., 20 (2016), 389-436

    work page 2016

  9. [9]

    X. Cao, B. Wang, Z. Zhang,On locally conformally flat gradient shrinking Ricci solitons, Commun. Contemp. Math., 13 (2) (2011), 269-282

    work page 2011

  10. [10]

    Catino, P

    G. Catino, P. Mastrolia, D.D. Monticelli,Classification of expanding and steady Ricci solitons with integral curvature decay, Geom. Topol., 20 (2016), 2665-2685

    work page 2016

  11. [11]

    Catino, C

    G. Catino, C. Mantegazza,The evolution of the Weyl tensor under the Ricci flow, Ann. Inst. Fourier (Grenoble), 61 (4) (2012), 1407-1435

    work page 2012

  12. [12]

    X. Chen, Y. Wang,On four-dimensional anti-self-dual gradient Ricci solitons, J. Geom. Anal., 25 (2) (2015), 1335-1343

    work page 2015

  13. [13]

    Eminenti, G

    M. Eminenti, G. La Nave, C. Mantegazza,Ricci solitons: the equation point of view, Manuscr. Math., 127 (3) (2008), 345-367. 11

    work page 2008

  14. [14]

    Fern´ andez-L´ opez, E

    M. Fern´ andez-L´ opez, E. Garc´ ıa-R´ ıo,Rigidity of shrinking Ricci solitons, Math. Z., 269 (1-2) (2011), 461-466

    work page 2011

  15. [15]

    Hamilton,The Ricci flow on surfaces, in: Mathematics and General Rela- tivity, Santa Cruz, CA, 1986, in: Contemp

    R.S. Hamilton,The Ricci flow on surfaces, in: Mathematics and General Rela- tivity, Santa Cruz, CA, 1986, in: Contemp. Math., vol. 71, Amer. Math. Soc., Providence, RI, 1988, pp. 237-262

    work page 1986

  16. [16]

    R. S. Hamilton,The Ricci flow on surfaces, P. Am. Math. Soc., 71(1988), 237-262

    work page 1988

  17. [17]

    Ivey,Ricci solitons on compact three-manifolds, Differ

    T. Ivey,Ricci solitons on compact three-manifolds, Differ. Geom. Appl., 3 (4) (1993), 301-307

    work page 1993

  18. [18]

    Kim,Classification of Gradient Ricci Solitons with Harmonic Weyl curvature, J

    J. Kim,Classification of Gradient Ricci Solitons with Harmonic Weyl curvature, J. Geom. Anal., 35 (2025), 139

    work page 2025

  19. [19]

    F. J. Li,Rigidity of complete gradient steady Ricci solitons with harmonic Weyl curvature, Pac. J. Math., 335(2)(2025), 323-353

    work page 2025

  20. [20]

    Munteanu, N

    O. Munteanu, N. Sesum,On gradient Ricci solitons, J. Geom. Anal., 23 (2) (2013), 539-561

    work page 2013

  21. [21]

    L. Ni, N. Wallach,On a classification of gradient shrinking solitons, Math. Res. Lett., 15 (5) (2008), 941-955

    work page 2008

  22. [22]

    Perelman,The entropy formula for the Ricci flow and its geometric applications, arxiv.org, 2002

    G. Perelman,The entropy formula for the Ricci flow and its geometric applications, arxiv.org, 2002

    work page 2002

  23. [23]

    Petersen, W

    P. Petersen, W. Wylie,Rigidity of gradient Ricci solitons, Pac. J. Math., 241(2)(2009), 329-345

    work page 2009

  24. [24]

    Petersen, W

    P. Petersen, W. Wylie,On the classification of gradient Ricci solitons, Geom. Topol., 14(4)(2010), 2277-2300

    work page 2010

  25. [25]

    Yang, L.D

    F. Yang, L.D. Zhang,Rigidity of gradient shrinking and expanding Ricci solitons, Bull. Korean Math. Soc., 54(3)(2017), 817-824

    work page 2017

  26. [26]

    Yang, L.D

    F. Yang, L.D. Zhang, H.Ma,On Gradient Shrinking Ricci Solitons with Radial Conditions, Bull. Malays. Math. Sci. Soc., 44 (2021), 2161-2174. 12

    work page 2021

  27. [27]

    J.Y. Wu, P. Wu, W. Wylie,Gradient shrinking Ricci solitons of half harmonic Weyl curvature, Calc.Var. Partial Dif., 57(5)(2018),141

    work page 2018

  28. [28]

    Zhang,Gradient shrinking solitons with vanishing Weyl tensor, Pac

    Z.H. Zhang,Gradient shrinking solitons with vanishing Weyl tensor, Pac. J. Math., 242 (1) (2009), 189-200. 13

    work page 2009