Quantenmechanik/ Symmetrien

Symmetrien, Überblick Bearbeiten

Symmetrien sind Gruppen von Transformationen. Gruppen im mathematischen Sinn.
Vokabular: eine Gruppe G ist eine Menge mit einer 'Multiplikation' $\;G\times G\to G:\;(a,b)\mapsto a\cdot b\;$ . Sie ist assoziativ, G hat ein Eins-Element und jedes Element hat ein Inverses. Eine Abbildung $\;f:G\to H\;$ von Gruppe G in Gruppe H mit $\;f(a\cdot b)=f(a)\cdot f(b)\;\forall a,b\in G\;$ heißt ein Homomorphismus. Ein bijektiver Homomorphismus heißt Isomorphismus. Ein Automorphismus von G ist ein Isomorphismus der Gruppe G auf sich selbst.

Die Quantenmechanik verbindet die Gruppen der Symmetrie-Transformationen der klassischen Physik mit Transformationen der mikroskopischen Zustände im Hilbert-Raum. Es gibt Homomorphismen in der einen oder der anderen Richtung.

Zuerst werden kurz und oberflächlich drei Sorten von Transformationen vorgestellt, solche die mit Raum und Zeit zu tun haben, solche die mit anderen Koordinaten spielen, solche die nur als Eichung aufzufassen sind. Danach kommt mehr Stoff zur unitären Darstellung von Gruppen im Hilbert-Raum.

Die augenfälligste Sorte der Symmetrien beziehen sich auf Raum und Zeit. Sie kommen mit dem Paradebeispiel der Drehungen im Raum immer wieder vor in diesem Kurs. Es sind Transformationen im Definitionsbereich der Wellenfunktionen, die eventuell Transformationen im Wertebereich bewirken, wenn die Funktion kein einfacher Skalar ist. Die wichtigsten sind:

Raum- und Zeit-Verschiebung
Raum-Drehungen
Galilei-Boosts zu konstanter Geschwindigkeit (nichtrelativistisch)
Lorentz-Boosts (relativistische Mischung von Raum und Zeit)
Raumspiegelung $({\vec {x}}\mapsto (-{\vec {x}}))$
Zeitumkehr $(t\mapsto (-t))$

Nach den Regeln der Quantenmechanik werden solche Transformationen abgebildet auf (unitäre lineare) Operatoren im Hilbertraum, so dass die Gruppen-Multiplikation sauber mitspielt. Wellenfunktionen werden unter Erhaltung der Norm gedreht. Operatoren von Observablen werden ebenfalls mitgeschleppt und verhalten sich je nach Kategorie, Skalar, Vektor, Tensor... Zustandsräume sind das Spielfeld von unitären Darstellungen der Gruppen.

Die Spiegelungen sind diskrete Transformationen. Wenn Zustände Eigenvektoren zu diesen sind, dann verhalten die Eigenwerte sich multiplikativ bei der Kombination von Transformationen. Es geht meistens um endliche Gruppen.

In den anderen Fällen gehören die Transformationen zu kontinuierlichen oder Lie-Gruppen. Solche Gruppen sind N-dimensionale Mannigfaltigkeiten und können lokal, also speziell ums Eins-Element herum, durch N reelle Parameter beschrieben werden. Die Tangentenvektoren an den Gruppenraum können als die Richtungs-Ableitungen längs von Ein-Parameter-Untergruppen am Ursprung definiert werden. Sie heißen die Erzeuger, oder Generatoren, oder auch Infinitesimalen Elemente, der Gruppe. Das Wichtige an diesen Erzeugern ist ihre Struktur als Lie-Algebra. Für eine Basis von N Erzeugern $\{X_{i}\}$ gibt es einen Satz von reellen Strukturkonstanten, so dass gilt:

[X_{i},X_{j}]=(X_{i}X_{j}-X_{j}X_{i})=\sum _{k}c_{ijk}X_{k}

.

Der Ausdruck ist sauber definiert, denn die Erzeuger sind lineare Differential- Operatoren für skalare Testfunktionen auf der Gruppen-Mannigfaltigkeit. Der Kommutator ist antisymmetrisch und hat statt der Distributivregel die Jacobi-Identität: $[[X,Y],Z]+[[Y,Z],X]+[[Z,X],Y]=0$ .

Ihrem Auftrag getreu, hat die Mathematik einen vollständigen Katalog aller endlich-dimensionalen abstrakten Lie-Algebren erstellt. Also der Vektorräume versehen mit antisymmetrischem und Jacobi-regelkonformem Lie-Produkt. Es geht da um einfache Algebren, von denen sich keine nichttriviale Unter-Algebra abspalten lässt. Nur ein Musterexemplar für jede Isomorphie-Klasse soll erfasst werden. Es gibt nach seit Urzeiten getaner Forschung mehrere Reihen und einige Ausnahme-Strukturen. Darüber hinaus wurden alle Matrix-Darstellungen der Algebren und der erzeugten Gruppen und speziell alle unitären, reellen, pseudo-reellen, usw. Darstellungen dokumentiert. Auch dabei dreht es sich um die irreduziblen Darstellungen, in denen sich kein invarianter Teilraum mehr abspalten lässt. Die beliebte Drehgruppe SO(3) ist nur ein Exemplar in den Serien von Lie-Gruppen SU(n), SO(n), Sp(n)... Alle haben Prototypen als Matrixgruppen.

Eine Darstellung ist mathematisch definiert als Gruppen-Homomorphismus, dessen Wertebereich eine lineare Gruppe ist. Den unitären Matrixdarstellungen von Lie-Gruppen entsprechen natürlich Matrix-Darstellungen der Lie-Algebra. Ein Gruppenelement U ist danach die Matrix-Exponentialfunktion $U=\exp(tX)$ eines Lie-Algebra-Elements X; t ist reell. Unitäres U hat ein schief-hermitesches X zur Folge: $X^{\dagger }=-X$ . In der Quantentheorie sind die Generatoren aber meist hermitesche Operatoren, die zu Observablen gehören. Daher definiert die Physik durchgehend ihre Lie-Algebren mit einem parasitären 'i' in den Kommutator- Regeln!

[{\hat {X}}_{i},{\hat {X}}_{j}]=i\sum _{k}c_{ijk}{\hat {X}}_{k};\quad {\hat {X}}_{i}=iX_{i};\;U=\exp(-it{\hat {X}})

