Compact Biconservative Hypersurfaces in Space Forms: Rigidity Without Scalar Curvature Assumptions

Aykut Kayhan

REVIEW 3 major objections 4 minor 16 references

Compact Biconservative Hypersurfaces in Space Forms: Rigidity Without Scalar Curvature Assumptions

T0 review · 3 major / 4 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 A pointwise bound on the shape operator forces compact biconservative hypersurfaces in space forms to be spheres or standard sphere products, without assuming constant scalar curvature.

desk verdict New tensor technique yields plausible rigidity theorems, but the proof needs real repairs: wrong equality in Lemma 3.5, sign error in (3.14), and a non-sequitur in Theorem 1.2. read the letter →

arxiv 2506.05875 v1 pith:Q473XRMH submitted 2025-06-06 math.DG

Aykut Kayhan This is my paper

classification math.DG MSC 53C4253C40

keywords biconservativehypersurfacesrigiditytheoremsspaceformsshapeoperatorpinchingconditionmeancurvaturedivergence-freetensorconstantscalar

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

The paper proves rigidity theorems for compact biconservative hypersurfaces in space forms, a class that includes all constant mean curvature hypersurfaces but allows for more general ones. The main theorem states that if the squared length of the shape operator is pointwise at most $m^{2}$ $f^{2}$/6, where f is the mean curvature, and the sectional curvature is nonnegative, then the shape operator must be parallel and the hypersurface is either a Euclidean hypersphere (in hyperbolic or Euclidean space) or a small sphere or a standard product of two spheres in the unit sphere. A second theorem shows that in Euclidean space of dimension at least seven, the same rigidity holds under the weaker bound |A|^2 ≤ $m^{2}$ $f^{2}$/(m−1) with no sectional curvature assumption, forcing a hypersphere. These results remove the constant scalar curvature hypothesis that was central in earlier rigidity theorems, and the new tool is a divergence-free tensor that produces a controllable integral identity.

What carries the argument

The load-bearing object is a new divergence-free symmetric (1,1)-tensor on any hypersurface in a space form, defined by ϕ = ψ3 Id − ψ2 A + mf $A^{2}$ − $A^{3}$, where ψ3 = $m^{3}$ $f^{3}$/6 + (1/3) trace $A^{3}$ − (m/2) f |A|^2 and ψ2 = ($m^{2}$ $f^{2}$ − |A|^2)/2. Because the tensor is divergence-free and the hypersurface is compact, the associated self-adjoint differential operator acts on the mean curvature function and integrates to zero. Combining this with the biconservativity identity A(grad f) = −(m/2) f grad f yields an integral equality that is manipulated into the inequality (3.20); the pinching conditions make the coefficients of the nonnegative terms nonnegative, so each term must vanish, giving ∇A = 0 and then the classification.

What would settle it

Look for a compact non-minimal biconservative hypersurface in the unit sphere with nonnegative sectional curvature and |A|^2 ≤ $m^{2}$ $f^{2}$/6 at every point that is not a small sphere or a standard product $S^{{m1}}$(r1) × $S^{{m2}}$(r2) with $r1^{2}$ + $r2^{2}$ = 1 and r1 > 1/√m. If such a hypersurface exists, Theorem 1.1's classification is false; conversely, the proof predicts that a product with r1 ≤ 1/√m should violate the pinching.

Watch

Extended reading notes

Core claim

The central claim is that compact non-minimal biconservative hypersurfaces in space forms are rigid under a pointwise control of the shape operator. Concretely, Theorem 1.1 asserts that when the sectional curvature is nonnegative and |A|^2 ≤ $m^{2}$ $f^{2}$/6, the gradient of the shape operator vanishes, so the hypersurface is a totally umbilical round sphere in hyperbolic or Euclidean space, or, inside the unit sphere, either a small sphere or a product $S^{{m1}}$(r1) × $S^{{m2}}$(r2) with $r1^{2}$ + $r2^{2}$ = 1 and r1 > 1/√m. Theorem 1.2 derives the same rigidity in $R^{{m+1}}$ for m ≥ 7 under the weaker condition |A|^2 ≤ $m^{2}$ $f^{2}$/(m−1), without any sectional curvature assumption, and the conclusion is congruence to a hypersphere.

Load-bearing premise

The load-bearing premise is the pointwise pinching condition |A|^2 ≤ $m^{2}$ $f^{2}$/6 (or |A|^2 ≤ $m^{2}$ $f^{2}$/(m−1) in Theorem 1.2); it is what makes the coefficients in the integral inequality nonnegative. This condition is not derived from biconservativity, and if it fails the proof cannot force the vanishing of the gradient and curvature terms.

