pith. sign in

arxiv: 2605.21370 · v1 · pith:5PM4LWXUnew · submitted 2026-05-20 · 🧮 math.DG

Spectral Bernstein theorems for submanifolds in Euclidean spaces

Yuxin Dong , Hezi Lin , Wei Zhang This is my paper

Pith reviewed 2026-05-21 03:17 UTC · model grok-4.3

classification 🧮 math.DG
keywords essential spectrumsubmanifoldsEuclidean spacesecond fundamental formL^p integrabilityLaplace operatorspectral geometrydifferential geometry
0
0 comments X

The pith

Complete non-compact submanifolds in Euclidean space have essential spectrum [0, infinity) when the second fundamental form satisfies an L^p integrability condition for p larger than the dimension.

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

The paper proves several results linking extrinsic geometry of submanifolds to the spectrum of the Laplacian. The central result states that a complete non-compact submanifold whose second fundamental form lies in L^p for p greater than the dimension must have essential spectrum filling the entire half-line from zero onward. This connects the decay of extrinsic curvature at large distances to the distribution of eigenvalues, extending earlier spectral theorems that required stronger assumptions such as minimality or finite total curvature. Readers interested in how local geometric decay controls global analytic behavior would see this as a concrete bridge between differential geometry and spectral theory.

Core claim

For a complete non-compact immersed submanifold M^n in Euclidean space, the condition that the second fundamental form A satisfies the L^p integrability ||A||_p < infinity with p > n implies that the essential spectrum of the Laplace-Beltrami operator on M equals the closed interval [0, +∞). The proof proceeds by establishing that this integrability forces suitable volume growth and curvature decay, which in turn permit application of decomposition principles or comparison arguments that locate the bottom of the essential spectrum at zero with no gaps.

What carries the argument

The L^p integrability condition on the second fundamental form, which supplies the necessary control on extrinsic curvature decay to trigger spectral comparison or decomposition at infinity.

If this is right

  • Finite total mean curvature alone is enough to guarantee that the essential spectrum equals [0, +∞).
  • Convergence of the gradient of the extrinsic distance function to a limit also forces the essential spectrum to be [0, +∞).
  • Pinching conditions on the curvature tensor, combined with suitable volume growth, likewise yield the same spectral conclusion.
  • Extrinsic volume growth restrictions can be used in place of the L^p condition to reach the identical spectrum result.

Where Pith is reading between the lines

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

  • The integrability hypothesis may imply that the submanifold is asymptotically Euclidean in a C^0 sense at infinity.
  • Similar conclusions might hold when the ambient space is replaced by a space of constant curvature, provided the second fundamental form remains integrable.
  • Explicit examples such as higher-dimensional catenoids or Delaunay-type surfaces could be checked to see whether they saturate the L^p threshold.

Load-bearing premise

The submanifold is complete and non-compact while its second fundamental form has finite L^p norm for some exponent strictly larger than the dimension.

What would settle it

A single complete non-compact submanifold in Euclidean space whose second fundamental form is L^p integrable for p > n yet whose essential spectrum contains a gap above zero would refute the claim.

read the original abstract

In this paper, we consider the essential spectrum of submanifolds in Euclidean spaces under various geometric hypotheses. Our results involve extrinsic conditions such as finite total mean curvature, the convergence of the gradient of the extrinsic distance, and the extrinsic volume growth or the pinching curvature. In particular, we prove that the essential spectrum of a complete non-compact submanifold $M^n$ in a Euclidean space is $[0, +\infty)$ provided the second fundamental form $A$ of $M^n$ satisfies $\|A\|_{L^p} < \infty$, $p>n$.

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

1 major / 2 minor

Summary. The manuscript establishes several spectral Bernstein-type results for complete non-compact submanifolds M^n in Euclidean space R^{n+k}. The central theorem asserts that if the second fundamental form satisfies ||A||_{L^p(M)} < ∞ for some p > n, then the essential spectrum of the Laplace-Beltrami operator on M is exactly [0, +∞). Additional results treat hypotheses such as finite total mean curvature, convergence of the gradient of the extrinsic distance function, and extrinsic volume growth or curvature pinching.

