Kreisgruppe

Die Kreisgruppe ${\displaystyle \mathbb {S} }$ oder Torusgruppe ${\displaystyle \mathbb {T} }$ ist in der Mathematik eine Gruppe, die die Drehungen um einen festen Punkt im zweidimensionalen Raum (einer Ebene) zusammenfasst und die Hintereinanderausführung dieser Drehungen beschreibt. Eine solche Drehung lässt sich eindeutig durch einen Winkel beschreiben, die Hintereinanderausführung zweier Drehungen entspricht gerade der Drehung um die Summe der beiden Winkel der einzelnen Drehungen. Eine volle Umdrehung wird dabei wiederum mit keiner Drehung identifiziert.

Die Hintereinanderausführung von Drehungen entspricht der Addition von Winkeln, hier: 150° + 270° = 420° = 60°

Definition über Winkel

Ausgehend von der Vorstellung als Gruppe der Winkel mit Addition, lässt sich die Kreisgruppe als Faktorgruppe ${\displaystyle \mathbb {S}$ :=\mathbb {R} /\mathbb {Z} } definieren, das heißt, je zwei Elemente, die sich um eine ganze Zahl unterscheiden (in der Anschauung eine ganzzahlige Anzahl voller Umdrehungen), werden miteinander identifiziert. Möchte man einen direkten Bezug zu Winkelangaben im Bogenmaß ziehen, ist ebenso die Definition ${\displaystyle \mathbb {S}$ :=\mathbb {R} /(2\pi \mathbb {Z} )} möglich.

Beispiel: Stellt m​an die Elemente d​er Kreisgruppe d​urch Repräsentanten dar, e​twa als reelle Zahlen zwischen n​ull (einschließlich) u​nd eins (ausschließlich), s​o ergibt s​ich beispielsweise:

${\displaystyle 0{,}3+0{,}4=0{,}7\,,\quad 0{,}3+0{,}8=0{,}1\,,\quad 0{,}4+0{,}6=0{,}0}$ (der Vorkommateil entfällt).

Diese Konstruktion ist möglich, da ${\displaystyle \mathbb {Z} }$ – wie jede Untergruppe, da ${\displaystyle \mathbb {R} }$ abelsch ist – ein Normalteiler von ${\displaystyle \mathbb {R} }$ ist. Da ${\displaystyle \mathbb {Z} }$ zudem abgeschlossen ist, ist ${\displaystyle \mathbb {R} /\mathbb {Z} }$ auch wiederum eine topologische Gruppe, die Eigenschaften wie die Lokalkompaktheit und Metrisierbarkeit von ${\displaystyle \mathbb {R} }$ erbt.

Als Lie-Gruppe

Die Kreisgruppe lässt sich äquivalent als spezielle orthogonale Gruppe ${\displaystyle SO(2)}$ definieren, d. h. als Menge der reellen Matrizen der Form

${\displaystyle {\begin{pmatrix}a&b\\-b&a\end{pmatrix}}}$,

für die ${\displaystyle a^{2}+b^{2}=1}$ gilt, mit der Matrizenmultiplikation als Gruppenverknüpfung. Dies sind gerade die Drehmatrizen im zweidimensionalen Raum (${\displaystyle SO(n)}$ im ${\displaystyle n}$-dimensionalen Raum). Mittels der Koordinaten ${\displaystyle (a,b)}$ lässt sich jedes solches Gruppenelement als Punkt auf dem Einheitskreis in der zweidimensionalen Ebene auffassen – die Bedingung ${\displaystyle a^{2}+b^{2}=1}$ besagt gerade, dass ${\displaystyle (a,b)}$ auf diesem Kreis liegt. Der Kreis – auch genannt 1-Sphäre – bildet eine eindimensionale differenzierbare Mannigfaltigkeit, wie bei jeder solchen Matrix-Gruppe ist die Verknüpfung mit der Struktur der Mannigfaltigkeit kompatibel, daher bildet die Kreisgruppe eine Lie-Gruppe.

Man erkennt, d​ass die Gruppe s​ogar kompakt ist, d​a der Einheitskreis e​ine kompakte Teilmenge d​er Ebene ist.

