We introduce canonical principal parameters on any strongly regular minimal surface in the three dimensional sphere and prove that any such a surface is determined up to a motion by its normal curvature function satisfying the Sinh-Poisson equation. We obtain a classification theorem for bi-umbilical hypersurfaces of type number two. We prove that any minimal hypersurface of type number two with involutive distribution is generated by a minimal surface in the three-dimensional Euclidean space, or in the three dimensional sphere. Thus we prove that the theory of minimal hypersurfaces of type number two with involutive distribution is locally equivalent to the theory of minimal surfaces in the three dimensional Euclidean space or in the three-dimensional sphere.
In this paper we construct smooth Riemannian metrics on the sphere which admit smooth Zoll families of minimal hypersurfaces. This generalizes a theorem of Guillemin for the case of geodesics. The proof uses the Nash-Moser Inverse Function Theorem in the tame maps setting of Hamilton. This answers a question of Yau on perturbations of minimal hypersurfaces in positive Ricci curvature. We also consider the case of the projective space and characterize those metrics on the sphere with minimal equators.
We prove Harnack inequalities for hypersurfaces flowing on the unit sphere by $p$-powers of a strictly monotone, 1-homogeneous, convex, curvature function $f$, $0<p\leq 1.$ If $f$ is the mean curvature, we obtain stronger Harnack inequalities.
We study properties of non-minimal biharmonic hypersurfaces of spheres. The main result is a CMC Unique Continuation Theorem for biharmonic hypersurfaces of spheres. We then deduce new rigidity theorems to support the Conjecture that biharmonic submanifolds of Euclidean spheres must be of constant mean curvature.
In this note we improve a gap result concerning the range of the mean curvature of complete $CMC$ proper-biharmonic hypersurfaces in unit Euclidean spheres.
We find a monotone quantity along the inverse mean curvature flow and use it to prove an Alexandrov-Fenchel-type inequality for strictly convex hypersurfaces in the $n$-dimensional sphere, $n \geq 3$.
We prove rigidity for hypersurfaces with boundary in the unit $(n+1)$-sphere with scalar curvature bounded below by $n(n-1)$. Under appropriate boundary conditions, the hypersurfaces are shown to be part of the equatorial spheres. The lower bound $n(n-1)$ is critical in the sense that the hypersurface may contain geodesic points and some natural differential operators are fully degenerate at geodesic points. We overcome the difficulty by studying the geometry of level sets of a height function, via new geometric inequalities. Some rigidity results of hyperplanes and generalized cylinders are a…
This is a survey of local and global classification results concerning Dupin hypersurfaces in $S^n$ (or ${\bf R}^n$) that have been obtained in the context of Lie sphere geometry. The emphasis is on results that relate Dupin hypersurfaces to isoparametric hypersurfaces in spheres. Along with these classification results, many important concepts from Lie sphere geometry, such as curvature spheres, Lie curvatures, and Legendre lifts of submanifolds of $S^n$ (or ${\bf R}^n$), are described in detail. The paper also contains several important constructions of Dupin hypersurfaces with certain speci…
We show that in an $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics, every minimal hypersurface is smooth and nondegenerate. This confirms a full generic regularity conjecture of minimal hypersurfaces in dimension eight. This also enables us to generalize many generic geometric properties of (Almgren-Pitts) min-max minimal hypersurfaces, previously only known in low dimensions, to dimension eight.
Locally stable minimal hypersurface could have singularities in dimension $\geq 7$ in general, locally modeled on stable and area-minimizing cones in the Euclidean spaces. In this paper, we present different aspects of how these singularities may affect the local behavior of minimal hypersurfaces. First, given a non-degenerate minimal hypersurface with strictly stable and strictly minimizing tangent cone at each singular point, under any small perturbation of the metric, we show the existence of a nearby minimal hypersurface under new metric. For a generic choice of perturbation direction, we …
We give several construction methods and use them to produce many examples of proper biharmonic maps including biharmonic tori of any dimension in Euclidean spheres (Theorem 2.2, Corollaries 2.3, 2.4, and 2.6), biharmonic maps between spheres (Theorem 2.9) and into spheres (Theorem 2.10) via orthogonal multiplications and eigenmaps. We also study biharmonic graphs of maps, derive the equation for a function whose graph is a biharmonic hypersurface in a Euclidean space, and give an equivalent formulation of Chen's conjecture on biharmonic hypersurfaces by using the biahrmonic graph equation (Th…
Let $M^{n+1}$ be a closed manifold of dimension $3\leq n+1\leq 7$. We show that for a $C^\infty$-generic metric $g$ on $M$, to any connected, closed, embedded, $2$-sided, stable, minimal hypersurface $S\subset (M,g)$ corresponds a sequence of closed, embedded, minimal hypersurfaces $\{Σ_k\}$ scarring along $S$, in the sense that the area and Morse index of $Σ_k$ both diverge to infinity and, when properly renormalized, $Σ_k$ converges to $S$ as varifolds. We also show that scarring of immersed minimal surfaces along stable surfaces occurs in most closed Riemannian $3$-manifods.
In this article we prove that all boundary points of a minimal oriented hypersurface in a Riemannian manifold are regular, that is, in a neighborhood of any boundary point, the minimal surface is a $\mathcal{C}^{1, \frac14}$ submanifold with boundary.
A hypersurface $M$ in ${\bf R}^n$ or $S^n$ is said to be Dupin if along each curvature surface, the corresponding principal curvature is constant. A Dupin hypersurface is said to be proper Dupin if each principal curvature has constant multiplicity on $M$, i.e., the number of distinct principal curvatures is constant on $M$. The notions of Dupin and proper Dupin hypersurfaces in ${\bf R}^n$ or $S^n$ can be generalized to the setting of Lie sphere geometry, and these properties are easily seen to be invariant under Lie sphere transformations. This makes Lie sphere geometry an effective setting …
In contrast with the 3-dimensional case (cf. \cite{RaMo}), where rotationally symmetric totally geodesic free boundary minimal surfaces have Morse index one; we prove in this work that the Morse index of a free boundary rotationally symmetric totally geodesic hypersurface of the $n$-dimensional Riemannnian Schwarzschild space with respect to variations that are tangential along the horizon is zero, for $n\geq4$. Moreover, we show that there exist non-compact free boundary minimal hypersurfaces which are not totally geodesic, $n\geq 8$, with Morse index equal to $0$. Also, it is shown that, for…
The classification of isoparametric hypersurfaces in spheres with four or six different principal curvatures is still not complete. In this paper we develop a structural approach that may be helpful for a classification. Instead of working with the isoparametric hypersurface family in the sphere, we consider the associated Lagrangian submanifold of the real Grassmannian of oriented $2$-planes in $\mathbb{R}^{n+2}$. We obtain new geometric insights into classical invariants and identities in terms of the geometry of the Lagrangian submanifold.
Using a new estimate for the Peng-Terng invariant and the multiple-parameter method, we verify a rigidity theorem on the stronger version of Chern Conjecture for minimal hypersurfaces in spheres. More precisely, we prove that if $M$ is a compact minimal hypersurface in $\mathbb{S}^{n+1}$ whose squared length of the second fundamental form satisfies $0\leq S-n\leq\frac{n}{18}$, then $S\equiv n$ and $M$ is a Clifford torus.
We prove a topological rigidity theorem for closed hypersurfaces of the Euclidean sphere and of an elliptic space form. It asserts that, under a lower bound hypothesis on the absolute value of the principal curvatures, the hypersurface is diffeomorphic to a sphere or to a quotient of a sphere by a group action. We also prove another topological rigidity result for hypersurfaces of the sphere that involves the spherical image of its usual Gauss map.
We show that strictly stable components of Allen-Cahn minimal hypersurfaces always occur with multiplicity one. We also establish the uniqueness of solutions converging to nondegenerate hypersurfaces with multiplicity one. Our results work in all dimensions and without variational assumptions on the Allen-Cahn solutions.
In this work, we prove the existence of a third embedded minimal hypersurface spanning a closed submanifold $γ$ contained in the boundary of a compact Riemannian manifold with convex boundary, when it is known a priori the existence of two strictly stable minimal hypersurfaces that bound $γ$. In order to do so, we develop min-max methods similar to those of De Lellis and Ramic, references in the paper, adapted to the discrete setting of Almgren and Pitts.
Let $M^n$ be an $n$-dimensional complete and locally conformally flat hypersurface in the unit sphere $\mathbb{S}^{n+1}$ with constant scalar curvature $n(n-1)$. We show that if the total curvature $\left( \int _ { M } | H | ^ { n } d v \right) ^ { \frac { 1 } { n } }$ of $M$ is sufficiently small, then $M^n$ is totally geodesic.
We exhibit the first set of examples of non-bumpy metrics on the $(n+1)$-sphere ($2\leq n\leq 6$) in which the varifold associated with the two-parameter min-max construction must be a multiplicity-two minimal $n$-sphere. This is proved by a new area-and-separation estimate for certain minimal hypersurfaces with Morse index two inspired by an early work of Colding-Minicozzi. We also construct non-bumpy projective spaces in which the first min-max hypersurfaces are one-sided, and non-bumpy balls in which the free boundary min-max hypersurfaces are improper.
In this short note we extend an estimate due to J. Simons on the first stability eigenvalue of minimal hypersurfaces in spheres to the singular setting. Specifically, we show that any singular minimal hypersurface in $S^{n+1}$, which is not totally geodesic and satisfies the α-structural hypothesis, has first stability eigenvalue at most -2n, with equality if and only if it is a product of two round spheres. The equality case was settled independently in the classical setting by Wu and Perdomo.
The Min-max Theory for the area functional, started by Almgren in the early 1960s and greatly improved by Pitts in 1981, was left incomplete because it gave no Morse index estimate for the min-max minimal hypersurface. We advance the theory further and prove the first general Morse index bounds for minimal hypersurfaces produced by it. We also settle the multiplicity problem for the classical case of one-parameter sweepouts.
In this work we present a new family of properly embedded free boundary minimal hypersurfaces of revolution with circular boundaries in the horizon of the $n$-dimensional Schwarzschild space, $n\geq3$. In particular, we answer a question proposed by O. Chodosh and D. Ketover \cite{CK} on the existence of non-totally geodesic minimal surfaces in the 3-dimensional Schwarzschild space.
We study min-max theory for area functional among hypersurfaces constrained in a smooth manifold with boundary. A Schoen-Simon-type regularity result is proved for integral varifolds which satisfy a variational inequality and restrict to a stable minimal hypersurface in the interior. Based on this, we show that for any admissible family of sweepouts $Π$ in a compact manifold with boundary, there always exists a closed $C^{1,1}$ hypersurface with codimension$\geq 7$ singular set in the interior and having mean curvature pointing outward along boundary realizing the width $\textbf{L}(Π)$.
