Showing changes from revision #12 to #13:
Added | Removed | Changed
cobordism theory = manifolds and cobordisms + stable homotopy theory/higher category theory
Concepts of cobordism theory
homotopy classes of maps to Thom space MO
complex cobordism cohomology theory
flavors of bordism homology theories/cobordism cohomology theories, their representing Thom spectra and cobordism rings:
bordism theoryM(B,f) (B-bordism):
relative bordism theories:
global equivariant bordism theory:
algebraic:
In joint generalization of the cobordism cohomology theories MU and MFr of closed -manifolds and of -manifolds, respectively, a -manifold (Conner-Floyd 66, Section 16, Conner-Smith 69, Sections 6, 13) is a compact manifold with boundary equipped with unitary group-tangential structure on its stable tangent bundle and equipped with a trivialization (stable framing) of that over the boundary.
The corresponding bordism classes form a bordism ring denoted .
In generalization to how the complex cobordism ring is represented by homotopy classes of maps into the Thom spectrum MU, so is represented by maps into the quotient spaces (for the canonical inclusion):
Hence the representing spectrum is the homotopy cofiber of the ring spectrum unit out of the sphere spectrum , which ( one might naturally denoteConner-Smith 69, p. 156 (41 of 106), Smith 71) which deserves to be denoted
but which in notation common around the Adams spectral sequence would be “” (as in Adams 74, theorem 15.1 page 319) or just “” (e.g. Hopkins 99, Cor. 5.3):
So in terms of stable homotopy groups of this spectrum we have the -cobordism ring
The realization (2) makes it manifest (this is left implicit in Conner-Floyd 66, p. 99) that there is a cohomology operation to MFr of the form
Namely, is the second next step in the long homotopy cofiber-sequence starting with . In terms of the pasting law:
The implicit idea in Conner-Floyd 66, p. 99 must be to see (4) in terms of forming actual boundaries of representative manifolds with boundaries under a version of the Pontrjagin-Thom construction. This is certainly plausible, but not proven either, as they “forego the tedious details” on p. 97. NB: for the purpose on p. 99 they might just define in this geometric way, but then the claim wrapping around p. 100-101 needs proof. This claim however is immediate from the abstract homotopy theory, namely it is just the continuation yet one step further along the long cofiber sequence – this is Prop. 1 below.
\linebreak
In positive degree, the underlying abelian groups of the bordism rings for MU, MFr and (3) sit in short exact sequences of this form:
where is the evident inclusion, while is the boundary homomorphism from above.
This is stated without comment in Conner-Floyd 66, p. 99. The beginning of an argument appears inside the proof of CF66, Thm. 16.2 (p. 100), attributed there to Peter Landweber (see Remark 2 below). The idea for how to complete the argument is a little more explicit in Stong 68, p. 102.
The following is the complete and quick proof using the formulation (5) via abstract homotopy above:
We have the long exact sequence of homotopy groups obtained ( from thelong exact sequence in generalized cohomology on spheres) obtained from the cofiber sequence (5), the relevant part of which looks as follows:
Observing now that the stable homotopy groups of are free abelian groups concentrated in even degrees (by this theorem at MU) it follows that:
the rightmost morphism shown in (7) is the zero morphism since its codomain is zero;
the leftmost morphism shown in (7) is the zero morphism, since the stable homotopy groups of spheres are all pure torsion groups in positive degrees (by the Serre finiteness theorem), and the only morphism from a torsion group to a free abelian group is the zero morphism.
Here is an explicit construction of a lift through the boundary map in (6), depending on a choice of trivialization in :
(The following is essentially a streamlined account of the construction in the first half of the proof of Conner-Floyd 66, Thm. 16.2; for more and a more abstract perspective see at d-invariant the section Trivializations of the d-invariant):
Let
be a given class in stable Cohomotopy, hence in the MFr-cobordism ring, under the PT isomorphism. (We write this as the stabilization of a class in unstable Cohomotopy just for emphasis that we can.)
Consider then following homotopy pasting diagram:
\begin{imagefromfile} “file_name”: “LiftingFromUBordismToUFrBordism.jpg”, “width”: 600, “unit”: “px”, “margin”: { “top”: -20, “bottom”: 20, “right”: 0, “left”: 10 }, “caption”: “From SS21” \end{imagefromfile}
Here all squares are homotopy pushout-squares, they arise as follows (beware that we say “square” for any single cell and “rectangle” for the pasting composite of any adjacent pair of cells):
The top square witnesses the homotopy cofiber , defined thereby;
the left rectangle is a homotopy pushout by definition of suspension,
hence the bottom left square is so by the pasting law.
Again via the first point, a dashed morphism exists as shown, witnessing the fact that the pullback of the class to an odd-dimensional square vanishes (as does every -class);
with this, the bottom left rectangle exists, and it is a homotopy pushout by definition of (5);
hence the morphism exists, and the resulting bottom middle square is a homotopy pushout, again by the pasting law.
Now the bottom right rectangle is defined to be a homotopy pushout, and thus looks as shown by the pasting law;
therefore the bottom right square exists, and it is a homotopy pushout by the pasting law.
But now the commuting three morphism in the very bottom and right part of the diagram shows that is a lift of through .
(e-invariant is Todd class of cobounding (U,fr)-manifold)
Evaluation of the Todd class on -manifolds yields rational numbers which are integers on actual -manifolds. It follows with the short exact sequence (6) that assigning to -manifolds the Todd class of any of their cobounding -manifolds yields a well-defined element in Q/Z.
Under the Pontrjagin-Thom isomorphism between the framed bordism ring and the stable homotopy group of spheres , this assignment coincides with the Adams e-invariant in its Q/Z-incarnation:
(Conner-Floyd 66, Theorem 16.2)
The first step in the proof of (8) is the observation (Conner-Floyd 66, p. 100-101) that the representing map (1) for a -manifold cobounding a -manifold represented by a map is given by the following homotopy pasting diagram (see also at Hopf invariant – In generalized cohomology):
\begin{imagefromfile} “file_name”: “CoboundingUFrManifoldDiagrammatically.jpg”, “web”: “nlab”, “width”: 470, “unit”: “px”, “margin”: { “top”: -20, “right”: 0, “bottom”: 20, “left”: 20, “unit”: “px” }, “alt”: “homotopy pasting diagram exhibiting cobounding UFr-manifolds”, “caption”: “from SS21” \end{imagefromfile}
flavors of bordism homology theories/cobordism cohomology theories, their representing Thom spectra and cobordism rings:
bordism theoryM(B,f) (B-bordism):
relative bordism theories:
global equivariant bordism theory:
algebraic:
The concept of -bordism theory and its relation to the e-invariant originates with:
Pierre Conner, Edwin Floyd, Section 16 of: The Relation of Cobordism to K-Theories, Lecture Notes in Mathematics 28 Springer 1966 (doi:10.1007/BFb0071091, MR216511)
Pierre Conner, Larry Smith, Section 6 of: On the complex bordism of finite complexes, Publications Mathématiques de l’IHÉS, Tome 37 (1969) , pp. 117-221 (numdam:PMIHES_1969__37__117_0)
Analogous discussion for MO-bordism with MSO-boundaries:
Analogous discussion for MOFr is in
See also
Generalization to manifolds with corners and relation to the f-invariant:
Last revised on January 18, 2021 at 15:32:33. See the history of this page for a list of all contributions to it.