Hyperbolic evolution equations, Lorentzian holonomy, and Riemannian generalised Killing spinors

TL;DR

This paper establishes well-posedness for the Cauchy problem of parallel null vector fields in Lorentzian manifolds, classifies Riemannian manifolds with specific holonomy, and links these to generalized Killing spinors and special holonomy flow equations.

Contribution

It introduces a hyperbolic evolution framework for Lorentzian geometry problems and classifies Riemannian manifolds with certain holonomy and spinor properties.

Findings

Well-posedness of the Cauchy problem for null vector fields

Classification of Riemannian manifolds with special holonomy

New local forms for Lorentzian metrics with parallel null spinors

Abstract

We prove that the Cauchy problem for parallel null vector fields on smooth Lorentzian manifolds is well posed. The proof is based on the derivation and analysis of suitable hyperbolic evolution equations given in terms of the Ricci tensor and other geometric objects. Moreover, we classify Riemannian manifolds satisfying the constraint conditions for this Cauchy problem. It is then possible to characterise certain holonomy reductions of globally hyperbolic manifolds with parallel null vector in terms of flow equations for Riemannian special holonomy metrics. For exceptional holonomy groups these flow equations have been investigated in the literature before in other contexts. As an application, the results provide a classification of Riemannian manifolds admitting imaginary generalised Killing spinors. We will also give new local normal forms for Lorentzian metrics with parallel null spinor in any dimension.

Tables

Table 1. Table 1. Equivalent characterisation of special screen holonomy for ( ℳ ¯ , 𝐠 ¯ ) ¯ ℳ ¯ 𝐠 ({\overline{\mathcal{M}}},{\overline{\mathbf{g}}}) in terms of flow equations for tensors on ℱ ℱ \mathcal{F} .

$\dim \left(ℱ\right)$	condition on $ℱ$	$\mathrm{Hol}(\overline{ℳ},\overline{𝐠})\subset$
$2m$	$\begin{array}{c}(ℱ,{\omega }_s,J_s,{𝐡}_s={\omega }_s(J_s\cdot ,\cdot ))\text{ Ricci-flat Kaehler},\\ {\dot{J}}_s=-\frac{1}{2}{\dot{𝐡}}_s^{♯}\bullet J_s,{\delta }^{{𝐡}_s}\left({\dot{𝐡}}_s\right)=0\end{array}$	$\mathrm{𝐒𝐔}\left(m\right)⋉{ℝ}^{2m}$
$4k$	$\begin{array}{c}{(ℱ,{\omega }_s^i,J_s^i,{𝐡}_s={\omega }_s^i(J_s^i\cdot ,\cdot ))}_{i=1,2,3}\text{ hyper-Kaehler,}\\ {\dot{J}}_s^i=-\frac{1}{2}{\dot{𝐡}}_s^{♯}\bullet J_s^i\end{array}$	$\mathrm{𝐒𝐩}\left(k\right)⋉{ℝ}^{4k}$
7	$\begin{array}{c}\left(ℱ,{\varphi }_s\in {\Omega }^3\left(ℱ\right)\right),{𝐡}_s={𝐡}_s\left(\varphi \left(s\right)\right){𝐆}_2\text{ metrics,}\\ {\dot{\varphi }}_s=-\frac{1}{2}{\dot{𝐡}}_s^{♯}\bullet {\varphi }_s\end{array}$	${𝐆}_2⋉{ℝ}^7$
8	$\begin{array}{c}(ℱ,{\psi }_s\in {\Omega }^4\left(ℱ\right),{𝐡}_s={𝐡}_s\left({\psi }_s\right))\mathrm{𝐒𝐩𝐢𝐧}\left(7\right)\text{ metrics,}\\ {\dot{\psi }}_s=-\frac{1}{2}{\dot{𝐡}}_s^{♯}\bullet {\psi }_s\end{array}$	$\mathrm{𝐒𝐩𝐢𝐧}\left(7\right)⋉{ℝ}^8$
$n$	$\begin{array}{c}{𝐡}_s\text{ flat}\end{array}$	${ℝ}^n$

Equations

$$\nabla U+u\mathrm{W}=0,$$

$$\overline{\mathbf{g}}=-{\tilde{\lambda }}^{2}d{t}^2+{\mathbf{g}}_t,$$

$${\mathbf{g}}_0=\mathbf{g},\tilde{\lambda }{|}_{\mathcal{M}}=\lambda ,$$

$$\left(\mathcal{I}\times \mathcal{F},\mathbf{g}=u^{-2}d{s}^2+{\mathbf{h}}_s\right),$$

$$\mathrm{W}=-\frac{1}{u_s}\mathbf{g}(\nabla U,\cdot )=-\left(\begin{array}{cc}\frac{{\dot{u}}_s}{u_s^2}& \frac{1}{u_s^2}{\mathrm{grad}}^{{\mathbf{h}}_s}(u_s)\\ \frac{1}{u_s^2}d(u_s)& \frac{u_s}{2}{\dot{\mathbf{h}}}_s\end{array}\right),$$

$$\mathrm{Hol}(\overline{\mathcal{M}},\overline{\mathbf{g}})\subset \mathbf{SO}(n)⋉{\mathbb{R}}^n\subset \mathbf{SO}(1,n+1),$$

$$G:={\mathrm{pr}}_{\mathbf{SO}(n)}\mathrm{Hol}(\overline{\mathcal{M}},\overline{\mathbf{g}})\subset \mathbf{SO}(n).$$

$${\dot{\eta }}_s=-\frac{1}{2}{\dot{\mathbf{h}}}_s^{♯}\bullet {\eta }_s.$$

$$(\mathcal{F},{\mathbf{h}}_s)\cong ({\mathcal{F}}_1\times {\mathcal{F}}_2,{\mathbf{h}}_s^1+{\mathbf{h}}_s^2)$$

$${\nabla }_X^{{\mathbb{S}}^{\mathbf{g}}}\phi =\frac{\mathrm{i}}{2}\mathrm{W}(X)\cdot \phi ,$$

$$\mathbf{g}(U_{\phi },X)=-i(X\cdot \phi ,\phi ),\text{ for all X∈TM,}$$

$$U_{\phi }\cdot \phi =\mathrm{i}{u}_{\phi }\phi ,$$

$$(\mathcal{M},\mathbf{g})=\left(\mathcal{I}\times {\mathcal{F}}_1\times ...\times {\mathcal{F}}_k,\mathbf{g}=\frac{1}{u^2}d{s}^2+{\mathbf{h}}_s^1+...+{\mathbf{h}}_s^k\right)$$

$$\overline{\mathbf{g}}(X,V_{\varphi })=-⟨X\cdot \varphi ,\varphi ⟩.$$

$$(\overline{\mathcal{M}},\overline{\mathbf{g}})\cong (\mathbb{R}\times \mathbb{R}\times {\mathcal{F}}_1\times ...\times {\mathcal{F}}_m,2dvdw+{\mathbf{h}}_w^1+...+{\mathbf{h}}_w^m),$$

$$B_{0b\dots }:=T^a{B}_{ab\dots },$$

$$\delta B=-\sum _{\mu =0}^n{ϵ}_{\mu }\left({\overline{\nabla }}_{s_{\mu }}B\right)(s_{\mu },\dots ),$$

$$(\delta B{)}_{b\dots c}=-{\nabla }_a{B}_{b\dots c}^a.$$

$$\mathrm{W}(X,Y):=-\mathbf{g}({\overline{\nabla }}_{X}T,Y)$$

$${\overline{\nabla }}_{X}Y={\nabla }_{X}Y-\mathrm{W}(X,Y)T,$$

$$\overline{G}=\overline{\mathrm{Ric}}-\frac{1}{2}\overline{\mathrm{scal}}\cdot \overline{\mathbf{g}}$$

$$\overline{G}(T,T)$$

$$\overline{G}(T,X)$$

$$T=\frac{1}{\sqrt{\overline{\mathbf{g}}({\partial }_t,{\partial }_t)}}{\partial }_t$$

$$V=uT-U=u\cdot (T-N),$$

$$0={\text{pr}}_{T\mathcal{M}}({\overline{\nabla }}_{X}V){|}_{\mathcal{M}}=-u{|}_{\mathcal{M}}\mathrm{W}(X)-{\nabla }_{X}U=-u{|}_{\mathcal{M}}\mathrm{W}(X)-{\nabla }_{X}U,$$

$$A^0(t,x,w){\partial }_{t}w=A^i(t,x,w){\partial }_{i}w+b(t,x,w),$$

$$(d+{\delta }^{\overline{\mathbf{g}}})\alpha =0,$$

$$d+\delta =c\circ \nabla ,$$

$$c(X)\omega =X^{♭}\wedge \omega -{\iota }_X\omega ,\text{ for all }X\in T\overline{\mathcal{M}},$$

$$c(X)=(X^{♭}\wedge )-{\iota }_X,\text{ for all }X\in T\overline{\mathcal{M}}.$$

Full text

This work was supported by the Australian Research Council via the grants FT110100429 and DP120104582.

1. Background and main results

Lorentzian manifolds with parallel null vector fields or parallel null spinor fields arise naturally in geometric as well as physical contexts. In general relativity they occur as wave-like solutions to the Einstein equations and in string theory they constitute supergravity backgrounds with a high degree of supersymmetry. In geometry they form a class of Lorentzian manifolds with special holonomy, i.e., whose holonomy group is reduced but the manifold is not locally a product. The holonomy algebras associated to Lorentzian manifolds with special holonomy were classified in [12, 30] and local metrics realising the given holonomy algebras are constructed in [24]. More recently, the interplay between special Lorentzian holonomy, or more specifically, the existence of parallel null vector fields, and global geometric properties has become the focus of research [19, 11, 9, 35, 31, 15]. In the present paper we address the problem of constructing globally hyperbolic Lorentzian manifolds by solving a Cauchy problem that arises from the existence of a parallel null vector field. Another motivation arises from spin geometry: the existence of a parallel null spinor implies the existence of a parallel null vector field and it turns out that the associated Cauchy problem provides some interesting relations to Riemannian spin geometry. In fact, it naturally leads to a classification result for (complete) Riemannian manifolds admitting so-called imaginary generalised Killing spinors.

As in a preceding paper [10] we have shown that the Cauchy problem for parallel null vector fields is well posed for real analytic data and that it always has a globally hyperbolic solution. The proof rested on the derivation of suitable evolution equations which can be analysed using the Cauchy-Kowalevski Theorem. More precisely, let $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ be a Lorentzian manifold admitting a nontrivial vector field $V\in\mathfrak{X}({\overline{\mathcal{M}}})$ which is parallel with respect to the Levi-Civita connection ${\overline{\nabla}}$ of ${\overline{\mathbf{g}}}$ and satisfies ${\overline{\mathbf{g}}}(V,V)=0$. Suppose further that $({\mathcal{M}},\mathbf{g})$ is a spacelike hypersurface of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ which embeds into ${\overline{\mathcal{M}}}$ with Weingarten tensor $\mathrm{W}$. As seen in [10], requiring the vector field $V$ to be parallel, imposes on $({\mathcal{M}},\mathbf{g})$ the constraint

[TABLE]

where $U\in\mathfrak{X}({\mathcal{M}})$ is the vector field given by the negative of the projection of $V$ onto $T{\mathcal{M}}$ and $u=\sqrt{\mathbf{g}(U,U)}$. Then, using the Cauchy-Kowalevski Theorem, in [10] it was shown that real analytic initial data $({\mathcal{M}},\mathbf{g},U,\mathrm{W})$ satisfying the constraint (1.1) can be extended to a Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ with parallel null vector field $V$.

This result immediately suggest the question whether the Cauchy problem for a parallel null vector field is also well-posed for smooth data. For a parallel null spinor this was verified in [33] using techniques surrounding the Cauchy problem for the vacuum Einstein equations. It turns out that these techniques can also be applied here — after overcoming some difficulties explained below — allowing us to prove our main theorem that the Cauchy problem for parallel null vector fields is also well posed for smooth data:

Theorem 1**.**

Let $({\mathcal{M}},\mathbf{g})$ be a smooth Riemannian manifold admitting a nontrivial vector field $U$ solving (1.1) for some symmetric endomorphism $\mathrm{W}$ on ${\mathcal{M}}$. Moreover, let $\lambda\in C^{\infty}({\mathcal{M}},\mathbb{R}^{*})$ be a given function. Then there exists an open neighbourhood ${\overline{\mathcal{M}}}$ of $\{0\}\times{\mathcal{M}}$ in $\mathbb{R}\times{\mathcal{M}}$ and a Lorentzian metric of the form

[TABLE]

where $\mathbf{g}_{t}$ is a family of Riemannian metrics on ${\mathcal{M}}$ and $\widetilde{\lambda}$ is a positive function on ${\overline{\mathcal{M}}}$ with

[TABLE]

such that $U$ extends to a parallel null vector field on $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$. Moreover, $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ can be chosen to be globally hyperbolic with spacelike Cauchy hypersurface ${\mathcal{M}}$, i.e., ${\mathcal{M}}$ is met by every inextendible timelike curve in $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ exactly once.

The proof of Theorem 1 in Section 3 is based on the theory of quasilinear symmetric hyperbolic PDEs as known from general relativity. Let us point out, however, one fundamental difference to related Cauchy problems in general relativity or in [33]:

Considering the Cauchy problem for the Einstein equations in general relativity, it follows by definition of the problem that evolution equations for the metric are given in terms of the Ricci (or Einstein) tensor. Similarly, there are integrability conditions for parallel null spinors on Lorentzian manifolds formulated in terms of the Ricci tensor (the Ricci-tensor is nilpotent [5]) and they lead to obvious evolution equations for the metric in the Cauchy problem for parallel null spinor fields [33]. It is important for a smooth solution theory to have evolution equations in terms of the Ricci tensor in these cases because in Lorentzian signature the resulting PDEs can be reformulated as hyperbolic systems, see [22] for instance. In contrast to that, the existence of a parallel null vector field on a Lorentzian manifold yields hardly any nontrivial information about the Ricci tensor. Thus, it is not obvious at all that the methods that work for the Cauchy problem for the Einstein equations or a parallel null spinor field also work for a parallel null vector field and that Theorem 1 can be proved by deriving an evolution equation for the metric ${\overline{\mathbf{g}}}$ in terms of the Ricci tensor. The key idea here is to simply introduce the Ricci tensor as new unknown $\mathrm{Z}={\mathrm{Ric}}({\overline{\mathbf{g}}})$, consider this as an evolution equation for the metric ${\overline{\mathbf{g}}}$, and then close the system by further differentiation that results in a first order equation for $\mathrm{Z}$. The resulting PDE turns out to be hyperbolic and is a key ingredient for the proof of Theorem 1. We believe that this approach can be used in other settings, for example for the Einstein equations with complicated energy momentum tensor.

With the result of Theorem 1 at hand, it is natural to search for Riemannian manifolds solving the constraint equations (1.1), in particular for geodesically complete solutions. As a first step, we exhibit the local structure of solutions to (1.1). Using the flow of the vector field $U$ in (1.1), which defines a closed one-form, it easily follows that the metric $\mathbf{g}$ can be brought into a adapted normal form:

Theorem 2**.**

Any solution $({\mathcal{M}},\mathbf{g})$ to (1.1) with nowhere vanishing $U$ is locally isometric to

[TABLE]

*where $\mathcal{I}\subset\mathbb{R}$ is an interval, ${\mathbf{h}}_{s}$ is a family of Riemannian metrics on some manifold $\mathcal{F}$ parametrised by $s\in\mathcal{I}$, and $u^{2}=\mathbf{g}(U,U)$. Under this isometry, $U={u^{2}}\partial_{s}$ and, writing the function $u$ as a family $u_{s}=u(s,\cdot)$ of $s$-dependent functions on $\mathcal{F}$, in the decomposition $T{\mathcal{M}}=\mathbb{R}\partial_{s}\oplus T{\mathcal{F}}$ we have *

[TABLE]

where the dot denotes the Lie derivative $\mathcal{L}_{\partial_{s}}$ in $s$-direction. Moreover, if the vector field $\frac{1}{u^{2}}U$ is complete, then the universal cover of ${\mathcal{M}}$ is globally isometric to a manifold of the form (1.2) with $\mathcal{I}=\mathbb{R}$ and $\mathcal{F}$ simply connected.

Conversely, given $({\mathcal{M}},\mathbf{g})$ as in (1.2) with $\mathcal{I}=\mathbb{R}$ or $\mathcal{I}=S^{1}$ a circle, the vector field $U=u^{2}\partial_{s}$ solves (1.1) for $\mathrm{W}$ as in (1.3). If in addition $\mathcal{F}$ is compact and $u$ bounded, then $({\mathcal{M}},\mathbf{g})$ is complete.

This theorem gives a (local) classification of Riemanian manifolds satisfying the constraint. It also gives a method to construct solutions to the constraint equation, in particular complete solutions: for compact $\mathcal{F}$, if $\mathcal{I}=S^{1}$, the Riemannian manifold $({\mathcal{M}},\mathbf{g})$ is complete by compactness, but in Section 6.2 we show that this also holds when $\mathcal{I}=\mathbb{R}$ and $u$ is bounded.

To any manifold $({\mathcal{M}},\mathbf{g})$ as in (1.2) we can apply Theorem 1. Let us from now on assume that ${\mathcal{M}}$ is oriented. It follows that there is a naturally induced orientation on the manifold ${\overline{\mathcal{M}}}$ arising via Theorem 1. As there is also a parallel null vector on $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ it follows that the holonomy group $\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$, i.e., the group of parallel transports along closed loops, satisfies

