Showing 1–16 of 16 results for author: Dahl, M

The Volume-Renormalized Mass from a Hamiltonian Perspective

Authors: Mattias Dahl, Klaus Kroencke, Stephen McCormick

Abstract: We demonstrate that the volume-renormalized mass for asymptotically hyperbolic manifolds recently introduced by the authors can be deduced from a reduced Hamiltonian perspective. In order to do this, we first use Michel's formalism of mass invariants to extend the definition of the volume-renormalized mass to initial data sets. We consider spacetimes that are foliated by asymptotically Poincaré-… ▽ More We demonstrate that the volume-renormalized mass for asymptotically hyperbolic manifolds recently introduced by the authors can be deduced from a reduced Hamiltonian perspective. In order to do this, we first use Michel's formalism of mass invariants to extend the definition of the volume-renormalized mass to initial data sets. We consider spacetimes that are foliated by asymptotically Poincaré--Einstein Riemannian manifolds in the spirit of the Milne model of cosmology and reduce the ADM Hamiltonian to an unconstrained Hamiltonian system, analogous to the work of Fischer and Moncrief for spatially compact spacetimes. We find that the reduced Hamiltonian in this case recovers the volume-renormalized mass. We then analyze the first and second variation of the reduced Hamiltonian and demonstrate that it is non-increasing over the evolution and constant only for self-similar spacetimes. △ Less

Submitted 13 June, 2025; originally announced June 2025.

Comments: 25 pages. Comments welcome!

MSC Class: 53C21; 53C25; 83C05

Mode Stability of Hermitian Instantons

Authors: Lars Andersson, Bernardo Araneda, Mattias Dahl

Abstract: In this note, we prove the Riemannian analog of black hole mode stability for Hermitian, non-self-dual gravitational instantons which are either asymptotically locally flat (ALF) and Ricci-flat, or compact and Einstein with positive cosmological constant. We show that the Teukolsky equation on any such manifold is a positive definite operator. We also discuss the compatibility of the results with… ▽ More In this note, we prove the Riemannian analog of black hole mode stability for Hermitian, non-self-dual gravitational instantons which are either asymptotically locally flat (ALF) and Ricci-flat, or compact and Einstein with positive cosmological constant. We show that the Teukolsky equation on any such manifold is a positive definite operator. We also discuss the compatibility of the results with the existence of negative modes associated to variational instabilities. △ Less

Submitted 1 April, 2025; v1 submitted 28 October, 2024; originally announced October 2024.

Journal ref: SIGMA 21 (2025), 022, 13 pages

A volume-renormalized mass for asymptotically hyperbolic manifolds

Authors: Mattias Dahl, Klaus Kroencke, Stephen McCormick

Abstract: We define a geometric quantity for asymptotically hyperbolic manifolds, which we call the volume-renormalized mass. It is essentially a linear combination of the ADM mass surface integral and a renormalization of the volume. We show that the volume-renormalized mass is well-defined and diffeomorphism invariant under weaker fall-off conditions than required to ensure that the renormalized volume… ▽ More We define a geometric quantity for asymptotically hyperbolic manifolds, which we call the volume-renormalized mass. It is essentially a linear combination of the ADM mass surface integral and a renormalization of the volume. We show that the volume-renormalized mass is well-defined and diffeomorphism invariant under weaker fall-off conditions than required to ensure that the renormalized volume and the ADM mass surface integral are well-defined separately. We prove several positivity results for the volume-renormalized mass. We also use it to define a renormalized Einstein--Hilbert action and a renormalized expander entropy which is nondecreasing under the Ricci flow. Further, we show that local maximizers of the entropy are local minimizers of the volume-renormalized mass. △ Less

Submitted 26 April, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 45 pages; v2: presentation clarified and typos fixed

MSC Class: 53C21; 53C25; 53E20

Gravitational instantons with $S^1$ symmetry

Authors: Steffen Aksteiner, Lars Andersson, Mattias Dahl, Gustav Nilsson, Walter Simon

