En topologie, l'espace de Thom est un espace topologique associé à un fibré vectoriel. Il est au cœur de plusieurs constructions homotopiques, parmi lesquelles la construction de Thom-Pontrjagin et le spectre (en) de Thom.

Il porte le nom de René Thom, qui a introduit ces constructions en 1954[1].

Construction

modifier

Soit η un fibré vectoriel de rang k sur un espace topologique X. Notons E(η) l'espace total de ce fibré. Si l'on munit les fibres de η d'un produit scalaire, on peut définir les fibrations en boules et en sphères associées :

D(η)={v∈E(η)|‖v‖≤1} et S(η)={v∈E(η)|‖v‖=1}.

La restriction de η à ces deux espaces topologiques définit naturellement une fibration en boules Bk et en sphères Sk−1, respectivement. On vérifie facilement qu'à isomorphisme près, ces deux fibrations ne dépendent pas du choix initial d'un produit scalaire et sont donc naturellement associées à η.

L'espace de Thom T(η) du fibré η est alors simplement le quotient D(η)/S(η). En d'autres termes, on obtient T(η) à partir du fibré en boules D(η) en identifiant tous les points de S(η). De manière équivalente, T(η) est le compactifié d'Alexandroff de l'espace total E(η).

  1. ↑ R. Thom, « Quelques propriétés globales des variétés différentiables] », Comm. Math. Helv., vol. 28,‎ , p. 17–86, lien Math Reviews.

Articles connexes

modifier