We consider the wave operator on static, Lorentzian manifolds with timelike boundary and we discuss the existence of advanced and retarded fundamental solutions in terms of boundary conditions. By means of spectral calculus we prove that answering this question is equivalent to studying the self-adjoint extensions of an associated elliptic operator on a Riemannian manifold with boundary $(M,g)$. The latter is diffeomorphic to any, constant time hypersurface of the underlying background. In turn, assuming that $(M,g)$ is of bounded geometry, this problem can be tackled within the framework of boundary triples. These consist of the assignment of two surjective, trace operators from the domain of the adjoint of the elliptic operator into an auxiliary Hilbert space $\mathsf{h}$, which is the third datum of the triple. Self-adjoint extensions of the underlying elliptic operator are in one-to-one correspondence with self-adjoint operators $Θ$ on $\mathsf{h}$. On the one hand, we show that, for a natural choice of boundary triple, each $Θ$ can be interpreted as the assignment of a boundary condition for the original wave operator. On the other hand, we prove that, for each such $Θ$, there exists a unique advanced and retarded fundamental solution. In addition, we prove that these share the same structural property of the counterparts associated to the wave operator on a globally hyperbolic spacetime.
We derive a correspondence between (Lorentzian) harmonic maps into the pseudosphere $S_1^2$, with appropriate regularity conditions, and certain connection 1-forms. To these harmonic maps, we associate a representation of type Weierstrass, and we apply it to construct timelike surfaces with constant mean curvature.
The (twice-contracted) second Bianchi identity is a differential curvature identity that holds on any smooth manifold with a metric. In the case when such a metric is Lorentzian and solves Einstein's equations with an (in this case inevitably smooth) energy-momentum-stress tensor of a "matter field" as the source of spacetime curvature, this identity implies the physical laws of energy and momentum conservation for the "matter field". The present work inquires into whether such a Bianchi identity can still hold in a weak sense for spacetimes with curvature singularities associated with timelik…
This thesis concerns the research on a Lorentzian generalization of Alain Connes' noncommutative geometry. In the first chapter, we present an introduction to noncommutative geometry within the context of unification theories. The second chapter is dedicated to the basic elements of noncommutative geometry as the noncommutative integral, the Riemannian distance function and spectral triples. In the last chapter, we investigate the problem of the generalization to Lorentzian manifolds. We present a first step of generalization of the distance function with the use of a global timelike eikonal c…
We develop area and volume comparison theorems for the evolution of spacelike, acausal, causally complete hypersurfaces in Lorentzian manifolds, where one has a lower bound on the Ricci tensor along timelike curves, and an upper bound on the mean curvature of the hypersurface. Using these results, we give a new proof of Hawking's singularity theorem.
It is shown that the free motion of massive particles moving in static spacetimes are given by the geodesics of an energy-dependent Riemannian metric on the spatial sections analogous to Jacobi's metric in classical dynamics. In the massless limit Jacobi's metric coincides with the energy independent Fermat or optical metric. For stationary metrics, it is known that the motion of massless particles is given by the geodesics of an energy independent Finslerian metric of Randers type. The motion of massive particles is governed by neither a Riemannian nor a Finslerian metric. The properies of th…
We present a concise new definition of Finsler spacetimes that generalize Lorentzian metric manifolds and provide consistent backgrounds for physics. Extending standard mathematical constructions known from Finsler spaces we show that geometric objects like the Cartan non-linear connection and its curvature are well-defined almost everywhere on Finsler spacetimes, also on their null structure. This allows us to describe the complete causal structure in terms of timelike and null curves; these are essential to model physical observers and the propagation of light. We prove that the timelike dir…
Given a Lorentzian spacetime $(M, g)$ and a non-vanishing timelike vector field $u(λ)$ with level surfaces $Σ$, one can construct on $M$ a Euclidean metric $g_E^{ab} = g^{ab} + 2 u^a u^b$. Motivated by this, we consider a class of metrics $\hat{g}^{ab} = g^{ab} - Θ(λ)\, u^a u^b$ with an arbitrary function $Θ$ that interpolates between the Euclidean ($Θ=-2$) and Lorentzian ($Θ=0$) regimes. The Euclidean regime is in general different from that obtained from Wick rotation $t \rightarrow - i t$. For example, if $g_{ab}$ is the $k=0$ Lorentzian de Sitter metric corresponding to $Λ>0$, the Euclidea…