Abstract: Uniqueness results for asymptotically locally flat and asymptotically flat $S^1$-symmetric gravitational instantons are proved using a divergence identity of the type used in uniqueness proofs for static black holes, combined with results derived from the $G$-signature theorem. Our results include a proof of the $S^1$-symmetric version of the Euclidean Black Hole Uniqueness conjecture, a uniquenes… ▽ More Uniqueness results for asymptotically locally flat and asymptotically flat $S^1$-symmetric gravitational instantons are proved using a divergence identity of the type used in uniqueness proofs for static black holes, combined with results derived from the $G$-signature theorem. Our results include a proof of the $S^1$-symmetric version of the Euclidean Black Hole Uniqueness conjecture, a uniqueness result for the Taub-bolt family of instantons, as well as a proof that an ALF $S^1$-symmetric instanton with the topology of the Chen-Teo family of instantons is Hermitian. △ Less

Submitted 7 May, 2025; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: Version to appear in Journal für die reine und angewandte Mathematik (Crelle's Journal)

MSC Class: 53C25

Outermost apparent horizons diffeomorphic to unit normal bundles

Authors: Mattias Dahl, Eric Larsson

Abstract: Given a submanifold $S \subset \mathbb R^n$ of codimension at least three, we construct an asymptotically Euclidean Riemannian metric on $\mathbb R^n$ with nonnegative scalar curvature for which the outermost apparent horizon is diffeomorphic to the unit normal bundle of $S$. Given a submanifold $S \subset \mathbb R^n$ of codimension at least three, we construct an asymptotically Euclidean Riemannian metric on $\mathbb R^n$ with nonnegative scalar curvature for which the outermost apparent horizon is diffeomorphic to the unit normal bundle of $S$. △ Less

Submitted 22 May, 2018; v1 submitted 27 June, 2016; originally announced June 2016.

Comments: v2: New proof of outer bound under weaker assumptions. The main theorem now holds in all dimensions. v3: Clarified definitions of "bounding", "enclosing" and "outermost" hypersurfaces. v4: Minor corrections

Journal ref: Asian J. Math. 23 (2019), no. 6, 1013-1040

Mass-like invariants for asymptotically hyperbolic metrics

Authors: Julien Cortier, Mattias Dahl, Romain Gicquaud

Abstract: In this article, we classify the set of asymptotic mass-like invariants for asymptotically hyperbolic metrics. It turns out that the standard mass is just one example (but probably the most important one) among the two families of invariants we find. These invariants are attached to finite-dimensional representations of the group of isometries of hyperbolic space. They are then described in terms… ▽ More In this article, we classify the set of asymptotic mass-like invariants for asymptotically hyperbolic metrics. It turns out that the standard mass is just one example (but probably the most important one) among the two families of invariants we find. These invariants are attached to finite-dimensional representations of the group of isometries of hyperbolic space. They are then described in terms of wave harmonic polynomials and polynomial solutions to the linearized Einstein equations in Minkowski space. △ Less

Submitted 22 June, 2018; v1 submitted 25 March, 2016; originally announced March 2016.

Comments: 98 pages

MSC Class: 53C21 (Primary) 83C05; 83C30 (Secondary)

On the geometry and topology of initial data sets with horizons

Authors: Lars Andersson, Mattias Dahl, Gregory J. Galloway, Daniel Pollack

Abstract: 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 Inner) Trapped Surfaces (MOTSs and/or MITSs) and such that… ▽ More 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 Inner) Trapped Surfaces (MOTSs and/or MITSs) and such that $M\setminus \partial M$ contains no MOTSs or MITSs. This definition is meant to capture, on the level of the initial data sets, the well known notion of the domain of outer communications (DOC) as the region of spacetime outside of all the black holes (and white holes). Our main theorem establishes that in dimensions $3\leq n \leq 7$, a CDOC which satisfies the dominant energy condition and has a strictly stable boundary has a positive scalar curvature metric which smoothly compactifies the asymptotically flat end and is a Riemannian product metric near the boundary where the cross sectional metric is conformal to a small perturbation of the initial metric on the boundary $\partial M$ induced by $g$. This result may be viewed as a generalization of Galloway and Schoen's higher dimensional black hole topology theorem \cite{GS06} to the exterior of the horizon. We also show how this result leads to a number of topological restrictions on the CDOC, which allows one to also view this as an extension of the initial data topological censorship theorem, established in \cite{EGP13} in dimension $n=3$, to higher dimensions. △ Less

