SU(2)

In der Mathematik ist die spezielle unitäre Gruppe der Ordnung 2, d. h. die lineare Gruppe der unitären -Matrizen mit Determinante 1. Sie ist (zusammen mit der Drehgruppe , deren zweifache Überlagerung sie ist) die einfachste nichtabelsche kompakte Lie-Gruppe.

Die Gruppe spielt eine wichtige Rolle in der Physik, unter anderem im Standardmodell der Elementarteilchenphysik und in der Quantenmechanik, wo sie auch als komplexe Dreh-Gruppe (Gruppe der „komplexen Drehungen“ des zweidimensionalen komplexen Raumes ) oder Spin-Gruppe bezeichnet wird. Bündel mit Strukturgruppe werden in der Theorie der 4-Mannigfaltigkeiten zur Definition der Donaldson-Invarianten[1] und in der Theorie der 3-Mannigfaltigkeiten zur Definition der Casson-Invariante und der Instanton-Floer-Homologie[2][3] verwendet.

Definition

Die ist die Gruppe der unitären -Matrizen mit Determinante 1:

.

Alle Matrizen aus sind von der Form

mit .

ist eine Lie-Gruppe. Sie ist die einfachste nichtabelsche Lie-Gruppe.

Die Lie-Algebra der Lie-Gruppe ist die Lie-Algebra der schiefhermiteschen -Matrizen

.

Alle Matrizen aus sind von der Form

mit .

Topologie

  • Wie jede Lie-Gruppe ist sie parallelisierbar.
.

SU(2) als Spin-Gruppe

ist eine 2-fache Überlagerung der Drehgruppe , sie realisiert also die Spin-Gruppe . Die natürliche Operation von auf ist eine sog. Spinordarstellung.

Explizit wird die Überlagerung gegeben durch die adjungierte Darstellung von auf ihrer 3-dimensionalen Lie-Algebra . Diese lässt die Killing-Form und damit auch invariant. Weil positiv definit ist, ist die Gruppe der erhaltenden linearen Abbildungen isomorph zu . Man kann zeigen, dass die so definierte Abbildung eine 2-fache Überlagerung definiert.

Pauli-Matrizen und Komplexe Drehungen

Die Pauli-Matrizen lauten

Die imaginären Vielfachen sind Elemente der Lie-Algebra . Es gilt

mit reellen Vektorkomponenten und , den „Drehwinkeln“  ( durchläuft beispielsweise das Intervall ), und mit den in die drei Pauli-Matrizen umgewandelten Basiselementen der Quaternionen, also dem aus den drei 2x2-Pauli-Matrizen gebildeten formalen Drei-Vektor  (in der Sprache der Physik: „dem doppelten(!) [4] Spindrehimpuls-Operator“). Der Punkt bedeutet das formale Skalarprodukt, . Der scheinbar nur physikalisch motivierte Faktor 1/2 hat mathematisch u. a. zur Folge, dass sich die Spinoren im Gegensatz zu Vektoren nicht schon bei Drehungen um 2π  (=360 o), sondern erst bei dem doppelten  Wert reproduzieren. Dagegen erhält man die gewöhnliche Drehgruppe im dreidimensionalen reellen Raum, die SO(3), indem man durch den Ortsdrehimpuls-Operator ersetzt (ausgedrückt durch Differentialquotienten, z. B. ). Dabei wurde , die reduzierte Plancksche Konstante, wie üblich durch Eins ersetzt, und ist der Azimutalwinkel (Drehung um die z-Achse). Jetzt reicht die Drehung um 360 o aus, um eine gewöhnliche Funktion – statt eines Spinors – zu reproduzieren.

In diesem Sinne wird die Gruppe der komplexen Drehungen also von den Pauli-Matrizen „erzeugt“, was in der Quantenmechanik speziell in der Theorie des Spindrehimpulses Anwendung findet.

SU(2) als Gruppe der Einheitsquaternionen

Jede Quaternion lässt sich eindeutig in der Form

mit reellen Zahlen , , , schreiben. Der Betrag einer Quaternion ist definiert durch

.

Die Gruppe der Einheitsquaternionen

ist isomorph zu , unter dem Isomorphismus entsprechen sich

.

Endliche Untergruppen der SU(2)

Die endlichen Untergruppen wurden von Felix Klein klassifiziert.

Jede endliche Untergruppe ist isomorph zu einer der folgenden Untergruppen der :

