arXiv research

Study improves curvature estimate for stable marginally outer trapped hypersurfaces with a free boundary.

Proves Penrose inequality in all dimensions for specific manifolds.

Penrose inequality proven for flat manifolds in dimensions less than 8.

The paper proves a Penrose inequality involving quasi-local mass and outer trapped surfaces.

Consider a compact, orientable, three dimensional Riemannian manifold with boundary with nonnegative scalar curvature. Suppose its boundary is the disjoint union of two pieces: the horizon boundary and the outer boundary, where the horizon boundary consists of the unique closed minimal surfaces in the manifold and the …

In this paper, we mainly study eigenvalue problems of p-Laplacian on domains with an interior hole. Firstly we prove Faber-Krahn-type inequalities, and Cheng-type eigenvalue comparison theorems on manifolds. Secondly, we prove a comparison theorem for eigenvalues with inner Dirichlet and outer Neumann boundary in minim…

We extend the techniques of [CH] to build an inductive procedure for studying actions in the boundary of the Culler-Vogtmann Outer Space, the main novelty being an adaptation of he classical Rauzy-Veech induction for studying actions of surface type. As an application, we prove that a tree in the boundary of Outer spac…

Two trees in the boundary of outer space are said to be \emph{primitive-equivalent} whenever their translation length functions are equal in restriction to the set of primitive elements of $F_N$. We give an explicit description of this equivalence relation, showing in particular that it is nontrivial. This question is …

Random trees found in Outer space boundary.

Study stability of surfaces in spacetimes, proving new estimates and theorems.

Estimates dimensions of maximal simplices for rational and irrational trees in Outer space.

Proves properties of free boundary stable MOTS in spacetimes.

New method identifies unique group actions on CAT(0) cube complexes.

Study the boundary of a space related to Outer space.

We prove that for $k\ge 5$ there does not exist a continuous map $\partial CV(F_k)\to\mathbb PCurr(F_k)$ that is either $Out(F_k)$-equivariant or $Out(F_k)$-anti-equivariant. Here $\partial CV(F_k)$ is the "length-function" boundary of Culler-Vogtmann's Outer space $CV(F_k)$, and $\mathbb PCurr(F_k)$ is the space of pr…

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…

Let $G$ be a countable group that splits as a free product of groups of the form $G=G_1\ast\dots\ast G_k\ast F_N$, where $F_N$ is a finitely generated free group. We identify the closure of the outer space $P\mathcal{O}(G,\{G_1,\dots,G_k\})$ for the axes topology with the space of projective minimal, \emph{very small} …

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…

Small deformations of marginally outer trapped surfaces (MOTS) are studied by using the stability operator introduced by Andersson-Mars-Simon. Novel formulae for the principal eigenvalue are presented. A characterization of the many marginally outer trapped tubes (MOTT) passing through a given MOTS is given, and the po…

Paper proves rigidity of initial data sets with boundary and capillary MOTS.

Unfolding paths in Outer space accumulate on a simplex, not converge.

Defines fibered commensurability for outer automorphisms of free groups, proving uniqueness of minimal elements.

Proves existence of solutions to Einstein constraints with specific boundary conditions and verifies Penrose inequality.

Let $\mathcal{A} = {A_1, ..., A_k}$ be a system of free factors of $F_n$. The group of relative automorphisms $\mathrm{Aut}(F_n; \mathcal{A})$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The group of relative outer automorphisms is defined as $\m…

Marginally outer trapped surfaces are widely considered as the best quasi-local replacements for event horizons of black holes in General Relativity. However, this equivalence is far from being proved, even in stationary and static situations. In this paper we study an important aspect of this equivalence, namely wheth…

We relate ergodic-theoretic properties of a very small tree or lamination to the behavior of folding and unfolding paths in Outer space that approximate it, and we obtain a criterion for unique ergodicity in both cases. Our main result is that non-unique ergodicity gives rise to a transverse decomposition of the foldin…

A graph G is intrinsically S^1-linked if for every embedding of the vertices of G into S^1, vertices that form the endpoints of two disjoint edges in G form a non-split link in the embedding. We show that a graph is intrinsically S^1-linked if and only if it is not outer-planar. A graph is outer-flat if it can be embed…

The paper proves rigidity results for manifolds with scalar curvature and boundary.

A new compactification of outer space is an absolute retract.

Derives the Space-Time Positive Mass theorem in arbitrary dimensions.

The purpose of this paper is twofold: firstly, to establish sufficient conditions under which the mean curvature flow supported on a hypersphere with exterior Dirichlet boundary exists globally in time and converges to a minimal surface, and secondly, to illustrate the application of Killing vector fields in the preser…

We show that the horoboundary of outer space for the Lipschitz metric is a quotient of Culler and Morgan's classical boundary, two trees being identified whenever their translation length functions are homothetic in restriction to the set of primitive elements of $F_N$. We identify the set of Busemann points with the s…

Derives monotonic quantities for $p$-harmonic functions on manifolds.

New boundary condition for weak inverse mean curvature flow in bounded domains.

Eight different refinements of trapped surfaces are proposed, of three basic types, each intended as potential stability conditions. Minimal trapped surfaces are strictly minimal with respect to the dual expansion vector. Outer trapped surfaces have positivity of a certain curvature, related to surface gravity. Increas…

We define analogues of the graphs of free splittings, of cyclic splittings, and of maximally-cyclic splittings of $F_N$ for free products of groups, and show their hyperbolicity. Given a countable group $G$ which splits as $G=G_1\ast\dots\ast G_k\ast F$, where $F$ denotes a finitely generated free group, we identify th…

The study classifies subgroups of outer automorphisms of free products.

We prove that, for n=3 and 4, the minimal nonabelian finite factor group of the outer automorphism group Out F_n of a free group of rank n is the linear group PSL_n(Z_2) (conjecturally, this may remain true for arbitrary rank n > 2). We also discuss some computational results on low index subgroups of Aut F_n and Out F…

Study growth rates of automorphisms of special groups.

Let M be a compact, orientable, hyperbolizable 3-manifold with incompressible boundary which is not an interval bundle. We study the dynamics of the action of the outer automorphism group of the fundamental group of M on the relative PSL(2,C)-character variety.

In 1981 Masur proved the existence of a dense geodesic in the moduli space for a Teichmüller space. We prove an analogue theorem for reduced Outer Space endowed with the Lipschitz metric. We also prove two results possibly of independent interest: we show Brun's unordered algorithm weakly converges and from this prove …

Study embeddings of free group products into automorphism groups.

In this article we extend several foundational results of the theory of complete minimal surfaces of finite index in the Euclidean space to minimal surfaces in asymptotically flat manifolds and, more generally, to marginally outer-trapped surfaces in initial data sets of General Relativity. We show that if an asymptoti…

Constructs 3-manifolds with flat ends and positive mean curvature.

Motivated by the work of McCarthy and Papadopoulos for subgroups of mapping class groups, we construct domains of proper discontinuity in the compactified Outer space and in the projectivized space of geodesic currents for any "sufficiently large" subgroup of $Out(F_N)$ (that is, a subgroup containing a hyperbolic iwip…

We study the relationship between initial data sets with horizons and the existence of metrics of positive scalar curvature. We define a Cauchy Domain of Outer Communications (CDOC) to be an asymptotically flat initial set $(M, g, K)$ such that the boundary $\partial M$ of $M$ is a collection of Marginally Outer (or In…

Maps don't exist for certain CAT(0) groups with isolated flats.

New positive mass theorems for ALH manifolds with toroidal ends.