.

Die Darstellung vom Typ ${\hat {X}}$ der infinitesimalen Transformationen ist hermitesch und qualifiziert sie als Observable.

In einer Darstellung sind alle Polynome der Lie-Algebra-Elemente definiert (am Anfang postuliert die abstrakte Algebra nichts als den Kommutator). Es gibt dann Operator-Kombinationen, die als Diskriminanten für eine unzerlegbare Komponente einer Darstellung dienen. Sie heißen Casimir-Operatoren. Für die Darstellungen der SO(3) ist der Casimir-Operator $L^{2}=L_{1}^{2}+L_{2}^{2}+L_{3}^{2}$ . Seine Eigenwerte sortieren die Multipletts aus, die die Gruppe irreduzibel darstellen.

Bei der Schrödinger-Gleichung war es bereits notwendig, die Multiplikation mit konstanter Phase und die komplexe Konjugation zu untersuchen. Man hat die Natur abgeklopft auf eine allgemeinere zweite Sorte von Symmetrien. Gruppen, die keinen direkten Bezug zur Raumzeit haben und allein auf die Koordinaten im Wertebereich der Zustände einwirken, nennt man die inneren Symmetrien. Der Urtyp davon war der Isotopenspin oder Isospin. Das Proton und das Neutron unterscheiden sich nur wenig, hautpstächlich in der Ladung und ein wenig in der Masse. Die Idee war, dass sie angenähert zu einem Multiplett einer Gruppendarstellung gehören, dass also ein Hamilton-Operator nullter Ordnung mit einer Lie-Algebra kommutiert. Der Bruch der Symmetrie durch die elektromagnetische Kraft kann dann störungstechnisch als Hamilton-Operator höherer Ordnung angebaut werden. Eine Symmetrie bringt Rechenvorteile und Auswahlregeln und so weiter mit sich, falls sie existiert. Daher wurde eine Isospin-Gruppe SU(2) postuliert; das Dublett Proton/Neutron geört zur Darstellung I=(1/2) mit Quantenzahlen $I_{3}=\pm (1/2)$ . Später kam eine weitere Quantenzahl S, die Seltsamkeit oder Strangeness, hinzu. Die Gruppe wurde zu einer SU(3) erweitert und etliche Mesonen sowie Hyperonen konnten als Multipletts deren Darstellungen zugeordnet werden. Die kleinstmögliche fundamentale Darstellung wirde mit drei unsichtbaren Quarks bevölkert, aus denen die anderen Teilchen sich zusammenbauen. Die Entdeckung der Quarks war angewandte Gruppentheorie.

Schließlich kam eine dritte Sorte von Symmetrien zum Zuge, die streng genommen keine physikalischen Transformationen sind, die Eich-Invarianzen. Das Wort Eichsymmetrie wird ihnen manchmal verweigert. Denn es sind passive Transformationen -- Wechsel von Koordinaten, aber keine Relationen zwischen verschiedenen physikalischen Objekten. Alles Messbare ist streng eichinvariant. Eine Eich-Gruppe namens Farb-SU(3) dreht an den Feldoperatoren der starken Wechselwirkung, mit der die Gluonen die Quarks binden -- so wie die Photonen mit ihrer Eich-Gruppe U(1) die Elektronen, Positronen und Quarks elektromagnetisch verknüpfen. Die elektro-schwache Wechselwirkung bekommt eine kompliziertere Struktur mit einer Eich-Invarianz $SU(2)\times U(1)$ , die durch ein Higgs-Feld spontan gebrochen werden muss, damit schwere W- und Z-Bosonen und massenbehaftete Fermionen existieren.

Die spontane Brechung einer Symmetrie ist ein sattsam bekanntes, auch klassisches Phänomen. Wie etwa die spontane Magnetisierung von Ferromagneten. Die Brechung bedeutet formal, dass das physikalische Modell invariant unter einer Transformationsgruppe G ist, dass aber die Systeme, die Lösungen der Modellgleichungen, nur in einer Untergruppe U von G symmetrisch sind. Etwa, weil das Minimum der Energie nicht am Symmetriepunkt zu Hause ist.

Lineare und antilineare Transformationen Bearbeiten

Zuerst wollen wir zeigen, dass Symmetrie-Transformationen im Hilbertraum allgemein entweder unitär-linear oder unitär-antilinear dargestellt werden können. Mit einer Basis des Raums H sei ein vollständiges Orthonormalsystems gemeint.

\langle u|A|u\rangle ,\,\langle v|A|v\rangle ,\,\langle u+iv|A|u+iv\rangle ,\,\langle u+v|A|u+v\rangle

linear kombinieren.

Wenn lineare Operatoren A,B bis auf eine Phase gleich sind, $A=Bz,\,z=\exp(ia)$ , dann gilt für alle Matrixelemente $|\langle u|A|v\rangle |=|\langle u|B|v\rangle |$

Die Umkehrung gilt auch, Beweis: Seien i,j Indizes eines abzählbaren Orthonormalsystems, $A_{ij},B_{ij}$ die Matrixelemente.

Voraussetzung

|A_{ij}|=|B_{ij}|\;\forall i,j\;\Rightarrow |A_{ij}x_{j}+A_{ik}x_{k}|=|B_{ij}x_{j}+B_{ik}x_{k}|\;\forall i,j,k\;\forall x_{j},x_{k}\in \mathbb {C} \;\Rightarrow

A_{ij}A_{ij}^{*}-B_{ij}B_{ij}^{*}=0;\;\forall i,j;\quad (A_{ij}x_{j}+A_{ik}x_{k})(A_{ij}x_{j}+A_{ik}x_{k})^{*}-(B_{ij}x_{j}+B_{ik}x_{k})(B_{ij}x_{j}+B_{ik}x_{k})^{*}=0\;\Rightarrow

{\text{Re}}[x_{j}x_{k}^{*}(A_{ij}A_{ik}^{*}-B_{ij}B_{ik}^{*})]=0\;\forall (x_{j}x_{k}^{*})\;\Rightarrow

A_{ij}A_{ik}^{*}-B_{ij}B_{ik}^{*}=0=A_{ij}(B_{ik}B_{ik}^{*}/A_{ik})-B_{ij}B_{ij}^{*}\;\Rightarrow

