Stiefel-Whitney-klasse
I algebraisk topologi , de klasser av Stiefel-Whitney er karakteristiske klasser forbundet med vektorbunter virkelige endelige rang.
De utgjør derfor en reell analog av Chernes klasser i den komplekse saken.
De bærer navnene på Eduard Stiefel og Hassler Whitney .
Enhver karakteristisk klasse assosiert med ekte vektorbunter fremstår som et polynom i Stiefel-Whitney-klassene.
Axiomatic
Den entallige kohomologiklasser med koeffisienter i ℤ / 2ℤ-ringen til en hvilken som helst vektorpakke ,
ξ=E→B{\ displaystyle \ xi = E \ rightarrow B}![\ xi = E \ høyre pil B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/c909d66d5926cabe84f424164cb92443918228ca)
wikke(ξ)∈Hikke(B;Z/2Z) (ikke∈IKKE),{\ displaystyle w_ {n} (\ xi) \ in H ^ {n} (B; \ mathbb {Z} / 2 \ mathbb {Z}) ~ (n \ in \ mathbb {N}),}
er unikt bestemt av følgende aksiomer :
-
w0(ξ)=1{\ displaystyle w_ {0} (\ xi) = 1}
og for n strengt større enn dimensjonen til fibrene;wikke(ξ)=0{\ displaystyle w_ {n} (\ xi) = 0}![w_ {n} (\ xi) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/600c62c7006448bd2fb9c936979e7a801664d0e2)
- hvis er et kontinuerlig kart, hvor betegner tilbaketrekningen av ξ med f ;f:B′→B{\ displaystyle f: B '\ rightarrow B}
f∗(wikke(ξ))=wikke(f∗(ξ)){\ displaystyle ~ f ^ {*} (w_ {n} (\ xi)) = w_ {n} (f ^ {*} (\ xi))}
f∗(ξ){\ displaystyle f ^ {*} (\ xi)}![f ^ * (\ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/50f9d1449237ac92803d2425f0c259a554629de1)
- hvis vi betegne , da der betegner Whitney summen og den kopp-produkt ;w(ξ)=1+w1(ξ)+w2(ξ)+...{\ displaystyle w (\ xi) = 1 + w_ {1} (\ xi) + w_ {2} (\ xi) + \ ldots}
w(ξ⊕ξ′)=w(ξ)⌣w(ξ′){\ displaystyle w (\ xi \ oplus \ xi ') = w (\ xi) \ smile w (\ xi')}
⊕{\ displaystyle \ oplus}
⌣{\ displaystyle \ smile}![\ smile](https://wikimedia.org/api/rest_v1/media/math/render/svg/3885eca63e224e40912ea2b44c5fe85f3d4f8be8)
-
w1(γ1){\ displaystyle w_ {1} (\ gamma ^ {1})}
er ikke-null-elementet av , der betegner den tautologiske linjebunten på ℝ P 1 .H1(RP1;Z/2Z){\ displaystyle H ^ {1} (\ mathbb {R} P ^ {1}; \ mathbb {Z} / 2 \ mathbb {Z})}
γ1{\ displaystyle \ gamma ^ {1}}
Den siste betingelsen sørger for at klassene ikke er trivielle. Faktisk, hvis vi fjernet denne tilstanden, kunne vi stille for alle i > 0 .
wJeg(ξ)=0{\ displaystyle w_ {i} (\ xi) = 0}![w_ {i} (\ xi) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c42c40a0bb89b9f084bc3d33ea6ffab4aa4ce90)
Konsekvenser
- Hvis er isomorf til , da .ξ{\ displaystyle \ xi}
η{\ displaystyle \ eta}
wikke(ξ)=wikke(η){\ displaystyle w_ {n} (\ xi) = w_ {n} (\ eta)}![w_ {n} (\ xi) = w_ {n} (\ eta)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e88253697e7d8243609e01e74409bf591eb22c7b)
- Det andre aksiomet sørger også for at Stiefel-Whitney-klassene til en triviell bunt er null (bortsett fra indeks 0). En triviell bunt er faktisk isomorf til fiberproduktet av en bunt på punktet, og kohomologien til et punkt er triviell i strengt positiv dimensjon.
- Det tredje aksiomet antyder at summen av en bunt med en triviell bunt ikke endrer Stiefel-Whitney-klassene. For eksempel summen av tangentbunten av S n med den normale bunt (som er en triviell bunt) er en triviell bunt, og derfor dens Stiefel-Whitney klasser er null for n > 0.
applikasjon
Hvis B er homotopisk ekvivalent med et CW-kompleks , kan en vektorpakke E → B orienteres hvis og bare hvis .
w1(E)=0{\ displaystyle w_ {1} (E) = 0}![w_ {1} (E) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd1c1ed13e385501c5e8a6ae34903a74dfd22602)
Utover det innrømmer en vektorpakke orientert på en manifold X en spinor-struktur hvis og bare hvis , og i dette tilfellet er de forskjellige spinor-strukturene i en-til-en-korrespondanse med .
w2(E)=0{\ displaystyle w_ {2} (E) = 0}
H1(X,Z2){\ displaystyle H ^ {1} (X, {\ mathbf {Z}} _ {2})}![{\ displaystyle H ^ {1} (X, {\ mathbf {Z}} _ {2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12ea0b0e0cf32230828323e023f1517f6ff322b4)
Merknader og referanser
-
(in) H. Blaine Lawson (in) og Marie-Louise Michaelson , Spin Geometry , PUP ,1989( ISBN 978-0-691-08542-5 ), teorem 1,7 s. 82
Bibliografi
(en) John Milnor og James Stasheff , Characteristic Classes , Princeton University Press , koll. "Annaler for matematikkstudier" ( nr . 76)1974( les online )
Relatert artikkel
Invariant De Rham (in)
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">