On the space of initial values strictly satisfying the dominant energy condition

TL;DR

This paper investigates the topological structure of the space of initial data satisfying the strict dominant energy condition in Lorentzian geometry, introducing an index difference and establishing its non-trivial homotopy groups.

Contribution

It introduces an index difference for initial values satisfying the dominant energy condition and demonstrates the non-trivial topology of this space.

Findings

The space of initial values has non-trivial homotopy groups.

An index difference is defined and compared to classical Riemannian cases.

The results imply rich topological structure of initial data satisfying the energy condition.

Abstract

The dominant energy condition imposes a restriction on initial value pairs found on a spacelike hypersurface of a Lorentzian manifold. In this article, we study the space of initial values that satisfy this condition strictly. To this aim, we introduce an index difference for initial value pairs and compare it to its classical counterpart for Riemannian metrics. Recent non-triviality results for the latter will then imply that this space has non-trivial homotopy groups.

Equations

$$T={\mathrm{ric}}^{\overline{g}}-\frac{1}{2}{\mathrm{scal}}^{\overline{g}}\overline{g},$$

$$2\rho$$

$$j$$

$$D^2={\nabla }^{\ast }\nabla +\frac{1}{4}\mathrm{scal}$$

$$\alpha --diff:{\pi }_k({\mathcal{R}}^{+}(M),g_0)\cong {\pi }_{k+1}(R(M),{\mathcal{R}}^{+}(M),g_0)\to K{O}^{-n-k-1}(\{\ast \}).$$

$${\overline{D}}^2={\overline{\nabla }}^{\ast }\overline{\nabla }+\frac{1}{2}(\rho -e_0\cdot j^{♯}\cdot ),$$

$$\overline{\alpha }--diff:{\pi }_k({\mathcal{I}}^{+}(M),(g_0,k_0))\cong {\pi }_{k+1}(I(M),{\mathcal{I}}^{+}(M),(g_0,k_0))\to K{O}^{-n-k}(\{\ast \}),$$

$${\pi }_k({\mathcal{R}}^{+}(M),g_0)$$

$$\overline{\alpha }--diff\left(\left(g_0,-\frac{1}{n}\tau (g_0)g_0\right),\left(g_0,\frac{1}{n}\tau (g_0)g_0\right)\right)=\alpha (M)\in K{O}^{-n}(\{\ast \}).$$

$$\mathrm{ind}:[(X,Y),({\mathrm{Fred}}^{n,k}(H),G^{n,k}(H))]⟶K{O}^{k-n}(X,Y)$$

$$[(X,Y),({\mathrm{Fred}}^{n,k}(H),G^{n,k}(H))]$$

$$[(X,Y),({\mathrm{Fred}}^{n+1,k}(H),G^{n+1,k}(H))]$$

$$[x\mapsto F_x]$$

$$[(X,Y),({\mathrm{Fred}}^{n,0}(H),G^{n,0}(H))]$$

$$\tilde{\iota }$$

$$\tilde{c}(v)$$

$$\tilde{c}(e)$$

$$\tilde{c}(\epsilon )$$

$$\tilde{F}=\left(\begin{array}{cc}F& 0\\ 0& F\end{array}\right):H\oplus H\to H^{\prime }\oplus H^{\prime }$$

$$({\mathrm{Fred}}^{n,k}(H),G^{n,k}(H))$$

$$F$$

$$({\mathrm{Fred}}^{n+4,k}(H),G^{n+4,k}(H))$$

$$F$$

$$({\mathrm{Fred}}^{n,k}(H),G^{n,k}(H))$$

$$F$$

$$[(X,Y),({\mathrm{Fred}}^{n,k}(H),G^{n,k}(H))]$$

$$F_g=\frac{D_g}{\sqrt{1+D_g^2}},$$

$$P_{{\widetilde{GL}}^{+}(n)}M\to P_{G{L}^{+}(n)}M$$

$$P_{\mathrm{Spin}(n)}(M,g)$$

$$P_{{\widetilde{GL}}^{+}(n)}M\times [0,1]$$

$$G{L}^{+}(n)$$

$$A$$

$$P_{\mathrm{Spin}(n)}(M,g_{t_0})$$

$$P_{{\gamma }_x}^{\nabla }:P_{\mathrm{Spin}(n+1)}(M\times [0,1],g_t+\mathrm{d}{t}^2{)}_{|(x,0)}⟶P_{\mathrm{Spin}(n+1)}(M\times [0,1],g_t+\mathrm{d}{t}^2{)}_{|(x,1)}$$

$$P^{\nabla }:P_{\mathrm{Spin}(n+1)}(M\times [0,1],g_t+\mathrm{d}{t}^2{)}_{|M\times \{0\}}\stackrel{\cong }{⟶}{P}_{\mathrm{Spin}(n+1)}(M\times [0,1],g_t+\mathrm{d}{t}^2{)}_{|M\times \{1\}}.$$

Full text

*2020 Mathematics Subject Classifications. *53C21, 53C27, 83C05

1 Introduction

1.1 Dominant energy condition for initial values

According to general relativity, the universe can be modeled by a time-oriented Lorentzian manifold $(N,\overline{g})$ whose large-scale behavior is governed by the Einstein equation

[TABLE]

where $T$ denotes the energy-momentum tensor. This does not only apply to the dynamics, the field equations also constraint the physical quantities experienced on a time-slice. More precisely, suppose that $(N,\overline{g})$ contains $M$ as a spacelike hypersurface. On $M$, the induced Riemannian metric $g$ and the second fundamental form $k$, defined with respect to the future-pointing unit normal $e_{0}$, form a so-called initial value pair $(g,k)$. The Gauß-Codazzi equations imply that it is subject to the Einstein constraints (cf. [BI04])

[TABLE]

where energy density $\rho=T(e_{0},e_{0})$ and momentum density $j=T(e_{0},-)_{|TM}$ are components of the energy-momentum tensor.

For physical reasons, the energy-momentum tensor is assumed to always satisfy the dominant energy condition, which implies that $\rho\geq\|j\|$. We will say that an initial value pair $(g,k)$ satisfies the dominant energy condition if $\rho\geq\|j\|$, when $\rho$ and $j$ are defined by (1). This condition plays a vital role in the positive mass theorem [SY81, Wit81] stating that for an asymptotically Euclidean manifold $(M,g)$ with $k$ tending to zero at infinity, the ADM-mass is non-negative if $(g,k)$ satisfies the dominant energy condition.

In this article, we consider the case that $M$ is a compact spin manifold of dimension $n\geq 2$. Our aim is to study the space $\operatorname{\mathcal{I}^{+}}(M)$ of initial value pairs $(g,k)$ for which the dominant energy condition holds strictly, i.e. $\rho>\|j\|$ everywhere. This is a subspace of the space $\operatorname{\mathcal{I}}(M)$ of all initial value pairs, with $C^{\infty}$-topology. The reason for restricting to the strict version of the dominant energy condition is that it nicely connects to positive scalar curvature, which in turn is rather well-studied. In [AG23], Ammann and the author discuss some ideas how to extend the results to the (non-strict) dominant energy condition.

1.2 Connection to positive scalar curvature and main result

It is a simple observation that if $k\equiv 0$, then the strict dominant energy condition for $(g,k)$ reduces to the condition that $g$ has positive scalar curvature. However, whereas existence of positive scalar curvature metrics imposes a condition on the manifold, this is not true for the strict dominant energy condition. More precisely, we will see later that taking any metric $g$, the pair $(g,\frac{1}{n}\tau g)$ satisfies the dominant energy condition strictly as long as the absolute value of the constant $\tau\in\mathbbm{R}$ is large enough. Moreover, such a $\tau$ can be chosen in a way that it continuously depends on the metric $g$ (in $C^{2}$-topology). This allows to define a comparison map $\Phi\colon S\operatorname{\mathcal{R}^{+}}(M)\simeq\operatorname{\mathcal{R}^{+}}(M)\times[-1,1]\cup\operatorname{\mathcal{R}}(M)\times\{-1,1\}\to\operatorname{\mathcal{I}^{+}}(M)$ by $(g,t)\mapsto(g,\frac{1}{n}\tau(g)tg)$, where $\operatorname{\mathcal{R}}(M)$ is the $C^{\infty}$-space of metrics, $\operatorname{\mathcal{R}^{+}}(M)$ its subspace of positive scalar curvature metrics and $S$ denotes the suspension.

One of the main approaches to positive scalar curvature is by index theoretic methods. Assume that $(M,g)$ is compact, spin, and of dimension $n$. Then, there is a spinor bundle $\Sigma_{Cl}M$ with a right $Cl_{n}$-action, called $Cl_{n}$-linear spinor bundle of $M$. Its Dirac operator $D$ commutes with the $Cl_{n}$-action and thus gives rise to a $Cl_{n}$-Fredholm operator, which has a $KO$-valued index called $\alpha$-index $\alpha(M)$. The Schrödinger-Lichnerowicz formula

[TABLE]

implies that $D$ is invertible if $g$ has positive scalar curvature and so its index vanishes. By homotopy invariance of the index, it is independent of $g$, and so the $\alpha$-index provides an obstruction to existence of positive scalar curvature metrics on $M$ if it is non-zero for some spin structure on $M$.

In the case when there is a positive scalar curvature metric $g_{0}$ on $M$, this invariant can be refined to a secondary invariant known as index difference that allows to detect non-trivial homotopy groups in the space of positive scalar curvature metrics. In order to emphasize that it refines the $\alpha$-index and to stress its connection with the $\alpha$-invariant for diffeomorphisms (cf. [CSS18, eq. (2)]), we will call it $\alpha$-index difference, or $\alpha$-difference for short. It is constructed as follows: As before, the $Cl_{n}$-linear Dirac operator defines a map assigning to each metric a $Cl_{n}$-Fredholm operator, which is invertible if the metric is of positive scalar curvature. Then applying the $KO$-valued index, we obtain the map

[TABLE]

A similar invariant exists in the case of initial values. For this, the $Cl_{n}$-linear spinor bundle has to be replaced by the $Cl_{n,1}$-linear hypersurface spinor bundle $\overline{\Sigma}_{Cl}M$. To define it, we embed $M$ as spacelike hypersurface into a time-oriented spin Lorentzian manifold $(N,\overline{g})$ such that the pair $(g,k)$ arises as induced metric and second fundamental form. Then $\overline{\Sigma}_{Cl}M$ is the restriction of the $Cl_{n,1}$-linear spinor bundle of $N$ to $M$. It turns out that this bundle can be defined intrinsically – without reference to $N$ – by $\overline{\Sigma}_{Cl}M=\Sigma_{Cl}M\otimes_{Cl_{n}}Cl_{n,1}$, i.e. it is given by two copies of $\Sigma_{Cl}M$. The role of the Dirac operator is now played by the Dirac-Witten operator $\overline{D}$, which is $Cl_{n,1}$-linear in our case, and which will be defined in Section 3.2 below. There is a Schrödinger-Lichnerowicz type formula for $\overline{D}$

