Abstract:For closed connected Riemannian spin manifolds an upper estimate of the smallest eigenvalue of the Dirac operator in terms of the hyperspherical radius is proved. When combined with known lower Dirac eigenvalue estimates, this has a number of geometric consequences. Some are known and include Llarull's scalar curvature rigidity of the standard metric on the sphere, Geroch's conjecture on the impossibility of positive scalar curvature on tori and a mean curvature estimate for spin fill-ins with nonnegative scalar curvature due to Gromov, including its rigidity statement recently proved by Cecchini, Hirsch and Zeidler. New applications provide a comparison of the hyperspherical radius with the Yamabe constant and improved estimates of the hyperspherical radius for Kähler manifolds, Kähler-Einstein manifolds, quaternionic Kähler manifolds and manifolds with a harmonic 1-form of constant length.

What problem does this paper attempt to address?

### What problem does this paper attempt to solve? This paper aims to explore and prove the relationship between the minimum eigenvalue of the Dirac operator on a closed and connected Riemannian spin manifold and the hyperspherical radius. Specifically, the author attempts to prove an upper bound estimate of the minimum eigenvalue of the Dirac operator and combine it with the known lower bound estimate to derive a series of geometric conclusions. #### Main research content 1. **Definition and properties of the hyperspherical radius**: - The hyperspherical radius \( \text{Rad}_{S^n}(M) \) is defined as the largest \( R>0 \) such that there exists a 1 - Lipschitz mapping \( f:M\to S^n(R) \) from the manifold \( M \) to the standard sphere \( S^n(R) \) of radius \( R \), and the degree of this mapping is non - zero. - Some basic properties of the hyperspherical radius are discussed, such as its behavior under metric scaling. 2. **Main theorem**: - For an \( n \)-dimensional closed and connected Riemannian spin manifold \( M \), let \( D \) be the Dirac operator on it, then \[ \lambda_1(D^2)\leq\frac{n^2}{4}\left(\text{Rad}_{S^n}(M)\right)^2. \] - The equality holds if and only if \( M \) is isometric to \( S^n(R) \), where \( R = \text{Rad}_{S^n}(M) \). 3. **Applications**: - Combined with the known lower bound estimates of Dirac eigenvalues, some geometric corollaries are obtained, including: - Llarull's theorem on scalar curvature rigidity on the standard sphere. - Geroch's conjecture: There is no Riemannian metric with positive scalar curvature on tori. - Gromov's mean curvature estimate of spin fill - ins with non - negative scalar curvature, and the rigidity statement recently proved by Cecchini, Hirsch and Zeidler. - New applications include the comparison between the hyperspherical radius and the Yamabe constant, and the improved estimates of the hyperspherical radius on Kähler manifolds, Kähler - Einstein manifolds, quaternionic Kähler manifolds and manifolds with non - trivial harmonic 1 - forms of constant length. #### Summary This paper provides a new method to study the geometric properties of Riemannian spin manifolds by introducing the concept of hyperspherical radius and combining it with the eigenvalue estimates of the Dirac operator. These results not only deepen our understanding of these manifolds, but also provide new tools and perspectives for solving some classical geometric problems.

Dirac eigenvalues and the hyperspherical radius

Some Dirichlet Problems Arising from Conformal Geometry

Eigenvalue Estimate of the Dirac Operator and Rigidity of Poincare–Einstein Metrics

On the eigenfunctions of the Dirac operator on spheres and real hyperbolic spaces

Spectrum of the Dirac operator on Compact Riemannian Manifolds

Dirac Eigenvalue Optimisation and Harmonic Maps to Complex Projective Spaces

Extrinsic Estimates for Eigenvalues of the Dirac Operator

Generalized positive scalar curvature on spin manifolds

Topology of the Dirac equation on spectrally large three-manifolds

Width, Largeness and Index Theory

Rigidity of spin fill-ins with non-negative scalar curvature

Relative eta invariant and uniformly positive scalar curvature on non-compact manifolds

Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

Higher rho invariant and delocalized eta invariant at infinity

Spectral convergence of the Dirac operator on typical hyperbolic surfaces of high genus

Generalized positive scalar curvature on spin$^c$ manifolds

An Eigenvalue Pinching Theorem for Compact Hypersurfaces in a Sphere

The Selberg trace formula for spin Dirac operators on degenerating hyperbolic surfaces

Algebraic derivation of some theorems concerning contact structures on the 3-sphere

The Riemannian geometry of the space of compact spacelike Cauchy hypersurfaces

Radius estimates for nearly stable H-hypersurfaces of dimension 2, 3, and 4