Coadjoint orbit

Intuition [Beginner]

Coadjoint orbit is an orbit in the dual of a Lie algebra with a natural symplectic form. It gives a geometric rule for motion, constraint, or size without choosing ordinary distances as the main object.

The first picture is phase space: position and momentum are paired. A symplectic structure records how those pairs rotate into motion. It is less like a ruler and more like a turning rule.

This idea matters because Hamiltonian mechanics, reduction, and Floer theory all use the same pairing language.

Visual [Beginner]

The diagram shows a surface with arrows and level curves. It is a mnemonic for the way symplectic geometry ties motion to paired directions.

The picture is not a coordinate proof. It marks the objects that the formal definition makes precise.

Worked example [Beginner]

Use the plane with coordinates called position and momentum. A point records both where something is and how strongly it is moving.

For the energy rule "half position squared plus half momentum squared," the level curves are circles. The motion follows those circles instead of moving straight toward lower energy.

At the point with position 1 and momentum 0, the motion points in the momentum direction. After a quarter turn, the roles have exchanged.

What this tells us: symplectic geometry turns an energy rule into organized motion.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $M$ denote a smooth manifold or $V$ a finite-dimensional vector space, according to the context. The prerequisites used here are 03.03.01, 03.04.01, 05.02.02. The concept coadjoint orbit is the structure described by the following data: a symplectic form $\omega$, compatible maps or subspaces, and the equations preserving the relevant pairing.

For this unit, the sign convention is the geometric Hamiltonian convention

$$\omega (X_H,-)=dH.$$

When the unit is purely linear, replace differential forms by skew bilinear forms. When a group acts, infinitesimal generators are paired with Hamiltonian functions through the same equation ^{[Kirillov orbit method]}.

A morphism between such structures is a smooth or linear map preserving the specified symplectic data. This preservation condition is the source of rigidity results absent from ordinary volume geometry.

Key theorem with proof [Intermediate+]

Theorem (Kostant-Kirillov-Souriau). Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$, and let ${\mathcal{O}}_{\mu }\subset {\mathfrak{g}}^{\ast }$ be the coadjoint orbit of $\mu \in {\mathfrak{g}}^{\ast }$ under ${\mathrm{Ad}}^{\ast }$. Then ${\mathcal{O}}_{\mu }$ is a smooth manifold diffeomorphic to the homogeneous quotient $G/G_{\mu }$, where $G_{\mu }=\{g\in G:{\mathrm{Ad}}_g^{\ast }\mu =\mu \}$ is the coadjoint stabiliser, and ${\mathcal{O}}_{\mu }$ carries a canonical symplectic form ${\omega }_{\mathrm{KKS}}$ characterised at $\mu$ by

$${\omega }_{\mathrm{KKS}}{|}_{\mu }({\mathrm{ad}}_{\xi }^{\ast }\mu ,{\mathrm{ad}}_{\eta }^{\ast }\mu )=⟨\mu ,[\xi ,\eta ]⟩,\xi ,\eta \in \mathfrak{g}.$$

Proof.

Step 1 — Manifold structure. The coadjoint stabiliser $G_{\mu }$ is closed in $G$ (the set where the smooth map $g\mapsto {\mathrm{Ad}}_g^{\ast }\mu$ equals $\mu$), hence a Lie subgroup. The orbit map $G\to {\mathcal{O}}_{\mu }$, $g\mapsto {\mathrm{Ad}}_g^{\ast }\mu$, descends through the quotient and identifies ${\mathcal{O}}_{\mu }$ with the homogeneous space $G/G_{\mu }$, which carries the unique smooth structure making the projection $G\to G/G_{\mu }$ a submersion. The orbit inherits this structure as an immersed submanifold of ${\mathfrak{g}}^{\ast }$.

Step 2 — Tangent space at $\mu$. Differentiating the orbit map at $e\in G$ along $\xi \in \mathfrak{g}$ yields the infinitesimal coadjoint action $\xi \mapsto {\mathrm{ad}}_{\xi }^{\ast }\mu$, where $⟨{\mathrm{ad}}_{\xi }^{\ast }\mu ,\eta ⟩=-⟨\mu ,[\xi ,\eta ]⟩$ for $\eta \in \mathfrak{g}$. The kernel of this map is precisely ${\mathfrak{g}}_{\mu }:=\mathrm{Lie}(G_{\mu })=\{\xi \in \mathfrak{g}:{\mathrm{ad}}_{\xi }^{\ast }\mu =0\}$, so

