# Lie bracket of Infinitesimal action determined by the adjoint action

I'm trying to prove the following statement:

Given a Lie group $G$ with Lie algebra $\mathfrak{g}$, if $\psi: \mathfrak{g} \rightarrow \mathfrak{X}(\mathfrak{g})$ is the infinitesimal action determined by the adjoint action then $$\psi \left( \left[ X , Y \right] \right) = - \left[ \psi(X) , \psi(Y) \right]\,.$$

Initially I assumed that the adjoint action was the usual $\mathrm{Ad}: G \rightarrow \mathrm{Aut}(\mathfrak{g})$ which would imply that $\psi = \mathrm{ad}$, however in this case, since we have that $\mathrm{ad}(X) (Y) = \left[X,Y \right]$ and then through the Jacobi identity one obtains

$$\mathrm{ad} \left( \left[ X,Y \right] \right) (Z) = \left[ \mathrm{ad}(X) ,\mathrm{ad}(Y) \right] (Z)$$

which does not agree with what is asked. I guess I'm probably looking at the wrong thing but I can't understand what could also be meant by the adjoint action in that case.

Any pointers on what is $\psi$ (if indeed it is something different than what I interpreted it to be) or otherwise on what I might be doing wrong, would be greatly appreciated.

• Strange. Maybe $\psi = -ad$? Then the relation holds. – Torsten Schoeneberg Jan 8 '18 at 3:39
• Here $\mathfrak{g}$ is viewed as a smooth manifold, $\mathfrak{X}(\mathfrak{g})$ is the set of vector fields on $\mathfrak{g}$, and $\psi$ maps each $X\in\mathfrak{g}$ to the complete vector field on $\mathfrak{g}$ whose flow is $(t,Z)\mapsto\operatorname{Ad}_{\exp(tX)}Z$. – Spenser Jan 8 '18 at 9:27
• Under the identification of $\mathfrak{X}(\mathfrak{g})$ with the set of smooth functions $\mathfrak{g}\to\mathfrak{g}$, the infinitesimal action $\psi$ takes $X\in\mathfrak{g}$ to the smooth function $\psi(X):\mathfrak{g}\to\mathfrak{g}$ given by $Z\mapsto [X,Z]$, or in other words, $\psi=\mathrm{ad}$, as you have guessed. However, the Lie bracket of vector fields on $\mathfrak{X}(\mathfrak{g})$ is not the one you expected but can be computed easily. – Spenser Jan 8 '18 at 10:07

For any given $X,Z \in \mathfrak{g}$, the flow of $\psi(X)$ is given by $\widehat{\phi}^t_{\psi(X) }(Z) = \mathrm{Ad}_{\exp(tX)} (Z)$. Hence, for any $X,Y,Z \in \mathfrak{g}$ we have $\psi(X)(Y) = \frac{d}{dt}\big|_{t=0} \mathrm{Ad}_{\exp(tX)} Y$. Thus, $$\psi\left(\left[X,Y \right] \right) (Z) = \frac{d}{dt} \Big|_{t=0} \mathrm{Ad}_{\exp\left(\left[X,Y \right] \right)} Z = \left[X,Y \right](Z) - Z \left( \left[X,Y \right]\right) = \left[\left[X,Y\right],Z \right]\,.$$
On the other hand, denoting by $\phi^t_X(g)= g \exp(tX)$ as the flow of $X$, we also have
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9734090566635132, "perplexity": 82.31341251190047}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-22/segments/1558232259015.92/warc/CC-MAIN-20190526085156-20190526111156-00424.warc.gz"}