5
$\begingroup$

Can you tell me, where I can find a proof of the following fact: The bordism functor is a generalized cohomology theory, i.e. we can find suitable connecting homomorphisms to obtain long exact cohomology sequences.

  • 1
    I'd suggest looking at the book by Rudyak (http://www.amazon.com/Orientability-Cobordism-Springer-Monographs-Mathematics/dp/3540620435). Or the old book by Stong. In any event, the main point is to use transversality to identify (co)bordism (of a point...) with the homotopy groups of a Thom spectrum, which is then the representing spectrum for the desired cohomology theory.2012-04-23
  • 0
    Also, I think these days one calls the cohomology theory "cobordism." It's confusing, but there is a dual homology theory and it just seems better to call that one bordism.2012-04-23
  • 1
    Any proof that constructs an appropriate spectrum is the same as the proof that something is a cohomology theory. You go back and forth using Brown Representability. I suggest you try and find the map in the LES using this as a hint as to where to look.2012-05-01
  • 1
    Try Davis-Kirk, Chapter 8.2012-06-28
  • 0
    The connecting homomorphism for the pairs of spaces is one of the easier parts of the proof that it's a (co)homology theory. The proof that bordism is a homology theory (I prefer to say *homology functor* as "theory" IMO is inaccurate and pretentious) is mostly fairly easy -- the part that requires the most care is the proof that it satisfies the excision axiom.2012-07-30

1 Answers 1