Some Characteristics of Almost $\omega$-Bach Solitons

Arindam Bhattacharyya; Hemangi Madhusudan Shah; Paritosh Ghosh

REVIEW 3 major objections 3 minor 15 references

Some Characteristics of Almost $\omega$-Bach Solitons

T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper introduces the ω-Bach tensor and constructs explicit gradient almost ω-Bach solitons on S²×H², R²×H², and R²×S².

desk verdict The new tensor and the Section 3 characterizations are plausible, but the advertised explicit solitons in Section 4 fail their own Hessian equations and the S2 constant vector field does not exist, so the main result collapses. read the letter →

arxiv 2505.24316 v1 pith:U36VLNHU submitted 2025-05-30 math.DG

Paritosh Ghosh , Hemangi Madhusudan Shah , Arindam Bhattacharyya This is my paper

classification math.DG MSC 53C2053C2153C25

keywords omega-BachtensoralmostsolitongradientBachinfinitesimalharmonictransformationaffineconformalvectorfieldprojectiveproductmanifolds

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper introduces the ω-Bach tensor $B_\omega = B - \beta\,\omega\otimes\omega$ and the corresponding almost ω-Bach soliton equation $\tfrac{1}{2}\mathcal{L}_V g + B_\omega = \lambda g$, generalizing the Bach tensor and almost Bach solitons. It proves characterization results: under conditions such as a divergence-free ω-Bach tensor, harmonic or Killing ω, or potential fields that are infinitesimal harmonic, affine conformal, projective, or Killing, the soliton is forced to be ω-Bach flat, parallel, or an ordinary Bach soliton. Its main constructive result is a set of explicit potential functions for gradient almost ω-Bach solitons on the product manifolds $\mathbb{S}^2\times\mathbb{H}^2$, $\mathbb{R}^2\times\mathbb{H}^2$, and $\mathbb{R}^2\times\mathbb{S}^2$, with $P$ a constant vector field. These formulas extend earlier gradient Bach soliton examples on $\mathbb{R}^2\times\mathbb{H}^2$ and $\mathbb{R}^2\times\mathbb{S}^2$ and add a new case on $\mathbb{S}^2\times\mathbb{H}^2$. Since Bach-flat metrics generalize Einstein and conformally flat metrics, explicit solitons provide concrete test cases for the corresponding flow.

What carries the argument

The load-bearing object is the ω-Bach tensor $B_\omega = B - \beta\,\omega\otimes\omega$, where $B$ is the Bach tensor and $\omega$ is the 1-form dual to a vector field $P$. The paper pairs this with the almost ω-Bach soliton equation $\tfrac{1}{2}\mathcal{L}_V g + B_\omega = \lambda g$, and for the explicit examples it uses the known splitting of the Bach tensor on product manifolds: on each factor the Bach tensor is written through Hessians of the scalar curvature, which for constant scalar curvature $\pm 2$ reduces to a metric term plus the $\beta\,\omega\otimes\omega$ correction. The gradient ansatz $V=\nabla f$ turns the equation into $\nabla\nabla f + B_\omega = \lambda g$, a Hessian system that the paper solves separately on each factor with $P$ constant.

What would settle it

A direct substitution of the claimed $f$ into equations (24)–(26) and (30)–(32) is decisive: for equation (47), the left side reduces to $-2\beta P_3^2$ while the right side is $(\lambda+\tfrac13)/y^2 + \beta P_4^2$, so any nonzero mismatch disproves the formula. Separately, checking whether a constant-coordinate vector field on the sphere extends smoothly across the chart transition would settle whether $\omega$ is a global 1-form.

Watch

Extended reading notes

Core claim

