pith. sign in

arxiv: 2407.15493 · v3 · submitted 2024-07-22 · 🧮 math.DG

Rigidity of conformal submersions and quasi-Einstein manifolds

Pith reviewed 2026-05-23 22:50 UTC · model grok-4.3

classification 🧮 math.DG
keywords conformal submersionquasi-Einstein manifoldrigidityRiemannian submersioncurvature conditionsEinstein manifoldclosed manifoldhorizontal distribution
0
0 comments X

The pith

Curvature conditions on closed quasi-Einstein manifolds with λ>0 force conformal submersions to reduce to Riemannian submersions up to homothety, implying the manifolds themselves reduce to Einstein manifolds.

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

The paper establishes that specific curvature conditions make a conformal submersion rigid, meaning it reduces to a Riemannian submersion up to homothety, and shows this rigidity transfers to the associated quasi-Einstein manifolds, which then reduce to Einstein manifolds. A conformal submersion restricts to a conformal isometry on the horizontal distribution, while a quasi-Einstein manifold satisfies Ric_g + Hess(f) - (1/m) df⊗df = λg for some function f and constants λ, m. The results apply to closed manifolds with λ>0 and use techniques from conformal submersions to derive both forms of rigidity. A sympathetic reader would care because the work identifies when generalized Einstein structures simplify to the classical Einstein case under geometric constraints.

Core claim

We employ certain techniques involving conformal submersions to establish rigidity results for a class of closed quasi-Einstein manifolds with λ>0. In particular, we study curvature conditions that force conformal submersions to be rigid, also leading to the rigidity of a related class of quasi-Einstein manifolds.

What carries the argument

Conformal submersions, defined as smooth submersions that restrict to conformal isometries on the horizontal distribution, together with the quasi-Einstein equation Ric_g + Hess(f) - (1/m) df⊗df = λg.

If this is right

  • Under the curvature conditions, every conformal submersion between the relevant manifolds reduces to a Riemannian submersion up to homothety.
  • The corresponding closed quasi-Einstein manifolds with λ>0 reduce to Einstein manifolds.
  • Rigidity of the submersion directly implies rigidity of the quasi-Einstein structure via the shared curvature assumptions.
  • The results hold specifically for the class of manifolds where the submersion techniques apply.

Where Pith is reading between the lines

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

  • The curvature conditions might also constrain the possible values of m in the quasi-Einstein equation beyond what the paper states.
  • If such conditions can be verified on explicit examples like spheres or other symmetric spaces, the rigidity would immediately classify those examples as Einstein.
  • The connection via submersions suggests similar rigidity statements could hold when the base or fiber manifolds satisfy additional symmetry assumptions not considered here.

Load-bearing premise

The curvature conditions must be strong enough to force any conformal submersion to reduce to a Riemannian submersion up to homothety.

What would settle it

A closed quasi-Einstein manifold with λ>0 that satisfies the curvature conditions yet has an associated conformal submersion that fails to reduce to a Riemannian submersion up to homothety would falsify the claim.

read the original abstract

In this paper, we study two notions of rigidity, one of conformal submersions and the other of quasi Einstein manifolds, with an attempt to relate the two notions. Note that a smooth submersion between Riemannian manifolds is called conformal if it restricts to a conformal isometry on the horizontal distribution. A conformal submersion is said to be rigid if it reduces to a Riemannian submersion up to homothety. On the other hand, quasiEinstein manifolds are generalizations of Einstein manifolds that are of interest both in Riemannian geometry and theoretical physics. A Riemannian manifold $(M, g)$ is called quasi-Einstein if its Ricci tensor satisfies the identity: $R i c_g+ H e s s(f)-\frac{1}{m} d f \otimes d f=\lambda g$ for some $f \in C^{\infty}(M)$ and constants $\lambda \in \mathbb{R}$ and $0<m \leq \infty$. A quasi-Einstein manifold is said to be rigid if it reduces to an Einstein manifold. In this paper, we employ certain techniques involving conformal submersions to establish rigidity results for a class of closed quasiEinstein manifolds with $\lambda>0$. In particular, we study curvature conditions that force conformal submersions to be rigid, also leading to the rigidity of a related class of quasi-Einstein manifolds.

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 manuscript studies two notions of rigidity: one for conformal submersions (reducing to Riemannian submersions up to homothety) and one for quasi-Einstein manifolds (reducing to Einstein manifolds). It claims to establish that certain curvature conditions on conformal submersions between Riemannian manifolds force rigidity of the submersion, which in turn yields rigidity results for a class of closed quasi-Einstein manifolds with λ > 0 via the relation Ric_g + Hess(f) - (1/m) df ⊗ df = λ g.