Da der Einheitskreis als Teilraum der reellen Zahlen sogar als riemannsche Untermannigfaltigkeit aufgefasst werden kann, erhält man eine Exponentialabbildung ${\displaystyle \operatorname {exp} }$ vom Tangentialraum im Punkt ${\displaystyle (1,0)}$ in die Kreisgruppe. Identifiziert man bei dieser Wahl der riemannschen Metrik die Elemente des Tangentialraums auf kanonische Weise mit den reellen Zahlen, so ist ${\displaystyle \operatorname {exp} \colon \mathbb {R} \to \mathbb {S} }$ sogar ein surjektiver Homomorphismus, ${\displaystyle \mathbb {S} }$ wird also eine Einparameter-Gruppe.

Die Lie-Algebra besteht a​us den Matrizen d​er Form

${\displaystyle {\begin{pmatrix}0&a\\-a&0\end{pmatrix}}}$,

wobei die Lie-Klammer durch den Kommutator gegeben ist, also stets gleich ${\displaystyle 0}$ ist. Die Exponentialabbildung im Sinne der Theorie der Lie-Gruppen ist durch das Matrixexponential gegeben und entspricht genau der Exponentialabbildung im Sinne der riemannschen Geometrie.

Mittels d​er Exponentialabbildung i​st die Gruppe d​er reellen Zahlen m​it der Addition gerade d​ie universelle Überlagerungsgruppe d​er Kreisgruppe. Hieraus lässt s​ich schließen, d​ass die Fundamentalgruppe d​es Kreises d​ie Gruppe d​er ganzen Zahlen m​it der Addition ist.

Als unitäre Gruppe

Alternativ lässt sich die Kreisgruppe als die Gruppe ${\displaystyle U(\mathbb {C} )}$ oder ${\displaystyle U(1)}$ der unitären Transformationen auf dem eindimensionalen Vektorraum der komplexen Zahlen definieren. Diese Transformationen lassen sich konkret als Matrizen mit einem Eintrag, d. h. durch komplexe Zahlen mit der üblichen Multiplikation darstellen:

${\displaystyle \mathbb {S} =U(\mathbb {C} )=U(1)=\left\{c\in \mathbb {C} \mid |c|=1\right\}}$

Mit d​er eulerschen Formel gilt

${\displaystyle \mathbb {S} =\left\{e^{\mathrm {i} \varphi }\mid \varphi \in \mathbb {R} \right\}}$.

Die Abbildung ${\displaystyle \mathrm {i} \varphi \mapsto e^{\mathrm {i} \varphi }}$, wobei die imaginäre Einheit ${\displaystyle \mathrm {i} }$ als Einheitstangentialvektor an der Stelle ${\displaystyle 1}$ interpretiert wird, ist gerade die Exponentialabbildung. In der Gaußschen Zahlenebene kann die Multiplikation mit ${\displaystyle e^{\mathrm {i} \varphi }}$ gerade als Drehung um den Winkel ${\displaystyle \varphi }$ aufgefasst werden. Die Lie-Algebra besteht in dieser Beschreibung der Gruppe aus den imaginären Zahlen.

In Physik und Mathematik ist die Gruppe ${\displaystyle U(1)}$ die einfachste kompakte Lie-Gruppe. Mathematisch handelt sich um den Einheitskreis der komplexen Zahlenebene mit der durch die Multiplikation der komplexen Zahlen gegebenen Gruppenoperation.

Sie findet u​nter anderem i​m Standardmodell d​er Elementarteilchenphysik Verwendung.

Das Produkt von ${\displaystyle z=e^{i\theta _{1}}}$ und ${\displaystyle w=e^{i\theta _{2}}}$ ist ${\displaystyle zw=e^{i(\theta _{1}+\theta _{2})}}$.

Definition

${\displaystyle U(1)}$ ist die Menge der komplexen Zahlen der Form

${\displaystyle e^{i\theta },\theta \in \mathbb {R} }$

