arXiv research

Research extends geodesic length function study to three holed sphere.

This paper applies the authors' forthcoming work, "Affine deformations of a three-holed sphere" in Lorentzian geometry to prove a result in hyperbolic geometry. Namely, an infinitesimal deformation of a hyperbolic structure of a three-holed sphere which infinitesimally lengthens the three boundary components infinitesi…

Luo and Tan gave a new identity for hyperbolic surfaces with/without geodesic boundary in terms of dilogarithms of the lengths of simple closed geodesics on embedded three-holed spheres or one-holed tori. However, the identity was trivial for a hyperbolic one-holed torus with geodesic boundary. In this paper we adapt t…

A natural family of affine cubic surfaces arises from SL(2)-characters of the 4-holed sphere and the 1-holed torus. The ideal locus is a tritangent plane which is generic in the sense that the cubic curve at infinity consists of three lines pairwise intersecting in three double points. We show that every affine cubic s…

We study the (relative) SL(2,C) character varieties of the three-holed projective plane and the action of the mapping class group on them. We describe a domain of discontinuity for this action, which strictly contains the set of primitive stable representations defined by Minsky, and also the set of convex-cocompact ch…

Associated to every complete affine 3-manifold M with nonsolvable fundamental group is a noncompact hyperbolic surface S. We classify such complete affine structures when Sigma is homeomorphic to a three-holed sphere. In particular, for every such complete hyperbolic surface Sigma, the deformation space identifies with…

The SL(3,C)-representation variety R of a free group F arises naturally by considering surface group representations for a surface with boundary. There is a SL(3,C)-action on the coordinate ring of R. The geometric points of the subring of invariants of this action is an affine variety X. The points of X parametrize is…

In this paper by using Teichmuller theory of a sphere with four holes/orbifold points, we obtain a system of flat coordinates on the general affine cubic surface having a D_4 singularity at the origin. We show that the Goldman bracket on the geodesic functions on the four-holed/orbifold sphere coincides with the Etingo…

Study proves inequality linking black hole properties and angular momentum.

A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decompo…

Extreme black holes with $\SU(2)$ symmetry have a specific near horizon geometry.

We show that if S is a finite type orientable surface of negative Euler characteristic which is not the 3-holed sphere, 4-holed sphere or 1-holed torus, then the ending lamination space of S is connected, locally path connected and cyclic.

Quantized Coulomb branches linked to skein algebras.

We construct an oriented cobordism between moduli spaces of flat connections on the three holed sphere and disjoint unions of toric varieties, together with a closed two-form which restricts to the symplectic forms on the ends. As applications, we obtain formulas for mixed Pontrjagin numbers and Witten's formulas for s…

Study describes bifurcations of gradient flows on 2-sphere with holes.

We prove that the fundamental quandle of the trefoil knot is isomorphic to the projective primitive subquandle of transvections of the symplectic space $\Z \oplus \Z$. The last quandle can be identified with the Dehn quandle of the torus and the cord quandle on a 2-sphere with four punctures. We also show that the fund…

In this article, using combinatorial techniques of mapping class groups, we show that a Stein fillable integral homology $3$-sphere supported by an open book decomposition with page a $4$-holed sphere admits a unique Stein filling up to diffeomorphism. Furthermore, according to a property of deforming symplectic fillin…

Study on black holes and photon surfaces in 4D spacetimes, proving uniqueness theorems.

In this paper, we introduce a new parameter, the affine twist parameter for the affine deformation of a sphere with holes. We show that the affine deformation space can be parametrized by Margulis invariants and affine twist parameters. The affine twist parameter is canonically regarded as a correspondence to the Fench…

A Margulis spacetime is a complete affine 3-manifold M with nonsolvable fundamental group. Associated to every Margulis spacetime is a noncompact complete hyperbolic surface S. We show that every Margulis spacetime is orientable, even though S may be nonorientable. We classify Margulis spacetimes when S is homeomorphic…

In a recent paper the first author established the uniqueness of photon spheres, suitably defined, in static vacuum asymptotically flat spacetimes by adapting Israel's proof of static black hole uniqueness. In this note we establish uniqueness of photon spheres by adapting the argument of Bunting and Masood-ul-Alam, wh…

This paper is devoted to the study of the Reissner-Nordstrøm-de Sitter black holes and their maximal analytic extensions. In particular, we study some of their properties that lays the groundwork for separate papers where we obtain decay results and construct conformal scattering theories for test fields on such spacet…

We study the (relative) SL(2,C) character varieties of the four-holed sphere and the action of the mapping class group on it. We describe a domain of discontinuity for this action, and, in the case of real characters, show that this domain of discontinuity may be non-empty on the components where the relative euler cla…

We establish an identity for closed hyperbolic surfaces whose terms depend on the dilogarithms of the lengths of simple closed geodesics in all 3-holed spheres and 1-holed tori in the surface.

In a recent paper, the authors established the uniqueness of photon spheres in static vacuum asymptotically flat spacetimes by adapting Bunting and Masood-ul-Alam's proof of static vacuum black hole uniqueness. Here, we establish uniqueness of suitably defined sub-extremal photon spheres in static electro-vacuum asympt…

