---- > [!definition] Definition. ([[Lie algebra of a Lie group]]) > > Recall that any [[Lie group]] $G$ [[group action|acts]] [[smooth group action|smoothly]] and [[transitive group action|transitively]] on itself by left translation: > > $\begin{align} > G &\to \text{Diff }G \\ > g & \mapsto L_{g} = g \cdot \_ \ \ > \end{align}$ > > [[related vector fields|Recall]] in general that a given [[vector field]] pushes forward under [[diffeomorphism]] to a unique vector field. A [[vector field]] $X$ on $G$ is said to be **left-(translation)-invariant** if it is invariant under left-translations, that is, if it pushes forward *to itself* under $L_{g}$ for all $g \in G$. Explicitly, [[differential of a smooth map between smooth manifolds|this means]] $\begin{align} > (L_{g})_{*}X &= X \text{ for all }g \in G, \text{ i.e., } \\ > d(L_{g})_{g'}(X_{g'})&=X_{g g'} \text{ for all } g,g' \in G. > \end{align}$ > The collection of left-invariant vector fields on $G$ forms a [[Lie subalgebra]] of the [[Lie algebra]] $\mathscr{V}(M)$[^1], denoted by $\text{Lie}(G)$ or $\mathfrak{g}$ and called the **Lie algebra of $G$**. > > A [[Lie group]] [[group homomorphism|homomorphism]] $F:G \to H$ [[differential of a smooth map between smooth manifolds|pushes forward]] left-invariant vector fields uniquely: for every $X \in \mathfrak{g}$ there is a unique vector field $Y \in \mathfrak{h}$ that is $F$-[[related vector fields|related]] to $X$: $F_{*}X=Y$. $F_{*}:\mathfrak{g} \to \mathfrak{h}$ is then a well-defined [[Lie algebra homomorphism]]. This makes $\text{Lie}(-)$ into a [[covariant functor]] from the [[category]] $\mathsf{Lie}$ of [[Lie group|Lie groups]] to the category $\mathsf{lie}$ of [[Lie algebra|Lie algebras]]. > > The evaluation map $\begin{align} > \varepsilon:\text{Lie}(G) &\to T_{e}G \\ > X &\mapsto X_{e} > \end{align}$ > is a [[natural transformation|natural]] [[isomorphism]] of [[vector space|vector spaces]], and so the space $T_{e}G$ is also canonically referred to as the **Lie algebra of $G$**.[^2] > [!basicproperties] > - Left-invariant vector fields are [[integral curve|complete]]. ^properties > [!note] Remark. (Lie groups are parallelizable) > In the notation below, any basis [[basis]] $x_{1},\dots,x_{n}$ for $\mathfrak{g}$ gives rise to a smooth global frame $X_{1}^{x_{1}},\dots,X_{n}^{x_{n}}$, where (as below) $X_{i}^{x_{i}}(g)=(dL_{g})_{e} x_{i}$. Thus, every [[Lie group]] $G$ is [[local frame, global frame|parallelizable]]. > [!justification] Proving $\text{Lie}(G)$ is indeed a [[Lie subalgebra]] of $\mathscr{V}(M)$. > Really just need to show $[X,Y]$ is left-invariant when $X$ and $Y$ are. This follows from [[vector field|the general fact that]] $F_{*}[X,Y]=[F_{*}X, F_{*}Y]$ for $F$ a [[diffeomorphism]]. Indeed, given $g \in G$, $L_{g}$ is a [[diffeomorphism]] and so $(L_{g})_{*}[X, Y]=[(L_{g})_{*}X, (L_{g})_{*}Y]$. But $(L_{g})_{*}X$ and $(L_{g})_{*}Y$ just equal $X$ and $Y$ respectively, by left-invariance of $X$ and $Y$. ^justification > [!justification] Proving $\text{Lie}(G)=_{\varepsilon}T_{e}G$. > **Surjectivity.** Let $v \in T_{e}G$ be an arbitrary [[tangent vector to a smooth manifold|tangent vector]]. Define a [[vector field]] $X^{v}$ on $G$ by 'translating $v$ around': $X^{v}_{g}:=(dL_{g})_{e}v$. (This is smooth.) Then $\varepsilon(X^{v})=X^{v}_{e}=v$. The vector field $X^{v}$ is left-invariant because, by [[covariant functor|functoriality]] of the pushforward, $(dL_{g})_{g'}X^{v}_{g'}=(dL_{g})_{g'}(dL_{g'})_{e}v=d(L_{g} \circ L_{g'})_{e}v=d(L_{g g'})_{e} v=X_{g g'}^{v}.$ > **Injectivity.** Suppose $X \in \text{Lie}(G)$ satisfies $\varepsilon(X)=0$ (i.e. $X_{e}=0$). Then $X \equiv 0$: indeed, if $g \in G$ is arbitrary, then by left-invariance $X_{g}=(dL_{g})_{e}X_{e},$ which is zero because $X_{e}=0$. ^justification - [ ] prove that LGHomomorphism $F$ pushes forward vector fields uniquely (easy) - [ ] Kovalev Theorem 1.16 or Lee (8.46?) or both for easy identification of Lie algebras of Lie subgroups ---- #### [^1]: In justification. [^2]: Note: while $\text{dim }\mathscr{V}(G)=\infty$ in general, this establishes that $\text{dim }\text{Lie}(G)<\infty$; specifically, $\text{dim }\text{Lie }G=\text{dim }G$. ---- #### References > [!backlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM [[]] > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` > [!frontlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM outgoing([[]]) > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ```