Cobordism

Recall that in general, if X, Y are manifolds with boundary, then the boundary of the product manifold is ∂(X × Y) = (∂X × Y) ∪ (X × ∂Y).

Now, given a manifold M of dimension n = p + q and an embedding ${\displaystyle \varphi$ :\mathbb {S} ^{p}\times \mathbb {D} ^{q}\subset M,} define the n-manifold

${\displaystyle N:=(M-\operatorname {int~im} \varphi )\cup _{\varphi |_{\mathbb {S} ^{p}\times \mathbb {S} ^{q-1}}}\left(\mathbb {D} ^{p+1}\times \mathbb {S} ^{q-1}\right)}$

obtained by surgery, via cutting out the interior of ${\displaystyle \mathbb {S} ^{p}\times \mathbb {D} ^{q}}$ and gluing in ${\displaystyle \mathbb {D} ^{p+1}\times \mathbb {S} ^{q-1}}$ along their boundary

${\displaystyle \partial \left(\mathbb {S} ^{p}\times \mathbb {D} ^{q}\right)=\mathbb {S} ^{p}\times \mathbb {S} ^{q-1}=\partial \left(\mathbb {D} ^{p+1}\times \mathbb {S} ^{q-1}\right).}$

The trace of the surgery

${\displaystyle W:=(M\times I)\cup _{\mathbb {S} ^{p}\times \mathbb {D} ^{q}\times \{1\}}\left(\mathbb {D} ^{p+1}\times \mathbb {D} ^{q}\right)}$

defines an elementary cobordism (W; M, N). Note that M is obtained from N by surgery on ${\displaystyle \mathbb {D} ^{p+1}\times \mathbb {S} ^{q-1}\subset N.}$ This is called reversing the surgery.

Every cobordism is a union of elementary cobordisms, by the work of Marston Morse, René Thom and John Milnor.

Examples

Fig. 1

As per the above definition, a surgery on the circle consists of cutting out a copy of ${\displaystyle \mathbb {S} ^{0}\times \mathbb {D} ^{1}}$ and gluing in ${\displaystyle \mathbb {D} ^{1}\times \mathbb {S} ^{0}.}$ The pictures in Fig. 1 show that the result of doing this is either (i) ${\displaystyle \mathbb {S} ^{1}}$ again, or (ii) two copies of ${\displaystyle \mathbb {S} ^{1}}$

Fig. 2a

Fig. 2b

For surgery on the 2-sphere, there are more possibilities, since we can start by cutting out either ${\displaystyle \mathbb {S} ^{0}\times \mathbb {D} ^{2}}$ or ${\displaystyle \mathbb {S} ^{1}\times \mathbb {D} ^{1}.}$

1. ${\displaystyle \mathbb {S} ^{1}\times \mathbb {D} ^{1}}$: If we remove a cylinder from the 2-sphere, we are left with two disks. We have to glue back in ${\displaystyle \mathbb {S} ^{0}\times \mathbb {D} ^{2}}$ – that is, two disks - and it's clear that the result of doing so is to give us two disjoint spheres. (Fig. 2a)
2. 

   Fig. 2c. This shape cannot be embedded in 3-space.
   ${\displaystyle \mathbb {S} ^{0}\times \mathbb {D} ^{2}}$: Having cut out two disks ${\displaystyle \mathbb {S} ^{0}\times \mathbb {D} ^{2},}$ we glue back in the cylinder ${\displaystyle \mathbb {S} ^{1}\times \mathbb {D} ^{1}.}$ There are two possible outcomes, depending on whether our gluing maps have the same or opposite orientation on the two boundary circles. If the orientations are the same (Fig. 2b), the resulting manifold is the torus ${\displaystyle \mathbb {S} ^{1}\times \mathbb {S} ^{1}}$ but if they are different, we obtain the Klein bottle (Fig. 2c).

Suppose that f is a Morse function on an (n + 1)-dimensional manifold, and suppose that c is a critical value with exactly one critical point in its preimage. If the index of this critical point is p + 1, then the level-set N := f⁻¹(c + ε) is obtained from M := f⁻¹(c − ε) by a p-surgery. The inverse image W := f⁻¹([c − ε, c + ε]) defines a cobordism (W; M, N) that can be identified with the trace of this surgery.