The central claim is that a one-form deformation of the Bach tensor opens up a soliton equation that admits explicit gradient solutions on four-dimensional product manifolds. The paper defines the ω-Bach tensor $B_\omega = B - \beta\,\omega\otimes\omega$ and the almost ω-Bach soliton equation $\tfrac{1}{2}\mathcal{L}_V g + B_\omega = \lambda g$; in the gradient case $V=\nabla f$, this becomes $\nabla\nabla f + B_\omega = \lambda g$. With $P$ chosen as a constant vector field, the paper derives explicit potentials on $\mathbb{S}^2\times\mathbb{H}^2$, $\mathbb{R}^2\times\mathbb{H}^2$, and $\mathbb{R}^2\times\mathbb{S}^2$ by splitting the Bach tensor factorwise and solving the resulting Hessian systems. The stated solutions include a quartic-minus-log potential on $\mathbb{S}^2\times\mathbb{H}^2$, a mixed quadratic-log potential on $\mathbb{R}^2\times\mathbb{H}^2$, and a quadratic-plus-quartic potential on $\mathbb{R}^2\times\mathbb{S}^2$. These are presented as the first explicit gradient almost ω-Bach solitons on $\mathbb{S}^2\times\mathbb{H}^2$ and as generalizations of the earlier product-manifold examples.

Load-bearing premise

The construction rests on the proposed potential functions actually satisfying the Hessian equations on each factor, and on a constant-coordinate vector field being a globally smooth field on the sphere; if either fails, the explicit solitons are not examples as written.

Editorial extensions

If this is right

If the compact divergence-free theorem holds, a compact almost ω-Bach soliton satisfying the stated integral sign condition is ω-Bach flat, so the ω-Bach tensor cannot be a nontrivial obstruction on compact manifolds in that class.
Under an infinitesimal harmonic potential field with $S(V,V)\le 0$, the potential field is parallel and the manifold splits locally; the sign of $\beta$ then decides whether the soliton is expanding or shrinking.
For affine conformal potential fields, divergence-freeness of $B_\omega$ is equivalent to $\lambda-f$ being constant and to either $B_\omega = B$ or $|P|$ being constant, tying the new tensor's incompressibility to the size of the 1-form.
For projective potential fields, divergence-freeness forces an explicit gradient relation between the projective factor and $|P|^2$, with a corresponding formula for $X\lambda$.
The explicit potentials on $\mathbb{S}^2\times\mathbb{H}^2$, $\mathbb{R}^2\times\mathbb{H}^2$, and $\mathbb{R}^2\times\mathbb{S}^2$ provide concrete starting points for studying the ω-Bach flow on product manifolds.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same factorwise splitting should produce explicit gradient ω-Bach solitons on $\mathbb{S}^2\times\mathbb{S}^2$ and $\mathbb{H}^2\times\mathbb{H}^2$, since the Bach tensor splits with the same constant-scalar-curvature structure.
Because $\operatorname{tr} B_\omega = -\beta |P|^2$, the soliton function $\lambda$ is tied to the norm of $P$; this trace constraint could help detect or rule out ω-Bach solitons in other symmetric spaces.
A direct symbolic check of the displayed potentials against the original Hessian systems, rather than the integrated relations used in the paper, would settle whether the examples are genuine as written.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the omega-Bach tensor and the by-now-standard characterizations in Section 3 are defensible, but Section 4, which the abstract advertises as one of the main results, does not hold up. The proposed potential functions do not satisfy the Hessian systems pointwise. Take (47): for FH = -(lambda+1/3) ln y - (1/2)beta P3^2 y^2, the left side is -2 beta P3^2, while the right is (lambda+1/3)/y^2 + beta P4^2. These can't match as functions of y unless the constants are forced to zero, which is not the claimed general solution. The same failure occurs for the S2 factor: substituting fS = beta P1^2/2 (1+u^2+v^2)^2 into (24) gives nonconstant terms like 12 beta P1^2 u^2 that no constant lambda can absorb. The proof method is part of the problem: the authors integrate combinations of the equations and check only a relation, not the individual components.

There's also a global issue the paper never addresses. A vector field with constant coefficients in the stereographic chart does not define a smooth vector field on S2; the chart misses a point and the coordinate vector fields don't extend. Unless the coefficients vanish, P is not a global object. So the examples, as stated, are not solitons on the product manifolds.

What is genuinely new: the omega-Bach tensor B_omega = B - beta omega tensor omega and the notion of almost omega-Bach soliton. That is a reasonable deformation of the Bach tensor. The Section 3 theorems follow the pattern of Ghosh and Ho, and the derivations look plausible, though they are conditional characterizations and don't add much beyond the definitions. The paper is honest in citing the prior work; self-citation isn't an issue here.

Net: the central constructive claim is not supported, and the paper would need substantial reworking of Section 4 and the globality assumptions before it can be taken seriously. The Section 3 material might survive as a minor note, but the advertised theorems are the reason anyone would read this.