[TABLE]

where $\mathbf{SO}(n)\ltimes\mathbb{R}^{n}$ is the stabiliser in $\mathbf{SO}(1,n+1)$ of a null vector. In this case, the main ingredient of $\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ then is the screen holonomy

[TABLE]

In [30] it was shown that (the connected component of) the screen holonomy $G$ is always a Riemannian holonomy group, and hence a product of the groups on Berger’s lists [13, 14]. It is now natural to ask whether one can prescribe ${G}$ by imposing additional conditions on the initial data, i.e., on the family of metrics ${\mathbf{h}}_{s}$ on $\mathcal{F}\subset{\mathcal{M}}$. We show that this is indeed the case when $G$ arises as stabiliser of some tensor:

Theorem 3**.**

Let $({\mathcal{M}},\mathbf{g},\mathrm{W},U)$ be given as in (1.2) and (1.3) and let $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ be the Lorentzian manifold arising from this choice of initial data via Theorem 1 (for arbitrary choice for $\lambda$). Then $G=\mathrm{pr}_{\mathbf{SO}(n)}\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})\subset\mathbf{SO}(n)$ lies in the stabiliser of some tensor in $T^{k,l}\mathbb{R}^{n}$ if and only if there is an $s$-dependent and $\nabla^{{\mathbf{h}}_{s}}$-parallel family of tensor fields $\eta_{s}$ on $\mathcal{F}$, of the same type and subject to the flow equation

[TABLE]

Here, the dot denotes the Lie derivative of a tensor with respect to $\partial_{s}$, e.g., $\dot{\eta}_{s}:=\mathcal{L}_{\partial_{s}}\eta_{s}$, $\dot{\mathbf{h}}^{\sharp}\bullet$ denotes the natural action of the endomorphism $\dot{\mathbf{h}}^{\sharp}\in\text{End}(T\mathcal{F})$ on tensors in $T^{k,l}\mathcal{F}$, and $\sharp$ indicates the dualisation with respect to $\mathbf{h}_{s}$. Moreover:

1. (1)

There are proper subgroups $H_{1}$ and $H_{2}$ of $\mathbf{SO}(n)$ such that $G\subset{H}_{1}\times{H}_{2}$ if and only if there is a local metric splitting

[TABLE]

with $\mathrm{Hol}(\mathcal{F}_{i},{\mathbf{h}}_{s}^{i})\subset{H}_{i}$. 2. (2)

If $G$ is contained in one of $\mathbf{SU}(m)$, $\mathbf{Sp}(k)$, $\mathbf{G}_{2}$, $\mathbf{Spin}(7)$ or trivial, this translates into the conditions for Riemannian special holonomy metrics from Table 1.

In Table 1 we write ${\mathbf{h}}_{s}={\mathbf{h}}_{s}(\phi_{s})$ and ${\mathbf{h}}_{s}={\mathbf{h}}_{s}(\psi_{s})$ to indicate that for families of $\mathbf{G}_{2}$ and $\mathbf{Spin}(7)$ structures, the metric $\mathbf{h}_{s}$ is defined algebraically in terms of a distinguished stable $3$-form $\phi_{s}$ or a generic $4$-form $\psi_{s}$, respectively. The explicit formulas can be found for example in [16, 26, 27]. In particular, Theorems 1 and 3 provide a construction principle for Lorentzian manifolds with reduced screen holonomy. Obviously, warped products $(\mathcal{I}\times\mathcal{F},\mathbf{g}=ds^{2}+f(s)\mathbf{h}_{0})$ with $(\mathcal{F},\mathbf{h}_{0})$ being a Ricci-flat special holonomy manifold, i.e., $\mathrm{Hol}(\mathcal{F},h_{0})\in\{\mathbf{SU}(m),\mathbf{Sp}(k),\mathbf{G}_{2},\mathbf{Spin}(7)\}$ or trivial, are obvious examples for the construction in Theorem 3.

In the final part of this article we turn to applications of these results and constructions. As a first application of Theorems 1 and 3, we address a classification problem in Riemannian spin geometry. In doing so, we have to change our point of view slightly: so far, the object of interest was the Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ constructed from initial data $({\mathcal{M}},\mathbf{g},\mathrm{W})$ via Theorems 1 or 3. In Section 8, however, $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ is regarded as an auxiliary object and we show how the detailed study of $\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ from the previous statements can in turn be used to prove a partial classification of Riemannian manifolds $({\mathcal{M}},\mathbf{g})$ admitting * imaginary $\mathrm{W}$-Killing spinors*. By definition, these are sections $\varphi$ of the complex spinor bundle $\mathbb{S}^{\mathbf{g}}\to{\mathcal{M}}$ of $({\mathcal{M}},\mathbf{g})$ satisfying

[TABLE]

for some $\mathbf{g}$-symmetric endomorphism $\mathrm{W}$. Here, $\cdot$ denotes Clifford multiplication. Clearly, condition (1.6) arises as a generalisation of the equation for imaginary Killing spinors, for which $\mathrm{W}=\frac{\mathrm{i}}{2}\ \mathrm{Id}$, see [8]. Moreover, solutions to equation (1.6) are the counterpart to real generalised Killing spinors which have been in the focus of recent research, for example in [1, 2]. Given a solution to (1.6), we denote by $U_{\varphi}\in\mathfrak{X}({\mathcal{M}})$ the Dirac current of $\varphi$, given by

[TABLE]

and assume that $\varphi$ solves the algebraic constraint

[TABLE]

where $u_{\varphi}=\sqrt{\mathbf{g}(U_{\varphi},U_{\varphi})}=\|\varphi\|^{2}$. This constraint is known to hold for imaginary Killing spinors, i.e. $\mathrm{W}=\lambda\ \mathrm{Id}$, and it can also be motivated from the perspective of Lorentzian manifolds with parallel null spinors, cf. [10]. We obtain the following classification result which generalises results from [6, 7], see also [8], where it is shown that in the complete case and for $\mathrm{W}=f\ \mathrm{Id}$, $({\mathcal{M}},\mathbf{g})$ is necessarily isometric to a warped product.

Theorem 4**.**

Let $({\mathcal{M}},\mathbf{g})$ be a Riemannian spin manifold admitting an imaginary $\mathrm{W}$-Killing spinor $\varphi$ satisfying the algebraic equation (1.8). Then:

1. (1)

$({\mathcal{M}},\mathbf{g})$* is locally isometric to*

[TABLE]

for Riemannian manifolds $(\mathcal{F}_{i},{\mathbf{h}}_{s}^{i})$ of dimension $n_{i}$, $u=||\varphi||^{2}$, $\mathcal{I}$ an interval, and under this isometry $\mathrm{W}$ is given by (1.3). Moreover, for each $i=1,...,k$, each $h^{i}_{s}$ is a family of special holonomy metrics to which exactly one of the cases of Table 1 applies. 2. (2)

If $({\mathcal{M}},\mathbf{g})$ is simply connected and the vector field $\frac{1}{u_{\varphi}^{2}}U_{\varphi}$ is complete, the isometry (1.9) is global with $\mathcal{I}=\mathbb{R}$. 3. (3)

Conversely, every Riemannian manifold $({\mathcal{M}},\mathbf{g})$ of the form (1.9) with $\mathcal{I}\in\{S^{1},\mathbb{R}\}$, where $u$ is any positive function and $(\mathcal{F}_{i},\mathbf{h}^{i}_{s})$ are families of special holonomy metrics subject to the flow equations in Table 1 is spin and admits an imaginary $\mathrm{W}$-Killing spinor $\varphi$ for $\mathrm{W}$ given by (1.3) with $u=||\varphi||^{2}$. $\varphi$ solves equation (1.8).

As a second application, we give a local normal form for Lorentzian metrics admitting a parallel null spinor fields. To this end, one uses a relation between spinor fields and vector fields on Lorentzian manifolds provided by the Dirac current: for any spinor field $\phi$ on a Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ its Dirac current $V_{\phi}$ is given by

[TABLE]

The zeroes of $V_{\phi}$ and $\phi$ coincide and if $\phi$ is parallel then so is $V_{\phi}$. We say that $\varphi$ is null if $V_{\varphi}$ is a null vector. We show:

Theorem 5**.**

Let $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ be a Lorentzian manifold admitting a parallel null spinor field. Then $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ is locally isometric to

[TABLE]

for some integer $m$, manifolds $\mathcal{F}_{i}$ for $i=1,...,m$ where each $\mathbf{h}^{i}_{w}$ is a $w$-dependent family of Riemannian metrics on $\mathcal{F}_{i}$ to which exactly one of the cases in Table 1 applies. Conversely, every manifold as in (1.11) satisfying these conditions admits a parallel null spinor.

Note that the normal forms in Theorem 5 need not be the most general ones. For example, in signature $(10,1)$, in [17] it is shown that a term $H_{w}dw^{2}$, where $H$ is an arbitrary function not depending on $v$ can be added to (1.11). However, the analysis of normal forms for metrics with parallel spinor in [17] rests on the known orbit structure of the action of $\mathbf{Spin}(1,n)$ in for small $n$, whereas Theorem 5 covers all dimensions.

This paper is organised as follows. In Section 2 we recall and collect basic formulas and invariants related to the geometry of spacelike hypersurfaces in Lorentzian manifolds. Together with the local existence and uniqueness theorem for solutions to quasilinear first order symmetric hyperbolic systems they are the key ingredients for the proof of Theorem 1, which occupies a large part of the paper and consists of three main steps:

1. (1)

In Section 3 we derive a first order quasilinear symmetric hyperbolic system with solutions $({\overline{\mathbf{g}}},\alpha,Z)$, where $\alpha\in\Omega^{*}({\overline{\mathcal{M}}})$ is a differential form, ${\overline{\mathbf{g}}}$ is a Lorentzian metric and $\mathrm{Z}$ a symmetric bilinear form on ${\overline{\mathcal{M}}}$. 2. (2)

As a result we will obtain a vector field $V$ and a $1$-form $E$ on ${\overline{\mathcal{M}}}$ such that ${\overline{\mathrm{Ric}}}=Z-\text{Sym}({\overline{\nabla}}E)$, where ${\overline{\mathrm{Ric}}}$ is the Ricci tensor and ${\overline{\nabla}}$ the Levi-Civita connection of ${\overline{\mathbf{g}}}$. In Section 4 we will then derive a a wave equation for $E$ and ${\overline{\nabla}}V$ and determine suitable initial conditions for all data along ${\mathcal{M}}$. Using the constraint equations (1.1) this will imply that that $E$ and ${\overline{\nabla}}V$ vanish on ${\overline{\mathcal{M}}}$ with the conclusion that $V$ is parallel. 3. (3)

Since the solutions obtained in Steps (1) and (2) are only local, in Section 5 we will show how to obtain a globally hyperbolic Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ from these local solutions.

Then in Section 6 we study Riemannian manifolds satisfying the constraint (1.1) and prove Theorem 2. The proof of Theorem 3 is given in Section 7 where we also study the relation to Lorentzian holonomy. Using this, the two applications in Theorems 4 and 5 are obtained in Section 8.

Acknowledgements

We would like to thank Helga Baum and Vicente Cortés for inspiring discussions. TL would like to thank Nick Buchdahl, Mike Eastwood, Jason Lotay and Spiro Karigiannis for helpful discussions in regards to the open problem in Section 7.3. AL would like to thank Todd Oliynyk for discussions about symmetric hyperbolic systems during his visit to Monash University.

2. Preliminaries

Let $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ be a time-oriented Lorentzian manifold of dimension $(n+1)$ with global unit timelike vector field $T\in\mathfrak{X}({\overline{\mathcal{M}}})$. Let us now additionally assume that ${\mathcal{M}}\subset{\overline{\mathcal{M}}}$ is a spacelike hypersurface with induced Riemannian metric $\mathbf{g}$ and that $T$ restricts to the future-directed unit normal vector field along ${\mathcal{M}}$. We will use the following index conventions:

• •

Latin indices $i,j,k,...$ run from $1$ to $n$.

• •

Greek indices $\mu,\nu,\rho,...$ run from [math] to $n$. We will use Greek indices whenever we restrict ourselves to local considerations on ${\overline{\mathcal{M}}}$, which is topologically an open neighbourhood of ${\mathcal{M}}$ in $\mathbb{R}\times{\mathcal{M}}$. In this situation we may fix adapted coordinates $(x^{0}=t,x^{1},...,x^{n})$, where the $t$-coordinate refers to the $\mathbb{R}$-factor, the Greek indices $\mu,\nu,...$ then refer to the coordinates $(x^{0},...,x^{n})$ on ${\overline{\mathcal{M}}}$, and Latin indices $i,j,k,...$ to the spatial coordinates $(x^{1},...,x^{n})$ on ${\mathcal{M}}$. We may also use this index convention when fixing a local orthonormal frame $(T=s_{0},s_{1},\ldots,s_{n})$ with ${\overline{\mathbf{g}}}(s_{\mu},s_{\nu})=\epsilon_{\mu}\delta_{\mu\nu}$ and $s_{i}\in T{\mathcal{M}}$. It will be clear from the context whether the indices refer to coordinates or an orthonormal frame.

• •

We will use indices $a,b,c,\ldots$ as abstract indices, i.e., only indicating the valence of a tensor. For example, a vector field $B$ is denoted by $B^{a}$ and a $1$-form by $B_{a}$. We will however abuse this abstract index notation slightly, a when writing [math] for a contraction $B(T,\ldots)$ of a tensor $B$ with the time like unit vector field $T$,

[TABLE]

but also when using indices $i,j,k,\ldots=1,\ldots,n$ for referring to directions in $T{\mathcal{M}}$.

• •

We raise and lower indices with respect to a metric. Sometimes we also use the musical notation $\flat$ and $\sharp$ for the dualising a tensor with a metric. It will be clear from the context with which metric we are working. Throughout the paper, we will also use Einstein summation convention, i.e., summing over the same upper and lower index.

By ${\overline{\nabla}}$ we denote the Levi Civita connection of ${\overline{\mathbf{g}}}$. Moreover, $\delta=\delta^{{\overline{\mathbf{g}}}}$ denotes the divergence operator, i.e., given a $(p,0)$ tensor field $B$ on $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$, the divergence is the $(p-1,0)$-tensor

[TABLE]

with an orthonormal basis $s_{\mu}$, or with abstract index notation

[TABLE]

For a vector field $V$ we have $\text{div}^{{\overline{\mathbf{g}}}}V=-\delta V^{\flat}$, or in indices ${\mathrm{div}}^{\overline{\mathbf{g}}}(V)=\nabla_{a}V^{a}$. For $X,Y\in T{\mathcal{M}}$ we denote by

[TABLE]

