arxiv: 2603.26903 · v2 · submitted 2026-03-27 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

On a special class of gradient Ricci solitons

Jos\'e Nazareno Vieira Gomes , Marcus Antonio Mendon\c{c}a Marrocos

Authors on Pith no claims yet

Pith reviewed 2026-05-14 22:55 UTC · model grok-4.3

classification 🧮 math.DG

keywords gradient Ricci solitonswarped productsfiber bundlessteady solitonsshrinking solitonsRicci flowquotients by group actions

0 comments

The pith

Complete gradient Ricci solitons exist as fiber bundles with warped metrics under necessary and sufficient conditions on base and fiber.

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

The paper develops a method for building complete gradient Ricci solitons by realizing them as fiber bundles equipped with warped product metrics. It derives necessary and sufficient conditions that the base manifold, fiber manifold, and warping function must satisfy for the construction to work. The authors then apply the method to produce new families of complete steady and shrinking solitons by taking quotients of these bundles under isometric group actions. A reader would care because Ricci solitons model self-similar solutions of Ricci flow, and explicit constructions help test conjectures about their classification and behavior at infinity.

Core claim

We develop a method for constructing complete gradient Ricci solitons realized as fiber bundles endowed with warped metrics, and we establish necessary and sufficient conditions for their existence. As an application, we present new examples of complete gradient steady and shrinking Ricci solitons obtained via quotients by isometric group actions.

What carries the argument

Warped product metric on a fiber bundle whose warping function and base/fiber curvatures together satisfy the gradient Ricci soliton equation.

If this is right

New families of complete gradient steady Ricci solitons arise from quotients of these warped bundles.
New families of complete gradient shrinking Ricci solitons arise from quotients of these warped bundles.
The conditions give a concrete test for when a warped bundle metric solves the soliton equation.
Isometric group actions on the total space descend to produce further complete soliton examples.

Where Pith is reading between the lines

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

The same conditions might be adapted to produce expanding solitons by allowing the warping function to take negative values in controlled ways.
These bundle examples could be used to test whether all complete gradient solitons with bounded curvature admit a fiber-bundle structure.
Explicit metric formulas from the conditions would allow numerical checks of curvature decay or asymptotic behavior at infinity.

Load-bearing premise

The base and fiber metrics can be chosen so the warped product satisfies the soliton equation while the resulting manifold stays complete.

What would settle it

An explicit choice of base manifold, fiber manifold, and warping function satisfying the stated necessary and sufficient conditions for which direct computation shows the metric fails to be a gradient Ricci soliton or fails to be complete.

read the original abstract

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

This paper gives a method for complete gradient Ricci solitons on warped fiber bundles with necessary and sufficient conditions plus new examples from quotients.

read the letter

The paper develops a method to construct complete gradient Ricci solitons on fiber bundles with warped metrics and gives necessary and sufficient conditions for this to work. It then uses quotients by isometric group actions to produce new examples of complete gradient steady and shrinking Ricci solitons. This kind of work is valuable because having more explicit examples allows for better testing of conjectures regarding the structure of Ricci solitons and the singularities that arise in the Ricci flow. The paper does a good job laying out the method in a structured way. Using fiber bundles and warped products is a natural setting for these problems, and the quotient construction is a standard but effective way to produce additional examples from base cases. There aren't any glaring issues visible. The claims are framed properly with conditions that match what would be needed for the soliton equation to hold and for completeness to be maintained. One possible soft spot is that the actual verification might depend on specific choices of metrics on the base and fiber, and the paper should demonstrate that these choices can be made without losing completeness or introducing singularities. This paper is aimed at researchers in differential geometry who work on Ricci flow and solitons. A reader interested in constructing manifolds with specific curvature properties would get practical value from it. It deserves to go to peer review, as the approach is sound and the results add to the known list of examples.

Referee Report

0 major / 3 minor

Summary. The paper develops a method for constructing complete gradient Ricci solitons realized as fiber bundles endowed with warped metrics, and establishes necessary and sufficient conditions for their existence. As an application, it presents new examples of complete gradient steady and shrinking Ricci solitons obtained via quotients by isometric group actions.

Significance. If the necessary and sufficient conditions are correctly derived and the examples satisfy completeness, the work offers a systematic construction technique for gradient Ricci solitons using warped products on bundles, which is a standard tool in the field. The application to new examples via group quotients adds concrete instances that could aid in understanding the structure of steady and shrinking solitons.

minor comments (3)

[§2] §2: The definition of the warped product metric could include an explicit formula for the Ricci curvature tensor to make the derivation of the soliton equation self-contained.
[Theorem 3.1] Theorem 3.1: The statement of necessary and sufficient conditions would benefit from a brief remark on how the group action preserves the soliton structure after quotienting.
[§5] §5: The examples section lists new solitons but does not compare their curvature properties or asymptotic behavior to existing constructions in the literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The report contains no specific major comments to address.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs complete gradient Ricci solitons as warped-product fiber bundles and derives necessary and sufficient conditions by direct substitution into the soliton equation. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the conditions follow from the standard Ricci soliton PDE applied to the metric ansatz, with examples obtained via quotients. The derivation is self-contained against external geometric definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The constructions rest on standard axioms of Riemannian geometry and warped product metrics; no free parameters or new invented entities are mentioned in the abstract.

axioms (1)

standard math Riemannian manifold axioms and warped product metric construction
Invoked implicitly when realizing solitons as fiber bundles with warped metrics.

pith-pipeline@v0.9.0 · 5334 in / 1141 out tokens · 33138 ms · 2026-05-14T22:55:56.445982+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/Cost/FunctionalEquation washburn_uniqueness_aczel unclear

?

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