For peer review: I would not send this to a referee as is. The main results fail by direct substitution, and the error is load-bearing. It's a desk reject with an invitation to resubmit if the authors can produce actual solutions or fix the global vector field issue.

Referee Report

3 major / 3 minor

Summary. The manuscript introduces an ω-Bach tensor Bω = B − βω⊗ω and defines almost ω-Bach solitons. Section 3 characterizes such solitons under various hypotheses on the potential vector field (infinitesimal harmonic, affine conformal, projective, Killing) and under assumptions on the ω-Bach tensor (divergence-free, harmonic, Killing). Section 4 claims to construct explicit gradient ω-Bach solitons on the product manifolds S^2×H^2, R^2×H^2, and R^2×S^2, and the abstract identifies these explicit examples as one of the paper's main results.

Significance. The definitions in the paper generalize existing notions, and several Section 3 statements are plausible generalizations of results of Ghosh and Ho. However, the central advertised contribution is the explicit construction of solitons in Section 4, and those constructions do not satisfy the pointwise Hessian equations that define the solutions. The paper also uses an incorrect metric for S^2. Because the main constructive claim fails, the paper's primary contribution is not supported, even though some of the Section 3 rigidity arguments may be salvageable.

major comments (3)

[§4.2, Eq. (47)] The proposed potential FH = −(λ+1/3) ln y − (1/2)βP3^2 y^2 from (48) does not satisfy equation (47). Direct substitution gives LHS(47) = −2βP3^2, while RHS(47) = (λ+1/3)/y^2 + βP4^2. Equality for all y>0 forces λ = −1/3 and βP3 = βP4 = 0, which is not assumed. Equation (46) also forces βP3P4 = 0. Thus the claimed explicit soliton in Theorem 4.2 is not a solution of the Hessian system.
[§4.1, Eq. (24)] The function fS = βP1^2/2 (1+u^2+v^2)^2 in Theorem 4.1 does not solve equations (24)–(26). For example, the left-hand side of (24) equals 2βP1^2(1+u^2+v^2) + 6βP1^2u^2 − 2βP1^2v^2, while the right-hand side is 4λ/(1+u^2+v^2) + βP1^2. These can agree only in the trivial case βP1 = 0 and λ = 0. The same check applies to the S^2 factor in Theorem 4.3. The proof verifies only an integrated combination of the equations, not the pointwise Hessian system, so the claimed nontrivial examples are not established.
[§4.1, metric on S^2] The metric used for S^2 is gS = 4/(1+u^2+v^2)(du^2+dv^2). This is not the round metric of scalar curvature 2: its scalar curvature is 1/(1+u^2+v^2), not constant, and its total area is infinite. The standard stereographic round metric is 4/(1+u^2+v^2)^2(du^2+dv^2). Since all Christoffel symbols and Hessian equations in §4.1 and §4.3 are computed with the wrong metric, the product-manifold examples involving S^2 are invalid independently of the pointwise failures noted above.

minor comments (3)

[§4.3, Theorem 4.3] The displayed formula for G uses (λ−1/3)+βP1^2 in both the s^2 and t^2 terms; presumably P2^2 should appear in the t^2 coefficient, as it does in Theorem 4.2.
[Introduction and §4.1] There are several broken or mislabeled references: the Introduction contains an empty cross-reference '(??)', and in §4.1 the sentence 'To solve (20) and (21)' appears to refer to equations (21) and (22).
[§4.1, notation] The phrase 'constant vector field P' is coordinate-dependent; P has constant coefficients in a chosen chart. The authors should state explicitly that this means constant coefficients in the given coordinates, not a parallel or invariant vector field.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the new tensor and soliton definitions are used as stated, and the advertised results are derived from external identities and explicit PDE solving rather than from the conclusions themselves.

full rationale

