Of Parabolic and Seaweed Subalgebras Of
Total Page:16
File Type:pdf, Size:1020Kb
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Linear Algebra and its Applications 374 (2003) 127–142 www.elsevier.com/locate/laa Index of parabolic and seaweed subalgebras ୋ of son Alexander Dvorsky Department of Mathematics, University of Miami, P.O. Box 249085, Coral Gables, FL 33124, USA Received 3 December 2002; accepted 23 April 2003 Submitted by H. Schneider Abstract The index of a Lie algebra r is defined as minw∈r∗ dim rw, where rw is the stabilizer of w ∗ under the coadjoint action of r on r . In this paper we derive simple formulas for the index of parabolic subalgebras of the even orthogonal algebra g = so(2n, k). We use these formulas to prove the conjecture that ind q <nfor any parabolic subalgebra or seaweed subalgebra (inter- section of two weakly opposite parabolics) q of so(2n, k). Some partial results for subalgebras of g = so(2n + 1, k) are also obtained. © 2003 Elsevier Inc. All rights reserved. AMS classification: 17B20; 17B10 Keywords: Parabolic subalgebras; Seaweed subalgebras; Lie algebra index; Frobenius Lie algebra 1. Introduction Let r be a Lie algebra over the algebraically closed field k,andV beafinite- dimensional r-module. We call an element v ∈ V regular if the orbit r · v has the maximal possible dimension (equivalently, the stabilizer rv has the minimal dimen- sion). Consider the dual module V ∗. Denote ind(r,V):= dim V − max (dim r · w). (1) w∈V ∗ ୋ Research supported in part by NSF grant no. 0202132. E-mail address: [email protected] (A. Dvorsky). 0024-3795/$ - see front matter 2003 Elsevier Inc. All rights reserved. doi:10.1016/S0024-3795(03)00552-4 128 A. Dvorsky / Linear Algebra and its Applications 374 (2003) 127–142 This is the index of the r-module V . In the special case of the adjoint representa- tion (V = r), we simply write ind r, and speak about the index of a Lie algebra r.In other words, ind r = min dim rw, (2) w∈r∗ ∗ where rw is the stabilizer of w under the coadjoint action of r on r . The notion of an index of a Lie algebra was introduced by Diximier in [2]. Com- puting the index is trivial for reductive Lie algebras, because in this case the index simply equals the rank of the algebra. On the other hand, for non-reductive Lie alge- bras the index is often hard to estimate––for example, the index for a nilpotent r is equal to the Gelfand–Kirillov dimension of the center of the enveloping algebra of r. The explicit results are known only for some special cases [4,7]. Recently there was a renewal of the interest in the problems of finding indices for various subalgebras in semisimple Lie algebras, motivated by the questions in representation theory and invariant theory. Parabolic subalgebras and their generalizations form one of the most interesting classes of non-reductive Lie algebras. The seaweed subalgebras were introduced in [1] as the intersections of two parabolic subalgebras whose sum is all of g (say, for g = gl(n, k) the seaweed subalgebras are those subalgebras that preserve a pair of opposite partial flags in the vector space kn). In [6], Panyushev proposed the following conjecture: Conjecture 1.1. Let g be a reductive Lie algebra over the algebraically closed field k.Then: (a) For any nonreductive seaweed subalgebra s in g,inds < rank g. (b) For any proper parabolic subalgebra p in q,indp < rank g. The second part of the conjecture is obviously just the corollary of the first part, since any parabolic subalgebra is also a seaweed subalgebra. On the other hand, it was shown in [6] that for classical Lie algebras the second part of the conjecture actually implies the first. Clearly, to prove the above Conjecture it suffices to verify it for the subalge- bras in simple g. In [1], the index of a seaweed subalgebra in gl(n) was expressed in terms of invariants of a certain graph (“meander graph”). This is sufficient to settle the conjecture for g of type An. The reductive procedure introduced in [6] was powerful enough to confirm the Conjecture for all parabolic subalgebras in Lie algebras of type Cn (i.e., g = sp(2n, k))andsome parabolic subalgebras in algebras of type Bn, Dn (g = so(m, k)). The conjecture for the general parabolic subalgebras in orthogonal algebras (as well as for the exceptional simple g) remained open. The main difficulties in extending the results of [1,6] to the orthogonal case are essentially computational. We shall see that the problem of finding the index of an A. Dvorsky / Linear Algebra and its Applications 374 (2003) 127–142 129 arbitrary parabolic p in so(2n) can be reduced to a linear algebra problem. Namely, we will need to look for normal forms of matrices under suitable conjugations and describe the stabilizers for these normal forms. In this paper we will combine the approach of [6,7] with some computational results of [3] to: (a) give explicit formulas for ind p,wherep is a parabolic subalgebra of so(2n, k), (b) prove Conjecture 1.1 for g = so(2n, k). We will also derive expressions for ind p, for many (but not all) parabolic and seaweed subalgebras p ⊂ so(2n + 1, k). 2. Preliminaries We use the following conventions throughout the paper: • All Lie algebras are defined over k,wherek is algebraically closed field of char- acteristic 0. • Capital letters are used to denote Lie groups and the corresponding fractur letters are used for their Lie algebras. • The omitted entries in matrices are always assumed to be 0. We write zt for a trans- pose of z, and use the notation diag(z1,z2,...) for the block-diagonal matrices with blocks z1,z2,... • We write a, b etc. for the ordered strings of positive integers. 2.1. General properties of ind r We list the basic properties of ind(r,V)and ind r for future reference. All of the material in this section is well known. These standard facts are obvious from the definition of the index: • ind(r,V1 ⊕V2) = ind(r,V1)+ind(r,V2), in particular ind r1 ⊕r2 = ind r1 +ind r2, • ind r = rank r for r reductive, • ind r = dim r for r abelian. The following proposition follows immediately from [7] (see also [6, 1.4]). Proposition 2.1. Let r = q + a be a semidirect sum of a Lie algebra q and an ab- elian ideal a.LetQ be a connected Lie group with Lie algebra q, and assume that Q has an open coadjoint orbit Q · w in a∗.Then = ind r ind qw, where qw is the Lie algebra of a stabilizer Qw. 130 A. Dvorsky / Linear Algebra and its Applications 374 (2003) 127–142 Proof. Directly from the definition of index, in this case ind(q, a) = 0. Observe that the open orbit Q · w contains all q-regular elements in a∗. The theorem of Raïs [7] on the index of semidirect sums then gives + = + = ind(q a) ind(q, a) ind qw ind qw. Let now r = r(0) + r(1) + r(2) be a grading of r (i.e., a Z-grading of height 2). We shall refer to a grading like this as a 3-grading. A 3-grading of r induces the grading r∗ = r∗(−2) + r∗(−1) + r∗(0) on r∗, with r∗(−2) = Ann(r(0) + r(1)) etc. Proposition 2.2 [6, 1.5]. Let w be a r(0)-regular element in r∗(−2), and suppose that r · w/= w for r ∈ r(1), r/= 0.Then ind r = ind r(0)w + ind(r(0), r(2)). (3) Remark. Assume that r = r(1) + r(2) is a nilpotent Lie algebra with center r(2) (in the present paper, this will always be the case). Let R be a connected nilpotent Lie group with Lie algebra r. Call a representation of R generic if it corresponds (in the sense of Kirillov’s orbit method) to some regular element of (r)∗. Then the conditions of the Proposition above are satisfied if the generic representations of the group R are determined by their restrictions on the center Z(R) = exp r(2). 2.2. so(2n) and its parabolic subalgebras By SO(2n) = SO(2n, k) we understand the special orthogonal group, realized as the group of all x ∈ SL(2n, k) satisfying 0 I 0 I xt n x = n . In 0 In 0 Then the Lie algebra g = so(2n) consists of the matrices z11 z12 − t , z21 z11 2 n with z12,z21 skew-symmetric n × n matrices (we write z12,z21 ∈ Skew(n) = k ), n×n and z11 ∈ k is arbitrary. We realize the symplectic group Sp(2n) as the group of all x ∈ GL(2n, k) satis- fying xt J x = J ,where 2n 2n 0 In J2n = −In 0 and write sp(2n) for its Lie algebra. Fix the Cartan subalgebra t in g consisting of the diagonal matrices: t = {diag(a1,a2,...,an, −a1, −a2,...,−an)} A. Dvorsky / Linear Algebra and its Applications 374 (2003) 127–142 131 and consider the triangular decomposition g = u + t + u , with u corresponding to taking z21 = 0andz11 upper triangular. Declare the roots of t in u positive, and let ={α1,α2,...,αn} be the corresponding set of simple roots. Here αi = εi − εi+1 (1 i n − 1) and αn = εn−1 + εn,whereεi(diag(a1,a2,..., an, −a1, −a2,...,−an)) = ai.