We develop a method for constructing complete gradient Ricci solitons realized as fiber bundles endowed with warped metrics, and we establish necessary and sufficient conditions for their existence.
IndisputableMonolith/Foundation/RealityFromDistinction reality_from_one_distinction unclear

?

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

Theorem 1. Suppose that M(f, ψ) = (P×F)/G is a gradient Ricci soliton warped flat bundle... the Ricci tensor of (F, g_F) is given by Ric_F = μ g_F where μ is a constant satisfying (1.4).

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

21 extracted references · 21 canonical work pages

[1]

Angenent and D

S.B. Angenent and D. Knopf, Ricci solitons, conical singularities, and nonuniqueness, Geom. Funct. Anal. 32 (2022) 411–489

work page 2022
[2]

Bamler, C

R.H. Bamler, C. Cifarelli, R.J. Conlon and A. Deruelle, A New Complete Two-Dimensional Shrinking Gradient K¨ ahler-Ricci Soliton, Geom. Funct. Anal. 34 (2024) 377–392

work page 2024
[3]

Bamler, E

R.H. Bamler, E. Chen and R.J. Conlon, A non-K¨ ahler expanding Ricci soliton with a K¨ ahler tangent cone at infinity, arXiv:2603.25082 [math.DG], 2026

work page arXiv 2026
[4]

Bishop and B

R.L. Bishop and B. O’Neill, Manifolds of negative curvature, Trans. Amer. Math. Soc. 145 (1969) 1–49

work page 1969
[5]

Borges and K

V. Borges and K. Tenenblat, Ricci almost solitons on semi-Riemannian warped products, Math. Nachr. 295 (2022) 22–43

work page 2022
[6]

Cao, Existence of gradient K¨ aler-Ricci solitons, Elliptic and Parabolic Methods in Geometry, A.K

H.-D. Cao, Existence of gradient K¨ aler-Ricci solitons, Elliptic and Parabolic Methods in Geometry, A.K. Peters (1996) 1–16

work page 1996
[7]

Cao, Recent progress on Ricci solitons, Recent advances in geometric analysis, Adv

H.-D. Cao, Recent progress on Ricci solitons, Recent advances in geometric analysis, Adv. Lect. Math. (ALM), vol. 11, Int. Press, Somerville, MA, 2010, pp. 1–38

work page 2010
[8]

Cao, B.-L

H.-D. Cao, B.-L. Chen and X.-P. Zhu, Recent developments on Hamilton’s Ricci flow, Surveys in differential geometry, Vol. XII, 47-112, Surv. Differ. Geom., XII, Int. Press, Somerville, MA, 2008, MR 2488948, Zbl 1157.53002

work page arXiv 2008
[9]

Cao and H

X. Cao and H. Tran, Geometry and analysis of gradient Ricci solitons in dimension four, arXiv:2409.13123 [math.DG], 2024

work page arXiv 2024
[10]

P.-Y. Chan, Y. Lai and M.-C. Lee, Higher-dimensional flying wing Steady Ricci Solitons, arXiv:2510.23005 [math.DG], 2026

work page arXiv 2026
[11]

Cheng and D

X. Cheng and D. Zhou, Rigidity of four-dimensional gradient shrinking Ricci solitons, J. Reine Angew. Math. 802 (2023) 255–274

work page 2023
[12]

Chow et al., The Ricci Flow: Techniques and Applications Part I: Geometric Aspects

B. Chow et al., The Ricci Flow: Techniques and Applications Part I: Geometric Aspects. Mathematical Surveys and Monographs, vol. 135, American Mathematical Society, Provi- dence, RI, 2007

work page 2007
[13]

Feitosa, A.A

F.E.S. Feitosa, A.A. Freitas Filho and J.N.V. Gomes, On the construction of gradient Ricci soliton warped product, Nonlinear Anal. 161 (2017) 30–43

work page 2017
[14]

Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2001

A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2001

work page 2001
[15]

Ivey, New examples of complete Ricci solitons, Proc

T. Ivey, New examples of complete Ricci solitons, Proc. Amer. Math. Soc. 122 (1) (1994) 241–245

work page 1994
[16]

Lai, A family of 3d steady gradient solitons that are flying wings, J

Y. Lai, A family of 3d steady gradient solitons that are flying wings, J. Differential Geom. 126 (1) (2024) 297–328

work page 2024
[17]

Fern´ andez-L´ opez and E

M. Fern´ andez-L´ opez and E. Garc´ ıa-R´ ıo, On gradient Ricci solitons with constant scalar curvature, Proc. Amer. Math. Soc. 144 (1) (2016) 369–378

work page 2016
[18]

Naber, Noncompact shrinking four solitons with nonnegative curvature, J

A. Naber, Noncompact shrinking four solitons with nonnegative curvature, J. Reine Angew. Math. 645 (2010) 125–153

work page 2010
[19]

Petersen and W

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

work page 2009
[20]

Taubes, Differential Geometry: Bundles, Connections, Metrics and Curvature, Oxford Graduate Texts in Mathematics, Vol

C.H. Taubes, Differential Geometry: Bundles, Connections, Metrics and Curvature, Oxford Graduate Texts in Mathematics, Vol. 23, 1st Edition, 2011

work page 2011
[21]

Vilms, Totally geodesic maps, J

J. Vilms, Totally geodesic maps, J. Differential Geom. 4 (1) (1970) 73–79. 8 JOS ´E N.V. GOMES AND MARCUS A.M. MARROCOS Departamento de Matem´atica, Universidade Federal de S˜ao Carlos, Rod. Washing- ton Lu´ıs, Km 235, 13565-905, S ˜ao Carlos, S˜ao Paulo, Brazil Email address:jnvgomes@ufscar.br URL:https://www.ufscar.br Departamento de Matem´atica, Univer...

work page 1970