02LIAG:Kapitola12

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{Reálné formy komplexních poloprostých algeber}
Mějme poloprostou reálnou algebru $\g,\ \g_\C = \g \oplus_\R i\g = \C \otimes_\R \g$. Z $\g_\C$ lze zpetně najít $\g$:
\begin{align*}
	\phi: \g_\C \to \g_\C : \phi(u+iv) = u - iv,\ \forall u,v \in \g \rimpl \g = \{ X \in \g | \phi(X) = X \}.
	\end{align*}
\Pzn{
	Vlastnosti $\phi$:
	\begin{enumerate}
		\item $\phi \circ \phi = \mrm{id} \rimpl$je involutivní, 
		\item $\phi(\lambda X) = \overline{\lambda}\phi(X),\ \phi(X+Y) = \phi(X) + \phi(Y) \rimpl$je antilineární,
		\item $\phi\big( [u_1+iv_1,u_2 + iv_2] \big) = \phi \big( \left( [u_1,u_2] - [v_1,v_2] \right) + i \left( [v_1,u_2] + [u_1,v_2] \right) \big) = \left( [u_1,u_2] - [v_1,v_2] \right) - i \left( [v_1,u_2] + [u_1,v_2] \right) = [u_1 - iv_1,u_2 - iv_2] = \big[ \phi(u_1 + iv_1),\phi(u_2 + iv_2) \big] \rimpl$automorfismus.
		\end{enumerate}
	Tj. reálná forma $\g$ komplexní algebry $\g_\C$ nám určuje involutivní antilineární automorfismus $\phi$.	
	}
Naopak, mějme $\g_\C$ a její involutivní antilineární automorfismus $\phi$. Pak $\g = \{ X \in \g_\C | \phi(X) = X \}$ nám zadává reálnou podalgebru $\g_\phi$ v $\g_\C : (\g_\phi)_{\C} = \g_\C$.
\begin{proof}
	Máme $\phi : \g_\C \to (\g_\C)_\R,\ \dim_\R(\g_\C)_\R = 2\dim_\C(\g_\C)_\R$. Uvažujme $\zuz{\phi}{(\g_\C)_\R}:(\g_\C)_\R \to (\g_\C)_\R,\ \phi^2 = \mathbb{1} \rimpl \sigma\left(\zuz{\phi}{(\g_\C)_\R}\right) = \pm 1$, takže
	\begin{align*}
		(\g_\C)_\R = \underbrace{\ker\left( \zuz{\phi}{(\g_\C)_\R} - \mathbb{1} \right)}_{\g} \dotplus \ker\left( \zuz{\phi}{(\g_\C)_\R} + \mathbb{1} \right)
		\end{align*}
	$\Rightarrow\quad 	X \in \g \rimpl \phi(X) = X \rimpl \phi(iX) = -iX \rimpl iX \in \ker\left( \zuz{\phi}{(\g_\C)_\R} + \mathbb{1} \right) \rimpl$obě jádra mají stejnou dimenzi a násobení $i$ zobrazuje jedno na druhé$\rimpl \dim_\R \g = \dim_\C \g_\C,\ \g_\C = \g \dotplus i\g$ a platí: $\forall X,Y \in \g,\ \phi\big( [X,Y] \big) = [\phi(X),\phi(Y)] = [X,Y] \rimpl \forall X,Y \in \g,\ [X,Y] \in \g$.
	\end{proof}
