The Derived Algebra of a Stabilizer, Families of Coadjoint Orbits, and Sheets, Arxiv:1202.1135V2 (2012)

arXiv:1202.1135v3 [math.RT] 30 Oct 2013 otevariety the to oiesno h set the of codimenson rsn oe h olwn ipegoercfc spoe:ayelem any proved: is fact geometric simple following the note, present leri ait.Tesuyo h varieties the of study The variety. algebraic hc aetesm codimension same the have which a eietfidwt h ait fajitobt fcodimension of orbits adjoint of variety the with identified be can atta h tblzro eei element generic a of stabilizer the that fact etesaiie fa element an of stabilizer the be ri ehd[] hc eae h ntr ulof dual unitary the relates which [6], method orbit h odon cin and action, coadjoint the g Let Introduction 1 emtyof geometry fti atrvreyaecle hes Let sheets. called are variety latter this of etaie of centralizer of asn through passing rudfil fcaatrsi eo h eodcnetr,sta conjecture, second The tru is zero. conjecture characteristic this of [12], L.Topley field and ground A.Premet by shown recently if that [5] S paper present the of version k ∗ /G asn through passing ∗ a ntescn ato h oe eiipeLealgebra Lie semisimple a note, the of part second the In o osdrafiiedmninlra rcmlxLealgebra Lie complex or real finite-dimensional a consider So, ocwSaeUiest n ihrSho fEoois E-m Economics. of School Higher and University State Moscow g hnteaoefruae ttmn eoe h olwn:th following: the becomes statement above-formulated the Then . h eie ler fasaiie,fmle fcoadjoint of families stabilizer, a of algebra derived The eafiiedmninlra rcmlxLeagba h group The algebra. Lie complex or real finite-dimensional a be fteppr h eaini icse ewe h eie a derived the between discussed is relation the paper, the of h e fcajitobt hc aetesm ieso st as dimension same the have which orbits coadjoint of set the ler facnrlzradsheets. relat and the centralizer and a considered, of are algebra algebras Lie semisimple part, peri hspcuea aua taaof strata natural as picture this in appear Let g g k ∗ a eafiiedmninlra rcmlxLeagba n let and algebra, Lie complex or real finite-dimensional a be g o each for k ∗ sotooa oaysetpsigthrough passing sheet any to orthogonal is a hn[ then , tapoint a at a ∈ { g µ k hn[ then , g g . a ∈ ∗ , sflae noteobt fti cin osdrteuino l orbit all of union the Consider action. this of orbits the into foliated is g g a µ ∗ steotooa opeetto complement orthogonal the is ] | g µ ∈ a i [ dim , k ∈ g g ris n sheets and orbits, eoeti no by union this Denote . ∗ a g seatyteotooa opeetto complement orthogonal the exactly is ] aihso h eie ler of algebra derived the on vanishes g g ∗ µ sacasclsml i ler,adteei nqesheet unique a is there and algebra, Lie simple classical a is no Izosimov Anton ihrsett h odon ersnainof representation coadjoint the to respect with , g a µ ] µ ∈ Abstract g ≥ ∈ k ∗ g n let and , k a ntae yAKrlo ncneto ihthe with connection in A.Kirillov by initiated was g 1 g } ∗ ∗ /G sAbelian. is G sa least at is otesto odon orbits coadjoint of set the to hrfr ti motn oudrtn the understand to important is it therefore , g a i:[email protected] ail: ∗ g o sdsusdbtentederived the between discussed is ion = g k ∗ aho h sets the of Each . a scniee.I hscs,teset the case, this In considered. is { k gbao h tblzrof stabilizer the of lgebra twscnetrdi h earlier the in conjectured was It . x hc eeaie h well-known the generalizes which , g igta if that ting ∈ P eobtof orbit he Let . g k G T h reuil components irreducible The . | o n lerial closed algebraically any for e a [ ent cso h ulspace dual the on acts µ ,a x, S g ∈ i µ ean open. remains , eie ler fthe of algebra derived e ξ g g = 0 = ] ∗ µ ∈ ntefis part first the In . µ sacrlay the corollary, a As . { S ntesecond the In . x g 1 } S , . . . , ∗ g ∈ S k ∗ etecentralizer the be hc stangent is which si a been has it As . g saquasi-affine a is g | ∗ ad /G k µ ∗ r sheets are h sets The . x g and ( nthe In . µ 0 = ) g ∗ via g k ∗ } s 2 The derived algebra of a stabilizer and families of coadjoint orbits

