It is still an open question whether a compact embedded hypersurface in the Euclidean space R^{n+1} with constant mean curvature and spherical boundary is necessarily a hyperplanar ball or a spherical cap, even in the simplest case of surfaces in R^3. In a recent paper the first and third authors have shown that this is true for the case of hypersurfaces in R^{n+1} with constant scalar curvature, and more generally, hypersurfaces with constant higher order r-mean curvature, when r>1. In this paper we deal with some aspects of the classical problem above, by considering it in a more general context. Specifically, our starting general ambient space is an orientable Riemannian manifold, where we will consider a general geometric configuration consisting of an immersed hypersurface with boundary on an oriented hypersurface P. For such a geometric configuration, we study the relationship between the geometry of the hypersurface along its boundary and the geometry of its boundary as a hypersurface of P, as well as the geometry of P. Our approach allows us to derive, among others, interesting results for the case where the ambient space has constant curvature. In particular, we are able to extend the previous symmetry results to the case of hypersurfaces with constant higher order r-mean curvature in the hyperbolic space and in the sphere.
We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a contact manifold of dimension more than three is noncharacteristic or with isolated characteristic points, then given two points, there exists at least one piecewise smooth horizontal curve in this hypersurface connecting them. In any sub-Riemannian manifold, we obtain the sub-Riemannian version of the fundamental theorem of Riemannian geometry. We use this …
We classify the space-like biharmonic surfaces in 3-dimension pseudo-Riemannian space form, and construct explicit examples of proper biharmonic hypersurfaces in general ADS space.
In our article, we introduce and study lightlike hypersurfaces of a metallic semi-Riemannian manifold. We examine some geometric properties of invariant lightlike hypersurfaces. We show that the induced structure on an invariant lightlike hypersurface is also metallic. We also define screen semi-invariant lightlike hypersurfaces, investigate integrability conditions for the distributions and give some examples.
In this paper, we study biconservative hypersurfaces in $\mathbb S^{n}$ and $\mathbb H^{n}$. Further, we obtain complete explicit classification of biconservative hypersurfaces in $4$-dimensional Riemannian space form with exactly three distinct principal curvatures.
Given a null hypersurface $L$ of a Lorentzian manifold, we construct a Riemannian metric $\widetilde{g}$ on it from a fixed transverse vector field $ζ$. We study the relationship between the ambient Lorentzian manifold, the Riemannian manifold $(L,\widetilde{g})$ and the vector field $ζ$. As an application, we prove some new results on null hypersurfaces, as well as known ones, using Riemannian techniques.
We prove the existence of minimal hypersurfaces for the Dirichlet that extends a similar result of Jenkins and Serrin in Euclidean Space to Riemannian ambient manifolds
In this article, we get classification theorems for a Ricci soliton on the pseudo-Riemannian hypersurface of the Minkowski space $\mathbb{E}^4_1$ taking the potential vector field as the tangent component of the position vector of the pseudo-Riemannian hypersurface, denoted by $(M,g,{\bf x}^T,λ)$ in both Riemannian and Lorentzian settings. First, we obtain the necessary and sufficient condition that a pseudo-Riemannian hypersurface $(M,g)$ in $\mathbb{E}^4_1$ admits a Ricci soliton $(M,g,{\bf x}^T,λ)$. In each of the form of the shape operator of a pseudo-Riemannian hypersurface, we obtain cha…
We give an estimate of the first eigenvalue of the Laplace operator on a complete noncompact stable minimal hypersurface $M$ in a complete simply connected Riemannian manifold with pinched negative sectional curvature. In the same ambient space, we prove that if a complete minimal hypersurface $M$ has sufficiently small total scalar curvature then $M$ has only one end. We also obtain a vanishing theorem for $L^2$ harmonic 1-forms on minimal hypersurfaces in a Riemannian manifold with sectional curvature bounded below by a negative constant. Moreover we provide sufficient conditions for a minim…
This paper introduces the notion of $k$-isoparametric hypersurface in an $(n+1)$-dimensional Riemannian manifold for $k=0,1,...,n$. Many fundamental and interesting results (towards the classification of homogeneous hypersurfaces among other things) are given in complex projective spaces, complex hyperbolic spaces, and even in locally rank one symmetric spaces.
We prove the existence of smooth closed hypersurfaces of prescribed mean curvature homeomorphic to $S^n$ for small $n, n\le6$, provided there are barriers.
We introduce a class of null hypersurfaces of a semi-Riemannian manifold, namely, screen quasi-conformal hypersurfaces, whose geometry may be studied through the geometry of its screen distribution. In particular, this notion allows us to extend some results of previous works to the case in which the sectional curvature of the ambient space is different from zero. As applications, we study umbilical, isoparametric and Einstein null hypersurfaces in Lorentzian space forms and provide several classification results.
Given a C2-domain with compact boundary in an arbitrary complete Riemannian manifold, we search for smallness conditions on the boundary data for which the Dirichlet problem for the minimal hypersurface equation is solvable. We obtain an extension to Riemannian manifolds of an existence result of G. H. Williams ( J. Reine Angew. Math. 354:123-140, 1984).
Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to Michael and Simon, and Allard, independently. Some applications are discussed.
In this paper, almost product-like Riemannian manifolds are investigated. Basic properties on tangential hypersurfaces of almost product-like Riemannian manifolds are obtained. Some examples of tangential hypersurfaces are presented. Some relations involving the Riemannian curvature tensor of a tangential hypersurface are computed.
The purpose of this paper is to study a complete orientable minimal hypersurface with finite index in an $(n+1)$-dimensional Riemannian manifold $N$. We generalize Theorems 1.5-1.6 (\cite{Seo14}). In 1976, Schoen and Yau proved the Liouville type theorem on stable minimal hypersurface, i.e., Theorem 1.7 (\cite{SchoenYau1976}). Recently, Seo (\cite{Seo14}) generalized Theorem 1.7 (\cite{SchoenYau1976}). Finally, we generalize Theorems 1.7 (\cite{SchoenYau1976}) and 1.8 (\cite{Seo14})
In this paper, we give an explicit second variation formula for a biharmonic hypersurface in a Riamannian manifold similar to that of a minimal hypersurface. We then use the second variation formula to compute the stability index of the known biharmonic hypersurfaces in a Euclidean sphere, and to prove the non-existence of unstable proper biharmonic hypersurface in a Euclidean space or a hyperbolic space, which adds another special case to support Chen's conjecture on biharmonic submanifolds.
We classify hypersurfaces of the Minkowski space $Ł^{n+1}$ that carry a totally geodesic foliation with complete leaves of codimension one. We prove that such a hypersurface is ruled, or a partial tube over a curve or contains a two or three dimensional strip. Moreover, if the hypersurface is embedded then it is a partial tube over a curve.
In a previous work, we studied isoparametric functions on Riemannian manifolds, especially on exotic spheres. One result there says that, in the family of isoparametric hypersurfaces of a closed Riemannian manifold, there exist at least one minimal isoparametric hypersurface. In this note, we show such minimal isoparametric hypersurface is also unique in the family if the ambient manifold has positive Ricci curvature. Moreover, we give a proof of the Theorem D claimed by Q.M.Wang (without proof) which asserts that the focal submanifolds of an isoparametric function on a complete Riemannian man…
In this paper, we study four dimensional hypersurface M^4_r with proper mean curvature vector field (i.e. Δ\vec{H} is proportional to \vec{H}) in pseudo-Riemannian space form N^5_s(c), and show that it has constant mean curvature, and give the range of this constant. As an application, we get that biharmonic hypersurfaces in N^5_s(c) are minimal in some specific cases, which partially confirms B.-Y. Chen's conjecture.
In this paper, we show that, for a biharmonic hypersurface $(M,g)$ of a Riemannian manifold $(N,h)$ of non-positive Ricci curvature, if $\int_M|H|^2 v_g<\infty$, where $H$ is the mean curvature of $(M,g)$ in $(N,h)$, then $(M,g)$ is minimal in $(N,h)$. Thus, for a counter example $(M,g)$ in the case of hypersurfaces to the generalized Chen's conjecture (cf. Sect.1), it holds that $\int_M|H|^2 v_g=\infty$.
The study of real hypersurfaces in pseudo-Riemannian complex space forms and para-complex space forms, which are the pseudo-Riemannian generalizations of the complex space forms, is addressed. It is proved that there are no umbilic hypersurfaces, nor real hypersurfaces with parallel shape operator in such spaces. Denoting by $J$ be the complex or para-complex structure of a pseudo-complex or para-complex space form respectively, a non-degenerate hypersurface of such space with unit normal vector field $N$ is said to be \em Hopf \em if the tangent vector field $JN$ is a principal direction. It …
Let M be a compact Riemannian manifold and E a Riemannian vector bundle on M. We look for hypersurfaces of E with a prescribed vertical Gaussian curvature. In trying to solve this problem fibre-wise, we loose the regularity of the resulting solution. To unsure the smoothness of the solution, we construct it as a radial graph over the unit sphere subbundle of E and prove its existence by solving in this one a nonlinear partial differential equation of Monge-Ampère type.
Rugang Ye proved the existence of a family of constant mean curvature hypersurfaces in an $m+1$-dimensional Riemannian manifold $(M^{m+1},g)$, which concentrate at a point $p_0$ (which is required to be a nondegenerate critical point of the scalar curvature), moreover he proved that this family constitute a foliation of a neighborhood of $p_0$. In this paper we extend this result to the other curvatures (the $r$-th mean curvature for $1\le r\le m$).
We survey the main extensions of the classical Hadamard, Liebmann and Cohn-Vossen rigidity theorems on convex surfaces of $3$-Euclidean space to the context of convex hypersurfaces of Riemannian manifolds. The results we present include the one by Professor Renato Tribuzy (in collaboration with H. Rosenberg) on rigidity of convex surfaces of homogeneous $3$-manifolds.
Riemannian manifolds of quasi-constant sectional curvatures (QC-manifolds) are divided into two basic classes: with positive or negative horizontal sectional curvatures. We prove that the Riemannian QC-manifolds with positive horizontal sectional curvatures are locally equivalent to canal hypersurfaces in Euclidean space, while the Riemannian QC-manifolds with negative horizontal sectional curvatures are locally equivalent to canal space-like hypersurfaces in Minkowski space. We prove that the local theory of conformally flat Riemannian manifolds, which can be locally isometrically embedded as…
We show that the evolution of isoparametric hypersurfaces of Riemannian manifolds by the mean curvature flow is given by a reparametrization of the parallel family in short time, as long as the uniqueness of the mean curvature flow holds for the initial data and the corresponding ambient space. As an application, we provide a class of Riemannian manifolds that admit hypersurfaces with constant principal curvatures, which are not isoparametric hypersurfaces. Furthermore, for a class of ambient spaces, we show that the singularities developed by the mean curvature flow with isoparametric hypersu…
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 study the behavior of minimal hypersurfaces in the Schwarzschild $n$-manifolds that intersect the horizon orthogonally along the boundary. We show that a free boundary minimal hypersurface and a totally geodesic hyperplane must intersect when the distance between them is achieved in a bounded region. We also discuss when the Schwarzschild metric is perturbed in a way that its scalar curvature is no longer positive.
Given a Riemannian manifold M and a hypersurface H in M, it is well known that infinitesimal convexity on a neighborhood of a point in H implies local convexity. We show in this note that the same result holds in a semi-Riemannian manifold. We make some remarks for the case when only timelike, null or spacelike geodesics are involved. The notion of geometric convexity is also reviewed and some applications to geodesic connectedness of an open subset of a Lorentzian manifold are given.
This is a revised version (minor changes and a deeper insight in the positive curvature case). We prove some Caccioppoli's inequalities for the traceless part of the second fundamental form of a complete, noncompact, finite index, constant mean curvature hypersurface of a Riemannian manifold, satisfying some curvature conditions. This allows us to unify and clarify many results scattered in the literature and to obtain some new results. For example, we prove that there is no stable, complete, noncompact hypersurface in ${\mathbb R}^{n+1},$ $n\leq 5,$ with constant mean curvature $H\not=0,$ pro…
In this paper, we investigate a holonomy invariant elliptic anisotropic surface energy for hypersurfaces in a complete Riemannian manifold, where "holonomy invariant" means that the elliptic parametric Lagrangian (i.e., a Finsler metric) of the Riemannian manifold used to define the anisotropic surface energy is constant along each holonomy subbundle of the tangent bundle of the Riemannian manifold. First we obtain the first variational formula for this anisotropic surface energy. Next we shall introduce the notions of an anisotropic convex hypersurface, an anisotropic equifocal hypersurface a…
In this paper, we derived biharmonic equations for pseudo-Riemannian submanifolds of pseudo-Riemannian manifolds which includes the biharmonic equations for submanifolds of Riemannian manifolds as a special case. As applications, we proved that a pseudo-umbilical biharmonic pseudo-Riemannian submanifold of a pseudo-Riemannian manifold has constant mean curvature, we completed the classifications of biharmonic pseudo-Riemannian hypersurfaces with at most two distinct principal curvatures, which were used to give four construction methods to produce proper biharmonic pseudo-Riemannian submanifol…
In this paper, we study the relationship between isoparametric hypersurfaces and hypersurfaces with constant principal curvatures in Finsler spaces. We give some examples of isoparametric hypersurfaces with (non)constant principal curvatures on Randers manifolds with nonconstant flag curvatures. Furthermore, we construct an example of a conformally flat Randers manifold which admits a family of nonisoparametric hyperplanes with constant principal curvatures.
In the first part of this paper we prove some new Poincaré inequalities, with explicit constants, for domains of any hypersurface of a Riemannian manifold with sectional curvatures bounded from above. This inequalities involve the first and the second symmetric functions of the eigenvalues of the second fundamental form of such hypersurface. We apply these inequalities to derive some isoperimetric inequalities and to estimate the volume of domains enclosed by compact self-shrinkers in terms of its scalar curvature. In the second part of the paper we prove some mean value inequalities and as co…
In this paper we generalize the main result of [4] for manifolds that are not necessarily Einstein. In fact, we obtain an upper bound for the volume of a locally volume-minimizing closed hypersurface $Σ$ of a Riemannian 5-manifold $M$ with scalar curvature bounded from below by a positive constant in terms of the total traceless Ricci curvature of $Σ$. Furthermore, if $Σ$ saturates the respective upper bound and $M$ has nonnegative Ricci curvature, then $Σ$ is isometric to $\mathbb{S}^4$ up to scaling and $M$ splits in a neighborhood of $Σ$. Also, we obtain a rigidity result for the Riemannian…
Biconservative hypersurfaces are hypersurfaces which have conservative stress-energy tensor with respect to the bienergy, containing all minimal and constant mean curvature hypersurfaces. The purpose of this paper is to study biconservative hypersurfaces $M^n$ with constant scalar curvature in a space form $N^{n+1}(c)$. We prove that every biconservative hypersurface with constant scalar curvature in $N^4(c)$ has constant mean curvature. Moreover, we prove that any biconservative hypersurface with constant scalar curvature in $N^5(c)$ is ether an open part of a certain rotational hypersurface …
Rigging technique introduced in \cite{bi0} is a convenient way to address the study of null hypersurfaces. It offers in addition the extra benefit of inducing a Riemannian structure on the null hypersurface which is used to study geometric and topological properties on it. In this paper we develop this technique showing new properties and applications. We first discuss the very existence of the rigging fields under prescribed geometric and topological constraints. We consider the completeness of the induced rigged Riemannian structure. This is potentially important because it allows to use mos…
A Lie hypersurface in the complex hyperbolic space is a homogeneous real hypersurface without focal submanifolds. The set of all Lie hypersurfaces in the complex hyperbolic space is bijective to a closed interval, which gives a deformation of homogeneous hypersurfaces from the ruled minimal one to the horosphere. In this paper, we study intrinsic geometry of Lie hypersurfaces, such as Ricci curvatures, scalar curvatures, and sectional curvatures.
We introduce the notion of translational Riemannian manifolds and define a Gauss map for orientable immersed hypersurfaces lying in these ambients, an associated translational curvature and prove a Gauss-Bonnet theorem. We also use this Gauss map to prove that if $M^{n}$ is a compact, connected and oriented immersed hypersurface of the unit sphere $\mathbb{S}^{n+1}$ ($n\geq2$) contained in a geodesic ball of radius $R$ and whose principal curvatures are strictly bigger than $\tan\left( R/2 \right)$, then $M$ is diffeomorphic to $\mathbb{S}^{n}$. Additionally, we show that for any $\varepsilon\…
We find complete hypersurfaces of constant curvature in hyperbolic space with a prescribed asymptotic boundary at infinity for a general class of (elliptic) curvature functions which includes the higher order mean curvatures and their curvature quotients.