[TABLE]

which ensures that $\overline{D}$ is invertible if $(g,k)$ strictly satisfies the dominant energy condition. With these changes, the same construction as before yields an index difference for initial values

[TABLE]

where $(g_{0},k_{0})\in\operatorname{\mathcal{I}^{+}}(M)$. Notice that there is a degree shift in the target compared to $\operatorname{\alpha--diff}$: This results from the $\operatorname{Cl}_{n,1}$-linearity of the Dirac-Witten operator in contrast to the $\operatorname{Cl}_{n}$-linearity of the Dirac operator.

Notation**.**

To avoid clumsy notation, we often write $\operatorname{\alpha--diff}(g_{-1},g_{1})$ for the $\alpha$-difference applied to the $\pi_{0}$-class represented by $(S^{0},1)\to(\operatorname{\mathcal{R}^{+}}(M),g_{1}),\,t\mapsto g_{t}$. Likewise, we write $\operatorname{\overline{\alpha}--diff}((g_{-1},k_{-1}),(g_{1},k_{1}))$ for the $\overline{\alpha}$-difference of the $\pi_{0}$-class defined by $(S^{0},1)\to(\operatorname{\mathcal{I}^{+}}(M),(g_{1},k_{1})),\,t\mapsto(g_{t},k_{t})$.

Unlike the situation of the $\alpha$-difference, where the $\alpha$-index constitutes an interesting invariant obstructing positive scalar curvature, there is no interesting primary invariant associated with the $\overline{\alpha}$-difference: The index of the Dirac-Witten operator $\overline{D}$ is always zero. This follows for example from the observation that the dominant energy condition is not obstructed, since, as mentioned above, $(g,\frac{1}{n}\tau g)\in\operatorname{\mathcal{I}^{+}}(M)$ for $g\in\operatorname{\mathcal{R}}(M)$ and suitably large $\tau\in\mathbbm{R}$. The $\overline{\alpha}$-difference, however, is an interesting invariant. This is a consequence of the main theorem of this paper, where we compare it to the $\alpha$-difference or, in the case of the $\pi_{0}$-part, to the $\alpha$-index.

Main Theorem**.**

For $g_{0}\in\operatorname{\mathcal{R}^{+}}(M)$ and all $k\geq 0$, the diagram

[TABLE]

commutes. 2. 2.

For $g_{0}\in\operatorname{\mathcal{R}}(M)$,

[TABLE]

The idea of the proof is the following: For a pair of the form $(g,\frac{1}{n}\tau(g)tg)$, $t\in\mathbbm{R}$, the $Cl_{n+1}$-linear Dirac-Witten operator is given by $\overline{D}=D\otimes_{Cl_{n}}Cl_{n,1}-\tau(g)tL(e_{0})$, where $D$ is the $Cl_{n}$-linear Dirac operator from before and $L(e_{0})$ is left multiplication with the future-pointing unit normal on $M$ when $M$ is considered as spacelike hypersurface of $N$ as above. Now, we observe that the $Cl_{n,1}$-structure of $\overline{\Sigma}_{Cl}M$ given by right multiplication can be extended to a $Cl_{n+1,1}$-structure by setting the right multiplication by the additional basis vector as $\tilde{R}(e_{n+1})\coloneqq L(e_{0})a$, where $a$ is the even-odd grading operator. With this $Cl_{n+1,1}$-structure, $\overline{\Sigma}_{Cl}M$ corresponds to $\Sigma_{Cl}M$ under the Morita equivalence relating $Cl_{n}$- and $Cl_{n+1,1}$-modules. Moreover, under this equivalence $D\otimes_{Cl_{n}}Cl_{n,1}$ is associated to $D$ and, by definition, the index map is invariant under this correspondence. The second summand can be understood as coming from the Bott map, which assigns to a $Cl_{n+1,1}$-Fredholm operator $F$ the family of $Cl_{n,1}$-Fredholm operators $[-1,1]\ni t\mapsto F+t\tilde{R}(e_{n+1})a=F+tL(e_{0})$. Again, invariance of the index map under this assignment is a consequence of its definition, but an extra sign has to be taken into account resulting from the fact that in the definition of the index map Morita equivalence and Bott map are applied in the reverse order.

As a consequence of the main theorem, every element in $\pi_{k}(\operatorname{\mathcal{R}^{+}}(M),g_{0})$ with non-trivial $\alpha$-difference gives rise to a non-zero element in $\pi_{k+1}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))$. Such elements have been constructed for example by Hitchin [Hit74], Hanke, Schick and Steimle [HSS14], Botvinnik, Ebert and Randal-Williams [BER14] as well as Crowley, Schick and Steimle [CSS18] using different techniques. In particular, we obtain the following corollary.

Corollary 1.1**.**

If $M$ is a compact spin manifold of dimension $n\geq 6$ that admits a metric of positive scalar curvature, then $\operatorname{\mathcal{I}^{+}}(M)$ is not contractible. 2. 2.

If $M$ is a compact spin manifold of dimension $n\geq 2$ with $\alpha(M)\neq 0$ (in particular, $M$ does not carry a positive scalar curvature metric), then $\operatorname{\mathcal{I}^{+}}(M)$ is not connected.

The structure of the article is as follows. In the first chapter, we review the $KO$-valued index map and the construction of the $\alpha$-difference. Much of this material is owed to Ebert [Ebe17]. The second chapter is devoted to the construction of the $\overline{\alpha}$-difference. To this end, the $Cl_{n,1}$-linear hypersurface spinor bundle and its Dirac-Witten operator are introduced. We discuss the $Cl_{n,1}$-linear version of the Dirac-Witten operator in some detail, as it seems not to have been studied before. In the last chapter, we construct the comparison map, prove the main theorem and discuss some more of its consequences.

Acknowledgements

I would like to thank Bernd Ammann for the idea for this project as well as his support during its execution. I would also like to thank the anonymous referee, who went through the manuscript very carefully and helped improving it at many spots. I was supported by the SFB 1085 “Higher Invariants” funded by the Deutsche Forschungsgemeinschaft.

2 The classical $\alpha$-index difference

2.1 $KO$-theory via Fredholm operators

This section is devoted to the $KO$-valued index map, a map that associates to a family of Clifford-linear Fredholm operators an element in $KO$-theory. In its description, we will stick closely to the framework presented in Ebert [Ebe17] that we briefly recall. All Hilbert spaces are understood as being real and separable. A $Cl_{n,k}$-Hilbert space $H$ is always $\mathbbm{Z}/2\mathbbm{Z}$-graded. Typically, the $\mathbbm{Z}/2\mathbbm{Z}$-grading is given in terms of a grading operator $\iota\colon H\to H$, and the Clifford action is determined by a Clifford multiplication $c\colon\mathbbm{R}^{n,k}\to\operatorname{End}(H)$, where $\mathbbm{R}^{n,k}$ is the pseudo-Euclidean vector space $\mathbbm{R}^{n}\oplus\mathbbm{R}^{k}$ with the standard inner product that is positive definite on the first summand and negative definite on the second one. The convention for the Clifford multiplication is such that $c(v)c(w)+c(w)c(v)=-2\langle v,w\rangle$.

If $(H,\iota,c)$ is a $Cl_{n,k}$-Hilbert space, then $c$ gives rise to a representation $Cl_{n,k}\to\operatorname{End}(H)$, which can be decomposed into irreducible ones. $(H,\iota,c)$ is called ample, if it contains each irreducible representation infinitely often. By the structure theory for real Clifford representations, this just means that $H$ is infinite-dimensional if $n-k\not\equiv 0\mod 4$, and amounts to the condition that both the $+1$- and the $-1$-eigenspace of the volume element $\omega_{n,k}\coloneqq\iota c(e_{1})\cdots c(e_{n+k})$ are infinite-dimensional if $n-k\equiv 0\mod 4$.

Definition 2.1**.**

Let $(H,\iota,c)$ be an ample $Cl_{n,k}$-Hilbert space. Then a $Cl_{n,k}$-Fredholm operator $F$ is a (bounded) Fredholm operator on $H$ that is self-adjoint, odd with respect to $\iota$, $Cl_{n,k}$-linear and, in the case $n-k\equiv-1\mod 4$, satisfies the additional condition that $\omega_{n,k}F\iota$ is neither essentially positive nor essentially negative. We denote by $\operatorname{Fred}^{n,k}(H)$ the space of $Cl_{n,k}$-Fredholm operators with operator norm topology. Furthermore, we write $G^{n,k}(H)\subseteq\operatorname{Fred}^{n,k}(H)$ for the subspace of invertible elements.

Note that we have $\operatorname{Fred}^{n+1,k}(H)\subseteq\operatorname{Fred}^{n,k}(H)$ and $\operatorname{Fred}^{n,k+1}(H)\subseteq\operatorname{Fred}^{n,k}(H)$: In the cases $n-k=1,2\mod 4$, this is immediate. If $n-k=0\mod 4$, this follows since the additional generator of the extended Clifford action on the $\operatorname{Cl}_{n,k}$-Hilbert space $H$ anti-commutes with $\omega_{n,k}$. Finally, in case $n-k\equiv-1\mod 4$, we use that for a $\operatorname{Cl}_{n+1,k}$- or $\operatorname{Cl}_{n,k+1}$-linear operator $F$, the additional generator of the extended Clifford action anti-commutes with $\omega_{n,k}F\iota$.

Remark 2.2**.**

As was pointed out by the referee, ampleness of $H$ and the additional condition in the case where $n-k\equiv-1\mod 4$ are only needed to ensure bijectivity of the index map discussed below and are not necessary for its existence. For instance, the inductive extension of the index map from degree $n-1$ to degree $n$ does not require the left hand vertical map in diagram (2) to be an isomorphism. Since in this article we will not use that the index map is an isomorphism, all discussions about ampleness and the additional condition are included for the sake of completeness only (and shifted to a large extent to the appendix).

Example 2.3**.**

