arxiv: 2605.05473 · v1 · submitted 2026-05-06 · 🧮 math.DG

Recognition: unknown

On Generalized Quasi-Einstein Manifolds

Alcides de Carvalho , Anderson Lima , W. O. Costa-Filho

Authors on Pith no claims yet

Pith reviewed 2026-05-08 15:26 UTC · model grok-4.3

classification 🧮 math.DG

keywords generalized quasi-Einstein manifoldspotential vector fieldKilling vector fielddivergence-free vector fieldsrigidity resultsgeodesic vector fieldsintegral conditions

0 comments

The pith

Under suitable integral assumptions, the potential vector field in generalized m-quasi-Einstein manifolds is Killing.

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

This paper investigates generalized m-quasi-Einstein manifolds with a potential vector field. It proves that integral assumptions on the field make it Killing, extending Sharma's earlier findings to this setting. The authors also show that any divergence-free vector field is Killing and obtain triviality results when m and λ satisfy sign conditions. They offer a new formulation and proof for a theorem previously given by Ghosh and prove rigidity results when the potential vector field is geodesic. These findings help classify such manifolds more precisely.

Core claim

The central discovery is that in generalized m-quasi-Einstein manifolds, suitable integral assumptions on the potential vector field X imply that X is a Killing vector field. This extends results of Sharma. Divergence-free vector fields are shown to be Killing, leading to consequences including triviality under sign conditions on m and λ. A subtle issue in Ghosh's theorem is addressed with a new formulation and proof. Rigidity is established for manifolds with geodesic potential vector fields.

What carries the argument

The integral conditions on the potential vector field X in the generalized m-quasi-Einstein structure that imply the Killing property.

If this is right

Divergence-free vector fields in this setting are necessarily Killing.
Sign conditions on m and λ imply triviality results for the manifold.
Manifolds with geodesic potential vector fields are rigid.
A corrected formulation of Ghosh's theorem holds with the provided proof.

Where Pith is reading between the lines

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

The integral approach may help in deriving similar properties for other generalized geometric structures.
These findings could inform the classification of Einstein-type manifolds in low dimensions.
Examining specific manifolds like the sphere under these conditions would test the applicability of the assumptions.

Load-bearing premise

That there exist suitable integral assumptions on the potential vector field strong enough to imply it is Killing.

What would settle it

Construction of a generalized m-quasi-Einstein manifold satisfying the integral assumptions but with a non-Killing potential vector field.

read the original abstract

In this paper, we study generalized $m$-quasi-Einstein $(M^n,g,X,\lambda)$ under natural conditions on the potential vector field. We show that, under suitable integral assumptions, the potential vector field is Killing, extending earlier results of Sharma to the generalized setting. Moreover, we show that divergence-free vector fields are Killing in this context, and we derive consequences under sign conditions on $m$ and $\lambda$, including triviality results. We also revisit a recent theorem of Ghosh \cite{ghosh}, discuss a subtle issue in the argument, and provide a new formulation and proof. Finally, we establish rigidity results for manifolds with geodesic potential vector fields.

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 adds a few extensions to results on generalized quasi-Einstein manifolds, but the integral conditions forcing the potential field to be Killing may not be the sharpest possible.

read the letter

The paper adds a few extensions to results on generalized quasi-Einstein manifolds, but the integral conditions forcing the potential field to be Killing may not be the sharpest possible. It extends Sharma's earlier work by showing that under suitable integral assumptions the potential vector field X is Killing in this generalized setting. It also gives a new formulation and proof for a theorem of Ghosh after identifying a problem in the original argument. There are additional rigidity results when the potential is geodesic, plus some triviality statements under sign conditions on the parameters m and lambda. These are concrete steps forward for the subfield. The revised proof for Ghosh is a plus, as is the application to divergence-free fields being Killing. The soft spot is in the hypotheses. The argument uses integral vanishings like the L2 norm of the Lie derivative being zero to conclude it vanishes everywhere. Because of the extra m factor in the generalized equation, the underlying identities could require stronger decay or compactness assumptions than the classical case. The paper does not compare these conditions to weaker ones such as mere square-integrability of X, nor does it provide examples showing necessity. The abstract keeps the exact assumptions somewhat vague. This work is aimed at researchers already studying quasi-Einstein structures and Ricci solitons in Riemannian geometry. A specialist in that area could use the new statements and the corrected proof in their own work. It deserves a serious referee to go through the proofs in detail, particularly the integration steps with the m-dependent terms. I would send it out for peer review.

Referee Report

3 major / 2 minor

Summary. The paper studies generalized m-quasi-Einstein manifolds (M^n, g, X, λ) under integral conditions on the potential vector field X. It proves that suitable integral assumptions imply X is Killing (extending Sharma), that divergence-free vector fields are Killing, derives triviality and rigidity results under sign conditions on m and λ, revisits and reformulates a theorem of Ghosh with a new proof addressing a subtle issue, and establishes rigidity for manifolds with geodesic potential vector fields.

