Classe de Stiefel-Whitney
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En topologie algébrique, les classes de Stiefel-Whitney sont des classes caractéristiques associées aux fibrés vectoriels réels de rang fini.
Elles constituent donc un analogue réel des classes de Chern dans le cas complexe.
Elles portent les noms de Eduard Stiefel et de Hassler Whitney.
Toute classe caractéristique associée aux fibrés vectoriels réels apparaît comme un polynôme en les classes de Stiefel-Whitney.
Axiomatique
Les classes de cohomologie singulière à coefficients dans l'anneau ℤ/2ℤ de tout fibré vectoriel ,
sont déterminées de façon unique par les axiomes suivants :
- et pour n strictement supérieur à la dimension des fibres ;
- si est une application continue, alors , où désigne le pull-back de ξ par f ;
- si l'on note , alors où désigne la somme de Whitney et le cup-produit ;
- est l'élément non nul de , où désigne le fibré en droites tautologique (en) sur ℝP1.
La dernière condition assure que les classes ne sont pas triviales. En effet, si l'on retirait cette condition, on pourrait poser pour tout i > 0.
Conséquences
- Si est isomorphe à , alors .
- Le deuxième axiome assure aussi que les classes de Stiefel-Whitney d'un fibré trivial sont nulles (sauf celle d'indice 0). En effet un fibré trivial est isomorphe au produit fibré d'un fibré sur le point et la cohomologie d'un point est triviale en dimension strictement positive.
- Le troisième axiome implique que la somme d'un fibré avec un fibré trivial ne change pas ses classes de Stiefel-Whitney. Par exemple la somme du fibré tangent de Sn avec le fibré normal (qui est un fibré trivial) est un fibré trivial et donc ses classes de Stiefel-Whitney sont nulles pour n > 0.
Application
Si B est homotopiquement équivalent à un CW-complexe, alors un fibré vectoriel E → B est orientable si et seulement si .
Au-delà, un fibré vectoriel orienté sur une variété X admet une structure spinorielle si et seulement si , et dans ce cas les différentes structures spinorielles sont en correspondance bijective avec [1].
Notes et références
- ↑ (en) H. Blaine Lawson et Marie-Louise Michelsohn, Spin Geometry, PUP, (ISBN 978-0-691-08542-5), théorème 1.7 p. 82
Bibliographie
(en) John Milnor et James Stasheff, Characteristic Classes, Princeton University Press, coll. « Annals of Mathematics Studies » (no 76), (lire en ligne)
Article connexe
Invariant de De Rham (en)
Portail des mathématiques