the second fundamental form of $({\mathcal{M}},\mathbf{g})\subset({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$, i.e., we have

[TABLE]

where barred objects refer to data on ${\overline{\mathcal{M}}}$ and unbarred objects to data on ${\mathcal{M}}$. The dual of the second fundamental form is the (symmetric) Weingarten operator, also denoted by $\mathrm{W}$, i.e., $\mathrm{W}(X,Y)=\mathbf{g}(\mathrm{W}(X),Y)$. It holds that $\mathrm{W}=-{\overline{\nabla}}T|_{T{\mathcal{M}}}$. The curvature tensors of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ and $({\mathcal{M}},\mathbf{g})$ are related via the Gauß, Codazzi and Mainardi equation. Here we need the following contracted version: let

[TABLE]

denote the divergence-free Einstein tensor of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$, where ${\overline{\mathrm{Ric}}}$ is the Ricci tensor and ${\overline{\mathrm{scal}}}$ the scalar curvature of ${\overline{\mathbf{g}}}$. Then we have on ${\mathcal{M}}$:

[TABLE]

Now we specialise the discussion to the case that ${\overline{\mathcal{M}}}$ is topologically an open subset of $\mathbb{R}\times{\mathcal{M}}$ for some manifold ${\mathcal{M}}$. We assume that $\partial_{t}$ is timelike everywhere on ${\overline{\mathcal{M}}}$ and set

[TABLE]

and ${\overline{\mathbf{g}}}$ restricted to $T{\mathcal{M}}$ is then positive definite. Note that writing $T{\mathcal{M}}$ in this context refers more precisely to the pullback bundle $\pi^{*}T{\mathcal{M}}\rightarrow{\overline{\mathcal{M}}}$, where $\pi:{\overline{\mathcal{M}}}\rightarrow{\mathcal{M}}\cong\{0\}\times{\mathcal{M}}$ denotes the projection.

Next, suppose that $V\in\mathfrak{X}({\overline{\mathcal{M}}})$ is a null vector field on ${\overline{\mathcal{M}}}$, i.e. a non-vanishing smooth vector field $V$ such that ${\overline{\mathbf{g}}}(V,V)=0$. We decompose $V$ with respect to the splitting $T{\overline{\mathcal{M}}}=\mathbb{R}\partial_{t}\oplus T{\mathcal{M}}$, which need not be ${\overline{\mathbf{g}}}$-orthogonal, into

[TABLE]

where $u=-{\overline{\mathbf{g}}}(V,T)\in C^{\infty}({\overline{\mathcal{M}}})$ a non-vanishing function, $U\in\Gamma(\pi^{*}T{\mathcal{M}})$, $u^{2}={\overline{\mathbf{g}}}(U,U)$ and $N=\frac{1}{u}U$. We also write $N_{t}$ in order to emphasise the $t$-dependence. Note that $V\neq 0$ and ${\overline{\mathbf{g}}}(V,V)=0$ requires that $v,u$ and $U$ do not vanish at any point. We emphasise that ${\overline{\mathbf{g}}}(T,U)$ is not necessarily zero on ${\overline{\mathcal{M}}}$. However, we have that ${\overline{\mathbf{g}}}(T,U)_{|\{0\}\times{\mathcal{M}}}=0$ as $T$ was assumed to be the unit normal vector field along ${\mathcal{M}}$. We identify ${\mathcal{M}}$ within ${\overline{\mathcal{M}}}$ as $\{0\}\times{\mathcal{M}}$. It follows that $v|_{{\mathcal{M}}}=u|_{{\mathcal{M}}}$.

Finally we assume that the null vector field $V$ is parallel, i.e., that ${\overline{\nabla}}V\equiv 0$. As a consequence of (2.1) we obtain for every $X\in T{\mathcal{M}}$

[TABLE]

which is precisely the constraint equation (1.1).

For the proof of Theorem 1 we will have to analyze various PDEs. As it turns out, they can all be locally reduced to a first order quasilinear symmetric hyperbolic system. We collect some standard facts on that:

Consider an equation of the form

[TABLE]

for $k$ real functions on $\mathbb{R}\times\mathbb{R}^{n}$ which are collected in a vector valued function $w(t,x)\in\mathbb{R}^{k}$. The solution will be defined on an appropriate subset of $\mathbb{R}\times\mathbb{R}^{n}$ and $(t,x)$ denotes a point in $\mathbb{R}\times\mathbb{R}^{n}$. Equation (2.5) is called quasilinear symmetric hyperbolic if the matrices $A^{0}$ and $A^{i}$, which may depend on the point $(t,x)$ as well as on the unknown $w$ itself, are symmetric and $A^{0}$ is positive definite. For given smooth initial data and smooth coefficients, there is a well established local existence and uniqueness result for smooth solutions $w$ to (2.5) which we shall use repeatedly. For details we refer to [37, Section 16] or [23] and references therein.

3. Proof of Theorem 1: the quasilinear symmetric hyperbolic system

As indicated in the introduction, for clarity the proof is subdivided into various steps: first, we find evolution equations whose solutions define the metric ${\overline{\mathbf{g}}}$ and the vector field $V$ locally; then we show that the constructed vector field $V$ is indeed parallel and patch the locally defined solutions together and discuss global properties. In this section we deal with the evolution equations.

3.1. Finding the evolution equations

In order to get an idea of how to obtain the desired metric ${\overline{\mathbf{g}}}$ and the vector field $V$ from the data $({\mathcal{M}},\mathbf{g},U)$, suppose for a moment that we already have a Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ such that

• •

${\overline{\mathcal{M}}}$ is an open subset of ${\mathcal{M}}\cong\{0\}\times{\mathcal{M}}$ in $\mathbb{R}\times{\mathcal{M}}$,

• •

$\widetilde{\lambda}^{2}:=-{\overline{\mathbf{g}}}(\partial_{t},\partial_{t})>0$, where $\partial_{t}=\partial_{0}$ refers to the vector field corresponding to the $t$-coordinate. This defines a time-like unit vector field $T=\widetilde{\lambda}^{-1}\partial_{t}$.

• •

There exists a parallel null vector field $V\in\mathfrak{X}({\overline{\mathcal{M}}})$. This defines a space like unit vector field $N$ by relation (2.3), i.e., by $V=v(T-N)$.

We derive some evolution equations as consequences:

Let $\alpha=V^{\flat}$ denote the ${\overline{\mathbf{g}}}$-dual 1-form to $V$ and consider $\alpha$ as a section in the exterior algebra, i.e., $\alpha\in\Omega^{*}({\overline{\mathcal{M}}})$. Since $V$ is parallel, $\alpha$ is parallel and we have

[TABLE]

where $d+\delta^{{\overline{\mathbf{g}}}}:\Omega^{*}({\overline{\mathcal{M}}})\rightarrow\Omega^{*}({\overline{\mathcal{M}}})$ is the de Rham operator. It is given by

[TABLE]

where $c:T{\overline{\mathcal{M}}}\otimes\Lambda^{*}{\overline{\mathcal{M}}}\rightarrow\Lambda^{*}{\overline{\mathcal{M}}}$ denotes Clifford multiplication by forms, i.e.,

[TABLE]

where $\iota_{X}\omega=\omega(X,\ldots)$ denotes the interior product. Symbolically this can be written as

[TABLE]

The de Rham operator in (3.1) is of Dirac type, which suggest that it is hyperbolic. We will explicitly verify this later.

Next, as $V$ is parallel, it annihilates the curvature tensor ${\overline{\mathrm{R}}}$ of ${\overline{\nabla}}$, i.e., ${\overline{\mathrm{R}}}(V,.,.,.)=0$. In particular,

[TABLE]

To evaluate this further, note that the metric ${\overline{\mathbf{g}}}$ defines a (non orthogonal) splitting

[TABLE]

of bundles over ${\overline{\mathcal{M}}}$. We introduce the ${\overline{\mathbf{g}}}$- and $V$-dependent projection

[TABLE]

onto the first factor in the splitting (3.3). That this projection is dependent on ${\overline{\mathbf{g}}}$ and $V$ becomes evident when it is written as

[TABLE]

or, written in in local coordinates $(x^{0}=t,x^{1},\ldots,x^{n})$ with $(x^{1},\ldots,x^{n})$ coordinates on ${\mathcal{M}}$,

[TABLE]

Note that the endomorphism $\mathrm{pr}^{{\overline{\mathbf{g}}},V}_{T{\mathcal{M}}}$ is constant in direction of $V$,

[TABLE]

In contrast to this, we denote by $\mathrm{pr}_{T{\mathcal{M}}}$ the standard and ${\overline{\mathbf{g}}}$-independent projection

[TABLE]

onto the second factor. But then equation (3.2) is equivalent to

[TABLE]

where $\mathrm{Z}$ is a symmetric bilinear form on $T{\mathcal{M}}$, i.e. $Z\in\Gamma(\pi^{*}(T^{*}{\mathcal{M}}\otimes T^{*}{\mathcal{M}}))$, which is trivially extended to a symmetric bilinear form on $T{\overline{\mathcal{M}}}=T{\mathcal{M}}\oplus\mathbb{R}V$. Again in local coordinates, this equation becomes

[TABLE]

Finally, a first order equation for $\mathrm{Z}$ is then derived as follows. As every expression of the form ${\overline{\mathrm{R}}}(V,\cdot,\cdot,\cdot,\cdot)$ vanishes identically on ${\overline{\mathcal{M}}}$, it follows from the second Bianchi identity that ${\overline{\nabla}}_{V}{\overline{\mathrm{Ric}}}=0$, which in particular implies that

[TABLE]

Seeking for a different formulation of this condition, we use the splitting (2.3) of $V$ into $T$ and $N$, both depending also on $t$, to see that (3.6) becomes

[TABLE]

Now, for brevity we rewrite this condition in local coordinates $(x^{0}=t,x^{1},\ldots,x^{n})$ with $(x^{1},\ldots,x^{n})$ coordinates on ${\mathcal{M}}$. We obtain that equation (5.4) is equivalent to

[TABLE]

in which $\widetilde{\lambda}=\sqrt{-{\overline{\mathbf{g}}}(\partial_{t},\partial_{t})}>0$, the unit vector field $N$ depends on $V$ via relation (2.3), and the round brackets denote the symmetrisation of indices.

The advantage of this formulation is that (3.8) is manifestly a ${\overline{\mathbf{g}}}$- and $\partial{\overline{\mathbf{g}}}$-dependent $t$-evolution equation for a $t$-dependent family of symmetric endomorphisms $\mathrm{Z}_{t}\in\Gamma({\mathcal{M}},T^{*}{\mathcal{M}}\otimes T^{*}{\mathcal{M}})$ on ${\mathcal{M}}$.

3.2. Hyperbolic reduction

Let $({\mathcal{M}},\mathbf{g})$ be a Riemannian manifold and let $(U,\mathrm{W})$ be a nontrivial solution to (1.1). The idea is to impose equations (3.1), (3.5) and (3.8) locally as a coupled PDE system of first order evolution equations for the unknowns $w=(\alpha,{\overline{\mathbf{g}}},\partial{\overline{\mathbf{g}}},\mathrm{Z})$ defined on a neighbourhood of ${\mathcal{M}}$ in $\mathbb{R}\times{\mathcal{M}}$ with initial data to be specified.

More precisely, we would like to rewrite (3.1), (3.5) and (3.8) locally as a first order quasilinear symmetric hyperbolic PDE of the form (2.5). A well studied technical problem is that ${\overline{\mathrm{Ric}}}$ is not hyperbolic when being considered as differential operator acting on the metric. There is a standard tool used for the Cauchy problem for the Einstein equations in general relativity how to overcome this, which is referred to as hyperbolic reduction and explained in detail in [34]. To this end, we bring into play a fixed background metric

[TABLE]

on $\mathbb{R}\times{\mathcal{M}}$, where $\lambda$ is the prescribed function from Theorem 1. Given local coordinates $(x^{0},\ldots,x^{n})$, we denote by $\widetilde{\Gamma}^{\mu}_{\alpha\beta}$ the Christoffel symbols of $h$. For any metric ${\overline{\mathbf{g}}}$ on $\mathbb{R}\times{\mathcal{M}}$ with Christoffel symbols $\Gamma_{\alpha\beta}^{\mu}$ we then introduce the difference tensor $A^{\mu}_{\alpha\beta}=\Gamma^{\mu}_{\alpha\beta}-\widetilde{\Gamma}^{\mu}_{\alpha\beta}$ and let

[TABLE]

We denote by $\text{Sym}({\overline{\nabla}}E)[{\overline{\mathbf{g}}}]$ the symmetrisation of the $(2,0)$-tensor ${\overline{\mathbf{g}}}({\overline{\nabla}}E,\cdot)$ for any given Lorentzian metric ${\overline{\mathbf{g}}}$, i.e., $\text{Sym}({\overline{\nabla}}E)(X,Y)=\tfrac{1}{2}\left(({\overline{\nabla}}_{X}E)(Y)+({\overline{\nabla}}_{Y}E)(X)\right)$. Then the operator

[TABLE]

is in coordinates given by

[TABLE]

where we use the standard notation for symmetrisation ${\overline{\nabla}}_{(\mu}F_{\nu)}=\tfrac{1}{2}\left({\overline{\nabla}}_{\mu}F_{\nu}+{\overline{\nabla}}_{\nu}F_{\mu}\right)$. The crucial point is that second order derivatives of ${\overline{\mathbf{g}}}$ appear only in the first term of $\widehat{{\mathrm{Ric}}}[{\overline{\mathbf{g}}}]$ (assured by addition of $E$, $F$ depends only on ${\overline{\mathbf{g}}}$ and not on its derivatives). Hence, in the following we will replace equation (3.5) by the equation

[TABLE]

where we abbreviate the Ricci tensor of ${\overline{\mathbf{g}}}$ as ${\overline{\mathrm{Ric}}}={\mathrm{Ric}}[{\overline{\mathbf{g}}}]$. Of course, eventually we will construct a solution and then show that $E=0$.

3.3. Local evolution equations as first order symmetric hyperbolic system

After these preparations, we are now able to show:

Theorem 3.1**.**

Under the assumptions of Theorem 1 with given data $({\mathcal{M}},\mathbf{g})$, $\lambda$ and $U$, every point $p\in{\mathcal{M}}$ admits an open neighbourhood $\mathcal{V}_{p}$ in $\mathbb{R}\times{\mathcal{M}}$ on which the equations (3.1), (3.8) and (3.12), considered as coupled PDE for the unknowns $({\overline{\mathbf{g}}},\alpha,Z)$, are locally equivalent to a first order quasilinear symmetric hyperbolic PDE of the form (2.5) provided that

[TABLE]

where $h$ is the background metric defined from $\lambda$ and $\mathbf{g}$ in equation (3.9).

Proof.

Note first that for each choice of the unknowns $\alpha=(\alpha_{0},....,\alpha_{n})\in\Omega^{*}({\overline{\mathcal{M}}})$, where $\alpha_{i}\in\Omega^{i}({\overline{\mathcal{M}}})$ and ${\overline{\mathbf{g}}}$ we can form vector fields $V\in\mathfrak{X}({\overline{\mathcal{M}}})$, $U\in\mathfrak{X}({\overline{\mathcal{M}}})$ algebraically by $V=V[\alpha,{\overline{\mathbf{g}}}]=\alpha_{1}^{~{}\sharp}$ and $U=U[\alpha,{\overline{\mathbf{g}}}]=-\mathrm{pr}_{T{\mathcal{M}}}V$. Moreover, we set $u^{2}=u^{2}[\alpha,{\overline{\mathbf{g}}}]={\overline{\mathbf{g}}}(U,U)$. Now fix $p\in{\mathcal{M}}$ and choose $\mathcal{V}_{p}$ to be a coordinate neighbourhood of $p\in\mathbb{R}\times{\mathcal{M}}$ with coordinates $(x^{0}=t,x^{1},...,x^{n})$. We define the following open subset in the space of Lorentzian metrics on $\mathcal{V}_{p}$:

[TABLE]

Note that $h\in\mathcal{G}_{p}$. Given any metric ${\overline{\mathbf{g}}}\in\mathcal{G}_{p}$, we fix a ${\overline{\mathbf{g}}}$-dependent pseudo-orthonormal basis $(s_{0},...,s_{n})$ for ${\overline{\mathbf{g}}}$, i.e. ${\overline{\mathbf{g}}}(s_{a},s_{b})=\epsilon_{a}\delta_{ab}$, by applying the Gram Schmidt procedure to $(\partial_{t},\partial_{1},...,\partial_{n})$. That is, $s_{0}=\frac{1}{\sqrt{(-{\overline{\mathbf{g}}}{(\partial_{t},\partial_{t})})}}\partial_{t}=T$ and for $i>0$

[TABLE]

on $\mathcal{V}_{p}$ for certain coefficients $\zeta^{\mu}_{i}[\mathbf{g}]$ which depend smoothly and only algebraically on ${\overline{\mathbf{g}}}$. Note that choosing ${\overline{\mathbf{g}}}$ from $\mathcal{G}_{p}$ ensures that the Gram-Schmidt algorithm is well defined for $(\partial_{t},\partial_{1},...,\partial_{n})$. By the special form of the fixed background metric $h=-\lambda^{2}dt^{2}+\mathbf{g}$ we have that $\zeta^{0}_{i>0}[h]=0$. For any ${\overline{\mathbf{g}}}\in\mathcal{G}_{p}$ we then rewrite equations (3.1), (3.8) and (3.12) on $\mathcal{V}_{p}$ as follows:

Local reformulation of equation (3.12)

In analogy to [22], for any Lorentzian metric ${\overline{\mathbf{g}}}\in\mathcal{G}_{p}$ and quantities $k_{\mu\nu}$ and ${\overline{\mathbf{g}}}_{\mu\nu,i}$ we consider the system

[TABLE]

with initial conditions ${\overline{\mathbf{g}}}|_{\mathcal{M}}=h|_{\mathcal{M}}$ and

[TABLE]

This system with the given initial condition is equivalent to equation (3.12)111This has been shown in [22] for the vacuum Einstein equations ${\overline{\mathrm{Ric}}}=0$ and remains valid in our setting, as here the $\mathrm{Z}$-term in (3.12) enters only algebraically in the $b_{1}$-term.. Indeed, let a triple $({\overline{\mathbf{g}}}_{\mu\nu},k_{\mu\nu},{\overline{\mathbf{g}}}_{\mu\nu,i})$ solve system (3.15)-(3.18). As ${\overline{\mathbf{g}}}^{ij}$ is invertible for ${\overline{\mathbf{g}}}$ sufficiently close to $h$, equation (3.16) is the same as $\partial_{t}{\overline{\mathbf{g}}}_{\mu\nu,i}=\partial_{i}k_{\mu\nu}$, and equation (3.15) then gives

[TABLE]

Initial condition (3.18) ensures ${\overline{\mathbf{g}}}_{\mu\nu,i}-\partial_{i}{\overline{\mathbf{g}}}_{\mu\nu}=0$ at $t=0$ and thus everywhere. Then equation (3.17) is nothing but equation (3.12). Hence, for any fixed $\mathrm{Z}$, the system (3.15)-(3.17) can be rewritten as

[TABLE]

where $w_{1}=({\overline{\mathbf{g}}}_{\mu\nu},({\overline{\mathbf{g}}}_{\mu\nu,i})_{i=1,...,n},k_{\mu\nu})_{\mu,\nu=0,...,n}$. Moreover, the matrices $A^{0}_{1}$ and $A^{i}_{1}$ are symmetric and $A^{0}_{1}(t,x,w_{1})$ is positive definite for ${\overline{\mathbf{g}}}=h$, and hence in a neighbourhood of $h$. In fact, they can be written as

[TABLE]

Local reformulation of equation (3.1)

Using the orthonormal basis $s_{\mu}$, we can identify ${\overline{\nabla}}\alpha\in T^{*}M\otimes\Omega^{*}(M)$ with

[TABLE]

With this identification, equation (3.1) writes as

[TABLE]

Using the fundamental Clifford identity

[TABLE]

for the ${\overline{\mathbf{g}}}$-dependent operator $c$, equation (3.1) for ${\overline{\mathbf{g}}}\in\mathcal{G}_{p}$ is equivalent to

[TABLE]

which can be re arranged to

[TABLE]

By means of the fixed coordinates, we identify $\alpha$ with a smooth map $\alpha:\mathcal{V}_{p}\rightarrow\Lambda^{*}\mathbb{R}^{n+1}\cong\mathbb{R}^{2^{n+1}}$. In this identification, ${\overline{\nabla}}_{\partial_{\mu}}=\partial_{\mu}+\Gamma$, for an endomorphism $\Gamma$ which depends on the Christoffel symbols of ${\overline{\mathbf{g}}}$. Then equation (3.20) becomes equivalent to a system

[TABLE]

We claim that the matrices $A_{2}^{0}$ and $A_{2}^{i}$ are symmetric. To this end, let $(e_{0},...,e_{n})$ denote the standard basis of $\mathbb{R}^{n+1}$. We consider the operator $c(e_{\mu})=(e_{\mu}^{\flat}\wedge)-\iota_{e_{\mu}}$, where the dual is formed using the standard Minkowski inner product on $\mathbb{R}^{n+1}$. Now let $\sigma^{\mu}$ be the (algebraically) dual basis to $e_{\mu}$, i.e., with $\sigma^{\mu}(e_{\nu})=\delta^{\mu}_{\ \nu}$ and with $e_{\mu}^{\flat}=\epsilon_{\mu}\sigma^{\mu}$, where $\epsilon_{0}=-1$, $\epsilon_{i>0}=1$. Furthermore, let $\langle\cdot,\cdot\rangle$ be the standard positive definite inner product on $\Lambda^{*}\mathbb{R}^{n+1}$, i.e., with $\sigma^{\mu},\sigma^{\mu}\wedge\sigma^{\nu},\ldots,\sigma^{0}\wedge\ldots\wedge\sigma^{n}$ as orthonormal basis. Then elementary linear algebra shows that

[TABLE]

It follows from the Clifford identity for $c$ that for $i>0$

[TABLE]

which proves symmetry of the linear map $c(e_{0})\circ c(e_{\mu})$ and hence of the matrices $A^{\mu}_{2}$. Moreover, for ${\overline{\mathbf{g}}}=h$, $A^{0}_{2}(t,x,h)$ reduces to a positive multiple of the identity matrix. Thus, $A^{0}_{2}$ is positive definite in a neighbourhood $\mathcal{V}_{p}$ of the initial data if these initial data are chosen as required in the theorem.

Local reformulation of (3.8)

Locally, the $t$-dependent symmetric bilinear form $\mathrm{Z}$ on $T{\mathcal{M}}$ can be rewritten as $\mathrm{Z}=\mathrm{Z}_{kl}dx^{k}dx^{l}$ for $t$- and $x$ dependent coefficients $Z_{kl}$. One verifies immediately that (3.8) is of the form

[TABLE]

where $A_{3}^{0}(t,x)=\mathrm{Id}$ is simply the identity matrix and $A_{3}^{i}(t,x,u)$ are multiples of the identity matrix.

Combining (3.19), (3.21) and (3.22) gives a coupled PDE of the form (2.5) with matrices $A^{0}$ and $A^{i}$ being block diagonal with blocks $A_{1}^{0}$, $A_{2}^{0}$ and $A_{3}^{0}$, and blocks $A_{1}^{i}$, $A_{2}^{i}$ and $A_{3}^{i}$, respectively. The unknowns are $w=(w_{1},w_{2},w_{3})$, with $w_{1}=({\overline{\mathbf{g}}}_{\mu\nu},({\overline{\mathbf{g}}}_{\mu\nu,i}),k_{\mu\nu})$, $w_{2}=\alpha$, $w_{3}=\mathrm{Z}_{kl}$, and the inhomogeneity is $b=(b_{1},b_{2},b_{3})$, which is defined in a neighbourhood of the initial data. Moreover, the previous discussion regarding the blocks of $A^{0}$ and the $A^{i}$’s shows that $A^{0}$ and $A^{i}$ are symmetric and $A^{0}$ is positive definite at least in a local neighbourhood of the initial data. ∎

3.4. Initial data

Here we specify a full set of initial data for the first order PDE for the quantities $({\overline{\mathbf{g}}}_{\mu\nu},{\overline{\mathbf{g}}}_{\mu\nu,i},k_{ij},\alpha,Z_{kl})$ on $\mathcal{V}_{p}$ derived in Theorem 3.1. Initial data for ${\overline{\mathbf{g}}}$ and $\alpha$ were already given in Theorem 3.1 and are needed to ensure that the PDE is indeed hyperbolic. Moreover, as seen in the proof of Theorem 3.1, to ensure that the system (3.15)-(3.17) is equivalent to (3.12), we were forced to set

[TABLE]

as initial condition ${\overline{\mathbf{g}}}_{\mu\nu,i}$.

Regarding $k_{\mu\nu}$ we observe that $\frac{1}{\lambda}\partial_{t}$ is the unit normal vector field with respect to $h$ along ${\mathcal{M}}$ and set

[TABLE]

This is required, of course, by the fact that $({\mathcal{M}},\mathbf{g})$ should eventually embed into the solution $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ with Weingarten tensor being the given $\mathrm{W}$. The initial data for $k_{i0}$ and $k_{00}$ are uniquely determined by the natural requirement

[TABLE]

for any solution ${\overline{\mathbf{g}}}$. It is by definition of $E$ straightforward to compute, see [34], that this is the case if and only if

[TABLE]

Note that it makes sense here to write $F_{|t=0}$, as by equations (3.10) the $F$-dependence on ${\overline{\mathbf{g}}}$ is only algebraic and ${\overline{\mathbf{g}}}_{|t=0}$ has already been specified. Moreover, for the background metric $h$ as in (3.9) and initial conditions for ${\overline{\mathbf{g}}}$ as in Theorem 3.1, the initial conditions (3.24), simplify to

[TABLE]

This makes evident that the initial conditions (3.24) are independent of the chosen coordinates.

Next, we give initial data for the symmetric bilinear form $\mathrm{Z}|_{{\mathcal{M}}}$ on ${\mathcal{M}}$. Their origin is not very transparent at this point, but we shall see in a later step of the proof that the following initial data for $\mathrm{Z}$ are demanded by requiring that ${\overline{\nabla}}V=0$. We set

[TABLE]

for all $X,Y\in U^{\perp}$ and where as usual $N=\frac{1}{u}U$.

3.5. Solving the evolution equation

Combining the choice of initial data with Theorem 3.1 we find, using the existence and uniqueness result for symmetric hyperbolic systems as discussed earlier, a neighbourhood $\mathcal{U}_{p}\subset\mathcal{V}_{p}$ of $p$ in $\mathbb{R}\times{\mathcal{M}}$ such that the system (3.1), (3.8) and (3.12) has a unique smooth solution on $\mathcal{U}_{p}$ which coincides on ${\mathcal{M}}\cap\mathcal{U}_{p}$ with the initial data.

Given this solution $\left({\overline{\mathbf{g}}}_{\mu\nu},\ {\overline{\mathbf{g}}}_{\mu\nu,i},\ k_{\mu\nu},\ \alpha,\ \mathrm{Z}_{kl}\right)$, we define with the coordinates $x^{\mu}$ on $\mathcal{V}_{p}$ specified earlier the bilinear from ${\overline{\mathbf{g}}}={\overline{\mathbf{g}}}^{\mathcal{U}_{p}}={{\overline{\mathbf{g}}}}_{\mu\nu}dx^{\mu}dx^{\nu}$ on $\mathcal{U}_{p}$. Furthermore, after restricting $\mathcal{U}_{p}$ if necessary we may assume that ${\overline{\mathbf{g}}}$ is of Lorentzian signature on $\mathcal{U}_{p}$ and an element of $\mathcal{G}_{p}$ as this holds for the initial datum $h$. Moreover $\mathrm{Z}=\mathrm{Z}^{\mathcal{U}_{p}}=\mathrm{Z}_{kl}dx^{k}dx^{l}$ defines a symmetric bilinear form on $\mathcal{U}_{p}$ and the solution gives $\alpha=\alpha^{\mathcal{U}_{p}}\in\Omega^{*}{(\mathcal{U}_{p})}$.

For reasons related to global hyperbolicity, which become clear in the last step of the proof, we restrict the solution domain $\mathcal{U}_{p}$ further as follows. Let

[TABLE]

where $t$ denotes the function $(t,x)\mapsto t$ and denote by $\phi^{\mathcal{U}_{p}}$ the flow of $F$. We restrict $\mathcal{U}_{p}$ to an open neighbourhood of $p$ in $\mathbb{R}\times{\mathcal{M}}$, denoted with the same symbol, such that

[TABLE]

It is possible to restrict $\mathcal{U}_{p}$ further (denoted by the same symbol) such that the spacelike hypersurface ${\mathcal{M}}_{p}:={\mathcal{M}}\cap\mathcal{U}_{p}$ is a Cauchy hypersurface in $(\mathcal{U}_{p},g)$, for details see [3, Chapter A.5]. By construction of the initial data (3.23) and as $k_{\mu\nu}=\partial_{t}{\overline{\mathbf{g}}}_{\mu\nu}$, $({\mathcal{M}}_{p},\mathbf{g})$ embeds into $\mathcal{U}_{p}$ with Weingarten tensor (the restriction of) $\mathrm{W}$.

4. Proof of Theorem 1: the wave equation

In this section we continue the proof of Theorem 1 by deriving a linear wave equation on $E$ and $\nabla V$, the solutions obtained in the previous section, as well as appropriate initial conditions that will ensure that $E=0$ and $\nabla V=0$.

4.1. Fundamental properties of the solution

Let $({\overline{\mathbf{g}}},\alpha,\mathrm{Z})$ denote the local solution to the system (3.1), (3.8) and (3.12). A priori, it is not clear that $\alpha$ is a $1$-form and defines via ${\overline{\mathbf{g}}}$ a vector field. However, if we consider the Hodge-Laplacian $\Delta^{HL}=(d+\delta)^{2}$ on forms and decompose the solution $\alpha$ as $\alpha=\alpha_{0}+...+\alpha_{n+1}\in\Omega^{0}(\mathcal{U}_{p})\oplus....\oplus\Omega^{n+1}(\mathcal{U}_{p})$ we get as a trivial consequence of $(d+\delta)\alpha=0$ that

[TABLE]

Moreover, our choice of initial data and $(d+\delta)\alpha=0$ guarantees that for $i\neq 1$

[TABLE]

where ${\mathcal{M}}_{p}=\mathcal{U}_{p}\cap{\mathcal{M}}$ as before. By the main result of [3], the Cauchy problem for the normally hyperbolic operator $\Delta^{HL}$ is well posed and as ${\mathcal{M}}_{p}\subset\mathcal{U}_{p}$ is a Cauchy hypersurface, we conclude that $\alpha_{i}=0$ for all $i\neq 1$. Thus, the solution $\alpha$ is equivalently encoded in the vector field $V$ such that

[TABLE]

We decompose $V=v(T-N)$ as in the splitting (2.3) and may assume, after further restricting $\mathcal{U}_{p}$ if necessary, that the projections of $V$ onto both summands of $T{\overline{\mathcal{M}}}=\mathbb{R}\partial_{t}\oplus{\mathcal{M}}$ are nontrivial as this holds for the initial data.

Next we extend the symmetric bilinear form $\mathrm{Z}\in\Gamma(\mathcal{U}_{p},T^{*}\mathcal{M}_{p}\otimes T^{*}\mathcal{M}_{p})$ uniquely to a section $\mathrm{Z}\in\Gamma(\mathcal{U}_{p},T^{*}\mathcal{U}_{p}\otimes T^{*}\mathcal{U}_{p})$, by demanding that $V$ inserts trivially into $\mathrm{Z}$. For this extended $\mathrm{Z}$ the evolution equation (3.8) which was used to define $\mathrm{Z}$ then becomes equivalent to (3.6) as follows from combining (3.7) and (3.8). In summary, we have constructed $({\overline{\mathbf{g}}},V,\mathrm{Z})$ on $\mathcal{U}_{p}$ which satisfy the equations

[TABLE]

On $\mathcal{U}_{p}$ we fix from now on a local ${\overline{\mathbf{g}}}$-pseudo-ONB $s=(s_{0},....,s_{n})$ as constructed in (3.14). That means, $T=s_{0}=\frac{1}{\sqrt{-{\overline{\mathbf{g}}}(\partial_{t},\partial_{t})}}\partial_{t}$ is a unit timelike vector field on $\mathcal{U}_{p}$ which restricts on ${\mathcal{M}}_{p}$ to $\frac{1}{\lambda|_{{\mathcal{M}}}}\partial_{t}$, the unit normal vector field to ${\mathcal{M}}_{p}$ with respect to $\mathbf{g}$. Moreover, as $h(\partial_{t},X)=0$ for $X\in T{\mathcal{M}}$, it follows that the $(s_{1},...,s_{n})$ restricted to ${\mathcal{M}}$ are tangent to ${\mathcal{M}}$ and form a pointwise ONB for $(T{\mathcal{M}}_{p},\mathbf{g})$.

In the subsequent calculations we simplify and abbreviate our notation for some — otherwise very lengthy — formulas as follows: writing

[TABLE]

where $A,B$ are tensor fields of the same type over ${\overline{\mathcal{M}}}$ indicates that $A=B$ up to the addition of terms which are linear in the quantities specified in the bracket (or contractions of these quantities). The explicit formulas for these linear terms are straightforward to compute in each case but turn out to be irrelevant for our purposes. By ${\overline{\nabla}}$ we also denote the covariant deriviatve on tensor fields induced by the Levi Civita connection of ${\overline{\mathbf{g}}}$. It follows from linearity and the product rule for ${\overline{\nabla}}$ that

[TABLE]

As an example, equations (4.6) and (4.7) imply that

[TABLE]

Indeed, the non vanishing terms of $({\overline{\nabla}}_{V}\mathrm{Z})$ are $({\overline{\nabla}}_{V}\mathrm{Z})(T,X)$ for $X$ a vector field on $\mathcal{U}_{p}$ which is tangent to ${\mathcal{M}}$ and $({\overline{\nabla}}_{V}\mathrm{Z})(T,T)$. Both can be expressed in terms of ${\overline{\nabla}}V$ using $V=\frac{1}{u}(T-N)$ and equations (4.6) and (4.7):

[TABLE]

4.2. PDEs for ${\overline{\nabla}}V$ and $E$

In the terminology of the previous subsection, we next show that the data ${\overline{\nabla}}V$ and $E$ vanish on $\mathcal{U}=\mathcal{U}_{p}$ by showing that they solve a linear PDE for which uniqness of solutions is guaranteed. All calculations and operators are with respect to the metric ${\overline{\mathbf{g}}}={\overline{\mathbf{g}}}^{\mathcal{U}_{p}}$ on $\mathcal{U}_{p}$ as just specified.

We denote with $\Delta={\overline{\nabla}}^{2}$ the Bochner Laplacian (or connection Laplacian) for ${\overline{\mathbf{g}}}$ acting on tensors, as $\Delta B_{b\ldots c}={\overline{\nabla}}^{a}{\overline{\nabla}}_{a}B_{b\ldots c}$, in particular on $1$-forms or vector fields. When acting on $1$-forms, it is related to the Hodge Laplacian $\Delta^{HL}$ on 1-forms via the Weitzenböck formula

[TABLE]

where depending on the situation we consider ${\overline{\mathrm{Ric}}}$ as $(2,0)$ or $(1,1)$ tensor.

Now we aim for a second order equation for ${\overline{\nabla}}V$. For this we will prove a series of Lemmas. The general assumption in these lemmas is that the system of equations (4.4)-(4.7) is satisfied. For brevity in the proofs we will now use indices $a,b,c,\ldots$ as abstract indices, i.e., only indicating the valence of a tensor. The Bochner Laplacian applied to a vector field $X$ is denoted by $\Delta X^{a}={\overline{\nabla}}^{b}{\overline{\nabla}}_{b}X^{a}$, where we use Einstein’s summation convention. The identity (4.9), for example, reads as

[TABLE]

We will also use expressions such as ${\overline{\nabla}}E(V)$ or ${\overline{\nabla}}{\overline{\nabla}}_{V}E$. These are meant to be as $V$ inserted into the tensor ${\overline{\nabla}}E\in\otimes^{2}T^{*}\mathcal{U}$ and into ${\overline{\nabla}}\,{\overline{\nabla}}E\in\otimes^{3}T^{*}\mathcal{U}$ in the respective slot, e.g., ${\overline{\nabla}}E(V)\in\otimes T^{*}\mathcal{U}$ and ${\overline{\nabla}}\,{\overline{\nabla}}_{V}E\in\otimes^{2}T^{*}\mathcal{U}$. Expressed with indices, this would be $V^{a}{\overline{\nabla}}_{b}E_{a}$ and $V^{a}{\overline{\nabla}}_{c}{\overline{\nabla}}_{b}E_{a}$, respectively. We also use $\Delta$ as acting on arbitrary tensors.

Lemma 4.1**.**

The tensor ${\overline{\nabla}}V\in T^{*}\mathcal{U}\otimes T\mathcal{U}$ satisfies

[TABLE]

Proof.

Using abstract index notation and successively interchanging covariant derivatives using the curvature tensor we obtain

[TABLE]

To deal with the first remaining term we use equation (4.4), (4.7), equation (4.5) and its consequence $0=\Delta^{HL}V^{b}=\Delta V^{b}+{\overline{\mathrm{Ric}}}^{b}_{~{}c}V^{c}$:

[TABLE]

Finally we use the symmetries of ${\mathrm{R}}_{abcd}$ to deal with the term ${\overline{\nabla}}^{d}{\overline{\mathrm{R}}}_{da~{}~{}c}^{\ \ \,b}V^{c}$:

[TABLE]

because of equations (4.4), (4.6), (4.7), and (4.8). This verifies the lemma. ∎

The idea is now to prolong equation (4.10), i.e., to derive linear equations for the $E$-dependent quantities in the brackets, which should all vanish, until we obtain a closed linear PDE system. We start with deriving a second order equation for $E$. To this end, we introduce the “Einstein tensor” of $\mathrm{Z}$, i.e.,

[TABLE]

Let $\overline{G}={\overline{\mathrm{Ric}}}-\frac{{\overline{\mathrm{scal}}}}{2}{\overline{\mathbf{g}}}$ denote the Einstein tensor of $(\mathcal{U}_{p},{\overline{\mathbf{g}}})$. By equation (4.4) we get for $X,Y\in T\mathcal{U}_{p}$

[TABLE]

This equation implies

Lemma 4.2**.**

The $1$-form $E$ satisfies

[TABLE]

Proof.

Taking the divergence $\delta^{{\overline{\mathbf{g}}}}$ on both sides of (4.11) yields

[TABLE]

which proves the statement. ∎

Next, we investigate the quantity ${\overline{\nabla}}_{V}E$ and prove

Lemma 4.3**.**

The $1$-form ${\overline{\nabla}}_{V}E$ stisfies

[TABLE]

Proof.

Again we compute in abstract indices commuting covariant derivatives

[TABLE]

by equation (4.12). ∎

Next, we find a second order equation for ${\overline{\mathbf{g}}}({\overline{\nabla}}E,V)$, i.e., for $V^{b}{\overline{\nabla}}_{a}E_{b}$.

Lemma 4.4**.**

The $1$-form $({\overline{\nabla}}E)(V)$ satifies

[TABLE]

Proof.

Similarly as before we compute

[TABLE]

Since we computing $\mod({\overline{\nabla}}V)$ it is enough to compute

[TABLE]

using the definition of $L$ and $V^{b}Z_{ba}=0$. ∎

Finally we derive an equation for the 1-form $\delta^{{\overline{\mathbf{g}}}}L$.

Lemma 4.5**.**

The $1$-form ${\overline{\nabla}}_{V}\delta L$ satisfies

[TABLE]

Proof.

Using the definition of $L$ and of $\delta^{\overline{\mathbf{g}}}$ we compute

[TABLE]

because of equation (4.4). The term $V^{b}\,{\overline{\mathrm{R}}}_{a~{}b}^{~{}d\ \ c}$ however is a linear expression in the second and first covariant derivatives of $V$, and hence the claim follows. ∎

4.3. Reformulation of the PDEs in terms of differential operators

Now we want to use the PDEs derived in the previous section as a “wave equation”, i.e., in terms of a differential operator involving $\Delta$. We introduce the following vector bundle over $\mathcal{U}_{p}$:

[TABLE]

The vector bundle ${\mathcal{E}}$ carries a covariant derivative naturally induced by ${\overline{\nabla}}$ and denoted by the same symbol. Moreover, there is an operator $\Delta$ of Laplace type on ${\mathcal{E}}$ which is given by taking the Bochner-Laplacian $\Delta$ in each summand and letting this operator act diagonally on sections, i.e.,

[TABLE]

Using the solutions of the previous section we define the sections $\eta\in\Gamma(\mathcal{E}|_{\mathcal{U}})$ and $\xi\in\Gamma(T^{*}\mathcal{U})$ by

[TABLE]

Combining the equations in Lemmas 4.1, 4.2, 4.3, 4.4 and 4.5 we obtain

Proposition 4.1**.**

The sections $\eta$ and $\xi$ as defined in (4.16) solve the coupled linear PDE

[TABLE]

where $F$ and $H$ are certain sections of ${\mathcal{E}}|_{\mathcal{U}}$ and $T^{*}\mathcal{U}$ which depend linearly on the indicated quantities.

Now suppose that $\eta$ and $\xi$ are arbitrary sections of ${\mathcal{E}}|_{\mathcal{U}}$ and $T^{*}\mathcal{U}$ and interpret the left hand side of (4.17) as a linear differential operator acting on these sections. Moreover, we trivialise the bundles ${\mathcal{E}}|_{\mathcal{U}}$ and $T^{*}\mathcal{U}$ with respect to the fixed coordinates $(x^{0},...,x^{n})$ on $\mathcal{U}$ and view in terms of this identification $\eta\in C^{\infty}(\mathcal{U},\mathbb{R}^{N})$, where $N=n^{2}+3n$, and $\xi\in C^{\infty}(\mathcal{U},\mathbb{R}^{n+1})$.

Proposition 4.2**.**

In the fixed local trivialisation, equations (4.17) and (4.18) imply a linear symmetric hyperbolic first order PDE

[TABLE]

for $\eta$ and $\xi$, i.e., $b$ depends linearly on $(\eta,\partial\eta,\xi)$.

Proof.

The proof uses only that the linear second order operator

[TABLE]

acting on $\mathcal{E}|_{\mathcal{U}}$ is normally hyperbolic for each $\xi$. In general, given any tensor bundle $\mathcal{E}\rightarrow\mathcal{U}$ trivialised by the coordinates $x^{i}$, i.e. $\mathcal{E}\cong\mathcal{U}_{p}\times\mathbb{R}^{N}$, and any linear second order differential operator $P:\Gamma(\mathcal{E})\rightarrow\Gamma(\mathcal{E})$, we say that $P$ is normally hyperbolic if its principal symbol is given by the metric, i.e. in the local trivialisation

[TABLE]

for matrix-valued coefficients $M_{\mu}$ and $K$ depending smoothly on $p$. Note that in our case the term $F$ in (4.20) only affects the matrices $M$ and $K$ but not the symbol. If $\eta=(\eta_{1},...,\eta_{N})\in C^{\infty}({\mathcal{U}_{p}},\mathbb{R}^{N})$ is arbitrary, the equation $P\eta=0$ can be rewritten as linear first order equation by applying formally the same steps as before when (3.12) was rewritten as first order equation: For $A=0,...,N$ we introduce the quantities $k_{A}:=\partial_{t}\eta_{A}$ and $\eta_{A,i}:=\partial_{i}\eta_{A}$. In terms of these quantities, $P\eta=0$ implies that

[TABLE]

holds222This system is even equivalent to $P\eta=0$. Indeed, let a triple $(\eta_{A},k_{A},\eta_{A,i})$ solve (4.21)-(4.23). As $g^{ij}$ is invertible for $g$ sufficiently close to $h$, (4.22) is the same as $\partial_{t}\eta_{A,i}=\partial_{i}k_{A}$, and (4.21) then gives $\partial_{t}(\eta_{A,i}-\partial_{i}\eta_{A})=0$. Appropriate choice of initial data ensures $\eta_{A,i}=\partial_{i}\eta_{A}$ at $t=0$ and thus equality everywhere. Then (4.23) is nothing but $P\eta=0$.. Equations (4.21)-(4.23) applied to our operator (4.20) and sections $\zeta_{i}$ yield

[TABLE]

It is easy to read off an explicit form of the matrices $A^{\mu}_{1}$ and to see that they are symmetric and that $A^{0}_{1}$ is positive definite as ${\overline{\mathbf{g}}}\in\mathcal{G}_{p}$.

We turn to equation (4.18). We write $\xi=\xi^{\mu}\partial_{\mu}$ and $V=u_{t}(T-N_{t})=u_{t}(\frac{1}{\sqrt{-{\overline{\mathbf{g}}}(\partial_{t},\partial_{t})}}\partial_{t}-N_{t}^{i}\partial_{i})$. In terms of these quantities, equation (4.18) is equivalent to

[TABLE]

where $b_{2}$ depends linearly on $(\eta,\partial\eta)$ via $H$ and linearly on $\xi$ via contractions of $\xi$ with Christoffel symbols for ${\overline{\mathbf{g}}}$ which results from writing $\nabla=\partial+\Gamma$. Combining (4.24) and (4.25) gives (4.19). ∎

4.4. Initial data and the vanishing of ${\overline{\nabla}}V$ and $E$

In this section we will show that $E$ and ${\overline{\nabla}}V$ vanish everywhere on $\mathcal{U}$ and that $V$ is a null vector field. We will achieve this by showing that the data $\eta$, $\xi$ and ${\overline{\nabla}}\eta$ as defined in (4.16), and containing the tensors ${\overline{\nabla}}V$ and $E$, vanish on $\mathcal{U}$. The data $\eta$, $\xi$ and ${\overline{\nabla}}\eta$ were solutions of the linear system (4.17) and (4.18). Hence, using the uniqueness result for solutions to (4.19), it suffices to show that $\eta$, $\xi$ and ${\overline{\nabla}}\eta$ vanish on ${\mathcal{M}}_{p}$ (which for simplicity we will denote by ${\mathcal{M}}$ in the following) in order to obtain that ${\overline{\nabla}}V$ and that $E=0$. Moreover we show that $V$ is null on ${\mathcal{M}}$ which will imply, by $V$ being parallel, that it $V$ is null everywhere.

Proposition 4.3**.**

The vector field $V$ defined in equation (4.3) and the sections defined in equation (4.16) of Section 4.3 satisfy equations along the initial hypersurface ${\mathcal{M}}$,

[TABLE]

In particular, ${\overline{\nabla}}V$ and $E$ vanish on ${\mathcal{M}}$.

Proof.

In this proof all equations are understood as being evaluated on ${\mathcal{M}}$, more precisely on ${\mathcal{M}}_{p}={\mathcal{M}}\cap\mathcal{U}_{p}$ only, i.e. we do not always write the restriction $|_{\mathcal{M}}$ after each expression here. Recall that $\eta$ and $\xi$ were defined as

[TABLE]

In the following, the order in which the initial conditions are verified turns out to be very important. First note that along ${\mathcal{M}}$ we have that ${\overline{\mathbf{g}}}=h$, where $h$ is the background metric, and hence that $T{\mathcal{M}}$ is orthogonal to $T$. Moreover, we will not distinguish between $E$ and $E^{\sharp}$. It follows from the identity (2.4) and initial data for $V$, i.e. from

[TABLE]

that the imposed constraint equation (1.1) is equivalent to $\mathrm{pr}_{T{\mathcal{M}}}({\overline{\nabla}}_{X}V)|_{{\mathcal{M}}}=0$, i.e., to

[TABLE]

Moreover, equation (4.27) implies that

[TABLE]

Differentiating this in direction of $X\in T{\mathcal{M}}$ yields

[TABLE]

from which follows that ${\overline{\nabla}}_{X}V=0$ on ${\mathcal{M}}$ for $X\in T{\mathcal{M}}$. The evolution equation $(d+\delta)V^{\flat}=0$ reduces then on ${\mathcal{M}}$ to

[TABLE]

Multiplying this from the left with $c(T)$ yields that ${\overline{\nabla}}_{T}V=0$ on ${\mathcal{M}}$ and hence that

[TABLE]

Moreover, the initial data for ${\overline{\mathbf{g}}}$ were chosen in Subsection 3.4 precisely in such a way that

[TABLE]

This also implies that

[TABLE]

Showing that the remaining quantities in $\eta,$ ${\overline{\nabla}}\eta$ and $\xi$ vanish along ${\mathcal{M}}$ is rather involved. Again for brevity, we will use abstract index notation with indices $a,b,c,\ldots$ ranking from [math] to $n$. We will however abuse this abstract index notation as indicated before, when writing a [math] for a contraction $B(T,\ldots)$ of a tensor $B$ with the vector field $T$,

[TABLE]

but also when using indices $i,j,k,\ldots$ ranging from $1$ to $n$ and referring to directions in $T{\mathcal{M}}$. Since along ${\mathcal{M}}$ the vector field $T$ is orthogonal to $T{\mathcal{M}}$ we have that ${\overline{\mathbf{g}}}_{0i}=h_{0i}=0$, as well as ${\overline{\mathbf{g}}}_{00}=-1$ and ${\overline{\mathbf{g}}}_{ij}=\mathbf{g}_{ij}$.

We will start by showing that the initial data specified for $\mathrm{Z}$ imply that ${\overline{\nabla}}_{T}E$ vanishes on ${\mathcal{M}}$, i.e., that ${\overline{\nabla}}_{0}E_{a}=0$ along ${\mathcal{M}}$. Starting point is equation (4.11), which in indices reads as

[TABLE]

Evaluation on ${\mathcal{M}}$ using the hypersurface formula (2.2),

[TABLE]

implies that

[TABLE]

because of $0=\mathrm{Z}(V,\cdot)=u\mathrm{Z}(T,X)-\mathrm{Z}(U,X)$ and the first initial condition in (3.26) for $\mathrm{Z}$. But now $E_{a}$ is zero along ${\mathcal{M}}$ and hence is ${\overline{\nabla}}_{i}E_{0}$, and so we obtain that

[TABLE]

Hence, it remains to prove that also ${\overline{\nabla}}_{0}E_{0}{=}0$.

To this end, recall the hypersurface formula (2.2) contracted with $T$ twice,

[TABLE]

and the above formula (4.32) to obtain

[TABLE]

Hence, using again $\mathrm{Z}(V,.)=0$ and ${\overline{\nabla}}_{i}E_{j}=0$ along ${\mathcal{M}}$, we get

[TABLE]

The next lemma shows that this term vanishes:

Lemma 4.6**.**

On ${\mathcal{M}}$ satisfying the constraint (1.1) it holds that

[TABLE]

Proof.

On ${\mathcal{M}}$ we have $N=\frac{1}{u}U$ with $u^{2}={\overline{\mathbf{g}}}(U,U)$. An easy consequence this and of the constraint (1.1), i.e., of $\nabla_{i}U_{j}+u\mathrm{W}_{ij}=0$, is the formula

[TABLE]

and the resulting

[TABLE]

Now we use both initial conditions (3.26) for $\mathrm{Z}$ to first determine

[TABLE]

and then compute, using the constraint (1.1) and equations (4.37) and (4.38), that

[TABLE]

Putting these two equations together gives the desired equation (4.36). ∎

Hence we have established that ${\overline{\nabla}}_{0}E_{0}=0$. Combined with (4.34) this yields ${\overline{\nabla}}_{0}E|_{\mathcal{M}}=0$. It then follows automatically that $V^{a}{\overline{\nabla}}_{b}E_{a}=V^{a}{\overline{\nabla}}_{a}E_{b}=0$ on ${\mathcal{M}}$ . Altogether we have now that

[TABLE]

Then equation (4.4) yields as immediate consequence that

[TABLE]

We turn to ${\overline{\nabla}}_{0}{\overline{\nabla}}_{i}V^{a}$-terms for $X\in T{\mathcal{M}}$ and want to show that such expressions vanish on ${\mathcal{M}}$. As ${\overline{\nabla}}V=0$ on ${\mathcal{M}}$ we have that

[TABLE]

on ${\mathcal{M}}$, and we have to show that this expression vanishes. Note that as a further consequence of ${\overline{\nabla}}_{a}V=0$ on ${\mathcal{M}}$ we have

[TABLE]

on ${\mathcal{M}}$. We will now prove that $V^{a}{\overline{\mathrm{R}}}_{0abc}=0$ on ${\mathcal{M}}$ for all $b,c=0,\ldots,n$:

First we note that

[TABLE]

because of (4.41). Next we use $V^{a}{\overline{\mathrm{Ric}}}_{ab}=0$ to get

[TABLE]

again because of (4.41). This implies $V^{a}{\overline{\mathrm{R}}}_{0abc}=0$ on ${\mathcal{M}}$.

Hence, the vanishing or the term (4.40) is equivalent to

[TABLE]

for all $i,j=1,\ldots,n$. In fact, because of $V=u(T-N)$, it suffices to prove (4.42) for $X^{i},Y^{j}\in N^{\perp}\subset T{\mathcal{M}}$, i.e., with $X^{i}N_{i}=Y^{i}N_{i}=0$. We use now indices $r,s,t=1,\ldots,n-1$ for tensors from $N^{\perp}$. Using this convention we rewrite

[TABLE]

Because of ${\overline{\nabla}}E=0$ and the resulting $\mathrm{Z}={\overline{\mathrm{Ric}}}$ on ${\mathcal{M}}$, this means that (4.42) is verified if and only if

[TABLE]

Now we use the Gauß equation

[TABLE]

in order to rewrite the curvature terms in (4.43) in terms of data on ${\mathcal{M}}$. The rewritten equation (4.43) is precisely the defining initial condition for $\mathrm{Z}_{rs}$, i.e., equation (3.26). This proves (4.42) and thus ${\overline{\nabla}}_{0}{\overline{\nabla}}_{i}V^{b}=0$. As $V^{a}{\overline{\mathrm{Ric}}}_{ab}=0$ on ${\mathcal{M}}$, we have that

[TABLE]

because of ${\overline{\nabla}}_{i}{\overline{\nabla}}_{j}V^{a}=0$ on ${\mathcal{M}}$.

The last and most complicated part of the proof now consists of showing that $\delta^{{\overline{\mathbf{g}}}}L_{a}$ and $V^{a}{\overline{\nabla}}_{0}{\overline{\nabla}}_{a}E_{b}$ vanish on ${\mathcal{M}}$. As a starting point, we take equation (4.4),

[TABLE]

Differentiating both sides covariantly in direction of $V$, using that ${\overline{\nabla}}_{a}V^{a}\mathrm{Z}_{bc}=0$ along ${\mathcal{M}}$ due to (4.8), yields

[TABLE]

Setting $b=0$ and $c=j$ this and $E_{d}|_{\mathcal{M}}=0$ and ${\overline{\nabla}}_{a}E_{b}|_{\mathcal{M}}=0$ gives

[TABLE]

We now show that $V^{a}{\overline{\nabla}}_{a}{\overline{\mathrm{Ric}}}_{0j}$ vanishes on ${\mathcal{M}}$:

Using the second Bianchi identity we find

[TABLE]

because of equation (4.42) along ${\mathcal{M}}$ and differentiation is along ${\mathcal{M}}$. Thus, (4.45) gives

[TABLE]

This as well as $E_{a}=0$ and ${\overline{\nabla}}_{a}E_{b}=0$ on ${\mathcal{M}}$ that also

[TABLE]

on ${\mathcal{M}}$. But then, equation (4.12) immediately yields

[TABLE]

for all $j=1,\ldots,n$. Moreover, Lemma 4.5 says that $V^{a}(\delta^{{\overline{\mathbf{g}}}}L)_{a}$ is a linear expression in ${\overline{\nabla}}_{b}V^{d}$ and ${\overline{\nabla}}_{b}{\overline{\nabla}}_{c}V^{d}$ terms, which vanish on ${\mathcal{M}}$. It follows that on ${\mathcal{M}}$

[TABLE]

and as a consequence,

[TABLE]

Again using formula (4.12) shows now that ${\overline{\nabla}}_{0}{\overline{\nabla}}_{0}E_{b}=0$ on ${\mathcal{M}}$, Inserting this into (4.46) shows that

[TABLE]

Hence, all covariant derivatives ${\overline{\nabla}}_{a}{\overline{\nabla}}_{b}E_{c}$ vanish, proving equations (4.26) in the proposition. ∎

5. Proof of Theorem 1: global aspects

5.1. From local to global

We next globalise the local development of the initial data. So far we have constructed for every $p\in{\mathcal{M}}$ the data $({{\overline{\mathbf{g}}}}^{\mathcal{U}_{p}},V^{\mathcal{U}_{p}},\mathrm{Z}^{\mathcal{U}_{p}})$ defined on some open $\mathcal{U}_{p}\subset\mathbb{R}\times{\mathcal{M}}$ sufficiently small. Let $p,q\in{\mathcal{M}}$ and assume that $\mathcal{U}_{p}\cap\mathcal{U}_{q}\neq\emptyset$. Choose coordinates $(x^{0},...,x^{n})$ and $(y^{0},...,y^{n})$ on $\mathcal{U}_{p}$ and $\mathcal{U}_{q}$ respectively as before. On $\mathcal{U}_{p}\cap\mathcal{U}_{q}$ we consider the coordinates given by restriction of the $x^{i}$. Then, with respect to these coordinates, the data

[TABLE]

solve by construction the system (4.4)-(4.6) formulated locally in the $x$-coordinates. This follows as these equations are manifestly coordinate invariant. Moreover the initial data $(w_{p})_{|{\mathcal{M}}_{p}}=(w_{q})_{|{\mathcal{M}}_{q}}$ coincide since they arise as restrictions of globally defined data on ${\mathcal{M}}$. It then follows from the uniqueness result for solutions of symmetric quasilinear hyperbolic systems that

[TABLE]

We now set

[TABLE]

As each ${\overline{\mathbf{g}}}^{\mathcal{U}_{p}}$ lies in $\mathcal{G}_{p}$, the ${\overline{\mathbf{g}}}^{\mathcal{U}_{p}}$ define a global Lorentzian metric on ${\mathcal{M}}$ on which $\partial_{t}$ is a timelike vector field. We equip ${\mathcal{M}}$ with the time orientation induced by $\partial_{t}$. By the previous local constructions, $({\mathcal{M}},\mathbf{g})$ embeds into $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ with Weingarten tensor $\mathrm{W}$. Moreover, by (5.1) the locally defined vector fields $V^{\mathcal{U}_{p}}$ give rise to a vector field $V\in\mathfrak{X}({\overline{\mathcal{M}}})$ which is parallel and of length zero as this holds locally.

5.2. ${\mathcal{M}}\subset{\overline{\mathcal{M}}}$ is a spacelike Cauchy hypersurface.

To this end, let $\gamma:I\rightarrow{\overline{\mathcal{M}}}=\cup_{p\in{\mathcal{M}}}\mathcal{U}_{p}$ be an inextendible timelike curve and let $t^{*}\in I$ be any fixed parameter. Let $p\in{\mathcal{M}}$ such that $\gamma(t^{*})\in\mathcal{U}_{p}$. For such fixed $p$ we consider the restricted curve

[TABLE]

which is an inextendible timelike curve in the globally hyperbolic manifold $(\mathcal{U}_{p},g^{\mathcal{U}_{p}})$. Thus, the spacelike Cauchy hypersurface ${\mathcal{M}}_{p}\subset{\mathcal{M}}$ in $\mathcal{U}_{p}$ is met by $\gamma_{|\gamma^{-1}(\mathcal{U}_{p})}$. It remains to show that $\gamma$ meets ${\mathcal{M}}$ at most once. With respect to the splitting $\mathbb{R}\times{\mathcal{M}}$ we decompose

[TABLE]

and compute

[TABLE]

Let us assume that there is $\tau\in I$ with $\dot{\gamma}_{t}(\tau)=0$. Let $q:=\gamma(\tau)$. Then $0>{\overline{\mathbf{g}}}^{\mathcal{U}_{q}}(\dot{\gamma}_{{\mathcal{M}}}(\tau),\dot{\gamma}_{{\mathcal{M}}}(\tau))$. This, however, contradicts the condition ${\overline{\mathbf{g}}}\in\mathcal{G}_{q}$ imposed on $\mathcal{U}_{q}$ and ${\overline{\mathbf{g}}}^{\mathcal{U}_{q}}$ in the second step of the proof. Consequently, $\gamma_{t}:I\rightarrow\mathbb{R}$ is strictly monotone, and thus $\gamma_{t}=0$ has at most one solution. In total, $\gamma$ intersects ${\mathcal{M}}$ exactly once. It follows that $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ is globally hyperbolic with Cauchy hypersurface ${\mathcal{M}}$ and parallel null vector $V$.

5.3. The metric is of the form $-\widetilde{\lambda}^{2}dt^{2}+\mathbf{g}_{t}$

Here we will prove the last aspect of Theorem 1, namely that the metric ${\overline{\mathbf{g}}}$ obtain in this way is of the form

[TABLE]

Let $t$ denote the function ${\overline{\mathcal{M}}}\ni(t,x)\mapsto t$. By construction, the vector field $\text{grad}^{{\overline{\mathbf{g}}}}(t)$ is a global timelike vector field on ${\overline{\mathcal{M}}}$ and the leaves of the integrable distribution $(\text{grad}^{{\overline{\mathbf{g}}}}(t))^{\perp}$ are the $t$-levels $\{t\}\times{\mathcal{M}}=:{\mathcal{M}}_{t}$. Let $F\in\mathfrak{X}({\overline{\mathcal{M}}})$ denote the vector field that is proportional to $\text{grad}^{{\overline{\mathbf{g}}}}(t)$ and such that $dt(F)\equiv 1$, i.e.,

[TABLE]

and denote by $\phi$ its flow. Note that $\phi$ sends level sets to level sets, i.e., $\phi_{s}(p)\in\mathcal{{\mathcal{M}}}_{t(p)+s}$. Indeed, for each $p\in{\overline{\mathcal{M}}}$, the function $f(s):=t(\phi_{s}(p))\in\mathbb{R}$ satisfies

[TABLE]

and hence $f(s)=t(\phi_{s}(p))=s+t(p)$. We further define two open neighbourhoods ${\overline{\mathcal{M}}}^{1,2}$ of ${\mathcal{M}}$ in ${\overline{\mathcal{M}}}\subset\mathbb{R}\times{\mathcal{M}}$,

[TABLE]

where we identify $x\in{\mathcal{M}}$ with $(0,x)\in{\mathcal{M}}_{0}$. Note that for each $p=(t,x)\in{\overline{\mathcal{M}}}^{2}$ the number $\tau=\tau(p)$ is uniquely determined. Namely if $\phi_{-\tau_{1}}(p),\phi_{-\tau_{2}}(p)\in{\mathcal{M}}_{0}$ it follows from applying the function $t$ that

[TABLE]

Moreover, as ${\overline{\mathcal{M}}}=\cup_{x\in{\mathcal{M}}}\mathcal{U}_{x}$ and each $\mathcal{U}_{x}$ satisfies by construction (3.27), it simply follows that ${\overline{\mathcal{M}}}^{2}={\overline{\mathcal{M}}}$. Then we have a well defined diffeomorphism

[TABLE]

with $\Psi((t,x))\in{\mathcal{M}}_{t}$. Its inverse is given by

[TABLE]

It also satisfies

[TABLE]

Therefore, for the pulled back metric we have at each $(\widetilde{t},x)\in{\overline{\mathcal{M}}}^{1}$ and for every vector field $X$ on ${\overline{\mathcal{M}}}^{1}$ with values in $T{\mathcal{M}}_{\tau}$ for some fixed $\tau$

[TABLE]

since $d\psi_{(\widetilde{t},x)}(X)$ is tangential to ${\mathcal{M}}_{\widetilde{t}+\tau}$ and $F$ is a multiple of the gradient of $t$. Hence, $\partial_{t}$ is orthogonal to $T{\mathcal{M}}$ with respect to $\Psi^{*}{\overline{\mathbf{g}}}$, showing that

[TABLE]

for some $t$-dependent family of metrics on ${\mathcal{M}}$. As $\Psi$ restricts to the identity on ${\mathcal{M}}\subset{\overline{\mathcal{M}}}^{1,2}$ it follows that $\mathbf{g}_{0}=\mathbf{g}$. Moreover, by equation (5.2),

[TABLE]

On ${\mathcal{M}}={\mathcal{M}}_{0}$ we have $\widetilde{\lambda}|_{{\mathcal{M}}}=\frac{1}{\sqrt{h(\text{grad}^{h}t,\text{grad}^{h}t)|_{{\mathcal{M}}}}}=\lambda|_{{\mathcal{M}}}$. In summary, passing from $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ to $({\overline{\mathcal{M}}}^{1},\psi^{*}{\overline{\mathbf{g}}})$ via $\psi$ yields an open neigborhood of ${\mathcal{M}}$ in $\mathbb{R}\times{\mathcal{M}}$ with parallel null vector field, metric of the form (5.4), and as $\psi$ restricts to the identity on ${\mathcal{M}}$, we deduce that ${\mathcal{M}}$ is also a spacelike Cauchy hypersurface for $({\overline{\mathcal{M}}}^{1},\psi^{*}{\overline{\mathbf{g}}})$. This finishes the proof of Theorem 1. $\hfill\Box$

Remark 5.1**.**

The proof of Theorem 1 shows that ${\overline{\mathbf{g}}}$ depends on the background metric $h$ which was introduced in the proof in terms of the following PDE-system: the contracted difference tensor $E$ of the Levi-Civita connections of ${\overline{\mathbf{g}}}$ and $h$ vanishes, i.e.

[TABLE]

where $A(Y,Z):={\overline{\nabla}}_{Y}Z-\nabla^{h}_{Y}Z$ for $Y,Z\in TM$. Imposing this extra condition in Theorem 1 for the solution ${\overline{\mathbf{g}}}$ for a fixed background metric $h$ determines ${\overline{\mathbf{g}}}$ uniquely for each choice of $h$.

6. Riemannian manifolds satisfying the constraint

In this section we study Riemannian manifolds $({\mathcal{M}},\mathbf{g})$ satisfying the constraint condition (1.1), which in fact means that there is a non-zero vector field $U$ such that $\nabla U$ is a symmetric endomorphism of $(T{\mathcal{M}},\mathbf{g})$.

6.1. The local structure and the proof of Theorem 2

The condition (1.1) is equivalent to $\nabla U^{\flat}=\mathbf{g}(\nabla U,\cdot)$ being symmetric, which in turn is equivalent to $dU^{\flat}=0$. Now we can argue analogously as in [31, Proposition 8]:

Locally near some fixed $x_{0}\in{\mathcal{M}}$ we have that $U=\text{grad}^{\mathbf{g}}(z)$ for some function $z$ on $\mathcal{V}\subset{\mathcal{M}}$ with $z(x_{0})=0$. The leafs of the integrable distribution $U^{\bot}=\ker(dz)$ are given by the level sets

[TABLE]

Let $Z\in\Gamma(\mathcal{V})$ denote the vector field that is proportional to $U$ and such that $\mathbf{g}(U,Z)=dz(Z)\equiv 1$, i.e.,

[TABLE]

and denote by $\phi$ its flow. Choose $\epsilon>0$ and an open subset $\mathcal{W}\subset{\mathcal{M}}$ centered around $x_{0}$ such that $\phi$ is defined on $(-\epsilon,\epsilon)\times\mathcal{W}$. We now restrict the levels $\mathcal{U}_{c}$ to their intersections with $\mathcal{W}$, denoted with the same symbol. Since

[TABLE]

the flow sends level sets to level sets, i.e., $\phi_{s}(x)\in\mathcal{U}_{z(x)+s}$. Indeed, for each $x\in\mathcal{U}_{z(x)}$, the function $f(s):=z(\phi_{s}(x))\in\mathbb{R}$ satisfies

[TABLE]

and hence $f(s)=z(\phi_{s}(x))=s+z(x)$. Then we have a diffeomorphism

[TABLE]

with $\Psi(s,x)\in\mathcal{U}_{s}$. Its inverse is given by

[TABLE]

It also satisfies

[TABLE]

Therefore, for the pulled back metric we have

[TABLE]

since $d\Psi_{(t,x)}(X)$ is tangential to a level set whenever $X$ is, and $\mathrm{Z}$ is a multiple of the gradient of $z$. Finally, ${\mathbf{h}}_{s}$ is given by

[TABLE]

for $X,Y\in\mathcal{U}_{0}$. Hence, $\Psi^{*}\mathbf{g}=\mu^{2}ds^{2}+{\mathbf{h}}_{s}$ with

[TABLE]

Setting $\mathcal{F}:=\mathcal{U}_{0}=z^{-1}(0)$, this gives the local form of the metric (1.2).

Moreover, if $Z=\frac{1}{u^{2}}U$ is complete, [31, Proposition 8] shows that the flow of the lift of $\mathrm{Z}$ to the universal cover $\widetilde{{\mathcal{M}}}$ of ${\mathcal{M}}$ defines a global diffeomorphism $\Psi$ between $\widetilde{{\mathcal{M}}}$ and $\mathbb{R}\times\widetilde{{\mathcal{F}}}$, where $\widetilde{F}$ is the universal cover of a leaf $\mathcal{F}$ of $U^{\perp}$.

Finally, we compute for $({\mathcal{M}},\mathbf{g})$ as in formula (1.2) and $X,Y\in T\mathcal{F}$ the symmetric bilinear form $\mathrm{W}=-\frac{1}{u}\nabla U$ as follows:

[TABLE]

Clearly, this is equivalent to equations (1.3). This finishes the proof of Theorem 2. $\hfill\Box$

6.2. Complete Riemannian manifolds satisfying the constraint

In order to obtain complete Riemannian manifolds satisfying the constraint, we will use the following lemma, which is a weaker version of forthcoming results in [32], see also [20, Lemma 2].

Lemma 6.1**.**

Let $\mathcal{F}$ be a compact manifold with a $s$-dependent family of Riemannian metrics $\mathbf{h}_{s}$ and let $u$ be a bounded, positive smooth function on ${\mathcal{M}}=\mathbb{R}\times\mathcal{F}$. Then the metric

[TABLE]

on ${\mathcal{M}}$ is complete.

Proof.

According to the decomposition ${\mathcal{M}}=\mathbb{R}\times\mathcal{F}$ we can write every curve $\gamma:[a,b)\to{\mathcal{M}}$ as $\gamma(t)=(s(t),x(t))$ with $s:[a,b)\to\mathbb{R}$. Hence,

[TABLE]

For a curve with $\mathbf{g}(\dot{\gamma},\dot{\gamma})\equiv c\in{\mathrm{R}}$ constant, e.g. a geodesic, $\mathbf{h}_{s}$ being positive definite shows that $0\leq\mathbf{h}_{s}(\dot{x},\dot{x})\leq c$ is bounded, and $u$ bounded implies

[TABLE]

showing that also $\dot{s}:[a,b)\to\mathbb{R}$ is bounded. Hence, if $b\in\mathbb{R}$, the function $s:[a,b)\to\mathbb{R}$ is bounded and its image lies in a compact set in $\mathbb{R}$. Hence $s(b)=\lim_{t\to b}s(t)\in{\mathrm{R}}$ is well-defined.

Now assume that $({\mathcal{M}},\mathbf{g})$ is incomplete. Let $\gamma:[a,b)\to{\mathcal{M}}$ be a maximal geodesic with $b\in\mathbb{R}$. Then $\gamma$ leaves every compact set in ${\mathcal{M}}$. Indeed, if $\gamma(t)$ remained in a compact set, then $\{\gamma(t_{n})\}_{n\in{\mathbb{N}}}$ with $t_{n}\rightarrow b^{-}$ would have a convergent subsequence. However, $\{\gamma(t_{n})\}$ is a Cauchy sequence for the metric $d_{\mathbf{g}}$ induced by the Riemannian metric $\mathbf{g}$. Hence $\{\gamma(t_{n})\}$ converges, and thus $\gamma$ could be extended beyond $b$. On the other hand, we have seen that the image of $s$ lies in a compact set in $\mathbb{R}$. Hence, that $\gamma$ leaves every compact set in ${\mathcal{M}}=\mathbb{R}\times\mathcal{F}$ is a contradiction to $\mathcal{F}$ compact. ∎

7. Special Lorentzian holonomy and families of Riemannian metrics

Based on the classification of indecomposable holonomy groups of Lorentzian manifolds with parallel null vector field [12, 30], we will now show how we can use Theorem 1 to construct Lorentzian manifolds with prescribed holonomy from families of Riemannian metrics. Our aim in this section is to prove Theorem 3.

7.1. The screen bundle of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$

To every Lorentzian manifold with parallel null vector field, in particular to the data $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}},\;V)$ constructed via Theorem 1, we can associate the screen bundle

