arxiv: 2604.20695 · v1 · submitted 2026-04-22 · 🧮 math.DG

Recognition: unknown

On q-convex hypersurfaces in Riemannian manifolds

Giulio Colombo , Christos-Raent Onti

Authors on Pith no claims yet

Pith reviewed 2026-05-09 23:02 UTC · model grok-4.3

classification 🧮 math.DG

keywords q-convex hypersurfacesRiemannian manifoldscurvature operatorBetti numbersrational homology spheresvanishing theoremsmean curvature pinchingfundamental group

0 comments

The pith

Any closed convex hypersurface in an (n+1)-dimensional Riemannian manifold with ⌈n/2⌉-positive curvature operator is a rational homology sphere with finite fundamental group.

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

The paper proves vanishing and estimation results for the Betti numbers of closed q-convex immersed hypersurfaces, using a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator. From these theorems it deduces that convex hypersurfaces satisfying a half-positive curvature condition on the ambient manifold must be rational homology spheres with finite fundamental group. The same topological conclusion holds for ⌈n/2⌉-convex hypersurfaces once an additional natural pinching condition on mean curvature is imposed. A sympathetic reader would care because the results constrain the possible topologies of hypersurfaces under curvature assumptions weaker than full positivity, extending classical sphere-type theorems to a broader class of Riemannian manifolds.

Core claim

Any closed, convex hypersurface in an (n+1)-dimensional Riemannian manifold with ⌈n/2⌉-positive curvature operator is a rational homology sphere with finite fundamental group. The same conclusion holds for any ⌈n/2⌉-convex hypersurface, provided that the mean curvature satisfies a natural pinching condition. Both results follow from more general vanishing and estimation theorems for the Betti numbers of closed q-convex immersed hypersurfaces in (n+1)-dimensional Riemannian manifolds, under a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator.

What carries the argument

Vanishing and estimation theorems for Betti numbers of q-convex hypersurfaces, triggered by a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator (or by mean-curvature pinching in the q-convex case).

If this is right

The hypersurface has vanishing Betti numbers in all degrees except possibly 0 and n.
The fundamental group of the hypersurface is finite.
The same topological restrictions apply to ⌈n/2⌉-convex hypersurfaces once mean curvature satisfies the stated pinching.
The results supply new obstructions to the existence of non-simply-connected or non-homology-sphere hypersurfaces under partial positivity of curvature.

Where Pith is reading between the lines

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

The technique may adapt to other partial positivity conditions on the curvature operator, such as those appearing in the study of Ricci flow singularities.
One could test whether the same vanishing holds when the lower bound is replaced by an integral condition rather than a pointwise one.
The results suggest that q-convexity plus curvature pinching might force diffeomorphism to a sphere in low dimensions, though the paper stops at rational homology.

Load-bearing premise

The lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator (or the mean curvature pinching condition) is enough to force the vanishing theorems that control the Betti numbers.

What would settle it

An explicit example of a closed convex hypersurface embedded in a manifold whose curvature operator satisfies the ⌈n/2⌉-positive condition, yet whose first Betti number is positive or whose fundamental group is infinite.

read the original abstract

We prove that any closed, convex hypersurface in an $(n+1)$-dimensional Riemannian manifold with $\lceil \frac{n}{2} \rceil$-positive curvature operator is a rational homology sphere with finite fundamental group. The same conclusion holds for any $\lceil \frac{n}{2} \rceil$-convex hypersurface, provided that the mean curvature satisfies a natural pinching condition. Both results follow from more general vanishing and estimation theorems for the Betti numbers of closed $q$-convex immersed hypersurfaces in $(n+1)$-dimensional Riemannian manifolds, under a lower bound on the average of the smallest $(n-p)$ eigenvalues of the curvature operator.

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 gives vanishing theorems for Betti numbers of q-convex hypersurfaces under averaged curvature bounds, which imply sphere-type conclusions for convex cases.

read the letter

The core contribution is a pair of general vanishing and estimation results for the Betti numbers of closed q-convex immersed hypersurfaces in (n+1)-dimensional Riemannian manifolds. These hold under a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator. From them the authors deduce that any closed convex hypersurface in a manifold with ⌈n/2⌉-positive curvature operator is a rational homology sphere with finite fundamental group, and they obtain the same conclusion for ⌈n/2⌉-convex hypersurfaces once the mean curvature satisfies a natural pinching condition. The averaged curvature hypothesis is the main technical novelty; it weakens the usual pointwise positivity assumptions and therefore covers a larger class of ambient manifolds. The proofs follow the standard Bochner-Weitzenböck route, with the second-fundamental-form terms from q-convexity entering the integrated identity in a controlled way. This looks like a clean extension of earlier sphere theorems for convex hypersurfaces. The potential weak point is whether the averaged lower bound on the smallest eigenvalues is strong enough to keep the full curvature contribution non-negative on the relevant p-forms. If other eigenvalues can be chosen arbitrarily negative while preserving the average, the sign of the Weitzenböck term could fail for some p in 1 to ⌈n/2⌉. The paper claims the estimates close this gap, but a referee will need to check the worst-case calculation carefully. No circularity or fitting issues appear. The work is aimed at specialists in geometric analysis and Riemannian geometry who care about curvature pinching and topological restrictions on hypersurfaces. It is precise enough to deserve a serious referee.