The archetypical example of a $Cl_{n,0}$-Fredholm operator is (the bounded transform of) the $Cl_{n}$-linear Dirac operator on a closed Riemannian spin manifold $(M,g)$ of dimension $n>0$: Let $P_{\operatorname{Spin}(n)}M\to P_{SO(n)}M$ be a spin structure of $M$. The $Cl_{n}$-linear spinor bundle is $\Sigma_{Cl}M\coloneqq P_{\operatorname{Spin}(n)}M\times_{\ell}Cl_{n}$, where $\ell\colon\operatorname{Spin}(n)\to\operatorname{End}(Cl_{n})$ is given by left multiplication. Its name derives from the fact that right multiplication in $Cl_{n}$ induces a right Clifford multiplication $R\colon\mathbbm{R}^{n}\to\operatorname{End}(\Sigma_{Cl}M)$, which commutes with the left Clifford multiplication by tangent vectors. Furthermore, it carries a $\mathbbm{Z}/2\mathbbm{Z}$-grading $a$ induced by $Cl_{n}\to Cl_{n},\;\mathbbm{R}^{n}\ni v\mapsto-v$, the even-odd-grading. The bundle metric induced by the metric on $Cl_{n}$ that makes the standard basis $(e_{i_{1}}\ldots e_{i_{l}})_{0\leq l\leq n+k,1\leq i_{1}<\dots<i_{l}\leq n+k}$ orthonormal allows to define an $L^{2}$-scalar product and the space of $L^{2}$-sections $H\coloneqq L^{2}(M,\Sigma_{Cl}M)$. Both $a$ and $R$ descend to $H$, turning $(H,a,R)$ into an ample $Cl_{n}$-Hilbert space. The $Cl_{n}$-linear Dirac operator $D$, i.e. the Dirac operator of $\Sigma_{Cl}M$ w.r.t. the connection induced by the Levi-Civita connection, can be viewed as unbounded operator on $H$. By standard results on the analysis of Dirac operators, its bounded transform $F\coloneqq\frac{D}{\sqrt{1+D^{2}}}$ is a Fredholm operator on $H$, and as $D$ is $Cl_{n}$-linear (w.r.t. $R$) and odd (w.r.t. $a$), so is $F$. Thus, $F\in\operatorname{Fred}^{n,0}(H)$, whereby the additional condition for $n\equiv-1\mod 4$ is well-known to be satisfied for Dirac type operators. In order to be self-contained, we recall this in the appendix. It is worth noting that the Schrödinger-Lichnerowicz formula implies that $F$ is invertible, so $F\in G^{n,0}(H)$, if $g$ is a metric of positive scalar curvature.

The following consequence of Kuiper’s theorem is proven in [Ebe17]. It is one of the main ingredients for translating the classical results from [AS69] into the present framework.

Proposition 2.4**.**

The space $G^{n,k}(H)$ is contractible for all $n,k\geq 0$.

Theorem 2.5** (Index map).**

If $H$ is an ample $Cl_{n,k}$-Hilbert space, then $\operatorname{Fred}^{n,k}(H)$ represents $KO$-theory: For compact relative CW-complexes $(X,Y)$, there is a natural (in $(X,Y)$) bijection

[TABLE]

called index map. Moreover, $\operatorname{ind}$ is invariant under $Cl_{n,k}$-Hilbert space isomorphisms, i.e. if $U\colon H\to H^{\prime}$ is an isomorphism of $Cl_{n,k}$-Hilbert spaces, then

[TABLE]

commutes, where the upper map is induced by $\operatorname{Fred}^{n,k}(H)\ni F\mapsto UFU^{-1}$.

The index map is constructed inductively, the starting point being the index of a family of $Cl_{0,0}$-Fredholm operators, i.e. odd Fredholm operators on a $\mathbbm{Z}/2\mathbbm{Z}$-graded Hilbert space. Here, the corresponding statement is known as Atiyah-Jänich theorem (cf. [Glö19, Thm. 2.17] for a detailed derivation from the version in [AS69]).

The generalization to arbitrary $n$ (but still with $k=0$) is provided by the Bott map.

Theorem 2.6** (Bott map, [AS69, Thm. A(k)]).**

For compact CW-pairs $(X,Y)$, the map

[TABLE]

is a natural bijection.222For two pairs $(X,A)$ and $(Y,B)$, we write $(X,A)\times(Y,B)\coloneqq(X\times Y,X\times B\cup A\times Y)$. Here, $e$ is the additional basis vector of $\mathbbm{R}^{n+1,k}$ compared to $\mathbbm{R}^{n,k}$ and $I=[-1,1]$.

As $(X\times I)/(Y\times I\cup X\times\partial I)\cong\Sigma_{red}X/Y$ the right hand isomorphism in the following diagram exists, and the defintion of the index map can be extended inductively by requiring that it commutes:

[TABLE]

The extension to arbitrary $k$ uses periodicity statements in the theory of $Cl_{n,k}$-Hilbert spaces known as Morita equivalences. One of them states that the categories of $Cl_{n,k}$-Hilbert spaces and $Cl_{n+1,k+1}$-Hilbert spaces are equivalent. Its construction is the following: A $Cl_{n,k}$-Hilbert space $(H,\iota,c)$ defines a $Cl_{n+1,k+1}$-Hilbert space structure on $H\oplus H$ by

[TABLE]

where we view $\mathbbm{R}^{n+1,k+1}$ as $R^{n,k}\oplus\mathbbm{R}e\oplus\mathbbm{R}\varepsilon$. And a morphism $F\colon H\to H^{\prime}$ of $Cl_{n,k}$-Hilbert spaces gives rise to a morphism

[TABLE]

of the corresponding $Cl_{n+1,k+1}$-Hilbert spaces. Conversely, for a $Cl_{n+1,k+1}$-Hilbert space $(H,\iota,c)$, the restrictions of the structure maps to $H_{0}\coloneqq\ker(c(\varepsilon)c(e)-\operatorname{\mathbb{1}})$ yield a $Cl_{n,k}$-Hilbert space, and morphisms of $Cl_{n+1,k+1}$-Hilbert spaces restrict to morphisms of these $Cl_{n,k}$-Hilbert spaces. These constructions are seen to be mutually inverse up to natural isomorphism.

Another Morita equivalence exists between $Cl_{n+4,k}$-Hilbert spaces and $Cl_{n,k+4}$-Hilbert spaces. For this, we regard both $\mathbbm{R}^{n+4,k}$ and $\mathbbm{R}^{n,k+4}$ as $\mathbbm{R}^{n}\oplus\mathbbm{R}^{k}\oplus\operatorname{span}\{e_{1},e_{2},e_{3},e_{4}\}$, where $e_{1},\ldots e_{4}$ are the last four basis vectors of $\mathbbm{R}^{n+4}$ or the last four basis vectors of $\mathbbm{R}^{k+4}$, respectively. Given a $Cl_{n+4,k}$-Hilbert space $(H,\iota,c)$, we can define a $Cl_{n,k+4}$-Hilbert space $(H,\iota,\tilde{c})$ by $\tilde{c}_{|\mathbbm{R}^{n,k}}=c_{|\mathbbm{R}^{n,k}}$ and $\tilde{c}(e_{i})=\eta c(e_{i})$ for $\eta=c(e_{1})\cdots c(e_{4})$. Morphisms are mapped to the morphisms defined by the same underlying bounded linear maps. The inverse procedure is given similarly, by assigning to a $Cl_{n,k+4}$-Hilbert space $(H,\iota,\tilde{c})$ the $Cl_{n+4,k}$-Hilbert space $(H,\iota,c)$ with $c_{|\mathbbm{R}^{n,k}}=\tilde{c}_{|\mathbbm{R}^{n,k}}$ and $c(e_{i})=\tilde{\eta}\tilde{c}(e_{i})$, where $\tilde{\eta}=\tilde{c}(e_{1})\cdots\tilde{c}(e_{4})$.

These equivalences are accompanied by homeomorphisms between the spaces of Clifford-linear Fredholm operators.

Proposition 2.7**.**

The Morita equivalences discussed above induce homeomorphisms of pairs

[TABLE]

The index map is then defined inductively for all $(n,k)$ with $0\leq k\leq n$ by the requirement that

[TABLE]

commutes. Lastly, it is extended to the missing $(n,k)$ with $0\leq n,k$ by commutativity of

[TABLE]

where $x$ denotes a generator of $KO^{-8}(\{*\})$.

Remark 2.8**.**

The commutativity of (5) does not only hold for $n<k$ (where it is true by definition), but is also true for $k\leq n$ provided that the right generator $x\in KO^{-8}(\{*\})$ is chosen. This follows from the last remark in [AS69].

Example 2.9**.**

In the setting of 2.3, we can define the $\alpha$-index of $M$ by $\alpha(M)=\operatorname{ind}(F)\in KO^{-n}(\{*\})$. This invariant was first defined by Hitchin [Hit74] and is a well-known obstruction to positive scalar curvature: From the continuity of the assignment $g\mapsto F_{g}$ discussed in the next section, it follows that $\alpha(M)$ is independent of the metric on $M$ (in fact, it is even spin-bordism invariant) and so has to vanish for every spin structure if $M$ carries a positive scalar curvature metric.

2.2 Construction of the $\alpha$-index difference

Let $M$ be a compact spin manifold of dimension $n>0$ that has a positive scalar curvature metric $g_{0}$. The $\alpha$-index difference, also introduced by Hitchin [Hit74], is a family version of the $\alpha$-index. More precisely, $\operatorname{\alpha--diff}\colon\pi_{k}(\operatorname{\mathcal{R}^{+}}(M),g_{0})\to KO^{-n-k-1}(\{*\})$ arises in the following way: As $\operatorname{\mathcal{R}}(M)$ is contractible, the long exact sequence for homotopy groups implies $\pi_{k}(\operatorname{\mathcal{R}^{+}}(M),g_{0})\cong\pi_{k+1}(\operatorname{\mathcal{R}}(M),\operatorname{\mathcal{R}^{+}}(M),g_{0})$. For each metric $g$, the $Cl_{n}$-linear Dirac operator $D_{g}$ defines a $Cl_{n}$-linear Fredholm operator

[TABLE]

which is invertible if $g\in\operatorname{\mathcal{R}^{+}}(M)$. The assignment $g\mapsto F_{g}$ gives rise to a map $(\operatorname{\mathcal{R}}(M),\operatorname{\mathcal{R}^{+}}(M))\to(\operatorname{Fred}^{n,0},G^{n,0})$, which induces a map to $\pi_{k+1}(\operatorname{Fred}^{n,0},G^{n,0},F_{g_{0}})$. Applying the index map from the last section, we obtain an element in $KO^{-n}(D^{k+1},S^{k})\cong KO^{-n-k-1}(\{*\})$.