Geometry, and the connection with Morse theory and handlebodies

Given a cobordism (W; M, N) there exists a smooth function f : W → [0, 1] such that f⁻¹(0) = M, f⁻¹(1) = N. By general position, one can assume f is Morse and such that all critical points occur in the interior of W. In this setting f is called a Morse function on a cobordism. The cobordism (W; M, N) is a union of the traces of a sequence of surgeries on M, one for each critical point of f. The manifold W is obtained from M × [0, 1] by attaching one handle for each critical point of f.

The 3-dimensional cobordism ${\displaystyle W=\mathbb {S} ^{1}\times \mathbb {D} ^{2}-\mathbb {D} ^{3}}$ between the 2-sphere ${\displaystyle M=\mathbb {S} ^{2}}$ and the 2-torus ${\displaystyle N=\mathbb {S} ^{1}\times \mathbb {S} ^{1},}$ with N obtained from M by surgery on ${\displaystyle \mathbb {S} ^{0}\times \mathbb {D} ^{2}\subset M,}$and W obtained from M × I by attaching a 1-handle ${\displaystyle \mathbb {D} ^{1}\times \mathbb {D} ^{2}.}$

The Morse/Smale theorem states that for a Morse function on a cobordism, the flowlines of f′ give rise to a handle presentation of the triple (W; M, N). Conversely, given a handle decomposition of a cobordism, it comes from a suitable Morse function. In a suitably normalized setting this process gives a correspondence between handle decompositions and Morse functions on a cobordism.

Cobordism had its roots in the (failed) attempt by Henri Poincaré in 1895 to define homology purely in terms of manifolds (Dieudonné 1989, p. 289). Poincaré simultaneously defined both homology and cobordism, which are not the same, in general. See Cobordism as an extraordinary cohomology theory for the relationship between bordism and homology.

Bordism was explicitly introduced by Lev Pontryagin in geometric work on manifolds. It came to prominence when René Thom showed that cobordism groups could be computed by means of homotopy theory, via the Thom complex construction. Cobordism theory became part of the apparatus of extraordinary cohomology theory, alongside K-theory. It performed an important role, historically speaking, in developments in topology in the 1950s and early 1960s, in particular in the Hirzebruch–Riemann–Roch theorem, and in the first proofs of the Atiyah–Singer index theorem.

In the 1980s the category with compact manifolds as objects and cobordisms between these as morphisms played a basic role in the Atiyah–Segal axioms for topological quantum field theory, which is an important part of quantum topology.

Cobordisms are objects of study in their own right, apart from cobordism classes. Cobordisms form a category whose objects are closed manifolds and whose morphisms are cobordisms. Roughly speaking, composition is given by gluing together cobordisms end-to-end: the composition of (W; M, N) and (W ′; N, P) is defined by gluing the right end of the first to the left end of the second, yielding (W ′ ∪_N W; M, P). A cobordism is a kind of cospan:[3] M → W ← N. The category is a dagger compact category.

A topological quantum field theory is a monoidal functor from a category of cobordisms to a category of vector spaces. That is, it is a functor whose value on a disjoint union of manifolds is equivalent to the tensor product of its values on each of the constituent manifolds.

In low dimensions, the bordism question is relatively trivial, but the category of cobordism is not. For instance, the disk bounding the circle corresponds to a nullary (0-ary) operation, while the cylinder corresponds to a 1-ary operation and the pair of pants to a binary operation.

The set of cobordism classes of closed unoriented n-dimensional manifolds is usually denoted by ${\displaystyle {\mathfrak {N}}_{n}}$ (rather than the more systematic ${\displaystyle \Omega _{n}^{\text{O}}}$); it is an abelian group with the disjoint union as operation. More specifically, if [M] and [N] denote the cobordism classes of the manifolds M and N respectively, we define ${\displaystyle [M]+[N]=[M\sqcup N]}$; this is a well-defined operation which turns ${\displaystyle {\mathfrak {N}}_{n}}$ into an abelian group. The identity element of this group is the class ${\displaystyle [\emptyset ]}$ consisting of all closed n-manifolds which are boundaries. Further we have ${\displaystyle [M]+[M]=[\emptyset ]}$ for every M since ${\displaystyle M\sqcup M=\partial (M\times [0,1])}$. Therefore, ${\displaystyle {\mathfrak {N}}_{n}}$ is a vector space over ${\displaystyle \mathbb {F} _{2}}$, the field with two elements. The cartesian product of manifolds defines a multiplication ${\displaystyle [M][N]=[M\times N],}$ so