$$T_{\mu }{\mathcal{O}}_{\mu }\cong \mathfrak{g}/{\mathfrak{g}}_{\mu },[\xi ]⟷{\mathrm{ad}}_{\xi }^{\ast }\mu .$$

Step 3 — Definition and well-definedness. Define the bilinear form on $T_{\mu }{\mathcal{O}}_{\mu }$ by

$${\omega }_{\mathrm{KKS}}{|}_{\mu }({\mathrm{ad}}_{\xi }^{\ast }\mu ,{\mathrm{ad}}_{\eta }^{\ast }\mu ):=⟨\mu ,[\xi ,\eta ]⟩.$$

Replace $\xi$ by $\xi +\zeta$ with $\zeta \in {\mathfrak{g}}_{\mu }$. The right-hand side changes by $⟨\mu ,[\zeta ,\eta ]⟩=-⟨{\mathrm{ad}}_{\zeta }^{\ast }\mu ,\eta ⟩=0$, since ${\mathrm{ad}}_{\zeta }^{\ast }\mu =0$. The same calculation in $\eta$ shows independence of the representative on either side, so ${\omega }_{\mathrm{KKS}}{|}_{\mu }$ is a well-defined bilinear form on $\mathfrak{g}/{\mathfrak{g}}_{\mu }=T_{\mu }{\mathcal{O}}_{\mu }$.

Step 4 — Antisymmetry. The Lie bracket is antisymmetric, so ${\omega }_{\mathrm{KKS}}{|}_{\mu }({\mathrm{ad}}_{\xi }^{\ast }\mu ,{\mathrm{ad}}_{\eta }^{\ast }\mu )+{\omega }_{\mathrm{KKS}}{|}_{\mu }({\mathrm{ad}}_{\eta }^{\ast }\mu ,{\mathrm{ad}}_{\xi }^{\ast }\mu )=⟨\mu ,[\xi ,\eta ]+[\eta ,\xi ]⟩=0$.

Step 5 — Non-degeneracy. Suppose ${\omega }_{\mathrm{KKS}}{|}_{\mu }({\mathrm{ad}}_{\xi }^{\ast }\mu ,{\mathrm{ad}}_{\eta }^{\ast }\mu )=0$ for all $\eta \in \mathfrak{g}$. Then $⟨\mu ,[\xi ,\eta ]⟩=-⟨{\mathrm{ad}}_{\xi }^{\ast }\mu ,\eta ⟩=0$ for all $\eta$, so ${\mathrm{ad}}_{\xi }^{\ast }\mu =0$, i.e. $\xi \in {\mathfrak{g}}_{\mu }$. Hence $[\xi ]=0$ in $\mathfrak{g}/{\mathfrak{g}}_{\mu }$, and the corresponding tangent vector ${\mathrm{ad}}_{\xi }^{\ast }\mu$ vanishes in $T_{\mu }{\mathcal{O}}_{\mu }$. The form is non-degenerate.

Step 6 — Globalisation and closedness. Extend ${\omega }_{\mathrm{KKS}}$ to all of ${\mathcal{O}}_{\mu }$ by $G$-equivariance: for $\nu ={\mathrm{Ad}}_g^{\ast }\mu$, define ${\omega }_{\mathrm{KKS}}{|}_{\nu }$ as the pushforward of ${\omega }_{\mathrm{KKS}}{|}_{\mu }$ along the diffeomorphism ${\mathrm{Ad}}_g^{\ast }:{\mathcal{O}}_{\mu }\to {\mathcal{O}}_{\mu }$. The defining identity is independent of the choice of representative because the coadjoint action permutes orbits and intertwines ${\mathrm{ad}}^{\ast }$ with itself: ${\mathrm{Ad}}_g^{\ast }\circ {\mathrm{ad}}_{\xi }^{\ast }={\mathrm{ad}}_{{\mathrm{Ad}}_g\xi }^{\ast }\circ {\mathrm{Ad}}_g^{\ast }$. The fundamental vector field on ${\mathcal{O}}_{\mu }$ generated by $\xi \in \mathfrak{g}$ is $X_{\xi }(\nu )={\mathrm{ad}}_{\xi }^{\ast }\nu$, and a direct computation gives ${\omega }_{\mathrm{KKS}}(X_{\xi },X_{\eta })(\nu )=⟨\nu ,[\xi ,\eta ]⟩$.