Significance. If the integral identities and sign analyses hold, the work provides a natural extension of classical quasi-Einstein rigidity theorems to the generalized m-setting, including a corrected formulation of Ghosh's result. The divergence-free case and geodesic-potential rigidity are clean consequences that could be useful for further classification results in the field.

major comments (3)

[§3] §3 (main theorem on integral assumptions): The proof that ∫_M |ℒ_X g|^2 dvol = 0 (or equivalent vanishing) forces ℒ_X g = 0 pointwise relies on an integration-by-parts identity that absorbs the Ricci and Hessian terms. In the generalized m-quasi-Einstein equation the curvature contribution carries an extra factor involving m; the manuscript does not explicitly verify that this factor is controlled by the same integral hypothesis or that no additional decay at infinity is required when m ≠ 0. Please add a remark or lemma showing the identity remains valid without stricter compactness assumptions.
[§4] §4 (comparison with weaker conditions): The paper invokes the stated integral assumptions to conclude the Killing property but does not compare them with weaker L^2-type conditions such as ∫_M |X|^2 dvol < ∞ alone. A brief discussion or counter-example sketch under the weaker hypothesis would clarify whether the stated conditions are sharp or merely convenient.
[Theorem 5.2] Theorem 5.2 (Ghosh reformulation): The new formulation and proof are presented, but the manuscript does not state the precise point at which the original argument of Ghosh fails (e.g., an unjustified interchange of limits or an unstated sign assumption). Explicitly isolating that step would strengthen the claim of a “subtle issue.”

minor comments (2)

[§2] Notation: the symbol λ is used both for the Einstein constant and in the generalized equation; a brief clarification in the preliminaries would avoid confusion.
[Introduction] The abstract claims “natural conditions on the potential vector field” but the precise list appears only in §3; moving the list to the introduction would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions planned for the next version.

read point-by-point responses

Referee: [§3] §3 (main theorem on integral assumptions): The proof that ∫_M |ℒ_X g|^2 dvol = 0 (or equivalent vanishing) forces ℒ_X g = 0 pointwise relies on an integration-by-parts identity that absorbs the Ricci and Hessian terms. In the generalized m-quasi-Einstein equation the curvature contribution carries an extra factor involving m; the manuscript does not explicitly verify that this factor is controlled by the same integral hypothesis or that no additional decay at infinity is required when m ≠ 0. Please add a remark or lemma showing the identity remains valid without stricter compactness assumptions.

Authors: We agree that an explicit verification is needed for m ≠ 0. The integration-by-parts identity follows directly from contracting the generalized m-quasi-Einstein equation with the appropriate tensor and integrating; the factor involving m multiplies terms already controlled by the L^2-integrability hypotheses on X. No further decay at infinity is required. We will insert a short remark immediately after the proof of the main theorem in §3 to record this control explicitly. revision: yes
Referee: [§4] §4 (comparison with weaker conditions): The paper invokes the stated integral assumptions to conclude the Killing property but does not compare them with weaker L^2-type conditions such as ∫_M |X|^2 dvol < ∞ alone. A brief discussion or counter-example sketch under the weaker hypothesis would clarify whether the stated conditions are sharp or merely convenient.

Authors: This observation is correct. The stated integral conditions are precisely those needed to cancel all non-vanishing terms in the integrated Bochner-type identity derived from the equation. We will add a short paragraph in §4 explaining why ∫_M |X|^2 dvol < ∞ alone fails to control the Hessian and curvature contributions. While constructing an explicit counter-example on a non-compact manifold lies beyond the present scope, we will note that the stronger hypotheses appear necessary for the vanishing result. revision: yes
Referee: [Theorem 5.2] Theorem 5.2 (Ghosh reformulation): The new formulation and proof are presented, but the manuscript does not state the precise point at which the original argument of Ghosh fails (e.g., an unjustified interchange of limits or an unstated sign assumption). Explicitly isolating that step would strengthen the claim of a “subtle issue.”

Authors: We concur that isolating the precise flaw strengthens the exposition. The original argument of Ghosh encounters difficulty in passing to the limit inside an integral identity without a domination argument or sign control on the potential when m is negative. We will revise the statement preceding Theorem 5.2 and the subsequent proof to identify this exact step and show how the new formulation circumvents it. revision: yes

Circularity Check

0 steps flagged

No circularity; results follow from external integral conditions and corrected external proofs

full rationale

The paper's core claims—that suitable integral assumptions on the potential vector field X force it to be Killing, that divergence-free fields are Killing, and the rigidity results for geodesic X—rest on standard integration-by-parts identities applied to the generalized m-quasi-Einstein equation together with sign conditions on m and λ. These identities are not derived from the target conclusion but are independent curvature computations. The treatment of Ghosh's theorem explicitly identifies an issue in the prior argument and supplies a new formulation plus proof, breaking any potential self-referential loop. No step renames a fitted quantity as a prediction, imports a uniqueness theorem from the authors' own prior work, or reduces the conclusion to a definition by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper operates inside standard Riemannian geometry. It invokes the usual axioms of the Levi-Civita connection, the divergence theorem on compact manifolds without boundary, and the definition of the generalized m-quasi-Einstein equation. No new entities are postulated and no free parameters are fitted to data.

