Struttura di spin
In matematica, e in particolare in geometria differenziale, una struttura di spin definita su una varietà riemanniana orientabile (M, g) consente di definire i fibrati spinoriali associati, dando origine alla nozione di campo spinoriale.
Le strutture di spin hanno ampie applicazioni in fisica matematica, in particolare nella teoria quantistica dei campi in cui sono un ingrediente essenziale nella definizione di qualsiasi teoria con fermioni privi di carica. Sono anche di interesse puramente matematico in geometria differenziale, topologia algebrica e K-teoria. Costituiscono le basi per la geometria di spin.
Introduzione modifica
In geometria differenziale e nella teoria dei campi, i matematici si chiedono se su una determinata varietà riemanniana orientata (M,g) sia possibile definire dei campi spinoriali. Un metodo per affrontare questo problema è richiedere che M abbia una struttura di spin[1][2][3]. Ciò non è sempre possibile poiché esiste potenzialmente una ostruzione topologica all'esistenza di strutture di spin. Le strutture di spin esistono se e solo se la seconda classe di Stiefel-Whitney w2(M) ∈ H2(M, Z2) di M si annulla. Inoltre, se w2(M) = 0, allora sull'insieme delle classi di isomorfismo delle strutture di spin su M agisce liberamente e transitivamente H1(M, Z2). Poiché si presume che la varietà M sia orientata, anche la prima classe di Stiefel–Whitney w1(M) ∈ H1(M, Z2) di M risulta nulla. (Le classi di Stiefel–Whitney wi(M) ∈ Hi(M, Z2) di una varietà differenziabile M sono definite come le classi Stiefel–Whitney del suo fibrato tangente TM.)
Il fibrato spinoriale πS: S → M su M è quindi definito come il fibrato vettoriale (complesso) associato al corrispondente fibrato principale πP: P → M dei riferimenti spinoriali su M attraverso una rappresentazione del suo gruppo di struttura Spin(n) sullo spazio di spinori Δn. Il fibrato S è detto fibrato di spinori per una data struttura di spin definita sulla varietà di base M.
Una definizione precisa di struttura di spin su una varietà differenziabile fu resa possibile solo dopo l'introduzione della nozione di fibrato; André Haefliger (1956) scoprì per primo l'ostruzione topologica all'esistenza di una struttura di spin su una varietà riemanniana orientabile e Max Karoubi (1968) estese questo risultato al caso di una varietà pseudo-riemanniana non orientabile[4][5].
Struttura di spin su una varietà riemanniana modifica
Definizione modifica
Una struttura di spin su una varietà riemanniana orientabile (M,g) è un rivestimento equivariante del fibrato dei riferimenti lineari orientati FSO(M) → M associato al rivestimento a due fogli ρ: Spin(n) → SO(n). In altre parole, una coppia (P,FP) è una struttura di spin sul fibrato principale π: FSO(M) → M se vale
- a) πP: P → M è un fibrato principale su M e gruppo di struttura Spin(n),
- b) FP: P → FSO(M) è un rivestimento a due fogli tale che
- e FP(p q) = FP(p)ρ(q) per ogni p ∈ P e q ∈ Spin(n).
Il fibrato principale πP: P → M è anche detto fibrato dei riferimenti spinoriali su M.
Due strutture di spin (P1, FP1) e (P2, FP2) definite su una medesima varietà riemanniana orientata (M,g) si dicono equivalenti se esiste una applicazione differenziabile Spin(n)-equivariante f: P1 → P2 tale che
- and f(p q) = f(p)q per ogni e q ∈ Spin(n).
Ovviamente, in questo caso e sono due rivestimenti a due fogli del SO(n)-fibrato dei riferimenti lineari orientati FSO(M) → M della varietà riemanniana (M,g) assegnata.
Questa definizione di struttura di spin sulla varietà (M,g) intesa come struttura di spin sul fibrato principale FSO(M) → M si deve al matematico André Haefliger (1956).
Ostruzione modifica
André Haefliger ha trovato le condizioni necessarie e sufficienti per l'esistenza di una struttura di spin su una varietà riemanniana orientata (M,g). L'ostruzione ad avere una struttura di spin è un certo elemento [k] di H2(M, Z2) . Per una struttura di spin la classe [k] è la seconda classe di Stiefel-Whitney w2(M) ∈ H2(M, Z2) di M. Quindi, una struttura di spin esiste se e solo se la seconda classe di Stiefel-Whitney w2(M) ∈ H2(M, Z2) di M è nulla.
Note modifica
- ^ (FR) A. Haefliger, Sur l'extension du groupe structural d'un espace fibré, in C. R. Acad. Sci. Paris, vol. 243, 1956, pp. 558–560.
- ^ (EN) J. Milnor, Spin structures on manifolds, in L'Enseignement Mathématique, vol. 9, 1963, pp. 198–203.
- ^ (FR) A. Lichnerowicz, Champs spinoriels et propagateurs en rélativité générale, in Bull. Soc. Math. Fr., vol. 92, 1964, pp. 11–100, DOI:10.24033/bsmf.1604.
- ^ (FR) M. Karoubi, Algèbres de Clifford et K-théorie, in Ann. Sci. Éc. Norm. Supér., vol. 1, n. 2, 1968, pp. 161–270, DOI:10.24033/asens.1163.
- ^ (EN) H. R. Alagia e C. U. Sánchez, Spin structures on pseudo-Riemannian manifolds (PDF), in Revista de la Unión Matemática Argentina, vol. 32, 1985, pp. 64–78.
Bibliografia modifica
- (EN) H. Blaine Lawson e Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989, ISBN 978-0-691-08542-5.
- (EN) Thomas Friedrich, Dirac Operators in Riemannian Geometry, American Mathematical Society, 2000, ISBN 978-0-8218-2055-1.
- (EN) Max Karoubi, K-Theory, Springer, 2008, pp. 212–214, ISBN 978-3-540-79889-7.
- (EN) Werner Greub e Herbert-Rainer Petry, On the lifting of structure groups, in Differential Geometrical Methods in Mathematical Physics II, Lecture Notes in Mathematics, Springer, 1978, pp. 217–246, ISBN 9783540357216.
Voci correlate modifica
Collegamenti esterni modifica
- Something on Spin Structures by Sven-S. Porst is a short introduction to orientation and spin structures for mathematics students.
