arxiv: 2605.11384 · v1 · submitted 2026-05-12 · 🧮 math.DG · math.AP

Recognition: no theorem link

Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

Gioacchino Antonelli, Paul Sweeney Jr, Yangyang Li

Pith reviewed 2026-05-13 01:54 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords spectral Ricci curvaturemean-convex boundaryisometric splittingpositive sectional curvaturerigidityKasue theoremrelative fundamental groupLawson-Michelsohn theorem

0 comments

The pith

Under a spectral lower bound on Ricci curvature and mean-convex boundary, complete manifolds with disconnected boundary split isometrically as products.

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

The paper extends Kasue's rigidity theorem to a spectral version of nonnegative Ricci curvature. It proves that when the first eigenvalue of the operator -γΔ + Ric is nonnegative and the boundary has nonnegative mean curvature, a complete manifold with at least one compact boundary component and disconnected boundary must be a Riemannian product [0, L] × Σ, provided γ stays below the sharp thresholds 4 for surfaces and (n-1)/(n-2) for higher dimensions. The authors further establish a topological rigidity statement for the relative fundamental group and combine it with the Lawson-Michelsohn theorem to show that, in dimensions other than four, compact manifolds satisfying the same conditions with at least one inequality strict admit a metric of positive sectional curvature with strictly mean-convex boundary.

Core claim

The paper establishes that for Riemannian manifolds with mean-convex boundary satisfying λ₁(-γΔ + Ric) ≥ 0 in the range 0 ≤ γ < 4 for n=2 and 0 ≤ γ < (n-1)/(n-2) for n ≥ 3, a complete manifold with disconnected boundary having at least one compact component splits isometrically as [0, L] × Σ. Additionally, in dimensions n ≠ 4, compact manifolds satisfying the conditions with at least one inequality strict admit a metric of positive sectional curvature with strictly mean-convex boundary, and the range of γ is sharp for this conclusion.

What carries the argument

The first eigenvalue λ₁ of the operator -γΔ + Ric, together with the mean curvature H of the boundary, which together control both the splitting and the deformation to positive sectional curvature.

If this is right

Complete manifolds with at least one compact boundary component and disconnected boundary must be isometric products [0, L] × Σ.
The relative fundamental group π₁(M, ∂M) satisfies a rigidity property that, when combined with the Lawson-Michelsohn theorem, produces positive sectional curvature metrics in dimensions other than four.
The thresholds on γ are sharp: crossing them allows examples that do not split or do not admit positive sectional curvature metrics.
The results hold for possibly noncompact manifolds, provided at least one boundary component is compact.

Where Pith is reading between the lines

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

The spectral formulation allows the rigidity to hold without pointwise curvature assumptions, suggesting that eigenvalue conditions can substitute for stronger pointwise bounds in other splitting theorems.
The exclusion of dimension four in the flexibility result traces directly to limitations of the Lawson-Michelsohn theorem rather than to the curvature conditions themselves.
The parameter γ interpolates between the pure Laplacian case and the pure Ricci case, indicating a continuous family of curvature operators that all yield the same conclusion below the critical thresholds.

Load-bearing premise

The first eigenvalue of -γΔ + Ric being nonnegative, combined with nonnegative mean curvature on the boundary, forces either isometric splitting or the existence of a positive sectional curvature metric depending on the range of γ.

What would settle it

A complete manifold with disconnected mean-convex boundary that satisfies λ₁(-γΔ + Ric) ≥ 0 but fails to split isometrically as a product, or a compact four-dimensional manifold satisfying the conditions that cannot be deformed to positive sectional curvature.

Figures

Figures reproduced from arXiv: 2605.11384 by Gioacchino Antonelli, Paul Sweeney Jr, Yangyang Li.

**Figure 1.** Figure 1: A symmetric classical Schottky fundamental domain (in grey) for Σ = D/Γ. The red (geodesic) sides are exchanged by ρ and paired by B; the blue (geodesic) sides are fixed setwise by ρ and paired by A. The green diameter G is used for the cut. Since the endpoints a0 and −a0 of G are the fixed points of A, they belong to Λ(Γ). Choose η ∈ Ω(Γ) with η /∈ {a0, −a0} and define ξ1 := η, ξ2 := ρ(η). Since ρ preserv… view at source ↗

read the original abstract

We study Riemannian manifolds $(M^n,g)$ with mean-convex boundary whose Ricci curvature is nonnegative in a spectral sense. Our first main result is a sharp spectral extension of a rigidity theorem by Kasue: we prove that under the conditions \[ \lambda_1(-\gamma\Delta+\mathrm{Ric})\geq 0,\qquad H_{\partial M}\geq 0, \] and in the sharp range $0\leq \gamma<4$ if $n=2$, and $0\leq\gamma<\frac{n-1}{n-2}$ if $n\geq3$, a (possibly noncompact) complete manifold with disconnected boundary, with at least one compact boundary component, must split isometrically as a product $[0,L]\times \Sigma$. Our second main contribution is a topological rigidity result for the relative fundamental group $\pi_1(M,\partial M)$, combined with a deep theorem of Lawson--Michelsohn. We prove that, in dimensions $n\neq4$, any compact manifold with boundary satisfying the two inequalities above, with at least one of them strict, admits a metric with positive sectional curvature and strictly mean-convex boundary, provided $\gamma\geq0$ if $n=2$, and $0\leq\gamma\leq\frac{n-1}{n-2}$ if $n\geq3$. This range of $\gamma$ is sharp for the latter result to hold.

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