axioms (2)

domain assumption The manifold is compact without boundary so that the divergence theorem applies without boundary terms.
Implicit in all integral assumptions stated in the abstract.
standard math The Levi-Civita connection is torsion-free and metric-compatible.
Standard background in Riemannian geometry used throughout.

pith-pipeline@v0.9.0 · 5407 in / 1456 out tokens · 47675 ms · 2026-05-08T15:26:56.415672+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 1 canonical work pages

[1]

Rigidity of quasi-Einstein metrics: the incompressible case.Letters in Mathematical Physics, 114(8), 2024

Eric Bahuaud, Sharmila Gunasekaran, Hari Kunduri, and Eric Woolgar. Rigidity of quasi-Einstein metrics: the incompressible case.Letters in Mathematical Physics, 114(8), 2024

2024
[2]

Barros and E

A. Barros and E. Ribeiro. Integral formulae on quasi-Einstein manifolds and applications.Glasgow Math- ematical Journal, 54(1):213–223, 2012

2012
[3]

A. A. Barros and J. N. V. Gomes. Triviality of compact m-quasi-Einstein manifolds.Results in Mathemat- ics, 71(1–2):241–250, 2017

2017
[4]

Characterizations and integral formulae for generalizedm-quasi- Einstein metrics.Bulletin of the Brazilian Mathematical Society, New Series, 45:325–341, 2014

Abdˆ enago Barros and Ernani Ribeiro Jr. Characterizations and integral formulae for generalizedm-quasi- Einstein metrics.Bulletin of the Brazilian Mathematical Society, New Series, 45:325–341, 2014

2014
[5]

Killing fields on compactm-quasi-Einstein manifolds.Proceedings of the American Mathe- matical Society, 153(2):841–849, 2025

Eric Cochran. Killing fields on compactm-quasi-Einstein manifolds.Proceedings of the American Mathe- matical Society, 153(2):841–849, 2025

2025
[6]

On compact quasi-Einstein metrics of constant scalar curvature, 2025

Eric Cochran. On compact quasi-Einstein metrics of constant scalar curvature, 2025. arXiv:2511.21892v2

work page arXiv 2025
[7]

W. O. Costa-Filho. A note on closed quasi-Einstein manifolds.Analysis and Mathematical Physics, 14:107, 2024

2024
[8]

Alcides de Carvalho and W. O. Costa-Filho. Remarks on quasi-Einstein manifolds and applications.to appear / preprint, 2025

2025
[9]

Geodesic vector fields and eikonal equation on a Riemannian manifold.Indagationes Mathematicae, 30(4):542–552, 2019

Sharief Deshmukh and Viqar Azam Khan. Geodesic vector fields and eikonal equation on a Riemannian manifold.Indagationes Mathematicae, 30(4):542–552, 2019

2019
[10]

m-quasi-Einstein metrics satisfying certain conditions on the potential vector field

Amalendu Ghosh. m-quasi-Einstein metrics satisfying certain conditions on the potential vector field. Mediterranean Journal of Mathematics, 17(4):115, 2020

2020
[11]

Generalized m-quasi-Einstein metrics with certain conditions on the potential vector field.Journal of Mathematical Analysis and Applications, 555(1):130004, 2026

Amalendu Ghosh. Generalized m-quasi-Einstein metrics with certain conditions on the potential vector field.Journal of Mathematical Analysis and Applications, 555(1):130004, 2026

2026
[12]

Poor.Differential Geometric Structures

W.A. Poor.Differential Geometric Structures. McGraw-Hill Book Company, New York, 1981

1981
[13]

A conformal quasi Einstein characterization of the round sphere.Bulletin des Sciences Math´ ematiques, 205:103744, 2025

Ramesh Sharma. A conformal quasi Einstein characterization of the round sphere.Bulletin des Sciences Math´ ematiques, 205:103744, 2025

2025
[14]

Rigidity of compact static near-horizon geometries with negative cosmological constant

William Wylie. Rigidity of compact static near-horizon geometries with negative cosmological constant. Letters in Mathematical Physics, 113(2):29, 2023

2023
[15]

On geodesic vector fields in a compact orientable Riemannian space

Kentaro Yano and Tadashi Nagano. On geodesic vector fields in a compact orientable Riemannian space. Commentarii Mathematici Helvetici, 35(1):55–64, 1961. Universidade Federal de Pernambuco, Departamento de Matematica, Av. Jorn. An ´ıbal Fernandes, s/n, Cidade Universit ´aria, Recife - PE, Brazil, CEP: 50740-560. Email address:alcides.junior@ufpe.br CPMAT...

1961