{\frac {A_{ij}}{B_{ij}}}={\frac {A_{ik}}{B_{ik}}}\;\forall \,i,j,k.

Das Verhältnis ist unabhängig von j. Symmetrische Berechnung bringt:

{\frac {A_{ij}}{B_{ij}}}={\frac {A_{hj}}{B_{hj}}}\;\forall \,h,i,j.

Daher ist der Bruch eine Konstante vom Betrag 1:

A_{ij}/B_{ij}=z=\exp(ia)\;\forall i,j

Behauptung: Eine umkehrbare Abbildung S des Hilbertraums, die das Skalarprodukt invariant lässt, kann mit punktweiser Phasenwahl zu einem Operator T gemacht werden, der entweder linear-unitär oder antilinear-unitär (antiunitär) ist. Beweis-Skizze:

Nach Voraussetzung $|\langle Su|Sv\rangle |=|\langle u|v\rangle |\;\forall u,v$ . Sei $\{|u_{i}\rangle \}$ ein vollständiges Orthonormalsystem. Dann ist $\{|Su_{i}\rangle \}$ auch eines, denn orthonormal nach Voraussetzung und, gäbe es einen anderen orthogonalen Vektor $|v\rangle$ zu dieser Bildmenge, dann wäre sein Urbild $|S^{-1}v\rangle$ im Widerspruch mit der Vollständigkeit senkrecht zu allen $|u_{i}\rangle$ . Sei $|v\rangle$ ein beliebiger Vektor, definiere $v_{i}=\langle u_{i}|v\rangle ;\;w_{i}=\langle Su_{i}|Sv\rangle$ . Es soll eine Phasentransformation gefunden werden, $Tv=z(v)(Sv);x_{i}=\langle Tu_{i}|Tv\rangle$ , so dass entweder $x_{i}=v_{i}$ oder $x_{i}=v_{i}^{*}\;\forall i,v$ . Am Anfang setzen wir T=S und veändern T schrittweise. Die Beträge $|x_{i}|=|w_{i}|=|v_{i}|$ nach allen Voraussetzungen.
Zuerst wählt man alle Phasen für die Basis so dass $|T(u_{1}+u_{i})\rangle =|Tu_{1}\rangle +|Tu_{i}\rangle$ . Sei nun $|v\rangle$ ein reeller Vektor bezüglich der Basis, das heißt, alle $v_{i}$ seien reell. Wegen der konstanten Beträge aller Skalarprodukte ist dann: $|v_{1}+v_{i}|=|x_{1}+x_{i}|$ . Man wählt die Phase von $|Tv\rangle$ so, dass $x_{1}=v_{1}$ . Dann folgt auch $x_{i}=v_{i}$ . Ist $v_{1}=0$ , wird gesondert argumentiert. Reelle Vektoren werden also mit T so abgebildet, dass ihre Koordinaten gleich bleiben. Mit allen Basis-Teilsummen $|u_{j}+u_{j+1}+...+u_{j+k}\rangle$ und jetzt beliebigem $|v\rangle$ gilt: $|\sum _{s=0}^{k}v_{j+s}|=|\sum _{s=0}^{k}x_{j+s}|$ . Dieses sind Teilreihen aus zwei Polygonen in der komplexen Ebene, die bei Null beginnen. Die Gleichungen besagen, dass alle Polygon-Segmente die gleichen Längen haben. Geometrisch ziemlich klar, kann auch streng bewiesen werden: das x-Polygon ist (a) eine gedrehte oder (b) eine gedrehte und gespiegelte Kopie vom v-Polygon. Im Fall (a) wird die Phase von $|Tv\rangle$ gemäß $x_{1}=v_{1}$ gewählt, und es folgt $x_{i}=v_{i}\;$ für alle i. In Fall (b) gelingt die Phasenwahl $x_{1}=v_{1}^{*}$ . Die Spiegelung erfolgt dann an der reellen Achse, und $x_{i}=v_{i}^{*}$ für alle i. T ist also nach den Phasen-Rotationen ein Operator, der jeden Vektor mit seinen ursprünglichen oder mit den komplex konjugierten Koordinaten in der neuen (phasen-gedrehten) Basis entwickelt. Bleibt zu beweisen, dass die Spiegelung entweder immer oder nie vorkommt. Dann ist T insgesamt wie gefordert, linear oder antilinear. Sei $|w\rangle =|u_{j}+\exp(ia)u_{k}\rangle$ so, dass keine Spiegelung eintritt, und sei a kein Vielfaches von $\pi$ . Alle anderen Vektoren $|v\rangle$ , deren Komponenten $v_{j},\;v_{k}$ nicht verschwinden, haben dann das erhaltene Skalarprodukt $\langle w|v\rangle =v_{j}+\exp(-ia)v_{k}$ . Unmöglich, wenn sie komplex konjugiert werden. Mit ähnlichen Argumenten erschlägt man die Spezialfälle modulo $\pi$ und den Fall der Spiegelung. Alle Vektoren, die nicht proportional zu einem der Basis sind und daher nicht unabhängig vom Rest der Welt justiert werden, haben mindestens zwei nichtverschwindende Koordinaten.

Ergebnis Fall(a): Es gibt einen unitären linearen Operator und $\langle Tu|Tv\rangle =\langle u|v\rangle$
Fall(b): Es existiert einen antilinearer Operator T und $\langle Tu|Tv\rangle =\langle u|v\rangle ^{*}$ .

- Antilineare Operatoren kommutiern nicht mit komplexer Multiplikation.
- Hermitesch adjugierter Antilinearer Operator definiert durch: $\langle v|A^{\dagger }u\rangle =\langle u|Av\rangle$
- Antiunitärer Operator: definiert als antilinear und $A^{\dagger }=A^{-1}$

Zu einer Orthonormal-Basis gibt es einen angepassten antilinearen Konjugations-Operator $K:\sum c_{i}|u_{i}\rangle \mapsto \sum c_{i}^{*}|u_{i}\rangle$ .

Symmetrie-Transformation Bearbeiten