Referee Report

1 major / 1 minor

Summary. The paper proves general vanishing and estimation theorems for Betti numbers of closed q-convex immersed hypersurfaces in (n+1)-dimensional Riemannian manifolds, under a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator. As corollaries, any closed convex hypersurface with ⌈n/2⌉-positive curvature operator is a rational homology sphere with finite fundamental group, and the same holds for ⌈n/2⌉-convex hypersurfaces under a natural mean curvature pinching condition.

Significance. If the central estimates hold, the results give new topological restrictions on hypersurfaces under averaged (rather than pointwise) curvature pinching, extending classical sphere theorems and Bochner-type vanishing results to q-convex settings. The technical approach via integrated Bochner-Weitzenböck identities with averaged eigenvalue bounds is a potentially reusable contribution.

major comments (1)

[Proof of the main vanishing theorem (Bochner-Weitzenböck identity and curvature estimate)] The key step in the vanishing theorems (in the proof of the general Betti number estimates) bounds the curvature contribution to the Weitzenböck term on p-forms by the hypothesis that the average of the smallest (n-p) eigenvalues of the curvature operator is positive. It is not clear whether this averaged lower bound is shown to imply non-negativity of the full curvature term for every unit p-form when 1 ≤ p ≤ ⌈n/2⌉, especially if the remaining eigenvalues can be chosen arbitrarily negative while preserving the average. A explicit minimization argument or inequality establishing the worst-case sign would be needed to close the gap.

minor comments (1)

[Abstract and §1] The statement of the pinching condition for the q-convex case could be made more explicit in the abstract and introduction, including the precise dependence on q and n.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for highlighting the need for a more explicit justification of the curvature estimate in the proof of the vanishing theorem. We address this point below and will revise the manuscript to incorporate additional details.

read point-by-point responses

Referee: The key step in the vanishing theorems (in the proof of the general Betti number estimates) bounds the curvature contribution to the Weitzenböck term on p-forms by the hypothesis that the average of the smallest (n-p) eigenvalues of the curvature operator is positive. It is not clear whether this averaged lower bound is shown to imply non-negativity of the full curvature term for every unit p-form when 1 ≤ p ≤ ⌈n/2⌉, especially if the remaining eigenvalues can be chosen arbitrarily negative while preserving the average. A explicit minimization argument or inequality establishing the worst-case sign would be needed to close the gap.

Authors: We agree that the manuscript would benefit from an explicit argument establishing that the averaged lower bound on the smallest (n-p) eigenvalues implies non-negativity of the curvature term for all unit p-forms in the stated range. In the revised version we will add a short lemma immediately following the statement of the integrated Bochner-Weitzenböck identity. The lemma will contain a minimization argument over the unit sphere in the space of p-forms that shows the curvature contribution is bounded below by a positive multiple of the given average, using the ordering of the eigenvalues of the curvature operator and the fact that p ≤ ⌈n/2⌉ ensures the relevant contractions involve at most the smallest (n-p) eigenvalues. This addition will make the implication fully rigorous without altering the statement or proof strategy of the main theorems. revision: yes

Circularity Check

0 steps flagged

No circularity: self-contained proof from Bochner-Weitzenböck identities and eigenvalue bounds

full rationale

The paper establishes vanishing and estimation theorems for Betti numbers of q-convex hypersurfaces by integrating a Bochner-Weitzenböck identity whose curvature term is controlled by the stated lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator (or mean curvature pinching). These yield the topological conclusions for closed convex or q-convex hypersurfaces. No steps reduce by construction to inputs, fitted parameters renamed as predictions, or load-bearing self-citations; the derivation relies on standard differential geometry identities applied under the given curvature hypotheses. The result is independent of any prior work by the authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

This is a pure theorem paper in Riemannian geometry. No free parameters are introduced. Axioms are standard background results from differential geometry and algebraic topology. No invented entities.

axioms (2)

standard math Standard properties of the curvature operator on Riemannian manifolds and its eigenvalues.
Invoked throughout the statements about positivity and averaging of eigenvalues.
standard math Basic facts from algebraic topology on Betti numbers, rational homology, and fundamental groups of manifolds.
Used to conclude that the hypersurface is a rational homology sphere with finite fundamental group.

pith-pipeline@v0.9.0 · 5403 in / 1424 out tokens · 18745 ms · 2026-05-09T23:02:56.646480+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 7 canonical work pages

[1]

Alexander,Locally convex hypersurfaces of negatively curved spaces, Proc

S. Alexander,Locally convex hypersurfaces of negatively curved spaces, Proc. Amer. Math. Soc.64 (1977), no. 2, 321–325, DOI 10.2307/2041451. MR0448262

work page doi:10.2307/2041451 1977
[2]

Aubin,M´ etriques riemanniennes et courbure, J

