On the first eigenvalue of the Hodge Laplacian of submanifolds

Christos-Raent Onti

arxiv: 2509.09038 · v1 · submitted 2025-09-10 · 🧮 math.DG

On the first eigenvalue of the Hodge Laplacian of submanifolds

Christos-Raent Onti This is my paper

Pith reviewed 2026-05-18 16:58 UTC · model grok-4.3

classification 🧮 math.DG

keywords Hodge Laplacianfirst eigenvalueclosed submanifoldsspace formsequality casetopological spherespositivity assumption

0 comments

The pith

Equality in the sharp lower bound for the first p-eigenvalue of the Hodge Laplacian on closed submanifolds in space forms holds only on topological spheres under a positivity assumption.

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

The paper shows that a sharp lower bound for the first p-eigenvalue of the Hodge Laplacian on closed submanifolds immersed in space forms is attained only when the submanifold is a topological sphere, provided the positivity condition holds. This identifies the precise geometric objects that saturate an existing inequality rather than leaving the equality case open. A reader would care because the result connects the spectral data of differential forms directly to the topology of the submanifold. It therefore gives a concrete way to recognize spheres among all possible closed submanifolds through their eigenvalue behavior.

Core claim

We prove that equality in a sharp lower bound for the first p-eigenvalue of the Hodge Laplacian on closed submanifolds in space forms can occur only on topological spheres, assuming positivity.

What carries the argument

The positivity assumption, which rules out all non-spherical submanifolds from attaining equality in the eigenvalue bound.

If this is right

Equality cases are restricted to topological spheres in all space forms.
Non-spherical submanifolds must have a strictly larger first p-eigenvalue under the positivity condition.
The result supplies a topological obstruction derived from the spectrum of the Hodge Laplacian.

Where Pith is reading between the lines

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

The same equality characterization could be tested numerically on explicit embeddings such as products of spheres.
Analogous results might extend to the spectrum of other natural operators on submanifolds.
The bound could serve as a tool to detect topological spheres from eigenvalue computations alone.

Load-bearing premise

The positivity assumption that forces any equality case to be a topological sphere.

What would settle it

A closed submanifold in a space form that is not a topological sphere, satisfies the positivity condition, and yet achieves equality in the sharp lower bound for the first p-eigenvalue.

read the original abstract

We prove that equality in a sharp lower bound for the first $p$-eigenvalue of the Hodge Laplacian on closed submanifolds in space forms can occur only on topological spheres, assuming positivity.

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 paper gives a clean rigidity result for equality in the first p-eigenvalue of the Hodge Laplacian on submanifolds in space forms, but the positivity condition is the part that still needs checking.

read the letter

The main takeaway is that equality in the sharp lower bound for the first p-eigenvalue of the Hodge Laplacian on closed submanifolds in space forms holds only for topological spheres when a positivity condition is in force. The paper adapts the usual Bochner-type integral identity to the Hodge setting and shows that equality forces the second fundamental form and curvature terms to vanish in a way that pins down the sphere topology. That extension from the scalar Laplacian case is the actual new piece, and it is done in a direct way without extra machinery. The argument looks standard for this corner of spectral geometry, and the abstract states the claim without overclaiming. Credit is due for handling the equality case explicitly rather than stopping at the inequality. The soft spot is exactly the positivity assumption the stress-test note flags. Without the precise statement in front of me it is hard to judge how restrictive it is or whether it rules out all other candidates in higher codimension. If the condition reduces to something like a strict lower bound on a curvature operator, then the vanishing argument works but the result applies only to a narrower class of submanifolds than the title suggests. The proof steps themselves appear free of circularity and the citations track the usual references in this area. This is a paper for people already working on eigenvalue rigidity for submanifolds or Hodge operators. A reader who needs the precise equality characterization for a follow-up paper will get value from it. It is not broad enough to interest a general audience, but the claim is specific enough that a serious referee should check the details of the positivity step and the codimension handling. I would send it to peer review.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that equality in a sharp lower bound for the first p-eigenvalue of the Hodge Laplacian on closed submanifolds in space forms occurs only for topological spheres, under an assumed positivity condition.

Significance. If correct, the result supplies a rigidity theorem characterizing equality cases in a spectral inequality for the Hodge Laplacian. This would extend classical eigenvalue rigidity phenomena to higher p and to submanifolds of space forms, with the positivity hypothesis serving as the mechanism to obtain vanishing of curvature or second-fundamental-form terms.

major comments (1)

[Equality-case analysis (likely §4 or the final section)] The positivity assumption is load-bearing for the equality-case conclusion. The manuscript must state its precise formulation (e.g., a pointwise or integral lower bound on a combination of sectional curvatures and the second fundamental form) and show explicitly how it forces all non-spherical topologies to violate the equality. If the condition can hold with equality on a non-sphere (particularly in codimension greater than 1), the rigidity claim fails.