Definition: Eine Symmetrie T tranformiert Observablen und Zustände so, dass messbare Eigenschaften erhalten bleiben. Speziell bleiben die Betragsquadrate der Skalarprodukte konstant. Daher ist nach Phasenwahl T entweder unitär oder antiunitär. Erwartungswerte von Observablen B bleiben erhalten, wenn Vektoren und Observablen so transformieren: $|v\rangle \mapsto |Tv\rangle ;\;B\mapsto TBT^{-1}$ . Algebraische Ausdrücke zwischen Observablen bleiben bestehen oder werden komplex konjugiert, je nachdem ob T linear oder antilinear ist. Angenommen, ein System kommt daher mit hermiteschen Observablen $B_{i}$ und deren Kommutations-Relationen $[B_{i},B_{k}]=if(B_{1},...B_{n})$ . Lineare Symmetrien verändern sie nicht, antilineare klappen das Vorzeichen um.

Sei der Hilbertraum H irreduzibel mit dem Observablensatz $B_{i}$ , das heißt, es gibt keinen Teilraum G, der von allen $B_{i}$ nur nach G abgebildet wird. Reichen die transformierten Observablen aus, $B_{i}'=TB_{i}T^{\dagger }$ , um T zu bestimmen? Fast. Sei U eine andere Symmetrie mit denselben Gleichungen, so dass folgt $U^{\dagger }TB_{i}T^{\dagger }U=B_{i}\;\Rightarrow [U^{\dagger }T,B_{i}]=0$ Dann ist $U^{\dagger }T$ eine Konstante. Diese Behauptung ist ein Spezialfall des Schurschen Lemmas. Weil T,U beide unitär sind, gilt mit einer Phase: $U=\exp(ia)T$ . Physikalische Modelle haben einen vollständigen Satz $A_{i}$ kommutierender Observablen, so dass jeder Eigen-Raum H davon irreduzibel ist. Damit ein Beweis der Behauptung: Sei $|u\rangle$ Eigenvektor eines vollständigen Satzes $A_{i}$ von kommutierenden Observablen. (Die volle Observablen-Menge $B_{i}$ dagegen transformiert den Vektor.) $C=(U^{\dagger }T)$ kommutiert mit allen $A_{i}$ , so dass $|u\rangle$ auch Eigenvektor zu C ist. C kommutiert aber auch mit allen Operator-Polynomen der Menge $B_{i}$ . Und diese verbreiten den Vektor u so weiter, dass der ganze Raum aufgespannt wird. Der Hilbertraum H hat daher einen konstanten Eigenwert zu C.

Endergebnis: eine Symmetrie-Transformation ist ein unitärer oder antiunitärer Operator und ist bis auf eine Phase definiert. Im antiunitären Fall dreht die Symmetrie die Vorzeichen von Kommutatoren um.

Sei eine Gruppe $\{a,b,...\}$ von Symmetrien gegeben und jedem Element a wird eine Hilbertraum-Transformation $T(a)$ zugeordnet. Wegen der unbestimmten Phasen ist das noch kein Gruppen-Homomorphismus, sondern $T(ab)=\exp(i\alpha (a,b))\,T(a)T(b)$ . Es hängt von der Gruppe ab, ob alle Phasen widerspruchsfrei zu 1 gesetzt werden können. Für Permutationsgruppen ist das möglich. Für die Drehgruppe SO(3) funktioniert es, wenn T auf einem Darstellungsraum mit ganzzahligem Spin operiert. Bei halbzahligem Spin geht es nur modulo Vorzeichen: $T(ab)=\pm T(a)T(b)$ . Formaler gesagt: Es gibt die universelle Überlagerungsgruppe SU(2) der Drehgruppe SO(3) und einen zwei-zu-eins Homomorphismus $C:SU(2)\to SO(3)$ . T kann phasenfrei, also als eine Darstellung, für die Gruppe SU(2) aufbereitet werden. Aber T ist nicht als eindeutige Funktion auf SO(3) definiert. Dies hat keine Auswirkung auf physikalisch messbare Größen.

Weiter unten wird die antilinear dargestellte Zeitumkehr behandelt, auch da haben die halbzahligen Spins mit Vorzeichen zu kämpfen.

Mehr zu Gruppen-Darstellungen Bearbeiten

Ein Gruppen-Homomorphismus $T:G\to K$ hat oft eine nicht-triviale Untergruppe $U\subset G;\;U=T^{-1}(\{1\})$ der Elemente, die auf die Eins in K abgebildet werden. Ist K eine Gruppe linearer Abbildungen in einem Vektorraum H(K), dann nennt man T eine Darstellung von G im Darstellungsraum H(K). Ist darüber hinaus U trivial, also T umkehrbar, heißt T eine treue Darstellung von G. Für jeden Homomorphismus T ist jedenfalls U gutartig im Sinne, dass die Links- und Rechts-Restklassen gleich sind. Das heißt, für $g\in G,\;gU=Ug$ . Gleichheit der Mengen ist gemeint, nicht gu=ug für alle u.
Begründung: $T(gu)=T(g)T(u)=T(g)=T(u)T(g)=T(ug)$ .

Bei solchen Untergruppen, für die also $U=gUg^{-1}$ immer gilt, bilden die Restklassen selbst eine Gruppe mit der Multiplikation

\forall g,h\in G,\;(Ug)(Uh)=(Ug)(g^{-1}Ug)h=U(gh)

.

Sie heißt die Quotientengruppe G/U. Salopp gesagt, man kann die Untergruppe U herausdividieren. Der Homomorphismus T sinkt herab auf die Quotientengruppe zu einem umkehrbaren Homomorphismus. Die Bildgruppe $T(G)\subset H$ ist isomorph zur Gruppe (G/U). Im Jargon heißt es, eine Untergruppe wie U ist ein Normalteiler und sie ist invariant unter allen inneren Automorphismen $I_{g}:G\to G;\;x\mapsto gxg^{-1};\;g\in G$ .

Die Dimension des Darstellungsraums wird auch Grad der Darstellung genannt. Darstellungen vom Grad 1 sind Homomorphismen von G auf die reellen und/oder komplexen Zahlen. Außer der trivialen Darstellung $(T(g)=1\;\forall g)$ gibt es andere mit Grad 1 genau dann, wenn G Abelsche (kommutative) Quotientengruppen G/U hat.

