pith. sign in

arxiv: 2604.20695 · v2 · pith:SBZAX4XMnew · submitted 2026-04-22 · 🧮 math.DG

On q-convex hypersurfaces in Riemannian manifolds

Giulio Colombo , Christos-Raent Onti This is my paper

Pith reviewed 2026-05-21 08:28 UTC · model grok-4.3

classification 🧮 math.DG
keywords q-convex hypersurfacesRiemannian manifoldscurvature operatorBetti numbersrational homology spherefundamental groupmean curvature pinchingvanishing theorems
0
0 comments X

The pith

Closed convex hypersurfaces in Riemannian manifolds with middle-dimensional positive curvature operator are rational homology spheres 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 establishes vanishing and estimation results for the Betti numbers of closed q-convex immersed hypersurfaces in an (n+1)-dimensional Riemannian manifold, assuming a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator. From these it concludes that any closed convex hypersurface is a rational homology sphere with finite fundamental group when the curvature operator is positive on its smallest ⌈n/2⌉ eigenvalues. The same topological conclusion holds for ⌈n/2⌉-convex hypersurfaces once their mean curvature satisfies a sharp pinching condition. A sympathetic reader cares because the results tie local curvature control directly to global topological restrictions on hypersurfaces.

Core claim

We prove that 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 sharp 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, derived from a lower bound on the averaged smallest eigenvalues of the curvature operator.

If this is right

  • Betti numbers of the hypersurface vanish in a wide range of dimensions.
  • The fundamental group of the hypersurface is finite.
  • The hypersurface is a rational homology sphere.
  • The same topological conclusions apply to q-convex hypersurfaces once mean-curvature pinching is imposed.

Where Pith is reading between the lines

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

  • The eigenvalue bound on the curvature operator can be checked explicitly in model spaces such as spheres or space forms to test sharpness.
  • The pinching condition on mean curvature may interact with stability properties of the hypersurface under mean-curvature flow.
  • The method could extend to bounds on other topological invariants beyond Betti numbers.

Load-bearing premise

The ambient Riemannian manifold satisfies a lower bound on the average of its smallest (n-p) curvature eigenvalues.

What would settle it

Exhibit a closed convex hypersurface that is not a rational homology sphere inside some Riemannian manifold whose curvature operator has positive average on its smallest ⌈n/2⌉ eigenvalues.

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 sharp 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.

Referee Report

0 major / 3 minor

Summary. The paper proves vanishing and estimation theorems for the Betti numbers of closed q-convex immersed hypersurfaces in (n+1)-dimensional Riemannian manifolds, assuming a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator. As corollaries, any closed convex hypersurface in a manifold with ⌈n/2⌉-positive curvature operator is a rational homology sphere with finite fundamental group; the same conclusion holds for ⌈n/2⌉-convex hypersurfaces under a sharp mean-curvature pinching condition. Both results are derived from the Bochner-Weitzenböck identity on the hypersurface after controlling second-fundamental-form contributions via q-convexity.

Significance. If the central claims hold, the work supplies new topological restrictions on hypersurfaces from ambient curvature-operator bounds and q-convexity, extending classical sphere theorems to a broader setting. The derivation via the Bochner-Weitzenböck formula, with curvature terms controlled precisely by the stated average lower bound once second-fundamental-form contributions are estimated using q-convexity, is internally consistent and yields strict inequalities under the given pinching; this constitutes a clear technical strength.

minor comments (3)
  1. [§1] §1, Theorem 1.1: the precise value of the pinching constant in the mean-curvature condition is stated but not compared numerically to the equality case; an explicit remark on sharpness would help readers.
  2. [§3] §3, after Eq. (3.7): the transition from the pointwise curvature-operator bound to the integrated Bochner term would benefit from a one-line reminder of how the average of the smallest (n-p) eigenvalues enters the estimate.
  3. [Notation] Notation: the symbol for the curvature operator is used both for the ambient manifold and its restriction to the hypersurface; a brief parenthetical distinction at first use would remove ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript. The summary accurately reflects the main results on vanishing and estimation theorems for Betti numbers of closed q-convex hypersurfaces, as well as the corollaries for convex hypersurfaces with ⌈n/2⌉-positive curvature operator and for ⌈n/2⌉-convex hypersurfaces under mean-curvature pinching. We appreciate the recognition of the technical approach via the Bochner-Weitzenböck identity with curvature terms controlled by q-convexity. We will prepare a revised version incorporating any minor adjustments.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard Bochner technique

full rationale

The paper establishes vanishing and estimation theorems for Betti numbers of q-convex hypersurfaces by applying the Bochner-Weitzenböck identity, controlling the curvature term via the stated lower bound on the average of the smallest (n-p) eigenvalues of the ambient curvature operator (or mean-curvature pinching), and using q-convexity to estimate second-fundamental-form contributions. These steps rely on classical differential-geometric identities and inequalities that are independent of the target topological conclusions; the passage from curvature hypothesis to b_k(M)=0 (or the stated bounds) does not reduce to any self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The results are therefore externally falsifiable against the curvature assumptions and do not exhibit circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard domain assumptions in Riemannian geometry concerning the curvature operator and convexity; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption The (n+1)-dimensional Riemannian manifold has a lower bound on the average of the smallest (n-p) eigenvalues of the curvature operator.
    This curvature condition is the hypothesis used to derive the vanishing and estimation theorems for Betti numbers of q-convex hypersurfaces.

pith-pipeline@v0.9.0 · 5634 in / 1108 out tokens · 34984 ms · 2026-05-21T08:28:54.756755+00:00 · methodology

Review history (2 revisions) →

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.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [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. [2]

    Aubin,M´ etriques riemanniennes et courbure, J

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

    work page 1970

  3. [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. [4]

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

    work page 2018

  5. [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. [6]

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

    work page 1970

  7. [7]

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

    work page 1969

  8. [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

    work page 1958

  9. [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

    work page 1975

  10. [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

    work page

  11. [11]

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

    work page 1982

  12. [12]

    Van Heijenoort,On locally convex manifolds, Comm

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

    work page 1952

  13. [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. [14]

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

    work page 2022

  15. [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

    work page 1963

  16. [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

    work page 2022

  17. [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

    work page 1998

  18. [18]

    171, Springer, Cham,

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

    work page

  19. [19]

    Petersen and M

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

    work page 2021

  20. [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. [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

    work page 2014

  22. [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. [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