[TABLE]

equipped with covariant derivative $\nabla_{X}^{\mathcal{S}}[Y]:=\left[{\overline{\nabla}}_{X}Y\right]$. In contrast to the general case, however, our settting always yields a canonical realisation of $\mathcal{S}$ as a subbundle $S$ of $T{\overline{\mathcal{M}}}$ by means of the natural vector bundle isomorphism

[TABLE]

This isomorphism pulls back $\nabla^{\mathcal{S}}$ to the covariant derivative

[TABLE]

which in turn is metric with respect to the positive definite screen metric ${\overline{\mathbf{g}}}^{S}:={\overline{\mathbf{g}}}_{S\times S}$. Having these identifications in mind, we also refer to $S$ as the screen. The screen construction is a useful tool when analyzing the holonomy of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$, which by construction is contained in the stabiliser of a null vector, i.e. (up to conjugation), we have

[TABLE]

(Note that the Lorentzian manifolds arising via Theprem 1 are time-orientable.) For any subgroup $\mathbf{G}\subset\mathbf{SO}(n)\ltimes\mathbb{R}^{n}$, let $\mathrm{pr}_{\mathbf{SO}(n)}\mathbf{G}$ denote its projection onto the $\mathbf{SO}(n)$-part. Then we have by construction

[TABLE]

