Spinc-Gruppe

Aus testwiki
Zur Navigation springen Zur Suche springen


Eine Spinᶜ-Gruppe (oder komplexe Spin-Gruppe) ist im mathematischen Teilgebiet der Spin-Geometrie, wiederum ein Teilgebiet der Differentialgeometrie, eine Lie-Gruppe, welche durch Vertwistung der Spin-Gruppe mit der ersten unitären Gruppe entsteht. Das Symbol C steht dabei für die komplexen Zahlen, welche mit notiert werden. Eine zentrale Anwendung finden Spinᶜ-Gruppen in der Definition von Spinᶜ-Strukturen, welche zentral für die Seiberg-Witten-Theorie sind.

Definition

Die Spin-Gruppe Spin(n) ist eine doppelte Überlagerung der speziellen orthogonalen Gruppe SO(n) und entsprechend wirkt 2 auf dieser mit Spin(n)/2SO(n). Auf der ersten unitären Gruppe U(1)S1 wirkt 2 ebenfalls durch die antipodale Identifikation yy. Die Spinᶜ-Gruppe ist nun definiert durch:[1][2][3][4]

Spinc(n):=(Spin(n)×U(1))/2

mit (x,y)(x,y). Üblich ist auch die Notation Spin(n). Mit dem exzeptionellen Isomorphismus Spin(2)U(1) gilt insbesondere Spinc(n)=Spin2(n) mit:

Spink(n):=(Spin(n)×Spin(k))/2.

Niedrigdimensionale Beispiele

  • Spinc(1)U(1)SO(2), induziert vom Isomorphismus Spin(1)O(1)2.
  • Spinc(3)U(2),[5] induziert vom exzeptionellen Isomorphismus Spin(3)Sp(1)SU(2). Da außerdem Spin(2)U(1)SO(2), ist auch Spinc(3)Spinh(2).
  • Spinc(4)U(2)×U(1)U(2), induziert vom exzeptionellen Isomorphismus Spin(4)SU(2)×SU(2). Dabei ist die Determinante det:U(2)U(1) die doppelt im Faserprodukt verwendete Abbildung. Daher besteht Spinc(4) aus Paaren von Matrizen aus der zweiten unitären Gruppe U(2) mit gleicher Determinante. In der Physik dienen diese Paare zur Beschreibung der negativen und positiven Chiralität von Spinoren in vier Dimensionen, siehe Spinᶜ-Struktur und Dirac-Gleichung.
  • Spinc(6)U(4) ist eine doppelte Überlagerung, induziert vom exeptionellen Isomorphismus Spin(6)SU(4).

Eigenschaften

Die Homotopiegruppen der Spinᶜ-Gruppen lassen sich über die lange exakte Sequenz der Homotopiegruppen[6] des Faserbündels 2Spin(n)×U(1)Spinc(n)[7] berechnen und sind gegeben durch:

πkSpinc(n)πkSpin(n)×πkU(1)πkSO(n)

für k2. Dabei wurde genutzt, dass bei einer Überlagerung wie Spin(n)SO(n) die höheren Homotopiegruppen über der Fundamentalgruppe übereinstimmen.

Siehe auch

Literatur

Einzelnachweise

  1. Lawson & Michelson 1989, Appendix D, Gleichung (D.1)
  2. Bär 1999, Seite 14
  3. Stable complex and Spinᶜ-structures, Sektion 2.1
  4. Nicolaescu, Seite 30
  5. Nicolaescu, Exercise 1.3.9
  6. Vorlage:Literatur
  7. Lawson & Michelson 1989, Appendix D, Gleichung (D.2)