02LIAG:Kapitola15

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 02LIAG

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 02LIAGHazalmat 3. 8. 201620:54
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůHazalmat 7. 7. 201606:04
Header editovatHlavičkový souborHazalmat 10. 7. 201621:12 header.tex
Kapitola0 editovatÚvodHazalmat 3. 8. 201621:12 LIAG_Kapitola0.tex
Kapitola1 editovatDefinice Lieovy grupy a Lieovy algebryHazalmat 5. 8. 201617:02 LIAG_Kapitola1.tex
Kapitola2 editovatVztah mezi Lieovou grupou a její algebrouHazalmat 5. 8. 201617:27 LIAG_Kapitola2.tex
Kapitola3 editovatNástin teorie integrabilních distribucíHazalmat 30. 7. 201614:10 LIAG_Kapitola3.tex
Kapitola4 editovatAkce grupy na varietěHazalmat 17. 7. 201619:23 LIAG_Kapitola4.tex
Kapitola5 editovatReprezentace Lieových grup a algeberHazalmat 4. 8. 201617:21 LIAG_Kapitola5.tex
Kapitola6 editovatSouvislost Lieových grup a algeberHazalmat 4. 8. 201618:51 LIAG_Kapitola6.tex
Kapitola7 editovatLieovy algebryHazalmat 5. 8. 201601:06 LIAG_Kapitola7.tex
Kapitola8 editovatCartanova kritériaHazalmat 5. 8. 201617:29 LIAG_Kapitola8.tex
Kapitola9 editovatKlasifikace pomocí kořenůHazalmat 5. 8. 201617:34 LIAG_Kapitola9.tex
Kapitola10 editovatKořenové diagramy, Cartanova marticeHazalmat 31. 7. 201615:32 LIAG_Kapitola10.tex
Kapitola11 editovatDynkinovy diagramyHazalmat 5. 8. 201617:39 LIAG_Kapitola11.tex
Kapitola12 editovatReálné formy komplexních poloprostých algeberHazalmat 31. 7. 201623:39 LIAG_Kapitola12.tex
Kapitola13 editovatVýznam kompaktních Lieových grupHazalmat 31. 7. 201623:45 LIAG_Kapitola13.tex
Kapitola14 editovatReprezentace poloprostých Lieových algeberHazalmat 1. 8. 201612:45 LIAG_Kapitola14.tex
Kapitola15 editovatSpinorové reprezentaceHazalmat 27. 7. 201620:38 LIAG_Kapitola15.tex
Kapitola16 editovatSymetrie v QMHazalmat 27. 7. 201621:21 LIAG_Kapitola16.tex
Kapitola17 editovatCvičeníHazalmat 6. 8. 201603:42 LIAG_Kapitola17.tex

Vložené soubory

soubornázev souboru pro LaTeX
Image:liag-1.pdf liag-1.pdf
Image:su3_1.pdf su3_1.pdf
Image:su3_2.pdf su3_2.pdf
Image:su3_3.pdf su3_3.pdf
Image:su3_4.pdf su3_4.pdf
Image:su3_5.pdf su3_5.pdf
Image:su3_6.pdf su3_6.pdf

Zdrojový kód

%\wikiskriptum{02LIAG}
 
\section{Spinorové reprezentace}	
 
\Def{
	Uvažujme $2^n$-rozměrnou asociativní algebru
	\begin{align*}
		\mfrk{cl}(n) = \mrm{span}\left\{ \mathbb{1},\gamma^{a_1}\dots\gamma^{a_k} \middle| 1 \leq k \leq n,\ a_1 < a_2 < \dots < a_k \right\}
		\end{align*}
	s násobením vyhovujícím vztahu $\left\{ \gamma^a,\gamma^b \right\} \equiv \gamma^a\gamma^b + \gamma^b\gamma^a = 2\delta^{ab}\mathbb{1}$. Tuto algebru nazýváme \textbf{Cliffordova algebra} s $n$ generátory.
	}	
 
\begin{align*}
	\Sigma^{ab}=\frac{1}{2}\gamma^a\gamma^b = \frac{1}{4}\left[ \gamma^a,\gamma^b \right],\ a \neq b, && \Sigma^{ab} = -\Sigma^{ba}
	\end{align*}	
\begin{align*}
	\left[ \Sigma^{ab},\Sigma^{cd} \right] &= \frac{1}{4}\left( \gamma^a\gamma^b\gamma^c\gamma^d - \gamma^c\gamma^d\gamma^a\gamma^b \right) = \\
	&= \frac{1}{4}\left( 2\delta^{bc}\gamma^a\gamma^d - 2\delta^{ac}\gamma^b\gamma^d + 2\delta^{bd}\gamma^c\gamma^a -2\delta^{ad}\gamma^c\gamma^b \right) = \\
	&= \delta^{bc}\Sigma^{ad} - \delta^{ac}\Sigma^{bd} - \delta^{bd}\Sigma^{ac} + \delta^{ad}\Sigma^{bc}
	\end{align*}	
$\mfrk{so}(n): S^{ab} = E^{ab} - E^{ba}$, kde $E^{ab}$ je matice s jednotkou na pozici $(a,b)$ a nulami všude jinde. $S^{ab}$ má stejné komutační relace:
\begin{align*}
	\left[ S^{ab},S^{cd} \right] = \delta^{bc}S^{ad} - \delta^{ac}S^{bd} - \delta^{bd}S^{ac} + \delta^{ad}S^{bc}
	\end{align*}	
