Orientation and generalized cohomology theories

Assuming $X$ is connected and the dimension $k$ of $\xi$ is positive, here is a proof of the yes answer to (1).

Consider the relative Atiyah-Hirzebruch spectral sequence

$$H^p(D\xi,S\xi;h^q(\mathrm{pt}))\Rightarrow h^\ast(D\xi,S\xi)$$

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 $0<p<k$. 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

$$H^k(D\xi,S\xi;h^0(\mathrm{pt}))\to h^k(D\xi,S\xi)$$

is an isomorphism, and you can check that a Thom class corresponds to a Thom class.

Edit 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"

$$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}))$$

which should take a Thom class to a Thom class.

Added later: 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.)

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 odd). So non-orientable in the usual sense implies there can't be a Thom class with $\mathbb{Z}_p$ coefficients.


(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.

(1) This is not so easy; I think the answer is yes. I'll write $A^*$ for your multiplicative theory $h^*$, and $B$ for singular cohomology with coefficients in $A^0(pt)$.

(Stuff deleted.)

I believe you should be able to prove it like this: consider the following diagram of generalized cohomology theories (or, I should really say spectra now): $$ D\leftarrow C\to A$$ where $C$ is the connective cover of $A$ (so $\pi_qC=0$ for $q<0$, but $\pi_qC\to \pi_q A$ is an isomorphism for $q\geq0$), and $D$ is the $0$-truncation of $C$ (i.e., $D=H(\pi_0A)$, the Eilenberg-Mac Lane spectrum with coefficient ring $\pi_0A$).

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).

If $E\to X$ is $C$-orientable, then it must be $D$-orientable by the map $C\to D$.

Later edit. 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.


At the risk of being obvious, let me make some general comments:

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$.

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.