In this outline, however, we glossed over the detail that the $Cl_{n}$-linear spinor bundles and hence the $L^{2}$-spaces, on which the Fredholm operators $F_{g}$ act, depend on the metric $g$. These $L^{2}$-spaces form a Hilbert bundle over $\operatorname{\mathcal{R}}(M)$, which, by Kuiper’s theorem, can be trivialized. Such a trivialization allows to define the map $(\operatorname{\mathcal{R}}(M),\operatorname{\mathcal{R}^{+}}(M))\to(\operatorname{Fred}^{n,0},G^{n,0})$. We will make this more explicit: The $Cl_{n}$-linear spinor bundles for different metrics can be identified using the method of generalized cylinders due to Bär, Gauduchon and Moroianu [BGM05]. This gives rise to a specific trivialization of the Hilbert bundle of $L^{2}$-spaces.

Let us start with this construction by fixing a topological spin structure on $M$, i.e. a double covering

[TABLE]

over the principal bundle of positively oriented frames of $TM$. This defines, for any $g\in\operatorname{\mathcal{R}}(M)$, a spin structure for $(M,g)$ by pullback

[TABLE]

where $P_{\operatorname{SO}(n)}(M,g)$ is the principal bundle of positively oriented orthonormal frames with respect to $g$. Moreover, pulling back over the canonical projection $M\times[0,1]\to M$, we obtain

[TABLE]

This gives rise a topological spin structure $P_{\widetilde{GL}^{+}(n+1)}M\times[0,1]\to P_{GL^{+}(n+1)}M\times[0,1]$ on $M\times[0,1]$ by extension along the standard embedding

[TABLE]

and its double covering.

Now, given a metric $g\in\operatorname{\mathcal{R}}(M)$, we can define a family of metrics by $g_{t}=(1-t)g_{0}+tg$. Such a family in turn defines the generalized cylinder $(M\times[0,1],g_{t}+\mathrm{d}t^{2})$, $t$ being the variable in $[0,1]$-direction. As above, the topological spin structure induces a spin structure $P_{\operatorname{Spin}(n+1)}(M\times[0,1],g_{t}+\mathrm{d}t^{2})\to P_{\operatorname{SO}(n+1)}(M\times[0,1],g_{t}+\mathrm{d}t^{2})$ on the generalized cylinder. This has the property that for all $t_{0}\in[0,1]$ it restricts to the spin structure of $(M,g_{t_{0}})$ in the sense that

[TABLE]

is a pullback, where the lower map is the inclusion $(e_{1},\ldots,e_{n})\mapsto(e_{1},\ldots,e_{n},{\textstyle\frac{\partial}{\partial t}})$.

The reason why we do this is that on $P_{\operatorname{Spin}(n+1)}(M\times[0,1],g_{t}+\mathrm{d}t^{2})$ the Levi-Civita connection induces a canonical connection $\nabla$, which provides parallel transports

[TABLE]

along the curves $\gamma_{x}\colon[0,1]\to M\times[0,1],\;t\mapsto(x,t)$ for all $x\in M$. These assemble into an isomorphism of principal bundles

[TABLE]

The fact that ${\textstyle\frac{\partial}{\partial t}}$ is parallel along the curves $\gamma_{x}$ implies that $P^{\nabla}$ restricts to

[TABLE]

and this induces an isomorphism on the associated $Cl_{n}$-linear spinor bundles

[TABLE]

Furthermore, it is immediate that $P^{\nabla}$ is a point-wise isometry with respect to the standard scalar products $\langle-,-\rangle$ defined on the $Cl_{n}$-linear spinor bundles.

We want to promote this to a unitary transformation between the associated $L^{2}$-spaces. As the $L^{2}$-norm also depends on the volume element, we first compare those: There exists a positive function $\beta\in\operatorname{C^{\infty}}(M)$ such that $\mathrm{dvol}^{g}=\beta\,\mathrm{dvol}^{g_{0}}$. Then $\sqrt{\beta}P^{\nabla}\colon\Sigma_{Cl}(M,g_{0})\to\Sigma_{Cl}(M,g)$ induces a unitary transformation

[TABLE]

as

[TABLE]

Moreover, it is clear that $\Phi_{g}$ preserves the $\mathbbm{Z}/2\mathbbm{Z}$-grading and the right Clifford multiplication. The left Clifford multiplication by a vector field $X\in\mathfrak{X}(M)$ satisfies $\Phi_{g}(X\cdot\phi)=P^{\nabla}(X)\cdot\Phi_{g}(\phi)$ for any $\phi\in H$, where $P^{\nabla}(X)$ is the vector field on $M=M\times\{1\}$ obtained from $X$ by parallel transport along the curves $(\gamma_{x})_{x\in M}$ in the cylinder $(M\times[0,1],g_{t}+\mathrm{d}t^{2})$.

It is not surprising that using this identification of the $L^{2}$-spaces (the bounded transforms of) the Dirac operators depend continuously on the metric. For a detailed proof of the following statement see [Glö19, Thm. 2.22].

Theorem 2.10**.**

The map

[TABLE]

is well-defined and continuous with respect to the $C^{1}$-topology on the space of smooth metrics $\operatorname{\mathcal{R}}(M)$. In particular, it is continuous if $\operatorname{\mathcal{R}}(M)$ carries the $C^{\infty}$-topology.

Definition 2.11**.**

The map from Theorem 2.10 gives rise to the composition

[TABLE]

that we call $\alpha$-index difference or shortly $\alpha$-difference.

The $\alpha$-difference detects non-trivial homotopy groups in the space of metrics of positive scalar curvature. The following two results of this kind were independently obtained by different methods:

Theorem 2.12** (Crowley, Schick, Steimle [CSS18]).**

Let $(M,g_{0})$ be a compact Riemannian spin manifold of positive scalar curvature and $n=\dim(M)\geq 6$. For all $k\geq 0$ with $k+n+1\equiv 1,2\mod 8$, the $\alpha$-difference

[TABLE]

is split surjective.

Theorem 2.13** (Botvinnik, Ebert, Randal-Williams [BER14]).**

Let $(M,g_{0})$ be a compact Riemannian spin manifold of positive scalar curvature and $n=\dim(M)\geq 6$. For all $k\geq 0$, the $\alpha$-difference

[TABLE]

is non-trivial whenever the target is non-zero, that is when $k+n+1\equiv 0,1,2,4\mod 8$.

We will use these results to construct non-trivial homotopy groups in the space of initial value pairs satisfying the dominant energy condition. The detection of these groups then uses an index difference for initial values that will be defined in the next chapter.

3 An index difference for initial values

3.1 The $Cl_{n,1}$-linear hypersurface spinor bundle

Throughout this section, $(N,\overline{g})$ denotes a space- and time-oriented Lorentzian spin manifold. We follow the convention that the metric has signature $(-,+,\ldots,+)$, so that the induced metric $g$ on a spacelike hypersurface $M\subseteq N$ is positive definite. The future-pointing unit normal on $M$ will be called $e_{0}$. If $\overline{\nabla}$ denotes the Levi-Civita connection of $\overline{g}$ and $\nabla$ the one of $g$, the second fundamental form with respect to $e_{0}$ is the symmetric 2-tensor $k\in\Gamma(T^{*}M\otimes T^{*}M)$ defined by $\overline{\nabla}_{X}Y=k(X,Y)e_{0}+\nabla_{X}Y$ for all $X,Y\in\mathfrak{X}(M)$.

We want to study the bundle obtained by restricting the $Cl_{n,1}$-linear spinor bundle of $(N,\overline{g})$ to the hypersurface $M\subseteq N$. Especially, we want to describe it intrinsically, only in terms of the pair $(g,k)$ induced on $M$. This will be of use later, when defining the $\overline{\alpha}$-difference for initial values and comparing it to the $\alpha$-difference.

The first step is to construct compatible spin structures on $M$ and $N$. Fixing a spin structure on $(N,\overline{g})$, we obtain a spin structure on $(M,g)$ by pulling back the one from $N$:

[TABLE]

Here, the lower map is given by $(e_{1},\ldots,e_{n})\mapsto(e_{0},e_{1},\ldots,e_{n})$, where $e_{0}$ is the future-pointing unit normal on $M$. As the right hand map is a double covering, so is the left hand one, and it suffices to construct a compatible $\operatorname{Spin}(n)$-action. This, we obtain by pulling back the action maps. More explicitly, there is a commutative diagram

[TABLE]

and the desired map is the unique map from its upper-left corner to the upper-left corner of (6) building, together with the other action maps, a commutative cube out of (6) and (7). Note, that this commutative cube shows that $P_{\operatorname{Spin}(n)}(M)$ is not only a $\operatorname{Spin}(n)$-reduction of $P_{\operatorname{SO}(n)}(M)$ but also a reduction of $P_{\operatorname{Spin}_{0}(n,1)}(N)_{|M}$ with respect to the inclusion $i\colon\operatorname{Spin}(n)\hookrightarrow\operatorname{Spin}_{0}(n,1)$.

Next, we study associated bundles. The $Cl_{n,1}$-linear spinor bundle

[TABLE]

is defined via the representation induced by left multiplication on $Cl_{n,1}$:

[TABLE]

As noted above, $P_{\operatorname{Spin}(n)}(M)\to P_{\operatorname{Spin}_{0}(n,1)}(N)_{|M}$ is a $\operatorname{Spin}(n)$-reduction. Hence, from the theory of principal bundles (e.g. [Bau14, Satz 2.18]), it follows that

[TABLE]

so the bundle $\Sigma_{Cl}N_{|M}\to M$ only depends on the Riemannian manifold $(M,g)$ and its chosen spin structure.

Definition 3.1**.**

The bundle $\Sigma_{Cl}N_{|M}$ from above is called $Cl_{n,1}$-linear hypersurface spinor bundle and denoted by $\overline{\Sigma}_{Cl}M$.

Similarly to the case of the $Cl_{n}$-linear spinor bundle, the $Cl_{n,1}$-linear hypersurface spinor bundle carries a right Clifford multiplication $R\colon\mathbbm{R}^{n,1}\to\operatorname{End}(\overline{\Sigma}_{Cl}M)$ and an even-odd grading $a\colon\overline{\Sigma}_{Cl}M\to\overline{\Sigma}_{Cl}M$ as the corresponding notions for $Cl_{n,1}$ are $\operatorname{Spin}_{0}(n,1)$-invariant. Despite not being $\operatorname{Spin}_{0}(n,1)$-invariant, the scalar product $\langle-,-\rangle$ on $Cl_{n,1}$ for which the basis333For consistency with Lorentzian geometry, the basis vector of the negative definite part of $\mathbbm{R}^{n,1}$ is called $e_{0}$ rather than $e_{n+1}$. $(e_{i_{1}}e_{i_{2}}\cdots e_{i_{k}})_{0\leq k\leq n,\,0\leq i_{1}<\cdots<i_{k}\leq n}$ is orthonormal can be extended to $\overline{\Sigma}_{Cl}M$: Due to (8), $\operatorname{Spin}(n)$-invariance of $\langle-,-\rangle$ is sufficient. This scalar product gives rise to a space of $L^{2}$-sections $\overline{H}\coloneqq L^{2}(M,\overline{\Sigma}_{Cl}M)$, on which $R$ and $a$ define a $Cl_{n,1}$-Hilbert space structure.

