Thom space

Thom space

In mathematics, the Thom space or Thom complex (named after René Thom) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. One way to construct this space is as follows. Let

:"p" : "E" → "B"

be a rank "k" real vector bundle over the paracompact space "B". Then for each point "b" in "B", the fiber "F""b" is a "k"-dimensional real vector space. We can form an associated sphere bundle Sph("E") → "B" by taking the one-point compactification of each fiber separately. Finally, from the total space Sph("E") we obtain the Thom complex "T"("E") by identifying all the new points to a single point infty, which we take as the basepoint of "T"("E").

The significance of this construction begins with the following result, which belongs to the subject of cohomology of fiber bundles. (We have stated the result in terms of Z2 coefficients to avoid complications arising from orientability.)

Let "B", "E", and "p" be as above. Then there is an isomorphism, now called a Thom isomorphism:Phi colon H^i(B; mathbf{Z}_2) o ilde{H}^{i+k}(T(E); mathbf{Z}_2),for all "i" greater than or equal to 0, where the right hand side is reduced cohomology.

We can loosely interpret the theorem as being a generalization of the suspension isomorphism on (co)homology, because the Thom space of a trivial bundle on "B" of rank "k" is isomorphic to the "k"th suspension of "B".

This theorem was formulated and proved by René Thom in his 1952 thesis. The isomorphism of the theorem is explicitly known: there is a certain cohomology class, the Thom class, in the "k"th cohomology group of the Thom space. Denote this Thom class by "U". Then for a class "b" in the cohomology of the base, we can compute the Thom isomorphism via the pullback of the bundle projection and the cohomology cup product::Phi(b) = p^*(b) smile U.In particular, the Thom isomorphism sends the identity element of "H"*("B") to "U".

In his 1952 paper, Thom showed that the Thom class, the Stiefel-Whitney classes, and the Steenrod operations were all related. He used these ideas to prove in the 1954 paper "Quelques propriétés globales des variétés differentiables" that the cobordism groups could be computed as the homotopy groups of certain spaces "MSO"("n"). The spaces "MSO(n)" themselves arise as Thom spaces and comprise a spectrum "MSO" that is now called a "Thom spectrum" (along with other related spectra). This was a major step toward modern stable homotopy theory.

If the Steenrod operations are available, we can use them and the isomorphism of the theorem to construct the Stiefel-Whitney classes. Recall that the Steenrod operations (mod 2) are natural transformations:Sq^i colon H^m(-; mathbf{Z}_2) o H^{m+i}(-; mathbf{Z}_2),defined for all nonnegative integers "m". If "i" = "m", then "Sqi" coincides with the cup square. We can define the "i"th Stiefel-Whitney class "w""i" ("p") of the vector bundle "p" : "E" → "B" by::w_i(p) = Phi^{-1}(Sq^i(Phi(1))) = Phi^{-1}(Sq^i(U)).,

ee also

* Fiber bundle
* Characteristic classes
* Cobordism
* Cohomology operation

References

* Dennis Sullivan, "René Thom's Work on Geometric Homology and Bordism." Bull. Am. Math. Soc. 41 (2004), pp. 341-350.
* René Thom, "Quelques propriétés globales des variétés differentiables." Comm. Math. Helv. 28 (1954), pp. 17-86.
* J.P. May, "A Concise Course in Algebraic Topology." University of Chicago Press, 1999, pp. 183-198.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Thom Merrick — (born January 1, 1963, in Sacramento, California) is an American artist. He attended the San Francisco Art Institute, and emerged in the mid 1980s, represented by pioneer gallerists Colin de Land (b. 1955 d. 2003) and Pat Hearn (b. 1955 d. 2000)… …   Wikipedia

  • Thom Barry — Données clés Nom de naissance Thomas Barry Surnom A cool dude Naissance 6 décembre 1950 USA Nationalité …   Wikipédia en Français

  • Thom Yorke — Yorke at the Latitude Festival, Suffolk, 2009. Background information Birth name Thomas Edward Yorke …   Wikipedia

  • Thom Barry — Nacimiento Cincinnati, Ohio, Estados Unidos Ocupación Actor Años en activo 1994 presente …   Wikipedia Español

  • Space music — Space music, also spelled spacemusic, is an umbrella term used to describe music that evokes a feeling of contemplative spaciousness. In fact, almost any music with a slow pace and space creating sound images could be called spacemusic. Stephen… …   Wikipedia

  • Space Dock (Space: 1999) — Space Dock Space Dock (aka Interplanetary Space Station, Meta Probe Launch Platform Centauri Space Station) First appearance Breakaway Affiliation Moonbase Alpha …   Wikipedia

  • Thom Eberhardt — est un réalisateur et scénariste américain né le 7 mars 1947 à Los Angeles, Californie (États Unis). Sommaire 1 Filmographie 1.1 comme réalisateur 1.2 comme scénariste …   Wikipédia en Français

  • Space Jam — Données clés Titre québécois Basket Spatial …   Wikipédia en Français

  • Thom Brennan — Infobox Musical artist | Name = Thom Brennan Background = non vocal instrumentalist Born = Birth date and age|1957|5|31|mf=y Lubbock, Texas, U.S. Origin = Los Angeles, California, U.S. Instrument = Synthesizers Genre = Electronic music, ambient… …   Wikipedia

  • Space Raiders (movie) — Infobox Film name = Space Raiders image size = caption = director = Howard R. Cohen producer = Roger Corman writer = Howard R. Cohen narrator = starring = Vince Edwards David Mendenhall Patsy Pease Thom Christopher music = James Horner… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”