Families of coadjoint orbits of the same dimension Let g be a real or complex Lie algebra. ∗ ∗ Let gµ = {x ∈ g | ad x(µ)=0} be the stabilizer of an element µ ∈ g with respect to the coadjoint ∗ ∗ ∗ action. Let gk = {µ ∈ g | dim gµ = k}. It is clear that gk is a quasi-aﬃne algebraic variety for ∗ ∗ ∗ each k, and g is a disjoint union of all gk. The variety gk can be also deﬁned as the union of all coadjoint orbits of codimension k. g∗ g∗ g∗ g∗ g∗ For any µ ∈ , denote (µ)= dim gµ ; in other words, (µ) is k passing through µ.

Main statement Proposition 2.1. Let γ be a smooth curve in g∗ such that γ(0) = µ and γ(t) ∈ g∗(µ) for all t. Then the tangent vector γ˙ (0) vanishes on the derived algebra of gµ:

hγ˙ (0), [gµ, gµ]i =0.

Proof. Since dim gγ(t) = dim gµ for all t, the bundle of stabilizers is locally trivial over the curve γ, and it is possible to choose a basis e1(t),...,ek(t) in gγ(t) such that ei(t) depends smoothly on t. Since ei(t) ∈ gγ(t), the following equality holds:

hγ(t), [ei(t),ej (t)]i =0.

Diﬀerentiating with respect to t at t = 0, obtain

hγ˙ (0), [ei(0),ej (0)]i + hµ, [e ˙i(0),ej (0)]i + hµ, [ei(0), e˙j(0)]i =0.

Since ei(t) are elements of the stabilizer, the last two terms vanish, and

hγ˙ (0), [ei(0),ej (0)]i =0, which implies thatγ ˙ (0) vanishes on the derived algebra of gµ, q.e.d. Remark 2.1. The proposition remains true if γ(t) is only deﬁned for t ≥ 0 and the right derivative ∗ γ˙ +(0) exists. This may happen if g (µ) has a singularity at µ. Corollary 2.1. Consider the case when g∗(µ) is smooth at the point µ. Then ∗ 1. Each element of the tangent space Tµg (µ) vanishes on the derived algebra of gµ:

∗ hTµg (µ), [gµ, gµ]i =0.

2. The following inequality is satisﬁed:

∗ dim [gµ, gµ] ≤ codimµ g (µ). (1)

3. The equality ∗ dim [gµ, gµ] = codimµ g (µ) ∗ is satisﬁed if and only if Tµg (µ) is exactly the annihilator of [gµ, gµ].

2 Remark 2.2. Inequality (1) shows that the derived algebra of a stabilizer cannot be too big. It resembles the following inequality for the index of a stabilizer: ind gµ ≥ ind g (Vinberg, see [10]). Corollary 2.2. The codimension of the set of elements µ ∈ g∗ such that

dim [gµ, gµ] ≥ k is at least k.

Example 2.1. For regular µ, obtain a well-known fact: gµ is abelian. Corollary 2.2 can be viewed as a natural generalization of this fact. It says that for a “not too singular” µ, its stabilizer is almost Abelian. Example 2.2. Let g be complex semisimple. Then, for a generic singular element µ, the dimension of [gµ, gµ] equals three. So, by Corollary 2.2, the codimension of the singular set for a complex semisimple Lie algebra is at least three. On the other hand, it is well known that this codimension is exactly three. Example 2.3. Suppose that the set of singular elements in g∗ is a hypersurface. Then the stabilizer of a generic singular element is one of the following types: 1. Abelian; 2. aff(1) ⊕ Abelian, where aff(1) is the Lie algebra of aﬃne transformations of the line;

3. h2n+1 ⊕ Abelian, where h2n+1 is the 2n + 1-dimensional Heisenberg algebra. The class of Lie algebras for which the set of singular elements in g∗ is a hypersurface is particularly important for integrable systems [1, 2]. Remark 2.3. Rewrite (1) as ∗ dimµ g (µ) − dim O(µ) ≤ dim gµ − dim [gµ, gµ] (2) where O(µ) is the coadjoint orbit of µ. Coadjoint orbits form families and the diﬀerence ∗ dimµ g (µ) − dim O(µ) is exactly the local dimension of such a family. Inequality (2) estimates this dimension. Example 2.4. Let g = gl(n),

µ = diag(λ1,...,λ1, λ2,...,λ2,...,λs,...λs).

k1 k2 ks