The paper introduces the omega-Bach tensor and almost omega-Bach soliton as new definitions and then derives consequences from those definitions and standard formulas. Section 3 relies on the commutation formula from Yano, the Gover-Orsted integral identity, and Bochner-type arguments; these are cited external facts, not restatements of the target results. Section 4 solves explicit Hessian systems for proposed potential functions; the potential functions are not fitted to the soliton equation in a way that makes the conclusion tautological. The cited splitting of the Bach tensor on product manifolds is taken from Das-Kar, and the computations are direct. No parameter is fitted to a subset of data and then renamed a prediction, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled in via self-citation. Even if the Section 4 candidate functions fail the Hessian equations pointwise or the constant vector field is not globally smooth on S^2, that would be a correctness defect, not a circularity defect: the claimed derivation is not equivalent to its inputs by construction. There is no load-bearing self-citation in the manuscript.

Assumptions & free parameters 3 free parameters · 5 assumptions · 2 invented entities

The central claim rests on new definitions, several cited external results, and ad hoc choices of P_i and beta. The main explicit solutions are not verified and appear to contradict the equations.

free parameters (3)

beta = real constant
Coefficient in B_omega = B - beta omega⊗omega; chosen by hand.
P_i = real constants P_1,...,P_4
Defines the vector field / 1-form in the examples; constraints P_1^2=P_2^2 and P_3^2=P_4^2 imposed ad hoc.
lambda = real parameter in explicit solutions
Soliton function or constant; appears in the explicit potentials without being determined by consistency conditions.

assumptions (5)

standard math Bach tensor splitting formulas on product manifolds from Das-Kar [10]
Used in Section 4 to compute B on each factor.
standard math Gover-Orsted integral identity [2]
Used in Theorem 3.7 for compact solitons.
domain assumption Gaffney's Stokes theorem for complete Riemannian manifolds [6]
Used in Theorem 3.2 to conclude integral of Laplacian vanishes under L^1 assumptions.
standard math Yano's commutation formula for Lie derivative of connection [5]
Used to derive equation (7).
domain assumption Potential vector field with |V|^2 and Δ|V|^2 in L^1 on complete manifold
Analytic hypothesis in Theorem 3.2; not verified for the examples.

invented entities (2)

omega-Bach tensor B_omega = B - beta omega⊗omega
purpose: Generalizes Bach tensor by a 1-form term
Introduced in Definition 1.1; no independent geometric or physical prediction.
almost omega-Bach soliton
purpose: Soliton equation built from B_omega
Defined in Definition 1.3; reduces to almost Bach soliton when beta=0 or P null.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Some Characteristics of Almost $\omega$-Bach Solitons." pith.science (2026). https://pith.science/paper/U36VLNHU

@misc{pith2026250524316,
  author       = {Pith},
  title        = {Pith review of: Some Characteristics of Almost $\omega$-Bach Solitons},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U36VLNHU}},
  note         = {Machine review of arXiv:2505.24316}
}

abstract

In this article, we introduce $\omega$-Bach tensor corresponding to one form $\omega$ and correspondingly introduce almost $\omega$-Bach solitons, thereby generalizing the existing notion of Bach tensor and almost Bach solitons. We characterize almost $\omega$-Bach solitons, when the potential vector field of the soliton generates an infinitesimal harmonic transformation or is an affine conformal vector field, or is a projective vector field or is a Killing vector field, when the $\omega$-Bach tensor is divergence free, or is a harmonic $1$ form or is a Killing $1$-form. We generalize some of the results obtained by P. T. Ho and A. Ghosh. One of the main results of this paper is that we explicitly find some of the gradient almost $\omega$-Bach solitons on the product manifolds ${\mathbb S}^2\times{\mathbb H}^2$, $\mathbb{R}^2\times{\mathbb H}^2$ and $\mathbb{R}^2\times{\mathbb S}^2$. Our gradient almost $\omega$-Bach solitons generalize the almost Bach solitons on $\mathbb{R}^2\times{\mathbb H}^2$ and $\mathbb{R}^2\times{\mathbb S}^2$ found by P. T. Ho. Moreover, finding of our gradient almost $\omega$-Bach solitons on ${\mathbb S}^2\times{\mathbb H}^2$ is a novel one and complements to the existing almost Bach solitons described by P. T. Ho.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages

[1]

Ghosh, On Bach almost solitons, Beitr\" a ge zur Algebra und Geometrie/Contributions to Algebra and Geometry , 63 (2022), 1, 45-54

A. Ghosh, On Bach almost solitons, Beitr\" a ge zur Algebra und Geometrie/Contributions to Algebra and Geometry , 63 (2022), 1, 45-54