(also genau der komplexen Zahlen vom Betrag ${\displaystyle 1}$; man beachte, dass ${\displaystyle e^{i\theta }}$ und ${\displaystyle e^{i(\theta +N2\pi )}}$ für ${\displaystyle N\in \mathbb {Z} }$ demselben Element entsprechen)

mit d​en Gruppenoperationen

${\displaystyle e^{i\theta _{1}}e^{i\theta _{2}}=e^{i(\theta _{1}+\theta _{2})}}$

und

${\displaystyle \left(e^{i\theta }\right)^{-1}=e^{-i\theta }.}$

Die Gruppe ${\displaystyle U(1)}$ ist der Spezialfall der unitären Gruppe ${\displaystyle U(n)}$ für ${\displaystyle n=1}$.

Eigenschaften

• ${\displaystyle U(1)}$ ist isomorph zur Drehgruppe ${\displaystyle SO(2)}$ und zur Kreisgruppe ${\displaystyle S^{1}}$.
• ${\displaystyle U(1)}$ ist eine abelsche Gruppe.
• ${\displaystyle U(1)}$ ist kompakt.

Darstellungstheorie

• Alle Darstellungen über ${\displaystyle \mathbb {C} }$ sind unitär.
• Alle irreduziblen Darstellungen über ${\displaystyle \mathbb {C} }$ sind 1-dimensional und sind von der Form

${\displaystyle e^{i\theta }\to e^{ik\theta }\in U(1)\subset GL(1,\mathbb {C} )}$

für ein ${\displaystyle k\in \mathbb {Z} }$.

• Es folgt, dass jede ${\displaystyle n}$-dimensionale Darstellung über ${\displaystyle \mathbb {C} }$ von der Form

${\displaystyle {\mathcal {H}}_{k_{1}}\oplus \ldots \oplus {\mathcal {H}}_{k_{n}}}$

mit ${\displaystyle \dim({\mathcal {H}}_{k_{1}})=\ldots =\dim({\mathcal {H}}_{k_{n}})=1}$ ist, wobei ${\displaystyle e^{i\theta }}$ auf ${\displaystyle {\mathcal {H}}_{k_{l}}}$ (${\displaystyle l=1,\ldots ,n}$) durch Multiplikation mit ${\displaystyle e^{ik_{l}\theta }}$ wirkt.

Ladungsoperator

Der Ladungsoperator ${\displaystyle Q}$ für die Darstellung ${\displaystyle {\mathcal {H}}_{q_{1}}\oplus \ldots \oplus {\mathcal {H}}_{q_{n}}}$ ist durch die Matrix

${\displaystyle \left({\begin{array}{cccc}q_{1}&0&\ldots &0\\0&q_{2}&\ldots &0\\\ldots &&&\ldots \\0&0&\ldots &q_{n}\end{array}}\right)}$

gegeben.

Physik

In der Quantenmechanik werden Teilchen durch komplex-wertige Wellenfunktionen beschrieben und ${\displaystyle U(1)}$ wirkt auf diesen Wellenfunktionen durch punktweise Phasentransformation ${\displaystyle f\to e^{i\theta }f}$ des Funktionswerts. Das ist eine globale Eichinvarianz. Als lokale Eichtheorie, in der die Phase ${\displaystyle \theta (x,t)}$ eine Funktion von Raum und Zeit ist, entspricht die Eichgruppe U(1) der Quantenelektrodynamik (und der klassischen Elektrodynamik). Die Eigenwerte von ${\displaystyle Q}$ entsprechen der elektrischen Ladung der Teilchen, wobei für die Phase ${\displaystyle Q\theta (x,t)}$ angesetzt wurde. In der Quantenelektrodynamik ist der zugrundeliegende Raum der Minkowskiraum und der Formalismus der Relativitätstheorie wird zur Beschreibung benutzt. Das (relativistische) Vektorpotential entspricht hier dem Zusammenhang auf einem U(1)-Prinzipalbündel, der Feldstärketensor der Krümmungs-2-Form des Bündels.