This extends Kasue rigidity to a spectral Ricci bound with sharp gamma ranges and adds a flexibility result to positive curvature metrics except in dimension 4.

read the letter

This paper sharpens a classical rigidity theorem of Kasue to a spectral lower bound on a combination of the Laplacian and Ricci curvature. Under lambda_1(-gamma Delta + Ric) at least zero and mean-convex boundary, with gamma below 4 in dimension two and below (n-1)/(n-2) otherwise, a complete manifold with at least one compact boundary component splits as a product. They also prove a flexibility statement: in dimensions not four, if either inequality is strict, the manifold admits a metric of positive sectional curvature with strictly mean-convex boundary.

Referee Report

0 major / 3 minor

Summary. The paper proves a sharp spectral rigidity theorem extending Kasue's result: under λ₁(−γΔ + Ric) ≥ 0 and H_∂M ≥ 0, complete (possibly noncompact) manifolds with disconnected boundary and at least one compact component split isometrically as [0, L] × Σ, for 0 ≤ γ < 4 (n=2) and 0 ≤ γ < (n−1)/(n−2) (n ≥ 3). It also establishes a flexibility result: in dimensions n ≠ 4, compact manifolds satisfying the inequalities (with at least one strict) admit a positive sectional curvature metric with strictly mean-convex boundary for γ in the closed range [0, (n−1)/(n−2)], via vanishing of π₁(M, ∂M) and the Lawson–Michelsohn theorem. The ranges are asserted to be sharp.

Significance. If the claims hold, the work delivers a precise spectral strengthening of boundary rigidity results and pairs it with a topological flexibility theorem that produces positive-curvature metrics. The integral Bochner-type identity, absorption of boundary terms without sign loss precisely in the stated γ-interval, and direct invocation of the Lawson–Michelsohn theorem constitute concrete technical strengths. The explicit sharpness statements and handling of the n=4 caveat add value to the literature on spectral geometry of manifolds with boundary.

minor comments (3)

§1, paragraph after the statement of Theorem 1.1: the phrase 'sharp range' is used before the proof of sharpness is given; a forward reference to the flexibility section or the final remark would prevent the reader from assuming the sharpness claim is already justified.
The notation λ₁(−γΔ + Ric) is introduced in the abstract and §1 without an explicit definition of the quadratic form or the precise domain (e.g., whether test functions vanish on ∂M). Adding a short sentence or equation in §2 would remove ambiguity.
The proof sketch in the introduction invokes an 'integral Bochner-type identity' without indicating the section where the identity is derived; a parenthetical reference to the relevant proposition would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our work, the recognition of its technical contributions (including the integral Bochner identity and boundary term absorption), and the recommendation of minor revision. We address the report below.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via independent theorems

full rationale

The central rigidity result extends Kasue's theorem via an integral Bochner identity applied to the spectral hypothesis λ1(−γΔ + Ric) ≥ 0 and mean-convexity H∂M ≥ 0, producing a parallel gradient and vanishing Hessian that forces the product splitting when one boundary component is compact. The flexibility result invokes the independent Lawson–Michelsohn theorem after establishing vanishing of π1(M, ∂M). No step reduces by construction to a fitted parameter, self-definition, or self-citation chain; all load-bearing estimates close from the given range of γ and standard trace inequalities without circular reduction. The paper is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claims rest on standard axioms of Riemannian geometry and spectral theory plus the cited theorems of Kasue and Lawson-Michelssohn. No free parameters are fitted to data and no new entities are postulated.

axioms (3)

standard math The space is a complete Riemannian manifold with boundary
Foundational setup for all statements in the abstract
domain assumption The first eigenvalue λ1(−γΔ + Ric) is well-defined and nonnegative
Central hypothesis of both main results
domain assumption Boundary mean curvature H_∂M ≥ 0
Boundary condition required for the rigidity and flexibility statements

pith-pipeline@v0.9.0 · 5554 in / 1456 out tokens · 69841 ms · 2026-05-13T01:54:11.787597+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 3 internal anchors

[1]

A sharp spectral splitting theorem

[APX24] G. Antonelli, M. Pozzetta, and K. Xu. “A sharp spectral splitting theorem”. Preprint arXiv:2412.12707

work page arXiv
[2]

Connected sum of manifolds with spectral Ricci lower bounds

