• ### Black holes in Einstein-Maxwell Theory(1607.05036)

Oct. 6, 2018 math.DG, math.AP, gr-qc
We prove variants of known singularity theorems ensuring the existence of a region of finite lifetime that are particularly well applicable if the solution admits a conformal extension, a property satisfied e.g. by maximal Cauchy developments of Einstein-Maxwell initial values close to the trivial ones.
• ### Cheeger-Gromov convergence in a conformal setting(1512.07651)

Aug. 11, 2018 math.DG
For a sequence $\{(M_i, g_i, x_i)\}$ of pointed Riemannian manifolds with boundary, the sequence $\{(M_i,\tilde g_i,x_i)\}$ is its conformal satellite if the metric $\tilde g_i$ is conformal to $g_i$, that is, $\tilde g_i=u^{\frac{4}{n-2}}_ig_i$. Assuming the manifolds $(M_i,g_i,x_i)$ have uniformly bounded geometry, we show that both sequences have smoothly Cheeger-Gromov convergent subsequences provided the conformal factors $u_i$ are principal eigenfunctions of an appropriate elliptic operator. Part of our result is a Cheeger-Gromov compactness for manifolds with boundary. We use stable versions of classical elliptic estimates and inequalities found in the recently established 'flatzoomer' method.
• ### Lorentzian Spectral Geometry for Globally Hyperbolic Surfaces(1411.3578)

Oct. 26, 2016 math.DG, math-ph, math.MP, math.SP
The fermionic signature operator is analyzed on globally hyperbolic Lorentzian surfaces. The connection between the spectrum of the fermionic signature operator and geometric properties of the surface is studied. The findings are illustrated by simple examples and counterexamples.
• ### Applying the index theorem to non-smooth operators(1506.04636)

Oct. 10, 2016 math.AP
We give a simple way to extend index-theoretical statements from partial differential operators with smooth coefficients to operators with coefficients of finite Sobolev order.
• ### A note on invariant temporal functions(1502.02716)

July 18, 2016 math-ph, math.MP
The purpose of this article is to present a result on the existence of Cauchy temporal functions invariant by the action of a compact group of conformal transformations in arbitrary globally hyperbolic manifolds. Moreover, the previous results about the existence of Cauchy temporal functions with additional properties on arbitrary globally hyperbolic manifolds are unified in a fully general theorem. The article is written as self-contained as possible, no prior knowledge on Lorentzian geometry is assumed.
• ### A note on closed isometric embeddings(0805.4657)

May 20, 2016 math.DG
This note is about a little extension of Nash's embedding theorem in the case of complete manifolds.
• ### Compact Lorentzian holonomy(1502.05289)

March 22, 2016 math.DG
We consider (compact or noncompact) Lorentzian manifolds whose holonomy group has compact closure. Among other results, we obtain that this property is equivalent to admitting a parallel timelike vector field. We also derive some properties of the space of all such metrics on a given manifold.
• ### Riemannian geometry of the space of volume preserving immersions(1603.05916)

March 18, 2016 math.DG
Given a compact manifold $M$ and a Riemannian manifold $N$ of bounded geometry, we consider the manifold ${\rm Imm} (M,N)$ of immersions from $M$ to $N$ and its subset ${\rm Imm}_\mu (M,N)$ of those immersions with the property that the volume-form of the pull-back metric equals $\mu$. We first show that the non-minimal elements of ${\rm Imm}_\mu (M,N)$ form a splitting submanifold. On this submanifold we consider the Levi-Civita connection for various natural Sobolev metrics write down the geodesic equation and show local well-posedness in many cases. The question is a natural generalization of the corresponding well-posedness question for the group of volume-preserving diffeomorphisms, which is of great importance in fluid mechanics.
• ### Global solvability of massless Dirac-Maxwell systems(1407.1177)

March 1, 2016 math.AP
We consider the Cauchy problem of massless Dirac-Maxwell equations on an asymptotically flat background and give a global existence and uniqueness theorem for initial values small in an appropriate weighted Sobolev space. The result can be extended via analogous methods to Dirac-Higgs-Yang-Mills theories.
• ### Every conformal class contains a metric of bounded geometry(1303.5957)

Oct. 12, 2015 math.DG
We show that on every manifold, every conformal class of semi-Riemannian metrics contains a metric $g$ such that each $k$-th-order covariant derivative of the Riemann tensor of $g$ has bounded absolute value $a_k$. This result is new also in the Riemannian case, where one can arrange in addition that $g$ is complete with injectivity and convexity radius greater than 1. One can even make the radii rapidly increasing and the functions $a_k$ rapidly decreasing at infinity. We prove generalizations to foliated manifolds, where curvature, second fundamental form and injectivity radius of the leaves can be controlled similarly. Moreover, we explain a general principle that can be used to obtain analogous results for Riemannian manifolds equipped with arbitrary other additional geometric structures instead of foliations.
• ### A Universal Spinor Bundle and the Einstein-Dirac-Maxwell Equation as a Variational Theory(1504.01034)

