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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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
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. [6])
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 \ge \Vert j\Vert \). We will say that an initial value pair (g, k) satisfies the dominant energy condition if \(\rho \ge \Vert j\Vert \), when \(\rho \) and j are defined by (1). This condition plays a vital role in the positive mass theorem [18, 19] 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 \ge 2\). Our aim is to study the space \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\) of initial value pairs (g, k) for which the dominant energy condition holds strictly, i.e. \(\rho > \Vert j\Vert \) everywhere. This is a subspace of the space \({{\,\mathrm{\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 [1], 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 \mathbb {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 :S{{\,\mathrm{\mathcal {R}^{+}}\,}}(M) \simeq {{\,\mathrm{\mathcal {R}^{+}}\,}}(M) \times [-1,1] \cup {{\,\mathrm{\mathcal {R}}\,}}(M) \times \{-1,1\} \rightarrow {{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\) by \((g,t) \mapsto (g,\frac{1}{n}\tau (g) t g)\), where \({{\,\mathrm{\mathcal {R}}\,}}(M)\) is the \(C^\infty \)-space of metrics, \({{\,\mathrm{\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
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. [8, 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
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 Sect. 3.2 below. There is a Schrödinger-Lichnerowicz type formula for \(\overline{D}\)
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
where \((g_0, k_0) \in {{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\). Notice that there is a degree shift in the target compared to \(\alpha \text {-diff}\): This results from the \({{\,\textrm{Cl}\,}}_{n,1}\)-linearity of the Dirac-Witten operator in contrast to the \({{\,\textrm{Cl}\,}}_n\)-linearity of the Dirac operator.
Notation
To avoid clumsy notation, we often write \(\alpha \text {-diff}(g_{-1},g_1)\) for the \(\alpha \)-difference applied to the \(\pi _0\)-class represented by \((S^0, 1) \rightarrow ({{\,\mathrm{\mathcal {R}^{+}}\,}}(M), g_1),\, t \mapsto g_t\). Likewise, we write \(\overline{\alpha }\text {-diff}((g_{-1},k_{-1}),(g_1,k_1))\) for the \(\overline{\alpha }\)-difference of the \(\pi _0\)-class defined by \((S^0, 1) \rightarrow ({{\,\mathrm{\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 {{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\) for \(g \in {{\,\mathrm{\mathcal {R}}\,}}(M)\) and suitably large \(\tau \in \mathbb {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 1
-
1.
For \(g_0 \in {{\,\mathrm{\mathcal {R}^{+}}\,}}(M)\) and all \(k \ge 0\), the diagram
commutes.
-
2.
For \(g_0 \in {{\,\mathrm{\mathcal {R}}\,}}(M)\),
$$\begin{aligned} \overline{\alpha }\text {-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 KO^{-n}(\{*\}). \end{aligned}$$
The idea of the proof is the following: For a pair of the form \((g, \frac{1}{n}\tau (g)tg)\), \(t \in \mathbb {R}\), the \(Cl_{n+1}\)-linear Dirac-Witten operator is given by \(\overline{D}=D \otimes _{Cl_n} Cl_{n,1} - \tau (g) t L(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}) :=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({{\,\mathrm{\mathcal {R}^{+}}\,}}(M), g_0)\) with non-trivial \(\alpha \)-difference gives rise to a non-zero element in \(\pi _{k+1}({{\,\mathrm{\mathcal {I}^{+}}\,}}(M), (g_0,0))\). Such elements have been constructed for example by Hitchin [12], Hanke, Schick and Steimle [13], Botvinnik, Ebert and Randal-Williams [4] as well as Crowley, Schick and Steimle [8] using different techniques. In particular, we obtain the following corollary.
Corollary 1.1
-
1.
If M is a compact spin manifold of dimension \(n \ge 6\) that admits a metric of positive scalar curvature, then \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\) is not contractible.
-
2.
If M is a compact spin manifold of dimension \(n \ge 2\) with \(\alpha (M) \ne 0\) (in particular, M does not carry a positive scalar curvature metric), then \({{\,\mathrm{\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 [9]. 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.
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 [9] that we briefly recall. All Hilbert spaces are understood as being real and separable. A \(Cl_{n,k}\)-Hilbert space H is always \(\mathbb {Z}/2\mathbb {Z}\)-graded. Typically, the \(\mathbb {Z}/2\mathbb {Z}\)-grading is given in terms of a grading operator \(\iota :H \rightarrow H\), and the Clifford action is determined by a Clifford multiplication \(c :\mathbb {R}^{n,k} \rightarrow {{\,\textrm{End}\,}}(H)\), where \(\mathbb {R}^{n,k}\) is the pseudo-Euclidean vector space \(\mathbb {R}^n \oplus \mathbb {R}^k\) with the standard inner product that is positive definite 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} \rightarrow {{\,\textrm{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}:=\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 \({{\,\textrm{Fred}\,}}^{n,k}(H)\) the space of \(Cl_{n,k}\)-Fredholm operators with operator norm topology. Furthermore, we write \(G^{n,k}(H) \subseteq {{\,\textrm{Fred}\,}}^{n,k}(H)\) for the subspace of invertible elements.
Note that we have \({{\,\textrm{Fred}\,}}^{n+1,k}(H) \subseteq {{\,\textrm{Fred}\,}}^{n,k}(H)\) and \({{\,\textrm{Fred}\,}}^{n,k+1}(H) \subseteq {{\,\textrm{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 \({{\,\textrm{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 \({{\,\textrm{Cl}\,}}_{n+1,k}\)- or \({{\,\textrm{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_{{{\,\textrm{Spin}\,}}(n)}M \rightarrow P_{SO(n)}M\) be a spin structure of M. The \(Cl_{n}\)-linear spinor bundle is \(\Sigma _{Cl}M :=P_{{{\,\textrm{Spin}\,}}(n)}M \times _\ell Cl_{n}\), where \(\ell :{{\,\textrm{Spin}\,}}(n) \rightarrow {{\,\textrm{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 :\mathbb {R}^n \rightarrow {{\,\textrm{End}\,}}(\Sigma _{Cl}M)\), which commutes with the left Clifford multiplication by tangent vectors. Furthermore, it carries a \(\mathbb {Z}/2\mathbb {Z}\)-grading a induced by \(Cl_n \rightarrow Cl_n, \; \mathbb {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 \le l \le n+k, 1 \le i_1< \dots < i_l \le n+k}\) orthonormal allows to define an \(L^2\)-scalar product and the space of \(L^2\)-sections \(H :=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:=\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 {{\,\textrm{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 [9]. It is one of the main ingredients for translating the classical results from [2] into the present framework.
Proposition 2.4
The space \(G^{n,k}(H)\) is contractible for all \(n,k \ge 0\).
Theorem 2.5
If H is an ample \(Cl_{n,k}\)-Hilbert space, then \({{\,\textrm{Fred}\,}}^{n,k}(H)\) represents KO-theory: For compact relative CW-complexes (X, Y), there is a natural (in (X, Y)) bijection
called index map. Moreover, \({{\,\textrm{ind}\,}}\) is invariant under \(Cl_{n,k}\)-Hilbert space isomorphisms, i.e. if \(U :H \rightarrow H^\prime \) is an isomorphism of \(Cl_{n,k}\)-Hilbert spaces, then
commutes, where the upper map is induced by \({{\,\textrm{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 \(\mathbb {Z}/2\mathbb {Z}\)-graded Hilbert space. Here, the corresponding statement is known as Atiyah-Jänich theorem (cf. [10, Thm. 2.17] for a detailed derivation from the version in [2]).
The generalization to arbitrary n (but still with \(k=0\)) is provided by the Bott map.
Theorem 2.6
[Bott map, [2, Thm. A(k)]] For compact CW-pairs (X, Y), the map
is a natural bijection.Footnote 1 Here, e is the additional basis vector of \(\mathbb {R}^{n+1,k}\) compared to \(\mathbb {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:
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
where we view \(\mathbb {R}^{n+1,k+1}\) as \(R^{n,k} \oplus \mathbb {R}e \oplus \mathbb {R}\varepsilon \). And a morphism \(F :H \rightarrow H^\prime \) of \(Cl_{n,k}\)-Hilbert spaces gives rise to a morphism
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 :=\ker (c(\varepsilon )c(e)-{{\,\mathrm{{\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 \(\mathbb {R}^{n+4,k}\) and \(\mathbb {R}^{n,k+4}\) as \(\mathbb {R}^n \oplus \mathbb {R}^k \oplus {{\,\textrm{span}\,}}\{e_1,e_2,e_3,e_4\}\), where \(e_1, \ldots e_4\) are the last four basis vectors of \(\mathbb {R}^{n+4}\) or the last four basis vectors of \(\mathbb {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}_{|\mathbb {R}^{n,k}}=c_{|\mathbb {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_{|\mathbb {R}^{n,k}}=\tilde{c}_{|\mathbb {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
The index map is then defined inductively for all (n, k) with \(0 \le k \le n\) by the requirement that
commutes. Lastly, it is extended to the missing (n, k) with \(0 \le n,k\) by commutativity of
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 \le n\) provided that the right generator \(x \in KO^{-8}(\{*\})\) is chosen. This follows from the last remark in [2].
Example 2.9
In the setting of Example 2.3, we can define the \(\alpha \)-index of M by \(\alpha (M) = {{\,\textrm{ind}\,}}(F) \in KO^{-n}(\{*\})\). This invariant was first defined by Hitchin [12] 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 [12], is a family version of the \(\alpha \)-index. More precisely, \(\alpha \text {-diff} :\pi _k({{\,\mathrm{\mathcal {R}^{+}}\,}}(M),g_0) \rightarrow KO^{-n-k-1}(\{*\})\) arises in the following way: As \({{\,\mathrm{\mathcal {R}}\,}}(M)\) is contractible, the long exact sequence for homotopy groups implies \(\pi _k({{\,\mathrm{\mathcal {R}^{+}}\,}}(M),g_0) \cong \pi _{k+1}({{\,\mathrm{\mathcal {R}}\,}}(M),{{\,\mathrm{\mathcal {R}^{+}}\,}}(M),g_0)\). For each metric g, the \(Cl_n\)-linear Dirac operator \(D_g\) defines a \(Cl_n\)-linear Fredholm operator
which is invertible if \(g \in {{\,\mathrm{\mathcal {R}^{+}}\,}}(M)\). The assignment \(g \mapsto F_g\) gives rise to a map \(({{\,\mathrm{\mathcal {R}}\,}}(M),{{\,\mathrm{\mathcal {R}^{+}}\,}}(M)) \rightarrow ({{\,\textrm{Fred}\,}}^{n,0},G^{n,0})\), which induces a map to \(\pi _{k+1}({{\,\textrm{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 \({{\,\mathrm{\mathcal {R}}\,}}(M)\), which, by Kuiper’s theorem, can be trivialized. Such a trivialization allows to define the map \(({{\,\mathrm{\mathcal {R}}\,}}(M),{{\,\mathrm{\mathcal {R}^{+}}\,}}(M)) \rightarrow ({{\,\textrm{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 [5]. 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
over the principal bundle of positively oriented frames of TM. This defines, for any \(g \in {{\,\mathrm{\mathcal {R}}\,}}(M)\), a spin structure for (M, g) by pullback
where \(P_{{{\,\textrm{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] \rightarrow M\), we obtain
This gives rise a topological spin structure \(P_{\widetilde{GL}^+(n+1)}M \times [0,1] \rightarrow P_{GL^+(n+1)}M \times [0,1]\) on \(M \times [0,1]\) by extension along the standard embedding
and its double covering. Now, given a metric \(g \in {{\,\mathrm{\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 + \textrm{d}t^2)\), t being the variable in [0, 1]-direction. As above, the topological spin structure induces a spin structure \(P_{{{\,\textrm{Spin}\,}}(n+1)}(M \times [0,1], g_t + \textrm{d}t^2) \rightarrow P_{{{\,\textrm{SO}\,}}(n+1)}(M \times [0,1], g_t + \textrm{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
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_{{{\,\textrm{Spin}\,}}(n+1)}(M \times [0,1], g_t + \textrm{d}t^2)\) the Levi-Civita connection induces a canonical connection \(\nabla \), which provides parallel transports
along the curves \(\gamma _x :[0,1] \rightarrow M \times [0,1], \; t \mapsto (x,t)\) for all \(x \in M\). These assemble into an isomorphism of principal bundles
The fact that \({\textstyle \frac{\partial }{\partial t}}\) is parallel along the curves \(\gamma _x\) implies that \(P^\nabla \) restricts to
and this induces an isomorphism on the associated \(Cl_n\)-linear spinor bundles
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 {{\,\mathrm{C^{\infty }}\,}}(M)\) such that \(\textrm{dvol}^g = \beta \, \textrm{dvol}^{g_0}\). Then \(\sqrt{\beta } P^\nabla :\Sigma _{Cl}(M,g_0) \rightarrow \Sigma _{Cl}(M,g)\) induces a unitary transformation
as
Moreover, it is clear that \(\Phi _g\) preserves the \(\mathbb {Z}/2\mathbb {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 + \textrm{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 [10, Thm. 2.22].
Theorem 2.10
The map
is well-defined and continuous with respect to the \(C^1\)-topology on the space of smooth metrics \({{\,\mathrm{\mathcal {R}}\,}}(M)\). In particular, it is continuous if \({{\,\mathrm{\mathcal {R}}\,}}(M)\) carries the \(C^\infty \)-topology.
Definition 2.11
The map from Theorem 2.10 gives rise to the composition
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 [8]] Let \((M,g_0)\) be a compact Riemannian spin manifold of positive scalar curvature and \(n=\dim (M) \ge 6\). For all \(k \ge 0\) with \(k+n+1 \equiv 1,2 \mod 8\), the \(\alpha \)-difference
is split surjective.
Theorem 2.13
[Botvinnik, Ebert, Randal-Williams [4]] Let \((M,g_0)\) be a compact Riemannian spin manifold of positive scalar curvature and \(n=\dim (M) \ge 6\). For all \(k \ge 0\), the \(\alpha \)-difference
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:
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 \({{\,\textrm{Spin}\,}}(n)\)-action. This, we obtain by pulling back the action maps. More explicitly, there is a commutative diagram
and the desired map is the unique map from its upper-left corner to the upper-left corner of (5) building, together with the other action maps, a commutative cube out of (5) and (6). Note, that this commutative cube shows that \(P_{{{\,\textrm{Spin}\,}}(n)}(M)\) is not only a \({{\,\textrm{Spin}\,}}(n)\)-reduction of \(P_{{{\,\textrm{SO}\,}}(n)}(M)\) but also a reduction of \(P_{{{\,\textrm{Spin}\,}}_0(n,1)}(N)_{|M}\) with respect to the inclusion \(i :{{\,\textrm{Spin}\,}}(n) \hookrightarrow {{\,\textrm{Spin}\,}}_0(n,1)\).
Next, we study associated bundles. The \(Cl_{n,1}\)-linear spinor bundle
is defined via the representation induced by left multiplication on \(Cl_{n,1}\):
As noted above, \(P_{{{\,\textrm{Spin}\,}}(n)}(M) \rightarrow P_{{{\,\textrm{Spin}\,}}_0(n,1)}(N)_{|M}\) is a \({{\,\textrm{Spin}\,}}(n)\)-reduction. Hence, from the theory of principal bundles (e.g. [3, Satz 2.18]), it follows that
so the bundle \(\Sigma _{Cl}N_{|M} \rightarrow 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 :\mathbb {R}^{n,1} \rightarrow {{\,\textrm{End}\,}}(\overline{\Sigma }_{Cl}M)\) and an even-odd grading \(a :\overline{\Sigma }_{Cl}M \rightarrow \overline{\Sigma }_{Cl}M\) as the corresponding notions for \(Cl_{n,1}\) are \({{\,\textrm{Spin}\,}}_0(n,1)\)-invariant. Despite not being \({{\,\textrm{Spin}\,}}_0(n,1)\)-invariant, the scalar product \(\langle - , - \rangle \) on \(Cl_{n,1}\) for which the basisFootnote 2\((e_{i_1}e_{i_2}\cdots e_{i_k})_{0 \le k \le n,\, 0 \le i_1< \cdots < i_k \le n}\) is orthonormal can be extended to \(\overline{\Sigma }_{Cl}M\): Due to (7), \({{\,\textrm{Spin}\,}}(n)\)-invariance of \(\langle -,- \rangle \) is sufficient. This scalar product gives rise to a space of \(L^2\)-sections \(\overline{H} :=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
for all \(\Psi \in \overline{\Sigma }_{Cl}M\), R extends to a \(Cl_{n+1,1}\)-multiplication
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 (3).
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})-{{\,\mathrm{{\mathbb {1}}}\,}})\) with the structure obtained by restriction.
Let us look at the endomorphism of \(\mathbb {R}^{n,1}\) given by reflection at the hyperplane orthogonal to the line \(\mathbb {R}e_0\). Viewing \(\mathbb {R}^{n,1}\) as subset of the Clifford algebra \(Cl_{n,1}\), it may be described as
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
holds. On the level of \(L^2\)-sections, we get
as required. \(\square \)
As a consequence of (7), 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_{{{\,\textrm{Spin}\,}}_0(n,1)}N_{|M}\) and \(\overline{\Sigma }_{Cl}M\). On the other hand, as bundle associated to \(P_{{{\,\textrm{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)\)
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_{{{\,\textrm{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_{{{\,\textrm{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. [5, (2.5)]), we perform the following local calculation:
where \(\varepsilon _i = \overline{g}(e_i, e_i) \in \{\pm 1\}\). \(\square \)
By the way a, R and \(\langle -,- \rangle \) are defined, it is clear that they are \(\nabla \)-parallel. The left Clifford multiplication \(L :TN_{|M} \otimes \overline{\Sigma }_{Cl}M \rightarrow \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 (5). This can be reexpressed by saying that both the restricted left Clifford multiplication \(TM \otimes \overline{\Sigma }_{Cl}M \rightarrow \overline{\Sigma }_{Cl}M\) and the endomorphism \(\overline{\Sigma }_{Cl}M \rightarrow \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 \({{\,\textrm{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:
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 [19] in order to give his spinorial proof of the positive mass theorem (cf. [16] for a rigorous formulation of the proof) and later studied in more detail by Hijazi and Zhang [14]. 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
where L is the left Clifford multiplication, defines the \(Cl_{n,1}\)-linear Dirac-Witten operator. The composition (with \(\overline{\nabla }\) replaced by \(\nabla \))
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 = {{\,\textrm{tr}\,}}W = {{\,\textrm{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:
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. [17, Prop. 3.11]). As left multiplication with \(e_0\) is self-adjoint as well, the same holds true for \({\overline{D}}\). \(\square \)
The utility of the Dirac-Witten operator to general relativity results from following observation due to Witten [19, eqs. (24)–(34)]. The proof (cf. also [16, 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
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 > \Vert j\Vert \), then \({\overline{D}}\) has zero kernel.
Proof
For any smooth section \(\psi \in \Gamma (\overline{\Sigma }_{Cl}M)\) with \(\psi \not \equiv 0\)
holds as \(|\langle \psi , e_0 \cdot j^\sharp \cdot \psi \rangle | \le \Vert j\Vert \Vert \psi \Vert ^2\). Here, \(\Vert -\Vert \) (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. \(\square \)
Proposition 3.10
\({\overline{D}}\) and D extend to densely defined self-adjoint operators
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. [15, Thm. III.5.2 and Thm. III.5.8]. \(\square \)
Corollary 3.11
If \(n=\dim (M)>0\) and \({\overline{H}}:=L^2(M,\overline{\Sigma }_{Cl}M)\), then there are well-defined elements
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 \({{\,\textrm{coker}\,}}{\overline{F}}=\ker {\overline{F}}\). The argumentation for F is completely analogous. Invertibility here uses the classical Schrödinger-Lichnerowicz formula. \(\square \)
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
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 \ge 0\) and \(K \oplus a(K) = \ker D\) such that the spectral decomposition of \({\overline{D}}\) is given by
In particular, \({\overline{D}}\) is invertible for all constants \(\tau \ne 0\).
Proof
As a anti-commutes with D, for any eigenvector \(\phi \) to the eigenvalue \(\lambda \)
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 R^{n+1,1}\). In particular,
for all \(k \ge 0\). Thus we can identify \(E_k\) with \(a(E_k)\) via the map \(E_k \rightarrow 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 \mathbb {R}^2\). Under this identification, by Lemma 3.7, the restriction of the Dirac-Witten operator corresponds to
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 a E_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 \({{\,\mathrm{{\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
K and a(K) become the \(\frac{1}{2} \tau \)- and \(-\frac{1}{2} \tau \)-eigenspaces of \({\overline{D}}\), respectively. \(\square \)
Remark 3.13
That \({\overline{D}}\) is invertible for constant mean curvature \(\tau \ne 0\), can also be seen directly from the fact that D anti-commutes with \(L(e_0)\): As \(L(e_0)^2={{\,\mathrm{{\mathbb {1}}}\,}}\),
and so \({{\,\textrm{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
which induces
This allows to produce a continuous map from initial values to the space of Fredholm operators.
Theorem 3.14
[cf. [10, Thm. 3.19]] The map
is well-defined and continuous with respect to the \(C^1\)-topology on the space of smooth initial value pairs \({{\,\mathrm{\mathcal {I}}\,}}(M)\). In particular, it is continuous if \({{\,\mathrm{\mathcal {I}}\,}}(M)\) carries the \(C^\infty \)-topology.
Definition 3.15
The \(\overline{\alpha }\)-difference is defined by the composition
where the middle map is the one from Theorem 3.14.
In the next chapter, \(\overline{\alpha }\text {-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 \ge 2\). The aim of this section is to construct a continuous map \(\Phi :S{{\,\mathrm{\mathcal {R}^{+}}\,}}(M) \longrightarrow {{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\), which will be used later to relate the index differences.
Lemma 4.1
For every \(C>0\), the function
is continuous.
Proposition 4.2
For any \(C>0\), the following is a well-defined continuous map of pairs:
Moreover, its homotopy class \([\phi ] \in [({{\,\mathrm{\mathcal {R}}\,}}(M),{{\,\mathrm{\mathcal {R}^{+}}\,}}(M)) \times (I, \partial I)\,,\, ({{\,\mathrm{\mathcal {I}}\,}}(M),{{\,\mathrm{\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 \({{\,\mathrm{\mathcal {R}}\,}}(M) \times \partial I \cup {{\,\mathrm{\mathcal {R}^{+}}\,}}(M) \times I\) is mapped into \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\). To this aim, we first observe that for a pair of the form \((g, \frac{\tau }{n} g)\) with \(\tau \in \mathbb {R}\)
holds. Hence, such a pair fulfills the strict dominant energy condition if and only if
But by definition of the function \(\tau \), this is the case for \(\left( g, \pm \frac{\tau (g)}{n} g \right) \), which shows that \({{\,\mathrm{\mathcal {R}}\,}}(M) \times \partial I \) maps into \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\). Moreover, the condition is automatically satisfied if g has positive scalar curvature, so \({{\,\mathrm{\mathcal {R}^{+}}\,}}(M) \times I\) is sent to \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\) as well. \(\square \)
Proposition 4.3
Let \(C>0\) and \(h \in {{\,\mathrm{\mathcal {R}}\,}}(M)\) a Riemannian metric. Then the composition
is a well-defined, continuous map. Its homotopy class is independent of \(C>0\) and \(h \in {{\,\mathrm{\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 {{\,\mathrm{\mathcal {R}}\,}}(M)\), so by connectedness of \({{\,\mathrm{\mathcal {R}}\,}}(M)\), its homotopy class is independent of h. \(\square \)
Corollary 4.4
The inclusion \({{\,\mathrm{\mathcal {R}^{+}}\,}}(M) \rightarrow {{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\), \(g \mapsto (g,0)\) is null-homotopic. In particular, if there exists a metric \(g_0 \in {{\,\mathrm{\mathcal {R}^{+}}\,}}(M)\), the induced map on homotopy groups \(\pi _k({{\,\mathrm{\mathcal {R}^{+}}\,}}(M),g_0) \rightarrow \pi _k({{\,\mathrm{\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
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. \(\square \)
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
has non-trivial image.
4.2 Main theorem
Let M be a compact spin manifold of dimension \(n \ge 2\). The aim of this section is to relate the \(\overline{\alpha }\)-difference for initial values \(\overline{\alpha }\text {-diff} :\pi _k({{\,\mathrm{\mathcal {I}^{+}}\,}}(M), (g_0,0)) \rightarrow 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({{\,\mathrm{\mathcal {I}^{+}}\,}}(M),(g_0,0))\). Moreover, the same argument shows that the \(\overline{\alpha }\)-difference detects that \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\) has least two connected components if \(\alpha (M) \ne 0\).
Theorem 4.5
-
1.
If M carries a metric \(g_0\) of positive scalar curvature, then for all \(k \ge 0\), the diagram
commutes. Here, \(\textrm{Susp}\) is the suspension homomorphism and \(\Phi \) is the map from Proposition 4.3.
-
2.
For any metric \(g_0\),
$$\begin{aligned} \overline{\alpha }\text {-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 KO^{-n}(\{*\}), \end{aligned}$$
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
commutes, where the middle and the lower map are both induced by
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({{\,\mathrm{\mathcal {R}^{+}}\,}}(M),g_0)\). Then the preimage under the boundary isomorphism is represented by
for \(r \in [0,1]\) and \(x \in S^k\). Applying the horizontal map and restricting to the boundary yields the class of
Using the homeomorphism
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:
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
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 (8)-(10) together, we obtain the diagram from the first claim.
Moreover, setting \(k = -1\), the commutative diagram composed of (9) and (10) implies the second assertion. Then \((D^{k+1}, S^k) = (\{*\},\varnothing )\) and the upper left corner of the diagram is the one-point set \([\{*\},{{\,\mathrm{\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 (10) 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
Indeed, \(a \in B({\overline{H}})\) corresponds via U to \(a=U a U^{-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 \({{\,\textrm{Fred}\,}}^{n,1}({\overline{H}}) \ni F \mapsto UFU^{-1}\). As the analogous map on \({{\,\textrm{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
It only remains prove that (9) commutes. The first two maps of the lower composition map \([g] \in [(D^{k+1},S^k),({{\,\mathrm{\mathcal {R}}\,}}(M),{{\,\mathrm{\mathcal {R}^{+}}\,}}(M))]\) to the class of
This is because it restricts to the correct map on \(H=\ker (\tilde{R}(e_0)\tilde{R}(e_{n+1})-{{\,\mathrm{{\mathbb {1}}}\,}}) \subseteq \overline{H}\), i.e. the \(Cl_n\)-Hilbert space associated to \(\overline{H}\) via the Morita equivalence (3). The remaining map sends it to the class of
In contrast, the result of the upper composition is represented by
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:
for
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 \(({{\,\textrm{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 \mathbb {R}^2\) is given by
This is diagonalizable with eigenvalues \(\pm \sqrt{a_{(x,t,s)}(\lambda _k)^2\lambda _k^2+b_{(x,t,s)}(\lambda _k)^2t^2}\). Note that due to \(\sqrt{a_{(x,t,s)}(\lambda _k)^2\lambda _k^2+b_{(x,t,s)}(\lambda _k)^2t^2} \ge 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
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. [2]): 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. \(\square \)
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 \ge 6\) that carries a metric \(g_0\) of positive scalar curvature, then for all \(k \ge 1\) with \(k+n \equiv 1,2 \mod 8\) the \(\overline{\alpha }\)-difference for initial values \(\overline{\alpha }\text {-diff} :\pi _k({{\,\mathrm{\mathcal {I}^{+}}\,}}(M),(g_0,0)) \rightarrow KO^{-n-k}(\{*\}) \cong \mathbb {Z}/2\mathbb {Z}\) is split surjective.
Corollary 4.7
If M is a closed spin manifold of dimension \(n \ge 6\) that carries a metric \(g_0\) of positive scalar curvature, then for all \(k \ge 1\) the \(\overline{\alpha }\)-difference for initial values \(\overline{\alpha }\text {-diff} :\pi _k({{\,\mathrm{\mathcal {I}^{+}}\,}}(M),(g_0,0)) \rightarrow 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({{\,\mathrm{\mathcal {I}^{+}}\,}}(M),(g_0,0)) \ne 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}({{\,\mathrm{\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 \({{\,\mathrm{\mathcal {R}^{+}}\,}}(M)\) that can be distinguished by their \(\alpha \)-index difference, the main theorem provides us with non-trivial loops in \({{\,\mathrm{\mathcal {I}^{+}}\,}}(M)\).
Example 4.8
As explained in [15, Ex. IV.7.5], there is a sequence of positive scalar curvature metrics \(g_k \in {{\,\mathrm{\mathcal {R}^{+}}\,}}(S^7)\), \(k \in \mathbb {Z}\), on the (standard) 7-sphere with the following property: If \(V_k \rightarrow 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 \({{\,\mathrm{\mathcal {R}^{+}}\,}}(S^7)\). More precisely, \(\alpha \text {-diff}(g_k, g_l) = l - k\). This can be seen as follows: According to the main result of [9], \(\alpha \text {-diff}(g_k, g_l)\) is equal to the index of the \(Cl_8\)-linear Dirac operator on \(S^7 \times \mathbb {R}\) equipped with a metric of the form \(\hat{h} = h_t + \textrm{d}t^2\), where \(h_t = g_k\) for \(t \le -1\) and \(h_t = g_l\) for \(t \ge 1\). Under complexification and Bott periodicity \(KO^{-8}(\{*\}) \cong K^{-8}(\{*\}) \cong K^0(\{*\}) \cong \mathbb {Z}\), this corresponds to the index of the classical Dirac operator on \((S^7 \times \mathbb {R}, \hat{h})\). We compute this using the cut-and-paste version version of relative index theorem (cf. [7, 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 \mathbb {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:
Here, the two first indices vanish since the metric has positive scalar curvature. Proceeding similarly at \(S^7 \times \{1\}\), we get
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 [15, Ex. IV.7.5].
Now, the suspension construction from Section 4.1 produces an element in \(\pi _1({{\,\mathrm{\mathcal {I}^{+}}\,}}(S^7))\) out of the \(\pi _0\)-class defined by \(g_k\) and \(g_l\). If \(k \ne l\), the main theorem shows that its \(\overline{\alpha }\)-difference is \(k - l \ne 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({{\,\mathrm{\mathcal {I}^{+}}\,}}(S^7))\).
Concerning path components of \({{\,\mathrm{\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 {{\,\mathrm{\mathcal {R}}\,}}(M)\), lie in the same path component of \({{\,\mathrm{\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) \ne 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 [11] 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) \ne 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
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 {{\,\mathrm{\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 \({{\,\mathrm{\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 \({{\,\mathrm{\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
Moreover, replacing the endomorphism \(L(e_0)\) by \(-L(e_0)\) the Dirac-Witten operators defining \(\overline{\alpha }\text {-diff}((g,-\frac{1}{n}\tau (g)g), (g, -k))\) turn on the nose into the Dirac-Witten operators defining \(\overline{\alpha }\text {-diff}((g,\frac{1}{n}\tau (g)g), (g, k))\). Hence,
where the last step uses the invariance of the \(\overline{\alpha }\)-difference under the diffeomorphism \(\sigma \). We obtain
This result can probably also be obtained with the help of a suitable relative index theorem.
Notes
For two pairs (X, A) and (Y, B), we write \((X,A) \times (Y,B) :=(X \times Y, X \times B \cup A \times Y)\).
For consistency with Lorentzian geometry, the basis vector of the negative definite part of \(\mathbb {R}^{n,1}\) is called \(e_0\) rather than \(e_{n+1}\).
References
Ammann, B., Glöckle, J.: Dominant energy condition and spinors on Lorentzian manifolds. In: Perspectives in Scalar Curvature. Ed. by Misha Gromov and H. Blaine Lawson. Vol. 2. pp. 519–592. isbn: 978-981-124-935-8 (2023). https://doi.org/10.1142/12644
Atiyah, M.F., Singer, I.M.: Index theory for skew-adjoint Fredholm operators. Publications Mathématiques de l’IHÉS 37, 5–26 (1969)
Baum, H.: Eichfeldtheorie. (2014). https://doi.org/10.1007/978-3-642-38539-1
Botvinnik, B., Ebert, J., Randal-Williams, O.: “Infinite loop spaces and positive scalar curvature”. In: Inventiones mathematicae (2014), pp. 749-835. https://doi.org/10.1007/s00222-017-0719-3
Bär, C., Gauduchon, P., Moroianu, A.: Generalized cylinders in semi-Riemannian and spin geometry. Mathematische Zeitschrift 249(3), 545–580 (2005). https://doi.org/10.1007/s00209-004-0718-0
Bartnik, R., Isenberg, J.: The constraint equations. In: Chruściel, Piotr T., Friedrich, Helmut (eds.) The Einstein equations and the large scale behavior of gravitational fields, pp. 1–38. Basel, Birkhäuser (2004)
Bunke, U.: A K-theoretic relative index theorem and Callias-type Dirac operators. Mathematische Annalen 303(1), 241–279 (1995). https://doi.org/10.1007/BF01460989
Crowley, D., Schick, T., Steimle, W.: Harmonic spinors and metrics of positive curvature via the Gromoll filtration and Toda brackets. J. Topol. 11(4), 1077–1099 (2018). https://doi.org/10.1112/topo.12081
Ebert, J.: The two definitions of the index difference. Trans. Am. Math. Soc. 369, 7469–7507 (2017). https://doi.org/10.1090/tran/7133
Glöckle, J.: Initial Value Spaces in General Relativity. Master Thesis. Universität Regensburg, (2019). https://epub.uni-regensburg.de/52853/
Glöckle, J.: An enlargeability obstruction for spacetimes with both Big Bang and Big Crunch. 2021. arXiv:2111.02656
Hitchin, N.: Harmonic spinors. Adv. Math. 14(1), 1–55 (1974). https://doi.org/10.1016/0001-8708(74)90021-8
Hanke, B., Schick, T., Steimle, W.: The space of metrics of positive scalar curvature. Publications mathématiques de l’IHÉS 120(1), 335–367 (2014). https://doi.org/10.1007/s10240-014-0062-9
Hijazi, O., Zhang, X.: The Dirac-witten operator on spacelike hypersurfaces. Commun. Anal. Geometry 11, 737–750 (2003). https://doi.org/10.4310/CAG.2003.v11.n4.a5
Lawson, H.B., Michelsohn, M.-L.: Spin Geometry. Princeton University Press, Princeton (1989)
Parker, T., Taubes, C.H.: On Witten’s proof of the positive energy theorem. Commun. Math. Phys. 84(2), 223–238 (1982). https://doi.org/10.1007/BF01208569
Roe, J.: Elliptic Operators, Topology, and Asymptotic Methods, 2nd edn. Chapman and Hall/CRC, New York (1999)
Schoen, R., Yau, S.-T.: Proof of the positive mass theorem. II. Commun. Math. Phys. 79(2), 231–260 (1981). https://doi.org/10.1007/BF01942062
Witten, E.: A new proof of the positive energy theorem. Commun. Math. Phys. 80(3), 381–402 (1981). https://doi.org/10.1007/BF01208277
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.
Funding
Open Access funding enabled and organized by Projekt DEAL. I was supported by the SFB 1085 “Higher Invariants” funded by the Deutsche Forschungsgemeinschaft.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Declarations
The author declares that there is no conflict of interest. There is no associated data or code.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A On the spectral asymptotics
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 \ge 1\) and \(E \rightarrow M\) be a vector bundle with a metric and a metric connection \(\nabla \). Assume that \(D :\Gamma (E) \rightarrow \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 \rightarrow 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. [15, Thm. III.5.8]). We assume for contradiction that the spectrum is bounded below. Then, replacing D by \(D + c\) for some \(c \in \mathbb {R}\), we may assume that D is positive.
Now take a covector \(\xi \in T^*_pM\) so that \(\sigma _D(\xi ) \ne 0\), where the principal symbol \(\sigma _D\) of D is defined by \(\sigma _D(\textrm{d}f) = [D, f]\) for any \(f \in C^\infty (M)\). In fact, since D is elliptic, any \(\xi \ne 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 \(\textrm{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 \ne 0\), we will have \((\Psi , i\sigma _D(\textrm{d}f) \Psi )_{L^2} \ne 0\) – at least after multiplying \(\Psi \) with a cut-off function supported near p.
For any \(t \in \mathbb {R}\), we have
and thus
This yields the desired contradiction since positivity of D implies that the left-hand side \((e^{itf}\Psi , D e^{itf}\Psi )_{L^2} \ge 0\) for every \(t \in \mathbb {R}\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Glöckle, J. On the space of initial values strictly satisfying the dominant energy condition. Math. Ann. 388, 1323–1355 (2024). https://doi.org/10.1007/s00208-022-02534-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-022-02534-1