\Prl{
	$\mfrk{sl}(l+1,\C),\ \phi:\mfrk{sl}(l+1,\C) \to \mfrk{sl}(l+1,\C)$:
	\begin{itemize}
		\item $\phi(A) = \overline{A} \ \dots\ \g = \mfrk{sl}(l+1,\R)$
		\item $\phi(A) = -A^+ \ \dots\ \g = \left\{ X \in \mfrk{sl}(l+1,\C) \middle| -X^+ = X \right\} = \mfrk{su}(l+1)$
		\item $\phi(A) = -JA^+J$, kde $J = \mrm{diag}(\underbrace{1,\dots1}_{p},\underbrace{-1,\dots,-1}_{q})$:
			\begin{align*}
				\phi(\phi(A)) &= J\left( J \left( A^+ \right)^+ J \right) J = A \\
				\phi\big( [A,B] \big) &= - J[A,B]^+J = J \left[ A^+,B^+ \right] J = \left[ -JA^+J,-JB^+J \right] = [\phi(A),\phi(B)]
				\end{align*}
		$\dots\ \g = \left\{ X \in \mfrk{sl}(l+1,\C) \middle| -JX^+J = X \right\} = \mfrk{su}(p,q),\ p+q = l+1$.		
		\end{itemize}
	}	
 
Uvažujme komplexní poloprostou Lieovu algebru $\g$ vyjádřenou ve Weyl-Chevalleyho bázi, tj.:
\begin{gather*}
	\g = \mrm{span}\{H_\alpha\}_{\alpha \in \Delta^p} \dotplus \dot{\bigplus_{\alpha \in \Delta}}\mrm{span}\{E_\alpha\}, \\
	[H,E_\alpha] = \alpha(H)E_\alpha,\ H \in \mrm{span}_\R \{ H_\alpha \}_{\alpha \in \Delta^p} = \h \rimpl \forall \alpha \in \Delta,\ \alpha(H) \in \R \\
	[E_\alpha,E_{-\alpha}] = \underbrace{K(E_\alpha,E_{-\alpha})}_{\in\R}H_\alpha, \\
	[E_\alpha,E_\beta] = N_{\alpha\beta}E_{\alpha+\beta},\ \N_{\alpha\beta} \in \Z,\ N_{(-\alpha)(-\beta)} = -N_{\alpha\beta}.
	\end{gather*}
Označíme
\begin{align*}
	\g_\text{split} := \mrm{span}_\R \{ H_\alpha \}_{\alpha \in \Delta^p} \dotplus \dot{\bigplus}_{\alpha \in \Delta}\mrm{span}_\R \{ E_\alpha \}.
	\end{align*}	
$\g_\text{split}$ je reálná forma $\g$, tj. $\phi(H_\alpha) = H_\alpha,\ \phi(E_\alpha) = E_\alpha,\ \forall H_\alpha,E_\alpha \in \g_\text{split},$.	 Zjistíme signaturu Killingovy formy $K$ pro $\g_\text{split}$ (Killingova forma je dobrá pro rozlišení reálnych algeber). 
\begin{align*}
	&K(H,E_\alpha) = 0 \text{ protože }\h\perp\mrm{span}\{ E_\alpha \} \\
	&\!\!\zuz{K}{\h} \text{ je pozitivně definitní} \\
	&K(E_\alpha,E_\beta) = 0,\ \alpha+\beta \neq 0 \\
	&E_\alpha,E_{-\alpha}: \begin{pmatrix}
		K(E_\alpha,E_\alpha) & K(E_\alpha,E_{-\alpha}) \\
		K(E_{-\alpha},E_\alpha) & K(E_{-\alpha},E_{-\alpha}) 
		\end{pmatrix} = \begin{pmatrix}
		0 & \lambda \\
		\lambda & 0
		\end{pmatrix}\text{, kde }\lambda \neq 0 \ \dots\ \mrm{sgn} = (1,1,0)
	\end{align*}
$\Rightarrow\quad \mrm{sgn}\zuz{K}{\g_\text{split}} = \left( l+\frac{n-l}{2},\frac{n-l}{2},0 \right)$. Dále prozkoumáme 
\begin{align*}
	\g_\text{komp} := \underbrace{\mrm{span}_\R \{ iH_\alpha \}_{\alpha \in \Delta^p}}_{i\h} \dotplus \dot{\bigplus_{\alpha \in \Delta^+}}\mrm{span}\left\{ \frac{E_\alpha - E_{-\alpha}}{\sqrt{2}},\frac{i(E_\alpha + E_{-\alpha})}{\sqrt{2}} \right\}.
	\end{align*}
