Coadjoint representation

Let ${\displaystyle G}$ be a Lie group and ${\displaystyle {\mathfrak {g}}}$ be its Lie algebra. Let ${\displaystyle \mathrm {Ad} :G\rightarrow \mathrm {Aut} ({\mathfrak {g}})}$ denote the adjoint representation of ${\displaystyle G}$. Then the coadjoint representation ${\displaystyle \mathrm {Ad} ^{*}:G\rightarrow \mathrm {Aut} ({\mathfrak {g}}^{*})}$ is defined by

${\displaystyle \langle \mathrm {Ad} _{g}^{*}\,\mu ,Y\rangle =\langle \mu ,\mathrm {Ad} _{g^{-1}}Y\rangle }$ for ${\displaystyle g\in G,Y\in {\mathfrak {g}},\mu \in {\mathfrak {g}}^{*},}$

where ${\displaystyle \langle \mu ,Y\rangle }$ denotes the value of the linear functional ${\displaystyle \mu }$ on the vector ${\displaystyle Y}$.

Let ${\displaystyle \mathrm {ad} ^{*}}$ denote the representation of the Lie algebra ${\displaystyle {\mathfrak {g}}}$ on ${\displaystyle {\mathfrak {g}}^{*}}$ induced by the coadjoint representation of the Lie group ${\displaystyle G}$. Then the infinitesimal version of the defining equation for ${\displaystyle \mathrm {Ad} ^{*}}$ reads:

${\displaystyle \langle \mathrm {ad} _{X}^{*}\mu ,Y\rangle =\langle \mu ,-\mathrm {ad} _{X}Y\rangle =-\langle \mu ,[X,Y]\rangle }$ for ${\displaystyle X,Y\in {\mathfrak {g}},\mu \in {\mathfrak {g}}^{*}}$

where ${\displaystyle \mathrm {ad} }$ is the adjoint representation of the Lie algebra ${\displaystyle {\mathfrak {g}}}$.

A coadjoint orbit ${\displaystyle {\mathcal {O}}_{\mu }}$ for ${\displaystyle \mu }$ in the dual space ${\displaystyle {\mathfrak {g}}^{*}}$ of ${\displaystyle {\mathfrak {g}}}$ may be defined either extrinsically, as the actual orbit ${\displaystyle \mathrm {Ad} _{G}^{*}\mu }$ inside ${\displaystyle {\mathfrak {g}}^{*}}$, or intrinsically as the homogeneous space ${\displaystyle G/G_{\mu }}$ where ${\displaystyle G_{\mu }}$ is the stabilizer of ${\displaystyle \mu }$ with respect to the coadjoint action; this distinction is worth making since the embedding of the orbit may be complicated.

The coadjoint orbits are submanifolds of ${\displaystyle {\mathfrak {g}}^{*}}$ and carry a natural symplectic structure. On each orbit ${\displaystyle {\mathcal {O}}_{\mu }}$, there is a closed non-degenerate ${\displaystyle G}$-invariant 2-form ${\displaystyle \omega \in \Omega ^{2}({\mathcal {O}}_{\mu })}$ inherited from ${\displaystyle {\mathfrak {g}}}$ in the following manner:

${\displaystyle \omega _{\nu }(\mathrm {ad} _{X}^{*}\nu ,\mathrm {ad} _{Y}^{*}\nu ):=\langle \nu ,[X,Y]\rangle ,\nu \in {\mathcal {O}}_{\mu },X,Y\in {\mathfrak {g}}}$.

The well-definedness, non-degeneracy, and ${\displaystyle G}$-invariance of ${\displaystyle \omega }$ follow from the following facts:

(i) The tangent space ${\displaystyle \mathrm {T} _{\nu }{\mathcal {O}}_{\mu }=\{-\mathrm {ad} _{X}^{*}\nu :X\in {\mathfrak {g}}\}}$ may be identified with ${\displaystyle {\mathfrak {g}}/{\mathfrak {g}}_{\nu }}$, where ${\displaystyle {\mathfrak {g}}_{\nu }}$ is the Lie algebra of ${\displaystyle G_{\nu }}$.

(ii) The kernel of the map ${\displaystyle X\mapsto \langle \nu ,[X,\cdot ]\rangle }$ is exactly ${\displaystyle {\mathfrak {g}}_{\nu }}$.

(iii) The bilinear form ${\displaystyle \langle \nu ,[\cdot ,\cdot ]\rangle }$ on ${\displaystyle {\mathfrak {g}}}$ is invariant under ${\displaystyle G_{\nu }}$.

${\displaystyle \omega }$ is also closed. The canonical 2-form ${\displaystyle \omega }$ is sometimes referred to as the Kirillov-Kostant-Souriau symplectic form or KKS form on the coadjoint orbit.

• Borel–Bott–Weil theorem, for ${\displaystyle G}$ a compact group
• Kirillov character formula
• Kirillov orbit theory

• Kirillov, A.A., Lectures on the Orbit Method, Graduate Studies in Mathematics, Vol. 64, American Mathematical Society, ISBN 0821835300, ISBN 978-0821835302

• "Coadjoint orbit". PlanetMath.