02LIAG:Kapitola13: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
m
m
 
Řádka 8: Řádka 8:
 
\sigma^j\left(\zuz{X_k}{g}\right) &= \delta^j_{\ k}  \\
 
\sigma^j\left(\zuz{X_k}{g}\right) &= \delta^j_{\ k}  \\
 
L_g^*\left(\zuz{\sigma^j}{gh}\right) &= \zuz{\sigma^j}{h} \\
 
L_g^*\left(\zuz{\sigma^j}{gh}\right) &= \zuz{\sigma^j}{h} \\
L_g^*\left(\zuz{\sigma^j}{gh}\right)\left(\zuz{X_k}{h}\right) &= \zuz{\sigma^j}{gh}\big( \underbrace{L_{g*}\left(\zuz{X_k}{h}\right)}_{\zuz{X_j}{gh}}\big) = \delta^j_{\ k}
+
L_g^*\left(\zuz{\sigma^j}{gh}\right)\left(\zuz{X_k}{h}\right) &= \zuz{\sigma^j}{gh}\big( \underbrace{L_{g*}\left(\zuz{X_k}{h}\right)}_{\zuz{X_k}{gh}}\big) = \delta^j_{\ k}
 
\end{align*}
 
\end{align*}
 
$\Rightarrow\quad \omega = \sigma^1\land\dots\land\sigma^n,\ n = \dim \g$, objemový element na $G$, je levoinvariantní, tj. $L_g^*\omega = \omega$.
 
$\Rightarrow\quad \omega = \sigma^1\land\dots\land\sigma^n,\ n = \dim \g$, objemový element na $G$, je levoinvariantní, tj. $L_g^*\omega = \omega$.
Řádka 15: Řádka 15:
 
}
 
}
 
\begin{proof}
 
\begin{proof}
Sporem: Nechť $R_{g^{-1}}^*\omega \neq \omega$ (BÚNO $\g \to \g^{-1}$), $\omega(X_1,\dots,X_n) = 1$, a nechť $\zuz{\R_{g^{-1}}^*\omega(X_1,\dots,X_n)}{h} = c > 1$ pro zvolené $g,h$.
+
Sporem: Nechť $R_{g^{-1}}^*\omega \neq \omega$ (BÚNO $\g \to \g^{-1}$), $\omega(X_1,\dots,X_n) = 1$, a nechť $\zuz{R_{g^{-1}}^*\omega(X_1,\dots,X_n)}{h} = c > 1$ pro zvolené $g,h$.
 
\begin{align*}
 
\begin{align*}
 
\left[L_{g*},R_{h*}\right] = 0 \rimpl L_h^*\left( R_{g^{-1}}^* \omega \right) = R_{g^{-1}}^*\big( \underbrace{L_h^* \omega}_{\omega} \big) = R_{g^{-1}}^* \omega
 
\left[L_{g*},R_{h*}\right] = 0 \rimpl L_h^*\left( R_{g^{-1}}^* \omega \right) = R_{g^{-1}}^*\big( \underbrace{L_h^* \omega}_{\omega} \big) = R_{g^{-1}}^* \omega
Řádka 57: Řádka 57:
 
\begin{align*}
 
\begin{align*}
 
\braket{\rho(\widetilde{g})u,\rho(\widetilde{g})v}_G &= \int\limits_G \braket{\rho(g)\rho(\widetilde{g})u,\rho(g)\rho(\widetilde{g})v}\omega(g) = \int\limits_G \braket{\rho(g\widetilde{g})u,\rho(g\widetilde{g})v}\omega(g) = \\
 
\braket{\rho(\widetilde{g})u,\rho(\widetilde{g})v}_G &= \int\limits_G \braket{\rho(g)\rho(\widetilde{g})u,\rho(g)\rho(\widetilde{g})v}\omega(g) = \int\limits_G \braket{\rho(g\widetilde{g})u,\rho(g\widetilde{g})v}\omega(g) = \\
&= \int\limits_G R_{\widetilde{g}}^*\braket{\rho(g)u,\rho(g)v}\omega(g) = \int\limits_{R_{\widetilde{g}}(G)}\braket{\rho(g)u,\rho(g)v}\omega(g) = \braket{u,v}_G.
+
&= \int\limits_G R_{\widetilde{g}}^*\braket{\rho(g)u,\rho(g)v}\underbrace{\omega(g)}_{=\left( R_{\widetilde{g}}^*\omega \right)(g)} = \int\limits_{R_{\widetilde{g}}(G)}\braket{\rho(g)u,\rho(g)v}\omega(g) = \braket{u,v}_G.
 
\end{align*}
 
\end{align*}
 
Vzhledem k takto definovanému skalárnímu součinu $\braket{\cdot,\cdot}_G$ je $\rho$ unitární (ortogonální, dle tělesa V) reprezentace kompaktní grupy $G$ na $V$.
 