Zwei Darstellungen S,T heißen äquivalent, wenn es eine umkehrbare lineare Transformation L zwischen ihnen gibt: $S(g)=LT(g)L^{-1}$ .
Die Spur einer Matrixdarstellung $\chi (g)={\text{Sp}}(T(g))$ ist die gleiche Funktion $\chi :G\to \mathbb {C}$ für alle zu T äquivalenten Darstellungen und heißt der Charakter von T. Ist T äquivalent zu der komplex konjugierten Darstellung (komplexe Konjugaton aller Matrixelemente) dann ist die Spur reell.

Die direkte Summe zweier Darstellungen $S\oplus T$ ist definiert auf der direkten Summe der Darstellungsräume $H(S)\oplus H(T)$ , durch Anwendung auf Paare:

(S\oplus T)(g)(u,v)=(S(g)u,T(g)v);\quad (S\oplus T)(u\oplus v)=((Su)\oplus (Tv))

Als Matrixdarstellung hat man $(n+m)\times (n+m)$ -Matrizen mit den Blöcken von S und von T auf der Diagonale. Der Charakter der direkten Summe ist die Summe der Charaktere. Die Determinante der direkten Summe ist das Produkt der Determinanten. Determinanten sind Darstellungen vom Grad 1.

Das direkte Produkt oder Tensorprodukt von Darstellungen ist definiert auf dem Tensorprodukt zweier Darstellungsräume. $(S(g)\otimes T(g))$ angewendet auf einen Produktvektor $(u\otimes v)$ ist definiert als $(S(g)u)\otimes (T(g)v)$ und wird linear auf alle Linearkombinationen ("verschränkte" Vektoren) fortgesetzt. Der Charakter des direkten Produkts von Darstellungen ist das Produkt der Charaktere.

Eine Darstellung T ist irreduzibel, wenn der Darstellungsraum H keinen Teilraum hat, der unter allen T(g) invariant bleibt. Eine Darstellung ist zerlegbar, wenn H als direkte Summe zweier Teilräume beschrieben kann und die Darstellung eine direkte Summe der Teil-Darstellungen ist. Eine Darstellung ist vollständig reduzibel, wenn sie in eine direkte Summe von (endlich vielen) irreduziblen Komponenten zerlegt werden kann.

Satz. Jede unitäre Darstellung ist entweder irreduzibel oder vollständig zerlegbar. Irreduzible Darstellungen von Abelschen Gruppen haben den Grad 1.

Seien S,T Darstellungen mit Darstellungsräumen H(S),H(T). Eine lineare Abbildung $L:H(S)\to H(T)$ heißt homomorph, wenn sie mit den Darstellungen verträglich ist,

Für alle

\;g\in G,\,|u\rangle \in H(S):\;LS(g)|u\rangle =T(g)L|u\rangle

.

L kann hier durchaus eine rechteckige Matrix sein. Ist L aber umkehrbar, dann nennt man sie isomorph in Bezug auf die Darstellungen.

Lemma von Schur. Seien S,T irreduzible Darstellungen und sei L eine homomorphe Abbildung. Dann gilt

(a) wenn S und T nicht äquivalent sind, dann L=0

(b) sind S und T äquivalent, dann ist entweder L=0 oder

\det L\neq 0

.

(c) ist S=T, dann ist L eine konstante Zahl (mal Einheitsmatrix).

Folgerung: Wenn eine quadratische Matrix mit allen Matrizen einer irreduziblen Darstellung vertauscht, dann ist sie eine Konstante (mal Einheitsmatrix).

Satz 1 (Eindeutigkeit). Ist eine Darstellung T vollständig zerlegbar, dann gibt es bis auf Äquivalenz nur eine Zerlegung in irreduzible Teile.

Äquivalente Darstellungen werden als "gleich" angesehen. In einer Zerlegung kann die selbe irreduzible Komponente mehrmals vorkommen, wir schreiben:

T\simeq \bigoplus _{i}n_{i}T_{i}\;

und T hat den Charakter

\chi =\sum _{i}n_{i}\,\chi _{i}

.

Satz 2. Ist T vollständig zerlegbar und ist S eine beliebige Komponente von T, dann ist S eine Teilsumme aus der Zerlegung von T:

T\simeq \bigoplus _{i}n_{i}T_{i};\;S\simeq \bigoplus _{i}m_{i}T_{i};\;m_{i}\leq n_{i}

.

Satz 3. Seien S,T Darstellungen, $L:H(S)\to H(T)$ eine homomorphe Abbildung auf H(T) (L surjektiv), und sei S vollständig reduzibel. Dann ist T äquivalent zu einer Komponente (Teilsumme) von S.

Speziell sei T definiert durch die Vorschrift $T(g)(Lu)=L(S(g)u)$ . Es dürfen für linear unabhängige u,v die Bildvektoren Lu,Lv linear abhängig sein.

Folgerung: Seien S,T Darstellungen (derselben Gruppe), seien $\{u_{i}\}$ bzw. $\{v_{k}\}$ Mengen von (nicht unbedingt linear unabhängigen) Vektoren in den Darstellungsräumen H(S) bzw. H(T). Sei das Tensorprodukt von Darstellungen $(S\otimes T)$ vollständig zerlegbar. Dann ist die Darstellung in dem Teilraum, der von der Menge $\{u_{i}\otimes v_{k}\}$ aufgespannt wird, eine Komponente von $(S\otimes T)$ .

Beweis des Lemmas von Schur Bearbeiten

In einer leicht verallgemeinerten und umformulierten Version.

Voraussetzungen

Gegeben sind zwei Matrizen-Familien $D^{(1)}(t),\;D^{(2)}(t).$
Sie repräsentieren Abbildungen auf Vektorräumen $R_{1},R_{2}$ mit den Dimensionen $n_{1},n_{2}.$ t durchläuft eine Indexmenge, zum Beispiel aber nicht notwendigerweise sind die $D^{(i)}$ Darstellungen einer Gruppe oder Lie-Algebra.
Die Matrixmengen sind irreduzibel, das heißt es gibt keine invarianten echten Teilräume von $R_{1}{\text{ bzw. }}R_{2}.$
Es gibt eine (rechteckige) Matrix P so dass $PD^{(1)}(t)=D^{2}{(t)}P\;\forall t.$ Die Matrix P der Dimension $(n_{2}\times n_{1})$ hat $n_{2}$ Zeilen, $n_{1}$ Spalten.