Editorial extensions

If this is right

Compact biconservative hypersurfaces in space forms with nonnegative sectional curvature and the pinching bound must have parallel shape operator, so rigidity holds without any constant scalar curvature hypothesis.
In the unit sphere, the only possible such hypersurfaces are small spheres and the standard products S^{m1}(r1) × S^{m2}(r2) with r1^2 + r2^2 = 1 and r1 > 1/√m; the radius constraint is a consequence of the pinching.
In Euclidean space of dimension at least seven, the sectional curvature condition can be dropped entirely under the weaker bound |A|^2 ≤ m^2 f^2/(m−1), forcing congruence to a round hypersphere.
The new divergence-free tensor supplies a general mechanism for deriving integral identities for hypersurfaces in space forms, which may yield further rigidity results beyond the two theorems.

Reading between the lines

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

For non-minimal hypersurfaces, the pinching |A|^2 ≤ m^2 f^2/6 implicitly forces the dimension to satisfy m ≥ 6, because |A|^2 ≥ m f^2 by Cauchy–Schwarz; the paper does not state this restriction.
The divergence-free tensor construction is not specific to biconservative hypersurfaces; any hypersurface whose shape operator satisfies a relation of the form A(grad f) = −(m/2) f grad f would feed into the same integral machinery, suggesting possible extensions to other curvature conditions.
The sharp radius bound r1 > 1/√m in the product case gives a testable constraint: known biconservative products with smaller r1 should violate the pointwise pinching, which one could verify by direct computation.

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

Colleague,

The paper is worth a look. Kayhan introduces a genuinely new divergence-free tensor for hypersurfaces in space forms, uses it with the Cheng–Yau operator to get an integral inequality, and then proves two rigidity theorems that drop constant scalar curvature (Theorem 1.1) and even sectional curvature (Theorem 1.2). The tensor construction in Lemma 3.4 checks out, and the final inequality (3.20) is plausible and useful. If the proofs are fixed, these are real additions to the biconservative hypersurface literature.

The soft spots are real but mostly repairable. Lemma 3.5 states a standard Kato inequality, but the proof contains an invalid equality: the square of a sum of inner products is not the sum of squared norms. The inequality itself is true, so this is a proof bug, not a false lemma. The sign in (3.14) doesn't match the later use in (3.17); a referee will need to redo that computation. The bigger issue is Theorem 1.2. As written, it claims to follow from Theorem 1.1 because the pinching for m≥7 implies |A|² ≤ m²f²/6. But Theorem 1.1 assumes nonnegative sectional curvature pointwise, while Lemma 3.6 gives only the nonnegativity of the weighted sum Σ(λi−λj)²Rijij. That doesn't give pointwise Rijij ≥ 0, so the invocation is a non sequitur. The good news is that (3.20) itself seems sufficient: with the pinching, the coefficient in front of the weighted sum is nonnegative, and Lemma 3.6 makes the weighted sum nonnegative, so each term must vanish. That direct argument is not in the paper. Finally, in the proof of Theorem 1.1, the assumption that the eigenvalue −mf/2 has multiplicity one is not justified; grad f is a single direction, but the eigenspace could be larger, and the argument needs to handle that case.

The citation practice looks fine. The paper relies on Lemma 2.3 and Lemma 3.6 from [1], which shares an author, but those are stated theorems with their own hypotheses, and I don't see a circular reduction. The paper also doesn't note that the pinching in Theorem 1.1 implicitly requires m ≥ 6; that's a minor omission.

Who is this for? Specialists in biconservative submanifolds and rigidity. It won't reorganize differential geometry, but it gives a new tool and two clean statements. My take: this is a promising paper with a real technique and likely correct theorems, but it needs careful referee work. The errors are not just typos; one proof step is invalid and one theorem is not proven as stated. Still, the core idea is sound and the repairs look straightforward. I'd send it to peer review and expect a revision.

Referee Report

3 major / 4 minor

Summary. The paper studies compact, non-minimal biconservative hypersurfaces in space forms. It introduces a divergence-free symmetric (1,1)-tensor phi (Lemma 3.4) and, using the Cheng-Yau operator, derives an integral inequality (3.20). Under the pinching |A|^2 <= m^2 f^2/6 and nonnegative sectional curvature, Theorem 1.1 concludes nabla A = 0 and classifies the hypersurface as a sphere or a product of spheres. Theorem 1.2 claims the analogous rigidity in Euclidean space for m >= 7 under |A|^2 <= m^2 f^2/(m-1), with no sectional curvature assumption, via Lemma 3.6 from [1]. The novelty lies in the new tensor and the integral method, rather than in any numerical computation.

