Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

In the top answer to the question "Is there a map of spectra implementing the Thom isomorphism?""Is there a map of spectra implementing the Thom isomorphism?" it is explained (with a reference to Rudyaks book) that from a rank $r$ vector bundle $\mu:V\to X$, a spectrum $E$ with multiplication $m:E\wedge E\to E$ and a Thom class $t:X^\mu\to \Sigma^r E$ one gets the Thom isomorphism:

The (cohomological) Thom isomorphism sends a map $x:X_+\to E^n$ of spectra to the composition $$ X^\mu\to X_+\wedge X^\mu\xrightarrow{x\wedge t}E^n\wedge E^r\xrightarrow{m}E^{n+r}. $$ The induced isomorphism on homotopy groups is then $E^{n}(X_+)\cong E^{n+r}(X^\mu)$.

Is it possible to give an inverse map, i.e. a map sending a $X^\mu\to E^{n+r}$ to an $X_+\to E^n$ on the level of spectra, too?

I am not asking for a proof of the Thom isomorphism. Even with the existence of such a map one has to prove that the correspondence induces an isomorphism on homotopy groups.

In the top answer to the question "Is there a map of spectra implementing the Thom isomorphism?" it is explained (with a reference to Rudyaks book) that from a rank $r$ vector bundle $\mu:V\to X$, a spectrum $E$ with multiplication $m:E\wedge E\to E$ and a Thom class $t:X^\mu\to \Sigma^r E$ one gets the Thom isomorphism:

The (cohomological) Thom isomorphism sends a map $x:X_+\to E^n$ of spectra to the composition $$ X^\mu\to X_+\wedge X^\mu\xrightarrow{x\wedge t}E^n\wedge E^r\xrightarrow{m}E^{n+r}. $$ The induced isomorphism on homotopy groups is then $E^{n}(X_+)\cong E^{n+r}(X^\mu)$.

Is it possible to give an inverse map, i.e. a map sending a $X^\mu\to E^{n+r}$ to an $X_+\to E^n$ on the level of spectra, too?

I am not asking for a proof of the Thom isomorphism. Even with the existence of such a map one has to prove that the correspondence induces an isomorphism on homotopy groups.

In the top answer to the question "Is there a map of spectra implementing the Thom isomorphism?" it is explained (with a reference to Rudyaks book) that from a rank $r$ vector bundle $\mu:V\to X$, a spectrum $E$ with multiplication $m:E\wedge E\to E$ and a Thom class $t:X^\mu\to \Sigma^r E$ one gets the Thom isomorphism:

The (cohomological) Thom isomorphism sends a map $x:X_+\to E^n$ of spectra to the composition $$ X^\mu\to X_+\wedge X^\mu\xrightarrow{x\wedge t}E^n\wedge E^r\xrightarrow{m}E^{n+r}. $$ The induced isomorphism on homotopy groups is then $E^{n}(X_+)\cong E^{n+r}(X^\mu)$.

Is it possible to give an inverse map, i.e. a map sending a $X^\mu\to E^{n+r}$ to an $X_+\to E^n$ on the level of spectra, too?

I am not asking for a proof of the Thom isomorphism. Even with the existence of such a map one has to prove that the correspondence induces an isomorphism on homotopy groups.

Post Undeleted by Andrés E. Caicedo, S. Carnahan
Post Deleted by roger123
Source Link
roger123
  • 2.8k
  • 2
  • 29
  • 40

Is there a map of spectra implementing the inverse of the Thom isomorphism?

In the top answer to the question "Is there a map of spectra implementing the Thom isomorphism?" it is explained (with a reference to Rudyaks book) that from a rank $r$ vector bundle $\mu:V\to X$, a spectrum $E$ with multiplication $m:E\wedge E\to E$ and a Thom class $t:X^\mu\to \Sigma^r E$ one gets the Thom isomorphism:

The (cohomological) Thom isomorphism sends a map $x:X_+\to E^n$ of spectra to the composition $$ X^\mu\to X_+\wedge X^\mu\xrightarrow{x\wedge t}E^n\wedge E^r\xrightarrow{m}E^{n+r}. $$ The induced isomorphism on homotopy groups is then $E^{n}(X_+)\cong E^{n+r}(X^\mu)$.

Is it possible to give an inverse map, i.e. a map sending a $X^\mu\to E^{n+r}$ to an $X_+\to E^n$ on the level of spectra, too?

I am not asking for a proof of the Thom isomorphism. Even with the existence of such a map one has to prove that the correspondence induces an isomorphism on homotopy groups.