On a compact globally hyperbolic Lorentzian spin manifold with smooth spacelike Cauchy boundary the (hyperbolic) Dirac operator is known to be Fredholm when Atiyah-Patodi-Singer boundary conditions are imposed. In this paper we investigate to what extent these boundary conditions can be replaced by more general ones and how the index then changes. There are some differences to the classical case of the elliptic Dirac operator on a Riemannian manifold with boundary.
Non-local boundary conditions, such as the Atiyah-Patodi-Singer (APS) conditions, for Dirac operators on Riemannian manifolds are well understood while not much is known for such operators on spacetimes with timelike boundary. We define a class of Lorentzian boundary conditions that are local in time and non-local in the spatial directions and show that they lead to a well-posed Cauchy problem for the Dirac operator. This applies in particular to the APS conditions imposed on each level set of a given Cauchy temporal function.
We survey the correct definition of a generalized Dirac operator on a Space--Time and the classical result about propagation of singularities. This says that light travels along light--like geodesics. Finally we show this is also true for generalized Dirac operators.
We consider a hyperbolic Dirac-type operator with growing potential on a a spatially non-compact globally hyperbolic manifold. We show that the Atiyah-Patodi-Singer boundary value problem for such operator is Fredholm and obtain a formula for this index in terms of the local integrals and the relative eta-invariant introduced by Braverman and Shi. This extends recent results of Bär and Strohmaier, who studied the index of a hyperbolic Dirac operator on a spatially compact globally hyperbolic manifold.
We show that the Dirac operator on a compact globally hyperbolic Lorentzian spacetime with spacelike Cauchy boundary is a Fredholm operator if appropriate boundary conditions are imposed. We prove that the index of this operator is given by the same expression as in the index formula of Atiyah-Patodi-Singer for Riemannian manifolds with boundary. The index is also shown to equal that of a certain operator constructed from the evolution operator and a spectral projection on the boundary. In case the metric is of product type near the boundary a Feynman parametrix is constructed.
Let $(\overline M,\overline g)$ be a time- and space-oriented Lorentzian spin manifold, and let $M$ be a compact spacelike hypersurface of $\overline M$ with induced Riemannian metric $g$ and second fundamental form $K$. If $(\overline M,\overline g)$ satisfies the dominant energy condition in a strict sense, then the Dirac--Witten operator of $M\subseteq \overline M$ is an invertible, self-adjoint Fredholm operator. This allows us to use index theoretical methods in order to detect non-trivial homotopy groups in the space of initial on $M$ satisfying the dominant energy condition in a strict …
In this study, we obtain a spinorial Gauss formula for a lightlike hypersurface in Lorentzian manifold with 4-dimension. Then, we take into account the changes caused by degenerate metric on hypersurface and investigate Dirac operator for lightlike hypersurface. Later, we establish the relation between Dirac operators and Riemannian curvatures of manifold and hypersurface.
We prove that the topology, smooth structure, and metric of a compact Lorentzian manifold with boundary is uniquely determined by data at the boundary. The data consists of the lengths and directions of future-directed once-broken geodesics connecting points on the boundary, which are first timelike and then lightlike. This requires the strong causality condition and a weak convexity assumption, but it holds without any assumptions about conjugate points. With an additional convexity assumption we prove the analogous statement for future-directed once-broken timelike geodesics. If there are no…
We investigate a parabolic-elliptic system which is related to a harmonic map from a compact Riemann surface with a smooth boundary into a Lorentzian manifold with a warped product metric. We prove that there exists a unique global weak solution for this system which is regular except for at most finitely many singular points.
We show that many Lorentzian manifolds of dimension >2 do not admit a spacelike codimension-one foliation, and that almost every manifold of dimension >2 which admits a Lorentzian metric at all admits one which satisfies the dominant energy condition and the timelike convergence condition. These two seemingly unrelated statements have in fact the same origin. We also discuss the problem of topology change in General Relativity. A theorem of Tipler says that topology change is impossible via a spacetime cobordism whose Ricci curvature satisfies the strict lightlike convergence condition. In his…
We show the smoothness of weakly Dirac-harmonic maps from a closed spin Riemann surface into stationary Lorentzian manifolds, and obtain a regularity theorem for a class of critical elliptic systems without anti-symmetry structures.
The b-boundary is a mathematical tool used to attach a topological boundary to incomplete Lorentzian manifolds using a Riemaniann metric called the Schmidt metric on the frame bundle. In this paper, we give the general form of the Schmidt metric in the case of Lorentzian surfaces. Furthermore, we write the Ricci scalar of the Schmidt metric in terms of the Ricci scalar of the Lorentzian manifold and give some examples. Finally, we discuss some applications to general relativity.
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.
We investigate a parabolic-elliptic system for maps $(u,v)$ from a compact Riemann surface $M$ into a Lorentzian manifold $N\times{\mathbb{R}}$ with a warped product metric. That system turns the harmonic map type equations into a parabolic system, but keeps the $v$-equation as a nonlinear second order constraint along the flow. We prove a global existence result of the parabolic-elliptic system by assuming either some geometric conditions on the target Lorentzian manifold or small energy of the initial maps. The result implies the existence of a Lorentzian harmonic map in a given homotopy cla…
In this paper we generalize in Lorentz-Minkowski space $ł^3$ the two-dimensional analogue of the catenary of Euclidean space. We solve the Dirichlet problem for bounded mean convex domains and spacelike boundary data that have a spacelike extension to the domain. We also classify all singular maximal surfaces of $ł^3$ invariant by a uniparametric group of translations and rotations.
On a time-oriented Lorentzian manifold $(M,g)$ with non-empty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets $S\subset M$ of sources is uniquely determined by measurements of the intersection of future light cones from points in $S$ with a fixed open subset of the boundary of $M$; here, light rays are reflected at $\partial M$ according to Snell's law. Our proof is constructive, and allows for interior conjugate points as well as multiply reflected and self-intersecting light cones.
Let $M$ be a globally hyperbolic manifold with complete spacelike Cauchy hypersurface $Σ\subset M$. Building on past and recent works of Bär and Strohmaier, we extend their Fredholm result of the Atiyah-Singer Dirac operator on compact Lorentzian spaces to the case, where $M$ is diffeomorphic to a product of $Σ$ with a compact time intervall and the hypersurface is a Galois covering with respect to a group $Γ$. We follow the first approach of both authors in this extended setting, where a well-posedness result of the Cauchy problem for the Dirac operator on non-compact manifolds is needed in p…
Under two boundary conditions, the generalized Atiyah-Patodi-Singer boundary condition and the modified generalized -Atiyah-Patodi-Singer boundary condition, we get the lower bounds for the eigenvalues of the fundamental Dirac operator on compact spin manifolds with nonempty boundary.
In this paper, we obtain two Lichnerowicz type formulas for the Dirac-Witten operators. And we give the proof of Kastler-Kalau-Walze type theorems for the Dirac-Witten operators on 4-dimensional and 6- dimensional compact manifolds with (resp.without) boundary
Eigenvalue estimate for the Dirac-Witten operator is given on bounded domains (with smooth boundary) of spacelike hypersurfaces satisfying the dominant energy condition, under four natural boundary conditions (MIT, APS, modified APS, and chiral conditions). This result is a generalisation of Friedrich's inequality for the usual Dirac operator. The limiting cases are also investigated.
We review some recent results on geometric equations on Lorentzian manifolds such as the wave and Dirac equations. This includes well-posedness and stability for various initial value problems, as well as results on the structure of these equations on black-hole spacetimes (in particular, on the Kerr solution), the index theorem for hyperbolic Dirac operators and properties of the class of Green-hyperbolic operators.
In this paper, we define lower dimensional volumes of compact Riemannian manifolds with boundary. For five dimensional spin manifolds with boundary, we prove a Kastler-Kalau-Walze type theorem associated with one-form perturbations of Dirac operators in this case.
In this paper, we establish two kinds of Kastler-Kalau-Walze type theorems for Dirac operators and signature operators twisted by a vector bundle with a non-unitary connection on six-dimensional manifolds with boundary.
We give a lower bound for the eigenvalues of the Dirac operator on a compact domain of a Riemannian spin manifold under the $\MIT$ bag boundary condition. The limiting case is characterized by the existence of an imaginary Killing spinor.
For spin manifolds with boundary we consider Riemannian metrics which are product near the boundary and are such that the corresponding Dirac operator is invertible when half-infinite cylinders are attached at the boundary. The main result of this paper is that these properties of a metric can be preserved when the metric is extended over a handle of codimension at least two attached at the boundary. Applications of this result include the construction of non-isotopic metrics with invertible Dirac operator, and a concordance existence and classification theorem.
We write the Dirac equation in curved 4-dimensional Lorentzian spacetime using concepts from the analysis of partial differential equations as opposed to geometric concepts.
Recently, the old notion of causal boundary for a spacetime V has been redefined in a consistent way. The computation of this boundary $\partial V$ for a standard conformally stationary spacetime V = R x M, suggests a natural compactification $M_B$ associated to any Riemannian metric on M or, more generally, to any Finslerian one. The corresponding boundary $\partial_B M$ is constructed in terms of Busemann-type functions. Roughly, $\partial_B M$ represents the set of all the directions in M including both, asymptotic and "finite" (or "incomplete") directions. This Busemann boundary $\partial_…
We propose a geometric approach to construct the Cauchy evolution operator for the Lorentzian Dirac operator on Cauchy-compact globally hyperbolic 4-manifolds. We realise the Cauchy evolution operator as the sum of two invariantly defined oscillatory integrals -- the positive and negative Dirac propagators -- global in space and in time, with distinguished complex-valued geometric phase functions. As applications, we relate the Cauchy evolution operators with the Feynman propagator and construct Cauchy surfaces covariances of quasifree Hadamard states.
Spinor representations of surfaces immersed into 4-dimensional pseudo-riemannian manifolds are defined in terms of minimal left ideals and tensor decompositions of Clifford algebras. The classification of spinor fields and Dirac operators on the immersed surfaces is given. The Dirac-Hestenes spinor field on surfaces immersed into Lorentzian manifolds and on surfaces conformally immersed into Minkowski spacetime is defined.
We establish the regularity theory for certain critical elliptic systems with an anti-symmetric structure under inhomogeneous Neumann and Dirichlet boundary constraints. As applications, we prove full regularity and smooth estimates at the free boundary for weakly Dirac-harmonic maps from spin Riemann surfaces. Our methods also lead to the full interior $ε$-regularity and smooth estimates for weakly Dirac-harmonic maps in all dimensions.
Classical Kleinian groups are discrete subgroups of isometries of H n. The well-known theory of Kleinian groups starts with the definition of their associated limit set in the boundary of H n , and includes the geometric properties of the quotient hyperbolic space. This approach, naively applied, fails in the Lorentzian analogue anti-de Sitter space: discrete subgroups do not act properly discontinuously, and in many cases the set of accumulation points of orbits at the conformal boundary at infinity depends on the orbit. In this survey, we point out a way to extend this classical theory by in…
In this paper we introduce the Dirac and spin-Dirac operators associated to a connection on Riemann-Cartan space(time) and standard Dirac and spin-Dirac operators associated with a Levi-Civita connection on a Riemannian (Lorentzian) space(time) and calculate the square of these operators, which play an important role in several topics of modern Mathematics, in particular in the study of the geometry of moduli spaces of a class of black holes, the geometry of NS-5 brane solutions of type II supergravity theories and BPS solitons in some string theories. We obtain a generalized Lichnerowicz form…
Under standard local boundary conditions or certain global APS boundary conditions, we get lower bounds for the eigenvalues of the Dirac operator on compact spin manifolds with boundary. Limiting cases are characterized by the existence of real Killing spinors and the minimality of the boundary.
We prove a local well-posedness theorem for the (n+1)-dimensional Einstein equations in Lorentzian signature, with initial data $(\tilde g, K)$ whose asymptotic geometry at infinity is similar to that anti-de Sitter (AdS) space, and compatible boundary data $\hat g$ prescribed at the time-like conformal boundary of space-time. More precisely, we consider an n-dimensional asymptotically hyperbolic Riemannian manifold $(M,\tilde g)$ such that the conformally rescaled metric $x^2 \tilde g$ (with $x$ a boundary defining function) extends to the closure $\bar M$ of $M$ as a metric of class $C^{n-1}…
In this paper, we give two Lichnerowicz type formulas for Dirac operators and signature operators twisted by a vector bundle with a non-unitary connection. We also prove two Kastler-Kalau-Walze type theorems for twisted Dirac operators and twisted signature operators on 4-dimensional manifolds with (resp. without) boundary.
In this paper, we prove a Kastler-Kalau-Walze type theorem for perturbations of Dirac operators on compact manifolds with or without boundary. As a corollary, we give two kinds of operator-theoretic explanations of the gravitational action on boundary. We also compute the spectral action for Dirac operators with two-form perturbations on $4$-dimensional compact manifolds.
We study the twistor equation on pseudo-Riemannian $Spin^c-$manifolds whose solutions we call charged conformal Killing spinors (CCKS). We derive several integrability conditions for the existence of CCKS and study their relations to spinor bilinears. A construction principle for Lorentzian manifolds admitting CCKS with nontrivial charge starting from CR-geometry is presented. We obtain a partial classification result in the Lorentzian case under the additional assumption that the associated Dirac current is normal conformal and complete the Classification of manifolds admitting CCKS in all di…
In this paper we study Dirac-Einstein equations on manifolds with boundary, restricted to a conformal class with constant boundary volume, under chiral bag boundary conditions for the Dirac operator. We characterize the bubbling phenomenon, also classifying ground state bubbles. Finally, we prove an Aubin-type inequality and a related existence result.