Then gµ ≃ gl(k1) ⊕···⊕ gl(ks), so dim| g{zµ −}dim| [g{zµ, gµ}]= s.| On{z the} other hand, the set of orbits close to O(µ) which have the same dimension as O(µ) is parameterized by the eigenvalues λ1,...,λs, ∗ so dimµ g (µ) − dim O(µ) is also equal to s, and inequality (2) turns into equality.

What happens if the transverse Poisson structure is linearizable Let M be a Poisson manifold, and µ ∈ M. Recall that, by the Weinstein splitting theorem [14], M can be locally decomposed into the direct product of a symplectic manifold and a manifold with a Poisson structure vanishing at µ. This latter Poisson structure is unique up to a diﬀeomorphism and is called the transverse Poisson structure at the point µ. More details can be found in [3].

3 In the case when M is the dual g∗ of a Lie algebra g, the linear part of the transverse Poisson structure at a point µ is the Lie-Poisson structure of the stabilizer gµ. Consequently, if the transverse Poisson structure at a point µ is linearizable, then the Lie-Poisson structure on g∗ can be locally decomposed into the direct product of a symplectic structure and the Lie-Poisson structure of the stabilizer gµ, which allows to prove the following. Proposition 2.2. Assume that the transverse Poisson structure at a point µ is linearizable. Then g∗(µ) is smooth at the point µ, and

∗ dimµ g (µ) − dim O(µ) = dim gµ − dim[gµ, gµ].

Example 2.5 (M. Duﬂo, see [13, 3]). Let g be a Lie algebra given by the following linear Poisson structure ∂ ∂ ∂ ∂ ∂ ∂ ∧ (x2 + x3 +2x4 )+ x4 ∧ . ∂x1 ∂x2 ∂x3 ∂x4 ∂x2 ∂x3 ∗ 2 2 Consider µ ∈ g with x4 = 0 and x2 + x3 > 0. Then the stabilizer of µ is Abelian: dim [gµ, gµ] = 0. On the other hand, codim g∗(µ) = 1. Consequently, the transverse Poisson structure at µ is not linearizable.

3 Semisimple case: the derived algebra of a centralizer and sheets

Sheets In the semisimple case, the coadjoint and the adjoint actions can be identiﬁed by the ∗ means of the Killing form. This identiﬁcation maps the variety gk to the variety

g(k) = {a ∈ g | dim ga = k} where ga = {x ∈ g | [a, x]=0} is the centralizer of a. Irreducible components of the varieties g(k) are called sheets of g. Recall some facts about the topology of sheets. 1. Sheets are not necessarily smooth. However, if g is a classical simple Lie algebra, then sheets are smooth (Im Hof [4]). 2. Sheets are not necessarily disjoint even in the classical case. However, they are for g = sl(n, C) (Kraft and Luna [7], Peterson [11]). Study the relation between sheets and the derived algebra of a centralizer.

The main statement in the semisimple case Using Corollary 2.1, obtain the following. Proposition 3.1. Let g be a real or complex semisimple Lie algebra. Suppose that a ∈ g belongs to a sheet S, and S is smooth at the point a. Then the derived algebra of the centralizer of a is orthogonal to S at the point a: a a h [g , g ], TaS i =0.

4 [ga, ga] ga

a of it rb O Sheet

Figure 1

Corollary 3.1. Let g be a real or complex semisimple Lie algebra. Suppose that a ∈ g belongs to a sheet S, and S is smooth at the point a. Then the following three statements are equivalent. 1. The derived algebra of the centralizer of a is exactly the orthogonal complement to S at the point a:

a a ⊥ [g , g ]=(TµS) . (3)

2. The dimension of the derived algebra of the centralizer of µ is equal to the codimension of S: dim [ga, ga] = codim S.

3. The codimension of [ga, ga] in ga is equal to the codimension of O(a) in S: dim ga − dim [ga, ga] = dim S − dim O(a).

If one of these three conditions is satisﬁed, the picture is the following: the centralizer is the orthogonal complement to the orbit while its derived algebra it is the orthogonal complement to the sheet (Figure 1).

The case of a semisimple element Proposition 3.2. If g is a real or complex semisimple Lie algebra, and a ∈ g is semisimple, then there is only one sheet S passing through a, S is smooth at a, and equality (3) holds. Proof. Since the transverse Poisson structure at a semisimple point is linearizable [8], the proof follows from Proposition 2.2. Corollary 3.2. Let g be a compact real Lie algebra. Then all sheets of g are smooth, disjoint, and the equality (3) holds for every a ∈ g. Proof. The proof follows from the fact that all elements of a compact algebra are semisimple.