work page 2022
[2]

A. R. Gover and B. Ørsted, Universal principles for Kazdan–Warner and Pohozaev–Schoen type identities, Commun. Contemp. Math , 15(2013), 04, 1350002

work page 2013
[3]

D. E. Blair, Riemannian geometry of contact and symplectic manifolds , Progress in Mathematics, vol. 203 (2010), Birkh\" a user, New York

work page 2010
[4]

Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv preprint math/0211159 , (2002) Nov 11

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

arXiv 2002
[5]

J. T. Cho and M. Kimura, Ricci solitons and real hypersurfaces in a complex space form, Tohoku Math. J., Second Series , 61(2009), 2, 205-212

work page 2009
[6]

Yano, Integral formulas in Riemannian geometry

K. Yano, Integral formulas in Riemannian geometry. In: Pure and Applied Mathematics , vol. 1.(1970), Marcel Dekker Inc, New York

work page 1970
[7]

M. P. Gaffney, A special Stokes's theorem for complete Riemannian manifolds, Ann Math. , 60(1954), 140-145

work page 1954
[8]

N. A. Pundeer, P. Ghosh, H. M. Shah, and A. Bhattacharyya, Some Solitons on Homogeneous Almost -Cosymplectic 3 -Manifolds and Harmonic Manifolds. arXiv preprint arXiv:2301.02430 , (2023)

work page Pith review arXiv 2023

Show all 15 references

[9]

Petersen and W

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

2009
[10]

P. T. Ho, Bach flow. J. Geom. Phys , 133(2018), 1-9

2018
[11]

a tstheorie und der weylschen erweiterung des kr\

R. Bach, Zur weylschen relativit\" a tstheorie und der weylschen erweiterung des kr\" a mmungstensorbegriffs. Math. Z. , 9 (1921), 1-2, 110-135

1921
[12]

Besse, Arthur L. (1978). Manifolds all of whose geodesics are closed . Vol. 93. Springer Science & Business Media

1978
[13]

Das and S

S. Das and S. Kar, Bach flows of product manifolds, Int. J. Geom. Methods Mod. Phys. , 9(2012), 5, 1250039

2012
[14]

Petersen P. (2006). Riemannian geometry . New York: Springer; Nov 24

2006
[15]

S. E. Stepanov and I.G. Shandra, Geometry of infinitesimal harmonic transformations. Ann. Glob. Anal. Geom. , 24(2003), 291-299

2003

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Ghosh, On Bach almost solitons, Beitr\" a ge zur Algebra und Geometrie/Contributions to Algebra and Geometry , 63 (2022), 1, 45-54

A. Ghosh, On Bach almost solitons, Beitr\" a ge zur Algebra und Geometrie/Contributions to Algebra and Geometry , 63 (2022), 1, 45-54

work page 2022

[2] [2]

A. R. Gover and B. Ørsted, Universal principles for Kazdan–Warner and Pohozaev–Schoen type identities, Commun. Contemp. Math , 15(2013), 04, 1350002

work page 2013

[3] [3]

D. E. Blair, Riemannian geometry of contact and symplectic manifolds , Progress in Mathematics, vol. 203 (2010), Birkh\" a user, New York

work page 2010

[4] [4]

Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv preprint math/0211159 , (2002) Nov 11

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

arXiv 2002

[5] [5]

J. T. Cho and M. Kimura, Ricci solitons and real hypersurfaces in a complex space form, Tohoku Math. J., Second Series , 61(2009), 2, 205-212

work page 2009

[6] [6]

Yano, Integral formulas in Riemannian geometry

K. Yano, Integral formulas in Riemannian geometry. In: Pure and Applied Mathematics , vol. 1.(1970), Marcel Dekker Inc, New York

work page 1970

[7] [7]

M. P. Gaffney, A special Stokes's theorem for complete Riemannian manifolds, Ann Math. , 60(1954), 140-145

work page 1954

[8] [8]

N. A. Pundeer, P. Ghosh, H. M. Shah, and A. Bhattacharyya, Some Solitons on Homogeneous Almost -Cosymplectic 3 -Manifolds and Harmonic Manifolds. arXiv preprint arXiv:2301.02430 , (2023)

work page Pith review arXiv 2023