Significance. If the gaps identified below are repaired, the results would be a useful advance: they remove the constant-scalar-curvature hypothesis from the Cheng-Yau type rigidity theorem in Theorem 1.1 and remove the sectional-curvature hypothesis in the Euclidean case in Theorem 1.2. The construction of phi in Lemma 3.4 is explicit, and the reduction leading to (3.20) is coherent and likely reusable. The paper does not provide machine-checked proofs or code; its main strength is the analytic tensor method. Because several load-bearing steps are incomplete in the current version, the significance is conditional on the repairs.

major comments (3)

[§3.2, proof of Theorem 1.2] The proof of Theorem 1.2 states that Theorem 1.1 completes the proof because |A|^2 <= m^2 f^2/(m-1) <= m^2 f^2/6 for m >= 7. This is a non sequitur: Theorem 1.1 assumes pointwise nonnegative sectional curvature, whereas Lemma 3.6 supplies only sum (lambda_i - lambda_j)^2 R_ijij >= 0, which does not imply each R_ijij >= 0. Consequently the pointwise relation (3.22) cannot be derived. A valid proof would have to return to (3.20) and use Lemma 3.6 together with the nonnegativity of the coefficients to force the vanishing of the individual nonnegative terms, and then use (2.3) and compactness to obtain nabla A = 0; this argument is not supplied. As printed, Theorem 1.2's 'no sectional curvature' claim is not established.
[§3.1, proof of Theorem 1.1, case c = 1] In the two-distinct-principal-curvature part of the proof, the text sets m_1 = 1 ('using (1.2) we can assume that lambda_1 = -mf/2, m_1 = 1') without proof. The eigenspace of lambda_1 = -mf/2 need not be one-dimensional; in particular, the parallel products S^{m_1}(r_1) x S^{m_2}(r_2) with m_1 > 1 are allowed by the statement of Theorem 1.1(b). The computation of |A|^2 and m^2 f^2 at the end of §3.1 is carried out only for m_1 = 1, yielding the product S^1(r_1) x S^{m-1}(r_2), and the bound r_1 > sqrt(1/m) for general m_1 is not derived. Thus the classification part (b) of Theorem 1.1 is not proved for m_1 > 1.
[§3, Lemma 3.5] The proof of Lemma 3.5 contains an invalid equality: || sum_{i,j} <(nabla A)(E_i, AE_i), E_j> E_j ||^2 is written as sum_{i,j} <(nabla A)(E_i, E_j), AE_i>^2 and then as sum_{i,j,k} |(nabla A)(E_i, E_j)|^2 |A(E_i)|^2, which drops the cross terms in the j-components and replaces squared inner products by products of norms. The lemma itself is the standard Kato inequality |nabla |A|^2|^2 <= 4|A|^2 |nabla A|^2, which follows directly from |nabla |A|^2| <= 2|A| |nabla A|. Since (3.19) and hence (3.20) rely on this lemma, the proof must be corrected; the statement is not in doubt.

minor comments (4)

[§2, Eq. (2.3)] Equation (2.3) is missing the Laplacian: it should read -(1/2) Delta |A|^2 = |nabla A|^2 + <A, Hess(mf)> + (1/2) sum (lambda_i - lambda_j)^2 R_ijij, as in (2.4). The sentence 'from (2.3) and the fact that M is compact' is otherwise meaningless.
[§3, Eq. (3.14)] Equation (3.14) has an ambiguous sign and parenthesis structure: the displayed formula appears to place +(1/3) f Delta trace A^3 and -(m/4) f^2 Delta |A|^2 inside the integral, while substitution into (3.16) uses the opposite signs. The intended grouping should be written explicitly.
[§3, Lemma 3.3] In the proof of Lemma 3.3, the term -2 sum_i <E_i(f) grad f + f nabla_{E_i} grad f, AE_i> does not follow from the product rule; although the final identity (3.7) is correct, the intermediate computation should be rewritten.
[Theorems 1.1 and 1.2] The pinching hypothesis |A|^2 <= m^2 f^2/6 in Theorem 1.1 is only compatible with m >= 6 (since |A|^2 >= m f^2); the paper should state this explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new divergence-free tensor and integral inequality are derived explicitly, and the self-citations are independent prior theorems rather than definitional loops.

full rationale