\begin{itemize}	
\item $n = 2l$:
\begin{align*}
	\sigma_j = \frac{\gamma^{2j-1}+i\gamma^{2j}}{2} && \sigma_j^* = \frac{\gamma^{2j-1}-i\gamma^{2j}}{2}
	\end{align*}
\begin{align*}
	\{ \sigma_j,\sigma_k \} = 0 = \{ \sigma_j^*,\sigma_k^* \} && \{\sigma_j,\sigma_k^* \} &= \left\{
	\begin{array}{ll}
		0\ & \dots\ j \neq k \\
		\frac{\left( \gamma^{2j-1} \right)^2}{2} + \frac{\left( \gamma^{2j} \right)^2}{2} = \mathbb{1}\ & \dots\ j=k
		\end{array} \right. \\
	&&&= \delta_{jk}\mathbb{1}
	\end{align*}	
$\Rightarrow\quad$Pro $n=2l$ máme algebru fermionových kreaćních a anihilačních operátorů$\rimpl$ jejich reprezentace se dá přirozeně zkonstruovat na
	\begin{align*}
		V = \mrm{span}\left\{ \sigma_{a_1}^*\dots\sigma_{a_k}^*\ket{0} \middle| 0 \leq k \leq l,\ 0 < a_1 < \dots < a_k \leq l \right\},
		\end{align*}
	$\sigma_a\ket{0} = 0,\ \dim V = 2^l \rimpl$reprezentace $\mfrk{so}(2l)$ na $V$, prvky $\mfrk{so}(2l)$ jsou kvadratické výrazy v $\sigma_j,\sigma_k^* \rimpl$z hlediska $\mfrk{so}(2l)$ se reprezentace rozpadá na dvě, se sudým, resp. lichým počtem $\sigma^*$ působících na $\ket{0}$.
\begin{align*}
	F_{ij} = \sigma_i^*\sigma_j^* && F_{ij}^+ = \sigma_i\sigma_j && G_{ij} = \sigma_i^*\sigma_j
 	\end{align*}
 \begin{align*}
 	H(\lambda_1,\dots,\lambda_l) = \sum_{j=1}^l \lambda_j\left( \sigma_j^*\sigma_j - \frac{1}{2} \right)
 	\end{align*}	
%\Pzn{
%	\begin{align*}
%		2\sigma_1 = \gamma^1 + i\gamma^2 &\rimpl \gamma^1 = \sigma_1 + \sigma_1^* \\
%		2\sigma_1^* = \gamma^1 - i\gamma^2 &\rimpl \gamma^2 = \frac{1}{i}\left( \sigma_1 - \sigma_1^* \right)
%		\end{align*}
%	\begin{align*}
%		\begin{pmatrix}
%		0 & -i \\
%		i & 0 
%		\end{pmatrix} = -i(E_{12} - E_{21}) &= -\frac{i}{2}\left( \gamma^1\gamma^2 \right) = - \frac{i}{2i}\left( \sigma_1 + \sigma_1^* \right)\left( \sigma_1 - \sigma_1^* \right) = -\frac{1}{2}\sigma_1^*\sigma_1 + \frac{1}{2}\sigma_1\sigma_1^* = \\
%		&= -\frac{1}{2}\sigma_1^*\sigma_1 +\frac{1}{2}\left( 1 - \sigma_1^*\sigma_1 \right) = -\left( \sigma_1^*\sigma_1 - \frac{1}{2} \right)
%		\end{align*}
%	}
\begin{align*}
	H(\lambda_1,\dots,\lambda_l)\sigma_{a_1}^*\dots\sigma_{a_k}^*\ket{0} = \sum_{j=1}^l\lambda_j\left(n_j - \frac{1}{2}\right)\sigma_{a_1}^*\dots\sigma_{a_k}^*\ket{0}
	\end{align*}	
$\Rightarrow\quad$ na $V$ je vektor $\sigma_1^*\dots\sigma_l^*\ket{0}$ vektor s nejvyšší vahou a ta je rovna $\frac{1}{2}(\phi_1,\dots,\phi_l)$. Pro podprostor s opačnou paritou kreačních operátorů máme váhy $\sum_{j=1}^l\left(n_j - \frac{1}{2}\right)\phi_j$, kde $\sum_{j=1}^l n_j = l-1,l-3,\dots$, Mezi nimi je při našem uspořádání nejvyšší $\frac{1}{2}(\phi_1 + \dots + \phi_{l-1} - \phi_l)$, příslušná váhovému vektoru $\sigma_1^*\dots\sigma_{l-1}^*\ket{0}$.
 
\item $n = 2l+1$: stejně až na $\gamma^{2l+1}$:
\begin{align*}
	\left\{ \gamma^{2l+1},\sigma_j \right\} &= 0 = \left\{ \gamma^{2l+1},\sigma_j^* \right\} \\
	\gamma^{2l+1}\ket{0} &= \ket{0} \\
	\gamma^{2l+1}\left( \sigma_{a_1}^*\dots\sigma_{a_k}^*\ket{0} \right) &= (-1)^k \left( \sigma_{a_1}^*\dots\sigma_{a_k}^*\ket{0} \right)
	\end{align*}
Předpisy pro $F_{ij},\ F_{ij}^+,\ G_{ij},\ H(\dots)$ se nezmění. 
 
$V$ nejde rozdělit na $2$ invariantní podporstory, $\mfrk{so}(2l+1)$ je na $V$ ireducibilní s nejvyšší vahou $\frac{1}{2}(\phi_1 + \dots + \phi_l )$.  
\end{itemize}