Searcharxiv⌕ Search

arXiv subjects

Michael Eichmair

Publications and source records attributed to Michael Eichmair.

35 records · Page 2Linked to original sources
arXiv2016

Jenkins-Serrin type results for the Jang equation

Let (M, g, k) be an initial data set for the Einstein equations of general relativity. We prove that there exist solutions of the Plateau problem for marginally outer trapped surfaces (MOTSs) that are stable in the sense of MOTSs. This answers a question of G. Galloway and N. O'Murchadha and is an ingredient in the proof of the spacetime positive mass theorem given by L.-H. Huang, D. Lee, R. Schoen and the first author. We show that a canonical solution of the Jang equation exists in the complement of the union of all weakly future outer trapped regions in the initial data set with respect to a given end, provided that this complement contains no weakly past outer trapped regions. The graph of this solution relates the area of the horizon to the global geometry of the initial data set in a non-trivial way. We prove the existence of a Scherk-type solution of the Jang equation outside the union of all weakly future or past outer trapped regions in the initial data set. This result is a natural exterior analogue for the Jang equation of the classical Jenkins--Serrin theory. We extend and complement existence theorems by Jenkins-Serrin, Spruck, Nelli-Rosenberg, Hauswirth-Rosenberg-Spruck, and Pinheiro for Scherk-type constant mean curvature graphs over polygonal domains in (M, g), where (M, g) is a complete Riemannian surface. We can dispense with the a priori assumptions that a sub solution exists and that (M, g) has particular symmetries. Also, our method generalizes to higher dimensions.

math.DG↗
arXiv2015

The spacetime positive mass theorem in dimensions less than eight

We prove the spacetime positive mass theorem in dimensions less than eight. This theorem states that for any asymptotically flat initial data set satisfying the dominant energy condition, the ADM energy-momentum vector $(E,P)$ of the initial data satisfies the inequality $E \ge |P|$. Previously, this theorem was proven only for spin manifolds by E. Witten. Our proof is a modification of the minimal hypersurface technique that was used by the last named author and S.-T. Yau to establish the time-symmetric case. Instead of minimal hypersurfaces, we use marginally outer trapped hypersurfaces (MOTS) whose existence is guaranteed by earlier work of the first named author. An important part of our proof is to introduce an appropriate substitute for the area functional used in the time-symmetric case. We also establish a density theorem of independent interest that allows us to reduce the general case of our theorem to the case of initial data that has harmonic asymptotics and satisfies the strict dominant energy condition.

math.DG↗
arXiv2015

Isoperimetric structure of asymptotically conical manifolds

We study the isoperimetric structure of Riemannian manifolds that are asymptotic to cones with non-negative Ricci curvature. Specifically, we generalize to this setting the seminal results of G. Huisken and S.-T. Yau on the existence of a canonical foliation by volume preserving stable constant mean curvature surfaces at infinity of asymptotically flat manifolds as well as the results of the second-named author with S. Brendle and J. Metzger on the isoperimetric structure of asymptotically flat manifolds. We also include an observation on the isoperimetric cone angle of such manifolds. This result is a natural analogue of the positive mass theorem in this setting.

math.DG↗
arXiv2013

Large outlying stable constant mean curvature spheres in initial data sets

We give examples of asymptotically flat three-manifolds $(M,g)$ which admit arbitrarily large constant mean curvature spheres that are far away from the center of the manifold. This resolves a question raised by G. Huisken and S.-T. Yau in 1996. On the other hand, we show that such surfaces cannot exist when $(M,g)$ has nonnegative scalar curvature. This result depends on an intricate relationship between the scalar curvature of the initial data set and the isoperimetric ratio of large stable constant mean curvature surfaces.

math.DG↗
arXiv2013

Isoperimetric and Weingarten surfaces in the Schwarzschild manifold