Yet, the trivialization of $TN_{|M}$ by $e_{0}$ allows us to do better. We immediately obtain the following result:

Proposition 3.2**.**

Setting

[TABLE]

for all $\Psi\in\overline{\Sigma}_{Cl}M$, $R$ extends to a $Cl_{n+1,1}$-multiplication

[TABLE]

that commutes with left multiplication by any $X\in TM$. Moreover, $(\overline{H},a,\tilde{R})$ is an ample $Cl_{n+1,1}$-Hilbert space.

This $Cl_{n+1,1}$-Hilbert space structure establishes the connection to the space $H$ of $L^{2}$-sections of the $Cl_{n}$-linear spinor bundle $\Sigma_{Cl}M$.

Proposition 3.3**.**

The $Cl_{n+1,1}$-Hilbert space $(\overline{H},a,\tilde{R})$ corresponds to the $Cl_{n}$-Hilbert space $(H,a,R)$ under the Morita equivalence described in (2.1).

Proof.

Via this Morita equivalence, the $Cl_{n+1,1}$-Hilbert space $\overline{H}$ corresponds to the $Cl_{n,0}$-Hilbert space $\overline{H}_{0}=\ker(\tilde{R}(e_{0})\tilde{R}(e_{n+1})-\operatorname{\mathbb{1}})$ with the structure obtained by restriction.

Let us look at the endomorphism of $\mathbbm{R}^{n,1}$ given by reflection at the hyperplane orthogonal to the line $\mathbbm{R}e_{0}$. Viewing $\mathbbm{R}^{n,1}$ as subset of the Clifford algebra $Cl_{n,1}$, it may be described as

[TABLE]

since $e_{0}e_{0}=1$. This reflection now successively induces an endomorphism: First on the Clifford algebra $Cl_{n,1}$, then by the associate bundle construction on $\overline{\Sigma}_{Cl}M$ and finally on its space of $L^{2}$-sections $\overline{H}$. The obtained endomorphism is $\tilde{R}(e_{0})\tilde{R}(e_{n+1})=R(e_{0})L(e_{0})a$. We are interested in its $1$-eigenspace.

On the level of $Cl_{n,1}$, the $1$-eigenspace is given by $Cl_{n}\subseteq Cl_{n,1}$, the subalgebra generated by the fixed vectors $e_{1},\ldots,e_{n}$, whereas the $-1$-eigenspace is the complement $R(e_{0})Cl_{n}\subseteq Cl_{n,1}$. This implies that on the level of spinor bundles

[TABLE]

holds. On the level of $L^{2}$-sections, we get

[TABLE]

as required. ∎

As a consequence of (8), the $Cl_{n,1}$-linear hypersurface spinor bundle possesses two natural connections: On the one hand, the Levi-Civita connection $(N,\overline{g})$ induces a connection $\overline{\nabla}$ on $P_{\operatorname{Spin}_{0}(n,1)}N_{|M}$ and $\overline{\Sigma}_{Cl}M$. On the other hand, as bundle associated to $P_{\operatorname{Spin}(n)}M$, the bundle $\overline{\Sigma}_{Cl}M$ carries a connection $\nabla$ induced by the Levi-Civita connection of $(M,g)$. They are related by the Weingarten map (also known as shape operator):

Lemma 3.4**.**

For all $X\in TM$ and $\psi\in\Gamma(\overline{\Sigma}_{Cl}M)$

[TABLE]

holds, where $W(X)=\overline{\nabla}_{X}e_{0}$ is the Weingarten map.

Proof.

On the tangent bundle the difference of the connections is given by $\overline{\nabla}_{X}Y-\nabla_{X}Y=k(X,Y)e_{0}$. As $k(X,Y)=-\overline{g}(\overline{\nabla}_{X}Y-\nabla_{X}Y,e_{0})=-\overline{g}(\overline{\nabla}_{X}Y,e_{0})=\overline{g}(Y,\overline{\nabla}_{X}e_{0})=g(Y,W(X))$ for all $X,Y\in\mathfrak{X}(M)$, the Weingarten map $W$ is the endomorphism associated to the symmetric bilinear form $k$.

In order to transfer this to the spinor bundle, let $\tilde{\varepsilon}$ be a local section of $P_{\operatorname{Spin}(n)}M$, and $(e_{1},\ldots,e_{n})$ its projection to $P_{SO(n)}M$. Abusing notation, we denote by $\tilde{\varepsilon}$ also its image in $P_{\operatorname{Spin}_{0}(n,1)}N_{|M}$, projecting to $(e_{0},e_{1},\ldots,e_{n})\in P_{SO_{0}(n,1)}N_{|M}$. As the spinor bundle is associated to these spin principal bundles, we may write a spinor locally as $\psi=[\tilde{\varepsilon},\tilde{\psi}]$. Using the local formula for the spinorial connection (cf. [BGM05, (2.5)]), we perform the following local calculation:

[TABLE]

where $\varepsilon_{i}=\overline{g}(e_{i},e_{i})\in\{\pm 1\}$. ∎

By the way $a$, $R$ and $\langle-,-\rangle$ are defined, it is clear that they are $\nabla$-parallel. The left Clifford multiplication $L\colon TN_{|M}\otimes\overline{\Sigma}_{Cl}M\to\overline{\Sigma}_{Cl}M$ is $\nabla$-parallel as well, where $\nabla$ is defined on $TN_{|M}$ by viewing it as bundle associated to $P_{SO(n)}M$ via the lower map of (6). This can be reexpressed by saying that both the restricted left Clifford multiplication $TM\otimes\overline{\Sigma}_{Cl}M\to\overline{\Sigma}_{Cl}M$ and the endomorphism $\overline{\Sigma}_{Cl}M\to\overline{\Sigma}_{Cl}M$ given by left multiplication with $e_{0}$ are $\nabla$-parallel. As a consequence, the extended right Clifford multiplication $\tilde{R}$ is $\nabla$-parallel as well.

With respect to the other connection, the following can be said. $a$, $R$ and $L$ are $\overline{\nabla}$-parallel. The scalar product $\langle-,-\rangle$, however, in general is not, as it does not originate from a $\operatorname{Spin}_{0}(n,1)$-invariant scalar product on $Cl_{n,1}$. Instead, it satisfies the following formula that follows from $\nabla$-parallelism together with Lemma 3.4:

[TABLE]

3.2 $Cl_{n,1}$-linear Dirac-Witten operator and index difference for initial values

As in the previous section, let $M$ be a spacelike hypersurface of a space- and time-oriented Lorentzian spin manifold $(N,\overline{g})$. The Dirac-Witten operator is a kind of Dirac operator on the hypersurface spinor bundle. In the case of classical spinor bundles, it was first defined by Witten [Wit81] in order to give his spinorial proof of the positive mass theorem (cf. [PT82] for a rigorous formulation of the proof) and later studied in more detail by Hijazi and Zhang [HZ03]. We are interested in its $Cl_{n,1}$-linear version and use it to define a kind of index difference for initial values. Furthermore, we compare it to the $Cl_{n,1}$-linear Dirac operator, which will be of later use.

Definition 3.5**.**

The composition

[TABLE]

where $L$ is the left Clifford multiplication, defines the $Cl_{n,1}$-linear Dirac-Witten operator. The composition (with $\overline{\nabla}$ replaced by $\nabla$)

[TABLE]

is the $Cl_{n,1}$-linear Dirac operator.

The following lemma justifies the names of these operators. It is a direct consequence of the parallelism discussion at the end of the last section.

Lemma 3.6**.**

$\overline{D}$* and $D$ are both $Cl_{n,1}$-linear with respect to the right Clifford multiplication $R$ and odd with respect to $a$. Furthermore, $D$ is $Cl_{n+1,1}$-linear with respect to the extended right Clifford multiplication $\tilde{R}$.*

Lemma 3.7**.**

$\overline{D}=D-\frac{1}{2}\tau L(e_{0})$* holds, where $\tau=\operatorname{tr}W=\operatorname{tr}k$ is the mean curvature of $M$ in $N$. Both $D$ and $\overline{D}$ are formally self-adjoint.*

Proof.

For $\psi\in\Gamma(\overline{\Sigma}_{Cl}M)$ and a local orthonormal frame $e_{1},\ldots,e_{n}$ we perform the following local calculation applying Lemma 3.4:

[TABLE]

Here, we used that $g(W(e_{i}),e_{j})=k(e_{i},e_{j})$ is symmetric in $i$ and $j$.

The hypersurface spinor bundle $\overline{\Sigma}_{Cl}M$ together with the connection $\overline{\nabla}$, the (left) Clifford multiplication by $TM$ and scalar product $\langle-,-\rangle$ forms a Clifford bundle, since these structures are compatible as mentioned in the end of the last subsection. Since $D$ is the Dirac operator associated to this Clifford bundle, it is formally self-adjoint (cf. [Roe99, Prop. 3.11]). As left multiplication with $e_{0}$ is self-adjoint as well, the same holds true for $\overline{D}$. ∎

The utility of the Dirac-Witten operator to general relativity results from following observation due to Witten [Wit81, eqs. (24)-(34)]. The proof (cf. also [PT82, Sec. 3]) verbatim applies to the $Cl_{n,1}$-linear version considered here.

Proposition 3.8**.**

The Dirac-Witten operator satisfies the Schrödinger-Lichnerowicz type formula

[TABLE]

The Dirac-Witten operator $\overline{D}$ is elliptic, in fact it has the same principal symbol as the Dirac operator $D$. So it possesses good functional analytic properties, some of which we will state below. From now on, we assume that $M$ is compact.

Corollary 3.9**.**

If the pair $(g,k)$ satisfies the strict dominant energy condition, i.e. if $\rho>\|j\|$, then $\overline{D}$ has zero kernel.

Proof.

For any smooth section $\psi\in\Gamma(\overline{\Sigma}_{Cl}M)$ with $\psi\not\equiv 0$

[TABLE]

holds as $|\langle\psi,e_{0}\cdot j^{\sharp}\cdot\psi\rangle|\leq\|j\|\|\psi\|^{2}$. Here, $\|-\|$ (without subscript $L^{2}$) denotes the pointwise norm. The claim follows, since the kernel of the elliptic differential operator $\overline{D}$ consists of smooth sections, see also Proposition 3.10 below. ∎

