pith. sign in

arxiv: 2606.02829 · v1 · pith:MDAJSRO5new · submitted 2026-06-01 · 🧮 math.DG · math.GT

Sharp focal radius estimate and rigidity of hypersurfaces in manifolds with positive curvature

Tsz-Kiu Aaron Chow , Jingbo Wan This is my paper

Pith reviewed 2026-06-28 12:26 UTC · model grok-4.3

classification 🧮 math.DG math.GT
keywords focal radiushypersurface rigidityClifford hypersurfacep-form curvature conditionWeitzenbock curvatureRicci curvatureBetti numbersspherical space forms
0
0 comments X

The pith

Under a p-form curvature condition, closed hypersurfaces with nonzero p-Betti number satisfy focal radius at most π/4.

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

The paper proves that in an ambient manifold satisfying the p-form curvature condition (Weitzenbock term plus Ric_p ≥ p), any closed two-sided hypersurface immersion with nonzero p-th Betti number and p at most half the dimension has focal radius bounded above by π/4. This bound is achieved precisely by the Clifford hypersurfaces in the unit sphere, and the paper shows rigidity: equality forces the hypersurface to be locally such a product when the ambient space is complete, or a spherical space form when the ambient space is compact and connected. The curvature condition is satisfied whenever sectional curvature is at least 1 (for p=1), or under normalized PIC1 ≥1 (for p=2), or when the curvature operator is bounded below by one. The result also yields focal-radius estimates in complex and quaternionic projective spaces via lifting and Hopf fibrations.

Core claim

Under the p-form curvature condition given by the Weitzenbock curvature term together with Ric_p ≥ p, any closed two-sided immersion F:Σ^m → M^{m+1} with b_p(Σ;R) ≠ 0 and 1 ≤ p ≤ m/2 satisfies r_f(F,M) ≤ π/4. If the ambient manifold is complete, equality forces the hypersurface to be locally the Clifford hypersurface S^p(1/√2) × S^{m-p}(1/√2) ⊂ S^{m+1}(1); if the ambient manifold is compact and connected, it is a spherical space form. The curvature condition follows from sec ≥1 for p=1, from normalized PIC1 ≥1 for p=2, and from curvature operator bounded below by one in all degrees.

What carries the argument

The focal radius r_f(F,M) of the immersion, bounded by comparison along normal geodesics using the p-form curvature condition to control the evolution of the second fundamental form.

If this is right

  • The estimate holds for all manifolds with sectional curvature at least 1 when p=1.
  • For p=2 the estimate follows from normalized PIC1 ≥1.
  • Quotient lifting and Hopf fibrations extend the focal-radius bound and projective Clifford rigidity to CP^n and HP^n without needing a Betti-number hypothesis.
  • Equality cases classify certain hypersurfaces in positive-curvature space forms as Clifford products.

Where Pith is reading between the lines

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

  • The bound may obstruct certain topological embeddings in other positively curved symmetric spaces.
  • One could check the result by direct computation of focal radii for explicit product-of-spheres immersions in the sphere.
  • The rigidity statement suggests a possible classification of equality cases under weaker curvature assumptions.

Load-bearing premise

The ambient manifold satisfies the p-form curvature condition consisting of the Weitzenbock term together with Ric_p ≥ p.

What would settle it

Exhibiting a closed two-sided hypersurface immersion with b_p(Σ;R) ≠ 0 whose focal radius exceeds π/4 inside a manifold obeying the p-form curvature condition would disprove the estimate.

read the original abstract

We prove a sharp Clifford-threshold focal-radius estimate and rigidity for immersed hypersurfaces. Under a $p$-form curvature condition, formulated by the Weitzenb\"ock curvature term together with $\mathrm{Ric}_p\ge p$, any closed two-sided immersion $F:\Sigma^m\to M^{m+1}$ with $b_p(\Sigma;\mathbb R)\neq0$ and $1\le p\le m/2$ satisfies \[ r_f(F,M)\le\frac{\pi}{4}. \] The equality case is rigid: if the ambient manifold is complete, equality forces the hypersurface to be locally the Clifford hypersurface $S^p(1/\sqrt2)\times S^{m-p}(1/\sqrt2)\subset S^{m+1}(1)$; if the ambient manifold is compact and connected, it is a spherical space form. The curvature condition follows from $\sec\ge1$ for $p=1$, from normalized $\mathrm{PIC1}\ge1$ for $p=2$, and from curvature operator bounded below by one in all degrees. By quotient lifting and the Hopf fibrations, we also obtain focal-radius estimates in $\mathbb{CP}^n$ and $\mathbb{HP}^n$, with projective Clifford rigidity, without any Betti-number assumption.

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 a sharp focal-radius estimate for closed two-sided immersed hypersurfaces Σ^m in an (m+1)-dimensional Riemannian manifold M under a p-form curvature hypothesis (Weitzenböck curvature term together with Ric_p ≥ p). When the p-th Betti number b_p(Σ;ℝ) is nonzero and 1 ≤ p ≤ m/2, the focal radius satisfies r_f(F,M) ≤ π/4. Equality is rigid: if M is complete then the hypersurface is locally the Clifford product S^p(1/√2) × S^{m-p}(1/√2) inside the unit sphere; if M is compact and connected then M is a spherical space form. The hypothesis is implied by sec ≥ 1 (p=1), normalized PIC1 ≥ 1 (p=2), or a lower bound of 1 on the curvature operator (all degrees). Additional focal-radius bounds and projective Clifford rigidity are obtained in ℂP^n and ℍP^n by quotient lifting and Hopf fibrations, without a Betti-number hypothesis.

