Penrose conjecture proven for specific initial data sets.
problem Proving Penrose conjecture for certain types of initial data sets.
method Used σ-inverse mean curvature flow and a monotonicity formula.
result Penrose conjecture established for 2-convex initial data sets.
Proves Penrose inequality with charge for 2-convex initial data sets.
problem Proving Penrose inequality with charge for 2-convex initial data sets.
method Uses Dong's 2-convexity condition and P-inverse mean curvature flow, modifying monotonicity formula for charge term.
result Establishes Penrose inequality with charge for 2-convex initial data sets.
Level set flow's singularities are type I under 2-convexity, leading to specific curvature blow-up rates.
problem Understanding the nature and behavior of singularities in level set flow.
method Analytical approach using Lojasiewicz inequality and curvature blow-up rates.
result The arrival time is C2 near a critical point if and only if it satisfies a Lojasiewicz inequality. 2-convex translating solitons are locally strictly convex.
problem Characterizing the convexity of translating solitons in mean curvature flow.
method Analyzing uniformly 2-convex translating solitons in Rn+1. result Locally strictly convex translating solitons are axisymmetric.
The paper proves convexity of certain solitons and expanders in high dimensions.
problem Proving convexity of specific solitons and expanders in Rn+1. method Inspired by Spruck-Xiao and Derdziński, the paper uses geometric analysis to prove convexity.
result The paper proves the convexity of complete 2-convex translating and expanding solitons and expanders in Rn+1 for n≥3. The study proves non-orientable surfaces can map to a torus.
problem Embedding non-orientable surfaces in 4D space.
method Proving mapping to a 2D torus for 2-convex surfaces.
result Projective plane and Klein bottle cannot be 2-convex in 4D space.
We prove that any translating soliton for the mean curvature flow which is noncollapsed and uniformly 2-convex must be the rotationally symmetric bowl soliton. In particular, this proves a conjecture of White and Wang, in the 2-convex case in arbitrary dimension.
Proves optimal isoperimetric inequality in de Sitter space.
problem Optimal isoperimetric inequality for specific hypersurfaces in de Sitter space.
method Analyzes spacelike, compact, star-shaped, and 2-convex hypersurfaces in de Sitter space.
result Proves an optimal isoperimetric inequality for the specified hypersurfaces.
In this article, we use the recently developed mean curvature flow with surgery for 2 convex hypersurfaces to prove several isotopy existence and finally extrinsic finiteness results (in the spirit of Cheeger's compactness theorem) for the space of 2 convex hypersurfaces in Rn+1.
New method for high-dimensional submanifolds using surgery and curvature control.
problem Mean curvature flow in high codimension with topological control.
method Mean curvature flow with surgery, new a priori estimates for second fundamental form.
result Sharp classification of quadratically 2-convex submanifolds in higher codimensions.
Constructs 2-convex functions approximating distances in Alexandrov spaces.
problem Distance approximation in finite-dimensional Alexandrov spaces.
method Constructs 2-convex functions in Alexandrov spaces.
result Functions can be lifted to close Alexandrov spaces.
The paper connects convex functions to p-subharmonic functions and proves their equivalence.
problem Understanding the relationship between convex functions and p-subharmonic functions.
method Average principle, variational methods, and PDE techniques.
result Convex functions on R^n are p-subharmonic for every p > 1.
The article extends mean curvature flow with surgery for low entropy hypersurfaces.
problem Extending mean curvature flow with surgery for hypersurfaces with low entropy.
method Mean curvature flow with surgery for mean convex hypersurfaces with entropy less than Λn−2, without assuming 2-convexity. result Smooth n-dimensional closed self shrinkers with entropy less than Λn−2 are isotopic to the round n-sphere. We give a new proof for the existence of mean curvature flow with surgery of 2-convex hypersurfaces in RN, as announced in arXiv:1304.0926. Our proof works for all N≥3, including mean convex surfaces in R3. We also derive a priori estimates for a more general class of flows in a local and flexible setting.
The article uses surgery on mean curvature flow to study level set flow's regularity and stability.
problem Analyzing the regularity and stability of level set flow.
method Using mean curvature flow with surgery to derive estimates.
result Demonstrates stability of the plane under level set flow.
Proves certain subgroups of genus 2 handlebody group are convex cocompact.
problem Characterizing subgroups of genus 2 handlebody group.
method Proving convex cocompactness of purely pseudo-Anosov subgroups.
result Finitely generated, purely pseudo-Anosov subgroups are convex cocompact.
New subgroup behavior in genus-2 mapping class group identified.
problem Understanding subgroups in genus-2 mapping class group.
method Analyzing purely pseudo-Anosov subgroups as convex cocompact.
result Finitely-generated, purely pseudo-Anosov subgroups are convex cocompact.
An affine manifold is a manifold with an affine structure, i.e. a torsion-free flat affine connection. We show that the universal cover of a closed affine 3-manifold M with holonomy group of shrinkable dimension (or discompacité in French) less than or equal to two is diffeomorphic to $\bR^3$. Hence, M is irreducib…
In [7], Guan, Ren and Wang obtained a C2 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.
We prove that the moduli space of 2-convex embedded n-spheres in R^{n+1} is path-connected for every n. Our proof uses mean curvature flow with surgery and can be seen as an extrinsic analog to Marques' influential proof of the path-connectedness of the moduli space of positive scalar curvature metics on three-manifold…
The paper strengthens a singularity theorem in General Relativity.
problem Proving conditions under which spacetime is incomplete or has specific geometric structures.
method Improving a previous theorem by Galloway and Ling, the paper introduces new conditions for spacetime properties.
result Conditions for spacetime to be past null geodesically incomplete, or have specific geometric structures.
An affine manifold is a manifold with torsion-free flat affine connection. A geometric topologist's definition of an affine manifold is a manifold with an atlas of charts to the affine space with affine transition functions; a radiant affine manifold is an affine manifold with holonomy consisting of affine transformati…
Paper proves rigidity of initial data sets with boundary and capillary MOTS.
problem Rigidity of initial data sets with boundary and capillary MOTS.
method Estimates area of MOTS, proves rigidity for 3D, extends to high dimensions using Yamabe constant.
result Rigidity results for initial data sets with boundary and capillary MOTS.
We prove a Feynman-Kac formula for differential forms satisfying absolute boundary conditions on Riemannian manifolds with boundary and of bounded geometry. We use this to construct L2 harmonic forms out of bounded ones on the universal cover of a compact Riemannian manifold whose geometry displays a positivity prop…
We give a bound on the extinction time for a compact, strictly convex hypersurface in R^{n+1} evolving by a geometric flow where the velocity is given in terms of the curvature. This result generalizes a theorem of Colding and Minicozzi for mean curvature flow solutions to a wider class of flows studied by Ben Andrews.…
Proves density and mass theorems for specific initial data sets.
problem Initial data sets with boundary in spacetime.
method Harmonic asymptotics and dominant energy condition.
result Spacetime positive mass theorem for initial data sets with apparent horizon boundary.
When working with asymptotically hyperbolic initial data sets for general relativity it is convenient to assume certain simplifying properties. We prove that the subset of initial data sets with such properties is dense in the set of physically reasonable asymptotically hyperbolic initial data sets. More specifically, …
The paper solves a conjecture about spacelike hypersurfaces in de Sitter space.
problem Proving an Alexandrov-Fenchel inequality for closed 2-convex spacelike hypersurfaces in de Sitter space.
method Investigating the locally constrained inverse curvature flow to establish the inequality.
result Established an Alexandrov-Fenchel inequality for closed 2-convex spacelike hypersurfaces in de Sitter space.
Constructs constant spacetime mean curvature surfaces for hyperboloidal initial data sets.
problem Creating a foliation of constant spacetime mean curvature surfaces for asymptotically hyperboloidal initial data sets.
method Long time limit of volume preserving spacetime mean curvature flow starting from a constant mean curvature foliation.
result Obtains a foliation of constant spacetime mean curvature surfaces as the long time limit.
Smooth dec initial data sets may not extend to smooth spacetimes.
problem Whether every dec initial data set can be extended to a smooth spacetime.
method Examined the converse of the dominant energy condition for initial data sets and spacelike hypersurfaces.
result Not all dec initial data sets can be extended to smooth spacetimes.
Estimates bandwidth for CMC initial data sets.
problem Estimating bandwidth for constant mean curvature (CMC) initial data sets.
method Three independent proofs: stability of null expansion, spacetime harmonic function perturbation, Dirac operator.
result Generalized Gromov's band width estimate to CMC initial data sets.
Constructs a mean curvature flow with surgery for compact mean convex hypersurfaces.
problem Mean curvature flow with surgery for compact mean convex hypersurfaces.
method Topological surgeries performed by the flow itself through nondegenerate cylindrical singularities, adjusted at smooth times.
result Extends previous results for 2-convex flows and constructs a flow for compact mean convex hypersurfaces.
Proves critical points of ADM mass correspond to specific initial data sets.
problem Finding initial data sets with fixed Bartnik boundary data.
method Proves existence of critical points on a Banach manifold.
result Critical points of ADM mass correspond to initial data sets with generalized Killing vector fields.
New PDE systems generalize Hawking mass monotonicity.
problem Generalizing Hawking mass monotonicity to initial data sets.
method Introduced new systems of PDE on initial data sets (M,g,k). result Generalized Geroch's monotonicity formula to initial data sets.
Area-charge inequalities and local rigidity of free boundary MOTS in charged initial data sets
problem Area-charge inequalities and local rigidity of free boundary MOTS in charged initial data sets
method Area-charge inequalities and local rigidity of free boundary MOTS in charged initial data sets
result Prove area-charge inequalities for free boundary MOTS in initial data sets for the Einstein-Maxwell equations with vanishing magnetic fields
Initial data with zero mass must be in pp-wave spacetimes.
problem Proving initial data with zero mass must be in pp-wave spacetimes.
method Spinorial methods combined with spacetime harmonic functions.
result Initial data with zero mass must be contained in pp-wave spacetimes.
Proves principles and estimates for initial data sets in Einstein equations.
problem Understanding initial data sets in Einstein equations.
method Spinorial Callias operator approach.
result Proves long neck principle and width estimates.
Study proposes initial data sets for solving gravitational equations, proving energy estimates.
problem Solving the constraint equations in the evolutionary form.
method Proposes a family of initial data sets, proving Penrose-like energy estimates.
result Established existence of solutions for specific cases.
Proves rigidity for specific initial data sets under the dominant energy condition.
problem Rigidity of initial data sets with boundary and convex polytopes.
method Solution of boundary value problems for Dirac operators and approximations by manifolds with smooth boundary.
result Proves rigidity for compact smooth spin manifolds and convex polytopes under the dominant energy condition.
The paper proves rigidity results for compact initial data sets.
problem Understanding the structure of compact initial data sets.
method Proving rigidity results under specific conditions.
result Global version of the main result in [15] is obtained.
Rigidity results for initial data sets related to the positive mass theorem.
problem Rigidity of initial data sets in general relativity.
method Establishing conditions for weak outermost marginally outer trapped surfaces and rigidity results for Riemannian manifolds.
result Marginally outer trapped surfaces are weakly outermost under certain conditions.
Global properties of maximal future Cauchy developments of stationary, m-dimensional asymptotically flat initial data with an outer trapped boundary are analyzed. We prove that, whenever the matter model is well posed and satisfies the null energy condition, the future Cauchy development of the data is a black hole spa…
Constructs initial data for Einstein vacuum equations involving multiple localized gravitational sources.
problem Modeling the interaction of distant gravitational systems in general relativity.
method Time-symmetric initial data construction using gluing schemes and localized sources.
result Produces initial data sets with finite ADM mass and multiple Einstein-Rosen bridges.
Initial data for pp-wave spacetimes constructed in 4D.
problem Characterizing initial data for pp-wave spacetimes. method Constructs a vacuum initial data set with extra conditions related to CKID.
result Data development is a subset of a vacuum pp-wave. Study finds rigid properties of boundary-free hypersurfaces in specific data sets.
problem Rigidity of free boundary hypersurfaces in initial data sets with boundary.
method Extending local splitting theorems and applying results on free boundary MOTS.
result Rigidity results for compact free boundary hypersurfaces in initial data sets with boundary.
We establish an optimal gluing construction for general relativistic initial data sets. The construction is optimal in two distinct ways. First, it applies to generic initial data sets and the required (generically satisfied) hypotheses are geometrically and physically natural. Secondly, the construction is completely …
Proves positive mass theorem for spin initial data sets with arbitrary ends and dominant energy shields.
problem Proving the positive mass theorem for spin initial data sets with various ends and energy shields.
method Modification of Witten's approach involving an additional independent timelike direction in the spinor bundle.
result Positive mass theorem for spin initial data sets with arbitrary ends and dominant energy shields.
The study finds billiard trajectories with infinitely many reflections in certain cones.
problem Existence of billiard trajectories with infinitely many reflections.
method Analysis of C3 convex cones and elliptic cones in R3. result Existence of C2 convex cones with billiard trajectories having infinitely many reflections.