Abstract
In this note, we study necessary and sufficient conditions for the existence of a Spin\((n + 1)\)-dimensional cobordism that supports a non-singular and non-degenerate pseudo-Riemannian metric of signature \((2, n - 1)\), which restricts to a non-singular time-orientable Lorentzian metric on its boundary. The corresponding cobordism groups are computed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Reinhart [26] and Sorkin [28] determined necessary and sufficient topological conditions for a compact \((n + 1)\)-manifold W to admit a non-singular time-orientable Lorentzian metric \(g^L\) inducing a Riemannian metric on its boundary \(\partial W = M_1\sqcup M_2\). In particular, a pair \(((W; M_1, M_2), g^L)\) satisfying such properties is known as an \(\text {SO}(1, n)_0\)-Lorentzian cobordism (Definition 41) and the existence of the Lorentzian metric \(g^L\) on W has been completely characterized by Reinhart and Sorkin by means of the Euler characteristics of W and of the closed n-manifolds \(M_1\) and \(M_2\). These objects have been studied extensively throughout the years by several mathematicians and mathematical physicists, including Chamblin [3], Geroch [9] Gibbons–Hawking [10], Reinhart [26], Sorkin [28] and Yodzis [40].
An interesting question is whether two given topological and geometric properties can co-exist on a given cobordism \((W; M_1, M_2)\). Let us think for a second about the third-dimensional case to fix ideas. Any two closed oriented 3-manifolds are the boundary of some compact Spin 4-manifold since the third Spin-cobordism group is trivial [23]. The results of Reinhart and Sorkin that were just mentioned also guarantee the existence of a \(\text {SO}(1, 3)_0\)-Lorentzian cobordism between any two closed oriented 3-manifolds. The latter cobordism, however, need not support a Spin-structure. Gibbons–Hawking [10] showed that the Kervaire semi-characteristic (see Definition 9) of \(\partial W = M_1\sqcup M_2\) is the only topological obstruction for a \(\text {SO}(1, 3)_0\)-Lorentzian cobordism to admit a compatible structure of a Spin-cobordism. Smirnov–Torres [27] generalized their results to arbitrary dimensions and computed the corresponding \(\text {Spin}(1, n)_0\)-Lorentzian cobordism groups.
In this paper, we extend these results further into the pseudo-Riemannian realm and occupy ourselves with the study of the following objects.
Definition 1
An \(\text {SO}(2, n - 1)_0\)-pseudo-Riemannian cobordism between closed smooth oriented n-manifolds \(M_1\) and \(M_2\) is a pair
that consists of
(A) a cobordism \((W; M_1, M_2)\),
(B.1) a non-singular indefinite metric (W, g) of signature \((2, n - 1)\) such that
(C.1) its restriction to the boundary \(\partial W = M_1 \sqcup M_2\) gives rise to non-singular time-orientable Lorentzian metrics \((M_1, g^L_{M_1})\) and \((M_2, g^L_{M_2})\); please see Sect. 3 for an explanation on our notation.
In the sequel, we focus on the case where the cobordism of Item (A) is a \(\text {Spin}\)-cobordism and require for the \(\text {Spin}\)-structures on the boundary components to be induced by the \(\text {Spin}\)-structure on the cobordism. In thise case, we call (2) a \(\text {Spin}(2, n - 1)_0\)-pseudo-Riemannian cobordism between \(M_1\) and \(M_2\) and say that \(M_1\) is \(\text {Spin}(2,n-1)_0\)-cobordant to \(M_2\).
A prototype example of a \(\text {Spin}(2, n - 2)_0\)-pseudo-Riemannian cobordism is as follows.
Example A
Let (X, g) be a closed Riemannian \((n-2)\)-manifold of dimension at least two, take the 2-disk \(D^2\) with polar coordinates \((r, \theta )\in D^2\), and consider the compact pseudo-Riemannian n-manifold
with the indefinite product metric of signature \((2, n-2)\). Furthermore, if X admits a \(\text {Spin}\)-structure, then (3) is a \(\text {Spin}(2, n - 2)_0\)-pseudo-Riemannian cobordism with boundary the Lorentzian \((n - 1)\)-manifold
While some partial results on \(\text {Spin}(2, 2)_0\)-pseudo-Riemannian cobordisms have been obtained by Alty–Chamblin in [1], there is no systematic study of these objects available in the literature. The goal of this paper is to fill such gap. In our first main result, we provide an almost complete topological characterization for the existence of a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\) \(((W;M_1,M_2),g)\); see Remark 55. The Euler characteristic of a manifold X is denoted by \(\chi (X)\) and the Kervaire semi-characteristic of an odd-dimensional manifold Y is denoted by \(\hat{\chi }_{\mathbb {Z}/2}(Y)\); see Definition 9.
Theorem B
Let \(\{M_1,M_2\}\) be closed smooth \(\text {Spin}\)-cobordant n-manifolds.
\(\bullet \) Suppose \(n\not \equiv 1,5,7 \mod 8\). There exists a \(\text {Spin}(2, n - 1)_0\)-pseudo-Riemannian cobordism \(((W;M_1,M_2),g)\) if and only if
-
(1)
The Euler characteristic of every connected component of \(M_1\) and \(M_2\) is trivial for n even
-
(2)
\({\hat{\chi }}_{\mathbb {Z}/2}(M_1)={\hat{\chi }}_{\mathbb {Z}/2}(M_2)\) for n odd.
\(\bullet \) Suppose \(n\equiv 1\mod 4\). If \({\hat{\chi }}_{\mathbb {Z}/2}(M_1)={\hat{\chi }}_{\mathbb {Z}/2}(M_2)\), there exists a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\).
\(\bullet \) Suppose \(n\equiv 7 \mod 8\). There is a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\) without any further assumptions.
The main ingredients of our proof of Theorem B are results of Atiyah [2], Frank [5], Hirzebruch–Hopf [12], Matsushita [22], Thomas [33,34,35,36,37,38,39] on the existence of 2-distributions of the tangent bundle of an oriented smooth manifold along with work of Gibbons–Hawking [10], Kervaire [15], Kervaire–Milnor [16], Lusztig–Milnor–Peterson [20] and Smirnov–Torres [27] relating the Euler characteristic of a \(\text {Spin}\)-cobordism with the Kervaire characteristic of its boundary.
In Sect. 4, we define the corresponding \(\text {Spin}(2, n - 1)_0\)-cobordism groups, which we denote by \(\Omega ^{\text {Spin}}_{2, n - 1}\). We build on Milnor’s computations of \(\text {Spin}\)-groups in low dimensions [23] in order to determine them. Along with Theorem B, the task yields the following depiction of the cobordisms of Definition 1 in terms of simple topological invariants. We also compute the cobordism groups.
Theorem C
Let \(\{M_1, M_2\}\) be closed smooth \(\text {Spin}\) n-manifolds.
\(\bullet \) If \(n = 3\), there is a \(\text {Spin}(2, 2)_0\)-pseudo-Riemannian cobordism \(((W; M_1, M_2))\) if and only if \(\hat{\chi }_{\mathbb {Z}/2}(M_1) = \hat{\chi }_{\mathbb {Z}/2}(M_2)\). There is a group isomorphism
\(\bullet \) If \(n = 4\), there is a \(\text {Spin}(2, 3)_0\)-pseudo-Riemannian cobordism \(((W; M_1, M_2), g)\) if and only if all the connected components of \(M_1\) and \(M_2\) have trivial Euler characteristic and they have the same signature \(\sigma (M_1)=\sigma (M_2)\). There is a group isomorphism
\(\bullet \) If \(n = 6\), there is a \(\text {Spin}(2, 5)_0\)-pseudo-Riemannian cobordism \(((W; M_1, M_2), g)\) if and only if all the connected components of \(M_1\) and \(M_2\) have trivial Euler characteristic. There is a group isomorphism
\(\bullet \) If \(n = 7\), there is a \(\text {Spin}(2, 6)_0\)-pseudo-Riemannian cobordism \(((W; M_1, M_2), g)\) without any further assumptions. There is a group isomorphism
The last result to be presented in this introduction contains a myriad of examples of the cobordisms of Definition 1; cf. [27, Corollary G].
Theorem D
Let M be a closed connected smooth n-manifold that \(\text {Spin}\)-bounds and whose Euler characteristic is zero, let \(n \ge 5\). For any finitely presented group G, there exists a closed smooth \(\text {Spin}\) n-manifold M(G) such that \(\pi _1 M(G)=G\) and a \(\text {Spin}(2,n-1)_0\)- pseudo-Riemannian cobordism ((W; M, M(G)), g).
The proof of Theorem D follows from Theorem B and a well-known argument to construct closed high-dimensional stably-parallelizable n-manifolds with prescribed fundamental group [13, Theorem A].
We have organized the paper as follows. In Sect. 2 we present some background material for the convenience of the reader. It includes a description of the topological constructions that are used in the paper as well as background existence results on indefinite metrics. A discussion on the co-existence of \(\text {Spin}\)-structures and indefinite metrics on our cobordisms can be found in Sect. 3. The cobordism groups are defined in Sect. 4. Section 5 contains a comparison between the cobordisms of Definition 1 and Lorentzian cobordisms. Section 6 contains a discussion and open questions on expressing our main results in the language of tangential structures of Galatius–Madsen–Tillmann–Weiss [6] as Ebert did in [4] for Reinhart’s work on Lorentzian cobordisms [26]. This section arose from a suggestion of Oscar Randal–Williams. The proofs of our main results are given in Sect. 7. For background results, the reader is directed to Atiyah [2], Chamblin [3], Gibbons–Hawking [10], Milnor [23], O’Neill [25], Reinhart [26], Smirnov-Torres [27], Steenrod [29], Stong [30], Thom [32], Thomas [34,35,36, 38, 39].
All manifolds in this paper are assumed to be \(C^{\infty }\)-smooth and Hausdorff. All pseudo-Riemannian metrics in this paper are assumed to be time-orientable and non-degenerate.
2 Background results
2.1 Kervaire semi-characteristic and spin-structures
The following fundamental invariant of odd-dimensional manifolds was introduced by Kervaire [15].
Definition 9
The Kervaire semi-characteristic of a closed \((2k + 1)\)-manifold M is
where \(b_i(M;\mathbb {Z}/2)\) denotes the \(i^{th}\) Betti number of M with \(\mathbb {Z}/2\)-coefficients.
There is a relation between the Euler characteristic of an even-dimensional manifold with boundary and the Kervaire semi-characteristic of its boundary in the presence of a \(\text {Spin}\)-structure as observed by Geiges [8], Gibbons–Hawking [10], Kervaire [15], Kervaire-Milnor [16], Lusztig–Milnor–Peterson [20] and Smirnov-Torres [27].
Theorem 11
Let W be a compact even-dimensional manifold with non-empty boundary \(\partial W \ne \emptyset \). The identity
holds provided either
-
W is stably-parallelizable [15] or
-
W is 2q-dimensional for \(q\not \equiv 0 \mod 4\) and admits a \(\text {Spin}\)-structure [8, Lemma 8.2.13], [27, Lemma 6].
The value of the Kervaire semi-characteristic is independent of the choice of field of coefficients for manifolds that admit a \(\text {Spin}\)-structure [20]; see [2, Remark p. 16].
2.2 Double of a compact manifold and its Euler characteristic and Kervaire semi-characteristic
Let W be a compact oriented n-manifold with non-empty boundary \(\partial W = M\). The double 2W of W is the closed smooth oriented n-manifold
where corners have been smoothed out. It can also be described as the boundary
The computation of the Euler characteristic of (13) and its signature, whenever it is defined, are immediate and we record them.
Lemma 15
The Euler characteristic of the double (13) is
Suppose W is 4q-dimensional. The signature of 2W satisfies
A result of Zadeh [41] is useful for the computation of the Kervaire semi-characteristic of (14).
Proposition 18
Let W be a \(\text {Spin}\) compact \(2q-1\) oriented manifold with \(q\not \equiv 0\mod 4\). The Kervaire semi-characteristic of the double 2W satisfies
The proof of Proposition 18 follows from Theorem 11 and the fact that 2W is the boundary of the Spin-manifold \(W\times [0,1]\).
2.3 Existence of 2-distributions
Let us now discuss existence results of subbundles of the tangent bundle of a manifold that are directly related to the existence of pseudo-Riemannian metrics.
Definition 20
Let W be an oriented n-manifold. A 2-distribution V is a non-singular field of tangent 2-planes, i.e. an oriented 2-plane sub-bundle of TW.
Remark 21
An oriented rank 2 vector bundle over a manifold is determined up to isomorphism by its Euler class [29]. It follows that a 2-distribution on W with trivial Euler class satisfies \(\text {Span}(W)\ge 2\), where \(\text {Span}(W)\) is the maximum number of everywhere linearly independent and nowhere vanishing vector fields on W.
The following result collects several foundational theorems on the existence of 2-distributions on oriented and \(\text {Spin}\)-manifolds due to Atiyah [2], Frank [5], Hirzebruch–Hopf [12], Matsushita [22] and Thomas [33,34,35,36,37,38,39].
Theorem 22
Let X be a closed connected oriented n-manifold.
\(\bullet \) [5, 12, 4.5], [21, Theorem 2], [2, Theorem 3.1]. Suppose \(n \equiv 0 \mod 4\) and that the signature satisfies \(\sigma (X) = 0\). There is a 2-distribution on X if and only if
\(\bullet \) [36, Theorem 1.3]. Suppose \(n \equiv 1 \mod 4\) and that X admits a \(\text {Spin}\)-structure. There is a 2-distribution on X with Euler class 2v for each class \(v\in H^2(X; \mathbb {Z})\) if and only if
where \(w_{n - 1}(X)\) is the \((n - 1)\)nth Stiefel–Whitney class of X. Moreover, if X admits a 2-distribution, then \({\hat{\chi }}_{\mathbb {Z}/2}(X)\equiv 0 \mod 2\) [2, Theorem 4.1].
\(\bullet \) [36, Theorem 1.1, Corollary 1.2]. If \(n \equiv 3 \mod 4\), then there is a 2-distribution on X with Euler class 2v for each class \(v\in H^2(X; \mathbb {Z})\).
Theorem 22 is a key ingredient in the proofs of our main results. The following technical lemma is used to build a \(\text {Spin}(2, n-1)_0\)-pseudo-Riemannian cobordism whenever a given \(\text {Spin}\)-cobordism \((W; M_1, M_2)\) satisfies \(\chi (W)=\chi (M_1)=\chi (M_2)=0\) and \(\text {Span}(W) \ge 2\).
Lemma 23
Let \((W; M_1, M_2)\) be a cobordism between closed orientable n-manifolds such that the Euler characteristic of every connected component of W, \(M_1\) and \(M_2\) is trivial. Suppose furthermore that there exist two everywhere linearly independent vector fields \(X, Y \in \mathfrak {X}(W)\). Then we can find two everywhere linearly independent vector fields \({\tilde{X}}, {\tilde{Y}} \in \mathfrak {X}(W)\) such that \({\tilde{X}} |_{\partial W}\) is the exterior normal to the boundary \(\partial W\).
Proof
Without loss of generality, we assume the cobordism W to be connected. Indeed, if this is not the case we can just build the vector fields \(\tilde{X}, \tilde{Y} \in \mathfrak {X}(W)\) from the statement on each connected component. We start by proving the lemma in the case in which both \(M_1\) and \(M_2\) are connected.
Fix a Riemannian metric g on W. Let \(X, Y \in \mathfrak {X}(W)\) be as above and let \(\nu _i\) be a tubular neighbourhood of \(M_i\) inside W for \(i = 1,2\) respectively. In the following, we will make use of the identification \( M_i \times [0,1] \cong \nu _i\), with \(M_i \times \{1\}\) corresponding to the submanifold \(M_i \subset \nu _i\). Let \({\bar{X}} \in \mathfrak {X}(W)\) be a vector field satisfying the following conditions:
-
(1)
\({\bar{X}} |_{W \setminus (\nu _1 \sqcup \nu _2)}=X|_{W{ \setminus }(\nu _1 \sqcup \nu _2)}\), i.e. \({\bar{X}}\) coincides with X outside the disjoint union of the collar neighbourhoods of the boundary components of W;
-
(2)
\({\bar{X}}|_{\partial W}\) is the outward-pointing normal vector field;
-
(3)
\({\bar{X}}\) has finitely many singular points in \(\nu _1 \sqcup \nu _2\).
Notice that such a vector field can always be built out of X. We can assume without loss of generality that all the singular points of \({\bar{X}}\) are contained in the disjoint union of two small closed balls \(B_i \subset \nu _i\) for \(i=1,2\) (see [24, Chapter 4]).
Our first aim is building out of Y a new vector field \({\bar{Y}} \in \mathfrak {X}(W{\setminus } (B_1 \cup B_2))\) with the following properties:
-
(1)
\({\bar{Y}} |_{W {\setminus } (\nu _1 \sqcup \nu _2)}=Y|_{W {\setminus } (\nu _1 \sqcup \nu _2)}\), i.e. \({\bar{Y}}\) coincides with Y outside the disjoint union of the collar neighbourhoods of the boundary components of W;
-
(2)
\({\bar{X}}, {\bar{Y}}\) are everywhere linearly independent on \(W \setminus ( B_1 \sqcup B_2)\).
Let us build \({\bar{Y}}\) by first extending the restriction of Y to \(W \setminus (\nu _1 \sqcup \nu _2)\) to the complement of a small ball \(B_1\) inside the tubular neighbourhood \(\nu _1\), the procedure in \(\nu _2\) will be analogous. Without loss of generality, we can suppose \({\bar{X}}\) to be unitary outside \(W {\setminus } ( B_1 \sqcup B_2)\) with respect to the metric g. The vector field \({\bar{X}}\) defines an isotopy between the linear span of \({\bar{X}}|_{M_1 \times \{0\}}\) inside \(TW|_{M_1 \times \{0\}}\) and the one of \({\bar{X}}|_{M_1 \times \{t\}}\) inside \(TW|_{M_1 \times \{ t \}}\cong TW|_{M_1 \times \{0\}}\) for every t sufficiently small. Such isotopy can be extended to an ambient isotopy of the total space of the bundle \(TW|_{M_1 \times \{0\}}\) consisting of vector bundle isomorphisms (by adapting the proof of Hirsch’s Isotopy extension theorem in [11]). This allows us to define \({\bar{Y}}\) on \((M_1 \times [0, {\bar{t}})) \setminus B_1\), where \({\bar{t}}\) is the maximum \(t \in [0,1]\) such that \(B_1 \cap (M_1 \times \{t\})\ne \emptyset \). In particular, we can suppose without loss of generality that \(B_1 \cap (M_1 \times \{{\bar{t}}\})\) consists of one single point \(\{pt\}\). Since \({\bar{X}}|_{M_1 \times \{{\bar{t}}\}}\) is isotopic to the outward-pointing normal and linearly independent with respect to \(\bar{Y}\) on \((M_1 \times \{ \bar{t} \}) {\setminus } \{pt\}\), up to a slight perturbation we can regard \(\bar{Y}|_{(M_1 \times \{{\bar{t}} \}) \setminus \{pt\}}\) as a tangent vector field on \(M_1 \setminus \{pt\}\). Since \(\chi (M_1)=0\), Poincaré-Hopf’s theorem (see [24, Chapter 6]) allows then to define \({\bar{Y}}\) globally on \(\nu _1 {\setminus } B_1\). Indeed, \(\bar{Y}|_{(M_1 \times \{{\bar{t}} \}) {\setminus } \{pt\}}\) can be extended to a tangent vector field to \(M_1 \times \{{\bar{t}} \}\) with an isolated zero at \(\{pt\}\) of trivial index, up to scaling the vector field in a neighbourhood of \(\{pt\}\) by using a smooth function which is constantly equal to one in a collar of such neighbourhood and vanishes exactly at the point \(\{pt\} \in M_1 \times \{{\bar{t}} \}\). Hence, up to homotopy, we can assume that \(\bar{Y}|_{(M_1 \times \{{\bar{t}} \}) {\setminus } \{pt\}}\) is constant in a small neighbourhood of \(\{pt\}\) inside \(M_1 \times \{ \bar{t} \}\) and hence we can extend \(\bar{Y}\) first to a tangent vector field to the slice \(M_1 \times \{{\bar{t}} \}\) and then to the whole \(\nu _1 \setminus B_1\) as done before in the collar \(M_1 \times [0, \bar{t})\).
Once we have built such \({\bar{Y}} \in \mathfrak {X}(W {\setminus } (B_1 \cup B_2))\), we can assume (up to composing with a self-diffeomorphism of the cobordism W, which we may assume to be connected) that \({\bar{X}}, {\bar{Y}}\) are linearly independent outside a little ball \(B \subset \nu _1\). In particular, we can choose such diffeomorphism to fix a small collar of the boundary \(\partial W\) and to send both \(B_1\) and \(B_2\) into B. Moreover, we can assume without loss of generality that the restrictions of \({\bar{X}}, {\bar{Y}}\) to the complement of such ball B are orthonormal with respect to the fixed Riemannian metric. Poincaré–Hopf’s theorem together with the vanishing of the Euler characteristic of W implies that the map
sending each point \(x \in \partial B\) to \({\bar{X}}(x)\) is of zero degree and is therefore null-homotopic. Hence, we can suppose that the restriction \({\bar{X}}|_{\partial B}\) is the constant vector field \(\frac{\partial }{\partial t}\) under the identification \(\nu _1 \cong M_1 \times [0,1]\), where t parametrizes the unit interval. In this way, \({\bar{X}}\) can be extended to the whole interior of B by setting it to be constantly equal to \(\frac{\partial }{\partial t}\), defining a global vector field \({\tilde{X}} \in \mathfrak {X}(W)\) with the desired properties. In particular, \({\tilde{X}}|_{\partial W}=\bar{X}|_{\partial W}\) coincides with the outward-pointing normal by construction. Moreover, we can assume without loss of generality that the projection on the unit interval [0, 1] parametrizing the collar \(\nu _1\) is a height function with just one maximum \(t_M\) and one minimum \(t_m\) for the sphere \(\partial B\). Up to isotopy, \({\bar{Y}}|_{M_1 \times \{t\}}\) can be seen as a tangent vector field to \(M_1 \times \{ t\}\) for any \(t \in [t_m, t_M]\). The fact that \(\chi (M_1)=0\) will then allow us to extend \(\bar{Y}\) to a vector field \(\tilde{Y} \in \mathfrak {X}(W)\) by using Poincaré-Hopf’s theorem, as it was already done in the construction of \(\bar{Y}\) inside \(\nu _1 {\setminus } B_1\). This finishes the proof of Lemma 23 in the case where \(M_1\) and \(M_2\) are connected.
In the case in which \(M_1\) and \(M_2\) are not necessarily connected, the vector field \(\bar{X}\in \mathfrak {X}(W)\) is built in the same way as in the case where these manifolds are connected. Denote by \(\{M_{i, j}: j = 1, 2, \ldots , k_i\}\) the connected components of \(M_i\) for \(i= 1, 2\). Without loss of generality, the singular points of \(\bar{X} \in \mathfrak {X}(W)\) are now contained in the union of closed balls \(\{B_{i,j} \subset \nu (M_{i,j}): j = 1, \ldots , k_i\}\) for \(i=1,2\). For the purpose of defining the vector field \(\bar{Y}\) on the complement of these balls, it is enough to apply Poincaré–Hopf’s theorem to each connected component \(M_{i, j}\) using our hypothesis that \(\chi (M_{i, j}) = 0\). In order to build the vector fields \({\tilde{X}}, {\tilde{Y}} \in \mathfrak {X}(W)\), we collect all points at which \({\bar{X}}, {\bar{Y}}\) are not linearly independent inside a closed ball \(B \subset \nu (M_{1,1})\) and proceed as it was done in the connected case. This concludes the proof of Lemma 23. \(\square \)
2.4 Existence of indefinite metrics
We now recall some basic definitions and existence results of pseudo-Riemannian metrics with non-trivial signature on manifolds. It is well known that the existence of a Lorentzian metric on a manifold is equivalent to the existence of a nowhere vanishing vector field, i.e. a nowhere vanishing section of its tangent bundle [25, 27, Lemma 1]. Sub-bundles of the tangent bundle of a manifold yield other indefinite metrics [25, 29], and the role in this note of the existence results on 2-distributions that were described in Sect. 2.3 is explained in the following lemma; cf. [29].
Lemma 24
Let W be a n-manifold. There is a pseudo-Riemannian metric (W, g) of signature (p, q) if and only if there is a decomposition of the tangent bundle
where \(\xi \) and \(\eta \) are vector sub-bundles of rank p and q, respectively. Moreover, these sub-bundles can be chosen such that \(\xi \) is time-like and \(\eta \) is space-like.
In particular, there is a non-singular indefinite metric of signature \((2, n - 2)\) on a n-manifold W if and only if there is a 2-distribution \(V\subset TW\).
The vector sub-bundle \(\xi \) from the decomposition (25) is called a time-like sub-bundle of maximal rank. Recall that a pseudo-Riemannian manifold (W, g) of signature (p, q) is called time-orientable if there exists an orientable time-like sub-bundle of maximal rank.
The following result will be used to construct a non-singular pseudo-Riemannian metric of signature \((2, n - 2)\) on the double 2W whenever there is such a metric on W, which restricts to a Lorentzian metric on \(\partial W\).
Theorem 26
Let W be a n-manifold with non-empty boundary \(\partial W\). The following statements are equivalent.
-
(1)
There is an indefinite metric (W, g) of signature \((2, n - 2)\) such that its restriction to the boundary \(g|_{\partial W}\) is a Lorentzian metric;
-
(2)
There is a rank 2 sub-bundle \(\xi \subset TW\) and a line bundle \(\eta '\subset \xi |_{\partial W}\) such that \(\eta '\) is transversal to the zero section \(\partial W\) of \(\xi |_{\partial W}\);
-
(3)
There is a rank 2 sub-bundle \(\xi \subset TW\) and a nowhere vanishing section \(\nu :\partial W\rightarrow \xi |_{\partial W}\) that is everywhere outward pointing.
Proof
We begin by showing that the implication (1)\(\Rightarrow \) (2) holds. Lemma 24 implies the existence of a decomposition
with \(\xi , \eta \subset TW\) sub-bundles of rank 2 and \(n-2\) (respectively), and such that g is negative-definite on \(\xi \) and positive-definite on \(\eta \). Since \(g':= g\bigr \vert _{\partial W}\) is a Lorentzian metric by hypothesis, Lemma 24 implies the existence of a further decomposition
where \({\tilde{\xi }}\) is a time-like rank 1 vector sub-bundle of \(T\bigr (\partial W\bigr )\), while \({\tilde{\eta }}\) can be chosen to be space-like.
We will prove that the map
given by the composing the inclusion of the bundle \({\tilde{\xi }}\) in TW with the projection
is a bundle monomorphism. Let \(x\in \partial W\) and consider a non-zero vector \(v\in {\tilde{\xi }}_x\). We will show that \(w:=p'(v)\in \xi _x\) is non-zero as well. Indeed, suppose that \(w\in \xi _x\) is the zero vector. Then (after composing with the inclusion \({\tilde{\xi }}_x \subset TW\)) we would have \(v\in \eta _x\) and thus \(g|_{T_xW}(v,v)>0\). This is a contradiction.
Then, the image of \({\tilde{\xi }}\) under the bundle map \(p': {\tilde{\xi }} \rightarrow \xi |_{\partial W}\) defines a line sub-bundle \(\xi _1\subset \xi \bigr \vert _{\partial W}\), yielding a further decomposition
In order to finish the proof of the implication (1)\(\Rightarrow \)(2), it will be enough to prove the transversality condition \(\xi _2 \pitchfork \partial W\). We proceed by contradiction and suppose that there is a point \(x \in \partial W\) such that \((\xi _2)_x \subset T_x \partial W\). This implies that \((\xi _2)_x=\langle v \rangle \) is generated by a non-zero vector
where \(v_1 \in {\tilde{\xi }}_x\) and \(v_2 \in {\tilde{\eta }}_x\). Since \(p'\) is an isomorphism and \(v \notin (\xi _1)_x\), we have that \(v_1=0\), while the fact of v being time-like implies that also \(v_2\) is trivial, a contradiction. This concludes the proof that the implication (1)\(\Rightarrow \) (2) holds.
We now prove that the implication (2)\(\Rightarrow \) (3) holds. Let \(\hat{n}:\partial W \rightarrow TW\bigr \vert _{\partial W}\) be an outward-pointing vector field. For all \(x\in \partial W\), there is a decomposition
Moreover, from the decomposition \(T_x W= T_x(\partial W) \oplus \eta '_x\) we have that
where \(v_x\in T_x\bigr (\partial W\bigr )\) and \(w_x\in \eta '_x\). Note that the condition of \({\hat{n}}\) being outward pointing trivially implies that \(w_x\ne 0\) for all \(x\in \partial W\). In particular, the map
defines a nowhere vanishing section of \(\xi \bigr \vert _{\partial W}\). Since \(w_x\notin T_x\bigr (\partial W\bigr )\) at every point by construction, we have that n is either everywhere outward pointing or everywhere inward pointing. In the latter case, we can simply consider \(-n\) as the desired section. This concludes the proof that the implication (2)\(\Rightarrow \) (3) holds.
To finish the proof of Theorem 26, we proceed to show that the implication (3) \(\Rightarrow \) (1) holds. We can use the given 2-distribution \(\xi \) to construct a pseudo-Riemannian metric g on W of signature \((2, n-2)\) with \(\xi \subset TW\) being time-like. We consider also a rank 2 space-like sub-bundle \(\eta \subset TW\) complementary to \(\xi \). The everywhere outward-pointing vector field \(n:\partial W\rightarrow \xi \bigr \vert _{\partial W}\) spans a trivial sub-bundle \(\xi _1\subset \xi \bigr \vert _{\partial W}\). Hence, we have a decomposition \(\xi \bigr \vert _{\partial W}=\xi _1\oplus \xi _2\). Clearly, we may assume that \(\xi _2 \subset T\bigr (\partial W\bigr )\). We thus have a decomposition
with \(\xi _2\) time-like and \(\eta |_{\partial W}\) space-like. Such a decomposition allows us to get the desired Lorentzian metric on \(\partial W\) of Item (3). \(\square \)
At this point, we are able to formulate the following consequence of Lemma 23 and Theorem 26 that will be useful for our purposes.
Corollary 27
Let \((W;M_1,M_2)\) be a \(\text {Spin}\)-cobordism between closed \(\text {Spin}\) n-manifolds. The following statements are equivalent.
\(\bullet \) There is an indefinite metric g such that \(((W;M_1,M_2),g)\) is a \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordism and g is induced by a 2-distribution of trivial Euler class;
\(\bullet \) There exist everywhere linearly independent vector fields \(X,Y \in \mathfrak {X}(W)\) and the Euler characteristic of every connected component of W, \(M_1\) and \(M_2\) is trivial.
We will make use of the necessary and sufficient conditions for a closed n-manifold X to admit two everywhere linearly independent vector fields, with the purpose of building a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\) out of a \(\text {Spin}\)-cobordism as in Corollary 27. These conditions have been obtained by Thomas [39, Table 2, pp. 652] and are summarized in Table 1.
Proposition 28
Let W be an orientable n-manifold with non-empty boundary \(\partial W= M_1 \sqcup M_2\), where the Euler characteristic of every connected component of \(M_1\) and \(M_2\) is trivial.
\(\bullet \) Suppose that \(n\not \equiv 3 \mod 4\) and that the Euler characteristic of every connected component of W is trivial. If \(n \equiv 1 \mod 4\), assume further that W admits a \(\text {Spin}\)-structure. There are non-singular Lorentzian metrics \((2W, g^L)\) and \((W, g^L_W)\) such that the latter restricts to a Riemannian metric on \(\partial W\). Moreover, there are indefinite metrics (2W, g) and \((W, g_W)\) of signature \((2, n - 2)\) that arise from a 2-distribution with trivial Euler class and such that the restriction of \(g_{W}\) to \(\partial W\) yields a non-singular Lorentzian metric.
\(\bullet \) If \(n \equiv 3 \mod 4\), such pseudo-Riemannian metrics exist on 2W and W without any other assumptions.
The proof of Proposition 28 is a straight-forward application of results of Reinhart [26, Theorem 1], Lemma 23 and Table 1.
3 Spin structures on pseudo-Riemannian cobordisms and their structure groups
Let us justify now the notation \(\text {Spin}(2,n-1)_0\) in our definition. Let X be a orientable compact n-manifold. If X admits a pseudo-Riemannian metric (X, g) of signature (p, q) with \(p+q=n\), then it is well known that the structure group of its tangent bundle TX can be reduced to O(p, q) [29], where O(p, q) is the indefinite orthogonal group of signature (p, q)
and \(I_{p,q}\) is the diagonal matrix with the first p diagonal entries equal \(-1\) and the last q diagonal entries equal \(+1\). It is easy to see that if \(A\in O(p,q)\), then \(\det A=\pm 1\). In particular, if (X, g) is orientable, the structure group can be further reduced to SO(p, q), namely to the group of indefinite orthogonal matrices of signature (p, q) with positive determinant. Such group has two connected components [7]; the connected component of the identity is denoted by \(SO(p,q)_0\). One can prove that the structure group of the tangent bundle TX can be reduced to \(SO(p,q)_0\) if (X, g) is time-orientable [7]. As for the definite case, we have a double cover of \(SO (p,q)_0\) by the \(\text {Spin}(p,q)_0\) group (see [19] for the definitions) which satisfies a short exact sequence of groups
Definition 31
Let X be a orientable compact n-manifold with a time-oriented pseudo-Riemannian metric g of signature (p, q), where \(p+q=n\). Let \(\pi _{SO}:F(X)\rightarrow X\) be the principal \(SO(p,q)_0\)-bundle of oriented orthonormal frames of (X, g). A Spin\((p,q)_0\)-structure on X is a principal \(\text {Spin}(p,q)_0\)-bundle \(\pi _{\text {Spin}}:{\tilde{F}}(X)\rightarrow X\) with a 2-fold cover \(\Lambda :{\tilde{F}}(X)\rightarrow F(X)\) such that the diagram
commutes.
The existence of a \(\text {Spin}(p,q)_0\)-structure under these hypotheses does not depend on the metric. The obstruction for it is merely topological, as the following result exhibits.
Lemma 33
Let X be a compact orientable n-manifold X with a time-orientable pseudo-Riemannian metric of signature (p, q), with \(p+q=n\). Then X admits a \(\text {Spin}(p,q)_0\)-structure if and only if it admits a \(\text {Spin}(n)\)-structure.
Proof
In the presence of a pseudo-Riemannian metric of signature (p, q) on X, there is a splitting of its tangent bundle \(TX=\xi \oplus \eta \). A result of Karoubi [14, Proposition 1.1.26] says that the principal \(SO(p,q)_0\)-bundle F(X) defined above admits a lift to \({\tilde{F}}(X)\) as in (32) if and only if
The claim follows from the properties of Stiefel–Whitney classes. \(\square \)
Corollary 35
Let \(((W;M_1,M_2),g)\) be an \(SO(2,n-1)_0\)-pseudo-Riemannian cobordism. Then \(((W;M_1,M_2),g)\) is a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\) if and only if W admits a \(\text {Spin}(2,n-1)_0\)-structure.
4 Spin pseudo-Riemannian cobordism groups
We now discuss the definition of the \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordism groups that appear in the statement of Theorem C. For each integer \(n\ge 1\), let \({\mathcal {A}}_n\) be the set of diffeomorphism classes of closed \(\text {Spin}\) n-manifolds with the property that all of their connected components have vanishing Euler characteristic. Define the following relation in \({\mathcal {A}}_n\).
Definition 36
Proposition 37
The relation in Definition 36 defines an equivalence relation on \({\mathcal {A}}_n\).
Lemma 24 is a key ingredient in the proof of Proposition 37, as it gives us tools to glue different \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordisms with mutual boundary connected components.
Definition 38
The \(\text {Spin}(2,n - 1)_0\)-pseudo-Riemannian cobordism group is the set of the equivalence classes of the relation in Definition 36 equipped with the disjoint union as group product and it is denoted by \(\Omega ^{\text {Spin}_0}_{2,n-1}\).
The reader might have already noticed that the group operation in Definition 38 cannot be the connected sum of \(M_1\) and \(M_2\) as it is the case in cobordisms of other flavors. Notice that if \(M_1\) and \(M_2\) are even-dimensional Lorentzian manifolds, their connected sum \(M_1\#M_2\) does not admit a non-singular Lorentzian metric.
The main result of this section is the following theorem.
Theorem 39
The \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian groups \(\Omega ^{\text {Spin}_0}_{2,n-1}\) are abelian groups. Moreover, the Cartesian product of manifolds yields a graded ring structure
The proof of Theorem 39 is a straightforward adaptation of well-known arguments in cobordism theory [17, 23, 26, 30, 40]. We refer to the ring (40) as the \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordism ring.
5 Comparison of pseudo-Riemannian cobordisms
In this section, we draw a comparison between the pseudo-Riemannian cobordisms of Definition 1 and \(\text {Spin}(1, n - 1)_0\)-Lorentzian cobordisms. The contrast between these objects sheds light on the topological restrictions imposed by the coexistence of the \(\text {Spin}\)-structure with the pseudo-Riemannian structure of the cobordism. We first recall the definition of a \(\text {Spin}(1, n - 1)_0\)-Lorentzian cobordism.
Definition 41
A Lorentzian cobordism between closed n-manifolds \(M_1\) and \(M_2\) is a pair
that consists of
(A) a cobordism \((\widehat{W}; M_1, M_2)\),
(B.2) a non-singular Lorentzian metric \((\widehat{W}, g^L)\) with a time-like line field V,
(C.2) and the boundary \(\partial \widehat{W} = M_1 \sqcup M_2\) is space-like, i.e. \((M_1, g^L|_{M_1})\) and \((M_2, g^L|_{M_2})\) are Riemannian manifolds, where \(g^L|_{M_i}\) is the restriction of \(g^L\) to \(M_i\).
If the cobordism \((\widehat{W}; M_1, M_2)\) of Item (A) is a \(\text {Spin}\)-cobordism, we say that the cobordism (42) is a \(\text {Spin}(1, n - 1)_0\)-Lorentzian cobordism.
We keep the discussion at a three-dimensional level for the sake of brevity, although similar comparisons apply to any dimension. More precisely, we pivot the comparison and the discussion of the topological restrictions on the following result.
Theorem 43
Gibbons–Hawking [10], Smirnov–Torres [27]. Let \(\{M_1, M_2\}\) be closed oriented 3-manifolds. The following conditions are equivalent.
-
(1)
There exists a \(\text {Spin}(1, 3)_0\)-Lorentzian cobordism
$$\begin{aligned} ((\widehat{W}; M_1, M_2), g), \end{aligned}$$where \((\widehat{W}; M_1, M_2)\) is a \(\text {Spin}\)-cobordism.
-
(2)
Their Kervaire semi-characteristics satisfy \(\hat{\chi }_{\mathbb {Z}/2}(M_1) = \hat{\chi }_{\mathbb {Z}/2}(M_2)\).
-
(3)
There exists a cobordism \((\widehat{W}'; M_1, M_2)\), where \(\widehat{W}'\) is a parallelizable manifold with trivial Euler characteristic.
There is a group isomorphism
While the existence of a \(\text {Spin}\)-cobordism imposes no restrictions on the boundary 3-manifold since the third cobordism group \(\Omega ^\text {Spin}_3\) is trivial [23], the presence of the required Lorentzian metric on \(\widehat{W}\) forces its Euler characteristic to be \(\chi (\widehat{W}) = 0\) [26]. For the latter structure to co-exist with the \(\text {Spin}\)-cobordism, the Kervaire semi-characteristic of the boundary 3-manifolds must coincide as indicated by Theorem 11. This invariant gives us the isomorphism (44).
The corresponding statement for \(\text {Spin}(2, 2)_0\)-pseudo-Riemannian cobordisms is the following.
Theorem 45
Let \(\{M_1, M_2\}\) be closed oriented 3-manifolds. The following conditions are equivalent
-
(1)
There exists a \(\text {Spin}(2, 2)_0\)-pseudo-Riemannian cobordism
$$\begin{aligned} ((W; M_1, M_2), g). \end{aligned}$$ -
(2)
Their Kervaire semi-characteristics satisfy \(\hat{\chi }_{\mathbb {Z}/2}(M_1) = \hat{\chi }_{\mathbb {Z}/2}(M_2)\).
-
(3)
There exists a cobordism \((W';M_1,M_2)\), where \(W'\) is a parallelizable manifold.
There is a group isomorphism
The proof of Theorem 45 is given in Sect. 7.1. The reader will notice that while both 4-manifolds \(\widehat{W}\) and W in Theorems 43 and 45 are parallelizable, the Euler characteristic of the cobordism W need not be zero. The following example is illustrative of the situation.
Example 47
The product of a 2-disk with the round 2-sphere admits a \(\text {Spin}\)-structure as well as an indefinite metric of signature (2, 2)
that restrict to a \(\text {Spin}\)-structure and a Lorentzian metric on the boundary
as indicated in Example A. The Euler characteristic of (48) is \(\chi (D^2\times S^2) = 2\) and it does not admit a Lorentzian metric that restricts to a Riemannian metric on (49). The connected sum
on the other hand, does support both kinds of non-singular pseudo-Riemannian metrics as well as \(\text {Spin}\)-structures that restrict to (49).
The phenomenon displayed in Example 47 occurs for all oriented 3-manifolds.
Corollary 50
Let \(M_1\) and \(M_2\) be closed oriented 3-manifolds. There is a \(\text {Spin}(1, 3)_0\)-Lorentzian cobordism if and only if there is a \(\text {Spin}(2, 2)_0\)-pseudo-Riemannian cobordism.
We now elucidate on the reason behind the difference in the obstructions. The existence of a 2-distribution is not equivalent to the existence of a pair of linearly independent and nowhere vanishing vector fields as shown in the work of Atiyah [2], Frank [5], Hirzebruch-Hopf [12], Matsushita [22], Svane [31], and Thomas [33,34,35,36,37,38,39] among many others. The existence of a pair of linearly independent vector fields on a manifold requires for its Euler characteristic to vanish in the even-dimensional case and for its Kervaire semi-characteristic to vanish in the odd-dimensional case.
We finish this section with an amendment to [27, Corollary E]. The correct statement is as follows.
Corollary 51
Let \(M_1\) and \(M_2\) be closed \(\text {Spin}\) 4-manifolds. There is a \(\text {Spin}(1, 4)_0\)-Lorentzian cobordism \(((W; M_1, M_2), g^L)\) if and only if \(\chi (M_1) = \chi (M_2)\) and \(\sigma (M_1) = \sigma (M_2)\).
6 Tangential structures and spectrum
This section arose from a suggestion of Oscar Randal–Williams to the first named author of this note. We record and elaborate on a plausible extension of results of Ebert for future work. Ebert [4, Appendix A] expressed Reinhart’s work on Lorentzian cobordisms in the terms of tangential structures in the sense of Galatius–Madsen–Tillmann–Weiss [6, Section 5]. In particular, Ebert [4, Theorem A1] has shown that the Reinhart Lorentzian cobordism groups [26] are isomorphic to the cobordism group \(\pi _0(MTSO(n))\).
Once a comparison with the Spin Lorentzian cobordisms of Gibbons–Hawking [10] and Smirnov–Torres [27] is drawn, the following question arises immediately.
Question 1
Can the \(\text {Spin}(1, n)_0\)-Lorentzian cobordism studied by Gibbons–Hawking and Smirnov-Torres be phrased in terms of tangential structures and, if so, are the corresponding Spin Lorentzian groups \(\Omega ^{Spin}_{1, n}\) isomorphic to the connected component of the Spin version of the spectrum \(\pi _0(MTSpin(n + 1))\)?
An explanation on the construction of the Spin version of the Thom spectrum MSpin(n) can be found in work of Svane [31, Remark 1.15]. A definition of the Madsen–Tillmann–Weiss spectrum TMSO(n) is found in [4, Section 2.4]. Given the topic of this paper, we state the following version of Question 1 due to Randal-Williams.
Question 2
Randal–Williams. Is it possible to express the existence results on \(\text {Spin}(2, n - 1)_0\)-pseudo-Riemannian cobordism obtained in this note in the language of tangential structures?
An answer to Question 2 in the affirmative would suggest further study on the corresponding cobordism groups. The proposed extensions of Ebert’s results provide answers to Question 1 and Question 2.
7 Proofs
The proofs of the results that are mentioned in the introduction have the following structure.
7.1 Proof of Theorem 45
We first show the equivalence (1) \(\Leftrightarrow \) (2) and begin with (1) \(\Leftarrow \) (2). Suppose \(M_1\) and \(M_2\) are two closed oriented 3-manifolds whose Kervaire semi-characteristics satisfy \(\hat{\chi }_{\mathbb {Z}/2}(M_1) = \hat{\chi }_{\mathbb {Z}/2}(M_2)\). As it was mentioned in the previous section, the third \(\text {Spin}\)-cobordism group is \(\Omega ^\text {Spin}_3 = \{0\}\) and there is a (connected) \(\text {Spin}\)-cobordism \(({\widehat{W}}; M_1, M_2)\). Theorem 11 then implies that
Thus, we have that
Take connected sums of \(\widehat{W}\) with copies of \(S^1\times S^3\) and \(S^2\times S^2\) and obtain a manifold
which has zero Euler characteristic, by choosing \(k_1\) and \(k_2\) appropriately. Proposition 28 allows us to conclude the proof of the implication. To show that the implication (1) \(\Rightarrow \) (2) holds, we proceed as follows. Assume that there is a \(\text {Spin}(2, 2)_0\)-pseudo-Riemannian cobordism \(((W; M_1, M_2), g)\) and consider the closed 4-manifold with the indefinite metric \((2W, g_{2W})\) given as the double of (W, g). Applying Theorem 22 to 2W we get that \(\chi (W) = 0 \mod 2\) and the Kervaire semi-characteristics of \(M_1\) and \(M_2\) coincide by (52). We conclude that the equivalence (1) \(\Leftrightarrow \) (2) holds. The implication (1) \(\Rightarrow \) (3) follows from W being an almost parallelizable manifold with non-empty boundary. Such a manifold is stably-parallelizable, and hence parallelizable [16, 18, §7, §8]. The implication (3) \(\Rightarrow \) (2) follows from Theorem 11.
The Kervaire semi-characteristic yields an isomorphism
and its generator is \(S^3\); see [27, Theorem C]. \(\square \)
7.2 Proof of Theorem B
Let us begin by studying the case \(n\equiv 0 \mod 2\) and let \((W;M_1,M_2)\) be a \(\text {Spin}\)-cobordism (which we can assume to be connected), where \(M_1\) and \(M_2\) are such that all their connected components have trivial Euler characteristic. Since
by Lemma 15, Proposition 28 implies that there is a metric g on W for which \(((W;M_1,M_2),g)\) is a \(\text {Spin}(2, n - 1)_0\)-pseudo-Riemannian cobordism. Conversely, if \(((W;M_1,M_2),g)\) is a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\), then the pseudo-Riemannian metric g restricts to a Lorentzian metric on \(\partial W=M_1\sqcup M_2\) and we have that all the connected components of \(M_1\) and \(M_2\) have trivial Euler characteristic.
We now address the cases \(n\equiv 1, 3, 5 \mod 8\). If \(\hat{\chi }_{\mathbb {Z}/2}(M_1) = \hat{\chi }_{\mathbb {Z}/2}(M_2) \mod 2\), there is a \(\text {Spin}(1,n)_0\)-Lorentzian cobordism \(((W;M_1, M_2),g^L)\) by [27, Theorem D], where W has connected com ponents \(W_1, \dots , W_k\). In particular, we have that for all \(i=1, \dots , k\)
Being \(M_1\) and \(M_2\) odd-dimensional manifolds, we also have that all their connected components have trivial Euler characteristic and we can apply Proposition 28 to obtain a \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordism \(((W;M_1, M_2),g)\). Suppose now that \(((W;M_1, M_2),g)\) is a \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordism and let us restrict to the case \(n\equiv 3\mod 8\). We have that \(\chi (W)\equiv 0 \mod 2\) by Theorem 22. Theorem 11 allows us to conclude that \(\hat{\chi }_{\mathbb {Z}/2}(M_1) = \hat{\chi }_{\mathbb {Z}/2}(M_2) \mod 2\).
Consider the case \(n\equiv 7 \mod 8\). By [27, Theorem D] there is a \(\text {Spin}(1, n)_0\)-Lorentzian cobordism \(((W; M_1, M_2), g^L)\). A result of Reinhart [26] implies that each connected component of W must have trivial Euler characteristic. Hence, Proposition 28 implies the existence of a \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordism \(((W;M_1,M_2),g)\). \(\square \)
Remark 55
The reason for the absence of a complete characterization in the case \(n \equiv 1 \mod 4\) of Theorem B is essentially due to the lack of existence results in literature of distributions of tangent 2-planes on closed \(4q+2\)-dimensional manifolds. In particular, it is not clear whether the existence of a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\) implies the existence of a \(\text {Spin}(1,n)_0\)-Lorentzian cobordism. Thus, the missing implication. By inspecting the proof of Theorem B, one realizes that solving this issue is equivalent to giving an answer to the following open question.
Question
Is it possible to find two closed n-manifolds \(M_1, M_2\) which are \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordant and such that the Euler class of the 2-distribution inducing the pseudo-Riemannian metric on the cobordism is necessarily non-trivial?
On the other hand, from the proof of Theorem B we get that we may ask for \(\text {Span}(W)\ge 2\) for a \(\text {Spin}(2, n - 1)_0\text {-pseudo-Riemannian cobordism}\) whenever \(n \not \equiv 1 \mod 4\). This yields the following corollary.
Corollary E
Let n be a positive integer with \(n \not \equiv 1 \mod 4\). Let \(\{M_1,M_2\}\) be two closed connected \(\text {Spin}(2,n-1)_0\)-pseudo-Riemannian cobordant n-manifolds. There exists a \(\text {Spin}(n+1)\)-manifold W and two everywhere linearly independent vector fields \(X,Y\in {\mathfrak {X}}(W)\) such that
-
\((W;M_1,M_2)\) is a \(\text {Spin}\)-cobordism;
-
X is interior normal to \(M_1\) and exterior normal to \(M_2\).
In particular, the existence of the \(\text {Spin}\)-cobordism \((W;M_1,M_2)\) and a nowhere vanishing vector field \(X\in {\mathfrak {X}}(W)\) as above is equivalent to the existence of a \(\text {Spin}(1,n)_0\)-Lorentzian cobordism \(((W;M_1,M_2),g)\) (see [27]).
7.3 Proof of Theorem C
The three-dimensional case has been addressed in Theorem 45. We argue the four-dimensional case first; cf. [27, Proof of Corollary E]. Suppose \(((W; M_1, M_2), g)\) is a \(\text {Spin}(2, 3)_0\)-pseudo-Riemannian cobordism. Since \((W; M_1, M_2)\) is a \(\text {Spin}\)-cobordism, it is in particular an oriented cobordism and therefore we have the condition \(\sigma (M_1)=\sigma (M_2)\). Moreover, the existence of a Lorentzian metric on \(M_i\) for \(i = 1, 2\) implies that the Euler characteristic of each connected component of \(M_i\) is trivial. To prove the converse, we argue as follows. If \(M_1\) and \(M_2\) are closed \(\text {Spin}\) 4-manifolds with the same signature, there is a \(\text {Spin}\)-cobordism \((W; M_1, M_2)\) [32, 17, Chapter VIII]. The existence of an indefinite (2, 3)-metric on W restricting to a Lorentzian one on the boundary follows from the vanishing of the Euler characteristics of the connected components of \(M_1\) and \(M_2\) and Theorem B. The group isomorphism
is given by the signature. In particular, the map \([M]\mapsto \sigma (M)\) is well defined, being the signature an oriented cobordism invariant.
Let us address now the six-dimensional case. The existence of a \(\text {Spin}(2, 5)_0\)-pseudo-Riemannian cobordism \(((W; M_1, M_2), g)\) implies that the Euler characteristic of all the connected components of \(M_1\) and \(M_2\) is trivial [32]. The converse follows from results of Milnor and Thomas. Since the sixth cobordism group is \(\Omega ^{\text {Spin}}_6 = \{0\}\) [23], we know that there is a \(\text {Spin}\)-cobordism \((W; M_1, M_2)\). The conclusion follows again from Theorem B. The group \(\Omega ^{\text {Spin}_0}_{2, 5}\) is hence trivial.
In the seven-dimensional case, Milnor observed that \(\Omega ^{\text {Spin}}_7 = \{0\}\) [23, p. 201] and any two closed \(\text {Spin}\) 7-manifolds bound a \(\text {Spin}\) 8-manifold. The existence of a \(\text {Spin}(2, 6)_0\)-pseudo-Riemannian cobordism follows from Theorem B, and the group \(\Omega ^{\text {Spin}_0}_{2, 6}\) is hence trivial. \(\square \)
References
Alty, L.J., Chamblin, A.: Spin structures on Kleinian manifolds. Class. Quantum Gravity 11, 2411–2415 (1994)
Atiyah, M.F.: Vector fields on manifolds. Arbeitsgemeinschaft für Forschung des Landes Nordhein-Westfalen, Heft 200 (1970)
Chamblin, A.: Some applications of differential topology in general relativity. J. Geom. Phys. 13, 357–377 (1994)
Ebert, J.: A vanishing theorem for characteristic classes of odd-dimensional bundles. J. Reine Angew. Math. 684, 1–29 (2013)
Frank, D.: On the index of a tangent 2-field. Topology 11, 245–252 (1972)
Galatius, S., Madsen, I., Tillmann, U., Weiss, M.: The homotopy type of the cobordism category. Acta Math. 202, 195–239 (2009)
Gallier, J.: Cliffor Algebras, Clifford Groups, and a Generalization of the Quaternions (2014). arXiv:0805.0311v3
Geiges, H.: An Introduction to Contact Topology, Cambridge Stud. Adv. Math., vol. 109, p. xvi + 440pp. Cambridge University Press, Cambridge (2008)
Geroch, R.P.: Topology in general relativity. J. Math. Phys. 8, 782–786 (1967)
Gibbons, G.W., Hawking, S.W.: Selection rules for topology change. Commun. Math. Phys. 148, 345–352 (1992)
Hirsch, M.W.: Differential Topology, Grad. Texts in Math., vol. 33, p. x + 222. Springer, New York (1994)
Hirzebruch, F., Hopf, H.: Felder von Flächenelementen in 4-dimensionalen Mannigfaltigkeiten. Math. Ann. 136, 156–172 (1958)
Johnson, F.E.A., Walton, J.P.: Parallelizable manifolds and the fundamental group. Mathematika 47, 165–172 (2000)
Karoubi, M.: Algèbres de Clifford et \(K\)-théorie. Annales scientifiques de l’École Normale Supérieure, Serie 4 1(2), 161–270 (1968). https://doi.org/10.24033/asens.1163
Kervaire, M.: Courbure intégrale généralisée et homotopie (French). Math. Ann. 131, 219–252 (1956)
Kervaire, M., Milnor, J.: Groups of homotopy spheres: I. Ann. Math. 77, 504–537 (1963)
Kirby, R.C.: The Topology Of 4-manifolds, Lect. Notes in Math., vol. 1374. Springer, Berlin (1989)
Kosinski, A.A.: Differential Manifolds, Pure Appl. Math., vol. 138, p. xvi + 248. Academic Press, Inc., Boston (1993)
Lawson, H.B., Michelsohn, M.: Spin Geometry (PMS-38), Princeton Math. Ser., vol. 38, p. xii + 427. Princeton University Press, Princeton (1989)
Lusztig, G., Milnor, J., Peterson, F.P.: Semi-characteristics and cobordism. Topology 8, 357–359 (1969)
Matsushita, Y.: Fields of 2-planes on compact simply-connected smooth 4-manifolds. Math. Ann. 280, 687–689 (1988)
Matsushita, Y.: Fields of 2-planes and two kinds of almost complex structures on compact 4-dimensional manifolds. Math. Z. 207, 281–291 (1991)
Milnor, J.: Spin structures on manifolds. Enseign. Math. (2) 9, 198–203 (1963)
Milnor, J.: Topology from the Differentiable Viewpoint, Princeton Landmarks Math., p. xii + 64. Princeton University Press, Princeton (1997)
O’Neill, B.: Semi-Riemannian Geometry with Applications to Relativity, Pure Appl. Math., vol. 103, p. xiii + 468. Academic Press, Inc., New York (1983)
Reinhart, B.L.: Cobordism and the Euler number. Topology 2, 173–177 (1963)
Smirnov, G., Torres, R.: Topology change and selection rules for high-dimensional \(\text{ Spin }(1, n)_0\)-Lorenzian cobordisms. Trans. Am. Math. Soc. 373, 1731–1747 (2020)
Sorkin, R.D.: Topology change and monopole creation. Phys. Rev. Lett. D 33, 978–982 (1986)
Steenrod, N.: The Topology of Fibre Bundles, Princeton Math. Series, vol. 14, p. viii + 229. Princeton University Press, Princeton (1999)
Stong, R.E.: Notes on Cobordism Theory, Mathematical Notes, pp. v + 354 + Ivi. Princeton University Press, Princeton, University of Tokyo Press, Tokyo (1968)
Svane, A.M.: Cobordism obstructions to vector fields and a generalization of Lin’s theorem. PhD Thesis, Aarhus University (2011)
Thom, R.: Quelque propriétés globales des variétés différentiables. Comment. Math. Helv. 28, 17–86 (1954)
Thomas, E.: Seminar on Fiber Spaces, Lect. Notes in Math., vol. 13. Springer, Berlin (1966)
Thomas, E.: The index of a tangent 2-field. Comment. Math. Helv. 42, 86–110 (1967)
Thomas, E.: Fields of tangent 2-planes on even-dimensional manifolds. Ann. Math. 86, 349–361 (1967)
Thomas, E.: Fields of tangent k-planes on manifolds. Invent. Math. 3, 334–347 (1967)
Thomas, E.: Postnikov invariants and higher order cohomology operations. Ann. Math. 85, 184–217 (1967)
Thomas, E.: Vector fields on low dimensional manifolds. Math. Z. 103, 85–93 (1968)
Thomas, E.: Vector fields on manifolds. Bull. Am. Math. Soc. 75, 643–683 (1969)
Yodzis, P.: Lorentz cobordism. Commun. Math. Phys. 26, 39–52 (1972)
Zadeh, M.E.: On cut-and-paste invariant of Kervaire semi-characteristic (2011). arXiv:1110.2447v1
Acknowledgements
We thank the referee for their valuable input and suggestions, which helped us improve the manuscript. We thank Daniele Zuddas and Oscar Randal–Williams for useful comments. The first author is a member of GNSAGA–Istituto Nazionale di Alta Matematica ‘Francesco Severi’, Italy. The third author thanks the organizers of the “Generalized Geometry meets String Theory” workshop and Instituto de Matemáticas de la Universidad de Granada (IMAG) for their hospitality while a portion of this work was produced.
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Bais, V., Custodio, V.G.M. & Torres, R. Existence results of \(\text {Spin}(2, n - 1)_0\)-pseudo-Riemannian cobordisms. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 130 (2024). https://doi.org/10.1007/s13398-024-01634-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-024-01634-8