arXiv subjects
Publications and source records attributed to Piotr T. Chruściel.
We present the key elements of the proof of an upper bound for angular-momentum and charge in terms of the mass for electro-vacuum asymptotically flat axisymmetric initial data sets with simply connected orbit space.
Given a collection of N asymptotically Euclidean ends with zero scalar curvature, we construct a Riemannian manifold with zero scalar curvature and one asymptotically Euclidean end, whose boundary has a neighborhood isometric to the disjoint union of a specified collection of sub-regions of the given ends. An application is the construction of time-symmetric solutions of the constraint equations which model N-body initial data.
The standard topological censorship theorems require asymptotic hypotheses which are too restrictive for several situations of interest. In this paper we prove a version of topological censorship under significantly weaker conditions, compatible e.g. with solutions with Kaluza-Klein asymptotic behavior. In particular we prove simple connectedness of the quotient of the domain of outer communications by the group of symmetries for models which are asymptotically flat, or asymptotically anti-de Sitter, in a Kaluza-Klein sense. This allows one, e.g., to define the twist potentials needed for the reduction of the field equations in uniqueness theorems. Finally, the methods used to prove the above are used to show that weakly trapped compact surfaces cannot be seen from Scri.
We consider (n+1)--dimensional, stationary, asymptotically flat, or Kaluza-Klein asymptotically flat black holes, with an abelian $s$--dimensional subgroup of the isometry group satisfying an orthogonal integrability condition. Under suitable regularity conditions we prove that the area of the group orbits is positive on the domain of outer communications, vanishing only on its boundary and on the "symmetry axis". We further show that the orbits of the connected component of the isometry group are timelike throughout the domain of outer communications. Those results provide a starting point for the classification of such black holes. Finally, we show non-existence of zeros of static Killing vectors on degenerate Killing horizons, as needed for the generalisation of the static no-hair theorem to higher dimensions.
We prove uniqueness of the Kerr black holes within the connected, non-degenerate, analytic class of regular vacuum black holes.
Following an argument proposed by Mason, we prove that there are no algebraically special asymptotically simple vacuum space-times with a smooth, shear-free, geodesic congruence of principal null directions extending transversally to a cross-section of Scri. Our analysis leaves the door open for escaping this conclusion if the congruence is not smooth, or not transverse to Scri. One of the elements of the proof is a new rigidity theorem for the Trautman-Bondi mass.
We extend the validity of Dain's angular-momentum inequality to maximal, asymptotically flat, initial data sets on a simply connected manifold with several asymptotically flat ends which are invariant under a U(1) action and which admit a twist potential.
The question of smoothness at the ergosurface of the space-time metric constructed out of solutions (E,phi) of the Ernst electro-vacuum equations is considered. We prove smoothness of those ergosurfaces at which Re(E) provides the dominant contribution to f=-(Re(E)+|phi|^2) at the zero-level-set of f. Some partial results are obtained in the remaining cases: in particular we give examples of leading-order solutions with singular isolated "ergocircles".
We prove an inequality relating the trace of the extrinsic curvature, the total angular momentum, the centre of mass, and the Trautman-Bondi mass for a class of gravitational initial data sets with constant mean curvature extending to null infinity. As an application we obtain non-existence results for the asymptotic Dirichlet problem for CMC hypersurfaces in stationary space-times.
We show that stationary, asymptotically flat solutions of the electro-vacuum Einstein equations are analytic at $i^0$, for a large family of gauges, in odd space-time dimensions higher than seven. The same is true in space-time dimension five for static vacuum solutions with non-vanishing mass.
We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of unique maximal completions. The condition is verified in several situations of interest. This leads to existence and uniqueness of maximal spacelike conformal boundaries, of maximal strongly causal boundaries, as well as uniqueness of conformal boundary extensions for asymptotically simple space-times. Examples of applications include the definition of mass, or the classification of inequivalent extensions across a Cauchy horizon of the Taub space-time.
We analyse exhaustively the structure of \emph{non-degenerate} Cauchy horizons in Gowdy space-times, and we establish existence of a large class of non-polarized Gowdy space-times with such horizons. Added in proof: Our results here, together with deep new results of H. Ringström (talk at the Miami Waves conference, January 2004), establish strong cosmic censorship in (toroidal) Gowdy space-times.
We prove that the area of sections of future event horizons in space-times satisfying the null energy condition is non-decreasing towards the future under any one of the following circumstances: 1) the horizon is future geodesically complete; 2) the horizon is a black hole event horizon in a globally hyperbolic space-time and there exists a conformal completion with a ``H-regular'' Scri plus; 3) the horizon is a black hole event horizon in a space-time which has a globally hyperbolic conformal completion. (Some related results under less restrictive hypotheses are also established.) This extends a theorem of Hawking, in which piecewise smoothness of the event horizon seems to have been assumed. No assumptions about the cosmological constant or its sign are made. We prove smoothness or analyticity of the relevant part of the event horizon when equality in the area inequality is attained - this has applications to the theory of stationary black holes, as well as to the structure of compact Cauchy horizons. In the course of the proof we establish several new results concerning the differentiability properties of horizons.
It is shown that the only functionals, within a natural class, which are monotonic in time for all solutions of the vacuum Einstein equations admitting a smooth ``piece'' of conformal null infinity Scri, are those depending on the metric only through a specific combination of the Bondi `mass aspect' and other next--to--leading order terms in the metric. Under the extra condition of passive BMS invariance, the unique such functional (up to a multiplicative factor) is the Trautman--Bondi energy. It is also shown that this energy remains well-defined for a wide class of `polyhomogeneous' metrics.
We prove a global existence theorem (with respect to a geometrically- defined time) for globally hyperbolic solutions of the vacuum Einstein equations which admit a $T^2$ isometry group with two-dimensional spacelike orbits, acting on $T^3$ spacelike surfaces.
In recent years there has been some progress in the understanding of the global structure of stationary black hole space-times. In this paper we review some new results concerning the structure of stationary black hole space-times. In particular we prove a corrected version of the ``black hole rigidity theorem'', and we prove a uniqueness theorem for static black holes with degenerate connected horizons. This paper is an expanded version of a lecture given at the Journées relativistes in Ascona, May 1996.
We establish global extendibility (to the domain of outer communications) of locally defined isometries of appropriately regular analytic black holes. This allows us to fill a gap in the Hawking-Ellis proof of black-hole rigidity.
We consider the question of strong cosmic censorship in spatially compact, spatially locally homogeneous vacuum models. We show in particular that strong cosmic censorship holds in Bianchi IX vacuum space--times with spherical spatial topology.