Orientation and generalized cohomology theories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T03:07:15Z http://mathoverflow.net/feeds/question/54109 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54109/orientation-and-generalized-cohomology-theories Orientation and generalized cohomology theories Fabio 2011-02-02T16:51:08Z 2012-01-13T20:20:56Z <p>Let h* be a multiplicative generalized cohomology theory and $E \rightarrow X$ a real vector bundle.</p> <ol> <li><p>Is it true that, if $E$ is orientable with respect to h*, then it is also orientable with respect to the singular cohomology with coefficients in $h^{0}(pt)$, for $(pt)$ a space with one point?</p></li> <li><p>Is it true that, if $E$ is orientable with respect to the singular cohomology with coefficeints in $\mathbb{Z}_{p}$, for $p > 2$, then it is also orientable with respect to the singular cohomology with coefficients in $\mathbb{Z}$?</p></li> </ol> <p><strong>Added later</strong>: I thought to a possible simple answer using weak orientability, actually proving what stated in the last comment. I wrote this as a comment to answer 3.</p> http://mathoverflow.net/questions/54109/orientation-and-generalized-cohomology-theories/54113#54113 Answer by Charles Rezk for Orientation and generalized cohomology theories Charles Rezk 2011-02-02T17:39:33Z 2011-02-02T18:51:50Z <p>(2) No. Let $L\to RP^\infty$ be the tautological line bundle. Then for any odd prime $p$, both $RP^\infty$ and and $Thom(L)$ have trivial cohomology in $p$-adic coefficients (or mod $p$ coefficients). So $L$ is trivially orientable with respect to $H^*(-;\mathbb{Z}_p)$, but is not an orientable bundle.</p> <p>(1) This is not so easy; I think the answer is yes. I'll write <code>$A^*$</code> for your multiplicative theory <code>$h^*$</code>, and $B$ for singular cohomology with coefficients in <code>$A^0(pt)$</code>.</p> <p><em>(Stuff deleted.)</em></p> <p>I believe you should be able to prove it like this: consider the following diagram of generalized cohomology theories (or, I should really say <em>spectra</em> now): $$D\leftarrow C\to A$$ where $C$ is the <em>connective cover</em> of $A$ (so $\pi_qC=0$ for $q&lt;0$, but $\pi_qC\to \pi_q A$ is an isomorphism for $q\geq0$), and $D$ is the <em>$0$-truncation</em> of $C$ (i.e., $D=H(\pi_0A)$, the Eilenberg-Mac Lane spectrum with coefficient ring $\pi_0A$).</p> <p>The claim is that if $E\to X$ is $A$-orientable, then it is $C$-orientable (because those negative homotopy groups don't matter ... it's important here that $E\to X$ is an honest bundle, rather than a virtual one, and also I'm assuming that a "Thom class" is always an element in dimension $d=$ dimension of $E$, rather than some other dimension). </p> <p>If $E\to X$ is $C$-orientable, then it must be $D$-orientable by the map $C\to D$. </p> <p><strong>Later edit.</strong> I tried to answer a more general question originally, but the proof I gave doesn't work, as pointed out in the comments. I've edited out the offending portions; now the proof basically amounts to the argument Mark Grant gives in his answer.</p> http://mathoverflow.net/questions/54109/orientation-and-generalized-cohomology-theories/54116#54116 Answer by Mark Grant for Orientation and generalized cohomology theories Mark Grant 2011-02-02T18:05:56Z 2012-01-13T11:07:42Z <p>Assuming $X$ is connected and the dimension $k$ of $\xi$ is positive, here is a proof of the yes answer to (1).</p> <p>Consider the relative Atiyah-Hirzebruch spectral sequence</p> <p>$$H^p(D\xi,S\xi;h^q(\mathrm{pt}))\Rightarrow h^\ast(D\xi,S\xi)$$</p> <p>where $D\xi$ and $S\xi$ are the disk and sphere bundles in some Euclidean metric. The pair $(D\xi,S\xi)$ is $(k-1)$-connected, so $E_2^{p,q}$ is zero for <code>$0&lt;p&lt;k$</code>. Note that $$E_2^{0,k}=H^0(D\xi,S\xi;h^k(\mathrm{pt}))\cong \tilde{H}^0(T\xi;h^k(\mathrm{pt})),$$ the reduced cohomology of the Thom space in dimension zero, which should be trivial by our dimension hypothesis (the Thom space is connected). Hence the edge homomorphism</p> <p>$$H^k(D\xi,S\xi;h^0(\mathrm{pt}))\to h^k(D\xi,S\xi)$$</p> <p>is an isomorphism, and you can check that a Thom class corresponds to a Thom class.</p> <p><strong>Edit</strong> Now that I've carefully read Charles' answer, I see that I was over-simplifying things by assuming the spectrum was connective (so that $h^q(\mathrm{pt})=0$ for $q$ negative). If not, either we take the connective cover and appeal to the claim in Charles' answer, or we've got stuff in the lower quadrant of our spectral sequence. Even so, there is still an "edge homomorphism"</p> <p>$$h^k(D\xi,S\xi)\twoheadrightarrow E^{k,0}_\infty \hookrightarrow E^{k,0}_2 = H^k(D\xi,S\xi;h^0(\mathrm{pt}))$$</p> <p>which should take a Thom class to a Thom class.</p> <p><strong>Added later:</strong> Here is a proof of a yes answer to (2) (again assuming connected, positive dimension). The homology group $H_k(T\xi;\mathbb{Z})$ is $\mathbb{Z}$ if $\xi$ is orientable (in the usual sense, with $\mathbb{Z}$ coefficients) and $\mathbb{Z}_2$ otherwise. This follows from the twisted Thom isomorphism $H_0(X;\mathbb{Z}^\xi)\cong H_k(T\xi;\mathbb{Z})$, where $\mathbb{Z}^\xi$ denotes the local coefficient system on $X$ determined by $\xi$, which holds regardless of orientability. (I'm getting lazy with tildes here.)</p> <p>Then the universal coefficient theorem gives $H^k(T\xi;\mathbb{Z}_p)\cong\mathrm{Hom}(H_k(T\xi),\mathbb{Z}_p)\cong 0$ if $\xi$ is non-orientable (and assuming $p$ is <strong>odd</strong>). So non-orientable in the usual sense implies there can't be a Thom class with $\mathbb{Z}_p$ coefficients.</p> http://mathoverflow.net/questions/54109/orientation-and-generalized-cohomology-theories/54151#54151 Answer by Tom Goodwillie for Orientation and generalized cohomology theories Tom Goodwillie 2011-02-02T23:39:51Z 2011-02-02T23:39:51Z <p>At the risk of being obvious, let me make some general comments:</p> <p>For a vector bundle $E\to X$ of rank $n$ let $E_x$ be the fiber over $x\in X$. For a multiplicative cohomology theory $h$, the cohomology $h^*(E_x,E_x-0)$ is a free module of rank $1$ over the graded ring $h^*$, with generator in $h^n$. Such a generator is called an orientation at the point $x$. A Thom class (also called an orientation) is an element of $h^n(E,E-0)$ that restricts to such a generator for every $x$.</p> <p>There is also the other sense of orientation: a continuous choice of pointwise orientation for all points. In the special case of ordinary cohomology, in other words when the graded ring $h^*(point)$ is all in degree zero, an orientation in this weak sense implies an orientation in the Thom-class sense; but not in general.</p>