Search arXiv⌕ Search

arXiv · 2610.07789

Codimension Reduction of Minimal Submanifolds with Flat Normal Bundle in Spheres

Abstract

Let $x:M^n\to\mathbb{S}^{n+q}$ be a minimal immersion of a complete connected manifold with flat normal bundle, where $n\ge3$ and $q\ge2$. We prove that if the squared norm of the second fundamental form $S$ satisfies $S<2n$, then $M^n$ lies in $\mathbb{S}^{n+1}$. The standard minimal products of three spheres show that the upper bound $2n$ is optimal. We also prove a codimension reduction theorem under the condition $S+λ_2\le 2n+\frac{2n}{3n-2}$, where $λ_2$ is the second largest eigenvalue of the Gram matrix of the shape operators, implying that $M^n$ lies in $\mathbb{S}^{n+1}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Juan Li, Zhiyuan Xu. 2026-10-06. Codimension Reduction of Minimal Submanifolds with Flat Normal Bundle in Spheres. https://arxiv.org/abs/2610.07789

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Minkowski problem with respect to the k-torsional rigidity associated with a k-Hessian equation

P. Salani [Adv. Math., 229 (2012)] introduced the $k$-torsional rigidity associated with a $k$-Hessian equation and obtained the Brunn-Minkowski inequalities $w.r.t.$ the torsional rigidity in $\mathbb{R}^3$. We first construct, in the present paper, a Hadamard variational formula for the $k$-torsional rigidity with $1\leq k\leq n-1$, then we can deduce a $k$-torsional measure from the Hadamard variational formula. Based on the $k$-torsional measure, we propose the Minkowski problem for the $k$-torsional rigidity which can be equivalently converted to a nonlinear partial differential equation in smooth case: \begin{align}\label{eq00} f(x)=τ|Du(ν_Ω^{-1}(x))|^{k+1}σ_{n-k}(h_{ij}+hδ_{ij}), \end{align} where $τ>0$ is a constant, $f$ is a positive smooth function defined on the unit sphere and $σ_{n-k}$ is the $(n-k)$-th elementary symmetric function of the principal curvature radii. Furthermore, we achieve a smooth solution to the Minkowski problem for the $k$-torsional rigidity using an appropriate Gauss curvature-type flow. A key ingredient of the argument for the existence of solutions to Gauss curvature-type flows is the uniform lower bound estimation given by the proof by contradiction in the $C^0$ estimation. The core contribution of the proof by contradiction is that it eliminates the additional conditions that the function $f$ must satisfy when studying such problems, such as symmetry by C. Chen, Y. Huang \& Y, Zhao [Math. Ann., 373(2019)], and by C. Haberl, E. Lutwak, D. Yang \& G. Y. Zhang [Adv. Math., 224(2010)] or having positive upper and lower bounds by Y. Liu, J. Lu [Trans. Amer. Math. Soc., 373(2020)].

math.DG↗

Biharmonic Steklov problems with Neumann boundary conditions and spectral inequalities on differential forms

We introduce a biharmonic Steklov problem with Neumann-type boundary conditions on differential forms and show that it is well-posed. We prove the existence of a discrete spectrum for this problem and provide associated variational characterizations of its eigenvalues. We establish eigenvalue estimates known as Kuttler-Sigillito inequalities, relating the eigenvalues of this problem to those of the Steklov, Dirichlet and Neumann problems, as well as the biharmonic Steklov problem with Dirichlet boundary conditions on differential forms.

math.DG↗

Topological Half-Space Theorems for Minimal Hypersurfaces in $\mathbb{R}^4$

The three-dimensional catenoid in $\mathbb{R}^4$ is a complete embedded minimal hypersurface contained in a slab, showing that the half-space theorem does not extend directly to higher dimensions. We show that this obstruction is topological in $\mathbb{R}^4$. More precisely, we prove that a connected, complete embedded minimal hypersurface $Σ^3\subset\mathbb{R}^4$ contained in a half-space with bounded curvature and trivial second homology must be a hyperplane. We obtain further rigidity when a connected, complete embedded minimal hypersurface is confined to a slab. In particular, we show that if in addition the minimal hypersurface is proper and has trivial second homology then it must be a hyperplane, thus obtaining flatness without the bounded curvature assumption. If instead the minimal hypersurface has bounded curvature and finite second Betti number then it must have finite total curvature or finite index. As a corollary, we also obtain a new characterization of the three-dimensional catenoid as a minimal hypersurface confined in a slab with bounded curvature and second Betti number equal to one.

math.DG↗