Proposition 3.10**.**

$\overline{D}$* and $D$ extend to densely defined self-adjoint operators*

[TABLE]

admitting a spectral decomposition with discrete spectrum and finite dimensional eigenspaces consisting of smooth sections.

Proof.

This is true for any formally self-adjoint elliptic differential operator of order one, for example cf. [LM89, Thm. III.5.2 and Thm. III.5.8]. ∎

Corollary 3.11**.**

If $n=\dim(M)>0$ and $\overline{H}\coloneqq L^{2}(M,\overline{\Sigma}_{Cl}M)$, then there are well-defined elements

[TABLE]

Furthermore, $\overline{F}$ is invertible if $(g,k)$ satisfies the strict dominant energy condition and $F$ is invertible if $g$ has positive scalar curvature.

Proof.

$\overline{H}$ is ample as $Cl_{n+1,1}$-Hilbert space, so it is ample as $Cl_{n,1}$-Hilbert space with the restricted Clifford action as well. As $\overline{D}$ is odd and $Cl_{n,1}$-linear, so is $\overline{F}$. From Proposition 3.10 above, we conclude that $\overline{F}$ is a Fredholm operator. The additional condition in the case $n-1\equiv-1\mod 4$ is again a consequence of the discussion of the spectral asymptotics in the appendix. Invertibility for $(g,k)$ satisfying the strict dominant energy condition follows from Corollary 3.9 and $\operatorname{coker}\overline{F}=\ker\overline{F}$. The argumentation for $F$ is completely analogous. Invertibility here uses the classical Schrödinger-Lichnerowicz formula. ∎

If the mean curvature $\tau$ is constant, we can relate the spectral decompositions of $\overline{D}$ and $D$ and refine the invertibility result.

Proposition 3.12**.**

The spectral decomposition of $D$ can be written as

[TABLE]

where all $\lambda_{k}>0$ are pairwise disjoint and $\pi_{E_{k}}$ and $\pi_{a(E_{k})}$ are the orthogonal projections on the finite dimensional subspaces $E_{k}$ and $a(E_{k})$, respectively. If the mean curvature $\tau$ is constant, then there are decompositions $F_{k}\oplus a(F_{k})=E_{k}\oplus a(E_{k})$ for all $k\geq 0$ and $K\oplus a(K)=\ker D$ such that the spectral decomposition of $\overline{D}$ is given by

[TABLE]

In particular, $\overline{D}$ is invertible for all constants $\tau\neq 0$.

Proof.

As $a$ anti-commutes with $D$, for any eigenvector $\phi$ to the eigenvalue $\lambda$

[TABLE]

So $a(\phi)$ is an eigenvector to the eigenvalue $-\lambda$. This implies that the spectral decomposition can be written in the stated form. With the same argument, we observe that the spectral decomposition of $\overline{D}$ to be of that form.

$\tilde{R}$ commutes with $D$, so the eigenspaces are invariant under $\tilde{R}(v)$ for all $v\in\mathbbm{R}^{n+1,1}$. In particular,

[TABLE]

for all $k\geq 0$. Thus we can identify $E_{k}$ with $a(E_{k})$ via the map $E_{k}\to a(E_{k}),\;\phi\mapsto L(e_{0})(\phi)$ and get $E_{k}\oplus a(E_{k})\cong E_{k}\oplus E_{k}\cong E_{k}\otimes\mathbbm{R}^{2}$. Under this identification, by Lemma 3.7, the restriction of the Dirac-Witten operator corresponds to

[TABLE]

The characteristic polynomial of the $2\times 2$-matrix is $x^{2}-\lambda_{k}^{2}-\frac{1}{4}\tau^{2}$, so it is diagonalizable with eigenvalues $\pm\sqrt{\lambda_{k}^{2}+\frac{1}{4}\tau^{2}}$. This gives rise to a diagonalization of $\overline{D}_{|E_{k}\oplus aE_{k}}$ with the same eigenvalues, and we call the positive eigenspace $F_{k}$.

Now, we turn our attention to $\ker D$. As $L(e_{0})=\tilde{R}(e_{n+1})a$ anti-commutes with $D$, $L(e_{0})$ operates on $\ker D$. This operation is self-adjoint and squares to $\operatorname{\mathbb{1}}_{\ker D}$, so by the spectral theorem $L(e_{0})_{|\ker D}$ is diagonalizable and its eigenvalues must be contained in $\{1,-1\}$. Let $K$ be the $-1$-eigenspace. Then $a(K)$ is the $1$-eigenspace. Due to

[TABLE]

$K$ and $a(K)$ become the $\frac{1}{2}\tau$- and $-\frac{1}{2}\tau$-eigenspaces of $\overline{D}$, respectively. ∎

Remark 3.13**.**

That $\overline{D}$ is invertible for constant mean curvature $\tau\neq 0$, can also be seen directly from the fact that $D$ anti-commutes with $L(e_{0})$: As $L(e_{0})^{2}=\operatorname{\mathbb{1}}$,

[TABLE]

and so $\operatorname{coker}\overline{D}=\ker\overline{D}=0$.

In the remainder of this section, we want to use the $Cl_{n,1}$-linear Dirac-Witten operator to define an index difference for initial values. For this, let $M$ be compact, spin and of dimension $n>0$. We need no longer assume that it is embedded into a manifold $N$, as we succeeded in expressing all the relevant structures in terms of $M$ and the pair $(g,k)$. In fact, the $Cl_{n,1}$-linear hypersurface spinor bundle $\overline{\Sigma}_{Cl}(M,g)\cong\Sigma_{Cl}(M,g)\otimes_{Cl_{n}}Cl_{n,1}$ depends on the metric $g$ alone, whereas its connection $\overline{\nabla}$ and thus its $Cl_{n,1}$-linear Dirac-Witten operator $\overline{D}$ is affected by $k$ as well.

In analogy to the case of the $\alpha$-difference, we need to compare the spaces of $L^{2}$-sections of the hypersurface spinor bundles for different initial value pairs $(g,k)$. Adopting the notation from Section 2.2, there is a bundle map

[TABLE]

which induces

[TABLE]

This allows to produce a continuous map from initial values to the space of Fredholm operators.

Theorem 3.14** (cf. [Glö19, Thm. 3.19]).**

The map

[TABLE]

is well-defined and continuous with respect to the $C^{1}$-topology on the space of smooth initial value pairs $\operatorname{\mathcal{I}}(M)$. In particular, it is continuous if $\operatorname{\mathcal{I}}(M)$ carries the $C^{\infty}$-topology.

Definition 3.15**.**

The $\overline{\alpha}$-difference is defined by the composition

[TABLE]

where the middle map is the one from Theorem 3.14.

In the next chapter, $\operatorname{\overline{\alpha}--diff}$ will be compared to the $\alpha$-difference. The first step will be to establish a comparison map between the space of metrics of positive scalar curvature and the space of initial value pairs satisfying the dominant energy condition strictly.

4 Comparing the index differences

4.1 Positive scalar curvature and initial values

In the following, $M$ is a compact smooth manifold of dimension $n\geq 2$. The aim of this section is to construct a continuous map $\Phi\colon S\operatorname{\mathcal{R}^{+}}(M)\longrightarrow\operatorname{\mathcal{I}^{+}}(M)$, which will be used later to relate the index differences.

Lemma 4.1**.**

For every $C>0$, the function

[TABLE]

*is continuous. *

Proposition 4.2**.**

For any $C>0$, the following is a well-defined continuous map of pairs:

[TABLE]

Moreover, its homotopy class $[\phi]\in[(\operatorname{\mathcal{R}}(M),\operatorname{\mathcal{R}^{+}}(M))\times(I,\partial I)\,,\,(\operatorname{\mathcal{I}}(M),\operatorname{\mathcal{I}^{+}}(M))]$ is independent of $C>0$.

Proof.

Continuity directly follows from the lemma above. Moreover, varying the parameter $C>0$ defines a continuous homotopy between different such maps. Thus, it only remains to prove that $\operatorname{\mathcal{R}}(M)\times\partial I\cup\operatorname{\mathcal{R}^{+}}(M)\times I$ is mapped into $\operatorname{\mathcal{I}^{+}}(M)$. To this aim, we first observe that for a pair of the form $(g,\frac{\tau}{n}g)$ with $\tau\in\mathbbm{R}$

[TABLE]

holds. Hence, such a pair fulfills the strict dominant energy condition if and only if

[TABLE]

But by definition of the function $\tau$, this is the case for $\left(g,\pm\frac{\tau(g)}{n}g\right)$, which shows that $\operatorname{\mathcal{R}}(M)\times\partial I$ maps into $\operatorname{\mathcal{I}^{+}}(M)$. Moreover, the condition is automatically satisfied if $g$ has positive scalar curvature, so $\operatorname{\mathcal{R}^{+}}(M)\times I$ is sent to $\operatorname{\mathcal{I}^{+}}(M)$ as well. ∎

Proposition 4.3**.**

Let $C>0$ and $h\in\operatorname{\mathcal{R}}(M)$ a Riemannian metric. Then the composition

[TABLE]

is a well-defined, continuous map. Its homotopy class is independent of $C>0$ and $h\in\operatorname{\mathcal{R}}(M)$.

Proof.

By the previous proposition, we just need to study the first map: Plugging in $t=\pm\frac{1}{2}$, we see that the different definitions agree on the intersections, and for the special values $t=\pm 1$ we observe that the result is independent of $g$, i.e. the map descends to the suspension. This shows well-definedness. Continuity can now be checked on each domain of definition, where it is obvious. Moreover, this map continuously depends on $h\in\operatorname{\mathcal{R}}(M)$, so by connectedness of $\operatorname{\mathcal{R}}(M)$, its homotopy class is independent of $h$. ∎

Corollary 4.4**.**

The inclusion $\operatorname{\mathcal{R}^{+}}(M)\to\operatorname{\mathcal{I}^{+}}(M)$, $g\mapsto(g,0)$ is null-homotopic. In particular, if there exists a metric $g_{0}\in\operatorname{\mathcal{R}^{+}}(M)$, the induced map on homotopy groups $\pi_{k}(\operatorname{\mathcal{R}^{+}}(M),g_{0})\to\pi_{k}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))$ is the zero-map for all $k$.

Proof.

Using the map defined above, we get a factorization of the inclusion map as follows

[TABLE]

where the first two maps are the canonical inclusions of a space into the its cone and of the cone into the suspension as upper half. As cones are contractible, the composition is null-homotopic. ∎