Behauptungen

(1) Sind $D^{(1)},\,D^{(2)}$ nicht äquivalent, dann folgt P=0.
(2) Sind beide äquivalent, dann entweder P=0 oder $\det P\neq 0.$
(3) Falls $D^{(1)}(t)=D^{(2)}(t)\;\forall t,\;P=0{\text{ oder }}P=\lambda \mathbb {1} .$

Korollar

Eine quadratische Matrix P, die mit allen Matrizen D(t) einer irreduziblen Menge vertauscht, ist ein Vielfaches der Einheitsmatrix. Dies ist die nützlichste Umschreibung der Behauptung (3).

Beweis

Sei $n_{1}\leq n_{2}$ . Andernfalls nehme man die Transponierten aller Matrizen, was die Ordnung der Produkte umkehrt, und man vertausche (1),(2). In Folgenden gilt die Summenkonvention über doppelte Indizes.
Wähle $n_{2}$ linear unabhängige Vektoren $u_{i}$ und definiere $v_{j}=u_{i}P_{ij}\in R_{2}.$
Die Menge dieser $n_{1}$ Vektoren $\{v_{j}\}$ transformiert nun mit $D^{(1)},$ denn:

v_{j}'=(u_{i}'P_{ij})=(u_{k}D_{ki}^{(2)}(t)P_{ij})=u_{k}P_{ki}D_{ij}^{(1)}(t)=v_{i}D_{ij}^{(1)}(t)

Sei im Folgenden $P\neq 0$ . Die $\{v_{j}\}$ spannen einen Raum von Dimension $d\leq n_{1}\leq n_{2}$ auf. Dieser Unterraum ist kein Nullraum und irreduzibel mit $D^{(1)}.$ Daher muss $d=n_{1}=n_{2}$ sein, andernfalls wäre $D^{(2)}$ reduzibel. Menge $\{v_{j}\}$ spannt also ganz $R_{2}$ auf und P ist quadratisch.
Aus Dimensionsgründen sind die $v_{j}$ linear unabhängig, das heißt $\alpha _{j}v_{j}=0$ hat nur die triviale Lösung $\alpha _{j}=0\;\forall j.$
$v_{j}=u_{i}P_{ij}$ und beide Mengen $\{v_{j}\},\{u_{i}\}$ sind linear unabhängig. $\quad \Rightarrow$
Die Zeilen $P_{ij}$ sind linear unabhängig. Es folgt

\det P\neq 0{\text{  und  }}PD^{(1)}(t)P^{-1}=D^{(2)}(t)\;\forall t.

Die Darstellungen $D^{(1)}$ und $D^{(2)}$ sind äquivalent. Sind sie nicht äquivalent, kann also nur P=0 gelten. Dies beweist Behauptungen (1) und (2).

Sei nun $P\neq 0$ und $D^{(1)}=D^{(2)}=:D.$ Nach Behauptung (2), $\det P\neq 0.$
Polynom $\det Q:=\det(P-\lambda \mathbf {1} )=0$ hat eine Nullstelle $\lambda \neq 0,$ (komplexwertige Darstellungen vorausgesetzt).
Die Vektoren $w_{j}=Q_{ij}u_{i}=v_{j}-\lambda u_{j}$ transformieren gemäß $w_{j}'=w_{i}D_{ij}(t),$ genau wie die Mengen $\{v_{j}\}{\text{ und }}\{u_{j}\}.$
Angenommen Matrix $Q\neq 0.$ Dann ist wie im ersten Teil des Beweises die Menge $\{w_{j}\}$ linear unabhängig und $\det Q\neq 0$ , Widerspruch.
Also $Q=0{\text{ und }}P=\lambda \mathbf {1} ,$ was Behauptung (3) beweist.

Anwendungen Bearbeiten

Die Darstellungen T seien vorwiegend unitär. Ein Hilbertvektor v in einem Darstellungsraum H(T) transformiert mit einer Darstellung S, wenn er sich in einer irreduziblen Komponente S der Darstellung T befindet. Auf der Menge der linearen Operatoren $L:H(T)\to H(T)$ induziert die Gruppendarstellung T die Operator-Transformationen

g\mapsto Q(g);\;Q(g)(L)=T(g)LT(g)^{-1}

.

Q ist wieder eine Darstellung, auf dem Vektorraum der Operatoren. Sprechweise, der Operator L transformiert mit Q. Im Folgenden wird angenommen, dass Q entweder irreduzibel oder vollständig zerlegbar ist. Ist $Q(g)L=L\;\forall g$ , heißt der Operator invariant unter der Gruppe. Liegt L in einer irreduziblen Komponente $T_{j}$ der Darstellung Q, dann heißt L ein irreduzibler Tensor-Operator vom Typ $T_{j}$ .

Standardbasis: Für jede irreduzible Darstellung wählen wir eine einzige Matrixdarstellung, die die Äquivalenzklasse von Komponenten diese Typs verkörpert. Die Basis von Vektoren für diese Matrizen ist die Standardbasis. Die Matrizen einer Klasse $T_{j}$ werden als $G_{\mu \nu }^{(j)}$ notiert. Prototypen unitärer Darstellungen sind dann direkte Summen solcher Matrizen, genannt G. Ein Standardvektor wird $|\tau j\mu \rangle$ notiert. Index $\tau$ nummeriert Kopien der selben irreduziblen Komponente von der Klasse (j), Index $\mu$ durchläuft die Basis in dieser Komponente.

Die folgenden Sätze sind allgemeinere Versionen der Clebsch-Gordan-Zerlegung und der Wigner-Eckart-Formeln.

Satz A.
Sei $\{|u\nu \rangle \}$ ein Tupel von Vektoren, das sich wie die Basis einer (zerlegbaren) unitären Darstellung T transformiert, $T(g)(|u\nu \rangle )=\sum _{\mu }|u\mu \rangle G_{\mu \nu }^{a}$ .
Sei $G^{a}=\bigoplus _{k}n_{k}G^{(k)}$ die Zerlegung von T in irreduzible Komponenten.
Sei $G^{(j)}$ eine Standardkomponente.
Sei $\langle a\nu |\sigma k\mu \rangle$ die unitäre Matrix dieser Zerlegung, worin $\sigma =1...n_{k}$ die Komponenten vom Typ (k) erfasst.
Sei $\{|\tau j\mu \rangle \}$ eine Standard-Basis.