Recall that on ${\overline{\mathcal{M}}}$ the parallel null vector field $V$ decomposes into $V=\overline{u}T-N$. We next list useful formulas for the screen covariant derivative $\nabla^{S}$ and the screen curvature ${\mathrm{R}}^{S}$. By trivial extension, we will often view a section of $S\rightarrow{\overline{\mathcal{M}}}$ equivalently as element of $\mathfrak{X}({\overline{\mathcal{M}}})=\Gamma(T{\overline{\mathcal{M}}})$ which is everywhere orthogonal to $T$ and $\;V$ and denote it with the same symbol.

Lemma 7.1**.**

Let $\sigma\in\Gamma(S)$ and let $X,Y,Z\in\Gamma(T{\overline{\mathcal{M}}})$. The following hold:

[TABLE]

Proof.

These are straightforward calculations following directly from the various definitions, parallelity of $V$ as well as the symmetries and second Bianchi identity for ${\overline{\mathrm{R}}}$. ∎

For the data $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}},\;V)$ constructed via Theorem 1, let

[TABLE]

denote the $(r,s)$-screen tensor bundle with covariant derivative induced by $\nabla^{S}$ and denoted with the same symbol. ${\mathrm{R}}^{S}$ also denotes the curvature operator of $(T^{r,s},\nabla^{S})$.