We show that any star-shaped convex hypersurface with constant Weingarten curvature in the deSitter-Schwarzschild manifold is a sphere of symmetry. Moreover, we study an isoperimetric problem for bounded domains in the doubled Schwarzschild manifold. We prove the existence of an isoperimetric surface for any value of the enclosed volume, and we completely describe the isoperimetric surfaces for very large enclosed volume. This complements work in H. Bray's thesis, where isoperimetric surfaces homologous to the horizon are studied.

math.DG↗
arXiv2013

Topological censorship from the initial data point of view

We introduce a natural generalization of marginally outer trapped surfaces, called immersed marginally outer trapped surfaces, and prove that three dimensional asymptotically flat initial data sets either contain such surfaces or are diffeomorphic to R^3. We establish a generalization of the Penrose singularity theorem which shows that the presence of an immersed marginally outer trapped surface generically implies the null geodesic incompleteness of any spacetime that satisfies the null energy condition and which admits a non-compact Cauchy surface. Taken together, these results can be viewed as an initial data version of the Gannon-Lee singularity theorem. The first result is a non-time-symmetric version of a theorem of Meeks-Simon-Yau which implies that every asymptotically flat Riemannian 3-manifold that is not diffeomorphic to R^3 contains an embedded stable minimal surface. We also obtain an initial data version of the spacetime principle of topological censorship. Under physically natural assumptions, a 3-dimensional asymptotically flat initial data set with marginally outer trapped boundary and no immersed marginally outer trapped surfaces in its interior is diffeomorphic to R^3 minus a finite number of open balls. An extension to higher dimensions is also discussed.

gr-qc↗
arXiv2013

The Jang equation reduction of the spacetime positive energy theorem in dimensions less than eight

We extend the Jang equation proof of the positive energy theorem due to R. Schoen and S.-T. Yau from dimension $n=3$ to dimensions $3 \leq n <8$. This requires us to address several technical difficulties that are not present when $n=3$. The regularity and decay assumptions for the initial data sets to which our argument applies are weaker than those of R. Schoen and S.-T. Yau. In recent joint work with L.-H. Huang, D. Lee, and R. Schoen we have given a different proof of the full positive mass theorem in dimensions $3 \leq n < 8$. We pointed out that this theorem can alternatively be derived from our density argument and the positive energy theorem of the present paper.

math.DG↗
arXiv2013

Deformation of Scalar Curvature and Volume

The stationary points of the total scalar curvature functional on the space of unit volume metrics on a given closed manifold are known to be precisely the Einstein metrics. One may consider the modified problem of finding stationary points for the volume functional on the space of metrics whose scalar curvature is equal to a given constant. In this paper, we localize a condition satisfied by such stationary points to smooth bounded domains. The condition involves a generalization of the static equations, and we interpret solutions (and their boundary values) of this equation variationally. On domains carrying a metric that does not satisfy the condition, we establish a local deformation theorem that allows one to achieve simultaneously small prescribed changes of the scalar curvature and of the volume by a compactly supported variation of the metric. We apply this result to obtain a localized gluing theorem for constant scalar curvature metrics in which the total volume is preserved. Finally, we note that starting from a counterexample of Min-Oo's conjecture such as that of Brendle-Marques-Neves, counterexamples of arbitrarily large volume and different topological types can be constructed.

math.DG↗
arXiv2013

Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions

We describe explicitly the large volume isoperimetric regions of a natural class of asymptotically flat manifolds, in any dimension. These isoperimetric regions detect the mass and the center of mass of such manifolds when viewed as initial data sets for the Einstein equations in general relativity. Using the positivity of the isoperimetric mass established by G. Huisken we prove an existence result for large isoperimetric regions in general asymptotically flat three manifolds with non-negative scalar curvature.

math.DG↗
arXiv2013

Large isoperimetric surfaces in initial data sets