Submitted 14 January, 2017; v1 submitted 8 August, 2015; originally announced August 2015.

Comments: Final version. To appear in Asian Journal of Mathematics

Journal ref: Asian J. Math. 22 (2018), no. 5, 863-881

A density theorem for asymptotically hyperbolic initial data satisfying the dominant energy condition

Authors: Mattias Dahl, Anna Sakovich

Abstract: When working with asymptotically hyperbolic initial data sets for general relativity it is convenient to assume certain simplifying properties. We prove that the subset of initial data sets with such properties is dense in the set of physically reasonable asymptotically hyperbolic initial data sets. More specifically, we show that an asymptotically hyperbolic initial data set with non-negative loc… ▽ More When working with asymptotically hyperbolic initial data sets for general relativity it is convenient to assume certain simplifying properties. We prove that the subset of initial data sets with such properties is dense in the set of physically reasonable asymptotically hyperbolic initial data sets. More specifically, we show that an asymptotically hyperbolic initial data set with non-negative local energy density can be approximated by an initial data set with strictly positive local energy density and a simple structure at infinity, while changing the mass arbitrarily little. This is achieved by suitably modifying the argument used by Eichmair, Huang, Lee and Schoen in the asymptotically Euclidean case. △ Less

Submitted 19 April, 2021; v1 submitted 26 February, 2015; originally announced February 2015.

Asymptotically hyperbolic manifolds with small mass

Authors: Mattias Dahl, Romain Gicquaud, Anna Sakovich

Abstract: For asymptotically hyperbolic manifolds of dimension $n$ with scalar curvature at least equal to $-n(n-1)$ the conjectured positive mass theorem states that the mass is non-negative, and vanishes only if the manifold is isometric to hyperbolic space. In this paper we study asymptotically hyperbolic manifolds which are also conformally hyperbolic outside a ball of fixed radius, and for which the po… ▽ More For asymptotically hyperbolic manifolds of dimension $n$ with scalar curvature at least equal to $-n(n-1)$ the conjectured positive mass theorem states that the mass is non-negative, and vanishes only if the manifold is isometric to hyperbolic space. In this paper we study asymptotically hyperbolic manifolds which are also conformally hyperbolic outside a ball of fixed radius, and for which the positive mass theorem holds. For such manifolds we show that the conformal factor tends to one as the mass tends to zero. △ Less

Submitted 22 October, 2013; v1 submitted 2 September, 2012; originally announced September 2012.

MSC Class: 53C21; (83C05; 83C30)

Journal ref: Commun. Math. Phys. 325, 757-801 (2014)

A non-existence result for a generalization of the equations of the conformal method in general relativity

Authors: Mattias Dahl, Romain Gicquaud, Emmanuel Humbert

Abstract: The constraint equations of general relativity can in many cases be solved by the conformal method. We show that a slight modification of the equations of the conformal method admits no solution for a broad range of parameters. This suggests that the question of existence or non-existence of solutions to the original equations is more subtle than could perhaps be expected. The constraint equations of general relativity can in many cases be solved by the conformal method. We show that a slight modification of the equations of the conformal method admits no solution for a broad range of parameters. This suggests that the question of existence or non-existence of solutions to the original equations is more subtle than could perhaps be expected. △ Less

Submitted 31 October, 2012; v1 submitted 21 July, 2012; originally announced July 2012.

Comments: minor changes from previous version

MSC Class: 53C21; 35Q75; 53C80; 83C05

Journal ref: Class. Quantum Grav. 30 (2013) 075004

On the tensorial properties of the generalized Jacobi equation

Authors: Matias F. Dahl, Ricardo Gallego Torromé