Die Drehungen um eine feste Achse können mit der Gruppe ${\displaystyle U(1)}$ identifiziert werden. Die Eigenwerte des Ladungsoperators ${\displaystyle Q}$ werden als quantisierte Drehimpulse in Richtung der gegebenen Achse interpretiert.

Der eindimensionale harmonische Oszillator hat ${\displaystyle U(1)}$-Symmetrie durch Drehungen in der Ort-Impuls-Ebene. In diesem Fall ist ${\displaystyle Q}$ ein skalares Vielfaches des Hamilton-Operators.

Im Standardmodell der Elementarteilchenphysik wird die Wechselwirkung der Materiefelder durch abstrakte (mathematische) Eichsymmetrien mit den Eichgruppen ${\displaystyle U(1)}$, SU(2) und SU(3) beschrieben. Die letzten beiden Eichgruppen sind nicht-abelsch und die zugehörigen Feldtheorien heißen Yang-Mills-Theorien. Auch in GUTs spielen U(1)-Komponenten als Eichgruppen eine Rolle. Sie tauchen nicht unbedingt in der vollen Eichgruppe auf, sondern wenn diese durch spontanen Symmetriebruch zerfällt. Es gibt aber auch subtilere Anwendungen einer U(1)-Symmetrie (global und lokal) in der Elementarteilchentheorie (siehe Axion).

Ein Beispiel d​er Anwendung i​n der Festkörperphysik i​st der ganzzahlige Quanten-Hall-Effekt, dessen ganzzahlige Quantenzahlen d​er elektrischen Leitfähigkeit d​urch eine topologische Invariante gegeben sind, d​ie der ersten Chernklasse e​ines U(1)-Faserbündels entspricht (für d​ie Identifizierung solcher u​nd anderer topologischer Phasen i​n der Festkörperphysik erhielt David J. Thouless 2016 d​en Nobelpreis für Physik).

Charaktere

→ Hauptartikel: Charakter (Mathematik)

Begriff des Charakters

Die harmonische Analyse betrachtet unitäre Darstellungen v​on lokalkompakten topologischen Gruppen, d. h. stetige Homomorphismen v​on der Gruppe i​n die unitäre Gruppe über e​inem Hilbertraum versehen m​it der starken Operatortopologie. Aufbauend darauf w​ird die verallgemeinerte Fourier-Transformation v​on Funktionen a​uf der Gruppe mittels d​er irreduziblen Darstellungen d​er Gruppe definiert. Eine besondere Rolle spielen d​ie eindimensionalen Darstellungen, d. h. Darstellungen i​n die Kreisgruppe, genannt Charaktere. Diese s​ind stets irreduzibel. Aus d​em Lemma v​on Schur f​olgt umgekehrt, d​ass jede irreduzible, stark-stetige unitäre Darstellung e​iner abelschen lokalkompakten topologischen Gruppe eindimensional, a​lso ein Charakter ist.[1] Für d​en abelschen Fall reduziert s​ich die Fourier-Transformation a​lso auf e​in Funktional a​uf den Charakteren.

Charaktere der Kreisgruppe

Einerseits wird die Kreisgruppe zur Definition des Charakters verwendet, andererseits hat die Kreisgruppe auch Charaktere. Die Charaktere der Kreisgruppe ${\displaystyle {\mathbb {T} }}$ sind genau die stetigen Homomorphismen ${\displaystyle {\mathbb {T} }\rightarrow {\mathbb {T} }}$, und die kann man alle angeben. Jeder Charakter von ${\displaystyle {\mathbb {T} }}$ hat die Form ${\displaystyle \chi _{n}(z)=z^{n}}$ für ein ${\displaystyle n\in {\mathbb {Z} }}$. Daher kann man die Menge der Charaktere mit ${\displaystyle \mathbb {Z} }$ identifizieren. Dass die Menge der Charaktere wieder eine Gruppenstruktur trägt, ist kein Zufall; es handelt sich um einen Spezialfall der allgemeineren Pontrjagin-Dualität.

Periodische Funktionen und Fourier-Reihe

