Let $\mathcal{G}$ be a compact (real) Lie group. We know that the Lie algebra $\mathfrak{g}$ of $\mathcal{G}$ is, by definition, the space of all left-invariant (smooth) vector fields over $\mathcal{G}$ with bracket given by the commutator. We also know that it is isomorphic, as a Lie algebra, with $T_e\mathcal{G}$ (the tangent space to $\mathcal{G}$ at the neutral element $e$).

Consider the Hopf algebra of representative functions $H:=\mathcal{R}_{\mathbb{R}}(\mathcal{G})$ associated to $\mathcal{G}$ and recall that $H\subseteq \mathcal{C}^\infty(\mathcal{G})$ is a dense subspace with respect to the supremum norm (Proposition I.3.12 of Brocker, Dieck, Representations of Compact Lie Groups together with Peter-Weyl Throem). The Lie algebra $\mathcal{P}(H^\circ)$ of primitive elements of its finite dual is isomorphic the Lie algebra of left-invariant derivations ${^{H}\mathsf{Der}_{\mathbb{R}}(H,H)}$ (i.e., derivations $\delta:H\to H$ such that $\Delta\delta=(H\otimes \delta)\Delta$).

I would expect to have an isomorphism $\mathfrak{g}\cong {^{H}\mathsf{Der}_{\mathbb{R}}(H,H)}$.

Q1. Is this true?

I didn't find it anywhere in the literature, whence I am trying to provide one by myself.

Let $X$ be a left-invariant vector field and let $\varphi$ be a smooth function on $\mathcal{G}$. Then $\boldsymbol{X}(\varphi):\mathcal{G}\to \mathbb{R}$ given by $\boldsymbol{X}(\varphi)(g) = X_g(\varphi)$ ($X_g\in T_g\mathcal{G}$) is a smooth function and hence we have an assignment $\boldsymbol{X}:\mathcal{C}^\infty(\mathcal{G})\to \mathcal{C}^\infty(\mathcal{G})$. One can verify that this induces a Lie algebra map $$\mathfrak{g}\to {^{H}\mathsf{Der}_{\mathbb{R}}(H,H)}: X\mapsto \boldsymbol{X}.$$ To provide a candidate inverse to this morphism, I consider a left-invariant derivation $\delta$ and for every $g$ in $\mathcal{G}$ the function $\delta_g:\mathcal{R}_{\mathbb{R}}(\mathcal{G})\to \mathbb{R}, \varphi\mapsto\delta(\varphi)(g)$. Now, I would expect to be able to extend such a function to the whole $\mathcal{C}^\infty(\mathcal{G})$, maybe resorting to the Continuous Linear Extension Theorem (see Theorem 5.7.6 in Foundations of Applied Mathematics, Volume I: Mathematical Analysis by Humpherys, Jarvis, Evans), but I didn't manage to.

Q2. Could somebody suggest a way to do this?

Q3. Is there some reference in which this is treated in some detail?

OT: I already asked it on MSE, but maybe it could be that this question is more suitable for MO.

  • $\begingroup$ As far as I know, $\mathcal{G}$ is used for Lie groupoids.. you can use normal $G$?? $\endgroup$ – Praphulla Koushik Sep 11 '18 at 10:10
  • $\begingroup$ Of course I could, but it does not make too much sense in my opinion. It's just a matter of notation and I am used to use normal $G$ for discrete groups. If you really think that using $G$ instead of $\mathcal{G}$ improves the readability of the question, you have my approval in editing it (presently it's a bit difficult for me as I don't have my laptop) $\endgroup$ – Ender Wiggins Sep 11 '18 at 11:25

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.