Abstract: The generalized Jacobi equation is a differential equation in local coordinates that describes the behavior of infinitesimally close geodesics with an arbitrary relative velocity. In this note we study some transformation properties for solutions to this equation. We prove two results. First, under any affine coordinate changes we show that the tensor transformation rule maps solutions to solution… ▽ More The generalized Jacobi equation is a differential equation in local coordinates that describes the behavior of infinitesimally close geodesics with an arbitrary relative velocity. In this note we study some transformation properties for solutions to this equation. We prove two results. First, under any affine coordinate changes we show that the tensor transformation rule maps solutions to solutions. As a consequence, the generalized Jacobi equation is a tensor equation when restricted to suitable Fermi coordinate systems along a geodesic. Second, in dimensions n\ge 3, we explicitly show that the transformation rule does not in general preserve solutions to the generalized Jacobi equation. △ Less

Submitted 21 May, 2012; originally announced May 2012.

Comments: 10 pages

Characterisation and representation of non-dissipative electromagnetic medium with a double light cone

Authors: Matias F. Dahl

Abstract: We study Maxwell's equations on a 4-manifold N with a medium that is non-dissipative and has a linear and pointwise response. In this setting, the medium can be represented by a suitable (2,2)-tensor on the 4-manifold N. Moreover, in each cotangent space on N, the medium defines a Fresnel surface. Essentially, the Fresnel surface is a tensorial analogue of the dispersion equation that describes th… ▽ More We study Maxwell's equations on a 4-manifold N with a medium that is non-dissipative and has a linear and pointwise response. In this setting, the medium can be represented by a suitable (2,2)-tensor on the 4-manifold N. Moreover, in each cotangent space on N, the medium defines a Fresnel surface. Essentially, the Fresnel surface is a tensorial analogue of the dispersion equation that describes the response of the medium for signals in the geometric optics limit. For example, in isotropic medium the Fresnel surface is at each point a Lorentz light cone. In a recent paper, I. Lindell, A. Favaro and L. Bergamin introduced a condition that constrains the polarisation for plane waves. In this paper we show (under suitable assumptions) that a slight strengthening of this condition gives a pointwise characterisation of all medium tensors for which the Fresnel surface is the union of two distinct Lorentz null cones. This is for example the behaviour of uniaxial medium like calcite. Moreover, using the representation formulas from Lindell et al. we obtain a closed form representation formula that pointwise parameterises all medium tensors for which the Fresnel surface is the union of two distinct Lorentz null cones. Both the characterisation and the representation formula are tensorial and do not depend on local coordinates. △ Less

Submitted 28 March, 2012; originally announced March 2012.

Penrose type inequalities for asymptotically hyperbolic graphs

Authors: Mattias Dahl, Romain Gicquaud, Anna Sakovich

Abstract: In this paper we study asymptotically hyperbolic manifolds given as graphs of asymptotically constant functions over hyperbolic space $\bH^n$. The graphs are considered as subsets of $\bH^{n+1}$ and carry the induced metric. For such manifolds the scalar curvature appears in the divergence of a 1-form involving the integrand for the asymptotically hyperbolic mass. Integrating this divergence we es… ▽ More In this paper we study asymptotically hyperbolic manifolds given as graphs of asymptotically constant functions over hyperbolic space $\bH^n$. The graphs are considered as subsets of $\bH^{n+1}$ and carry the induced metric. For such manifolds the scalar curvature appears in the divergence of a 1-form involving the integrand for the asymptotically hyperbolic mass. Integrating this divergence we estimate the mass by an integral over an inner boundary. In case the inner boundary satisfies a convexity condition this can in turn be estimated in terms of the area of the inner boundary. The resulting estimates are similar to the conjectured Penrose inequality for asymptotically hyperbolic manifolds. The work presented here is inspired by Lam's article concerning the asymptotically Euclidean case. △ Less

Submitted 11 September, 2012; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: 29 pages, no figure, includes a proof of the equality case

MSC Class: 53C21 (Primary) 83C05; 83C30 (Secondary)

Journal ref: Ann. Henri Poincaré 14 (2013), 1135-1168

Non-dissipative electromagnetic medium with a double light cone

Authors: Matias F. Dahl