We extend a theorem of Masur and Wolf which says that given a hyperbolic surface S, every isometry of the Teichmuller space for S with the Weil-Petersson metric is induced by an element of the mapping class group for S. Our argument handles the previously untreated cases of the four-holed sphere, the one-holed torus, a…

Revises Schwarzschild manifold rigidity proof for spin manifolds.

We compute the growth series and the growth functions of reducible and pseudo-Anosov elements of the pure mapping class group of the sphere with four holes with respect to a certain generating set. We prove that the ratio of the number of pseudo-Anosov elements to that of all elements in a ball with center at the ident…

New quasi-Einstein metrics found on a sphere.

A key result in four dimensional black hole physics, since the early 1970s, is Hawking's topology theorem asserting that the cross-sections of an "apparent horizon", separating the black hole region from the rest of the spacetime, are topologically two-spheres. Later, during the 1990s, by applying a variant of Hawking'…

Adapting Israel's proof of static black hole uniqueness, we show that the Schwarzschild spacetime is the only static vacuum asymptotically flat spacetime that possesses a suitably defined photon sphere.

This article describes various moduli spaces of pseudoholomorphic curves on the symplectization of a particular overtwisted contact structure on S^1 x S^2. This contact structure appears when one considers a closed self dual form on a 4-manifold as a symplectic form on the complement of its zero locus. The article is f…

This paper contains the first two parts (I-II) of a three-part series concerning the scalar wave equation \Box_gψ = 0 on a fixed Kerr background. We here restrict to two cases: (II1) |a| \ll M, general ψ or (II2) |a| < M, ψ axisymmetric. In either case, we prove a version of 'integrated local energy decay', specificall…

We prove the Riemannian Penrose conjecture, an important case of a conjecture made by Roger Penrose in 1973, by defining a new flow of metrics. This flow of metrics stays inside the class of asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature which contain minimal spheres. In particular, if we …

Over the past three decades, black holes have played an important role in quantum gravity, mathematical physics, numerical relativity and gravitational wave phenomenology. However, conceptual settings and mathematical models used to discuss them have varied considerably from one area to another. Over the last five year…

Paper proves uniqueness of black holes and photon surfaces in higher dimensions.

We directly connect topological changes that can occur in mathematical three-space via surgery, with black hole formation, the formation of wormholes and new generalizations of these phenomena. This work widens the bridge between topology and natural sciences and creates a new platform for exploring geometrical physics…

Using the works of Gervais, Harer, Hatcher and Thurston and others, we show that the mapping class group of a compact orientable surface has a presentation so that the generators are the set of all Dehn twists and the relations are supported in subsurfaces homeomorphic to the one-holed torus or the four-holed sphere. I…

A genus-1 tangle G is an arc properly embedded in a standardly embedded solid torus S in the 3-sphere. We say that a genus-1 tangle embeds in a knot K in S^3 if the tangle can be completed by adding an arc exterior to the solid torus to form the knot K. We call K a closure of G. An obstruction to embedding a genus-1 ta…

We calculate the virtually-cyclic dimension of the mapping class group of a sphere with at most six punctures. As an immediate consequence, we obtain the virtually-cyclic dimension of the mapping class group of the twice-holed torus and of the closed genus-two surface.

We show the existence of a Hawking vector field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth Einstein-Maxwell space-time without assuming the underlying space-time is analytic. It extends one result of Friedrich, Rácz and Wald, which was limited to the interior of th…

The paper confirms the existence of 5D regular static vacuum solutions with multiple black holes and Kasner asymptotics.

Small deformations of marginally (outer) trapped surfaces are considered by using their stability operator. In the case of spherical symmetry, one can use these deformations on any marginally trapped round sphere to prove several interesting results. The concept of 'core' of a black hole is introduced: it is a minimal …

A new infinite series of Einstein metrics is constructed explicitly on S^2 x S^3, and the non-trivial S^3-bundle over S^2, containing infinite numbers of inhomogeneous ones. They appear as a certain limit of a nearly extreme 5-dimensional AdS Kerr black hole. In the special case, the metrics reduce to the homogeneous E…

Based on the presentation of the Kauffman bracket skein module of the torus given by the third author in previous work, Charles D. Frohman and Răzvan Gelca established a complete description of the multiplicative operation leading to a famous product-to-sum formula. In this paper, we study the multiplicative structure …

Hawking's theorem on the topology of black holes asserts that cross sections of the event horizon in 4-dimensional asymptotically flat stationary black hole spacetimes obeying the dominant energy condition are topologically 2-spheres. This conclusion extends to outer apparent horizons in spacetimes that are not necessa…

In a paper \cite{P} in 1973, R. Penrose made a physical argument that the total mass of a spacetime which contains black holes with event horizons of total area $A$ should be at least $\sqrt{A/16π}$. An important special case of this physical statement translates into a very beautiful mathematical inequality in Riemann…

We show that for every complete Riemannian surface $M$ diffeomorphic to a sphere with $k \geq 0$ holes there exists a Morse function $f:M \rightarrow \mathbb{R}$, which is constant on each connected component of the boundary of $M$ and has fibers of length no more than $52 \sqrt{Area(M)}+length(\partial M)$. We also sh…