The derivation chain is not circular. The main integral inequality (3.20) is obtained by applying the Cheng–Yau operator to the explicitly defined tensor phi (Lemma 3.4), whose divergence freeness is checked algebraically, and by combining the biconservativity identities (3.5)–(3.9). The pinching hypothesis is then used only to make the coefficients in (3.20) nonnegative; it is not a fitted parameter or a restatement of the conclusion. The self-citations to [1] — Lemma 2.3/(2.6) and Lemma 3.6 — are parameter-free prior theorems with stated hypotheses that do not include the rigidity conclusion; they function as independent evidence rather than as a definitional loop. One passage should be flagged as a correctness risk rather than circularity: Section 3.2's proof of Theorem 1.2 says 'Thus, Theorem 1.1 completes the proof', but Lemma 3.6 supplies only nonnegativity of the summed curvature terms, while Theorem 1.1's proof invokes pointwise nonnegative sectional curvature. This is an unsupported inference, not a case of a prediction reducing to its input by construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The central proof rests on standard Codazzi and Gauss equations, the Cheng-Yau operator machinery, the biconservativity equation A(grad f)=-(m/2)f grad f, and one cited lemma from [1] with overlapping authorship. No fitted numerical parameters appear. The only new object is the divergence-free tensor φ, whose divergence identity is directly checkable.

assumptions (5)

standard math Codazzi equation (∇_X A)Y = (∇_Y A)X and total symmetry of ⟨(∇A)(·,·),·⟩ hold for hypersurfaces in space forms.
Invoked throughout Lemmas 3.1 to 3.3 and in the main integral computations in Section 3.
domain assumption For a biconservative hypersurface, A(grad f) = -(m/2) f grad f.
Equation (1.2), the defining condition of biconservativity, is used in Lemma 3.3 and in the proof of Theorem 1.1.
standard math The Cheng-Yau operator associated with a divergence-free symmetric (1,1)-tensor is self-adjoint and ∫ □γ = 0 on a compact manifold.
Equation (2.5), used to obtain (3.13) by applying the operator to the new tensor φ.
domain assumption Lemma 3.6 from [1]: under the stated pinching bound, Σ(λi-λj)² R_ijij ≥ 0.
Cited from Andronic-Kayhan [1], with overlapping authorship, and used to remove the sectional curvature assumption in Theorem 1.2.
standard math The Kato inequality |∇|A|²| ≤ 2|A||∇A|.
The paper's proof of Lemma 3.5 is flawed, but the inequality itself is standard and is used to pass from (3.16) to (3.20).

invented entities (1)

Divergence-free (1,1)-tensor φ = ψ3 Id − ψ2 A + m f A² − A³, with ψ3 = (1/6)m³f³ + (1/3)trace A³ − (1/2)mf|A|² and ψ2 = (1/2)(m²f² − |A|²). independent evidence
purpose: Enables a Cheng-Yau operator integral identity that does not require constant scalar curvature.
The divergence identity div φ = 0 is directly checkable from Lemma 3.1 and does not depend on the target rigidity theorem, so it is an independently verifiable mathematical construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Compact Biconservative Hypersurfaces in Space Forms: Rigidity Without Scalar Curvature Assumptions." pith.science (2026). https://pith.science/paper/Q473XRMH

@misc{pith2026250605875,
  author       = {Pith},
  title        = {Pith review of: Compact Biconservative Hypersurfaces in Space Forms: Rigidity Without Scalar Curvature Assumptions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q473XRMH}},
  note         = {Machine review of arXiv:2506.05875}
}

read the original abstract

In this study, we investigate the intrinsic properties of compact biconservative hypersurfaces in space forms. In this framework, we establish rigidity results without imposing the assumption of constant scalar curvature. Furthermore, we present an additional result that does not require any assumptions on the sectional curvature. The key tool in our approach is the introduction of a novel divergence-free tensor, which enables us to derive these results without the usual curvature assumptions.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Andronic and A

S ¸. Andronic and A. Kayhan. Rigidity results for compact biconservative hypersurfaces in space forms. Journal of Geometry and Physics , 212:105460, 2025

work page 2025
[2]

Caddeo, S

R. Caddeo, S. Montaldo, C. Oniciuc, and P. Piu. Surfaces in three-dimensional space forms with divergence-free stress-bienergy tensor. Annali di Matematica Pura ed Applicata , 193:529–550, 2014

work page 2014
[3]

B.-Y. Chen. Recent development in biconservative submanifolds. arXiv preprint arXiv:2401.03273 , 2024

work page Pith review arXiv 2024
[4]

Q.-M. Cheng. Compact hypersurfaces in a unit sphere with infinite fundamental group. Pacific journal of mathematics , 212(1):49–56, 2003

work page 2003
[5]

Cheng, S

