$L^2$-harmonic forms and spinors on stable minimal hypersurfaces
Francesco Bei, Giuseppe Pipoli
TL;DR
This work proves finiteness and vanishing theorems for $L^2$-harmonic forms and spinors on complete, stable minimal (and strongly stable CMC) hypersurfaces, under positive or controlled curvature assumptions on the ambient manifold. A general Schrödinger/Dirac framework with weighted Poincaré inequalities yields essential self-adjointness and finite-dimensionality of $L^2$ kernels, with constant-length properties for $L^2$-harmonic spinors and dimension bounds. These analytic results translate into strong geometric consequences: constrained nullity, conformal Laplacian behavior, scalar-flat/positive metrics in conformal classes, and extensive vanishing results for $L^2$-forms under curvature and second fundamental form bounds. The authors illustrate the theory on Euclidean spaces, manifolds with nonnegative curvature operator, and Berger spheres, providing explicit thresholds for spinor and form vanishings, and extend the approach to strongly stable CMC hypersurfaces, highlighting the role of the scalar and bi-Ricci curvature in controlling $L^2$-cohomology and spinors.
Abstract
Let $f:N\rightarrow (M,g)$ be an oriented (or spin), complete, stable, minimal, immersed hypersurface. In this paper we establish various vanishing theorems for the space of $L^2$-harmonic forms and spinors (in the spin case) under suitable positive curvature assumptions on the ambient manifold. Our results in the setting of forms extend to higher dimensions and more general ambient Riemannian manifolds previous vanishing theorems due to Tanno \cite{Tanno} and Zhu \cite{Zhu}. In the setting of spin manifolds our results allow to conclude, for instance, that any oriented, complete, stable, minimal, immersed hypersurface of $\mathbb{R}^m$ or $\mathbb{S}^m$ carries no non-trivial $L^2$-harmonic spinors. Finally, analogous results are proved for strongly stable constant mean curvature hypersurfaces.