Significance. If the derivations hold, the work provides a direct link between submersion rigidity and quasi-Einstein rigidity on closed manifolds, extending standard techniques from Riemannian submersions to the conformal setting and offering potential new tools for analyzing quasi-Einstein metrics with positive λ.

minor comments (2)
  1. [Abstract] Abstract: the compound term 'quasiEinstein' appears without hyphen or space in multiple places; adopt consistent hyphenation 'quasi-Einstein' throughout for clarity.
  2. [Abstract] Abstract: the definition of quasi-Einstein is given with 0 < m ≤ ∞, but the subsequent rigidity claim for λ > 0 on closed manifolds would benefit from an explicit statement of the range of m under consideration in the main theorems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work linking rigidity of conformal submersions to rigidity results for closed quasi-Einstein manifolds with λ > 0. The recommendation of minor revision is noted; however, the report lists no specific major comments under the MAJOR COMMENTS section.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines standard notions of conformal submersions and quasi-Einstein manifolds, then derives rigidity results from curvature conditions on closed manifolds with λ>0. The logical direction (curvature conditions force O'Neill tensor and conformal factor to vanish, implying reduction to Riemannian submersion and Einstein equation) relies on direct differential-geometric identities rather than self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. No equations reduce by construction to inputs, and the argument is independent of the authors' prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are mentioned; the work relies on standard Riemannian geometry background.

pith-pipeline@v0.9.0 · 5773 in / 1109 out tokens · 22210 ms · 2026-05-23T22:50:54.077745+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. Quasi-Einstein Metrics and a curvature identity associated with the Ricci flow

    math.DG 2025-11 unverdicted novelty 4.0

    Certain closed quasi-Einstein manifolds are rigid, reducing to Einstein metrics, via a curvature identity tied to the Ricci flow.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 1 Pith paper

  1. [1]

    Sannidhi Alape, Atreyee Bhattacharya, and Dheeraj Kulkarni, On certain rigidity results of compact regular (κ, µ)-manifolds, arXiv:2308.01576 (2023)

  2. [2]

    Besse, Einstein manifolds, Classics in Mathematics, Springer-Verlag, Berlin, 2008, Reprint of the 1987 edition

    Arthur L. Besse, Einstein manifolds, Classics in Mathematics, Springer-Verlag, Berlin, 2008, Reprint of the 1987 edition. MR 2371700

  3. [3]

    Christoph B¨ ohm, Unstable Einstein metrics , Math. Z. 250 (2005), no. 2, 279–286. MR 2178786

  4. [4]

    Jeffrey Case, Yu-Jen Shu, and Guofang Wei, Rigidity of quasi-Einstein metrics , Differential Geom. Appl. 29 (2011), no. 1, 93–100. MR 2784291

  5. [5]

    Reine Angew

    Giovanni Catino, Carlo Mantegazza, Lorenzo Mazzieri, and Miche le Rimoldi, Locally conformally flat quasi-Einstein manifolds , J. Reine Angew. Math. 675 (2013), 181–189. MR 3021450

  6. [6]

    MR 2088027

    Sylvestre Gallot, Dominique Hulin, and Jacques Lafontaine, Riemannian geometry , third ed., Universitext, Springer-Verlag, Berlin, 2004. MR 2088027

  7. [7]

    Chenxu He, Peter Petersen, and William Wylie, Warped product Einstein metrics over spaces with constant scalar curvature , Asian J. Math. 18 (2014), no. 1, 159–189. MR 3215345

  8. [8]

    Global Anal

    Guangyue Huang and Yong Wei, The classification of (m, ρ)-quasi-Einstein manifolds, Ann. Global Anal. Geom. 44 (2013), no. 3, 269–282. MR 3101859

  9. [9]

    Thomas Ivey, Ricci solitons on compact three-manifolds , Differential Geom. Appl. 3 (1993), no. 4, 301–307. MR 1249376

  10. [10]

    Dong-Soo Kim and Young Ho Kim, Compact Einstein warped product spaces with nonpos- itive scalar curvature , Proc. Amer. Math. Soc. 131 (2003), no. 8, 2573–2576. MR 1974657

  11. [11]

    II , Osaka J

    Norihito Koiso and Yusuke Sakane, Nonhomogeneous K¨ ahler-Einstein metrics on compact complex manifolds. II , Osaka J. Math. 25 (1988), no. 4, 933–959. MR 983813

  12. [12]

    Lee, Introduction to Riemannian manifolds , second ed., Graduate Texts in Math- ematics, vol

    John M. Lee, Introduction to Riemannian manifolds , second ed., Graduate Texts in Math- ematics, vol. 176, Springer, Cham, 2018. MR 3887684

  13. [13]

    TV Mahesh and KS Subrahamanian Moosath, Harmonicity of conformally-projectively equivalent statistical manifolds and conformal statistic al submersions , Geometric Science of Information: 5th International Conference, GSI 2021, Paris , France, July 21–23, 2021, Proceedings 5, Springer, 2021, pp. 397–404

  14. [14]

    10, 6918–6929

    MT Mustafa, Applications of harmonic morphisms to gravity , Journal of Mathematical Physics 41 (2000), no. 10, 6918–6929

  15. [15]

    Reine Angew

    Aaron Naber, Noncompact shrinking four solitons with nonnegative curva ture, J. Reine Angew. Math. 645 (2010), 125–153. MR 2673425

  16. [16]

    171, Springer, New York, 2006

    Peter Petersen, Riemannian geometry , second ed., Graduate Texts in Mathematics, vol. 171, Springer, New York, 2006. MR 2243772

  17. [17]

    Peter Petersen and William Wylie, On gradient Ricci solitons with symmetry , Proc. Amer. Math. Soc. 137 (2009), no. 6, 2085–2092. MR 2480290

  18. [18]

    , Rigidity of gradient Ricci solitons , Pacific J. Math. 241 (2009), no. 2, 329–345. MR 2507581

  19. [19]

    , On the classification of gradient Ricci solitons , Geom. Topol. 14 (2010), no. 4, 2277–2300. MR 2740647

  20. [20]

    Vladimir Rovenski and Tomasz Zawadzki, The einstein-hilbert type action on foliated pseudo-riemannian manifolds , arXiv preprint arXiv:1604.00985 (2016)

  21. [21]

    576, 1985, Riemannian manifolds and Lie groups (Japanese) (Ky oto, 1985), pp

    Yusuke Sakane, Examples of compact Einstein-K¨ ahler manifolds with positive Ricci tensor , no. 576, 1985, Riemannian manifolds and Lie groups (Japanese) (Ky oto, 1985), pp. 154–176. MR 860230

  22. [22]

    Wang and Wolfgang Ziller, Einstein metrics on principal torus bundles , J

    McKenzie Y. Wang and Wolfgang Ziller, Einstein metrics on principal torus bundles , J. Differential Geom. 31 (1990), no. 1, 215–248. MR 1030671

  23. [23]

    William Wylie, Rigidity of compact static near-horizon geometries with ne gative cosmolog- ical constant, Lett. Math. Phys. 113 (2023), no. 2, Paper No. 29, 5. MR 4557955 ON RIGIDITY OF CONFORMAL SUBMERSIONS 23

  24. [24]

    Tomasz Zawadzki, Existence conditions for conformal submersions with total ly umbilical fibers, Differential Geom. Appl. 35 (2014), 69–85. MR 3254292 Department of Mathematics, Indian Institute of Science Edu cation and Re- search Bhopal Email address : atreyee@math.iiserb.ac.in Department of Mathematics, Indian Institute of Science Edu cation and Re- searc...