cobordism

Last modified date: <%+ tp.file.last_modified_date() %>



cobordism

attachments/Pasted%20image%2020220403214242.png attachments/Pasted%20image%2020220403214317.png

Bordism category

attachments/Pasted%20image%2020220408100528.png attachments/Pasted%20image%2020220408100536.png

See TQFT.

Motivation

  • Can I find a list of all manifolds up to diffeomorphism? No. 
    • Weaken to homeomorphism? Still no.
    • Weaken to homotopy equivalence. Still pretty much no.
    • A really weak notion: cobordism.

There is a sequence of spaces, \({\operatorname{MO}}(n)\), and maps \(\Sigma {\operatorname{MO}}(n)\to {\operatorname{MO}}(n+1)\) such that the \(k\)th stable homotopy groups of this spectrum are isomorphic to the stable framing you get the stable homotopy groups of spheres.

Note: bordism is one of the coarsest equivalence relations we can put on manifolds. Hope to understand completely!

  • framed bordism classes of manifolds \begin{align*} \Omega^{fr}_n \cong \pi_n^S \end{align*}

Invariants

attachments/Pasted%20image%2020220403214815.png attachments/Pasted%20image%2020220403214914.png

attachments/Pasted%20image%2020220403214929.png

Theorems

attachments/Pasted%20image%2020220403215002.png attachments/Pasted%20image%2020220403215026.png attachments/Pasted%20image%2020220403215038.png

Ring spectra structure

attachments/Pasted%20image%2020220404090128.png attachments/Pasted%20image%2020220404092953.png

Links to this page
#todo/untagged #resources/notes