Finally, we need to understand the pullback $S|_{{\mathcal{M}}}\rightarrow{\mathcal{M}}$ of the screen bundle $S\rightarrow{\overline{\mathcal{M}}}$ by means of the inclusion ${\mathcal{M}}=\{0\}\times{\mathcal{M}}\hookrightarrow{\overline{\mathcal{M}}}$. By construction, it follows that $S|_{{\mathcal{M}}}=U^{\perp}\rightarrow{\mathcal{M}}$, whence the restriction $\sigma|_{{\mathcal{M}}}\in\Gamma(S|_{{\mathcal{M}}})$ of any $\sigma\in\Gamma(S)$ to ${\mathcal{M}}$ can be regarded as vector field on ${\mathcal{M}}$ which is orthogonal to $U$. On the vector bundle $U^{\perp}\to{\mathcal{M}}$ we have the connection that is induced by the Levi-Civita connnection of $\mathbf{g}$, $\nabla^{\perp}=\mathrm{pr}_{U^{\perp}}\circ\nabla^{\mathbf{g}}$. Then

Lemma 7.2**.**

For each $X\in\mathfrak{X}({\mathcal{M}})$ and $\sigma\in\Gamma(S)$, we have

[TABLE]

Proof.

It follows from formula (2.1) that

[TABLE]