${\displaystyle {\mathfrak {N}}_{*}=\bigoplus _{n\geqslant 0}{\mathfrak {N}}_{n}}$

is a graded algebra, with the grading given by the dimension.

The cobordism class ${\displaystyle [M]\in {\mathfrak {N}}_{n}}$ of a closed unoriented n-dimensional manifold M is determined by the Stiefel–Whitney characteristic numbers of M, which depend on the stable isomorphism class of the tangent bundle. Thus if M has a stably trivial tangent bundle then ${\displaystyle [M]=0\in {\mathfrak {N}}_{n}}$. In 1954 René Thom proved

${\displaystyle {\mathfrak {N}}_{*}=\mathbb {F} _{2}\left[x_{i}|i\geqslant 1,i\neq 2^{j}-1\right]}$

the polynomial algebra with one generator ${\displaystyle x_{i}}$ in each dimension ${\displaystyle i\neq 2^{j}-1}$. Thus two unoriented closed n-dimensional manifolds M, N are cobordant, ${\displaystyle [M]=[N]\in {\mathfrak {N}}_{n},}$ if and only if for each collection ${\displaystyle \left(i_{1},\cdots ,i_{k}\right)}$ of k-tuples of integers ${\displaystyle i\geqslant 1,i\neq 2^{j}-1}$ such that ${\displaystyle i_{1}+\cdots +i_{k}=n}$ the Stiefel-Whitney numbers are equal

${\displaystyle \left\langle w_{i_{1}}(M)\cdots w_{i_{k}}(M),[M]\right\rangle =\left\langle w_{i_{1}}(N)\cdots w_{i_{k}}(N),[N]\right\rangle \in \mathbb {F} _{2}}$

with ${\displaystyle w_{i}(M)\in H^{i}\left(M;\mathbb {F} _{2}\right)}$ the ith Stiefel-Whitney class and ${\displaystyle [M]\in H_{n}\left(M;\mathbb {F} _{2}\right)}$ the ${\displaystyle \mathbb {F} _{2}}$-coefficient fundamental class.

For even i it is possible to choose ${\displaystyle x_{i}=\left[\mathbb {P} ^{i}(\mathbb {R} )\right]}$, the cobordism class of the i-dimensional real projective space.

The low-dimensional unoriented cobordism groups are

${\displaystyle {\begin{aligned}{\mathfrak {N}}_{0}&=\mathbb {Z} /2,\\{\mathfrak {N}}_{1}&=0,\\{\mathfrak {N}}_{2}&=\mathbb {Z} /2,\\{\mathfrak {N}}_{3}&=0,\\{\mathfrak {N}}_{4}&=\mathbb {Z} /2\oplus \mathbb {Z} /2,\\{\mathfrak {N}}_{5}&=\mathbb {Z} /2.\end{aligned}}}$

This shows, for example, that every 3-dimensional closed manifold is the boundary of a 4-manifold (with boundary).

The Euler characteristic ${\displaystyle \chi (M)\in \mathbb {Z} }$ modulo 2 of an unoriented manifold M is an unoriented cobordism invariant. This is implied by the equation

${\displaystyle \chi _{\partial W}=\left(1-(-1)^{\dim W}\right)\chi _{W}}$

for any compact manifold with boundary ${\displaystyle W}$.

Therefore, ${\displaystyle \chi$ :{\mathfrak {N}}_{i}\to \mathbb {Z} /2} is a well-defined group homomorphism. For example, for any ${\displaystyle i_{1},\cdots ,i_{k}\in \mathbb {N} }$

