In this paper we will prove Hadamard-Stoker type theorems in the following ambient spaces: $\man ^n \times \r$, where $\man ^n $ is a $1/4-$pinched manifold, and certain Killing submersions, e.g., Berger spheres and Heisenberg spaces. That is, under the condition that the principal curvatures of an immersed hypersurfaces are greater than some non-negative constant (depending on the ambient space), we prove that such a hypersurface is embedded and we also study its topology.
The existence of a smooth complete strictly locally convex hypersurface with prescribed scalar curvature and asymptotic boundary at infinity in $\mathbb{H}^{3}$ is proved under the assumption that there exists a strictly locally convex subsolution.
In this paper we find strictly locally convex hypersurfaces in $\mathbb{R}^{n+1}$ with prescribed curvature and boundary. The main result is that if the given data admits a strictly locally convex radial graph as a subsolution, we can find a radial graph realizing the prescribed curvature and boundary. As an application we show any smooth domain on the boundary of a compact strictly convex body can be deformed to a smooth hypersurface with the same boundary (inside the convex body) and realizing any prescribed curvature function smaller than the curvature of the body.
In this paper we study the mean curvature flow of embedded disks with free boundary on an embedded cylinder or generalised cone of revolution, called the support hypersurface. We determine regions of the interior of the support hypersurface such that initial data is driven to a curvature singularity in finite time or exists for all time and converges to a minimal disk. We further classify the type of the singularity. We additionally present applications of these results to the uniqueness problem for minimal hypersurfaces with free boundary on such suppport hypersurfaces; the results obtained t…
We prove that if $M$ is a strictly stable complete minimal hypersurface in Euclidean space with finite density at infinity and which lies on one side of a minimal cylinder with cross-section a strictly stable area minimizing hypercone, then $M$ must be cylindrical. Applications will be given in the references [Sim20a], [Sim20b].
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 paper we show the existence of a closed, embedded $λ$-hypersurfaces $Σ\subset \mathbb{R}^{2n}$. The hypersurface is diffeomorhic to $\mathbb{S}^{n-1} \times \mathbb{S}^{n-1} \times \mathbb{S}^1$ and exhibits $SO(n) \times SO(n)$ symmetry. Our approach uses a "shooting method" similar to the approach used by McGrath in constructing a generalized self-shrinking torus solution to mean curvature flow. The result generalizes the $λ$-torus found by Cheng and Wei.
Let $M,N$ be two smooth compact hypersurfaces of $\mathbb{R}^n$ which bound strictly convex domains equipped with two absolutely continuous measures $μ$ and $ν$ (with respect to the volume measures of $M$ and $N$). We consider the optimal transportation from $μ$ to $ν$ for the quadratic cost. Let $(ϕ:m \to \mathbb{R},ψ:N \to \mathbb{R})$ be some functions which achieve the supremum in the Kantorovich formulation of the problem and which satisfy $$ ψ(y) = \inf_{z\in M} \Bigl( \frac{1}{2}|y-z|^2 -φ(z)\Bigr); φ(x)=\inf_{z\in N} \Bigl( \frac{1}{2}|x-z|^2 -ψ(z)\Bigr).$$ Define for $y \in N$, $$φ^\B…
In this paper, we study $n$-dimensional hypersurfaces with constant $m^{\text{th}}$ mean curvature in a unit sphere $S^{n+1}(1)$ and construct many compact nontrivial embedded hypersurfaces with constant $m^{\text{th}}$ mean curvature $H_m>0$ in $S^{n+1}(1)$, for $1\leq m\leq n-1$. In particular, if the $4^{\text{th}}$ mean curvature $H_4$ takes value between $\dfrac{1}{(\tan \fracπ{k})^4}$ and $\dfrac{k^4-4}{n(n-4)}$ for any integer $k\geq3$, then there exists an $n$-dimensional ($n\geq 5$) compact nontrivial embedded hypersurface with constant $H_4$ in $S^{n+1}(1)$.
We prove that, in Minkowski space, if a spacelike, $(n-1)$-convex hypersurface $M$ with constant $σ_{n-1}$ curvature has bounded principal curvatures, then $M$ is convex. Moreover, if $M$ is not strictly convex, after an $\mathbb{R}^{n,1}$ rigid motion, $M$ splits as a product $M^{n-1}\times\mathbb{R}.$ We also construct nontrivial examples of strictly convex, spacelike hypersurface $M$ with constant $σ_{n-1}$ curvature and bounded principal curvatures.
For a compact connected Lie group $G$ acting as isometries on a compact orientable Riemannian manifold $M^{n+1},$ and cohomogeneity not equal to 0 or 2, we prove the existence of a nontrivial embedded $G$-invariant minimal hypersurface, that is smooth outside a set of Hausdorff dimension at most $n-7.
This paper is devoted to $C^2$ a priori estimates for strictly locally convex radial graphs with prescribed Weingarten curvature and boundary in space forms. By constructing two-step continuity process and applying degree theory arguments, existence results in space forms are established for prescribed Gauss curvature equation under the assumption of a strictly locally convex subsolution.
Given a positive function $F$ on $S^n$ which satisfies a convexity condition, for $1\leq r\leq n$, we define the $r$-th anisotropic mean curvature function $H^F_r$ for hypersurfaces in $\mathbb{R}^{n+1}$ which is a generalization of the usual $r$-th mean curvature function. We prove that a compact embedded hypersurface without boundary in $\R^{n+1}$ with $H^F_r={constant}$ is the Wulff shape, up to translations and homotheties. In case $r=1$, our result is the anisotropic version of Alexandrov Theorem, which gives an affirmative answer to an open problem of F. Morgan.
In this paper, we prove the existence of smooth, entire, strictly convex, spacelike, constant $σ_k$ curvature hypersurfaces with prescribed lightlike directions in Minkowski space. This is equivalent to prove the existence of smooth, entire, strictly convex, spacelike, constant $σ_k$ curvature hypersurfaces with prescribed Gauss map image. We also show that there doesn't exist any entire, convex, strictly spacelike, constant $σ_k$ curvature hypersurfaces. Moreover, we generalize the result in \cite{RWX} and construct strictly convex, spacelike, constant $σ_k$ curvature hypersurface with bounde…
In this paper, we study $n$-dimensional hypersurfaces with constant $m^{\text{th}}$ mean curvature $H_m$ in a unit sphere $S^{n+1}(1)$ and prove that if the $m^{\text{th}}$ mean curvature $H_m$ takes value between $\dfrac{1}{(\tan \fracπ{k})^m}$ and $\frac{k^2-2}{n}(\frac{k^2+m-2}{n-m})^{\frac{m-2}{2}}$ for $1\leq m\leq n-1$ and any integer $k\geq 2$, then there exists at least one $n$-dimensional compact nontrivial embedded hypersurface with constant $H_m>0$ in $S^{n+1}(1)$. When $m=1$, our results reduce to the results of Perdomo \cite{[P]}; when $m=2$ and $m=4$, our results reduce to the re…
Recently Brendle-Huisken introduced a fully nonlinear flow $G$. Their aim was to extend the surgery algorithm of Huisken-Sinestrari, into the Riemannian setting. The aim of this paper is to go through the details on how to perform neck detection for a closed, embedded hypersurface $M_0$ in $\mathbb{R}^{n+1}$ undergoing this $G$-flow. In order to do this we make some adjustments to Brendle and Huiskens gradient estimate, after we have done this we can go on to argue as in Huisken-Sinestrari's paper Mean curvature flow with surgeries of two-convex hyperusrfaces, in order to classify two-convex s…
In this paper, we are concerned with hypersurfaces in $H^n\times R$ with constant r-mean curvature, to be called $H_r$-hypersurfaces. We construct examples of complete $H_r$-hypersurfaces which are invariant by parabolic screw motion or by rotation. We prove that there is a unique rotational strictly convex entire $H_r$-graph for each value $0<H_r\leq\frac{n-r}{n}$. Also, for each value $H_r>\frac{n-r}{n}$, there is a unique embedded compact strictly convex rotational $H_r$-hypersurface. By using them as barriers, we obtain some interesting geometric results, including height estimates and an …
We investigate the problem of finding complete strictly convex hypersurfaces of constant curvature in hyperbolic space with a prescribed asymptotic boundary at infinity for a general class of curvature functions.
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 …
In this article we obtain a classification of strictly locally convex affine hypersurfaces in A^{n+1} for which the geometrical structure is pointwise invariant under the group SO(n-1) represented by rotations around a fixed axis in the tangent space.
We prove that a strictly stable constant-mean-curvature hypersurface in a smooth manifold of dimension less than or equal to 7 is uniquely homologically area minimizing for fixed volume in a small L^1 neighborhood.
In 1960s, Almgren initiated a program to find minimal hypersurfaces in compact manifolds using min-max method. This program was largely advanced by Pitts and Schoen-Simon in 1980s when the manifold has no boundary. In this paper, we finish this program for general compact manifold with nonempty boundary. As a result, we prove the existence of a smooth embedded minimal hypersurface with free boundary in any compact smooth Euclidean domain. An application of our general existence result combined with the work of Marques and Neves shows that for any compact Riemannian manifolds with nonnegative R…
An anisotropic surface energy is the integral of an energy density that depends on the normal at each point over the considered surface, and it is a generalization of surface area. The minimizer of such an energy among all closed surfaces enclosing the same volume is unique and it is (up to rescaling) so-called the Wulff shape. We prove that, unlike the isotropic case, there exists an anisotropic energy density function such that there exist closed embedded equilibrium surfaces with genus zero in the three-dimensional Euclidean space each of which is not (any homothety and translation of) the …
Let m>1 and n>1 be any pair of integers. In this paper we prove that if H is between the numbers \cot(\fracπ{m}) and b_{m,n}=\frac{(m^2-2)\sqrt{n-1}}{n\sqrt{m^2-1}}, then, there exists a non isoparametric, compact embedded hypersurface in S^{n+1} with constant mean curvature H that admits the group O(n)x Z_m in their group of isometries, here O(n) is the set of n x n orthogonal matrices and Z_m are the integers mod m. When m=2 and H is close to the boundary value 0, the hypersurfaces look like two very close n-dimensional spheres with two catenoid necks attached, similar to constructions made …
In this paper, we study strictly convex affine hypersurfaces centroaffinely congruent to their centre map, in the case when the shape operator has two distinct eigenvalues: one of multiplicity 1, and one nonzero of multiplicity n-1. We show how to construct them from (n-1)-dimensional affine hyperspheres.
Hypersurfaces embedded in conformal manifolds appear frequently as boundary data in boundary-value problems in cosmology and string theory. Viewed as the non-null conformal infinity of a spacetime, we consider hypersurfaces embedded in a Riemannian (or Lorentzian) conformal manifold. We construct a finite and minimal family of hypersurface tensors -- the curvatures intrinsic to the hypersurface and the so-called ``conformal fundamental forms'' -- that can be used to construct natural conformal invariants of the hypersurface embedding up to a fixed order in hypersurface-orthogonal derivatives o…
We give a shorter proof of the existence of nontrivial closed minimal hypersurfaces in closed smooth $(n+1)$--dimensional Riemannian manifolds, a theorem proved first by Pitts for $2\leq n\leq 5$ and extended later by Schoen and Simon to any $n$.
We consider the evolution of hypersurfaces in $\mathbb{R}^{n+1}$ with normal velocity given by a positive power of the mean curvature. The hypersurfaces under consideration are assumed to be strictly mean convex (positive mean curvature), complete, and given as the graph of a function. Long-time existence of the $H^α$-flow is established by means of approximation by bounded problems.
In this note, we generalize a characterization of the Clifford torus due to Ros. Let $f:M\rightarrow S^{n+1}$ be an embedded closed minimal hypersurface. Assume there are $(n+2)$ great hyperspheres of $S^{n+1}$ perpendicular to each other, such that $M$ is symmetric with respect to them. Let $S$ denote the square of the length of the second fundamental form of $f$ and let $\bar S=\frac{1}{Vol(M)}\int_{M} Sd M$ be the average of $S$. Then $\bar S\geq n$ with equality holding if and only if $f$ is the Clifford torus $C_{m,n-m}$. It can be rewritten as a Simons' type theorem: If $0\leq \int_M (n-…
We show that for a very general and natural class of curvature functions (for example the curvature quotients $(σ_n/σ_l)^{\frac{1}{n-l}}$) the problem of finding a complete spacelike strictly convex hypersurface in de Sitter space satisfying $f(κ) = σ\in (1,\infty)$ with a prescribed compact future asymptotic boundary $Γ$ at infinity has at least one smooth solution (if l = 1 or l = 2 there is uniqueness). This is the exact analogue of the asymptotic plateau problem in Hyperbolic space and is in fact a precise dual problem. By using this duality we obtain for free the existence of strictly con…
In this paper, firstly, we show the existence of a compact embedded constant mean curvature (CMC) hypersurface $Σ_1$ in $\mathbb{S}^{2n}$ of the type $S^{n-1} \times S^{n-1} \times S^{1}$. Moreover, the hypersurface $Σ_1$ exhibits $O(n)\times O(n)$ symmetry. Secondly, we show that there exists a compact embedded CMC-hypersurface $Σ_2 \subset \mathbb{S}^{3n-1}$ of the type $S^{n-1} \times S^{n-1} \times S^{n-1} \times S^{1}$. These results generalize the results of Carlotto and Schulz.
In this paper we will prove that for every integer n>1, there exists a real number H_0<-1 such that every H\in (-\infty,H_0) can be realized as the mean curvature of a embedding of H^{n-1}\times S^1 in the (n+1)-dimensional spaces H^{n+1}. For $n=2$ we explicitly compute the value H_0. For a general value n, we provide function ξ_n defined on (-\infty,-1), which is easy to compute numerically, such that, if ξ_n(H)>-2π, then, H can be realized as the mean curvature of a embedding of H^{n-1}\times S^1 in the (n+1)-dimensional spaces H^{n+1}.
We consider the problem $F=f(ν)$ for strictly convex, closed hypersurfaces in $S^{n+1}$ and solve it for curvature functions $F$ the inverses of which are of class $(K)$.
Strong parallels can be drawn between the theory of minimal hypersurfaces and the theory of phase transitions. Borrowing ideas from the former we extend recent results on the regularity of stable phase transition interfaces to the finite Morse index case. As an application we present a PDE-based proof of the celebrated theorem of Almgren-Pitts, on the existence of embedded minimal hypersurfaces in compact manifolds. We compare our results with other min-max theories.
We prove that every quaternionic-contact structure can be embedded in a quaternionic manifold and define a second fundamental form for a such embedding.
In this paper, we study the power of Gaussian curvature flow of a compact convex hypersurface and establish its Harnack inequality when the power is negative. In the Harnack inequality, we require that the absolute value of the power is strictly positive and strictly less than the inverse of the dimension of the hypersurface.
We establish the following Hadamard--Stoker type theorem: Let $f:M^n\rightarrow\mathscr{H}^n\times\mathbb R$ be a complete connected hypersurface with positive definite second fundamental form, where $\mathscr H^n$ is a Hadamard manifold. If the height function of $f$ has a critical point, then it is an embedding and $M$ is homeomorphic to $\mathbb S^n$ or $\mathbb R^n.$ Furthermore, $f(M)$ bounds a convex set in $\mathscr{H}^n\times\mathbb R.$ In addition, it is shown that, except for the assumption on convexity, this result is valid for hypersurfaces in $\mathbb S^n\times\mathbb R$ as well. …
We prove curvature estimates for general curvature functions. As an application we show the existence of closed, strictly convex hypersurfaces with prescribed curvature $F$, where the defining cone of $F$ is $\C_+$. $F$ is only assumed to be monotone, symmetric, homogeneous of degree 1, concave and of class $C^{m,\al}$, $m\ge4$.
We consider the problem $F=f(ν)$ for strictly convex, closed hypersurfaces in hyperbolic space and solve it for curvature functions $F$ the inverses of which are of class $(K^*)$.
We prove that on a compact Riemannian manifold of dimension $3$ or higher, with positive Ricci curvature, the Allen--Cahn min-max scheme (implemented by the first author and N. Wickramasekera in 2020), with prescribing function taken to be a non-zero constant $λ$, produces an embedded hypersurface of constant mean curvature $λ$ ($λ$-CMC). More precisely, we prove that the interface arising from said min-max contains no even-multiplicity minimal hypersurface and no quasi-embedded points (both of these occurrences are in principle possible in the conclusions of the aforementioned work by the fir…
For 3 $\leq$ n $\leq$ 7, we prove that a bumpy closed Riemannian n-manifold contains a sequence of connected embedded closed minimal surfaces with unbounded area.
We prove the existence of a one parameter family of minimal embedded hypersurfaces in $R^{n+1}$, for $n \geq 3$, which generalize the well known 2 dimensional "Riemann minimal surfaces". The hypersurfaces we obtain are complete, embedded, simply periodic hypersurfaces which have infinitely many parallel hyperplanar ends. By opposition with the 2-dimensional case, they are not foliated by spheres.
In this paper, we consider a closed Riemannian manifold $M^{n+1}$ with dimension $3\leq n+1\leq 7$, and a compact Lie group $G$ acting as isometries on $M$ with cohomogeneity at least $3$. Suppose the union of non-principal orbits $M\setminus M^{reg}$ is a smooth embedded submanifold of $M$ without boundary and ${\rm dim}(M\setminus M^{reg})\leq n-2 $. Then for any $c\in\mathbb{R}$, we show the existence of a nontrivial, smooth, closed, $G$-equivariant almost embedded $G$-invariant hypersurface $Σ^n$ of constant mean curvature $c$.
