Searcharxiv⌕ Search

arXiv subjects

Marc Mars

Publications and source records attributed to Marc Mars.

At least 37 records · Page 2Linked to original sources
arXiv2023

Double Null Data and the Characteristic Problem in General Relativity

General hypersurfaces of any causal character can be studied abstractly using the hypersurface data formalism. In the null case, we write down all tangential components of the ambient Ricci tensor in terms of the abstract data. Using this formalism, we formulate and solve in a completely abstract way the characteristic Cauchy problem of the Einstein vacuum field equations. The initial data is detached from any spacetime notion, and it is fully diffeomorphism and gauge covariant. The results of this paper put the characteristic problem on a similar footing as the standard Cauchy problem in General Relativity.

gr-qc↗
arXiv2022

Covariant classification of conformal Killing vectors of locally conformally flat $n$-manifolds with an application to Kerr-de Sitter

We obtain a coordinate independent algorithm to determine the class of conformal Killing vectors of a locally conformally flat $n$-metric $γ$ of signature $(r,s)$ modulo conformal transformations of $γ$. This is done in terms of endomorphisms in the pseudo-orthogonal Lie algebra $\mathfrak{o}(r+1,s+1)$ up to conjugation of the its group $O(r+1,s+1)$. The explicit classification is worked out in full for the Riemannian $γ$ case ($r = 0, s = n$). As an application of this result, we prove that the set of five dimensional, $(Λ>0)$-vacuum, algebraically special metrics with non-degenerate optical matrix, previously studied by Bernardi de Freitas, Godazgar and Reall, is in one-to-one correspondence with the metrics in the Kerr-de Sitter-like class. This class exists in all dimensions and its defining properties involve only properties at $\mathscr{I}$. The equivalence between two seemingly unrelated classes of metrics points towards interesting connections between the algebraically special type of the bulk spacetime and the conformal geometry at null infinity

gr-qc↗
arXiv2022

General matching across Killing horizons of zero order

Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. After recalling the necessary and sufficient conditions obtained in [28] that allow for the matching of two spacetimes with null embedded hypersurfaces as boundaries, we will address the problem of matching across Killing horizons of zero order in the case when the symmetry generators are to be identified. The results are substantially different depending on whether the boundaries are non-degenerate or degenerate, and contain or not fixed points (in particular, in the former case the shells have zero pressure but non-vanishing energy density and energy flux in general). We will present the explicit form of the so-called step function in each situation. We will then concentrate on the case of actual Killing horizons admitting a bifurcation surface, where a complete description of the shell and its energy-momentum tensor can be obtained. We will conclude particularizing to the matching of two spacetimes with spherical, plane or hyperbolic symmetry without imposing this symmetry on the shell itself.

gr-qc↗
arXiv2021

Free data at spacelike $\mathscr{I}$ and characterization of Kerr-de Sitter in all dimensions

We study the free data in the Fefferman-Graham expansion of asymptotically Einstein metrics with non-zero cosmological constant. We prove that if $\mathscr{I}$ is conformally flat, the rescaled Weyl tensor at $\mathscr{I}$ agrees up to a constant with the free data at $\mathscr{I}$ , namely the traceless part of the $n$-th order coefficient of the expansion. In the non-conformally flat case, the rescaled Weyl tensor is generically divergent at $\mathscr{I}$ but one can still extract the free data in terms of the difference of the Weyl tensors of suitably constructed metrics, in full generality when the spacetime dimension $D$ is even and provided the so-called obstruction tensor at $\mathscr{I}$ is identically zero when $D$ is odd. These results provide a geometric definition of the data, particularly relevant for the asymptotic Cauchy problem of even dimensional Einstein metrics with positive $Λ$ and also for the odd dimensional analytic case irrespectively of the sign of $Λ$. We establish a Killing initial data equation at spacelike $\mathscr{I}$ in all dimension for analytic data. These results are used to find a geometric characterization of the Kerr-de Sitter metrics in all dimensions in terms of its geometric data at null infinity.

gr-qc↗
arXiv2021

Classification of Kerr-de Sitter-like spacetimes with conformally flat $\mathscr{I}$ in all dimensions

