Complex orientations on homotopy - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T19:21:24Z http://mathoverflow.net/feeds/question/17010 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17010/complex-orientations-on-homotopy Complex orientations on homotopy Sean Tilson 2010-03-03T20:57:51Z 2010-06-12T21:57:11Z <p>I am wondering if there is a more "geometric" formulation of complex orientations for cohomology theories than just a computation of $E^*\mathbb{C}$P$^{\infty}$ or a statement about Thom classes. It seems that later in Hopkins notes he says that the complex orientations of E are in one to one correspondence with multiplicative maps $MU \rightarrow E$, is there a treatment that starts with this perspective? How do the complex orientations of a spectrum E help one compute the homotopy of $E$, or the $E$-(co)homology of MU? Further, what other kinds of orientations could we think about, are there interesting $ko$ or $KO$ orienations? how much of these $E$-orientations of X is detected by E-cohomology of X?</p> <p>I do have some of the key references already in my library, for example the notes of Hopkins from '99, Rezk's 512 notes, Ravenel, and Lurie's recent course notes. If there are other references that would be great. I am secretly hoping to get some insight from some of the experts. (I guess I should really also go through Tyler's abelian varieties paper)</p> <p>(sorry for the on and off texing but the preview is giving me weird feedback.)</p> <p>EDIT: I eventually found the type of answer i was looking for in some notes of Mark Behrens on a course he taught. This answer is that a ring spectrum $R$ is complex orientable is there is a map of ring spectra $MU \to R$. This also appears in COCTALOS by Hopkins but neither source takes this as the more fundamental concept. Anyway, the below answer is more interesting geometrically.</p> http://mathoverflow.net/questions/17010/complex-orientations-on-homotopy/19085#19085 Answer by Peter Teichner for Complex orientations on homotopy Peter Teichner 2010-03-23T04:07:26Z 2010-03-23T04:07:26Z <p>The natural starting point of this story are E-orientations on, say closed, manifolds M. That's just a <em>fundamental class</em> $[M^n] \in E_n(M)$ such that cap product induces a (Poincare duality) isomorphism. Given E, the question becomes which M are E-orientable. In many cases it happens that this follows if the stable normal bundle of M admits a lift through a fibration $X\to BO$. For example, if E=HZ is ordinary Z-cohomology then X=BSO works, if E=KO then X=BSpin works, if E=KU then X=BU or X=BSpin$^c$ works etc. </p> <p>To formalize the idea that every X-manifold has an E-orientation, form the bordism groups $\Omega^X_n$ of X-manifolds and observe that the fundamental classes lead to natural maps $\Omega^X_n(Y) \to E_n(Y)$ for any space Y. In other words, there are natural transformations of cohomology theories $\Omega^X \to E$, or even better, maps of spectra $MX \to E$, where $MX$ is the Thom spectrum associated to the fibration $X\to BO$. </p> <p>In the case X=BU this is called a complex orientation of E and has been studied extensively because it simplifies computations of E-cohomology tremendously. The original and still relevant reference is Adams' little blue book.</p>