${\displaystyle \chi \left(\mathbb {P} ^{2i_{1}}(\mathbb {R} )\times \cdots \times \mathbb {P} ^{2i_{k}}(\mathbb {R} )\right)=1.}$

In particular such a product of real projective spaces is not null-cobordant. The mod 2 Euler characteristic map ${\displaystyle \chi$ :{\mathfrak {N}}_{2i}\to \mathbb {Z} /2} is onto for all ${\displaystyle i\in \mathbb {N} ,}$ and a group isomorphism for ${\displaystyle i=1.}$

Moreover, because of ${\displaystyle \chi (M\times N)=\chi (M)\chi (N)}$, these group homomorphism assemble into a homomorphism of graded algebras:

${\displaystyle {\begin{cases}{\mathfrak {N}}\to \mathbb {F} _{2}[x]\\[][M]\mapsto \chi (M)x^{\dim(M)}\end{cases}}}$

Cobordism can also be defined for manifolds that have additional structure, notably an orientation. This is made formal in a general way using the notion of X-structure (or G-structure).[4] Very briefly, the normal bundle ν of an immersion of M into a sufficiently high-dimensional Euclidean space ${\displaystyle \mathbb {R} ^{n+k}}$ gives rise to a map from M to the Grassmannian, which in turn is a subspace of the classifying space of the orthogonal group: ν: M → Gr(n, n + k) → BO(k). Given a collection of spaces and maps X_k → X_k+1 with maps X_k → BO(k) (compatible with the inclusions BO(k) → BO(k+1), an X-structure is a lift of ν to a map ${\displaystyle {\tilde {\nu }}:M\to X_{k}}$. Considering only manifolds and cobordisms with X-structure gives rise to a more general notion of cobordism. In particular, X_k may be given by BG(k), where G(k) → O(k) is some group homomorphism. This is referred to as a G-structure. Examples include G = O, the orthogonal group, giving back the unoriented cobordism, but also the subgroup SO(k), giving rise to oriented cobordism, the spin group, the unitary group U(k), and the trivial group, giving rise to framed cobordism.

The resulting cobordism groups are then defined analogously to the unoriented case. They are denoted by ${\displaystyle \Omega _{*}^{G}}$.

Every vector bundle theory (real, complex etc.) has an extraordinary cohomology theory called K-theory. Similarly, every cobordism theory Ω^G has an extraordinary cohomology theory, with homology ("bordism") groups ${\displaystyle \Omega _{n}^{G}(X)}$ and cohomology ("cobordism") groups ${\displaystyle \Omega _{G}^{n}(X)}$ for any space X. The generalized homology groups ${\displaystyle \Omega _{*}^{G}(X)}$ are covariant in X, and the generalized cohomology groups ${\displaystyle \Omega _{G}^{*}(X)}$ are contravariant in X. The cobordism groups defined above are, from this point of view, the homology groups of a point: ${\displaystyle \Omega _{n}^{G}=\Omega _{n}^{G}({\text{pt}})}$. Then ${\displaystyle \Omega _{n}^{G}(X)}$ is the group of bordism classes of pairs (M, f) with M a closed n-dimensional manifold M (with G-structure) and f : M → X a map. Such pairs (M, f), (N, g) are bordant if there exists a G-cobordism (W; M, N) with a map h : W → X, which restricts to f on M, and to g on N.

An n-dimensional manifold M has a fundamental homology class [M] ∈ H_n(M) (with coefficients in ${\displaystyle \mathbb {Z} /2}$ in general, and in ${\displaystyle \mathbb {Z} }$ in the oriented case), defining a natural transformation

${\displaystyle {\begin{cases}\Omega _{n}^{G}(X)\to H_{n}(X)\\(M,f)\mapsto f_{*}[M]\end{cases}}}$

which is far from being an isomorphism in general.

The bordism and cobordism theories of a space satisfy the Eilenberg–Steenrod axioms apart from the dimension axiom. This does not mean that the groups ${\displaystyle \Omega _{G}^{n}(X)}$ can be effectively computed once one knows the cobordism theory of a point and the homology of the space X, though the Atiyah–Hirzebruch spectral sequence gives a starting point for calculations. The computation is only easy if the particular cobordism theory reduces to a product of ordinary homology theories, in which case the bordism groups are the ordinary homology groups

${\displaystyle \Omega _{n}^{G}(X)=\sum _{p+q=n}H_{p}(X;\Omega _{q}^{G}({\text{pt}})).}$

This is true for unoriented cobordism. Other cobordism theories do not reduce to ordinary homology in this way, notably framed cobordism, oriented cobordism and complex cobordism. The last-named theory in particular is much used by algebraic topologists as a computational tool (e.g., for the homotopy groups of spheres).[5]

Cobordism theories are represented by Thom spectra MG: given a group G, the Thom spectrum is composed from the Thom spaces MG_n of the standard vector bundles over the classifying spaces BG_n. Note that even for similar groups, Thom spectra can be very different: MSO and MO are very different, reflecting the difference between oriented and unoriented cobordism.

From the point of view of spectra, unoriented cobordism is a product of Eilenberg–MacLane spectra – MO = H(π_∗(MO)) – while oriented cobordism is a product of Eilenberg–MacLane spectra rationally, and at 2, but not at odd primes: the oriented cobordism spectrum MSO is rather more complicated than MO.

In 1959, C.T.C. Wall proved that two manifolds are cobordant if and only if their Pontrjagin numbers and Stiefel numbers are the same.[6]

• h-cobordism
• Link concordance
• List of cohomology theories
• Symplectic filling
• Cobordism hypothesis
• Cobordism ring
• Timeline of bordism

• John Frank Adams, Stable homotopy and generalised homology, Univ. Chicago Press (1974).
• Anosov, Dmitri V.; Voitsekhovskii, M. I. (2001) [1994], "bordism", Encyclopedia of Mathematics, EMS Press
• Michael F. Atiyah, Bordism and cobordism Proc. Camb. Phil. Soc. 57, pp. 200–208 (1961).
• Dieudonné, Jean Alexandre (1989). A history of algebraic and differential topology, 1900–1960. Boston: Birkhäuser. ISBN 978-0-8176-3388-2.
• Kosinski, Antoni A. (October 19, 2007). "Differential Manifolds" (Document). Dover Publications.
• Madsen, Ib; Milgram, R. James (1979). The classifying spaces for surgery and cobordism of manifolds. Princeton, New Jersey: Princeton University Press. ISBN 978-0-691-08226-4.
• Milnor, John (1962). "A survey of cobordism theory". L'Enseignement Mathématique. 8: 16–23. ISSN 0013-8584.
• Sergei Novikov, Methods of algebraic topology from the point of view of cobordism theory, Izv. Akad. Nauk SSSR Ser. Mat. 31 (1967), 855–951.
• Lev Pontryagin, Smooth manifolds and their applications in homotopy theory American Mathematical Society Translations, Ser. 2, Vol. 11, pp. 1–114 (1959).
• Daniel Quillen, On the formal group laws of unoriented and complex cobordism theory Bull. Amer. Math. Soc., 75 (1969) pp. 1293–1298.
• Douglas Ravenel, Complex cobordism and stable homotopy groups of spheres, Acad. Press (1986).
• Yuli B. Rudyak (2001) [1994], "Cobordism", Encyclopedia of Mathematics, EMS Press
• Yuli B. Rudyak, On Thom spectra, orientability, and (co)bordism, Springer (2008).
• Robert E. Stong, Notes on cobordism theory, Princeton Univ. Press (1968).
• Taimanov, Iskander A. (2007). Topological library. Part 1: cobordisms and their applications. Series on Knots and Everything. Vol. 39. S. Novikov (ed.). World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ. ISBN 978-981-270-559-4.
• René Thom, Quelques propriétés globales des variétés différentiables, Commentarii Mathematici Helvetici 28, 17-86 (1954).
• Wall, C. T. C. (1960). "Determination of the cobordism ring". Annals of Mathematics. Second Series. The Annals of Mathematics, Vol. 72, No. 2. 72 (2): 292–311. doi:10.2307/1970136. ISSN 0003-486X. JSTOR 1970136.

• Bordism on the Manifold Atlas.
• B-Bordism on the Manifold Atlas.