Darstellungstheorie der SU(2) ed

wie war das nochmal mit den vielen \[j\]s?

Table of Contents

Lie-Algebra ed

Zuerst die Gruppe:

\[ SU(2) = \{ M \in \mathbb{C}^{2x2} | M M^\dagger = 1, \operatorname{det}(M) = 1 \} \]

Dann die Algebra in Physiker-Konvention:

\[ SU(2) \ni g = e^{i \mathfrak L_i \alpha^i} \]
damit wird \[\mathfrak{su}(2)\] aufgespannt von
\[ \mathfrak L_x = \frac{1}{2} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \; \mathfrak L_y = \frac{1}{2} \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \; \mathfrak L_z = \frac{1}{2} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \]
mit
\[ [\mathfrak L_i, \mathfrak L_j] = i \epsilon_{ijk} \mathfrak L_z \]

irreduzible Darstellungen ed

Seien \[ L_i = \rho(\mathfrak L_i) \] (irreduzible) Darstellungsmatrizen, dann gilt ebenso

\[ [L_i, L_j] = i \epsilon_{ijk} L_z \]

Auf- Absteigeoperatoren ed

Definiere

\[ L_\pm = L_x \mp i L_y \]
damit gilt
\[ [L_z, L_\pm] = i \epsilon_{zxy} L_y \mp i^2 \epsilon_{zyx} L_x = i L_y \pm L_x = \pm L_\pm \]

Eigenwerte ed

\[L_z\] ist weiterhin hermitesch, es lassen sich also reelle Eigenwerte finden:

\[ L_z |j\rangle = j |j\rangle, \; j \in \mathbb R \]
Dann ist
\[ L_z L_\pm |j\rangle = [L_z, L_\pm] |j\rangle + L_\pm L_z |j\rangle = \pm L_\pm |j\rangle + j L_\pm |j\rangle = (j \pm 1) L_\pm |j\rangle \]
d.h. \[L_\pm |j\rangle\] ist auch Eigenvektor von \[L_z\] zum Egenwert \[j \pm 1\] (...oder \[L_\pm |j\rangle = 0\]).

irreduzibel ed

Wir haben also Ketten von Eigenwerten/vektoren. Für endliche Darstellungen müssen diese Ketten in beiden Richtungen enden, also existieren min/maximale Eigenwerte mit

\[ L_+ |j_\mathrm{max}\rangle = 0 = L_- |j_\mathrm{min}\rangle \]

Außerdem kann es nur eine einzelne Kette geben, wobei die Eigenvektoren eindeutig (bis auf eine globale Phase) durch \[j\] bestimmt sind. (gäbe es mehrere Ketten, wären das reduzible Unterräume)

Beispiel: SO(3) ed

Wieder in Physiker-Konvention:

\[ SO(3) \ni g = e^{i L_i \alpha^i} \]
damit wird \[\mathfrak so(3)\] aufgespannt von
\[ L_x = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & i \\ 0 & -i & 0 \end{pmatrix}, \; L_y = \begin{pmatrix} 0 & 0 & -i \\ 0 & 0 & 0 \\ i & 0 & 0 \end{pmatrix} \; L_z = \begin{pmatrix} 0 & i & 0 \\ -i & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \]
mit
\[ [L_i, L_j] = i \epsilon_{ijk} L_k \]

Eigenewerte/vektoren von \[L_z\]:

-101
\[ |-1\rangle = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ i \\ 0 \end{pmatrix}\]\[|0\rangle = \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}\]\[|1\rangle = \frac{1}{\sqrt{2}} \begin{pmatrix} -1 \\ i \\ 0 \end{pmatrix}\]

Definiere

\[L_\pm = \frac{1}{\sqrt{2}} (L_x \mp i L_y) = \frac{1}{\sqrt{2}} \begin{pmatrix} 0 & 0 & \mp 1 \\ 0 & 0 & i \\ \pm 1 & -i & 0 \end{pmatrix} \]
damit ist
\[ [L_z, L_\pm] = i L_y \mp L_x = \mp L_\pm \]
und
\[ L_\pm |0\rangle = |\pm 1\rangle, \; L_\pm |\mp1\rangle = |0\rangle, \; L_\pm |\pm 1\rangle = 0 \]

Categories: Mathematik, Algebra