Source author record

Marc Mars

Marc Mars appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2023arXiv

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.

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2020arXiv

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.

preprint2019arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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}^-$.

preprint2016arXiv

Spacetime characterizations of $Λ$-vacuum metrics with a null Killing 2-form

An exhaustive list of four-dimensional $Λ$-vacuum spacetimes admitting a Killing vector whose self-dual Killing two-form ${\cal F}$ is null is obtained assuming that the self-dual Weyl tensor is proportional to the tensor product of ${\cal F}$ by itself. Our analysis complements previous results concerning the case with non-null ${\cal F}$. We analyze both cases with $Λ$ vanishing or not. In the latter case we prove that $Λ< 0$ must hold necessarily, and we find a characterization of the Einstein spacetimes conformal to pp-waves. In the former case we obtain spacetime characterizations of vacuum plane waves and of the stationary vacuum Brinkmann spacetimes. At the light of the full set of results, old and new, we reformulate the case with non-null ${\cal F}$ and $Λ= 0$. We finally present a table collecting the results for both null, and non-null, ${\cal F}$.

preprint2015arXiv

On the Penrose inequality along null hypersurfaces

The null Penrose inequality, i.e. the Penrose inequality in terms of the Bondi energy, is studied by introducing a funtional on surfaces and studying its properties along a null hypersurface $Ω$ extending to past null infinity. We prove a general Penrose-type inequality which involves the limit at infinity of the Hawking energy along a specific class of geodesic foliations called Geodesic Asymptotic Bondi (GAB), which are shown to always exist. Whenever, this foliation approaches large spheres, this inequality becomes the null Penrose inequality and we recover the results of Ludvigsen-Vickers and Bergqvist. By exploiting further properties of the functional along general geodesic foliations, we introduce an approach to the null Penrose inequality called Renormalized Area Method and find a set of two conditions which implies the validity of the null Penrose inequality. One of the conditions involves a limit at infinity and the other a condition on the spacetime curvature along the flow. We investigate their range of applicability in two particular but interesting cases, namely the shear-free and vacuum case, where the null Penrose inequality is known to hold from the results by Sauter, and the case of null shells propagating in the Minkowski spacetime. Finally, a general inequality bounding the area of the quasi-local black hole in terms of an asymptotic quantity intrinsic of $Ω$ is derived.

preprint2015arXiv

The asymptotic behaviour of the Hawking energy along null asymptotically flat hypersurfaces

In this work we obtain the limit of the Hawking energy of a large class of foliations along general null hypersurfaces $Ω$ satisfying a weak notion of asymptotic flatness. The foliations are not required to be either geodesic or approaching large spheres at infinity. The limit is obtained in terms of a reference background geodesic foliation approaching large spheres and a positive function, constant along the null generators on $Ω$, which describes the relation between the two foliations at infinity. The integrand in the limit expression has interesting covariance and invariance properties with respect to change of background foliation. The standard result that the Hawking energy tends to the Bondi energy under suitable circumstances is recovered in this framework.

preprint2014arXiv

McGehee regularization of general SO(3)-invariant potentials and applications to stationary and spherically symmetric spacetimes

The McGehee regularization is a method to study the singularity at the origin of the dynamical system describing a point particle in a plane moving under the action of a power-law potential. It was used by Belbruno and Pretorius to perform a dynamical system regularization of the singularity at the center of the motion of massless test particles in the Schwarzschild spacetime. In this paper, we generalize the McGehee transformation so that we can regularize the singularity at the origin of the dynamical system describing the motion of causal geodesics (timelike or null) in any stationary and spherically symmetric spacetime of Kerr-Schild form. We first show that the geodesics for both massive and massless particles can be described globally in the Kerr-Schild spacetime as the motion of a Newtonian point particle in a suitable radial potential and study the conditions under which the central singularity can be regularized using an extension of the McGehee method. As an example, we apply these results to causal geodesics in the Schwarzschild and Reissner-Nordström spacetimes. Interestingly, the geodesic trajectories in the whole maximal extension of both spacetimes can be described by a single two-dimensional phase space with non-trivial topology. This topology arises from the presence of excluded regions in the phase space determined by the condition that the tangent vector of the geodesic be causal and future directed.

preprint2014arXiv

Regularization of geodesics in static spherically symmetric Kerr-Schild spacetimes

We describe a method to analyze causal geodesics in static and spherically symmetric spacetimes of Kerr-Schild form which, in particular, allows for a detailed study of the geodesics in the vicinity of the central singularity by means of a regularization procedure based on a generalization of the McGehee regularization for the motion of Newtonian point particles moving in a power-law potential. The McGehee regularization was used by Belbruno and Pretorius to perform a dynamical system regularization of the central singularity of the motion of massless test particles in the Schwarzschild spacetime. Our generalization allows us to consider causal (timelike or null) geodesics in any static and spherically symmetric spacetime of Kerr-Schild form. As an example, we apply these results to causal geodesics in the Schwarzschild and Reissner-Nordström spacetimes.

preprint2013arXiv

Constraint equations for general hypersurfaces and applications to shells

Hypersurfaces of arbitrary causal character embedded in a spacetime are studied with the aim of extracting necessary and sufficient free data on the submanifold suitable for reconstructing the spacetime metric and its first derivative along the hypersurface. The constraint equations for hypersurfaces of arbitrary causal character are then computed explicitly in terms of this hypersurface data, thus providing a framework capable of unifying, and extending, the standard constraint equations in the spacelike and in the characteristic cases to the general situation. This may have interesting applications in well-posedness problems more general than those already treated in the literature. As a simple application of the constraint equations for general hypersurfaces, we derive the field equations for shells of matter when no restriction whatsoever on the causal character of the shell is imposed.

preprint2013arXiv

Geometry of normal graphs in Euclidean space and applications to the Penrose inequality in Minkowski

The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces S in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang find a sufficient condition for the validity of this Penrose inequality in terms of the geometry of the orthogonal projection of S onto a constant time hyperplane. In this work, we study the geometry of hypersurfaces in n-dimensional euclidean space which are normal graphs over other surfaces and relate the intrinsic and extrinsic geometry of the graph with that of the base hypersurface. These results are used to rewrite Brendle and Wang's condition explicitly in terms of the time height function of S over a hyperplane and the geometry of the projection of S along its past null cone onto this hyperplane. We also include, in an Appendix, a self-contained summary of known and new results on the geometry of projections along the Killing direction of codimension two-spacelike surfaces in a strictly static spacetime.

preprint2013arXiv

Review on exact and perturbative deformations of the Einstein-Straus model: uniqueness and rigidity results

The Einstein-Straus model consists of a Schwarzschild spherical vacuole in a Friedman-Lema\^ıtre-Robertson-Walker (FLRW) dust spacetime (with or without Λ). It constitutes the most widely accepted model to answer the question of the influence of large scale (cosmological) dynamics on local systems. The conclusion drawn by the model is that there is no influence from the cosmic background, since the spherical vacuole is static. Spherical generalizations to other interior matter models are commonly used in the construction of lumpy inhomogeneous cosmological models. On the other hand, the model has proven to be reluctant to admit non-spherical generalizations. In this review, we summarize the known uniqueness results for this model. These seem to indicate that the only reasonable and realistic non-spherical deformations of the Einstein-Straus model require perturbing the FLRW background. We review results about linear perturbations of the Einstein-Straus model, where the perturbations in the vacuole are assumed to be stationary and axially symmetric so as to describe regions (voids in particular) in which the matter has reached an equilibrium regime.

preprint2012arXiv

Global and uniqueness properties of stationary and static spacetimes with outer trapped surfaces

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 spacetime. More specifically, we show that the future Killing development of the exterior of a sufficiently large sphere in the initial data set can be isometrically embedded in the maximal Cauchy development of the data. In the static setting we prove, by working directly on the initial data set, that all Killing prehorizons are embedded whenever the initial data set has an outer trapped boundary and satisfies the null energy condition. By combining both results we prove a uniqueness theorem for static initial data sets with outer trapped boundary.

preprint2012arXiv

On the Penrose inequality for dust null shells in the Minkowski spacetime of arbitrary dimension

A particular, yet relevant, particular case of the Penrose inequality involves null shells propagating in the Minkowski spacetime. Despite previous claims in the literature, the validity of this inequality remains open. In this paper we rewrite this inequality in terms of the geometry of the surface obtained by intersecting the past null cone of the original surface S with a constant time hyperplane and the "time height" function of S over this hyperplane. We also specialize to the case when S lies in the past null cone of a point and show the validity of the corresponding inequality in any dimension (in four dimensions this inequality was proved by Tod). Exploiting properties of convex hypersurfaces in Euclidean space we write down the Penrose inequality in the Minkowski spacetime of arbitrary dimension n+2 as an inequality for two smooth functions on the sphere. We finally obtain a sufficient condition for the validity of the Penrose inequality in the four dimensional Minkowski spacetime and show that this condition is satisfied by a large class of surfaces.

