Let $(M,g)$ be a smooth connected Riemannian manifold. We show an improvement of flatness theorem for hypersurfaces of $M$ of bounded nonlocal mean curvature in the viscosity sense. It implies local $ C^{1,α}$ regularity of these hypersurfaces provided that they are sufficiently flat. It extends a result of Caffarelli, Roquejoffre and Savin in the Euclidean setting to the case of arbitrary Riemannian manifolds.
We study hypersurfaces with fractional mean curvature in N-dimensional Euclidean space. These hypersurfaces are critical points of the fractional perimeter under a volume constraint. We use local inversion arguments to prove existence of smooth branches of multiply-periodic hypersurfaces bifurcating from suitable parallel hyperplanes.
We study hypersurfaces of $\mathbb{R}^N$ with constant nonlocal (or fractional) mean curvature. This is the equation associated to critical points of the fractional perimeter functional under a volume constraint. We establish the existence of a smooth branch of periodic cylinders in $\mathbb{R}^N$, $N\geq 2$, all of them with the same constant nonlocal mean curvature, and bifurcating from a straight cylinder. These are Delaunay type cylinders in the nonlocal setting. The proof uses the Crandall-Rabinowitz theorem applied to a quasilinear type fractional elliptic equation.
We prove that the boundary of a (not necessarily connected) bounded smooth set with constant nonlocal mean curvature is a sphere. More generally, and in contrast with what happens in the classical case, we show that the Lipschitz constant of the nonlocal mean curvature of such a boundary controls its $C^2$-distance from a single sphere. The corresponding stability inequality is obtained with a sharp decay rate.
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 establish mean curvature estimate for immersed hypersurface with nonnegative extrinsic scalar curvature in Riemannian manifold $(N^{n+1}, \bar g)$ through regularity study of a degenerate fully nonlinear curvature equation in general Riemannian manifold. The estimate has a direct consequence for the Weyl isometric embedding problem of $(\mathbb S^2, g)$ in $3$-dimensional warped product space $(N^3, \bar g)$. We also discuss isometric embedding problem in spaces with horizon in general relativity, like the Anti-de Sitter-Schwarzschild manifolds and the Reissner-Nordström manifolds.
We study biharmonic hypersurfaces in a generic Riemannian manifold. We first derive an invariant equation for such hypersurfaces generalizing the biharmonic hypersurface equation in space forms studied in \cite{Ji2}, \cite{CH}, \cite{CMO1}, \cite{CMO2}. We then apply the equation to show that the generalized Chen's conjecture is true for totally umbilical biharmonic hypersurfaces in an Einstein space, and construct a (2-parameter) family of conformally flat metrics and a (4-parameter) family of multiply warped product metrics each of which turns the foliation of an upper-half space of $\mathhb…
We construct examples of compact and one-ended constant mean curvature surfaces with large mean curvature in Riemannian manifolds with axial symmetry by gluing together small spheres positioned end-to-end along a geodesic. Such surfaces cannot exist in Euclidean space, but we show that the gradient of the ambient scalar curvature acts as a `friction term' which permits the usual analytic gluing construction to be carried out.
In this paper we study the main geometric properties of the Carnot-Carathéodory (abbreviated CC) distance $\dc$ in the setting of $k$-step sub-Riemannian Carnot groups from many different points of view. An extensive study of the so-called normal CC-geodesics is given. We state and prove some related variational formulae and we find suitable Jacobi-type equations for normal CC-geodesics. One of our main results is a sub-Riemannian version of the Gauss Lemma. We show the existence of the metric normal for smooth non-characteristic hypersurfaces. We also compute the sub-Riemannian exponential ma…
We obtain a comparison formula for integrals of mean curvatures of Riemannian hypersurfaces, via Reilly's identities. As applications we derive several geometric inequalities for a convex hypersurface $Γ$ in a Cartan-Hadamard manifold $M$. In particular we show that the first mean curvature integral of a convex hypersurface $γ$ nested inside $Γ$ cannot exceed that of $Γ$, which leads to a sharp lower bound in dimension $3$ for the total first mean curvature of $Γ$ in terms of the volume it bounds in $M$. This monotonicity property is extended to all mean curvature integrals when $γ$ is paralle…
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…
In this paper, we establish that: Suppose a closed Riemannian manifold $(M^n,g_0)$ of dimension $\geq 8$ is not locally conformally flat, then the Paneitz-Sobolev constant of $M^n$ has the property that $q(g_0)<q(S^n)$. The analogy of this result was obtained by T. Aubin in 1976 and had been used to solve the Yamabe problem on closed manifolds. As an application, the above result can be used to recover the sequential convergence of the nonlocal Q-curvature flow on closed manifolds recently introduced by Gursky-Malchiodi.
Motivated by the rigidity case in the localized Riemannian Penrose inequality, we show that suitable singular metrics attaining the optimal value in the Riemannian Penrose inequality is necessarily smooth in properly specified coordinates. If applied to hypersurfaces enclosing the horizon in a spatial Schwarzschild manifold, the result gives the rigidity of isometric hypersurfaces with the same mean curvature.
Let (M,g) be an oriented Riemannian manifold of dimension at least 3 and X a vector field on M. We show that the Monge-Ampère differential system (M.A.S.) for X-pseudosoliton hypersurfaces on (M,g) is equivalent to the minimal hypersurface M.A.S. on (M,g') for some Riemannian metric g', if and only if X is the gradient of a function u, in which case g'=exp(-2u)g. Counterexamples to this equivalence for surfaces are also given.
We construct solutions of the Cahn-Hilliard equation whose nodal set converges to a given constant mean curvature hypersurface in a Riemannian manifold.
We are concerned with hypersurfaces of $\mathbb{R}^N$ with constant nonlocal (or fractional) mean curvature. This is the equation associated to critical points of the fractional perimeter under a volume constraint. Our results are twofold. First we prove the nonlocal analogue of the Alexandrov result characterizing spheres as the only closed embedded hypersurfaces in $\mathbb{R}^N$ with constant mean curvature. Here we use the moving planes method. Our second result establishes the existence of periodic bands or "cylinders" in $\mathbb{R}^2$ with constant nonlocal mean curvature and bifurcatin…
In the early 1980s, S. T. Yau conjectured that any compact Riemannian three-manifold admits an infinite number of closed immersed minimal surfaces. We use min-max theory for the area functional to prove this conjecture in the positive Ricci curvature setting. More precisely, we show that every compact Riemannian manifold with positive Ricci curvature and dimension at most seven contains infinitely many smooth, closed, embedded minimal hypersurfaces. In the last section we mention some open problems related with the geometry of these minimal hypersurfaces.
We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\r…
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.
In this paper we shall study smooth submanifolds immersed in a k-step Carnot group G of homogeneous dimension Q. Among other results, we shall prove an isoperimetric inequality for the case of a $C^2$-smooth compact hypersurface S with - or without - boundary $\partial S$; S and $\partial S$ are endowed with their homogeneous measures, actually equivalent to the intrinsic (Q-1)-dimensional and (Q-2)-dimensional Hausdorff measures with respect to some homogeneous metric $\varrho$ on G; see Section 5. This generalizes a classical inequality, involving the mean curvature of the hypersurface, prov…
Let $N$ be a Riemannian manifold and consider a stationary union of three or more $C^{1,μ}$ hypersurfaces-with-boundary $M_k$ in $N$ with a common boundary $Γ$. We show that if $N$ is smooth, then $Γ$ is smooth and each $M_k$ is smooth up to $Γ$ (real analytic in the case $N$ is real analytic). Consequently we strengthen a result of Wickramasekera to conclude that under the stronger hypothesis that $V$ is a stationary, stable, integral $n$-varifold in an $(n+1)$-dimensional, smooth (real analytic) Riemannian manifold such that the support of $\|V\|$ is nowhere locally the union of three or mor…
Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ ϕ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as $h \to 0^+$.
For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a compact manifold with boundary $(M^{n+1},\partial M)$, $3\leq (n + 1)\leq 7$, we prove that, for any open subset $V$ of $\partial M$, there exists a compact, properly embedded free boundary minimal hypersurface intersecting $V$.
For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics.
Given a compact Riemannian manifold with boundary, we prove that the limit of a sequence of embedded, almost properly embedded free boundary minimal hypersurfaces, with uniform area and Morse index upper bound, always inherits a non-trivial Jacobi field. To approach this, we prove a one-sided Harnack inequality for minimal graphs on balls with many holes.
Using min-max theory, we show that in any closed Riemannian manifold of dimension at least 3 and at most 7, there exist infinitely many smoothly embedded closed minimal hypersurfaces. It proves a conjecture of S.-T. Yau. This paper builds on the methods developed by F. C. Marques and A. Neves.