Using asymptotic characterization results of spacetimes at conformal infinity, we prove that Kerr-Schild-de Sitter spacetimes are in one-to-one correspondence with spacetimes in the Kerr-de Sitter-like class with conformally flat $\mathscr{I}$. Kerr-Schild-de Sitter are spacetimes of Kerr-Schild form with de Sitter background that solve the $(Λ>0)$-vacuum Einstein equations and admit a smooth conformal compactification sharing $\mathscr{I}$ with the background metric. Kerr-de Sitter-like metrics with conformally flat $\mathscr{I}$ are a generalization of the Kerr-de Sitter metrics, defined originally in four spacetime dimensions and extended here to all dimensions in terms of their initial data at null infinity. We explicitly construct all metrics in this class as limits or analytic extensions of Kerr-de Sitter. The structure of limits is inferred from corresponding limits of the asymptotic data, which appear to be hard to guess from the spacetime metrics.

gr-qc↗
arXiv2020

Skew-symmetric endomorphisms in $\mathbb{M}^{1,n}$: A unified canonical form with applications to conformal geometry

We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal number of parameters. This canonical form is shared by every pair of elements in $\mathrm{SkewEnd}(\mathbb{M}^{1,n})$ differing by an orthochronous Lorentz transformation, i.e. it defines the orbits of the orthochronous Lorentz group under the adjoint action on its algebra. Using this form, we obtain the quotient topology of $\mathrm{SkewEnd}(\mathbb{M}^{1,n})/O^+(1,n)$. From known relations between $\mathrm{SkewEnd}(\mathbb{M}^{1,n})$ and the conformal Killing vector fields (CKVFs) of the sphere $\mathbb{S}^n$, a canonical form for CKVFs follows immediately. This form is used to find adapted coordinates to an arbitrary CKVF that covers all cases at the same time. We do the calculation for even $n$ and obtain the case of odd $n$ as a consequence. Finally, we employ the adapted coordinates to obtain a wide class of TT-tensors for $n=3$, which provide Cauchy data at conformally flat null infinity $\mathscr{I}$. Specifically, this class of data is characterized for generating $Λ>0$-vacuum spacetimes with two-symmetries, one of which axial, admitting a conformally flat $\mathscr{I}$. The class of data is infinite dimensional, depending on two arbitrary functions of one variable as well as a number of constants. Moreover, it contains the data for the Kerr-de Sitter spacetime, which we explicitly identify within.

gr-qc↗
arXiv2020

Gauge fixing and regularity of axially symmetric and axistationary second order perturbations around spherical backgrounds

Perturbation theory in geometric theories of gravitation is a gauge theory of symmetric tensors defined on a Lorentzian manifold (the background spacetime). The gauge freedom makes uniqueness problems in perturbation theory particularly hard as one needs to understand in depth the process of gauge fixing before attempting any uniqueness proof. This is the first paper of a series of two aimed at deriving an existence and uniqueness result for rigidly rotating stars to second order in perturbation theory in General Relativity. A necessary step is to show the existence of a suitable choice of gauge and to understand the differentiability and regularity properties of the resulting gauge tensors in some "canonical form", particularly at the centre of the star. With a wider range of applications in mind, in this paper we analyse the fixing and regularity problem in a more general setting. In particular we tackle the problem of the Hodge-type decomposition into scalar, vector and tensor components on spheres of symmetric and axially symmetric tensors with finite differentiability down to the origin, exploiting a strategy in which the loss of differentiability is as low as possible. Our primary interest, and main result, is to show that stationary and axially symmetric second order perturbations around static and spherically symmetric background configurations can indeed be rendered in the usual "canonical form" used in the literature while loosing only one degree of differentiability and keeping all relevant quantities bounded near the origin.

gr-qc↗
arXiv2020

Existence and uniqueness of compact rotating configurations in GR in second order perturbation theory

Existence and uniqueness of rotating fluid bodies in equilibrium is still poorly understood in General Relativity (GR). Apart from the limiting case of infinitely thin disks, the only known global results in the stationary rotating case (Heilig [14] and Makino [21] [arXiv:1705.07392]) show existence in GR nearby a Newtonian configuration (under suitable additional restrictions). In this work we prove existence and uniqueness of rigidly (slowly) rotating fluid bodies in equilibrium to second order in perturbation theory in GR. The most widely used perturbation framework to describe slowly rigidly rotating stars in the strong field regime is the Hartle-Thorne model. The model involves a number of hypotheses, some explicit, like equatorial symmetry or that the perturbation parameter is proportional to the rotation, but some implicit, particularly on the structure and regularity of the perturbation tensors and the conditions of their matching at the surface. In this work, with basis on the gauge results obtained in [25], the Hartle-Thorne model is fully derived from first principles and only assuming that the perturbations describe a rigidly rotating finite perfect fluid ball (with no layer at the surface) with the same barotropic equation of state as the static ball. Rigidly rotating fluid balls are analyzed consistently in second order perturbation theory by imposing only basic differentiability requirements and boundedness. Our results prove in particular that, at this level of approximation, the spacetime must be indeed equatorially symmetric and is fully determined by two parameters, namely the central pressure and the uniform angular velocity of the fluid.

gr-qc↗
arXiv2020

Skew-symmetric endomorphisms in $\mathbb{M}^{1,3}$: A unified canonical form with applications to conformal geometry

We derive a canonical form for skew-symmetric endomorphisms $F$ in Lorentzian vector spaces of dimension three and four which covers all non-trivial cases at once. We analyze its invariance group, as well as the connection of this canonical form with duality rotations of two-forms. After reviewing the relation between these endomorphisms and the algebra of conformal Killing vectors of $\mathbb{S}^2$, $\mathrm{CKill}(\mathbb{S}^2)$, we are able to also give a canonical form for an arbitrary element $ ξ\in \mathrm{CKill}(\mathbb{S}^2)$ along with its invariance group. The construction allows us to obtain explicitly the change of basis that transforms any given $F$ into its canonical form. For any non-trivial $ ξ$ we construct, via its canonical form, adapted coordinates that allow us to study its properties in depth. Two applications are worked out: we determine explicitly for which metrics, among a natural class of spaces of constant curvature, a given $ξ$ is a Killing vector and solve all local TT (traceless and transverse) tensors that satisfy the Killing Initial Data equation for $ξ$. In addition to their own interest, the present results will be a basic ingredient for a subsequent generalization to arbitrary dimensions.

gr-qc↗
arXiv2019

Multiple Killing Horizons: the initial value formulation for $Λ$-vacuum

In Class. Quantum Grav. 35 (2018) 155015 we have introduced the notion of "Multiple Killing Horizon" and analyzed some of its general properties. Multiple Killing Horizons are Killing horizons for two or more linearly independent Killing vectors simultaneously. In this paper we focus on the vacuum case, possibly with cosmological constant, and study the emergence of Multiple Killing Horizons in terms of characteristic initial value problems for two transversally intersecting null hypersurfaces. As a relevant outcome, a more general definition of Near Horizon Geometry is put forward. This new definition avoids the use of Gaussian null coordinates associated to the corresponding degenerate Killing vector and thereby allows for inclusion of its fixed points.

gr-qc↗
arXiv2018

Multiple Killing Horizons and Near Horizon Geometries

Near Horizon Geometries with multiply degenerate Killing horizons $\mathcal{H}$ are considered, and their degenerate Killing vector fields identified. We prove that they all arise from hypersurface-orthogonal Killing vectors of any cut of $\mathcal{H}$ with the inherited metric -- cuts are spacelike co-dimension two submanifolds contained in $\mathcal{H}$. For each of these Killing vectors on a given cut, there are three different possibilities for the Near Horizon metric which are presented explicitly. The structure of the metric for Near Horizon Geometries with multiple Killing horizons of order $m\geq 3$ is thereby completely determined, and in particular we prove that the cuts on $\mathcal{H}$ must be warped products with maximally symmetric fibers (ergo of constant curvature). The question whether multiple degenerate Killing horizons may lead to inequivalent Near Horizon Geometries by using different degenerate Killings is addressed, and answered on the negative: all Near Horizon geometries built from a given multiple degenerate Killing horizon (using different degenerate Killings) are isometric.

gr-qc↗
arXiv2018

Multiple Killing Horizons

Killing horizons which can be such for two or more linearly independent Killing vectors are studied. We provide a rigorous definition and then show that the set of Killing vectors sharing a Killing horizon is a Lie algebra $\mathcal{A}_{\mathcal{H}}$ of dimension at most the dimension of the spacetime. We prove that one cannot attach different surface gravities to such multiple Killing horizons, as they have an essentially unique non-zero surface gravity (or none). $\mathcal{A}_{\mathcal{H}}$ always contains an Abelian (sub)-algebra ---whose elements all have vanishing surface gravity--- of dimension equal to or one less than dim $\mathcal{A}_{\mathcal{H}}$. There arise only two inequivalent possibilities, depending on whether or not there exists the non-zero surface gravity. We show the connection with Near Horizon geometries, and also present a linear system of PDEs, the master equation, for the proportionality function on the horizon between two Killing vectors of a multiple Killing horizon, with its integrability conditions. We provide explicit examples of all possible types of multiple Killing horizons, as well as a full classification of them in maximally symmetric spacetimes.

gr-qc↗
arXiv2017

The limit of Kerr-de Sitter spacetime with infinite angular-momentum parameter $a$

We consider the limit $a\rightarrow \infty$ of the Kerr-de Sitter spacetime. The spacetime is a Petrov type-D solution of the vacuum Einstein field equations with a positive cosmological constant $Λ$, vanishing Mars-Simon tensor and conformally flat scri. It possesses an Abelian 2-dimensional group of symmetries whose orbits are spacelike or timelike in different regions, and it includes, as a particular case, de Sitter spacetime. The global structure of the solution is analyzed in detail, with particular attention to its Killing horizons: they are foliated by non-compact marginally trapped surfaces of finite area, and one of them `touches' the curvature singularity, which resembles a null 2-dimensional surface. Outside the region between these horizons there exist trapped surfaces that again are non-compact. The solution contains, apart from $Λ$, a unique free parameter which can be related to the angular momentum of the non-singular horizon in a precise way. A maximal extension of the (axis of the) spacetime is explicitly built. We also analyze the structure of scri, whose topology is $\mathbb{R}^3$.

gr-qc↗
arXiv2017

The Fingerprints of Black Holes - Shadows and their Degeneracies

We show that, away from the axis of symmetry, no continuous degeneration exists between the shadows of observers at any point in the exterior region of any Kerr-Newman black hole spacetime of unit mass. Therefore, except possibly for discrete changes, an observer can, by measuring the black holes shadow, determine the angular momentum and the charge of the black hole under observation, as well as the observer's radial position and angle of elevation above the equatorial plane. Furthermore, his/her relative velocity compared to a standard observer can also be measured. On the other hand, the black hole shadow does not allow for a full parameter resolution in the case of a Kerr-Newman-Taub-NUT black hole, as a continuous degeneration relating specific angular momentum, electric charge, NUT charge and elevation angle exists in this case.

gr-qc↗
arXiv2016

A spacetime characterization of the Kerr-NUT-(A)de Sitter and related metrics

A characterization of the Kerr-NUT-(A)de Sitter metric among four dimensional Λ-vacuum spacetimes admitting a Killing vector is obtained in terms of the proportionality of the self-dual Weyl tensor and a natural self-dual double two-form constructed from the Killing vector. This result recovers and extends a previous characterization of the Kerr and Kerr-NUT metrics. The method of proof is based on (i) the presence of a second Killing vector field which is built in terms of geometric information arising from the previous Killing vector exclusively, and (ii) the existence of an interesting underlying geometric structure involving a Riemannian submersion of a conformally related metric, both of which may be of independent interest.

gr-qc↗
arXiv2016

Characterization of (asymptotically) Kerr-de Sitter-like spacetimes at null infinity

We investigate solutions $(\mathcal{M}, g)$ to Einstein's vacuum field equations with positive cosmological constant $Λ$ which admit a smooth past null infinity $\mathcal{J}^-$ à la Penrose and a Killing vector field whose associated Mars-Simon tensor (MST) vanishes. The main purpose of this work is to provide a characterization of these spacetimes in terms of their Cauchy data on $\mathcal{J}^-$. Along the way, we also study spacetimes for which the MST does not vanish. In that case there is an ambiguity in its definition which is captured by a scalar function $Q$. We analyze properties of the MST for different choices of $Q$. In doing so, we are led to a definition of "asymptotically Kerr-de Sitter-like spacetimes", which we also characterize in terms of their asymptotic data on $\mathcal{J}^-$.

gr-qc↗
arXiv2016

Classification of Kerr-de Sitter-like spacetimes with conformally flat Scri

We provide a classification of $Λ>0$-vacuum spacetimes which admit a Killing vector field with respect to which the associated "Mars-Simon tensor" (MST) vanishes and having a conformally flat $\mathcal{J}^-$ (or $\mathcal{J}^+$). To that end, we also give a complete classification of conformal Killing vector fields on the $3$-sphere $\mathbb{S}^3$ up to Möbius transformations shedding light on the two fundamental constants that characterize the family of Kerr-de Sitter-like spacetimes, which turn out to be well-defined geometrical invariants. The topology of $\mathcal{J}$ is determined in every case, and a characterization result at $\mathcal{J}$ of the Kerr-de Sitter family presented.

gr-qc↗