arXiv:2405.08918 [math.DG]. [AX26] G. Antonelli and K. Xu. “Connected sum of manifolds with spectral Ricci lower bounds”. In:Proc. Amer. Math. Soc.154.6 (2026), pp. 2635–2647. [BC17] V. Bour and G. Carron. “A sphere theorem for three dimensional manifolds with integral pinched curvature”. In:Comm. Anal. Geom.25.1 (2017), pp. 97–

work page arXiv 2026
[3]

Gradient estimates for the Green kernel under spectral Ricci bounds, and the stable Bernstein theorem in $\mathbb{R}^4$

arXiv:2604.14393 [math.DG]. [Cat+24] G. Catino, L. Mari, P. Mastrolia, and A. Roncoroni.Criticality, splitting theo- rems under spectral Ricci bounds and the topology of stable minimal hypersur- faces

work page internal anchor Pith review Pith/arXiv arXiv
[4]

Criticality, splitting theorems under spectral Ricci bounds and the topology of stable minimal hypersurfaces

arXiv:2412.12631 [math.DG]. [CS26] X. Chai and Y. Sun.Some rigidity theorems for spectral curvature bounds

work page internal anchor Pith review Pith/arXiv arXiv
[5]

Some rigidity theorems for spectral curvature bounds

arXiv:2604.04052 [math.DG]. [CL23] O. Chodosh and C. Li. “Stable anisotropic minimal hypersurfaces inR 4”. In: Forum Math. Pi11 (2023), Paper No. e3,

work page internal anchor Pith review Pith/arXiv arXiv 2023
[6]

A warped product splitting theorem

arXiv:2401.01492 [math.DG]. [CK92] C. B. Croke and B. Kleiner. “A warped product splitting theorem”. In:Duke Math. J.67.3 (1992), pp. 571–574. [CM25] A. Cucinotta and A. Mondino. “A splitting theorem for manifolds with a convex boundary component and applications”.https://arxiv.org/abs/ 2406.09784

work page arXiv 1992
[7]

The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature

arXiv:2406.09784. [FS80] D. Fischer-Colbrie and R. Schoen. “The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature”. In:Comm. Pure Appl. Math.33.2 (1980), pp. 199–211. REFERENCES 31 [FL14] A. Fraser and M. M.-C. Li. “Compactness of the space of embedded minimal surfaces with free boundary in three-manifolds with n...

work page arXiv 1980
[8]

A note on the fundamental group of a compact minimal hypersurface

[Gal87] G. J. Galloway. “A note on the fundamental group of a compact minimal hypersurface”. In:Pacific J. Math.126.2 (1987), pp. 243–251. [Gro23] M. Gromov. “Four lectures on scalar curvature”. In:Perspectives in scalar curvature. Vol

work page 1987
[10]

Spectral torical band inequal- ities and generalizations of the Schoen-Yau black hole existence theorem

[Hir+24] S. Hirsch, D. Kazaras, M. Khuri, and Y. Zhang. “Spectral torical band inequal- ities and generalizations of the Schoen-Yau black hole existence theorem”. In: Int. Math. Res. Not. IMRN4 (2024), pp. 3139–3175. [HW26] H. Hong and G. Wang. “A splitting theorem for manifolds with nonnegative spectral Ricci curvature and mean convex boundary”. In:J. Fu...

work page 2024
[11]

Riemannian manifolds with compact boundary

[Ich81] R. Ichida. “Riemannian manifolds with compact boundary”. In:Yokohama Math. J.29.2 (1981), pp. 169–177. [Kas83] A. Kasue. “Ricci curvature, geodesics and some geometric properties of Rie- mannian manifolds with boundary”. In:J. Math. Soc. Japan35.1 (1983), pp. 117–131. [Law70] H. B. Lawson Jr. “The unknottedness of minimal embeddings”. In:Invent. M...

work page 1981
[12]

Metrics withλ 1(−∆ +kR)≥0 and flexibility in the Riemannian Penrose inequality

[LM23] C. Li and C. Mantoulidis. “Metrics withλ 1(−∆ +kR)≥0 and flexibility in the Riemannian Penrose inequality”. In:Comm. Math. Phys.401.2 (2023), pp. 1831–1877. [Li14] M. M.-C. Li. “A sharp comparison theorem for compact manifolds with mean convex boundary”. In:J. Geom. Anal.24.3 (2014), pp. 1490–1496. [Maz24] L. Mazet.Stable minimal hypersurfaces inR

work page 2023
[13]

The Exponent of Convergence of Poincare Series

arXiv:2405.14676 [math.DG]. [Pat76a] S. J. Patterson. “The Exponent of Convergence of Poincare Series”. In:Monat- shefte fur Mathematik82 (1976), pp. 297–315. [Pat76b] S. J. Patterson. “The Limit Set of a Fuchsian Group”. In:Acta Mathematica 136 (1976), pp. 241–273. [Qui] J.-F. Quint.An overview of Patterson–Sullivan theory. Lecture notes, Zurich. [Sul79]...

work page arXiv 1976