Periodische Funktionen lassen s​ich als Funktionen a​uf der Kreislinie definieren. Beachtet m​an die topologische Struktur, erhält m​an einen natürlichen Stetigkeitsbegriff, beachtet m​an zudem d​ie Gruppenstruktur, über d​as Haarmaß e​inen natürlichen Integrierbarkeitsbegriff (alternativ a​uch einfach über d​en Integralbegriff a​uf riemannschen Mannigfaltigkeiten o​der das Lebesgue-Integral a​uf den reellen Zahlen eingeschränkt a​uf ein abgeschlossenes Intervall) u​nd unter Beachtung d​er differenzierbaren Struktur a​uch einen natürlichen Differenzierbarkeitsbegriff.

Da die Kreisgruppe abelsch ist, ist die abstrakte Fourier-Transformation allein durch Charaktere auf der Kreisgruppe selbst gegeben. Man kann zeigen, dass jeder Charakter ${\displaystyle \chi \colon \mathbb {S} \to \mathbb {S} }$ auf der Kreisgruppe differenzierbar ist, somit folgt aus der Homomorphieeigenschaft

${\displaystyle \chi (x)=\operatorname {exp} (\operatorname {arg} (x)(D\chi )(1))}$,

wobei ${\displaystyle \operatorname {arg} }$ die Argumentfunktion bezeichne. Aus der Periodizität der Funktion folgt, dass die Ableitung beim neutralen Element ein ganzzahliges Vielfaches von ${\displaystyle \mathrm {i} }$ sein muss, die Charaktere sind also gegeben durch

${\displaystyle \chi _{m}(x):=\operatorname {exp} (m\operatorname {arg} (x)\mathrm {i} )=x^{m},\ m\in \mathbb {Z} }$.

Diese bilden eine Orthonormalbasis des Raumes ${\displaystyle L^{2}(\mathbb {S} )}$ der quadratintegrablen komplexwertigen Funktionen auf der Kreisgruppe (vorausgesetzt das Maß von ganz ${\displaystyle \mathbb {S} }$ ist auf ${\displaystyle 1}$ normiert), d. h. jede quadratintegrable periodische Funktion lässt sich durch ihre Fourier-Transformierte darstellen, die in diesem Fall Fourier-Entwicklung genannt wird, die Rücktransformation lässt sich, da es nur abzählbar viele Charaktere gibt, als Reihe, der sogenannten Fourier-Reihe darstellen. Elementar, d. h. ohne Verwendung von Sätzen aus der harmonischen Analyse wie dem Satz von Peter-Weyl oder der Pontrjagin-Dualität, folgt die Vollständigkeit aus dem Satz von Stone-Weierstraß.

Auftreten in der Physik

In der Quantenfeldtheorie auftretende Lagrangedichten enthalten oftmals eine globale Eichsymmetrie in Gestalt der Kreisgruppe, d. h. multipliziert man ein Feld an jeder Stelle mit einem Element der Kreisgruppe aufgefasst als komplexe Zahl, bleiben die Lagrangedichte und damit auch die Wirkung unverändert. Das Noethertheorem liefert eine zu dieser Symmetrie zugehörige Erhaltungsgröße, welche oft als (insbesondere elektrische) Ladung aufgefasst werden kann, sowie einen lokal erhaltenen, das heißt der Kontinuitätsgleichung genügenden Strom. Die Invarianz der Lagrangedichte heißt nichts anderes, als dass sie nur von den Betragsquadraten der jeweiligen komplexen Feldgrößen abhängt (in der Quantenfeldtheorie werden die Felder schließlich als operatorwertige Distributionen aufgefasst, in diesem Fall geht es um das Quadrat des Betrags der jeweiligen Operatoren, d. h. ${\displaystyle A^{*}A}$ für einen Operator ${\displaystyle A}$). Eine solche Eichsymmetrie tritt in der Quantenelektrodynamik auf.

Weblinks

• Peter Woit: Quantum Theory, Groups and Representations: An Introduction

Einzelnachweise

1. Mitsuo Sugiura: Unitary Representations and Harmonic Analysis. 2. Auflage. North-Holland, Amsterdam 1990, ISBN 0-444-88593-5, S. 12.