Oct. 6, 2015 math.DG
Not only the Dirac operator, but also the spinor bundle of a pseudo-Riemannian manifold depends on the underlying metric. This leads to technical difficulties in the study of problems where many metrics are involved, for instance in variational theory. We construct a natural finite dimensional bundle, from which all the metric spinor bundles can be recovered including their extra structure. In the Lorentzian case, we also give some applications to Einstein-Dirac-Maxwell theory as a variational theory and show how to coherently define a maximal Cauchy development for this theory.
• ### Horizons(1111.4571)

Aug. 13, 2015 math-ph, math.MP
We define different notions of black holes, event horizons and Killing horizons for a general time-oriented manifold $(M,g)$ extending previous notions but without the assumption of asymptotical flatness. The notions of 'horizon' are always conformally invariant while the notions of 'black hole' are genuinely geometric. Some connections between the different notions are found. Finally, we put the definitions into the context of the weak cosmic censorship conjecture.
• ### Metrizability of spaces of homomorphisms between metric vector spaces(0905.3777)

Nov. 29, 2014 math.FA
This note tries to give an answer to the following question: Is there a sufficiently rich class of metric vector spaces such that sufficiently large spaces of continuous linear maps between them are metrizable?
• ### Which spacetimes admit conformal compactifications?(1409.8136)

Nov. 21, 2014 math.DG, math-ph, math.MP, gr-qc
We consider the future causal boundary as a tool to find obstructions to conformal extensions, the latter being a slight generalization to conformal compactifications.
• ### An Invitation to Lorentzian Geometry(math/0604265)

Jan. 19, 2014 math.DG, gr-qc
The intention of this article is to give a flavour of some global problems in General Relativity. We cover a variety of topics, some of them related to the fundamental concept of 'Cauchy hypersurfaces': (1) structure of globally hyperbolic spacetimes, (2) the relativistic initial value problem, (3) constant mean curvature surfaces, (4) singularity theorems, (5) cosmic censorship and Penrose inequality, (6) spinors and holonomy.
• ### Special temporal functions on globally hyperbolic manifolds(0904.1599)

Oct. 22, 2012 math.DG, math-ph, math.MP, gr-qc
In this article, existence results concerning temporal functions with additional properties on a globally hyperbolic manifold are obtained. These properties are certain bounds on geometric quantities as lapse and shift. The results are linked to completeness properties and the existence of closed isometric embeddings in Minkowski spaces.
• ### Asymptotic flexibility of globally hyperbolic manifolds(1110.1037)

Oct. 5, 2011 math.DG, math-ph, math.MP
In this short note, a question of patching together globally hyperbolic manifolds is adressed which appeared in the context of the construction of Hadamard states.
• ### Lorentzian manifolds isometrically embeddable in L^N(0812.4439)

Jan. 22, 2010 math.DG, math-ph, math.MP, gr-qc
We characterize those spacetimes which admit a isometric (or conformal) embedding in some Lorentz-Minkowski space L^N. In particular, any globally hyperbolic spacetime can be isometrically embedded in L^N. This is proven by a result of its own interest: the construction of a smooth time function whose gradient is bounded away from zero -and, thus, an orthogonal global splitting of the spacetime with bounded lapse. The role of the so-called "folk problems on smoothability" is stressed.
• ### A metric approach to Fr\'echet geometry(math/0612379)

June 16, 2007 math.DG
The aim of this article is to present the category of bounded Frechet manifolds in respect to which we will review the geometry of Frechet manifolds with a stronger accent on its metric aspect. An inverse function theorem in the sense of Nash and Moser in this category is proved, and some applications to Riemannian geometry are given.
• ### Codazzi spinors and globally hyperbolic manifolds with special holonomy(0704.3725)

April 27, 2007 math.DG
In this paper we examine the structure of Riemannian manifolds with a special kind of Codazzi tensors. We use them to construct globally hyperbolic Lorentzian manifolds with complete Cauchy hypersurfaces for any weakly irreducible holonomy representation with parallel spinors, i.e. with a holonomy group which is a semidirect product between $\R^{n-2}$ and one of $\1, SU(k), Sp(1), G_2$ and $Spin(7)$.
• ### Global Existence and Uniqueness of Minimal Surfaces in Globally Hyperbolic Manifolds(math/0210352)

May 26, 2004 math.DG, math.AP, math-ph, math.MP
In this note a proof is given for global existence and uniqueness of minimal surfaces of Lorentzian type from a cylinder into globally hyperbolic Lorentzian manifolds for given initial values up to the first derivatives.
• ### Invariants of 3-manifolds from representations of the framed-tangle category(math/0203016)

March 3, 2002 math.GT
A new class of 3-manifold invariants is constructed from representations of the category of framed tangles.
• ### A note on $H^1(Emb(M,N))$(math/0202049)

Feb. 6, 2002 math.DG, math-ph, math.MP, math.AT
Aim of this note is to extract cohomological information about the manifold $Emb(M,N)$ from the topology of the target manifold N. For special conditions, a monomorphism $H^1 (N) \to H^1 (Emb(M,N))$ is constructed.