Significance. If the comparison and rigidity statements hold, the result supplies a sharp, unified focal-radius threshold under a family of positive-curvature conditions that includes the classical sectional-curvature case and several higher-order curvature operators. The equality characterization recovers the expected Clifford hypersurface model and extends known sphere theorems to a focal-radius setting. The projective-space applications demonstrate that the method adapts to quotient geometries without extra topological assumptions.

minor comments (3)
  1. [Abstract] The abstract invokes the Weitzenböck term and Ric_p without an explicit formula; a displayed definition of the curvature operator in the introduction would clarify the hypothesis for readers.
  2. The statement that the curvature condition “follows from sec ≥ 1 for p=1” should include a one-line reference to the standard Weitzenböck identity used, even if the verification is routine.
  3. Notation for the focal radius r_f(F,M) is introduced without a parenthetical reminder of its definition via the first focal point along the normal exponential map; a brief clause would aid accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report, so we have no specific points to address point-by-point. We are pleased that the referee views the focal-radius estimate, rigidity statements, and projective-space applications as a unified contribution under the given curvature hypotheses.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper presents a comparison theorem bounding focal radius r_f by π/4 under an external hypothesis (Weitzenböck term together with Ric_p ≥ p) on the ambient manifold M. This curvature condition is stated as an assumption that enables the Bochner/index-form argument on a non-vanishing harmonic p-form; it is not derived internally nor fitted to data. Equality rigidity to the Clifford hypersurface follows from standard model-space comparison in the unit sphere, with no renaming of known results or ansatz smuggling. No load-bearing self-citations or uniqueness theorems imported from the authors' prior work appear in the provided abstract or description; the derivation remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the p-form curvature condition as an external hypothesis; no free parameters or new entities are introduced in the abstract statement.

axioms (2)
  • standard math Standard axioms of Riemannian geometry: smooth manifold structure, immersion, second fundamental form, and focal-radius definition via normal exponential map.
    Background framework required for any statement about hypersurface focal points.
  • domain assumption The p-form curvature condition (Weitzenbock term + Ric_p ≥ p) holds on the ambient manifold.
    This is the load-bearing hypothesis that enables the comparison; it is not derived inside the paper.

pith-pipeline@v0.9.1-grok · 5766 in / 1483 out tokens · 23340 ms · 2026-06-28T12:26:38.872464+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Maximal Normal Curvature and Veronese Rigidity

    math.DG 2026-07 unverdicted novelty 7.0

    Proves κ(F) ≥ √(2n/(n+1)) for almost Hermitian (dim 2n) or quaternion-Hermitian (dim 4n) submanifolds with harmonic fundamental forms, with equality iff the form is parallel and the immersion is a standard Veronese em...

Reference graph

Works this paper leans on

12 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bochner, Vector fields and Ricci curvature,Bull

    S. Bochner, Vector fields and Ricci curvature,Bull. Amer. Math. Soc.52(1946), no. 9, 776–797.↑2

    1946

  2. [2]

    T. E. Cecil and P. J. Ryan, Focal sets and real hypersurfaces in complex projective space,Trans. Amer. Math. Soc.269(1982), no. 2, 481–499.↑22

    1982

  3. [3]

    T.-K. A. Chow and J. Zhu, Bandwidth and focal radius with positive isotropic curvature, arXiv:2405.20129, 2024.↑2

    work page arXiv 2024

  4. [4]

    Gallot and D

    S. Gallot and D. Meyer, Op´ erateur de courbure et laplacien des formes diff´ erentielles d’une vari´ et´ e riemannienne,J. Math. Pures Appl.54(1975), 259–284.↑2

    1975

  5. [5]

    Ge, Gehring link problem, focal radius and over-torical width,Amer

    J. Ge, Gehring link problem, focal radius and over-torical width,Amer. J. Math.146(2024), no. 5, 1295–1304.↑2

    2024

  6. [6]

    Gromov, Metric inequalities with scalar curvature,Geom

    M. Gromov, Metric inequalities with scalar curvature,Geom. Funct. Anal.28(2018), 645–726.↑2

    2018

  7. [7]

    Guijarro and F

    L. Guijarro and F. Wilhelm, Focal radius, rigidity, and lower curvature bounds,Proc. London Math. Soc.116(2018), no. 6, 1519–1552.↑1

    2018

  8. [8]

    Hirsch, D

    S. Hirsch, D. Kazaras, M. Khuri, and Y. Zhang, Rigid comparison geometry for Riemannian bands and open incomplete manifolds,Math. Ann.391(2025), no. 2, 2587–2652.↑2

    2025

  9. [9]

    M. J. Micallef and M. Y. Wang, Metrics with nonnegative isotropic curvature,Duke Math. J.72(1993), no. 3, 649–672.↑7

    1993

  10. [10]

    Petersen and M

    P. Petersen and M. Wink, New curvature conditions for the Bochner Technique,Inventiones mathemat- icae224(2021), 33-54.↑2, 5

    2021

  11. [11]

    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.↑ 3

    2014

  12. [12]

    Zhu, Width estimate and doubly warped product,Trans

    J. Zhu, Width estimate and doubly warped product,Trans. Amer. Math. Soc.374(2021), no. 2, 1497– 1511.↑2, 4 26 TSZ-KIU AARON CHOW AND JINGBO W AN Department of Mathematics, Hong Kong University of Science and Technology, Hong Kong S.A.R., China Email address:chowtka@ust.hk Laboratoire Jacques-Louis Lions de Sorbonne Universit ´e, 4 place Jussieu, Paris 750...

    2021