Vzhledem k takto definovanému skalárnímu součinu $\braket{\cdot,\cdot}_G$ je $\rho$ unitární (ortogonální, dle tělesa V) reprezentace kompaktní grupy $G$ na $V$.
Řádka 67: Řádka 67:
 
}
 
}
 
\begin{proof}
 
\begin{proof}
Pro $\rho : \g \to \g$ najdeme $\g_\text{komp}: (\g_\text{komp})_\C = \g,\ \zuz{\rho}{\g_\text{komp}}:\g_\text{komp} \to \gl(V) $, máme tedy i reprezentaci příslušné Lieovy grupy $G$, ta je úplně reducibilní, tj máme ireducibilní invariantní podprostory pro $G_\text{kompl},\ \g_\text{komp},\ \g$.  
+
Pro $\rho : \g \to \g$ najdeme $\g_\text{komp}: (\g_\text{komp})_\C = \g,\ \zuz{\rho}{\g_\text{komp}}:\g_\text{komp} \to \gl(V) $, máme tedy i reprezentaci příslušné Lieovy grupy $G$, ta je úplně reducibilní, tj máme ireducibilní invariantní podprostory pro $G_\text{komp},\ \g_\text{komp},\ \g$.  
 
\end{proof}
 
\end{proof}

Aktuální verze z 31. 7. 2016, 23:45

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{Význam kompaktních Lieových grup}
 
Mějme $X_j$ bázi $\g,\ \sigma^k \in \Gamma(T^*G)$, tedy $\forall g,h \in G$ platí:
\begin{align*}
	L_{g*}\left(\zuz{X_j}{h}\right) &= \zuz{X_j}{gh} \\
	\sigma^j\left(\zuz{X_k}{g}\right) &= \delta^j_{\ k}  \\
	L_g^*\left(\zuz{\sigma^j}{gh}\right) &= \zuz{\sigma^j}{h} \\
	L_g^*\left(\zuz{\sigma^j}{gh}\right)\left(\zuz{X_k}{h}\right) &= \zuz{\sigma^j}{gh}\big( \underbrace{L_{g*}\left(\zuz{X_k}{h}\right)}_{\zuz{X_k}{gh}}\big) = \delta^j_{\ k}
	\end{align*}
$\Rightarrow\quad \omega = \sigma^1\land\dots\land\sigma^n,\ n = \dim \g$, objemový element na $G$, je levoinvariantní, tj. $L_g^*\omega = \omega$.
\Vet{
	Nechť $G$ je kompaktní. Pak $R_g^*\omega=\omega$.
	}
\begin{proof}	
	Sporem: Nechť $R_{g^{-1}}^*\omega \neq \omega$ (BÚNO $\g \to \g^{-1}$), $\omega(X_1,\dots,X_n) = 1$, a nechť $\zuz{R_{g^{-1}}^*\omega(X_1,\dots,X_n)}{h} = c > 1$ pro zvolené $g,h$.
	\begin{align*}
		\left[L_{g*},R_{h*}\right] = 0 \rimpl L_h^*\left( R_{g^{-1}}^* \omega \right) = R_{g^{-1}}^*\big( \underbrace{L_h^* \omega}_{\omega} \big) = R_{g^{-1}}^* \omega
		\end{align*}
	$\Rightarrow\quad R_{g^{-1}}^*\omega$ je	levoinvariantní$\rimpl$ na bodě $h$ nezáleží, výsledek je stejný $\forall h$, vezmeme tedy $h = e$. Prodože $\Ad_g = L_{g*}\circ R_{g^{-1}*} : T_eG \to T_eG \equiv \g$, máme:
	\begin{align*}
		c &= \zuz{L_g^* R_{g^{-1}}^* \omega (X_1,\dots,X_n)}{e} = \omega \left( L_{g*}R_{g^{-1}*}\left( \zuz{X_1}{e} \right) ,\dots, L_{g*}R_{g^{-1}*}\left( \zuz{X_n}{e} \right) \right) = \\
		&= \omega\left( \Ad_g \left( \zuz{X_1}{e} \right) ,\dots, \Ad_g \left( \zuz{X_n}{e} \right) \right) = \det \Ad_g \cdot \underbrace{\omega \left( \left( \zuz{X_1}{e} \right),\dots,\left( \zuz{X_n}{e} \right) \right)}_{=1} = \det \Ad_g
		\end{align*}
	$\Rightarrow\quad \forall g \in G,\ R_{g^{-1}}^*\omega\left(X_1,\dots,X_n \right) = \det \Ad_g =: F(g)$, přičemž pro zvolené $g$ je $F(g) > 1$.
	\begin{align*}
		F(g_1g_2) = \det\Ad_{g_1g_2} = \det \Ad_{g_1}\Ad_{g_2} = \det\left(\Ad_{g_1}\right) \det\left(\Ad_{g_2}\right) = F(g_1)F(g_2),\qquad \forall g_1,g_2 \in G
		\end{align*}	
	$\Rightarrow\quad F(g^n) = c^n $ a pro $n \to +\infty$ máme $g^n \in G,\ F(g^n) \to + \infty$. Ale $F$ je hladká funkce na $G$ a $G$ je kompaktní, tj. $F$ nabývá maxima a minima, spor$\rimpl c=1.$	
	\end{proof}