preprint2012arXiv

Stability of MOTS in totally geodesic null horizons

Closed sections of totally geodesic null hypersurfaces are marginally outer trapped surfaces (MOTS), for which a well-defined notion of stability exists. In this paper we obtain the explicit form for the stability operator for such MOTS and analyze in detail its properties in the particular case of non-evolving horizons, which include both isolated and Killing horizons. We link these stability properties with the surface gravity of the horizon and/or to the existence of minimal sections. The results are used, in particular, to obtain an area-angular momentum inequality for sections of axially symmetric horizons in four spacetime dimensions, which helps clarifying the relationship between two different approaches to this inequality existing in the literature.

preprint2011arXiv

Uniqueness theorems for static spacetimes containing marginally outer trapped surfaces

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 whether classic uniqueness theorems of static black holes can be extended to static spacetimes containing weakly outer trapped surfaces or not. Our main theorem states that, under reasonable hypotheses, a static spacetime satisfying the null energy condition and containing an asymptotically flat initial data set, possibly with boundary, which possesses a bounding weakly outer trapped surface is a unique spacetime. A related result to this theorem was given in arXiv:0711.1299, where we proved that no bounding weakly outer trapped surface can penetrate into the exterior region of the initial data where the static Killing vector is timelike. In this paper, we also fill some gaps in arXiv:0711.1299 and extend this confinement result to initial data sets with boundary.

preprint2007arXiv

On marginally outer trapped surfaces in stationary and static spacetimes

In this paper we prove that for any spacelike hypersurface containing an untrapped barrier in a stationary spacetime satisfying the null energy condition, any marginally outer trapped surface cannot lie in the exterior region where the stationary Killing vector is timelike. In the static case we prove that any marginally outer trapped surface cannot penetrate into the exterior region where the static Killing vector is timelike. In fact, we prove these result at an initial data level, without even assuming existence of a spacetime. The proof relies on a powerful theorem by Andersson and Metzger on existence of an outermost marginally outer trapped surface.

preprint2005arXiv

First and Second Order Perturbations of Hypersurfaces

In this paper we find the first and second order perturbations of the induced metric and the extrinsic curvature of a non-degenerate hypersurface $Σ$ in a spacetime $(M,g)$, when the metric $g$ is perturbed arbitrarily to second order and the hypersurface itself is allowed to change perturbatively (i.e. to move within spacetime) also to second order. The results are fully general and hold in arbitrary dimensions and signature. An application of these results for the perturbed matching theory between spacetimes is presented.

preprint2002arXiv

Axial symmetry and conformal Killing vectors

Axisymmetric spacetimes with a conformal symmetry are studied and it is shown that, if there is no further conformal symmetry, the axial Killing vector and the conformal Killing vector must commute. As a direct consequence, in conformally stationary and axisymmetric spacetimes, no restriction is made by assuming that the axial symmetry and the conformal timelike symmetry commute. Furthermore, we prove that in axisymmetric spacetimes with another symmetry (such as stationary and axisymmetric or cylindrically symmetric spacetimes) and a conformal symmetry, the commutator of the axial Killing vector with the two others mush vanish or else the symmetry is larger than that originally considered. The results are completely general and do not depend on Einstein's equations or any particular matter content.

preprint2002arXiv

Geometry of General Hypersurfaces in Spacetime: Junction Conditions

We study imbedded hypersurfaces in spacetime whose causal character is allowed to change from point to point. Inherited geometrical structures on these hypersurfaces are defined by two methods: first, the standard rigged connection induced by a rigging vector (a vector not tangent to the hypersurface anywhere); and a second, more physically adapted, where each observer in spacetime induces a new type of connection that we call the rigged metric connection. The generalisation of the Gauss and Codazzi equations are also given. With the above machinery, we attack the problem of matching two spacetimes across a general hypersurface. It is seen that the preliminary junction conditions allowing for the correct definition of Einstein's equations in the distributional sense reduce to the requirement that the first fundamental form of the hypersurface be continuous. The Bianchi identities are then proven to hold in the distributional sense. Next, we find the proper junction conditions which forbid the appearance of singular parts in the curvature. Finally, we derive the physical implications of the junction conditions: only six independent discontinuities of the Riemann tensor are allowed. These are six matter discontinuities at non-null points of the hypersurface. For null points, the existence of two arbitrary discontinuities of the Weyl tensor (together with four in the matter tensor) are also allowed.