We study the isoperimetric structure of asymptotically flat Riemannian 3-manifolds (M,g) that are C^0-asymptotic to Schwarzschild of mass m>0. Refining an argument due to H. Bray we obtain an effective volume comparison theorem in Schwarzschild. We use it to show that isoperimetric regions exist in (M, g) for all sufficiently large volumes, and that they are close to centered coordinate spheres. This implies that the volume-preserving stable constant mean curvature spheres constructed by G. Huisken and S.-T. Yau as well as R. Ye as perturbations of large centered coordinate spheres minimize area among all competing surfaces that enclose the same volume. This confirms a conjecture of H. Bray. Our results are consistent with the uniqueness results for volume-preserving stable constant mean curvature surfaces in initial data sets obtained by G. Huisken and S.-T. Yau and strengthened by J. Qing and G. Tian. The additional hypotheses that the surfaces be spherical and far out in the asymptotic region in their results are not necessary in our work.

math.DG↗
arXiv2012

On large volume preserving stable constant mean curvature surfaces in asymptotically flat manifolds

Let (M,g) be a complete 3-dimensional asymptotically flat manifold with everywhere positive scalar curvature. We prove that, given a compact subset K of M, all volume preserving stable constant mean curvature surfaces of sufficiently large area will avoid K. This complements the work of G. Huisken and S.-T. Yau and J. Qing and G. Tian whose results show that large spherical volume preserving stable constant mean curvature spheres that omit a large compact subset of an asymptotically flat manifold that is $C^4$-asymptotic to positive mass Schwarzschild are uniquely determined by their area. The analysis of Huisken and Yau as well as that of Qing and Tian takes place in the asymptotic regime of M. Here we adapt ideas from the minimal hypersurface proof of the positive mass theorem by R. Schoen and S.-T. Yau and develop geometric properties of volume preserving stable constant mean curvature surfaces to handle surfaces that run through the part of M that is far from Euclidean.

math.DG↗
arXiv2010

Extension of a theorem of Shi and Tam

In this note, we prove the following generalization of a theorem of Shi and Tam \cite{ShiTam02}: Let $(Ω, g)$ be an $n$-dimensional ($n \geq 3$) compact Riemannian manifold, spin when $n>7$, with non-negative scalar curvature and mean convex boundary. If every boundary component $Σ_i$ has positive scalar curvature and embeds isometrically as a mean convex star-shaped hypersurface ${\hat Σ}_i \subset \R^n$, then \int_{Σ_i} H d σ\le \int_{{\hat Σ}_i} \hat{H} d {\hat σ} where $H$ is the mean curvature of $Σ_i$ in $(Ω, g)$, $\hat{H}$ is the Euclidean mean curvature of ${\hat Σ}_i$ in $\R^n$, and where $d σ$ and $d {\hat σ}$ denote the respective volume forms. Moreover, equality in (\ref{eqn: main theorem}) holds for some boundary component $Σ_i$ if, and only if, $(Ω, g)$ is isometric to a domain in $\R^n$. In the proof, we make use of a foliation of the exterior of the $\hat Σ_i$'s in $\R^n$ by the $\frac{H}{R}$-flow studied by Gerhardt \cite{Gerhardt90} and Urbas \cite{Urbas90}. We also carefully establish the rigidity statement in low dimensions without the spin assumption that was used in \cite{ShiTam02}

math.DG↗
arXiv2010

Jang's equation and its applications to marginally trapped surfaces

In this paper we survey some recent advances in the analysis of marginally outer trapped surfaces (MOTS). We begin with a systematic review of results by Schoen and Yau on Jang's equation and its relationship with MOTS. We then explain recent work on the existence, regularity, and properties of MOTS and discuss the consequences for the trapped region. We include an outlook with some directions for future research.

gr-qc↗
arXiv2010

The Plateau problem for marginally outer trapped surfaces

We solve the Plateau problem for marginally outer trapped surfaces in general Cauchy data sets. We employ the Perron method and tools from geometric measure theory to force and control a blow-up of Jang's equation. Substantial new geometric insights regarding the lower order properties of marginally outer trapped surfaces are gained in the process. The techniques developed in this paper are flexible and can be adapted to other non-variational existence problems.

math.DG↗