The existence of closed hypersurfaces of prescribed scalar curvature in globally hyperbolic Lorentzian manifolds is proved provided there are barriers.
In this paper, we study the invariant and noninvariant hypersurfaces of (1,1,1) almost contact manifolds, Lorentzian almost paracontact manifolds and Lorentzian para-Sasakian manifolds, respectively. We show that a noninvariant hypersurface of an (1,1,1) almost contact manifold admits an almost product structure. We investigate hypersurfaces of affinely cosymplectic and normal (1,1,1) almost contact manifolds. It is proved that a noninvariant hypersurface of a Lorentzian almost paracontact manifold is an almost product metric manifold. Some necessary and sufficient conditions have been given f…
In this paper we develop the notion of screen isoparametric hypersurface for null hypersurfaces of Robertson-Walker spacetimes. Using this formalism we derive Cartan identities for the screen principal curvatures of null screen hypersurfaces in Lorentzian space forms and provide a local characterization of such hypersurfaces.
Similar to the definition of Dupin hypersurface in Riemannian space forms, we define the spacelike Dupin hypersurface in Lorentzian space forms. As conformal invariant objects, spacelike Dupin hypersurfaces are studied in this paper using the framework of conformal geometry. Further we classify the spacelike Dupin hypersurfaces with constant Möbius curvatures, which are the partition ratio of the principal curvatures of the spacelike Dupin hypersurface.
In this paper, we study complete space-like $λ$-hypersurfaces in the Lorentzian space $\mathbb R^{n+1}_1$. As the result, we prove some rigidity theorems for these hypersurfaces including the complete space-like self-shrinkers in $\bbr^{n+1}_1$.
Let $M^{n+1}_1$ be a light-like geodesically complete Lorentzian $(n+1)$-manifold satisfying the null energy condition. We show that null hypersurfaces properly immersed in $M^{n+1}_1$ are totally geodesic.
In this paper we study $4$-dimensional affine hypersurfaces with a Lorentzian second fundamental form additionally equipped with an almost symplectic structure $ω$. We prove that the rank of the shape operator is at most one if $R^k\cdot ω=0$ or $\nabla^kω=0$ for some positive integer $k$. This result is the final step in a classification of Lorentzian affine hypersurfaces with higher order parallel almost symplectic forms.
In the authors' previous work, it was shown that if a zero mean curvature $C^4$-differentiable hypersurface in an arbitrarily given Lorentzian manifold admits a degenerate light-like point, then the hypersurface contains a light-like geodesic segment passing through the point. The purpose of this paper is to point out that the same conclusion holds with just $C^3$-differentiability of the hypersurfaces.
In this paper, we study Lorentzian hypersurfaces in Minkowski 5-space with non-diagonalizable shape operator whose characteristic polinomial is $(t-k_1)^2(t-k_3)(t-k_4)$ or $(t-k_1)^3(t-k_4)$. We proved that in these cases, a hypersurface is biharmonic if and only if it is minimal.
There are three types of hypersurfaces in a pseudoconformal space C^n_1 of Lorentzian signature: spacelike, timelike, and lightlike. These three types of hypersurfaces are considered in parallel. Spacelike hypersurfaces are endowed with a proper conformal structure, and timelike hypersurfaces are endowed with a conformal structure of Lorentzian type. Geometry of these two types of hypersurfaces can be studied in a manner that is similar to that for hypersurfaces of a proper conformal space. Lightlike hypersurfaces are endowed with a degenerate conformal structure. This is the reason that their…
This paper looks at the splitting problem for globally hyperbolic spacetimes with timelike Ricci curvature bounded below containing a (spacelike, acausal, future causally complete) hypersurface with mean curvature bounded from above. For such spacetimes we show a splitting theorem under the assumption of either the existence of a ray of maximal length or a maximality condition on the volume of Lorentzian distance balls over the hypersurface. The proof of the first case follows work by Andersson, Galloway and Howard and uses their geometric maximum principle for level sets of the (Lorentzian) B…
The authors study the geometry of lightlike hypersurfaces on manifolds $(M, c)$ endowed with a pseudoconformal structure $c = CO (n - 1, 1)$ of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. On a lightlike hypersurface, the authors consider the fibration of isotropic geodesics and investigate their singular points and singular submanifolds. They construct a conformally invariant normalization of a lightlike hypersurface intrinsically connected with its geometry and investigate affine connections i…
In this paper we prove Hessian and Laplacian comparison theorems for the Lorentzian distance function in a spacetime with sectional (or Ricci) curvature bounded by a certain function by means of a comparison criterion for Riccati equations. Using these results, under suitable conditions, we are able to obtain some estimates on the higher order mean curvatures of spacelike hypersurfaces satisfying a Omori-Yau maximum principle for certain elliptic operators.
In the present paper, we show that the geometry of a screen integrable null hypersurface can be generated from an isometric immersion of a leaf of its screen distribution into the ambient space. We prove, under certain geometric conditions, that such immersions are contained in semi-Euclidean spheres or hyperbolic spaces, and the underlying null hypersurfaces are necessarily umbilic and screen totally umbilic. Where necessary, examples have been given to illustrate the main ideas.
Let $M^n$ be an $n$-dimensional umbilic-free hypersurface in the $(n+1)$-dimensional Lorentzian space form $M^{n+1}_1(c)$. Three basic invariants of $M^n$ under the conformal transformation group of $M^{n+1}_1(c)$ are a $1$-form $C$, called conformal $1$-form, a symmetric $(0,2)$ tensor $B$, called conformal second fundamental form, and a symmetric $(0,2)$ tensor $A$, called Blaschke tensor. The so-called para-Blaschke tensor $D^λ=A+λB$, the linear combination of $A$ and $B$, is still a symmetric $(0,2)$ tensor. A spacelike hypersurface is called a para-Blaschke isoparametric spacelike hypersu…
We consider geodesic flows between hypersurfaces in $\R^n$. However, rather than consider using geodesics in $\R^n$, which are straight lines, we consider an induced flow using geodesics between the tangent spaces of the hypersurfaces viewed as affine hyperplanes. For naturality, we want the geodesic flow to be invariant under rigid transformations and homotheties. Consequently, we do not use the dual projective space, as the geodesic flow in this space is not preserved under translations. Instead we give an alternate approach using a Lorentzian space, which is semi-Riemannian with a metric of…
We prove existence of compact spacelike hypersurfaces with prescribed k - curvature in de Sitter space, where the prescription function depends on both space and the tilt function.
We prove the existence of a complete locally Lipschitz continuous hypersurface in weak sense with prescribed Weingarten curvature and asymptotic boundary at infinity in hyperbolic space under certain assumptions.
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.
Let N be a (n+1)-dimensional globally hyperbolic Lorentzian manifold with a compact Cauchy hypersurface. We consider curvature flows in N with different curvature functions F (including the mean curvature, the gauss curvature and the second elementary symmetric polynomial) and a volume preserving term. Under suitable assumptions we prove the long time existence of the flow and the exponential convergence of the corresponding graphs in the $C^\infty$-topology to a hypersurface of constant F-curvature. Furthermore we examine stability properties and foliations of constant F-curvature hypersurfac…
We study the geometry of stable maximal hypersurfaces in a variety of spacetimes satisfying various physically relevant curvature assumptions, for instance the Timelike Convergence Condition (TCC). We characterize stability when the target space has constant sectional curvature as well as give sufficient conditions on the geometry of the ambient spacetime (e.g., the validity of TCC) to ensure stability. Some rigidity results and height estimates are also proven in GRW spacetimes. In the last part of the paper we consider $k$-stability of spacelike hypersurfaces, a concept related to mean curva…
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.
These are lecture notes for the mini-course \textit{PDE and hypersurfaces with prescribed mean curvature} held in Federal University of São Carlos at the Workshop on Submanifold Theory and Geometric Analysis, August 05 -- 09, 2019. The aim of these notes is to introduce to the geometers useful tools from the \textit{Theory of partial differential equations} which are used in order to obtain hypersurfaces with prescribed mean curvature. For instance, graphs with prescribed mean curvature can be obtained by solving the Dirichlet problem for a particular quasilinear elliptic partial differential …
We prove that, for a generic set of smooth prescription functions $h$ on a closed ambient manifold, there always exists a nontrivial, smooth, closed hypersurface of prescribed mean curvature $h$. The solution is either an embedded minimal hypersurface with integer multiplicity, or a non-minimal almost embedded hypersurface of multiplicity one. More precisely, we show that our previous min-max theory, developed for constant mean curvature hypersurfaces, can be extended to construct min-max prescribed mean curvature hypersurfaces for certain classes of prescription function, including smooth Mor…
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.
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 show the existence of a deformation process of hypersurfaces from a product space $M_1\times R$ into another product space $M_2\times R$ such that the relation of the principal curvatures of the deformed hypersurfaces can be controlled in terms of the sectional curvatures or Ricci curvatures of $M_1$ and $M_2$. In this way, we obtain barriers which are used for proving existence or non existence of hypersurfaces with prescribed curvatures in a general product space $M\times R$.
Our aim is to study invariant hypersurfaces immersed in the Euclidean space $\mathbb{R}^{n+1}$, whose mean curvature is given as a linear function in the unit sphere $\mathbb{S}^n$ depending on its Gauss map. These hypersurfaces are closely related with the theory of manifolds with density, since their weighted mean curvature in the sense of Gromov is constant. In this paper we obtain explicit parametrizations of constant curvature hypersurfaces, and also give a classification of rotationally invariant hypersurfaces.
We prove that any piece of a rotational hypersurface with prescribed mean curvature function in a Euclidean space can be uniquely extended infinitely, which generalizes the results by Euler and Delaunay for surfaces of revolution with constant mean curvautre. Next, we prove the same kind of theorem for generalized rotational hypersurfaces of O(l+1) x O(m+1)-type. The key lemmas in this paper show the existence of solutions for singular initial value problems which arise from the analysis of ordinary differential equations of generating curves of those hypersurfaces.
In this paper we provide several uniqueness and non-existence results for complete parabolic constant mean curvature spacelike hypersurfaces in Lorentzian warped products under appropriate geometric assumptions. As a consequence of this parametric study, we obtain very general uniqueness and non-existence results for a large family of uniformly elliptic EDP's, so solving the Calabi-Bernstein problem in a wide family of spacetimes.
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.
We use pinched smooth hyperbolization to show that every closed, nonpositively curved $n$-dimensional manifold $M$ can be embedded as a totally geodesic submanifold of a closed, nonpositively curved $(n+1)$-dimensional manifold $\hat{M}$ of geometric rank one.
We develop area and volume comparison theorems for the evolution of spacelike, acausal, causally complete hypersurfaces in Lorentzian manifolds, where one has a lower bound on the Ricci tensor along timelike curves, and an upper bound on the mean curvature of the hypersurface. Using these results, we give a new proof of Hawking's singularity theorem.
Some analysis on the Lorentzian distance in a spacetime with controlled sectional (or Ricci) curvatures is done. In particular, we focus on the study of the restriction of such distance to a spacelike hypersurface satisfying the Omori-Yau maximum principle. As a consequence, and under appropriate hypotheses on the (sectional or Ricci) curvatures of the ambient spacetime, we obtain sharp estimates for the mean curvature of those hypersurfaces. Moreover, we also give a suficient condition for its hyperbolicity.
In this paper, we study the Dirichlet problem for $p$-convex hypersurfaces with prescribed curvature. We prove that there exists a graphic hypersurface satisfying the prescribed curvature equation with homogeneous boundary condition. An interior curvature estimate is also obtained.
We study hypersurfaces with prescribed null expansion in an initial data set. We propose a notion of stability and prove a topology theorem. Eichmair's Perron approach toward the existence of marginally outer trapped surface adapts to the settings of hypersurfaces with prescribed null expansion with only minor modifications.
We obtain sharp estimates involving the mean curvatures of higher order of a complete bounded hypersurface immersed in a complete Riemannian manifold. Similar results are also given for complete spacelike hypersurfaces in Lorentzian ambient spaces.
In this paper, we establish the curvature estimates for $p$-convex hypersurfaces in $\mathbb{R}^{n+1}$ of prescribed curvature with $p\geq \frac{n}{2}$. The existence of a star-shaped hypersurface of prescribed curvature is obtained. We also prove a type of interior $C^2$ estimates for solutions to the Dirichlet problem of the corresponding equation.
We prove an existence theorem for convex hypersurfaces of prescribed Gauss curvature in the complement of a compact set in Euclidean space which are close to a cone.
In this study, we obtain a spinorial Gauss formula for a lightlike hypersurface in Lorentzian manifold with 4-dimension. Then, we take into account the changes caused by degenerate metric on hypersurface and investigate Dirac operator for lightlike hypersurface. Later, we establish the relation between Dirac operators and Riemannian curvatures of manifold and hypersurface.
We are concerned with spacelike convex hypersurfaces of positive constant (K-hypersurfaces) or prescribed Gauss curvature in Minkowski space. Our main purpose is to study entire solutions as well as the Dirichlet problem in bounded domains of the related Monge-Ampere equation.
Anti-de Sitter space is the Lorentzian space form with negative curvature. In this paper we consider lightlike hypersurfaces along spacelike submanifolds in anti-de Sitter space with general codimension. In particular, we investigate the singularities of lightlike hypersurfaces as an application of the theory of Legendrian singularities.
We prove existence and uniqueness of entire spacelike hypersurfaces in the Minkowski space with prescribed negative scalar curvature, and with given values at infinity which stay at a bounded distance of a lightcone.
In the previous paper, it has been proved that the generalized rotational hypersurfaces of O(n-1)-type and O (l+1) x O(m+1)-type, for which the mean curvature is any prescribed continuous function. This paper is a sequel, and a similar existence result is shown for any type.
We study hypersurfaces either in the De Sitter space $§_1^{n+1}\subset\R_1^{n+2}$ or in the anti De Sitter space $\H_1^{n+1}\subset\R_2^{n+2}$ whose position vector $ψ$ satisfies the condition $L_kψ=Aψ+b$, where $L_k$ is the linearized operator of the $(k+1)$-th mean curvature of the hypersurface, for a fixed $k=0,...,n-1$, $A$ is an $(n+2)\times(n+2)$ constant matrix and $b$ is a constant vector in the corresponding pseudo-Euclidean space. For every $k$, we prove that when $A$ is self-adjoint and $b=0$, the only hypersurfaces satisfying that condition are hypersurfaces with zero $(k+1)$-th me…
In [7], Guan, Ren and Wang obtained a $C^2$ a priori estimate for admissible 2-convex hypersurfaces satisfying the Weingarten curvature equation $σ_2(κ(X))=f(X, ν(X)).$ In this note, we give a simpler proof of this result, and extend it to space forms.