Significance. If the main result holds, it supplies a clean extrinsic integrability condition (L^p control on A with p > n) that forces the essential spectrum to coincide with that of Euclidean space. The argument proceeds by deriving integral decay of |A| at infinity from the given integrability, then employing cutoff functions and direct comparison with the flat Laplacian to establish both that the bottom of the spectrum is zero and that there are no gaps in the essential spectrum. This approach is standard in geometric analysis yet yields a new, relatively weak hypothesis compared with pointwise curvature bounds or properness assumptions.

major comments (1)
  1. [§4] §4 (proof of the main theorem): the passage from ||A||_{L^p} < ∞ to pointwise decay of |A| at infinity is invoked to control the error terms in the cutoff-function estimates; the precise application of Hölder or Sobolev inequalities that converts the global L^p bound into an integrable tail should be written out explicitly, as this step is load-bearing for both the λ_0 = 0 and the gap-free claims.
minor comments (2)
  1. [Introduction] The introduction lists several geometric hypotheses but does not include a short comparison table or paragraph clarifying which earlier results (finite total mean curvature, pinching) are recovered or improved by the new L^p condition.
  2. [Preliminaries] Notation for the essential spectrum σ_ess(Δ) and the bottom λ_0 should be recalled once in the preliminaries even if standard, to aid readers coming from Riemannian geometry rather than spectral theory.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestion regarding the proof of the main theorem. We will revise the manuscript to make the indicated step fully explicit.

read point-by-point responses

  1. Referee: [§4] §4 (proof of the main theorem): the passage from ||A||_{L^p} < ∞ to pointwise decay of |A| at infinity is invoked to control the error terms in the cutoff-function estimates; the precise application of Hölder or Sobolev inequalities that converts the global L^p bound into an integrable tail should be written out explicitly, as this step is load-bearing for both the λ_0 = 0 and the gap-free claims.

    Authors: We agree that this transition should be spelled out. In the revised manuscript we will add a short paragraph immediately following the statement of the L^p hypothesis. We apply Hölder's inequality on the complement of a large geodesic ball B_R to obtain ∫_{M∖B_R} |A| dvol ≤ (∫_{M∖B_R} |A|^p)^{1/p} (Vol(M∖B_R))^{1-1/p}. Under the standing assumption that M has at most Euclidean volume growth (which follows from the embedding in Euclidean space and completeness), the volume term is controlled by R^n, yielding an integrable tail as R→∞. This integral decay is then used to justify the vanishing of the error terms when the cutoff function is supported far out; we will also note that a standard mean-value inequality on the submanifold upgrades the L^1 tail to pointwise decay of |A| at infinity along a sequence of radii, which is sufficient for the subsequent cutoff estimates. The same explicit estimate applies to both the proof that λ_0=0 and the absence of gaps in the essential spectrum. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes the essential spectrum result via direct estimates: L^p integrability of the second fundamental form yields integral decay of |A| at infinity, which is inserted into cutoff-function constructions and comparison with the Euclidean Laplacian to prove both that the bottom of the essential spectrum is zero and that the spectrum fills [0, ∞) without gaps. Completeness and non-compactness serve only to guarantee unboundedness and non-emptiness of the essential spectrum. No equation or step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the argument is independent of the target conclusion and closes under the stated geometric hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard definitions from Riemannian geometry together with the extrinsic integrability hypothesis on the second fundamental form.

axioms (2)
  • standard math Standard spectral theory of the Laplace-Beltrami operator on complete Riemannian manifolds, including the definition of essential spectrum.
    Invoked to formulate the main result about the spectrum.
  • domain assumption The submanifold is immersed in Euclidean space, complete, and non-compact.
    Explicitly required in the theorem statement in the abstract.