Abstract: We study Maxwell's equations on a 4-manifold where the electromagnetic medium is modelled by an antisymmetric (2, 2)-tensor kappa with real coefficients. In this setting the Fresnel surface is a fourth order polynomial surface in each cotangent space that acts as a generalisation of the light cone determined by a Lorentz metric; the Fresnel surface parameterises electromagnetic wave-speeds as a fu… ▽ More We study Maxwell's equations on a 4-manifold where the electromagnetic medium is modelled by an antisymmetric (2, 2)-tensor kappa with real coefficients. In this setting the Fresnel surface is a fourth order polynomial surface in each cotangent space that acts as a generalisation of the light cone determined by a Lorentz metric; the Fresnel surface parameterises electromagnetic wave-speeds as a function of direction. The contribution of this paper is the complete pointwise description of all electromagnetic medium tensors that satisfy the following conditions: (i) kappa is invertible, (ii) kappa is skewon-free, (iii) kappa is birefringent, that is, the Fresnel surface of kappa is the union of two distinct light cones. We show that there are only three classes of mediums with these properties. Moreover, we give explicit expressions in local coordinates for each class. △ Less

Submitted 21 August, 2011; originally announced August 2011.

A restatement of the normal form theorem for area metrics

Authors: Matias F. Dahl

Abstract: An area metric is a (0,4)-tensor with certain symmetries on a 4-manifold that represent a non-dissipative linear electromagnetic medium. A recent result by Schuller, Witte and Wohlfarth provides a pointwise normal form theorem for such area metrics. This result is similar to the Jordan normal form theorem for (1,1)-tensors, and the result shows that any area metric belongs to one of 23 metaclasses… ▽ More An area metric is a (0,4)-tensor with certain symmetries on a 4-manifold that represent a non-dissipative linear electromagnetic medium. A recent result by Schuller, Witte and Wohlfarth provides a pointwise normal form theorem for such area metrics. This result is similar to the Jordan normal form theorem for (1,1)-tensors, and the result shows that any area metric belongs to one of 23 metaclasses with explicit coordinate expressions for each metaclass. In this paper we restate and prove this result for skewon-free (2,2)-tensors and show that in general, each metaclasses has three different coordinate representations, and each of metaclasses I, II, ..., VI, VII need only one coordinate representation. △ Less

Submitted 28 December, 2011; v1 submitted 21 August, 2011; originally announced August 2011.

Comments: Updated proof of Proposition A.2 (Claim 5). Fixed typo in Theorem 6 (Metaclass XXIII)

Journal ref: International Journal of Geometric Methods in Modern Physics, Vol. 9, No. 5, 2012, 1250046 (21 pages)

A limit equation associated to the solvability of the vacuum Einstein constraint equations using the conformal method

Authors: Mattias Dahl, Romain Gicquaud, Emmanuel Humbert

Abstract: Let $(M,g)$ be a compact Riemannian manifold on which a trace-free and divergence-free $σ\in W^{1,p}$ and a positive function $τ\in W^{1,p}$, $p > n$, are fixed. In this paper, we study the vacuum Einstein constraint equations using the well known conformal method with data $σ$ and $τ$. We show that if no solution exists then there is a non-trivial solution of another non-linear limit equation on… ▽ More Let $(M,g)$ be a compact Riemannian manifold on which a trace-free and divergence-free $σ\in W^{1,p}$ and a positive function $τ\in W^{1,p}$, $p > n$, are fixed. In this paper, we study the vacuum Einstein constraint equations using the well known conformal method with data $σ$ and $τ$. We show that if no solution exists then there is a non-trivial solution of another non-linear limit equation on $1$-forms. This last equation can be shown to be without solutions no solution in many situations. As a corollary, we get existence of solutions of the vacuum Einstein constraint equation under explicit assumptions which in particular hold on a dense set of metrics $g$ for the $C^0$-topology. △ Less

Submitted 28 January, 2011; v1 submitted 10 December, 2010; originally announced December 2010.

Comments: Proposition 1.6 changed, error in the proof of this result in the previous version of the article

MSC Class: 53C21 (Primary) 35Q75; 53C80; 83C05 (Secondary)

Journal ref: Duke Math. J. 161, no. 14 (2012), 2669-2697