preprint2002arXiv

On uniqueness of static Einstein-Maxwell-dilaton black holes

We prove uniqueness of static, asymptotically flat spacetimes with non-degenerate black holes for three special cases of Einstein-Maxwell-dilaton theory: For the coupling ``$α= 1$'' (which is the low energy limit of string theory) on the one hand, and for vanishing magnetic or vanishing electric field (but arbitrary coupling) on the other hand. Our work generalizes in a natural, but non-trivial way the uniqueness result obtained by Masood-ul-Alam who requires both $α= 1$ and absence of magnetic fields, as well as relations between the mass and the charges. Moreover, we simplify Masood-ul-Alam's proof as we do not require any non-trivial extensions of Witten's positive mass theorem. We also obtain partial results on the uniqueness problem for general harmonic maps.

preprint2002arXiv

Stationary and Axisymmetric Perfect-Fluid Solutions with Conformal Motion

Stationary and axisymmetric perfect-fluid metrics are studied under the assumption of the existence of a conformal Killing vector field and in the general case of differential rotation. The possible Lie algebras for the conformal group and corresponding canonical line-elements are explicitly given. It turns out that only four different cases appear, the abelian and other three called I, II and III. We explicitly find all the solutions in the abelian and I cases. For the abelian case the general solution depends on an arbitrary function of a single variable and the perfect fluid satisfies the equation of state rho = p+const. This class of metrics is the one presented recently by one of us. The general solution for case I is a new Petrov type D metric, with the velocity vector outside the 2-space spanned by the two principal null directions and a barotropic equation of state rho +3p=0. For the cases II and III, the general solution has been found only under the further assumption of a natural separation of variables Ansatz. The conformal Killing vectors in the solutions that come out here are, in fact, homothetic. No barotropic equation of state exists in these metrics unless for a new Petrov type D solution belonging to case II and with rho +3p=0 which cannot be interpreted as an axially symmetric solution and such that the velocity vector points in the direction of one of the Killing vectors. This solution has the previously unknown curious property that both commuting Killing vectors are timelike everywhere.

preprint1997arXiv

General non-rotating perfect-fluid solution with an abelian spacelike C_3 including only one isometry

The general solution for non-rotating perfect-fluid spacetimes admitting one Killing vector and two conformal (non-isometric) Killing vectors spanning an abelian three-dimensional conformal algebra (C_3) acting on spacelike hypersurfaces is presented. It is of Petrov type D; some properties of the family such as matter contents are given. This family turns out to be an extension of a solution recently given in \cite{SeS} using completely different methods. The family contains Friedman-Lema\^ıtre-Robertson-Walker particular cases and could be useful as a test for the different FLRW perturbation schemes. There are two very interesting limiting cases, one with a non-abelian G_2 and another with an abelian G_2 acting non-orthogonally transitively on spacelike surfaces and with the fluid velocity non-orthogonal to the group orbits. No examples are known to the authors in these classes.

preprint1997arXiv

Space-time Averages in Macroscopic Gravity and Volume-preserving Coordinates

The definition of the covariant space-time averaging scheme for the objects (tensors, geometric objects, etc.) on differentiable metric manifolds with a volume n-form, which has been proposed for the formulation of macroscopic gravity, is analyzed. An overview of the space-time averaging procedure in Minkowski spacetime is given and comparison between this averaging scheme and that adopted in macroscopic gravity is carried out throughout the paper. Some new results concerning the algebraic structure of the averaging operator are precisely formulated and proved, the main one being that the averaging bilocal operator is idempotent iff it is factorized into a bilocal product of a matrix-valued function on the manifold, taken at a point, by its inverse at another point. The previously proved existence theorems for the averaging and coordination bilocal operators are revisited with more detailed proofs of related results. A number of new results concerning the structure of the volume-preserving averaging operators and the class of proper coordinate systems are given. It is shown, in particular, that such operators are defined on an arbitrary n-dimensional differentiable metric manifold with a volume n-form up to the freedom of (n-1) arbitrary functions of n arguments and 1 arbitrary function of (n-1) arguments. All the results given in this paper are also valid whenever appropriate for affine connection manifolds including (pseudo)-Riemannian manifolds.