Q.-M. Cheng, S. Shu, and Y. J. Suh. Compact hypersurfaces in a unit sphere. Proceedings of the Royal Society of Edinburgh Section A: Mathematics , 135(6):1129–1137, 2005. RIGIDITY RESULTS FOR BICONSER V ATIVE HYPERSURF ACES 13

work page 2005
[6]

Cheng and S.-T

S.-Y. Cheng and S.-T. Yau. Hypersurfaces with constant scalar curvature. Mathematische Annalen , 225:195–204, 1977

work page 1977
[7]

Fetcu, E

D. Fetcu, E. Loubeau, and C. Oniciuc. Bochner–simons formulas and the rigidity of biharmonic submanifolds. The Journal of Geometric Analysis , 31(2):1732–1755, 2021

work page 2021
[8]

Fetcu and C

D. Fetcu and C. Oniciuc. Biharmonic and biconservative hypersurfaces in space forms. differential geometry and global analysis-in honor of tadashi nagano, 65–90. Contemp. Math , 777

work page

Show all 16 references

[9]

Fetcu, C

D. Fetcu, C. Oniciuc, and A. L. Pinheiro. Cmc biconservative surfaces in sn × r and hn × r. Journal of Mathematical Analysis and Applications , 425(1):588–609, 2015

2015
[10]

Haizhong

L. Haizhong. Hypersurfaces with constant scalar curvature in space forms. Mathematische Annalen , 305(1):665–672, 1996

1996
[11]

Hasanis and T

T. Hasanis and T. Vlachos. Hypersurfaces in e4 with harmonic mean curvature vector field.Mathematische Nachrichten, 172(1):145–169, 1995

1995
[12]

G. Y. Jiang. 2-harmonic maps and their first and second variational formulas. Chinese Ann. Math. Ser A, 7:389–402, 1986

1986
[13]

Loubeau, S

E. Loubeau, S. Montaldo, and C. Oniciuc. The stress-energy tensor for biharmonic maps. Mathematische Zeitschrift, 259:503–524, 2008

2008
[14]

Montaldo, C

S. Montaldo, C. Oniciuc, and A. Ratto. Biconservative surfaces. The Journal of Geometric Analysis , 26:313–329, 2016

2016
[15]

Montaldo, C

S. Montaldo, C. Oniciuc, and A. Ratto. Proper biconservative immersions into the euclidean space. Annali di Matematica Pura ed Applicata (1923-) , 195:403–422, 2016

1923
[16]

N. C. Turgay. H-hypersurfaces with three distinct principal curvatures in the euclidean spaces. Annali di Matematica Pura ed Applicata (1923-) , 194(6):1795–1807, 2015. Permanent address: Mathematics and Science Education, Maltepe University, Istanbul, 34480, Turkey Current ad...

1923

Pith tools

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

[1] [1]

Andronic and A

S ¸. Andronic and A. Kayhan. Rigidity results for compact biconservative hypersurfaces in space forms. Journal of Geometry and Physics , 212:105460, 2025

work page 2025

[2] [2]

Caddeo, S

R. Caddeo, S. Montaldo, C. Oniciuc, and P. Piu. Surfaces in three-dimensional space forms with divergence-free stress-bienergy tensor. Annali di Matematica Pura ed Applicata , 193:529–550, 2014

work page 2014

[3] [3]

B.-Y. Chen. Recent development in biconservative submanifolds. arXiv preprint arXiv:2401.03273 , 2024

work page Pith review arXiv 2024

[4] [4]

Q.-M. Cheng. Compact hypersurfaces in a unit sphere with infinite fundamental group. Pacific journal of mathematics , 212(1):49–56, 2003

work page 2003

[5] [5]

Cheng, S

Q.-M. Cheng, S. Shu, and Y. J. Suh. Compact hypersurfaces in a unit sphere. Proceedings of the Royal Society of Edinburgh Section A: Mathematics , 135(6):1129–1137, 2005. RIGIDITY RESULTS FOR BICONSER V ATIVE HYPERSURF ACES 13

work page 2005

[6] [6]

Cheng and S.-T

S.-Y. Cheng and S.-T. Yau. Hypersurfaces with constant scalar curvature. Mathematische Annalen , 225:195–204, 1977

work page 1977

[7] [7]

Fetcu, E

D. Fetcu, E. Loubeau, and C. Oniciuc. Bochner–simons formulas and the rigidity of biharmonic submanifolds. The Journal of Geometric Analysis , 31(2):1732–1755, 2021

work page 2021

[8] [8]

Fetcu and C

D. Fetcu and C. Oniciuc. Biharmonic and biconservative hypersurfaces in space forms. differential geometry and global analysis-in honor of tadashi nagano, 65–90. Contemp. Math , 777

work page