$\forall H_\alpha,E_\alpha \in \g_\text{komp},\ \phi(H_\alpha) = -H_\alpha,\ \phi(E_\alpha) = -E_{-\alpha}$. Zřejmě platí taky $\phi^2 = \mathbb{1}$. Dále máme:
\begin{align*}
	&\phi \big( [H_\alpha,H_\beta] \big) = [\phi(H_\alpha),\phi(H_\beta)] \text{ protože } [H_\alpha,H_\beta] = 0 \\
	&\phi \big( [H_\alpha,E_\beta] \big) = \underbrace{\beta(H_\alpha)}_{\in\R}\phi(E_\beta) = -\beta(H_\alpha)E_{-\beta} = [H_\alpha,E_{-\beta}] = [\phi(H_\alpha),\phi(E_\beta)] \\
	&\phi\big( [E_\alpha,E_\beta] \big) = N_{\alpha\beta}\phi(E_{\alpha+\beta}) = -N_{\alpha\beta}E_{-\alpha-\beta} = N_{(-\alpha)(-\beta)}E_{-\alpha-\beta} = [-E_{-\alpha},-E_{-\beta}] = \\ 
	&\qquad=[\phi(E_\alpha),\phi(E_\beta)] \\
	&\phi\big( [E_\alpha,E_{-\alpha}] \big) = K(E_\alpha,E_{-\alpha})\phi(H_\alpha) = -K(E_\alpha,E_{-\alpha})H_\alpha = -[E_\alpha,E_{-\alpha}] = [-E_{-\alpha},-E_\alpha] \\ 
	&\qquad= [\phi(E_\alpha),\phi(E_{-\alpha})] \\
	&\phi\left( \frac{E_\alpha - E_{-\alpha}}{\sqrt{2}} \right) = \frac{-E_{-\alpha} + E_\alpha}{\sqrt{2}} \\
	&\phi\left( \frac{i(E_\alpha + E_{-\alpha})}{\sqrt{2}} \right) = \frac{-i(-E_{-\alpha} - E_{\alpha})}{\sqrt{2}} = \frac{i(E_\alpha + E_{-\alpha})}{\sqrt{w}} \\
	&\phi(iH_\alpha) = -i(-H_\alpha) = iH_\alpha \\
	&\!\!\zuz{K}{i\h}\text{ je negativně definitní} \\
	&\!\!\!\!\! \left. \begin{array}{l}\displaystyle
	\displaystyle K\left( \frac{E_\alpha - E_{-\alpha}}{\sqrt{2}},\frac{E_\alpha - E_{-\alpha}}{\sqrt{2}} \right) = -K(E_\alpha,E_{-\alpha}) > 0 \\
	\displaystyle K\left( \frac{E_\alpha - E_{-\alpha}}{\sqrt{2}},\frac{i(E_\alpha + E_{-\alpha})}{\sqrt{2}} \right) = 0 \\
	\displaystyle K\left( \frac{i(E_\alpha + E_{-\alpha})}{\sqrt{2}},\frac{i(E_\alpha + E_{-\alpha})}{\sqrt{2}} \right) = -K(E_\alpha,E_{-\alpha}) > 0
		\end{array}\right\}\mrm{sgn} = (0,2,0)
	\end{align*}
$\Rightarrow\quad \mrm{sgn}\zuz{K}{\g_\text{kompl}} = (0,n,0)$.
\Vet{(Weyl)
	Buď $\g$ reálná poloprostá Lieova algebra, $G$ jí odpovídající souvislá a jednoduše souvislá Lieova grupa. Pak $G$ je kompaktní$\quad\Leftrightarrow\quad$Killingova forma $\g$ je negativně definitní.	
	}