nLab
adjoint action

Contents

Idea

An adjoint action is an action by conjugation .

Definition

Of a group on itself

The adjoint action of a group G on itself is the action Ad:G×GG given by

Ad:(g,h)g 1hg.Ad : (g,h) \mapsto g^{-1} \cdot h \cdot g \,.

Of a Lie group on its Lie algebra

The adjoint action ad:G×𝔤𝔤 of a Lie group G on its Lie algebra 𝔤 is for each gG the derivative dAd(g):T eGT eG of this action in the second argument at the neutral element of G

ad:(g,x)Ad(g) *(x).ad : (g,x) \mapsto Ad(g)_*(x) \,.

This is often written as ad(g)(x)=g 1xg even though for a general Lie group the expression on the right is not the product of three factors in any way. But for a matrix Lie group G it is: in this case both g as well as x are canonically identified with matrices and the expression on the right is the product of these matrices.

Since this is a linear action, it is called the adjoint representation of a Lie group. The associated bundles with respect to this representation are called adjoint bundles.

Of a Lie algebra on itself

Differentiating the above example also in the second argument, yields the adjoint action of a Lie algebra on itself

ad:𝔤×𝔤𝔤ad : \mathfrak{g} \times \mathfrak{g} \to \mathfrak{g}

which is simply the Lie bracket

ad x:y[x,y].ad_x : y \mapsto [x,y] \,.

Of a Hopf algebra on itself

Let k be a commutative unital ring and H=(H,m,η,Δ,ϵ,S) be a Hopf k-algebra with multiplication m, unit map η, comultiplication Δ, counit ϵ and the antipode map S:HH op. We can use Sweedler notation Δ(h)=h (1) kh (2). The adjoint action of H on H is given by

hg=h (1)gS(h (2))h\triangleright g = \sum h_{(1)} g S(h_{(2)})

and it makes H not only an H-module, but in fact a monoid in the monoidal category of H-modules (usually called H-module algebra).

Revised on February 8, 2013 12:21:55 by Urs Schreiber (89.204.138.214)