∎

Now we describe the parallelity of a section of $S^{r,s}\to{\overline{\mathcal{M}}}$ in terms of the corresponding section of the pulled back bundle $S|_{\mathcal{M}}$.

Proposition 7.1**.**

Let $({\mathcal{M}},\mathbf{g},U)$ be a Riemannian manifold satisfying the constraint (1.1) and $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ the Lorentzian manifold arising via Theorem 1. Then the $\nabla^{S}$-parallel sections of the bundle $S^{r,s}\rightarrow{\overline{\mathcal{M}}}$ are in one-to-one correspondence with $\nabla^{\perp}$-parallel sections $\zeta$ of the pulled back bundle $S^{r,s}|_{{\mathcal{M}}}\rightarrow{\mathcal{M}}$, i.e., with

[TABLE]

Proof.

By the previous lemma it is clear that a parallel section of $T^{r,s}S\rightarrow{\overline{\mathcal{M}}}$ satisfies (7.3).

On the other hand, let us assume condition (7.3). We extend $\zeta$ to a section of $T^{r,s}S\rightarrow{\overline{\mathcal{M}}}$ by parallel transport in $V$-direction, i.e., such that $\nabla_{V}^{S}\zeta=0$. It then suffices to show that $\nabla^{S}_{X}\zeta=0$ for $X\in T^{\bot}$. To this end we introduce the bundle

[TABLE]

as well as the section $A\in\Gamma(H)$, given by

[TABLE]

Clearly, there are naturally induced covariant derivatives on $H$. For $X\in T^{\bot}$ we compute, using the identities from Lemma 7.1 as well as ${\overline{\nabla}}V=0$, that

[TABLE]

Thus, ${\overline{\nabla}}^{S}_{V}A=0$ which is a linear symmetric hyperbolic first order PDE for $A$. As $A|_{{\mathcal{M}}}=0$ by assumption, we conclude $A\equiv 0$. ∎

Now we specify Proposition 7.1 for the situation when $({\mathcal{M}},g)$ is globally given as in Theorem 2, i.e., when ${\mathcal{M}}=\mathcal{I}\times\mathcal{F}$, where $s\in\mathcal{I}$ with $\mathcal{I}$ and interval, $\mathbb{R}$ or the circle, $\mathcal{F}$ is a smooth manifold, and $\mathbf{g}=u^{-2}ds^{2}+\mathbf{h}_{s}$ with a smooth non-vanishing function $u$ on ${\mathcal{M}}$. Then, $U=u^{2}\partial_{s}$ and we can express a section $Z$ of the bundle $U^{\perp}\to{\mathcal{M}}$ by an $s$-dependent family of sections $Z_{s}$ of $T\mathcal{F}\to\mathcal{F}$. Differentiating such a section $Z_{s}$ in direction $X\in T\mathcal{F}$ we get the identity

[TABLE]

where $\nabla^{\mathbf{h}_{s}}$ is the Levi-Civita connection of the metric $\mathbf{h}_{s}$. Differentiating in $s$-direction, by the Koszul formula, we get for each $X\in T\mathcal{F}$ that

[TABLE]

where $\mathcal{L}_{\partial_{s}}$ denotes the Lie derivative with respect to $\partial_{s}$ and where we assume that $[\partial_{s},X]=0$. However, we have that $(\mathcal{L}_{\partial_{s}}\mathbf{g})(X,Y)=(\mathcal{L}_{\partial_{s}}\mathbf{h}_{s})(X,Y)$, whenever $X$ and $Y$ are tangential to $\mathcal{F}$. Hence, when dualising equation (7.4) with the metric $\mathbf{h}_{s}$ we get that

[TABLE]

where $\sharp$ denotes the ($s$-dependent) dualisation with respect to $\mathbf{h}_{s}$. Introducing the notation $\dot{\mathbf{h}}_{s}$ for $\mathcal{L}_{\partial_{s}}\mathbf{h}_{s}$ we can write this concisely as

[TABLE]

Using this, for a family of $1$-forms $\sigma_{s}\in\Gamma(T^{*}\mathcal{F})$ we get

[TABLE]

for all $X\in T\mathcal{F}$, i.e. that

[TABLE]

where $\bullet$ denotes the natural action of endomorphisms on $1$-forms and $\dot{\mathrm{s}}_{s}:=\mathcal{L}_{\partial_{s}}\sigma_{s}$ is the Lie derivative.

This relation generalises to families of tensor fields $\sigma_{s}$ of higher rank and we obtain:

Corollary 7.1**.**

Let $\mathcal{F}$ be a smooth manifold and $\mathbf{h}_{s}$ be a family of Riemannian metrics on $\mathcal{F}$, where $s\in\mathcal{I}$ with $\mathcal{I}$ being an interval, $\mathbb{R}$ or the circle, $u$ a non-zero smooth function on ${\mathcal{M}}=\mathcal{I}\times\mathcal{F}$ and $\mathbf{g}=u^{-2}ds^{2}+\mathbf{h}_{s}$ be the Riemannian manifold defined in (1.2). Moreover, let $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ the Lorentzian manifold arising from $({\mathcal{M}},\mathbf{g})$ via Theorem 1. Then there is a one-to-one correspondence between

1. (1)

sections $\overline{\sigma}$ of the bundle $S^{k,l}\to{\overline{\mathcal{M}}}$ such that $\nabla^{S}_{X}\overline{\sigma}=0$ for all $X\in T{\overline{\mathcal{M}}}$; 2. (2)

sections $\sigma$ of of the bundle $\otimes^{k,l}U^{\perp}\to{\mathcal{M}}$ such that $\nabla^{\perp}_{Y}\sigma=0$ for all $Y\in T{\mathcal{M}}$; 3. (3)

$s$-dependent families of sections $\sigma_{s}$ of $\otimes^{k,l}T\mathcal{F}\to\mathcal{F}$ with

[TABLE]

where $\nabla^{\mathbf{h}_{s}}$ is the Levi-Civita connection of the metric $\mathbf{h}_{s}$, the dot denotes the Lie derivative in $s$-direction, $\sharp$ the dualisation with respect to $\mathbf{h}_{s}$, and $\bullet$ is the natural action of an endomorphism field on $\otimes^{k,l}T\mathcal{F}$., i.e.,

[TABLE]

for $X_{1},\ldots,X_{k}\in T\mathcal{F}$.

This corollary will now provide us with a proof of Theorem 3.

7.2. Lorentzian special holonomy and the proof of Theorem 3

Here we use the result of Section 7.1 to obtain a proof of Theorem 3. In the setting of Theorem 3 start with data $({\mathcal{M}},\mathbf{g},\mathrm{W},U)$ satisfying the initial condition (1.1) and then first apply Theorem 2 to conclude that these data are given as

[TABLE]

solving (1.1) for $\mathrm{W}$ as in (1.3). Thus the existence of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ with parallel null vector and initial data for $\mathbf{g}_{t}$ and $\dot{\mathbf{g}}_{t}$ as desired follows from Theorem 1. Next, it follows from Section 7.1, in particular from Proposition 7.1, that $\mathrm{pr}_{\mathbf{SO}(n)}\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})=\mathrm{Hol}(S,\nabla^{S})$ fixes an element in $T^{k,l}\mathbb{R}^{n}$ if and only if there is $\sigma\in\Gamma({\mathcal{M}},T^{k,l}U^{\perp})$ solving $\nabla^{\perp}\sigma=0$. Using the explicit form of $({\mathcal{M}},\mathbf{g})$ and $U$ from Theorem 2, $\sigma$ can be equivalently viewed as $s$-dependent family of tensor fields $\sigma_{s}\in\Gamma({\mathcal{F}},T^{k,l}{\mathcal{F}})$. By and Corollary 7.1, equation $\nabla^{\perp}\sigma=0$ is then equivalent to equations (7.5) and (7.6). This proves the first statement in Theorem 3 and it remains to verify the statements in Table 1. For this we first consider the situation that the screen holonomy is in $\mathbf{U}(\frac{n}{2})$, i.e., that

[TABLE]

By equation (7.5), this case requires $\mathrm{Hol}(\mathcal{F},{\mathbf{h}}_{s})\subset\mathbf{U}(\frac{n}{2})$. In other words, there are families of complex structures $J_{s}$, Kaehler forms $\omega_{s}$ on $\mathcal{F}$ which are parallel with respect to

[TABLE]

and satisfy the flow equations (1.4). Hence, $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{U}(\frac{n}{2})$ is equivalent to $\mathrm{Hol}(\mathcal{F},{\mathbf{h}}_{s})\subset\mathbf{U}(\frac{n}{2})$ and equations

[TABLE]

for all $s$ and where the dot again denotes the Lie derivative with respect to the parameter $s$.

Now we turn to those holonomy groups in Table 1 that are defined as the stabiliser of one or more tensors, i.e., to $\mathbf{Sp}(\frac{n}{4})$, $\mathbf{G}_{2}$ and $\mathbf{Spin}(7)$:

The case $n=4k$ and constraints for $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{Sp}(k)$ is in complete analogy to the $\mathbf{U}(\tfrac{n}{2})$-case, characterised by families of hyper-Kähler metrics ${\mathbf{h}}_{s}$ on ${\mathcal{F}}$ with corresponding compatible parallel almost complex structures $(J_{s}^{1})$, $i=1,2,3$, i.e. $J_{s}^{1}J_{s}^{2}=J_{s}^{3}$ and Kaehler forms $\omega_{s}^{i}$ such that ${\mathbf{h}}_{s}=\omega_{s}(J_{s}\cdot,\cdot)$ satisfying the corresponding flow equations (7.8).

For the case $n=7$ and constraints for $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{G}_{2}$ recall that the exceptional group $\mathbf{G}_{2}\subset\mathbf{SO}(7)$ can be realised as the stabiliser subgroup of a stable $3$-form in $\mathbb{R}^{7}$, see for example [16, 26, 25, 21] more details. Hence, by Coroallary 7.1 the case $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{G}_{2}$ is characterised by a family of associated stable 3-forms $\phi_{s}\in\Omega^{3}({\mathcal{F}})$ on $\mathcal{F}$ evolving according to equation (7.6) with associated family ${\mathbf{h}}_{s}$ of $\mathbf{G}_{2}$. This implies the corresponding entry in Table 1.

For the case $n=8$ and constraints for $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{Spin}(7)$ recall the algebraic properties of the group $\mathbf{Spin}(7)\subset\mathbf{SO}(8)$ and its realisation in terms of the stabiliser of a generic 4-form, again see [16, 26] for details but also [28]. The discussion then is completely analogous to the $\mathbf{G}_{2}$ case and the constraint equations are equivalent to the existence of a family of parallel $\mathbf{Spin}(7)$-structures $\psi_{s}$ on $\mathcal{F}$ evolving under the flow equation (7.6).

Now we turn to the case that is $n$ even and the screen holonomy is special unitary, i.e., $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{SU}(\frac{n}{2})$. This is the most difficult case because this reduction is not simply given as the stabiliser of a tensor, but rather by a trace condition in addition to the reduction to $\mathbf{U}(n)$.

The parallel almost complex structures $J_{s}$ coming from the reduction $\mathrm{Hol}(S,\nabla^{S})\subset\mathbf{SU}(\frac{n}{2})$ give a $\nabla^{\perp}$ parallel almost complex structure $J\in\Gamma({\mathcal{M}},\text{End}(U^{\perp}))$. By Proposition 7.1, $J$ gives via $\nabla^{S}$-parallel translation a $\nabla^{S}$-parallel almost complex structure $J^{S}$ on the screen $S\rightarrow{\overline{\mathcal{M}}}$. From now on we will work on the Lie algebra level. The holonomy algebra $\mathfrak{hol}(S,\nabla^{S})$ is contained in $\mathfrak{su}(\tfrac{n}{2})$ if and only if $\mathfrak{hol}(S,\nabla^{S})\mathfrak{u}(\tfrac{n}{2})$ and each of its elements $A$ satisfies

[TABLE]

where we identify elements in the holonomy algebra with endomorphism of a fibre of the screen bundle $S$. Now we apply the Ambrose-Singer holonomy theorem to the holonomy algebra $\mathfrak{hol}(S,\nabla^{S})$ at $p\in{\mathcal{M}}$, which states that

[TABLE]

where ${\mathrm{R}}^{S}$ is the curvature of the screen bundle $S$ and $P^{S}_{\gamma}$ is the parallel transport along a curve $\gamma$. Since $J^{S}$ is parallel, it commutes with all parallel transports $P^{S}_{\gamma}$ and we obtain