5 The case of sl(n, C) Proposition 3.3. The equality (3) holds for every a ∈ sl(n, C). Proof. Denote by h(λ) the size of the largest Jordan block of a with the eigenvalue λ. Prove that

dim ga − dim [ga, ga] = dim S − dim O(a)= h(λ) − 1. 1. dim ga − dim [ga, ga] = ( h(λ)) − 1. X It suﬃces to prove this equalityP for the case when a is nilpotent. This can be easily done by studying the commutation relations for ga found by O.Yakimova [15]. 2. dim S − dim O(a) = ( h(λ)) − 1. This fact is known inP the case when a is nilpotent (A.Moreau [9]). The idea of the proof for an arbitrary element is as follows. For each eigenvalue λ, take a sequence of complex numbers ε1(λ),...,εh(λ)(λ). To each Jordan block of a with the eigenvalue λ, add a diagonal matrix diag(ε1(λ),...,εk(λ)) where k is the size of the block. This gives a family aε ∈ sl(n, C) of dimension ( h(λ)) − 1. It is easy to check that the dimension of the centralizer of each a x ∈ aε is equal to the dimension of g , so aε ⊂ S where S is the sheet passing through a. At P the same time, the family aε is transversal to the orbit O(a), so

dim S ≥ dim O(a)+ h(λ) − 1.

On the other hand, by Proposition 3.1, X

dim S − dim O(a) ≤ dim ga − dim [ga, ga]= h(λ) − 1, so dim S − dim O(a) = ( h(λ)) − 1, q.e.d. X P

The case of an arbitrary classical simple Lie algebra In the previous version of the present paper [5], the following conjecture was formulated. Conjecture 3.1. Let g be a complex classical simple Lie algebra. 1. If there is only one sheet S passing through a ∈ g, then equality (3) holds, i.e.

a a ⊥ [g , g ]=(TaS) .

2. If a ∈ g belongs to several sheets S1,...Sk, then ⊥ k a a [g , g ]= TaSi . i=1 ! X Recently, A.Premet and L.Topley [12] have proved the ﬁrst part of this conjecture for any algebraically closed ground ﬁeld of characteristic 0. They have also provided a combinatorial description of those elements a ∈ g for which there is only one sheet passing through a. The second part of the conjecture remains open. Also note that the conjecture is false for the exceptional Lie algebra G2, as it follows from Remark 3 of [15].

6 References

[1] Bolsinov, A.V., Compatible Poisson brackets on Lie algebras and completeness of families of functions in involution, Mathematics of the USSR-Izvestiya, 38:1 (1992), 69-90.

[2] Bolsinov, A., and Zhang P., Jordan-Kronecker invariants of finite-dimensional Lie algebras, arXiv:1211.0579 (2012). [3] Dufour, J.-P., and Nguyen T.Z., “Poisson Structures and Their Normal Forms”, Birkhauser Basel, 2005. [4] Im Hof, A., The sheets of a classical Lie algebra, PhD Thesis, University of Basel, Faculty of Science (2005). [5] Izosimov, A., The derived algebra of a stabilizer, families of coadjoint orbits, and sheets, arXiv:1202.1135v2 (2012). [6] Kirillov, A.A., Représentations unitaires des groupes de Lie nilpotents, Uspehi Mat. Nauk, 17 (1962), 57-110. [7] Kraft, H., Parametrisierung von Konjugationsklassen in sl(n), Math. Ann., 234 (1978), 209- 220. [8] Molino, P., Structure transverse aux orbites de la représentation coadjointe: le cas des orbites réductives, Séminaire Gaston Darboux de Géométrie Différentielle àMontpellier (1983-1984), 55-62. [9] Moreau, A., On the dimension of the sheets of a reductive Lie algebra, Journal of Lie Theory, 18:3 (2008), 671-696.

[10] Panyushev, D., The index of a Lie algebra, the centraliser of a nilpotent element, and the normaliser of the centraliser, Math. Proc. Camb. Phil. Soc. 134 (2003), 41-59. [11] Peterson, D., Geometry of the adjoint representation of a complex semisimple Lie algebra, Har- vard thesis (1978). [12] Premet, A., and Topley, L., Derived subalgebras of centralisers and ﬁnite W-algebras, arXiv:1301.4653 (2013).

[13] Weinstein, A., Poisson structures and Lie algebras, Astérisque, hors série (1985), 421-434. [14] Weinstein, A., The local structure of Poisson manifolds, J. Diff. Geom. 18 (1983), 523-557. [15] Yakimova, O., On the derived algebra of a centraliser, Bull. des Sciences Math. 134:6 (2010), 579-587; arXiv:1003.0602v1.