pith-pipeline@v0.9.0 · 5614 in / 1344 out tokens · 58644 ms · 2026-05-21T03:17:10.357528+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Anderson, The compactification of a minimal submanifold in Euclidean space by the Gauss map, http://www.math.sunysb.edu/ anderson/papers.html, preprint, (1984)

    M.T. Anderson, The compactification of a minimal submanifold in Euclidean space by the Gauss map, http://www.math.sunysb.edu/ anderson/papers.html, preprint, (1984)

    work page 1984

  2. [2]

    Bessa, L.P

    G.P. Bessa, L.P. Jorge, L. Mari, On the spectrum of bounded immersions, J. Differ. Geom. 99(2) (2015), 215–253

    work page 2015

  3. [3]

    Bessa, L.P

    G.P. Bessa, L.P. Jorge and J.F. Montenegro, On the spectrum of the Martin- Morales minimal surfaces, J. Geom. Anal. 20 (2008), 63–71

    work page 2008

  4. [4]

    Bessa, L.P

    G.P. Bessa, L.P. Jorge, L. Mari, J.F.B. Montenegro, Spectrum estimates and ap- plications to geometry, Topics in Modern Differential Geometry (2018), Springer, 111–198

    work page 2018

  5. [5]

    Castillon, Spectral properties of constant mean curvature submanifolds in hyperbolic space, Ann

    P. Castillon, Spectral properties of constant mean curvature submanifolds in hyperbolic space, Ann. Global Anal. Geom. 17(6) (1999), 563–580

    work page 1999

  6. [6]

    Cavalcante, H

    M.P. Cavalcante, H. Mirandola and F. Vit´ orio, The non-parabolicity of infinite volume ends, Proc. Amer. Math. Soc. 143(3) (2015), 1221–1228. 18

    work page 2015

  7. [7]

    Charalambous, Z.Q

    N. Charalambous, Z.Q. Lu, On the spectrum of the Laplacian, Math. Ann. 359 (2014), 211–238

    work page 2014

  8. [8]

    Donnelly, On the essential spectrum of a complete Riemannian manifold, Topology 20(1) (1981), 1–14

    H. Donnelly, On the essential spectrum of a complete Riemannian manifold, Topology 20(1) (1981), 1–14

    work page 1981

  9. [9]

    Freitas, I

    P. Freitas, I. Salavessa, A spectral Bernstein theorem, Ann. Mat. Pura Appl. 190 (4) (2011), 77–90

    work page 2011

  10. [10]

    Jorge, D

    L. Jorge, D. Koutroufiotis, An estimate for the curvature of bounded submani- folds, Amer. J. Math. 103 (1981), 711–725

    work page 1981

  11. [11]

    Kumura, On the essential spectrum of the Laplacian on complete manifolds, J

    H. Kumura, On the essential spectrum of the Laplacian on complete manifolds, J. Math. Soc. Japan. 49(1) (1997), 1–14

    work page 1997

  12. [12]

    Kumura, On the essential spectrum of the Laplacian and vague convergence of the curvature at infinity, Commun

    H. Kumura, On the essential spectrum of the Laplacian and vague convergence of the curvature at infinity, Commun. Partial Differ. Equ. 30(10) (2005), 1555–1565

    work page 2005

  13. [13]

    B.P. Lima, L. Mari, J.F.B. Montenegro, F. de. B. Vieira, Density and spectrum of minimal submanifolds in space forms, Math. Ann. 366 (2016), 1035–1066

    work page 2016

  14. [14]

    Lin, On the structure and volume growth of submanifolds in Riemannian manifolds, J

    H.Z. Lin, On the structure and volume growth of submanifolds in Riemannian manifolds, J. Geom. Phys. 92 (2015), 119–128

    work page 2015

  15. [15]

    Z.Q. Lu, D.T. Zhou, On the essential spectrum of complete non-compact mani- folds, J. Funct. Anal. 260(11) (2011), 3283–3298

    work page 2011

  16. [16]

    Petersen and G.F

    P. Petersen and G.F. Wei, Relative volume comparison with integral curvature bounds, Geom. Funct. Anal. 7 (1997), 1031–1045

    work page 1997

  17. [17]

    Sturm, On theL p-spectrum of uniformly elliptic operators on Riemannian manifolds, J

    K.T. Sturm, On theL p-spectrum of uniformly elliptic operators on Riemannian manifolds, J. Funct. Anal. 118 (2) (1993), 442–453

    work page 1993

  18. [18]

    Wang, The spectrum of the Laplacian on a manifold of nonnegative Ricci curvature, Math

    J.P. Wang, The spectrum of the Laplacian on a manifold of nonnegative Ricci curvature, Math. Res. Lett. 4(4) (1997), 473–479. Yuxin Dong, School of Mathematical Sciences and Laboratory of Mathematics for Nonlinear Science, Fudan University, Shanghai, 200433, China. E-mail address: yxdong@fudan.edu.cn Hezi Lin, School of Mathematics and Statistics & Key La...

    work page 1997