(a) Wenn (j) nicht in der Zerlegung auftaucht, dann

\langle \tau j\mu |u\nu \rangle =0

(b) Andernfalls

\langle \tau j\mu |u\nu \rangle =\sum _{\sigma =1}^{n(j)}u(j,\tau ,\sigma )\langle a\nu |\sigma j\mu \rangle ^{*}

n(j) und

u(j,\tau ,\sigma )

hängen nicht von

\mu ,\nu

ab.

Satz B.
Sei $\{L_{\nu }\}$ ein Tupel von Operatoren, das sich wie die Basis einer unitären Darstellung transformiert,

T(g)L_{\nu }T(g)^{-1}=\sum _{\rho }L_{\rho }G_{\rho \nu }^{a}

.

Seien $G^{(j_{1})},G^{(j_{2})}$ irreduzible Komponenten von T
Sei $G^{a}\otimes G^{(j_{2})}\simeq \bigoplus _{k}n(k,j_{2})G^{(k)}$ die Zerlegung
Sei $\langle aj_{2}\nu \mu _{2}|\sigma j_{1}\mu _{1}\rangle$ die unitäre Matrix dieser Zerlegung, wo $\sigma$ die Komponenten von gleicher Klasse nummeriert.
Sei ${|\tau j\mu \rangle }$ eine Standard-Basis.
Die Matrixelemente $\langle \tau _{1}j_{1}\mu _{1}|L_{\nu }|\tau _{2}j_{2}\mu _{2}\rangle$ sind:

(a) =0 wenn

(j_{1})

nicht in der Zerlegung vorkommt, sonst

(b)

=\sum _{\sigma =1}^{n(j_{1},j_{2})}\langle \tau _{1}j_{1}\|L\|\tau _{2}j_{2}\rangle _{\sigma }\cdot \langle aj_{2}\nu \mu _{2}|\sigma j_{1}\mu _{1}\rangle ^{*}

n(j_{1},j_{2})

und

\langle \tau _{1}j_{1}\|L\|\tau _{2}j_{2}\rangle _{\sigma }

hängen nicht von

\mu _{1},\mu _{2},\nu

ab.

Die unitären Matrizen der Zerlegungen sind definiert durch die Gleichungen:

\sum _{\nu \nu '}\langle a\nu |\sigma j\mu \rangle ^{*}\,G_{\nu \nu '}^{a}\,\langle a\nu '|\sigma 'j'\mu '\rangle =\delta _{\sigma \sigma '}\delta _{jj'}\,G_{\nu \nu '}^{(j)}

\sum _{\nu \nu ',\mu \mu '}\langle aj\nu \mu |\sigma k\rho \rangle ^{*}\,G_{\nu \nu '}^{a}G_{\mu \mu '}^{(j)}\,\langle aj\nu '\mu '|\sigma 'k'\rho '\rangle =\delta _{\sigma \sigma '}\delta _{kk'}G_{\rho \rho '}^{(k)}

Sie verlangen als Eingabe die Darstellungsmatrizen $G^{a}$ bzw. $G^{a}\otimes G^{(j)}$ . Sie hängen nur vom Transformationsverhalten der Vektoren $|u\nu \rangle$ bzw. der Operatoren $L_{\nu }$ ab.

Beweis A. Zuerst wird die unitäre Matrix $\langle a\nu |\sigma k\rho \rangle$ auf das Tupel angesetzt:

|u\sigma k\rho \rangle =\sum _{\nu }|u\nu \rangle \langle a\nu |\sigma k\rho \rangle

Die Umkehrtransformation wegen Unitarität:

|u\nu \rangle =\sum _{\sigma k\rho }|u\sigma k\rho \rangle \langle a\nu |\sigma k\rho \rangle ^{*}

Für jedes Paar $(\sigma ,k)$ spannen die Vektoren ${|u\sigma k\rho \rangle }$ einen Unterraum $H(\sigma k)$ auf, in dem die Standarddarstellung $G^{(k)}$ regiert.
In Worten, das angelieferte, eventuell linear abhängige Tupel kann mit einer unitären Matrix so durchmischt werden, dass sich die Mischlinge sauber geordnet mit irreduziblen Blockmatrizen vom Typ $(\sigma ,k)$ transformieren. Es herrscht vielleicht immer noch lineare Abhängigkeit, oder sogar es landet mehr als eine Teilmenge im selben Darstellungs-Block.
Das sortierte Vektor-Tupel $|u\sigma k\rho \rangle$ kann in der Standardbasis entwickelt werden:

|u\sigma k\rho \rangle =\sum _{\tau j\mu }|\tau j\mu \rangle \langle \tau j\mu |u\sigma k\rho \rangle

Fü jedes Paar $(\tau ,j)$ hat man einen Darstellungs-Unterraum $H(\tau j)$ . Die zuletzt geschriebene Matrix in den Indizes $(\mu \rho )$ vermittelt eine homomorphe Abbildung von $H(\sigma k)$ nach $H(\tau j)$ . Nach dem Lemma von Schur ist sie entweder Null oder konstant, da beide Darstellungen bei Äquivalenz die selben sind.

\langle \tau j\mu |u\sigma k\rho \rangle =\delta _{jk}\delta _{\mu \rho }u(j,\tau ,\sigma )

Nun wird Bra-Vektor $\langle \tau j\mu |$ auf die Umkehrtransformation losgelassen und dort die letzte Gleichung benutzt:

\langle \tau j\mu |u\nu \rangle =\sum _{k\rho }\delta _{jk}\delta _{\mu \rho }(\sum _{\sigma }u(j,\tau ,\sigma )\langle a\nu |\sigma k\rho \rangle ^{*})

Daraus folgen beide Aussagen des Satzes.

Beweis B. Für alle Paare $(\tau _{2}j_{2})$ hat die Menge der Vektoren $\{L_{\nu }|\tau _{2}j_{2}\mu _{2}\rangle \}$ ein Transformationsverhalten wie die Basisvektoren des Darstellungsproduktes $G^{a}\otimes G^{(j_{2})}$ . Sie sind nicht unbedingt linear unabhängig, aber nach der Folgerung aus Satz 3 ist die Darstellung zumindest eine Komponente der Produkt-Darstellung. Man sortiert die Vektormenge um wie im vorigen Beweis. Man definiere, mit der unitären Matrix $\langle aj_{2}\nu \mu _{2}|\sigma k\rho \rangle$ :