For closedness, evaluate $d{\omega }_{\mathrm{KKS}}$ on the triple $(X_{\xi },X_{\eta },X_{\zeta })$ via the Cartan formula. The fundamental vector fields satisfy $[X_{\xi },X_{\eta }]=-X_{[\xi ,\eta ]}$, and $X_{\xi }$ acts on the function $\nu \mapsto ⟨\nu ,[\eta ,\zeta ]⟩$ as $X_{\xi }\cdot ⟨\nu ,[\eta ,\zeta ]⟩=⟨{\mathrm{ad}}_{\xi }^{\ast }\nu ,[\eta ,\zeta ]⟩=-⟨\nu ,[\xi ,[\eta ,\zeta ]]⟩$. Therefore

$$\begin{array}{rl}d{\omega }_{\mathrm{KKS}}(X_{\xi },X_{\eta },X_{\zeta })(\nu )& =\sum _{\mathrm{cyc}}{X}_{\xi }\cdot {\omega }_{\mathrm{KKS}}(X_{\eta },X_{\zeta })-\sum _{\mathrm{cyc}}{\omega }_{\mathrm{KKS}}([X_{\xi },X_{\eta }],X_{\zeta })\\ & =-\sum _{\mathrm{cyc}}⟨\nu ,[\xi ,[\eta ,\zeta ]]⟩+\sum _{\mathrm{cyc}}⟨\nu ,[[\xi ,\eta ],\zeta ]⟩.\end{array}$$

The Jacobi identity $[\xi ,[\eta ,\zeta ]]+[\eta ,[\zeta ,\xi ]]+[\zeta ,[\xi ,\eta ]]=0$ makes the first cyclic sum vanish, and antisymmetry of the bracket converts the second cyclic sum into the negative of the first, so $d{\omega }_{\mathrm{KKS}}=0$. Since fundamental vector fields span $T_{\nu }{\mathcal{O}}_{\nu }$ at every $\nu$, this identity on the spanning triples suffices.

Combining Steps 1-6, ${\omega }_{\mathrm{KKS}}$ is a closed, non-degenerate, $G$-invariant 2-form on ${\mathcal{O}}_{\mu }$, hence symplectic. $\square$

Step 7 — Worked example: $G=\mathrm{SO}(3)$. Identify $\mathfrak{so}(3)\cong {\mathbb{R}}^3$ with the cross product as Lie bracket, and use the inner product on ${\mathbb{R}}^3$ to identify $\mathfrak{so}(3{)}^{\ast }\cong {\mathbb{R}}^3$. The coadjoint action becomes the standard $\mathrm{SO}(3)$-action on ${\mathbb{R}}^3$, so the orbits are the spheres $S_r^2=\{\mu \in {\mathbb{R}}^3:\Vert \mu \Vert =r\}$ together with the origin. On the unit sphere $S_1^2$, the tangent space at $\mu$ consists of vectors $\xi \times \mu$ for $\xi \in {\mathbb{R}}^3$, and the KKS form evaluates to ${\omega }_{\mathrm{KKS}}{|}_{\mu }(\xi \times \mu ,\eta \times \mu )=\mu \cdot (\xi \times \eta )$. This is the standard area form on $S_1^2$ (up to sign): it equals $\pm 1$ on the oriented orthonormal pair tangent to the unit sphere. The Hamiltonian function $h(\mu )=⟨\mu ,e_3⟩$ has Hamiltonian vector field generating rotation about the $e_3$-axis, recovering the angular-momentum interpretation.

Step 8 — Lie-Poisson interpretation. The dual ${\mathfrak{g}}^{\ast }$ carries the Lie-Poisson bracket