This shows that we cannot find non-trivial elements of homotopy groups in the space initial data with strict dominant energy condition by simply considering the space of positive scalar curvature metrics as subspace. However, the map $\Phi$ defined above allows for a better construction: In the remaining section, we will show that under certain conditions the composition

[TABLE]

has non-trivial image.

4.2 Main theorem

Let $M$ be a compact spin manifold of dimension $n\geq 2$. The aim of this section is to relate the $\overline{\alpha}$-difference for initial values $\operatorname{\overline{\alpha}--diff}\colon\pi_{k}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))\to KO^{-n-k}(\{*\})$, where $g_{0}$ is a metric of positive scalar curvature, to the classical $\alpha$-difference using the map from Proposition 4.3. This will lead to a non-triviality result for $\pi_{k}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))$. Moreover, the same argument shows that the $\overline{\alpha}$-difference detects that $\operatorname{\mathcal{I}^{+}}(M)$ has least two connected components if $\alpha(M)\neq 0$.

Theorem 4.5** (Main Theorem).**

If $M$ carries a metric $g_{0}$ of positive scalar curvature, then for all $k\geq 0$, the diagram

[TABLE]

commutes. Here, $\mathrm{Susp}$ is the suspension homomorphism and $\Phi$ is the map from Proposition 4.3. 2. 2.

For any metric $g_{0}$,

[TABLE]

where $\tau$ is defined as in Lemma 4.1.

Proof.

For the first part, we start by exploring the effect of the upper composition. The claim is that

[TABLE]

commutes, where the middle and the lower map are both induced by

[TABLE]

Note that $\phi$ preserves the base point, if the base point of $(D^{k+1},S^{k})\times(I,\partial I)$ is chosen to be $(*,0)$ when $*$ is the base point of $S^{k}$, so the middle map is well-defined. The lower square obviously commutes. For the upper square, we start with a class $[g]\in\pi_{k}(\operatorname{\mathcal{R}^{+}}(M),g_{0})$. Then the preimage under the boundary isomorphism is represented by

[TABLE]

for $r\in[0,1]$ and $x\in S^{k}$. Applying the horizontal map and restricting to the boundary yields the class of

[TABLE]

Using the homeomorphism

[TABLE]

this precisely gives the formula for $\Phi\circ Sg$ (cf. Proposition 4.3).

The core of the proof is showing that the following diagram commutes:

[TABLE]

Here, the first lower map is associated to the Morita equivalence between $Cl_{n,0}$- and $Cl_{n+1,1}$-Hilbert spaces, that is the first map in Proposition 2.7. This uses that $H$ and $\overline{H}$ correspond to each other under this Morita equivalence according to Proposition 3.3. The second lower map is the Bott map (cf. Theorem 2.6), associated to $e=-e_{n+1}$.

Before doing so, let us show that

[TABLE]

commutes. Here the central diamond is formed by the Bott maps associated to $e=e_{n}$ as well as maps induced by Morita equivalences. The topmost right hand map is induced by a $Cl_{n,1}$-Hilbert space isomorphism to be defined later. Notice that the right hand vertical composition is the index map, which follows from the invariance of the index map under $Cl_{n,1}$-Hilbert space isomorphisms. So stitching the diagrams (9)-(11) together, we obtain the diagram from the first claim.

Moreover, setting $k=-1$, the commutative diagram composed of (10) and (11) implies the second assertion. Then $(D^{k+1},S^{k})=(\{*\},\varnothing)$ and the upper left corner of the diagram is the one-point set $[\{*\},\operatorname{\mathcal{R}}(M)]$. Now the left hand vertical composition maps this point to the $\alpha$-index of $M$, whereas the composition through the upper right corner is seen to map it to the $\overline{\alpha}$-difference of the $\pi_{0}$-class from the claim.

The lower half of (11) commutes by the definition of the index map, cf. (2) and (4). The middle diamond commutes as well, this is obvious from the way its constituting maps are defined. We are left with the upper triangle. Note first that we are dealing with two different $Cl_{n,1}$-Hilbert space structures on $\overline{H}$: Since the map from the center upwards is the Bott map for $e=-e_{n+1}$, the $Cl_{n,1}$-structure is the one obtained by forgetting the $\tilde{R}(e_{n+1})$-action, whereas in the lower Hilbert space, we forget the multiplication by $e_{n}$. These are connected by the $Cl_{n,1}$-Hilbert space isomorphism

[TABLE]

Indeed, $a\in B(\overline{H})$ corresponds via $U$ to $a=UaU^{-1}$, $\tilde{R}(e_{i})$ to $\tilde{R}(e_{i})$ for $i<n$ and $\tilde{R}(e_{n})$ to $\tilde{R}(e_{n+1})$. The right hand map in the triangle is defined to be the map induced by $\operatorname{Fred}^{n,1}(\overline{H})\ni F\mapsto UFU^{-1}$. As the analogous map on $\operatorname{Fred}^{n+1,1}(\overline{H})$ is the identity, the diagram relating the Bott maps gets the shape of a triangle rather than a square. Its commutativity follows from

[TABLE]

It only remains prove that (10) commutes. The first two maps of the lower composition map $[g]\in[(D^{k+1},S^{k}),(\operatorname{\mathcal{R}}(M),\operatorname{\mathcal{R}^{+}}(M))]$ to the class of

[TABLE]

This is because it restricts to the correct map on $H=\ker(\tilde{R}(e_{0})\tilde{R}(e_{n+1})-\operatorname{\mathbb{1}})\subseteq\overline{H}$, i.e. the $Cl_{n}$-Hilbert space associated to $\overline{H}$ via the Morita equivalence (2.1). The remaining map sends it to the class of

[TABLE]

In contrast, the result of the upper composition is represented by

[TABLE]

with $k(x,t)=\frac{\tau(g(x))}{n}tg(x)$.

Remembering that $\overline{D}_{(g,k)}=D_{g}-\frac{1}{2}\tau L(e_{0})$, these do not look too much different, and we show that the following is a well-defined homotopy between them:

[TABLE]

for

[TABLE]

As this operator family is obtained by linearly interpolating between two continuous operator families, it is again continuous. So it remains to see that its target is indeed $(\operatorname{Fred}^{n,1}(\overline{H}),G^{n,1}(\overline{H}))$. It is clear, that all the operators are bounded, self-adjoint, odd and $Cl_{n,1}$-linear. To show that the operator $F_{(x,t,s)}$ associated to $(x,t,s)$ is Fredholm, we use the spectral decomposition of $D_{g(x)}$ from Proposition 3.12: The restriction of $F_{(x,t,s)}$ to $E_{k}\oplus a(E_{k})\cong E_{k}\otimes\mathbbm{R}^{2}$ is given by

[TABLE]

This is diagonalizable with eigenvalues $\pm\sqrt{a_{(x,t,s)}(\lambda_{k})^{2}\lambda_{k}^{2}+b_{(x,t,s)}(\lambda_{k})^{2}t^{2}}$. Note that due to $\sqrt{a_{(x,t,s)}(\lambda_{k})^{2}\lambda_{k}^{2}+b_{(x,t,s)}(\lambda_{k})^{2}t^{2}}\geq a_{(x,t,s)}(\lambda_{k})|\lambda_{k}|$, their absolute values, for any $t\in I$ and $s\in[0,1]$, are bounded away from zero by

[TABLE]

where $\lambda_{0}>0$ denotes the smallest positive eigenvalue of $D_{g(x)}$. A similar consideration as in Proposition 3.12 shows that $F_{(x,t,s)}$ restricted to $\ker(D_{g(x)})$ is diagonalizable as well, with eigenvalues $\pm b_{(x,t,s)}(0)t$. Putting this together, we find that $F_{(x,t,s)}$ has finite dimensional kernel, co-kernel and closed image (for this, the boundedness away from zero is needed). Furthermore, $F_{(x,t,s)}$ is invertible if $D_{g(x)}$ is invertible or $t>0$, one of which is the case on $\partial(D^{k+1}\times I)$.

In the case $n-1\equiv-1\mod 4$ one more tiny bit of thought is necessary. The space self-adjoint $Cl_{n,1}$-linear Fredholm operators has three components (cf. [AS69]): Those $F$ for which $\omega_{n,1}F\iota$ is essentially positive, those for which it is essentially negative and the rest. As for $s=0$ (or $s=1$) all operators $F_{(x,t,s)}$ fall into the last category, the same has to be true for all $s\in[0,1]$ by continuity. ∎

4.3 Corollaries and examples

In this final section, we explore some of the consequences of the main theorem (Theorem 4.5). We start by combining the first part of the main theorem with the non-triviality results for the $\alpha$-difference from Theorems 2.12 and 2.13. This gives the following conclusions:

Corollary 4.6**.**

If $M$ is a closed spin manifold of dimension $n\geq 6$ that carries a metric $g_{0}$ of positive scalar curvature, then for all $k\geq 1$ with $k+n\equiv 1,2\mod 8$ the $\overline{\alpha}$-difference for initial values $\operatorname{\overline{\alpha}--diff}\colon\pi_{k}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))\to KO^{-n-k}(\{*\})\cong\mathbbm{Z}/2\mathbbm{Z}$ is split surjective.

Corollary 4.7**.**

If $M$ is a closed spin manifold of dimension $n\geq 6$ that carries a metric $g_{0}$ of positive scalar curvature, then for all $k\geq 1$ the $\overline{\alpha}$-difference for initial values $\operatorname{\overline{\alpha}--diff}\colon\pi_{k}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))\to KO^{-n-k}(\{*\})$ is non-trivial whenever the target is non-zero, that is when $k+n\equiv 0,1,2,4\mod 8$.

In particular, under the assumptions of the corollaries above, $\pi_{k}(\operatorname{\mathcal{I}^{+}}(M),(g_{0},0))\neq 0$, which shows the first part of Corollary 1.1. Note that the main theorem provides an explicit construction of the non-trivial elements, provided that in $\pi_{k-1}(\operatorname{\mathcal{R}^{+}}(M),g_{0})$ the non-trivial elements detected by the $\alpha$-difference are known.

Particularly much is known about connected components of the space of positive scalar curvature metrics. If there are several components of $\operatorname{\mathcal{R}^{+}}(M)$ that can be distinguished by their $\alpha$-index difference, the main theorem provides us with non-trivial loops in $\operatorname{\mathcal{I}^{+}}(M)$.

Example 4.8**.**