|q\tau _{2}j_{2}\sigma k\rho \rangle =\sum _{\nu \mu _{2}}L_{\nu }|\tau _{2}j_{2}\mu _{2}\rangle \langle aj_{2}\nu \mu _{2}|\sigma k\rho \rangle

Hilfe, ist das unübersichtlich mit den 6 Indizes! Erklären!
Rücktransformation mit Unitarität:

L_{\nu }|\tau _{2}j_{2}\mu _{2}\rangle =\sum _{\sigma k\rho }|q\tau _{2}j_{2}\sigma k\rho \rangle \langle aj_{2}\nu \mu _{2}|\sigma k\rho \rangle ^{*}

.

Die damit eingeführten Vektor-Tupel mit variablem $\rho$ , alle anderen Indizes festgehalten, sind entweder null oder bilden eine Standardbasis für eine Darstellung $G^{(k)}$ . Satz A kann angewendet werden, also wird mit Bra-Vektoren $\langle \tau j\mu |$ :

\langle \tau j\mu |q\tau _{2}j_{2}\sigma k\rho \rangle =\delta _{jk}\delta _{\mu \rho }\langle \tau j\|L\|\tau _{2}j_{2}\rangle _{\sigma }

Der Ausdruck hinter den Deltas hängt nicht von $\mu$ ab. Damit ergibt die Rücktransformation, bei Behandlung mit $\langle \tau _{1}j_{1}\mu _{1}|$ :

\langle \tau _{1}j_{1}\mu _{1}|L_{\nu }|\tau _{2}j_{2}\mu _{2}\rangle =\sum _{k\rho }\delta _{j_{1}k}\delta _{\mu _{1}\rho }(\sum _{\sigma }\langle \tau _{1}j_{1}\|L\|\tau _{2}j_{2}\rangle _{\sigma }\langle aj_{2}\nu \mu _{2}|\sigma k\rho \rangle ^{*})

Daraus folgt, was behauptet wurde.

Auswahlregel: Seien Vektoren $|u\rangle$ und $|v\rangle$ in Darstellungsräumen zu $G^{u}$ und $G^{v}$ . Wenn der Operator L nach Darstellung $G^{L}$ transformiert und kein irreduzibler Teil von $G^{v}$ in der Produktdarstellung $G^{L}\otimes G^{u}$ auftaucht, dann gilt $\langle v|L|u\rangle =0$ . Bei irreduziblen Darstellungen $G^{u},G^{v}$ folgt das direkt aus Satz B. Bei zerlegbaren transformiert $L|u\rangle$ wie eine Komponente von $G^{L}\otimes G^{u}$ und Satz A wird auf diesen Vektor angewendet.

Beispiel Drehgruppe:
Diese Gruppe SO(3), genauer gesagt ihre Überlagerungsgruppe SU(2), die unitären 2x2-Matrizen mit Derminante 1, hat eine Reihe von irreduziblen Darstellungen $D^{(j)}$ zu halbzahligem $j=0,{\tfrac {1}{2}},1,{\tfrac {3}{2}},\cdots$ . Mit den Dimensionen (2j+1). Die Zerlegung der Tensorprodukte erfolgt nach der Formel

D^{(i)}\otimes D^{(j)}\simeq \bigoplus _{k=|i-j|}^{i+j}D^{(k)}\quad (\Delta k=1)

.

Die unitäre Matrix dazu ist ein Satz von Clebsch-Gordan-Koeffizienten. Die irreduziblen Komponenten kommen je einmal vor, ihre Blockmatrizen stehen bis auf eine Konstante fest.
Ein irreduzibler Tensor-Operator der Drehgruppe ist ein (2k+1)-tupel von Operatoren $T_{q}^{(k)}$ , das sich nach der Darstellung $D^{(k)}$ transformiert. Die Matrixelemente $\langle \tau _{1}j_{1}m_{1}|T_{q}^{(k)}|\tau _{2}j_{2}m_{2}\rangle$ haben die Form von Satz B. Weil jedes mögliche $j_{1}$ nur einmal in $D^{(k)}\otimes D^{(j_{2})}$ erscheint, hat die Summe über die $\sigma$ nur einen Term. Die päzisere Version dieses Ergebnisses ist der Satz von Wigner-Eckart.

Invariante Observablen: Sei der Operator Q invariant unter einer Gruppe von Transformationen, $[Q,G(g)]=0\;\forall g\in G.\;G(g)$ sei eine unitäre (zerlegbare) Darstellung auf dem Zustandsraum. Vektoren einer irreduziblen Standardbasis zur Darstellung $G^{(j)}$ transformieren nach Anwendung von Q immer noch mit $G^{(j)}$ . Für Matrixelemente folgt aus Satz B (oder auch A):

\langle \tau j\mu |Q|\tau 'j'\mu '\rangle =\delta _{jj'}\delta _{\mu \mu '}Q(j,\tau ,\tau ')

.

Für jedes j ergibt Q eine hermitesche Matrix in Indizes $\tau ,\;Q_{j}(\tau \tau ')$ , wo $\tau$ die anwesenden äquivalenten (j)-Komponenten nummeriert. Ist d(j) die Dimension von $G^{(j)}$ , dann sind alle Eigenwerte von Q d(j) mal entartet. Oder sogar $p\cdot d(j)$ mal, falls bei der Diagonalisation der Matrix $Q_{j}$ ein Eigenwert davon mit der Multiplizität p anfällt.
Invariante Operatoren wie z.B. Casimir-Operatoren helfen dabei, degenerierte Zustands-Multipletts zu erkennen und zu sortieren.
Jeder Eigenraum vom Operator Q ist invariant unter der Darstellung. Wenn die Darstellung im Hilbertraum eine endliche Summe $G\simeq \bigoplus _{k}n_{k}G^{(k)}$ ist, dann kann Q höchstens $(\sum _{k}n_{k})$ verschiedene Eigenwerte haben.

Hoch zum Seitenanfang