$$\{f,g\}(\mu )=⟨\mu ,[d{f}_{\mu },d{g}_{\mu }]⟩,f,g\in C^{\infty }({\mathfrak{g}}^{\ast }),$$

where $d{f}_{\mu },d{g}_{\mu }\in {\mathfrak{g}}^{\ast \ast }\cong \mathfrak{g}$ in finite dimension. This bracket is degenerate: its symplectic leaves are exactly the coadjoint orbits, and the restriction of the Lie-Poisson bracket to ${\mathcal{O}}_{\mu }$ is the Poisson bracket of the symplectic form ${\omega }_{\mathrm{KKS}}$. The KKS form is therefore not an extra structure but the symplectic-leaf restriction of the canonical Poisson structure on ${\mathfrak{g}}^{\ast }$. This is the perspective taken when the moment map 05.04.01 is recognised as the inclusion ${\mathcal{O}}_{\mu }\hookrightarrow {\mathfrak{g}}^{\ast }$ for the natural $G$-action on the orbit by ${\mathrm{Ad}}^{\ast }$.

Bridge. The construction here builds toward 05.04.01 (moment map), where the same data is developed in the next layer of the strand. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Advanced results [Master]

The construction of coadjoint orbit is invariant under symplectomorphism. In local Darboux coordinates, the form is modeled by

$${\omega }_0=\sum _{i}d{q}_i\wedge d{p}_i,$$

and global information is carried by the way these local models are glued. This separation between local normal form and global obstruction is a recurring feature of the subject ^{[Kirillov orbit method]}.

For Hamiltonian group actions, the infinitesimal action, moment map, and Poisson bracket form one algebraic package. The identity $\omega (X_H,-)=dH$ converts functions into vector fields, and equivariance converts Lie brackets into Poisson brackets. Reduction, coadjoint orbits, and Floer complexes are built from this package.

Compactness and transversality questions enter when one counts trajectories or curves. In the finite-dimensional part of the strand, the essential inputs are closedness, nondegeneracy, and regular-value hypotheses. In Floer-theoretic units, analytic compactness replaces finite-dimensional regularity.

Synthesis. This construction generalises the pattern fixed in 03.03.01 (lie group), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Proposition. Hamiltonian vector fields preserve the symplectic form.

Let $X_H$ be defined by ${\iota }_{X_H}\omega =dH$. Cartan's formula gives

$${\mathcal{L}}_{X_H}\omega =d{\iota }_{X_H}\omega +{\iota }_{X_H}d\omega =d(dH)+0=0.$$

Hence the derivative of ${\Phi }_t^{\ast }\omega$ along the Hamiltonian flow is zero, and ${\Phi }_t^{\ast }\omega =\omega$ whenever the flow is defined.

Proposition. A symplectic linear map preserves symplectic orthogonals.

Let $A:V\to V$ satisfy $\omega (Av,Aw)=\omega (v,w)$. If $x\in W^{\omega }$, then $\omega (Ax,Aw)=\omega (x,w)=0$ for every $w\in W$. Hence $Ax\in (AW{)}^{\omega }$. Applying the same argument to $A^{-1}$ gives equality.

Connections [Master]

• The smooth-manifold language comes from 03.02.01, and differential forms enter through 03.04.02.

• The closedness condition uses exterior derivative 03.04.04 and feeds de Rham cohomology 03.04.06.

• This unit connects directly to 03.03.01, 03.04.01, and 05.02.02 inside the symplectic strand.

• Hamiltonian action principles also connect to variational calculus 03.04.08.

Historical & philosophical context [Master]

Hamiltonian mechanics supplied the original phase-space formalism, with canonical coordinates and the pairing of position and momentum. Poincare's qualitative theory of dynamical systems and Arnold's geometric mechanics placed this formalism in the language of manifolds and differential forms ^[Arnold].

Gromov's 1985 introduction of pseudoholomorphic curves changed symplectic topology by producing global rigidity phenomena not visible from Darboux's local theorem ^{[Gromov 1985]}. Floer's work later adapted infinite-dimensional Morse theory to Hamiltonian fixed points and Lagrangian intersections ^{[Floer original papers]}.

Bibliography [Master]

[object Promise]