,
und ,
  • dem Urbild der Symmetriegruppe eines der regelmäßigen platonischen Körper (also bis auf Dualität entweder des regelmäßigen Tetraeders, Oktaeders oder Ikosaeders) unter der Überlagerung .

Diese Untergruppen entsprechen den Dynkindiagrammen . Siehe auch Quaternion#Die endlichen Untergruppen.

Differentialgeometrie

Das negative der Killing-Form definiert eine bi-invariante Riemannsche Metrik auf , ihre Schnittkrümmung ist konstant . Die ist also isometrisch zur 3-dimensionalen Einheitssphäre.

Darstellungstheorie

Die Lie-Algebra ist eine reelle Form der Lie-Algebra , d. h. ist die Komplexifizierung von . Alle Darstellungen von erhält man also durch Einschränkung von Darstellungen von . Insbesondere folgt aus der Klassifikation der Darstellungen von , dass es zu jeder natürlichen Zahl eine bis auf Isomorphie eindeutige -dimensionale irreduzible Darstellung der gibt.

Nach dem Zweiten Lie'schen Satz entsprechen die Lie-Algebren-Darstellungen von genau den Lie-Gruppen-Darstellungen von . Es gibt also zu jeder natürlichen Zahl eine bis auf Isomorphie eindeutige -dimensionale irreduzible Darstellung von . In der Physik wird diese als Spin--Darstellung bezeichnet.

Eine explizite Realisierung der -dimensionalen Darstellung von geht wie folgt. Es sei der Vektorraum der komplexwertigen homogenen Polynome vom Grad in zwei Variablen, also der von aufgespannte komplexe Vektorraum. Dann wirkt auf durch .

Physik

Die Drehimpulsalgebra ist isomorph zur Komplexifizierung der Lie-Algebra der . Viele physikalische Situationen sind rotations-invariant und lassen sich also als Darstellungen der beschreiben, welche in der Regel unendlich-dimensional sind und sich aber in endlich-dimensionale irreduzible Darstellungen zerlegen lassen. Im Falle des Wasserstoffatoms entsprechen die Anzahlen der Zustände gleicher Energie gerade den Dimensionen dieser irreduziblen Darstellungen. Gewisse Effekte lassen sich aber nur erklären, wenn man die Dimensionen verdoppelt, also statt der SO(3)-Darstellungen die durch Tensorieren mit der Standarddarstellung entstehenden SU(2)-Darstellungen betrachtet.

Die schwache Wechselwirkung und damit das Standardmodell der Elementarteilchenphysik ist -invariant.[5]

Siehe auch

Literatur

  • Theodor Bröcker, Tammo tom Dieck: Representations of Compact Lie Groups (= Graduate Text im Mathematics. Bd. 98). Springer, New York NY u. a. 1985, ISBN 3-540-13678-9.
  • Walter Pfeifer: The Lie Algebras su(N). An Introduction. Birkhäuser, Basel u. a. 2003, ISBN 3-7643-2418-X.
  • Jean-Marie Normand: A Lie group. Rotations in quantum mechanics. North-Holland Publishing Co., Amsterdam u. a. 1980, ISBN 0-444-86125-4.
  • Max Wagner: Gruppentheoretische Methoden in der Physik. Ein Lehr- und Nachschlagewerk. Friedr. Vieweg & Sohn, Braunschweig 1998, ISBN 3-528-06943-0.

Weblinks

Einzelnachweise

  1. Simon K. Donaldson: Polynomial invariants for smooth four-manifolds. In: Topology. Bd. 29, Nr. 3, 1990, S. 257–315, doi:10.1016/0040-9383(90)90001-Z
  2. Andreas Floer: An instanton-invariant for 3-manifolds. In: Communications in Mathematical Physics. Bd. 118, Nr. 2, 1988, S. 775–813, doi:10.1007/BF01218578
  3. Clifford Henry Taubes: Casson's invariant and gauge theory. In: Journal of differential geometry. Bd. 31, Nr. 2, 1990, S. 547–599, online.
  4. Dass nicht , sondern der Spindrehimpuls-Operator ist, ergibt sich u. a. aus der zugehörigen Lie-Algebra, der Drehimpulsalgebra.
  5. M. Claudson, E. Farhi, R.L. Jaffe: Strongly coupled standard model. Band 34, Nr. 3, 1. August 1986, S. 873–887, doi:10.1103/PhysRevD.34.873, PMID 9957220, bibcode:1986PhRvD..34..873C (englisch).