T. Aubin,M´ etriques riemanniennes et courbure, J. Differential Geom.4(1970), 383–424

1970
[3]

Brendle and G

S. Brendle and G. Huisken,Mean curvature flow with surgery of mean convex surfaces inR 3, Invent. Math.203(2016), no. 2, 615–654, DOI 10.1007/s00222-015-0599-3. MR3455158

work page doi:10.1007/s00222-015-0599-3 2016
[4]

,Mean curvature flow with surgery of mean convex surfaces in three-manifolds, J. Eur. Math. Soc.20(2018), no. 9, 2239–2257

2018
[5]

,A fully nonlinear flow for two-convex hypersurfaces in Riemannian manifolds, Invent. Math. 210(2017), no. 2, 559–613, DOI 10.1007/s00222-017-0736-2

work page doi:10.1007/s00222-017-0736-2 2017
[6]

M. P. do Carmo and F. W. Warner,Rigidity and convexity of hypersurfaces in spheres, J. Differential Geometry4(1970), 133–144

1970
[7]

M. P. do Carmo and Elon Lima,Isometric immersions with semi-definite second quadratic forms, Arch. Math. (Basel)20(1969), 173–175

1969
[8]

Chern and R

S-S. Chern and R. K. Lashof,On the total curvature of immersed manifolds. II, Michigan Math. J.5 (1958), 5–12. MR0097834

1958
[9]

Cheeger and D

J. Cheeger and D. G. Ebin,Comparison theorems in Riemannian geometry, North-Holland Publish- ing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. North-Holland Mathematical Library, Vol. 9

1975
[10]

Hadamard,Sur certaines propri´ et´ es des trajectories en dynamique, J

J. Hadamard,Sur certaines propri´ et´ es des trajectories en dynamique, J. Math. Pures Appl.3(1897), 331–387
[11]

R. S. Hamilton,Three-manifolds with positive Ricci curvature, J. Differential Geometry17(1982), no. 2, 255–306. MR0664497

1982
[12]

Van Heijenoort,On locally convex manifolds, Comm

J. Van Heijenoort,On locally convex manifolds, Comm. Pure Appl. Math.5(1952), 223–242

1952
[13]

Huisken and C

G. Huisken and C. Sinestrari,Mean curvature flow with surgeries of two-convex hypersurfaces, Invent. Math.175(2009), no. 1, 137–221, DOI 10.1007/s00222-008-0148-4. MR2461428

work page doi:10.1007/s00222-008-0148-4 2009
[14]

R. F. de Lima,A survey on convex hypersurfaces of Riemannian manifolds, Mat. Contemp.50(2022), 185–217

2022
[15]

Milnor,Morse theory, Based on lecture notes by M

J. Milnor,Morse theory, Based on lecture notes by M. Spivak and R. Wells. Annals of Mathematics Studies, No. 51, Princeton University Press, Princeton, N.J., 1963

1963
[16]

Onti and Th

C.-R. Onti and Th. Vlachos,Homology vanishing theorems for pinched submanifolds, J. Geom. Anal. 32(2022), no. 12, Paper No. 294, 33

2022
[17]

Petersen,Riemannian geometry, Graduate Texts in Mathematics, vol

P. Petersen,Riemannian geometry, Graduate Texts in Mathematics, vol. 171, Springer-Verlag, New York, 1998. MR1480173

1998
[18]

171, Springer, Cham,

,Riemannian geometry, 3rd ed., Graduate Texts in Mathematics, vol. 171, Springer, Cham,
[19]

Petersen and M

P. Petersen and M. Wink,New curvature conditions for the Bochner technique, Invent. Math.224 (2021), no. 1, 33–54

2021
[20]

Sacksteder,On hypersurfaces with no negative sectional curvatures, Amer

R. Sacksteder,On hypersurfaces with no negative sectional curvatures, Amer. J. Math.82(1960), 609–630, DOI 10.2307/2372973. MR0116292

work page doi:10.2307/2372973 1960
[21]

Savo,The Bochner formula for isometric immersions, Pacific J

A. Savo,The Bochner formula for isometric immersions, Pacific J. Math.272(2014), no. 2, 395–422

2014
[22]

Sha,p-convex Riemannian manifolds, Invent

J.-P. Sha,p-convex Riemannian manifolds, Invent. Math.83(1986), no. 3, 437–447, DOI 10.1007/BF01394417. MR0827362

work page doi:10.1007/bf01394417 1986
[23]

Federigo Enriques

H. Wu,Manifolds of partially positive curvature, Indiana Univ. Math. J.36(1987), no. 3, 525–548, DOI 10.1512/iumj.1987.36.36029. MR0905609 Giulio Colombo Dipartimento di Matematica “Federigo Enriques” Universit´ a degli Studi di Milano ONQ-CONVEX HYPERSURFACES IN RIEMANNIAN MANIFOLDS 17 Via C. Saldini 50, 20133 Milano (Italy) e-mail: giulio.colombo@unimi....

work page doi:10.1512/iumj.1987.36.36029 1987