\Pzn{
\begin{align*}
	\begin{array}{lll}
		\text{algebra:} && \text{reálné formy:} \\\hline
		A_l &&	\mfrk{sl}(l+1,\R) \\
		&& \mfrk{su}(l+1) \\
		&& \mfrk{su}(p+q),\ p+q=l+1 \\
		&& \mfrk{su}^*(2k) = \left\{ \left(\begin{smallmatrix} A_1 & A_2 \\ \overline{A}_2 & \overline{A}_1 \end{smallmatrix} \right) \middle| A_1,A_2 \in C^{k,k} \right\},\ \Tr A_1 + \Tr \overline{A}_1 = 2 \mrm{Re}\Tr A = 0,\ 2k = l+1 \\\hline
		B_l,D_l && \text{podobně} \\\hline
		C_l\ \dots\ \mfrk{sp}(2l,\C) && \mfrk{sp}(p,q) = \mfrk{sp}(2l,\C) \cap \left\{ X \in \mfrk{sp}(2l,\C) \middle| X^+J_{pq} + J_{pq}X = 0 \right\},\ p+q = 2l \\
		&& \mfrk{sp}_u(2l) = \mfrk{sp}(2l,\C) \cap \mfrk{u}(2l)
		\end{array}
		\end{align*}
	}
\Pzn{
$G$ kompaktní$\rimpl \int\limits_G \omega \in \R$. Protože Lieova grupa je vždy orientovatelná, lze výběrem orientace volit $+\infty > \int\limits_{G}\omega > 0 $.
	}
\Dsl{
	\begin{enumerate}
		\item $\forall f \in C^\infty(G),\ \int\limits_G f\omega = \int\limits_G \left( f \circ L_g \right) \omega = \int\limits_G \left( f \circ R_g \right) \omega$, protože
		\begin{align*}
			\int\limits_G \left( f \circ L_g \right) \omega = \int\limits_G \left( L_g^* f \right)\left( L_g^* \omega \right) = \int\limits_{L_g(G)}f\omega = \int\limits_G f\omega.
			\end{align*}
		Analogicky pro $R_g$.
		\item Pro $\rho: G \to GL(V),\ \dim V < +\infty$ a jakýkoliv skalární součin $\braket{\cdot,\cdot}$  na $V$,	zavedeme $\braket{u,v}_G := \int\limits_G \braket{\rho(g)u,\rho(g)v}\underbrace{\omega(g)}_{\text{míra}}$. Pak
		\begin{align*}
			\braket{\rho(\widetilde{g})u,\rho(\widetilde{g})v}_G &= \int\limits_G \braket{\rho(g)\rho(\widetilde{g})u,\rho(g)\rho(\widetilde{g})v}\omega(g) = \int\limits_G \braket{\rho(g\widetilde{g})u,\rho(g\widetilde{g})v}\omega(g) = \\
			&= \int\limits_G R_{\widetilde{g}}^*\braket{\rho(g)u,\rho(g)v}\underbrace{\omega(g)}_{=\left( R_{\widetilde{g}}^*\omega \right)(g)} = \int\limits_{R_{\widetilde{g}}(G)}\braket{\rho(g)u,\rho(g)v}\omega(g) = \braket{u,v}_G.
			\end{align*}
		Vzhledem k takto definovanému skalárnímu součinu $\braket{\cdot,\cdot}_G$ je $\rho$ unitární (ortogonální, dle tělesa V) reprezentace kompaktní grupy $G$ na $V$.	
		\end{enumerate}
Závěr: Konečněrozměrné reprezentace Lieovy grupy $G$ jsou unitární (ortogonální) vůči vhodně zvolenému skalárnímu součinu, tj. jsou úplně reducibilní.
	}
\Vet{(Weyl)	
	Konečněrozměrné reprezentace komplexní poloprosté Lieovy algebry $\g$ jsou úplně reducibilní.
	}
\begin{proof}
	Pro $\rho : \g \to \g$ najdeme $\g_\text{komp}: (\g_\text{komp})_\C = \g,\ \zuz{\rho}{\g_\text{komp}}:\g_\text{komp} \to \gl(V) $, máme tedy i reprezentaci příslušné Lieovy grupy $G$, ta je úplně reducibilní, tj máme ireducibilní invariantní podprostory pro $G_\text{komp},\ \g_\text{komp},\ \g$. 
	\end{proof}