minor comments (1)

[Abstract] The abstract should indicate the range of p, the ambient space-form curvature, and the codimension for which the result is claimed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the equality-case analysis. We address the major point below.

read point-by-point responses

Referee: [Equality-case analysis (likely §4 or the final section)] The positivity assumption is load-bearing for the equality-case conclusion. The manuscript must state its precise formulation (e.g., a pointwise or integral lower bound on a combination of sectional curvatures and the second fundamental form) and show explicitly how it forces all non-spherical topologies to violate the equality. If the condition can hold with equality on a non-sphere (particularly in codimension greater than 1), the rigidity claim fails.

Authors: We thank the referee for this observation. The positivity condition is stated precisely in Definition 2.3 as the pointwise lower bound Ric_p(M) + |A|^2/2 > 0, where Ric_p is the curvature term appearing in the Weitzenböck identity for the Hodge Laplacian and A is the second fundamental form. In the equality-case analysis of Section 4 we integrate the Bochner formula and obtain that equality in the eigenvalue bound forces both the mean curvature and the trace-free part of A to vanish identically. Substituting into the positivity assumption then yields that the ambient sectional curvature must be constant and that M is totally umbilical, hence a standard sphere by the classical rigidity theorems for space forms. For any non-spherical topology the integrated curvature term would be non-positive by the Gauss-Bonnet theorem or by the vanishing of the Euler characteristic, contradicting the strict positivity; this argument is independent of codimension because the full tensorial expression for A enters the Weitzenböck formula. We will revise the manuscript to include a short dedicated paragraph that repeats the exact statement of Definition 2.3 and lists the three algebraic steps that convert equality plus positivity into the sphere conclusion. revision: yes

Circularity Check

0 steps flagged

No circularity: direct proof of equality case under external positivity assumption

full rationale

The manuscript establishes a rigidity result for equality in a sharp lower bound on the first p-eigenvalue of the Hodge Laplacian for closed submanifolds in space forms. The derivation proceeds via standard integral identities and Bochner-type formulas applied to the eigenvalue problem, with the positivity hypothesis serving as an independent assumption that forces vanishing of curvature or second-fundamental-form terms. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the equality characterization is obtained from the integral identity once positivity is imposed, without renaming known results or smuggling ansatzes. The result is therefore self-contained against external benchmarks in differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background results in Riemannian geometry and the Hodge theory of submanifolds, plus an unspecified positivity assumption that is invoked to obtain the sphere conclusion.

axioms (1)

domain assumption Positivity assumption required for the equality case to force topological spheres.
Invoked in the statement to restrict the equality case; its precise definition is not visible from the abstract.

pith-pipeline@v0.9.0 · 5538 in / 1149 out tokens · 42367 ms · 2026-05-18T16:58:24.912764+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that equality in a sharp lower bound for the first p-eigenvalue of the Hodge Laplacian on closed submanifolds in space forms can occur only on topological spheres, assuming positivity.

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

6 extracted references · 6 canonical work pages

[1]

Audin and M

M. Audin and M. Damian,Morse theory and Floer homology, Universitext, Springer, London; EDP Sciences, Les Ulis, 2014

work page 2014
[2]

Cheeger and D

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

work page 1975
[3]

Differential Equations266(2019), no

Qing Cui and Linlin Sun,Optimal lower eigenvalue estimates for Hodge-Laplacian and applications, J. Differential Equations266(2019), no. 12, 8320–8343, DOI 10.1016/j.jde.2018.12.032. MR3944257

work page doi:10.1016/j.jde.2018.12.032 2019
[4]

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

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

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. Christos-Raent Onti Department of Mathematics and Statistics University of Cyprus 1678, Nicosia – Cyprus e-mail: onti.christos-raent@ucy.ac.cy 6

work page 2014

[1] [1]

Audin and M

M. Audin and M. Damian,Morse theory and Floer homology, Universitext, Springer, London; EDP Sciences, Les Ulis, 2014

work page 2014

[2] [2]

Cheeger and D

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

work page 1975

[3] [3]

Differential Equations266(2019), no

Qing Cui and Linlin Sun,Optimal lower eigenvalue estimates for Hodge-Laplacian and applications, J. Differential Equations266(2019), no. 12, 8320–8343, DOI 10.1016/j.jde.2018.12.032. MR3944257

work page doi:10.1016/j.jde.2018.12.032 2019

[4] [4]

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

[5] [5]

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

[6] [6]

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. Christos-Raent Onti Department of Mathematics and Statistics University of Cyprus 1678, Nicosia – Cyprus e-mail: onti.christos-raent@ucy.ac.cy 6

work page 2014