As explained in [LM89, Ex. IV.7.5], there is a sequence of positive scalar curvature metrics $g_{k}\in\operatorname{\mathcal{R}^{+}}(S^{7})$, $k\in\mathbbm{Z}$, on the (standard) $7$-sphere with the following property: If $V_{k}\to S^{4}$ is the real vector bundle with Euler number $\chi=1$ and Pontrjagin number $p_{1}=4+896k$, then, after identifying its sphere bundle $\partial D(V_{k})$ with $S^{7}$, the metric $g_{k}$ extends to a positive scalar curvature metric $\hat{g}_{k}$ on the disk bundle $D(V_{k})$ collared along the boundary. All these metrics $g_{k}$ lie in different path components of $\operatorname{\mathcal{R}^{+}}(S^{7})$. More precisely, $\operatorname{\alpha--diff}(g_{k},g_{l})=l-k$. This can be seen as follows: According to the main result of [Ebe17], $\operatorname{\alpha--diff}(g_{k},g_{l})$ is equal to the index of the $Cl_{8}$-linear Dirac operator on $S^{7}\times\mathbbm{R}$ equipped with a metric of the form $\hat{h}=h_{t}+\mathrm{d}t^{2}$, where $h_{t}=g_{k}$ for $t\leq-1$ and $h_{t}=g_{l}$ for $t\geq 1$. Under complexification and Bott periodicity $KO^{-8}(\{*\})\cong K^{-8}(\{*\})\cong K^{0}(\{*\})\cong\mathbbm{Z}$, this corresponds to the index of the classical Dirac operator on $(S^{7}\times\mathbbm{R},\hat{h})$. We compute this using the cut-and-paste version version of relative index theorem (cf. [Bun95, Thm. 1.2]). We take the double of $(D(V_{k}),\hat{g}_{k})$ and cut it along the former boundary $\partial D(V_{k})$. We also cut $(S^{7}\times\mathbbm{R},\hat{h})$ along $S^{7}\times\{-1\}$. Then, using the identification $S^{7}\cong\partial D(V_{k})$, we glue them together in the other way that respects the boundary orientations. For the indices of the associated Dirac operators, we obtain:

[TABLE]

Here, the two first indices vanish since the metric has positive scalar curvature. Proceeding similarly at $S^{7}\times\{1\}$, we get

[TABLE]

The latter is of course equal to $\hat{A}(D(V_{k})\cup(-D(V_{l})))$. Using cut-and-paste once more, the claimed equality with $k-l$ reduces to the statement $\hat{A}(D(V_{k})\cup D^{8})=k$ from [LM89, Ex. IV.7.5].

Now, the suspension construction from Section 4.1 produces an element in $\pi_{1}(\operatorname{\mathcal{I}^{+}}(S^{7}))$ out of the $\pi_{0}$-class defined by $g_{k}$ and $g_{l}$. If $k\neq l$, the main theorem shows that its $\overline{\alpha}$-difference is $k-l\neq 0$, hence it is non-trivial. Tracking through the definitions, it is represented by a loop that is concatenated from the following four segments: In the first segment the initial value pairs are all of the form $(g,\frac{1}{n}\tau(g)g)$ and the metric $g$ interpolates between $g_{l}$ and $g_{k}$. The second segment is a linear interpolation between $(g_{k},\frac{1}{n}\tau(g_{k})g_{k})$ and $(g_{k},-\frac{1}{n}\tau(g_{k})g_{k})$. In particular, the first component of the initial value pair is fixed throughout the second segment. The third piece consists of initial value pairs $(g,-\frac{1}{n}\tau(g)g)$, where $g$ runs from $g_{k}$ to $g_{l}$. The final segment is again an interpolation within the second component only, running from $(g_{l},-\frac{1}{n}\tau(g_{l})g_{l})$ to $(g_{l},\frac{1}{n}\tau(g_{l})g_{l})$. We have thus found a rather explicit infinite family of non-trivial elements in $\pi_{1}(\operatorname{\mathcal{I}^{+}}(S^{7}))$.

Concerning path components of $\operatorname{\mathcal{I}^{+}}(M)$, we can say the following. It is easy to see that all pairs $(g,\frac{1}{n}\tau(g)g)$, $g\in\operatorname{\mathcal{R}}(M)$, lie in the same path component of $\operatorname{\mathcal{I}^{+}}(M)$. The same is true for all pairs of the form $(g,-\frac{1}{n}\tau(g)g)$. If $M$ carries a positive scalar curvature metric, then the components of $(g,\frac{1}{n}\tau(g)g)$ and $(g,-\frac{1}{n}\tau(g)g)$ are actually the same. If on the other hand $\alpha(M)\neq 0$ (and hence $M$ does not admit positive scalar curvature), the second part of the main theorem shows that these belong to different path component as their $\overline{\alpha}$-difference is non-zero. This immediately implies the second part of Corollary 1.1. It is the purpose of the follow-up work [Glö21] to show that we can still distinguish these two path components if $M$ does not carry a positive scalar curvature metric due to the (also index-theoretic) enlargeability obstruction. In special cases, we may be able to distinguish more components.

Example 4.9**.**

Consider the connected sum $M=K3\#K3$, which we decompose into $(K3\setminus D^{4})\cup(S^{3}\times[-L,L])\cup(K3\setminus D^{4})$, $L>0$. Choose a metric $g$ on $M$ that is symmetric under the involution $\sigma$ switching the two $K3$-surfaces and reflecting the $[-L,L]$-component of the connecting neck. We assume moreover that $g$ is the standard product metric on the neck $S^{3}\times[-L,L]$. Observe that we can make the neck longer, i. e. $L$ larger, without changing $\tau(g)$. Since $\alpha(M)=2\alpha(K3)\neq 0$, we already know that $(g,-\frac{1}{n}\tau(g)g)$ and $(g,\frac{1}{n}\tau(g)g)$ lie in different path components.

We now consider the following initial value pair $(g,k)$. On the left $K3\setminus D^{4}$, it is given by $(g,-\frac{1}{n}\tau(g)g)$. On the right $K3\setminus D^{4}$, it is $(g,\frac{1}{n}\tau(g)g)$. Along the neck, we take $(g,\frac{t}{nL}\tau(g)g)$ at $(x,t)\in S^{3}\times[-L,L]$. By the definition of $\tau$, the so obtained initial value pair satisfies the strict dominant energy condition along the two $K3$-parts. Since the metric on $S^{3}\times[-L,L]$ has positive scalar curvature, the estimate

[TABLE]

shows that this initial value pair also satisfies the strict dominant energy condition in the neck region as long as $L$ is chosen to be large enough. Thus we have constructed an element $(g,k)\in\operatorname{\mathcal{I}^{+}}(M)$ and we claim that it is part of neither of two components mentioned before. Assume that there were a path $t\mapsto(g_{t},k_{t})$ in $\operatorname{\mathcal{I}^{+}}(M)$ connecting $(g,k)$ to $(g,\frac{1}{n}\tau(g)g)$, say. Then $(\sigma^{*}g_{t},-\sigma^{*}k_{t})$ would be a path in $\operatorname{\mathcal{I}^{+}}(M)$ connecting it also with $(g,-\frac{1}{n}\tau(g)g)$, contradiction.

It might be worth noting that the component of the pair $(g,k)$ constructed above may be detected by the $\overline{\alpha}$-difference. Namely, it is not hard to see that it is additive in the sense

[TABLE]

Moreover, replacing the endomorphism $L(e_{0})$ by $-L(e_{0})$ the Dirac-Witten operators defining $\operatorname{\overline{\alpha}--diff}((g,-\frac{1}{n}\tau(g)g),(g,-k))$ turn on the nose into the Dirac-Witten operators defining $\operatorname{\overline{\alpha}--diff}((g,\frac{1}{n}\tau(g)g),(g,k))$. Hence,

[TABLE]

where the last step uses the invariance of the $\overline{\alpha}$-difference under the diffeomorphism $\sigma$. We obtain

[TABLE]

This result can probably also be obtained with the help of a suitable relative index theorem.

Appendix A On the spectral asymptotics

This appendix is devoted to the fact that the spectrum of a formally self-adjoint, first order elliptic differential operator has both infinitely many positive and infinitely many negative eigenvalues. This is used in the text when the operator is $\omega_{n,0}D\iota$ for $n\equiv-1\mod 4$ or $\omega_{n,1}\overline{D}\iota$ for $n\equiv 0\mod 4$, where $n>0$ is as always the dimension of the manifold. Although this statement is probably well-known, it is hard to find a reference in the literature. The following argument was suggested by the anonymous referee.

Proposition A.1**.**

Let $M$ be a closed Riemannian manifold of dimension $n\geq 1$ and $E\to M$ be a vector bundle with a metric and a metric connection $\nabla$. Assume that $D\colon\Gamma(E)\to\Gamma(E)$ is a formally self-adjoint, first order elliptic differential operator. Then $D$ has infinitely many positive and infinitely many negative eigenvalues.

Proof.

First of all, after potentially passing to the complexification, we may assume that $E\to M$ is a complex vector bundle. Note that the assumptions on $D$ together with the compactness of $M$ guarantee that the spectrum of $D$ is discrete and consists of real eigenvalues with finite multiplicity (cf. [LM89, Thm. III.5.8]). We assume for contradiction that the spectrum is bounded below. Then, replacing $D$ by $D+c$ for some $c\in\mathbbm{R}$, we may assume that $D$ is positive.

Now take a covector $\xi\in T^{*}_{p}M$ so that $\sigma_{D}(\xi)\neq 0$, where the principal symbol $\sigma_{D}$ of $D$ is defined by $\sigma_{D}(\mathrm{d}f)=[D,f]$ for any $f\in C^{\infty}(M)$. In fact, since $D$ is elliptic, any $\xi\neq 0$ will do the job. Since endomorphism $i\sigma_{D}(\xi)$ is self-adjoint, we may choose an eigenvector $\Psi_{p}\in E_{p}$ of non-zero eigenvalue. Let $f\in C^{\infty}(M)$ be a function with $\mathrm{d}_{p}f=\xi$ and $\Psi\in\Gamma(E)$ be a section extending $\Psi_{p}$. Since $\langle\Psi_{p},i\sigma_{D}(\xi)\Psi_{p}\rangle\neq 0$, we will have $(\Psi,i\sigma_{D}(\mathrm{d}f)\Psi)_{L^{2}}\neq 0$ – at least after multiplying $\Psi$ with a cut-off function supported near $p$.

For any $t\in\mathbbm{R}$, we have

[TABLE]

and thus

[TABLE]

This yields the desired contradiction since positivity of $D$ implies that the left-hand side $(e^{itf}\Psi,De^{itf}\Psi)_{L^{2}}\geq 0$ for every $t\in\mathbbm{R}$. ∎

Declarations

The author declares that there is no conflict of interest. There is no associated data or code.