We investigate on the existence of smooth complete hypersurface with prescribed Weingarten curvature and asymptotic boundary at infinity in hyperbolic space under the assumption that there exists an asymptotic subsolution. We give an affirmative answer for the case $k = n$ when the asymptotic boundary $Γ$ bounds a uniformly convex domain, and for $k < n$ when $Γ$ bounds a disk, utilizing Pogorelov type interior second order estimate. Our result complements our previous work \cite{Sui2019, Sui-Sun}, and generalizes the asymptotic Plateau type problem to non-constant prescribed curvature case.
In this paper, we solve the asymptotic Plateau problem in hyperbolic space for constant $σ_{n-1}$ curvature, i.e. the existence of a complete hypersurface in $\mathbb{H}^{n+1}$ satisfying $σ_{n-1}(κ)=σ\in (0,n)$ with a prescribed asymptotic boundary $Γ$. The key ingredient is the curvature estimates. Previously, this is only known for $σ_0<σ<n$, where $σ_0$ is a positive constant.
It is extended a result due to B. Guan and J. Spruck on the asymptotic Plateau's problem for CMC radial graphs in hyperbolic space to horizontal CMC graphs.
We define and prove the existence of unique solutions of an asymptotic Plateau problem for spacelike maximal surfaces in the pseudo-hyperbolic space of signature (2, n): the boundary data is given by loops on the boundary at infinity of the pseudo-hyperbolic space which are limits of positive curves. We also discuss a compact Plateau problem. The required compactness arguments rely on an analysis of the pseudo-holomorphic curves defined by the Gauss lifts of the maximal surfaces.
The asymptotic Plateau problem for Hypersurfaces of constant $H_{k}$ curvature in hyperbolic space
Key Laboratory of Pure and Applied Mathematics, School of Mathematical Sciences, Peking University（北京大学数学科学学院纯数学与计算数学重点实验室）；Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学研究所）
We consider surfaces of constant Gaussian curvature immersed in 3-dimensional manifolds, and we strengthen the compactness result of Labourie in the case where the ambient manifold is 3-dimensional hyperbolic space. This allows us to prove results of existence of solutions to the asymptotic Plateau problem, as defined by Labourie, and the continuous dependence of these solutions on the data.
We show that if a Jordan curve C in the asymptotic sphere contains a smooth point, there is an embedded H-plane in H^3 asymptotic to C for any H in [0,1).
We show that for a very general class of curvature functions defined in the positive cone, the problem of finding a complete strictly locally convex hypersurface in $H^n+1$ satisfying $f(κ)=σ\in(0, 1)$ with a prescribed asymptotic boundary $Γ$ at infinity has at least one smooth solution with uniformly bounded hyperbolic principal curvatures. Moreover if $Γ$ is (Euclidean) starshaped, the solution is unique and also (Euclidean) starshaped while if $Γ$ is mean convex the solution is unique. We also show via a strong duality theorem that analogous results hold in De Sitter space. A novel feature…
Let $\mathbb{R}_{+}^{n+1}$ \ be the half-space model of the hyperbolic space $\mathbb{H}^{n+1}.$ It is proved that if $Γ\subset\left\{ x_{n+1}=0\right\} \subset\partial_{\infty}\mathbb{H}^{n+1}$ is a bounded $C^{0}$ Euclidean graph over $\left\{ x_{1}=0,\text{ }x_{n+1}=0\right\} $ then, given $\left\vert H\right\vert <1,$ there is a complete, properly embedded, CMC $H$ hypersurface $Σ$ of $\mathbb{H}^{n+1}$ such that $\partial_{\infty }S=Γ\cup\left\{ x_{n+1}=+\infty\right\} .$ This result can be seen as a limit case of the existence theorem proved by B. Guan and J. Spruck in \cite{GS} on CMC $…
We give a simple topological argument to show that the number of solutions of the asymptotic Plateau problem in hyperbolic space is generically unique. In particular, we show that the space of codimension-1 closed submanifolds of sphere at infinity, which bounds a unique absolutely area minimizing hypersurface in hyperbolic n-space, is dense in the space of all codimension-1 closed submanifolds at infinity. In dimension 3, we also prove that the set of uniqueness curves in asymptotic sphere for area minimizing planes is generic in the set of Jordan curves at infinity. We also give some nonuniq…
We provide a new proof of the classical result that any closed rectifiable Jordan curve Gamma in space being piecewise of class C^2 bounds at least one immersed minimal surface of disc-type, under the additional assumption that the total curvature of Gamma is smaller than 6*Pi. In contrast to the methods due to Osserman, Gulliver and Alt, our proof relies on a polygonal approximation technique, using the existence of immersed solutions of Plateau's problem for polygonal boundary curves, provided by the first author's accomplishment of Garnier's ideas.
Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension $2n-1$ in $\mathbb{C}^{N}$. For $n\ge 3$, Yau solved the complex Plateau problem of hypersurface type by checking a bunch of Kohn-Rossi cohomology groups in 1981. In this paper, we generalize Yau's conjecture on some numerical invariant of every isolated surface singularity defined by Yau and the author to any dimension and prove that the conjecture is true for local complete intersection singularities of dimension $n\ge 3$. As a direct application, we solved complex Plateau problem of hypersurface type for an…
Following on from ``Hyperbolic Plateau problems'' (by the same author), we provide a complete geometric description of solutions to the Plateau problem $(S,ϕ)$ when $S$ is a compact Riemann surface with a finite number of points removed.
For two disjoint rectifiable star-shaped Jordan curves (including round circles) in the asymptotic boundary of hyperbolic 3-space, if the distance (see Definition 1.8) between these two Jordan curves are bounded from above by some constant, then there exists an annulus-type area minimizing (or equivalently least area) minimal surface asymptotic to these two Jordan curves. The main results of this paper are Theorem 1.7 and Theorem 1.11.
Let $(M,Q)$ be a compact, three dimensional manifold of strictly negative sectional curvature. Let $(Σ,P)$ be a compact, orientable surface of hyperbolic type (i.e. of genus at least two). Let $θ:π_1(Σ,P)\toπ_1(M,Q)$ be a homomorphism. Generalising a recent result of Gallo, Kapovich and Marden concerning necessary and sufficient conditions for the existence of complex projective structures with specified holonomy to manifolds of non-constant negative curvature, we obtain necessary conditions on $θ$ for the existence of a so called $θ$-equivariant Plateau problem over $Σ$, which is equivalent t…
Given a closed hyperbolic Riemannian surface, the aim of the present paper is to describe an explicit construction of smooth deformations of the hyperbolic metric into Finsler metrics that are not Riemannian and whose properties are such that the classical Riemannian results about entropy rigidity, marked length spectrum rigidity and boundary rigidity all fail to extend to the Finsler category.
Let $M$ be a Hadamard manifold with curvature bounded above by a negative constant $-α$, satisfying the "strict convexity condition", and assume that $M$ admits a "helicoidal" one-parameter subgroup $G$ of isometries of $M$. Then, given a compact topological $G-$shaped hypersurface $Γ$ in the asymptotic boundary of $M,$ and $|H|<\sqrtα$, we prove the existence of a complete properly embedded hypersurface whose mean curvature is equal to $H$ and whose asymptotic boundary is $Γ$. We are able, this way, to extend a previous theorem of B.Guan and J.Spruck on the hyperbolic space to any rank 1 symm…
A uniqueness result in the inverse problem for an inhomogeneous hyperbolic system on a real vector bundle over a smooth compact manifold, based on energy measurements for improperly known sources, is established.
We prove global existence of instantaneously complete Yamabe flows on hyperbolic space of arbitrary dimension $m\geq3$ starting from any smooth, conformally hyperbolic initial metric. We do not require initial completeness or curvature bounds. With the same methods, we show rigidity of hyperbolic space under the Yamabe flow.
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…
We study the problem of finding a minimal graph with prescribed boundary data in arbitrary dimension and codimension. Existence, uniqueness, stability and regularity are treated. We first present the well-known results for codimension one: Jenkins-Serrin's existence theorem, convexity properties of the area which give uniqueness and stability and De Giorgi's theorem for regularity. In higher codimension we first discuss the counterexamples of Lawson and Osserman. Then we present the recent results of Mu-Tao Wang: we use the mean curvature flow to show existence for small boundary data and we p…
We study the number of solutions of the asymptotic Plateau problem in H^3. By using the analytical results in our previous paper, and some topological arguments, we show that there exists an open dense subset of C^3 Jordan curves in S^2_{infty}(H^3) such that any curve in this set bounds a unique least area plane in H^3.
In this paper, we study the regularity of asymptotically hyperbolic metrics with Einstein condition near boundary and Weyl curvature smooth enough in arbitrary dimension. Following Michael Anderson's method, we show that $C^{m,α}$ conformally compact Riemannian metrics with Einstein equation vanishing to finite order near boundary have conformal compactifications that are $C^{m+2,α}$ up to the boundary when Weyl curvature is in $C^{m,α}$ and the boundary metric is in $C^{m+2,α}$ where $m\geq 3.$
It is shown that if a regular knot of class C2 is embedded in the boundary of the complex hyperbolic plane as the limit set of a discrete subgroup of PU(2, 1) then it is either a chain or an R-circle.
We give a necessary complex geometric condition for a bounded smooth convex domain in Cn, endowed with the Kobayashi distance, to be Gromov hyperbolic. More precisely, we prove that if a smooth bounded convex domain contains an analytic disk in its boundary, then the domain is not Gromov hyperbolic for the Kobayashi distance. We also provide examples of bounded smooth convex domains that are not strongly pseudoconvex but are Gromov hyperbolic.
Geroch's theorem about the splitting of globally hyperbolic spacetimes is a central result in global Lorentzian Geometry. Nevertheless, this result was obtained at a topological level, and the possibility to obtain a metric (or, at least, smooth) version has been controversial since its publication in 1970. In fact, this problem has remained open until a definitive proof, recently provided by the authors. Our purpose is to summarize the history of the problem, explain the smooth and metric splitting results (including smoothability of time functions in stably causal spacetimes), and sketch the…
We investigate a generalization of the so-called metric splitting of globally hyperbolic space-times to non-smooth Lorentzian manifolds and show the existence of this metric splitting for a class of wave-type space-times. Our approach is based on smooth approximations of non-smooth space-times by families (or sequences) of globally hyperbolic space-times. In the same setting we indicate as an application the extension of a previous result on the Cauchy problem for the wave equation.
The folk questions in Lorentzian Geometry, which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: (a) any globally hyperbolic spacetime $(M,g)$ admits a smooth time function $τ$ whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth global splitting $M= \R \times {\cal S}$, $g= - β(τ,x) dτ^2 + \bar g_τ$, (b) if a spacetime $M$ admits a (continuous) time function $t$ (i.e., it is stably causal) then it admits a smooth (time) function $τ$ with timelike gradient $\nabla τ$ on all $M$.
We study perturbations of a partially hyperbolic toral automorphism L which is diagonalizable over C and has a dense center foliation. For a small perturbation of L with a smooth center foliation we establish existence of a smooth leaf conjugacy to L. We also show that if a small perturbation of an ergodic irreducible L has smooth center foliation and is bi-Holder conjugate to L, then the conjugacy is smooth. As a corollary, we show that for any symplectic perturbation of such an L any bi-Holder conjugacy must be smooth. For a totally irreducible L with two-dimensional center, we establish a n…
We show that if C is a simple closed curve bounding an embedded disk in a closed 3-manifold M, then there exists a disk D in M with boundary C such that D minimizes the area among the embedded disks with boundary C. Moreover, D is smooth, minimal and embedded everywhere except where the boundary C meets the interior of D. The same result is also valid for homogenously regular manifolds with sufficiently convex boundary.
Under the assumption that the X-ray transform over symmetric solenoidal 2-tensors is injective, we prove that smooth compact connected manifolds with strictly convex boundary, no conjugate points and a hyperbolic trapped set are locally marked boundary rigid.
Extending the earlier results for analytic curve segments, in this article we describe the asymptotic behaviour of evolution of a finite segment of a C^n-smooth curve under the geodesic flow on the unit tangent bundle of a finite volume hyperbolic n-manifold. In particular, we show that if the curve satisfies certain natural geometric conditions, the pushforward of the parameter measure on the curve under the geodesic flow converges to the normalized canonical Riemannian measure on the tangent bundle in the limit. We also study the limits of geodesic evolution of shrinking segments. We use Rat…
Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension 2n-1 in $\mathbb{C}^{N}$. It has been an interesting question to find an intrinsic smoothness criteria for the complex Plateau problem. For $n\ge 3$ and $N=n+1$, Yau found a necessary and sufficient condition for the interior regularity of the Harvey-Lawson solution to the complex Plateau problem by means of Kohn-Rossi cohomology groups on $X$ in 1981. For n=2 and $N\ge n+1$, the problem has been open for over 30 years. In this paper we introduce a new CR invariant $g^{(1,1)}(X)$ of $X$. The vanishing of this …
Plateau's problem is to show the existence of an area minimizing surface with a given boundary, a problem posed by Lagrange in 1760. Experiments conducted by Plateau showed that an area minimizing surface can be obtained in the form of a film of oil stretched on a wire frame, and the problem came to be called Plateau's problem. Special cases have been solved by Douglas, Rado, Besicovitch, Federer and Fleming, and others. Federer and Fleming used the chain complex of integral currents with its continuous boundary operator to solve Plateau's problem for orientable, embedded surfaces. But integra…
The asymptotic Plateau problem asks for the existence of smooth complete hypersurfaces of constant mean curvature with prescribed asymptotic boundary at infinity in the hyperbolic space $\mathbb{H}^{n+1}$. The modified mean curvature flow (MMCF) was firstly introduced by Xiao and the second author a few years back, and it provides a tool using geometric flow to find such hypersurfaces with constant mean curvature in $\mathbb{H}^{n+1}$. Similar to the usual mean curvature flow, the MMCF is the natural negative $L^2$-gradient flow of the area-volume functional $\mathcal{I}(Σ)=A(Σ)+σV(Σ)$ associa…
We consider foliations of the whole three dimensional hyperbolic space H^3 by oriented geodesics. Let L be the space of all the oriented geodesics of H^3, which is a four dimensional manifold carrying two canonical pseudo-Riemannian metrics of signature (2,2). We characterize, in terms of these geometries of L, the subsets M in L that determine foliations of H^3. We describe in a similar way some distinguished types of geodesic foliations of H^3, regarding to which extent they are in some sense trivial in some directions: On the one hand, foliations whose leaves do not lie in a totally geodesi…
A study of smooth contact quasiconformal mappings of the hyperbolic Heisenberg group is presented in this paper. Our main result is a Lifting Theorem; according to this, a symplectic quasiconformal mapping of the hyperbolic plane can be lifted to a circles preserving quasiconformal mapping of the hyperbolic Heisenberg group.
We study hyperbolic polyhedral surfaces with faces isometric to regular hyperbolic polygons satisfying that the total angles at vertices are at least $2π.$ The combinatorial information of these surfaces is shown to be identified with that of Euclidean polyhedral surfaces with negative combinatorial curvature everywhere. We prove that there is a gap between areas of non-smooth hyperbolic polyhedral surfaces and the area of smooth hyperbolic surfaces. The numerical result for the gap is obtained for hyperbolic polyhedral surfaces, homeomorphic to the double torus, whose 1-skeletons are cubic gr…
We prove existence and a.e. regularity of an area minimizing soap film with a bound on energy spanning a given Jordan curve in R^3. The energy of a film is defined to be the sum of its surface area and the length of its singular branched set. The class of surfaces over which area is minimized includes images of disks, integral currents, nonorientable surfaces and soap films as observed by Plateau with a bound on energy. Our area minimizing solution is shown to be a smooth surface away from its branched set which is a union of Lipschitz Jordan curves of finite total length.
This survey introduces to the hyperbolic unfolding correspondence that links the geometric analysis of minimal hypersurfaces with that of Gromov hyperbolic spaces. Problems caused from hypersurface singularities oftentimes become solvable on associated Gromov hyperbolic spaces. Applied to scalar curvature geometry this yields smoothing schemes that eliminate such singularities.
Let $(S,h)$ be a closed hyperbolic surface and $M$ be a quasi-Fuchsian 3-manifold. We consider incompressible maps from $S$ to $M$ that are critical points of an energy functional $F$ which is homogeneous of degree $1$. These "minimizing" maps are solutions of a non-linear elliptic equation, and reminiscent of harmonic maps -- but when the target is Fuchsian, minimizing maps are minimal Lagrangian diffeomorphisms to the totally geodesic surface in $M$. We prove the uniqueness of smooth minimizing maps from $(S,h)$ to $M$ in a given homotopy class. When $(S,h)$ is fixed, smooth minimizing maps …