[TABLE]

Using this, the Ambrose-Singer theorem and the fact that ${\mathrm{R}}^{S}(V,\cdot)=0$ we obtain that $\mathfrak{hol}(S,\nabla^{S})\subset\mathfrak{su}(\tfrac{n}{2})$ if and only if $J^{S}$ additionally satisfies

[TABLE]

Let us now consider the left side of condition (7.9) as section $C$ in the bundle $\Lambda^{2}T^{\bot}\rightarrow{\overline{\mathcal{M}}}$, which in turn carries a covariant derivative induced by ${\overline{\nabla}}$. We have by parallelity of $J^{S}$ and $V$ and Lemma 7.1 that

[TABLE]

Hence, $C\equiv 0$ if and only if

[TABLE]

which in turn is evaluated by using the Gauß equation

[TABLE]

for all $X,Y,Z,L\in T{\mathcal{M}}.$ Let $s_{i}$ be a local orthonormal basis of $S|_{{\mathcal{M}}}=U^{\perp}\rightarrow{\mathcal{M}}$ and $X,Y\in T{\mathcal{M}}$. Then we have

[TABLE]

Therefore, the additional condition on $({\mathcal{M}},\mathbf{g},\mathrm{W},U,J)$ ensuring special unitary screen holonomy is

[TABLE]

For Theorem 3 one has to evaluate equation (7.12) in terms of data on $({\mathcal{F}},{\mathbf{h}}_{s})$ as in Theorem 2. Let $\mathrm{W}_{s}=\mathrm{W}_{|{\mathcal{F}}_{s}\times{\mathcal{F}}_{s}}$. Then one finds for the embedding $({\mathcal{F}},{\mathbf{h}}_{s})\hookrightarrow({\mathcal{M}},\mathbf{g})$ with unit normal $u\,\partial_{s}$ along $\mathcal{F}$ that

[TABLE]

That is $\mathrm{W}_{s}$ is actually the Weingarten tensor of this embedding. Thus, using a Riemannian version of the Gauß equation, the curvature ${\mathrm{R}}_{s}$ of ${\mathbf{h}}_{s}$ is for $X,Y,Z,L\in T{\mathcal{F}}$ related to that of $({\mathcal{M}},\mathbf{g})$ via

[TABLE]

and the Codazzi equation

[TABLE]

Inserting equation (7.13) into (7.12), we obtain for $X,Y\in T{\mathcal{F}}$ after a straightforward calculation using $\nabla^{{\mathbf{h}}_{s}}J_{s}=0$,

[TABLE]

On the other hand, we also need to evaluate

[TABLE]

The right side of (7.15) is calculated using (1.3) and is equal to $\tfrac{2}{u^{2}}\mathbf{g}(\text{grad}^{\mathbf{g}}(u),J(\mathrm{W}(X)))$. For the left side, (7.12) and (7.14) yield with a straightforward computation

[TABLE]

Thus, (7.15) is equivalent to

[TABLE]

Hence, the constraints for special unitary screen holonomy are equivalent to the existence of Ricci-flat Kähler metrics $(J_{s},\omega_{s},{\mathbf{h}}_{s}=\omega_{s}(J_{s}\cdot,\cdot))$ on ${\mathcal{F}}$ satisfying the flow equation (7.6) and additionally solve (7.16).

Finally we consider to the case when the screen holonomy splits or is trivial: Suppose that there are proper subgroups $H_{1}$ and $H_{2}$ of $\mathbf{SO}(n)$ such that

[TABLE]

Equivalently, there is a nontrivial, decomposable and $\nabla^{S}$-parallel form in the screen bundle. Thus, by Theorem 1.4 and the holonomy principle, (7.17) is equivalent to a local metric splitting

[TABLE]

with $\mathrm{Hol}(\mathcal{F}_{i},{\mathbf{h}}_{s}^{i})\subset{H}_{i}$ and additionally the volume forms $\text{vol}^{{\mathbf{h}}_{s}^{i}}$ of the metrics ${\mathbf{h}}_{s}^{i}$, $i=1,2$ evolve according to

[TABLE]

However, it is well-known and straightforward to compute that (7.19) holds for any time evolving metric with associated family of volume forms.

Finally, let us now consider the special case that the screen is flat, i.e., the standard representation of $\mathrm{Hol}(S,\nabla^{S})$ decomposes into $n$ trivial subrepresentations. It follows immediateley from an iterated version of the statement in the case where the screen holonomy splits hat this is equivalent to $(\mathcal{F},{\mathbf{h}}_{s})$ being a family of flat metrics. This proves Theorem 3. $\hfill\Box$

7.3. One-parameter families of special Riemannian structures

Here we reformulate the evolutions equations (7.6) in the case of Kähler and $\mathbf{G}_{2}$-structures further and formulate a question. We focus on one-parameter families of Kähler structures.

Lemma 7.3**.**

Let $(\mathcal{F},h_{s},J_{s},\omega_{s})$ be an $s$-dependent family of Riemannian Kähler structures on $\mathcal{F}$, i.e. with parallel complex structures $J_{s}$ and $\omega_{s}=h_{s}(J_{s}.,.)$ and set

[TABLE]

Then $\omega$ and $J$ satisfy the flow equations

[TABLE]

if and only if

[TABLE]

Proof.

For brevity, we write drop the index $s$ indicating the $s$-dependence and write a dot for the Lie derivative with respect to $\partial_{s}$, i.e. $\dot{\omega}=\mathcal{L}_{\partial_{s}}\omega$, etc.

First compute

[TABLE]

which implies that $(\dot{\mathbf{h}}^{\sharp}\bullet\omega)\in\Lambda^{1,1}(\mathcal{F},J_{s})$. This shows that equation (7.20) implies relation (7.21).

Secondly, Lie-differentiating and skew-symmetrising the relation $0=\omega-\mathbf{h}(J.,.)$ yields

[TABLE]

by (7.22). We have seen that $(\dot{\mathbf{h}}^{\sharp}\bullet\omega)\in\Lambda^{1,1}(\mathcal{F},J_{s})$ and we claim that

[TABLE]

which shows that relation (7.21) implies equations (7.20). To prove claim (7.23) we differentiate $0=\omega(X,Y)-\omega(JX,JY)$ as in [36, Lemma 4.3] and use $\mathbf{h}(X,Y)=-\omega(JX,Y)=\omega(X,JY)$ to obtain that

[TABLE]

This proves claim (7.23) and because of $\Lambda^{2}(\mathcal{F})=\Lambda^{1,1}(\mathcal{F},J_{s})\oplus\Lambda^{2}_{-}(\mathcal{F},J_{s})$ establishes the desired equivalence. ∎

Note that not every family of Kähler stuctures $(\mathbf{h}_{s},J_{s})$ satisfies equation (7.20): for example for the constant family of flat metrics $\mathbf{h}\equiv\mathbf{h}_{s}$ in even dimension the compatible complex structures are parametrised by the homogeneous space $\mathbf{GL}_{n}{\mathbb{C}}/\mathbf{U}(n)$. Taking a non constant curve of $\mathbf{h}$-parallel, i.e., constant, complex structures $J_{s}$ gives a Kähler structure $(\mathbf{h},J_{s})$ with $\dot{\mathbf{h}}=0$ but $\dot{J}_{s}\not=0$, which contradicts (7.20)333We would like to thank Vincente Cortés for alerting us to this example.. Of course, a constant family of constant complex structures $J_{s}\equiv J$ always satisfies equation (7.20) for the flat metric $\mathbf{h}$. Clearly this suggest the following question: given a family of Kähler metrics, is there a family of complex structures $J_{s}$, or of Kähler forms $\omega_{s}$, such that condition (7.21), and hence flow equation (7.20) is satisfied?

A difficulty when analysing equation (7.21) arises from the fact that for an $s$-dependent family of complex structures $J_{s}$, the algebraic splitting of the two forms into $\Lambda^{1,1}$ and $\Lambda^{2}_{-}$ depends on the parameter $s$.

For $\mathbf{G}_{2}$-structures the situation is similar. Let $\phi_{t}$ be a family of $\mathbf{G}_{2}$-structures defining the family of Riemannian holonomy $\mathbf{G}_{2}$ metrics $\mathbf{h}_{s}$. Since the tangent space at a stable three form $\phi$ splits under $\mathbf{G}_{2}$ into three irreducible components

[TABLE]

it follows that

[TABLE]

for a family of symmetric bilinear forms, whereas the associated metric satisfies

[TABLE]

see [18, 27, 29]. Hence, similarly to the Kähler case, for the curve $\phi_{t}$ the equation that results from Corollary 7.1,

[TABLE]

is equivalent to the condition

[TABLE]

i.e., that $\dot{\phi}$ has no $\mathbb{R}^{7}$-component in the decomposition. Again, it remains the question whether for a given family of parallel $\mathbf{G}_{2}$-structures $\mathbf{h}_{s}$ we can always find a corresponding family of stable $3$-forms $\phi_{t}$ satisfying this condition. This suggest to formulate the following

Open Questions**.**

Let $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ be a Lorentzian manifold obtained from a Riemannian manifold $({\mathcal{M}},\mathbf{g})$ satisfying the constraints via Theorem 1 and with screen holonomy $G=\mathrm{pr}_{\mathbf{SO}(n)}\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$.

1. (1)

If $G\subset\mathbf{U}(\tfrac{n}{2})$, does there always exists a $\nabla^{S}$-parallel complex structure $J$ on $\mathcal{S}$ such that the associated family of $\mathbf{h}_{s}$-parallel and compatible complex structures $J_{s}$ satisfies the flow equation $\dot{J}_{s}+\tfrac{1}{2}\dot{h}^{\sharp}\bullet J_{s}=0$? 2. (2)

If $G\subset\mathbf{G}_{2}$ does there always exists a $\nabla^{S}$-parallel stable $3$-form $\phi$ on $\mathcal{S}$ such that the associated family of $\mathbf{h}_{s}$-parallel stable $3$-forms $\phi_{s}$ satisfies the flow equation $\dot{\phi}_{s}+\tfrac{1}{2}\dot{h}^{\sharp}\bullet\phi_{s}=0$?

Remark 7.1**.**

Interestingly, the flow equation (7.25) for the $\mathbf{G}_{2}$-case appears in [29] in a completely unrelated context as $\mathbf{G}_{2}$-flow equation for not necessarily parallel 1-parameter families of $\mathbf{G}_{2}$-structures $\alpha_{s}\in\Omega^{3}(\mathcal{F})$ on ${\mathcal{F}}$. In fact, let $A_{ij}=A_{ij}(s)$ be any $s$-dependent family of symmetric $(2,0)$ tensors on ${\mathcal{F}}$ and consider the equation

[TABLE]

for some given initial generic 3-form $\alpha_{s=0}$. As $\mathbf{G}_{2}\subset\mathbf{SO}(7)$, every generic 3-form in dimension $7$ yields a metrics ${\mathbf{h}}_{s}={\mathbf{h}}_{s}(\alpha_{s})$ in a natural way and [29] then shows the relation

[TABLE]

which provides the link to our situation. However, it remains unclear under which conditions a parallel $\mathbf{G}_{2}$-structure $\alpha_{0}$ on ${\mathcal{F}}$ evolves under the flow equations (7.26) to a parallel family of $\mathbf{G}_{2}$-structures as required here. In general, we have that (see [29])

[TABLE]

To assure that a parallel $\mathbf{G}_{2}$-structure remains parallel under the flow, one would thus have to control the $\nabla^{s}A$-terms. This lies beyond the scope of this paper. The same discussion is possible on the level of $\mathbf{Spin}(7)$ structures and their flow equations which appeared in an unrelated context in [28].

8. Applications to Riemannian and Lorentzian spinor field equations

Here we will use the previous results in order to obtain the two classification statements from Theorems 4 and 5 in the introduction.

8.1. Generalised imaginary Killing spinors on Riemannian manifolds and the proof of Theorem 4

Let us first suppose that $({\mathcal{M}},\mathbf{g})$ admits an imaginary $\mathrm{W}$-Killing spinor. Differentiating (1.8), it is easy to calculate that its Dirac current $U=U_{\varphi}$ defined by relation (1.7) satisfies equation (1.6). Thus, Theorem 1 applies and there is a Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ in which $({\mathcal{M}},\mathbf{g})$ embeds with second fundamental form $\mathrm{W}$ and $u\partial_{t}-U$ extends to a parallel null vector field $V$ on ${\overline{\mathcal{M}}}$. We extend the spinor $\varphi$ to a spinor $\phi$ on ${\overline{\mathcal{M}}}$ by parallel translation in direction of $V$, i.e. with ${\overline{\nabla}}_{V}\phi=0$. Setting

[TABLE]

for $X\in\partial_{t}^{\bot}$, we find using parallelity of $V$ as well as the relations between spinorial and Riemannian curvature (for details see [4]) that

[TABLE]

The well-known hypersurface formulas for the spinor covariant derivative [2] imply that the generalised Killing spinor equation for $\varphi$ is equivalent to $A|_{{\mathcal{M}}}=0$ and as $A$ solves a linear first order symmetric hyperbolic PDE we conclude that $A\equiv 0$, and hence ${\overline{\nabla}}\phi=0$. In particular, $\mathrm{Hol}({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})\subset\mathbf{SO}(n)\ltimes\mathbb{R}^{n}$ fixes not only a parallel vector but also a nontrivial spinor. However, results in [30, 9] show that this can only happen if the screen holonomy satisfies that

[TABLE]

with ${{H}}_{i}$ is equal to $\mathbf{SU}(m_{i})$, $\mathbf{Sp}(k_{i})$, $\mathbf{G}_{2}$, $\mathbf{Spin}(7)$, or trivial. By Theorem 2, $({\mathcal{M}},\mathbf{g})$ is locally of the form $(\mathbb{R}\times\mathcal{F},\frac{1}{u}^{2}ds^{2}+{\mathbf{h}}_{s})$. Condition (8.1) yields that locally $(\mathcal{F}_{s},{\mathbf{h}}_{s})$ splits into a metric product $(\mathcal{F}^{1}_{s},h^{1}_{s})\times...\times(\mathcal{F}^{k}_{s},h^{k}_{s})$ with $\mathrm{Hol}(\mathcal{F}^{k}_{s},h^{k}_{s})\subset{{H}}_{k}$. Moreover, Theorem 3 applied to this situation yields the evolution equations for ${\mathbf{h}}_{s}^{i}$ as given in Theorem 4. This proves (1) in Theorem 4. The proof of the global version in (2) follows directly from the global statement in Theorem 2.

Conversely, assume that $({\mathcal{M}},\mathbf{g})$ is given as in the formulation of Theorem 4. As an immediate consequence of Theorem 3, $({\mathcal{M}},\mathbf{g})$ embeds into a Lorentzian manifold $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ with parallel null vector field $V$. Moreover we have that condition (8.1) holds for the screen holonomy of $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ which follows from Theorem 3. However, in [30, 9] it is shown that each such Lorentzian holonomy group fixes a spinor whose Dirac current as defined in relation (1.10) is up to constant the null vector stabilised by $\mathbf{SO}(n)\ltimes\mathbb{R}^{n}$. By the holonomy principle, there thus exists a parallel spinor $\phi$ with $V=V_{\phi}$. The well-known hypersurface formulas for the spinor covariant derivative in [2] imply that $\phi$ restricts to an imaginary $\mathrm{W}$-Killing spinor $\varphi=\phi|_{{\mathcal{M}}}\in\Gamma(\mathbb{S}^{\mathbf{g}})$ on ${\mathcal{M}}$ with $\mathrm{W}$ being the Weingarten tensor of ${\mathcal{M}}\hookrightarrow{\overline{\mathcal{M}}}$ as given in Section 2. It has been shown in [10] that

[TABLE]

As $V_{\phi}$ is null, it follows that $V_{\phi}\cdot\phi=0$, which evaluated on ${\mathcal{M}}$ gives precisely equation (1.8). This shows (3) in Theorem 4 and finishes the proof. $\hfill\Box$

8.2. Lorentzian holonomy and the proof of Theorem 5

For a manifold of the form (1.11) set $\mathcal{F}=\mathcal{F}_{1}\times...\times\mathcal{F}_{m}$, $\mathbf{h}_{w}=\mathbf{h}_{w}^{1}+...+\mathbf{h}_{w}^{m}$. Now introduce new coordinates by setting $v=-t+s$ and $w=t+s$, i.e. the metric in (1.11) becomes

[TABLE]

The metric (8.2) admits a parallel null spinor if and only if $({\mathcal{M}}:=\mathbb{R}\times\mathcal{F},\mathbf{g}_{0})$ admits an imaginary generalised $\mathrm{W}$-Killing spinor additionally solving equation (1.8). Indeed, it is clear that a parallel spinor restricts to an imaginary $\mathrm{W}$-Killing spinor on $({\mathcal{M}},\mathbf{g}_{0})$. On the other hand, if a imaginary $\mathrm{W}$-Killing spinor $\varphi$ additionally solving equation (1.8) exists on $({\mathcal{M}},\mathbf{g}_{0})$ we use that $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$ admits a parallel null vector and exactly the same argument as in the proof of Proposition 7.1 or in Section 8.1 extend $\varphi$ to a parallel null spinor for $({\overline{\mathcal{M}}},{\overline{\mathbf{g}}})$. But with this equivalence, the statement follows immediately from the local classification result in Theorem 4. $\hfill\Box$