arxiv: v2 [math.rt] 17 Jun 2008

Transcription

1 arxiv: v2 [math.rt] 17 Jun 2008 Weighted Vogan diagrams associated to real nilpotent orbits Esther Galina Abstract. We associate to each nilpotent orbit of a real semisimple Lie algebra g o a weighted Vogan diagram, that is a Dynin diagram with an involution of the diagram, a subset of painted nodes and a weight for each node. Every nilpotent element of g o is noticed in some subalgebra of g o. In this paper we characterize the weighted Vogan diagrams associated to orbits of noticed nilpotent elements. Introduction Let G o a real connected reductive Lie group and g o its Lie algebra. The purpose of this wor is to associate to each nilpotent G o -orbit of a simple real Lie algebra g o a diagram. It is nown that the problem can really be reduced to study semisimple groups of adjoint type. In the case where the group and the algebra are complex, the Jacobson and Morozov theorem relates the orbit of a nilpotent element e with a triple (h, e, f) that generates a subalgebra of g isomorphic to sl(2, C). There is a parabolic subalgebra associated to this triple that permits to attach a weight to each node of the Dynin diagram of g. The resulting diagram is called a weighted Dynin diagram associated to the nilpotent orbit of e (see [C]). The Bala and Carter classification [BC] (see also [C]) of nilpotent G-orbits of a complex reductive Lie algebra g establishes a one-to-one correspondence between nilpotent orbits of g and conjugacy classes of pairs (m, q m ), where m is a Levi subalgebra of g and q m is a distinguished parabolic subalgebra of the semisimple Lie algebra [m, m]. The nilpotent orbit comes from the Richardson orbit of the connected subgroup Q m of G with Lie algebra q m. The elements of the nilpotent orbit result distinguished in m. Therefore, it is of great importance the classification of the distinguished parabolic subalgebras, it is done using the weighted Dynin diagrams (see [BC] for this classification for complex simple Lie algebras). In the case where the group and the algebra are real, consider a Cartan decomposition of g o = o + p o. By complexification there is a decomposition g = + p corresponding to a Cartan involution θ. Denote by σ the conjugation in g with respect to g o. In this setting Seiguchi [S] proves a one-to-one correspondence, conjectured by Kostant, between G o -orbits in g o and K-orbits of p where K is the connected subgroup of the adjoint group G of g with Lie algebra. Following the The author was supported in part by CONICET PIP 6308, SECYT-UNC, FONCYT. 1

2 2 ESTHER GALINA ideas of the Bala-Carter classification and using the Kostant-Seiguchi correspondence, Nöel [N] gives a classification of G o -nilpotent orbits in g o. Actually, the classification was previously nown but based on other circle of ideas, see [CMc] for a complete version that includes all the cases, or [Ka] for a general analysis. Nöel proves that the orbits K.e are in one-to-one correspondence with the triples of the form (m, q m, n) where e is a non-zero nilpotent element of p, m is a minimal θ-stable Levi subalgebra of g containing e, q m is a θ-stable parabolic subalgebra of [m, m] and n is a certain (L K)-prehomogeneous space of q m p containing e, where L is the Levi subgroup of the corresponding parabolic subgroup of G with Lie algebra q m. In doing so Nöel defines the noticed nilpotent elements, it results that every nilpotent element e is noticed in the minimal θ-stable Levi subalgebra of g containing e. In analogy with distinguished nilpotent orbits corresponding to distinguished parabolic subalgebras, in our situation noticed nilpotent orbits of p are in correspondence with noticed triples (g, q, n) as above. This explain the importance of the classification of noticed nilpotent K-orbits in p. In this paper we attach to each nilpotent K-orbit a weighted Vogan diagram. It consists in a Vogan diagram (see [Kn]) with weights attached to the nodes. The values of the weights are in the set {0, 1, 2}. Forgetting the painted nodes and the involutive automorphism of the diagram, it is a weighted Dynin diagram. Moreover, from an abstract weighted Vogan diagram one can re-obtain the real algebra g o and a triple (g, q, n). That is, there is an assignment from nilpotent K-orbits in p to equivalence classes of weighted Vogan diagrams. We intent to determine all the weighted Vogan diagrams associated to noticed nilpotent K-orbits in p. For classical real Lie algebras there is a parameterization of nilpotent G o -orbits of g o by signed Young diagrams [SS], [BCu], [CMc], but not for exceptional ones. Nöel determines all the noticed orbits using this parameterization case by case [N]. For exceptional real Lie algebras he uses the Djoović s tables of the reductive centralizer of real nilpotent orbits [D1], [D2]. The classification of noticed nilpotent K-orbits in p by weighted Vogan diagrams will give a classification of all noticed nilpotent orbits of a simple real Lie algebra. In this paper we gives a characterization of the weighted Vogan diagrams of noticed nilpotent orbits. This characterization will permit us to give a classification of all noticed nilpotent orbits of a simple real Lie algebra. It will be the content of a future paper. Kawanaa also gives a parameterization of nilpotent orbits of a simple real Lie algebra using weighted Dynin diagrams (see [Ka]). It seems to be compatible with our description, but here we can explicitly reconstruct the real nilpotent orbit from a weighted Vogan diagram. I want to than Sebastián Simondi for the helpful conversations we have had that developed into the Definition 3.2.1, and to the referee of this wor for the valuable observations. 1. Real nilpotent orbits 1.1. Let G o be a real semisimple Lie group of adjoint type with Lie algebra g o. Let θ a Cartan involution of g o. It gives place to a Cartan decomposition in eighenspaces of g o = o p o where o is the subalgebra of θ-fixed points. Denote the complexification of a space by the same letter but without the subscript. Extend the Cartan involution θ to g linearly. Let σ be the conjugation in g with respect to g o.

3 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 3 If G is the adjoint group of g, denote by K the connected subgroup with Lie algebra The Jacobson-Morosov theorem associates to each nilpotent element e g a triple (or JM-triple) (h, e, f) such that [h, e] = 2e, [h, f] = 2f and [e, f] = h (see [C]). That is, the subalgebra of g generated by the triple is isomorphic to sl(2, C). Moreover, there is a one-to-one correspondence between non-zero nilpotent G-orbits in g and G-conjugacy classes of the Lie subalgebras generated by a triple of g of this ind Following the wor of Kostant-Rallis [KR] if e p there exists a JMtriple (h, e, f) with h K and f p called a normal triple. In this case the one-toone correspondence is between non-zero nilpotent K-orbits in p and K-conjugacy classes of the Lie subalgebras generated by a normal triple of g On the other hand, Seiguchi obtained in [S] that each K-conjugacy class of the Lie subalgebras generated by a normal triple of g contains a subalgebra generated by a normal triple such that f = σ(e) and h i o. Following Nöel, we called it a KS-triple (KS comes from Kostant and Seiguchi). That is, each nilpotent element of p is K-conjugate to an element e of a KS-triple (h, e, f). Moreover, he proves that for each nilpotent G o -orbit O of g o there is a real JM-triple (h o, e o, f o ) that generates a subalgebra isomorphic to sl(2, R) in g o such that e o O and θ(h o ) = h o and θ(e o ) = f o. In this setting, the triple (h, e, f) in g h = c(h o ) = i(e o f o ) i o e = c(e o ) = 1 2 (h o i(e o + f o )) f = c(f o ) = 1 2 (h o + i(e o + f o )), given by the Cayley transform c, is a KS-triple. The application G o.e o K.e produce a one-to-one correspondence between nilpotent G o -orbits in g o and nilpotent K-orbits in p. 2. Nilpotent orbits of real symmetric pairs Continue with the notation of previous section. Nöel in [N] gives a parameterization of nilpotent K-orbits in p following the philosophy of Bala-Carter classification for nilpotent G-orbits in g. According to the Kostant-Seiguchi correspondence of the previous section, this results a classification of nilpotent G o -orbits in g o It is nown that each JM-triple (h, e, f) in g, determines a graduation g = i Z g (j) where g (j) = {x g : [h, x] = j x} (see [BC] for more details). Evidently h g (0), e g (2) y f g ( 2). These eigenspaces have the following property [g (i), g (j) ] g (i+j) for all i, j Z. Denote by l = g (0), u = j>0 g (j) and ū = j<0 g (j). These subspaces are subalgebras of g. The direct sum q = l u is a parabolic subalgebra that contains e. In fact, as adh is semisimple in g, there is a Cartan subalgebra h that contains h.

4 4 ESTHER GALINA Let Ψ = {α 1,...,α n } be a set of simple roots of the root system (g, h) determined by the condition β(h) 0 for all β Ψ. Notice that there are several choices of Ψ with this condition. In fact, if W o is the subgroup of the Weyl group of g generated by the roots β that satisfies β(h) = 0, wψ is another set of simple roots with the same condition for any w W o. Therefore, g (j) = α(h)=j where g α are the corresponding rootspaces. So, q = l u = g (0) j>0 g α g (j) = h α(h) 0 The subalgebra q = q (h,e,f) is called the parabolic subalgebra associated to the JMtriple (h, e, f). Remar If (h, e, f) is a KS-triple, choose the Cartan subalgebra h in the following way. As h, tae t a maximal abelian subspace of that contains h and a maximal abelian subspace a in p that conmutes with t. So h = t a is θ-stable and is a maximal compact Cartan subalgebra of g that contains h. Therefore, the parabolic subalgebra q, the root system (g, h) and the set of simple roots Ψ result θ-stable (see [N] for more details). Denote by Q and L the analytic subgroups of G with Lie algebras q and l respectively. Proposition Let (h, e, f) be a KS-triple, then (i) (L K).e is dense in g (2) p; (ii) (Q K).e is dense in i 2 g (i) p; (iii) dimg (1) = dimg (1) p. The first item of the proposition was proved by Kostant and Rallis ([KR], in proof of Lemma 4). The two other are results of Nöel [N], [N2] The correspondence between nilpotent G-orbits of g and G-conjugacy classes of the Lie algebras generated by a JM-triple of g permits to associate to each nilpotent G-orbit a weighted Dynin diagram. It consists in a pair (D, ω) where D is the Dynin diagram of g and ω is a set of weights attached to the nodes of the diagram. If (h, e, f) is a JM-triple corresponding to a nilpotent G-orbit, ω is defined by ω i = α i (h) where Ψ = {α 1,..., α n } is the set of simple roots of (g, h) defined in 2.1. Note that two weighted Dynin diagrams associated to a pair of JM-triples are equal if and only if the triples are in the same G-conjugacy class. This means that the weighted Dynin diagram only depends on the nilpotent G-orbit (see [BC] or [C] for more details) We need some definitions to explicitly enunciate the results of Nöel. In Bala-Carter results distinguished nilpotent elements play an important role. They are defined as the nilpotent elements whose centralizers do not contain any semisimple element. Or equivalently, e is distinguished if the minimal Levi subalgebra of g that contains it is g itself. Classification of weighted Dynin diagrams of distinguished nilpotent G-orbits gives a parametrization of nilpotent G-orbits because each nilpotent element in g is distinguished in the minimal Levi subalgebra that contains it. For symmetric pairs this role is played by noticed nilpotent elements. g α

5 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 5 Definition (Nöel [N]) A nilpotent element e p is noticed if g is the minimal θ-stable Levi subalgebra that contains e. We will say that a KS-triple (h, e, f) is noticed if e is noticed, as well as the nilpotent K-orbit K.e and the real nilpotent G o -orbit associated to K.e by the Kostant- Seiguchi correspondence. Remar Every distinguished nilpotent element in p is noticed but the converse is not true. Remar Every nilpotent element in p is noticed in the minimal θ-stable Levi subalgebra that contains it. As we consider KS-triples we are in the situation of Remar Proposition (Nöel [N]) The following statements are equivalent: (i) e p is noticed; (ii) the centralizer (h,e,f) of the noticed triple (h, e, f) in is 0. (iii) dimg (0) = dimg (2) p. Remar Every distinguished nilpotent element is even, that is g (i) = 0 for all integer i odd, but this is not true for noticed nilpotent elements We will express in other terms some of previous results, not given so explicitly in [N]. Fix a KS-triple (h, e, f) and continue with the same notation and considerations of 2.1. Each α in the set of positive roots + associated to the set of simple roots Ψ = {α 1,..., α n } is of the form α = n i=1 n iα i for certain non negative integers n i. For each α + define its weight ω α = α(h) and the number l α = α i Ψ n i m α = g αi p n i We will call them the lenght and non-compact lenght of α respectively. Denote by M (j) = {α + : ω α = j, θα = α, m α even, α γ + θγ for some γ + } M (j) p = {α + : ω α = j, θα = α, m α odd} {γ + θγ + : γ +, 2ω γ = j} C (j) = {{α, θα} : α +, θα α, ω α = j} Remar Note that the only situation of g simple where the second set of M p (j) is not zero is in the case g = sl(2m, C) and θ does not fix any simple root. The reason is that the only Dynin diagram with an automorphism of order two such that γ+θγ is a root for some γ + is the case mentioned above. The weight of the root γ + θγ is 2ω γ, so j is even in this case.

6 6 ESTHER GALINA as Proposition The spaces g (j) and g (j) p with j 0 can be described g (0) = t + g α C(X α + θx α ) α ±M (0) {α,θα} ±C (0) g (j) = g α C(X α + θx α ) j > 0 α M (j) {α,θα} C (j) g (0) p = a + g α C(X α θx α ) α ±M (0) {α,θα} ±C (0) p g (j) p = g α C(X α θx α ) j > 0 {α,θα} C (j) α M (j) p Proof. Without lost of generality we can consider g simple. Let g α a root space such that ω α = j > 0. If θα α, then g α θg α = g α g θα is θ-stable and is generated by {X α + θx α, X α θx α } for some 0 X α g α. The first generates (g α g θα ) and the second (g α g θα ) p. So, we have obtained the α-component in the last sumands of the l.h.s. of the equalities. If θα = α, let s see that α = n i=1 n iα i is compact or non compact depending on the parity of m α. Let s prove it by induction on the length l α = n i=1 n i of α. For l α = 1 it is obvious. Consider l α > 1. Hence there exists a root β fixed by θ such that α = β + α s for some s if θα s = α s, or α = β + α s + θα s if θα s α s. In the last case, it is possible that β = 0. In the first case, g α [g β, g αs ]. So, if g αs p, m α = m β + 1. By inductive hypotesis, m β odd implies that g β p. Then, m α is even and g α. The case m β even implies that g β. Then, m α is odd and g α p. If g αs, m α = m β. So, g α if and only if g β. In the second case, suppose β 0. Hence, g αs + θg αs is not a root, according with the possible automorphism of Dynin diagrams of order two. Therefore, g α [g αs, [g β, g θαs ]] and m α = m β. Consider X αs g αs and X β g β. As g θαs = θg αs, we can analyse θ[x αs, [X β, θx αs ]] = [θx αs, [θx β, X αs ]] = [[θx αs, θx β ], X αs ] + [θx β, [θx αs, X αs ]]. But, [θx αs, X αs ] = 0. Hence, θ[x αs, [X β, θx αs ]] = [[θx αs, θx β ], X αs ] = [X αs, [θx β, θx αs ]] Then, g α if and only if g β. If β = 0, it means that α s + θα s is a root. Then, there exits X αs such that 0 [X αs, θx αs ] g αs+θα s and θ[x αs, θx αs ] = [θx αs, X αs ] = [X αs, θx αs ] This says that g α p. So, we have obtained the α-component in the first sumands of the l.h.s. of the equalities. Therefore, the equalities hold for j > 0. If j = 0, we also have to consider the subspaces t and a respectively, and the sets of negative roots M (0), M (0) p and C (0) that have weight zero too. M (1) p Given a set U, denote by U the cardinality of U. Corollary Let (h, e, f) be a KS-triple of g, then the sets M (1) associated to it have the same cardinality. and

7 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 7 Proof. This follows immediatly from Proposition (iii) because 0 = dimg (1) dimg (1) p = M (1) + C (1) ( M (1) p + C (1) ) = M (1) M (1) p Corollary Let (h, e, f) be a KS-triple of g, it is noticed if and only if dimt + 2 M (0) + 2 C (0) = M p (2) + C (2). Proof. This follows inmediatly from Proposition (iii) and the previous proposition Let B be the Killing form of g. Define B by B (x, y) = B(x, θσ(y)) for all x, y g. It results a definite positive hermitian form. Let q = l u be a θ-stable parabolic subalgebra of g, that is l and u are. Let µ be the subspace of u p such that the decomposition u p = µ [u, [u, u p]] is orthogonal with respect to B. Let L be the analytic subgroup of G with Lie algebra l. Let η be an (L K)-module of µ and ˆη = η [l p, η]; ˆη is a θ-stable subspace of g. Define L g the set of pairs (q, η) where q = l u is a θ-stable parabolic subalgebra of g and η as above such that (1) η has a dense (L K)-orbit; (2) ˆη has a dense L-orbit; (3) diml = dimη; (4) ˆη is orthogonal to [u, [u, u]]; (5) ˆη is orthogonal to [u, ˆη]; (6) [u, u p] [q, η]. Remar If (h, e, f) is a KS-triple, then the decomposition (2.1) of g in eigenspaces of ad h of g is orthogonal with respect to B and the parabolic subalgebra associated to it is θ-stable. Having in mind 1.4 and previous definitions, we can state an important correspondence. Theorem (Nöel [N]) There is a one-to-one correspondence between K-conjugacy classes of Lie subalgebras generated by noticed KS-triples and K- conjugacy classes of pairs (q, η) L g. The map (h, e, f) (q (h,e,f), g (2) p) sends K-conjugacy classes of noticed KStriples into K-conjugacy classes of pairs (q, η) L g. It inverse is defined choosing a nilpotent element of the dense (L K)-orbit of the space η and considering a KS-triple associated to it. The main theorem of this wor of Nöel is a consequence of Theorem considering Remar Theorem (Nöel [N]) There is a one-to-one correspondence between K- orbits of nilpotent elements of p and K-conjugation clases of pairs (q m, η m ) L m with m running over all θ-stable Levi subalgebras of g.

8 8 ESTHER GALINA 3. Abstract weighted Vogan diagrams The purpose of this section is to define abstract weighted Vogan diagram. In the next one we will relate them with nilpotent K-orbits in p Here we combine the notions of Vogan diagrams, used in the classification of real simple Lie algebras [Kn], and weighted Dynin diagram, used to classify nilpotent G-orbits [BC], [C]. Definition An abstract Vogan diagram is a diagram with data (D, θ, J) where D is a Dynin diagram of n nodes, θ is an automophism of the diagram D of order at most 2 and J is a subset of θ-invariant nodes of D. An abstract weighted Vogan diagram (D, θ, J, ω) consists on an abstract Vogan diagram (D, θ, J) with a set of weights ω = (ω 1,...,ω n ) associated to the nodes that satisfy ω i = ω θ(i) and ω i {0, 1, 2} for all i = 1,...,n. Remar A weighted Vogan diagram Γ = (D, θ, J, ω) gives place to the weighted Dynin diagram (D, ω) forgetting the automorphism and the painted nodes [C]. In order to draw the diagram, if θ have orbits of 2 elements, the nodes in the same orbit are connected by a doublearrow. The nodes in the set J are painted and each weight is written above the corresponding node. For example, the diagram of Figure 1 corresponds to the data D = D 6, θ the unique non trivial automorphism of D 6 that fix the first four nodes, J = {1, 4} and ω = {2, 0, 0, 0, 1, 1} Figure 1. Remar An automorphism of a Dynin diagram of order two is unique up to an exterior automorphism of the diagram. More explicitly, if the diagram is connected, it is unique except for D Vogan proved that to each abstract Vogan diagram (D, θ, J) one can associate a 4-tuple (g o, θ, h o, + ) of a real Lie algebra g o, a Cartan involution θ of g, a real θ-stable maximally compact Cartan subalgebra h o = t o a o of g o and a positive root system + (g, h) that taes it o before a o (see [Kn], Theorem 6.88). This permits the classification of all simple real Lie algebras, but it is possible that two different abstract Vogan diagrams give place to the same simple real Lie algebra. Given an abstract Vogan diagram Γ = (D, θ, J, ω) we will say that the 4-tuple (g o, θ, h o, + ) is associated to Γ if it is the associated to (D, θ, J). Definition An abstract weighted Vogan diagrams Γ = (D, θ, J, ω) is equivalent to a second one if one can pass from Γ to the other in finite operations of the type:

9 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 9 (A) given j J with ω j = 0, the resulting weighted Vogan diagram is Γ = (D, θ, J, ω) where J = {i J : i is not adjacent to j} {i J : i adjacent to j} Except in the cases: B n : j = n J = J, C n : j = n 1, J = {i J : i n 2} {n 2 if n 2 J}, F 4 : j = 2, J = {i J : i 1} {1 if 1 J}. Given j J with ω j = 0, operation (A) is nothing more than change the colors of the nodes adyacent to j, except for long neighbors of short roots in types B, C and F. For example, the two weighted Vogan diagrams of Figure 2 are equivalent, one is obtained from the other applying operation (A) on the second node Figure We will define the notion of noticed abstract weighted Vogan diagram to be used later. Given an abstract weighted Vogan diagram Γ = (D, θ, J, ω) denote by N θ the number of nodes of D fixed by θ and by N2 θ the number of θ-orbits with two elements. Consider (g o, θ, h o, + Γ ), the 4-tuple associated to Γ. Denote by α j the simple root of + Γ corresponding to the node j. Hence, every root α + Γ has the decomposition: α = n i=1 n iα i for certain non negative integers n i. Its weight and its painted lenght are respectively given by n ω α = Denote by i=1 n i w i p α = i J P (j) np = P (j) np (Γ) = {α + Γ : ω α = j, θα = α, p α even, α γ + θγ for some γ + Γ } P (j) p = P (j) p (Γ) = {α + Γ : ω α = j, θα = α, p α odd} {γ + θγ + Γ : γ + Γ, 2ω γ = j} K (j) = K (j) (Γ) = {{α, θα} : α + Γ, θα α, ω α = j} Definition An abstract weighted Vogan diagrams Γ = (D, θ, J, ω) is noticed if the following equality holds for the corresponding subsets of + Γ, N θ + N θ P (0) np + 2 K (0) = P (2) p + K (2) 4. Real nilpotent orbits and weighted Vogan diagrams Let K and p corresponding to a symmetric pair as in Section 1. We will attach to each nilpotent K-orbit of p a weighted Vogan diagram. The main result is a correspondence between classes of abstract weighted Vogan diagrams and real nilpotent orbits. n i

10 10 ESTHER GALINA 4.1. Let (h, e, f) be a KS-triple of g. We will associate to it an abstract weighted Vogan diagram. To this triple we can attach a weighted Dynin diagram following [BC], [C]. It consists in the Dynin diagram of g and weights in each node defined by ω i = α i (h) according to 2.1. On the other hand, by Remar the Cartan involution θ of g given in 1.1 provides an automorphism of weighted Dynin diagrams where θ(i) is the node corresponding to θα i. As h i, we have that ω θ(i) = θα i (h) = α i (θh) = α i (h). That is, ω θ(i) = ω i for all i. Observe that the weights do not change if one replace the triple by a K-conjugate triple. The KS-triple (h, e, f) remains being a KS-triple by K o -conjugation, K-conjugation preserves normality. This means that ω only depends on the K-orbit. To obtain an abstract weighted Vogan diagram it remains to define the set J of painted nodes. Define J the set of nodes fixed by the automorphism θ that correspond to non compact roots, that is those roots α such that g α p. This fact is also invariant by K-conjugation. Note that in such assignment there is a choice of the set of simple roots Ψ = {α 1,..., α n } and there are W o posibilities of this choice, where W o is the subset of the Weyl group generated by the set of roots α such that α(h) = 0. On the other hand, observe that two weighted Vogan diagrams Γ 1 and Γ 2 obtained from a KS-triple (h, e, f), lie before, associated to different sets of simple roots Ψ 1 and Ψ 2 = wψ 1 for some w W o, are equivalent. In fact, w is a composition of finite reflections s αj with α j a simple root of Ψ 1 in W o. The set s αj Ψ 1 gives rise to the same weighted Vogan diagram if α j is compact or complex, or to one that can be obtained from Γ 1 applying operation (A) of Definition in the node j if α j is non compact. In a finite similar steps one can obtain Γ 2. Therefore we can conclude the following. Proposition There is a map F from the set of K-conjugacy classes of Lie subalgebras generated by KS-triples to the set of equivalent classes of abstract weighted Vogan diagrams. Corollary There is a map F p from the set of nilpotent K-orbits of p to the set of equivalent classes of abstract weighted Vogan diagrams. Moreover, the composition of F p with the Kostant-Seiguchi correspondence, gives a map F go from the set of nilpotent G o -orbits of g o to the set of equivalent classes of abstract weighted Vogan diagrams. Proof. Let O be a nilpotent K-orbit in p. According to Theorem 2.5.3, there is a K-conjugacy class of a pair (q m, η m ) L m corresponding to O where m is a θ-stable Levi subalgebra of g. By Theorem 2.5.2, this pair consists in the θ-stable parabolic subalgebra associated to a noticed KS-triple (h, e, f) in [m, m] such that O = K.e and η m = m (2) p. As these correspondences are one-to-one, we can define F p (O) as the image by F of the K-conjugacy class of the Lie subalgebras generated by (h, e, f). Definition A weighted Vogan diagram is an element of a class in the image of F or F p or F go (all these images are the same). Example The first diagram of Figure 3.2 of the previous section gives place to a 4-tuple (so(2, 5), θ, h o, + ) and the second one to (so(2, 5), θ, h o, s α2 ( + )) where s α2 is the reflexion associated to the simple root α 2 of +.

11 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 11 Proposition Let Γ = (D, θ Γ, J, ω) be the weighted Vogan diagram corresponding to a nilpotent G o -orbit O o of g o. Then, (i) the underlying weighted Dyning diagram (D, w) of Γ is the weighted Dynin diagram of the complex nilpotent G-orbit O = G.O o ; (ii) the underlying Vogan diagram (D, θ Γ, J) of Γ is a Vogan diagram of g o. Proof. Starting with a nilpotent G o -orbit O o of g o and fixing a Cartan involution θ of g o, we can associate to it a nilpotent K-orbit of p by the Kostant-Seiguchi correspondence (see Section 1). The real nilpotent orbit O o = G o.e o is related with the nilpotent K-orbit O p = K.e by a Cayley transform (see 1.4), that is e = c(e o ) = g.e o for a particular element g G. So, G.O p = G.O o = O. Then, the weighted Dynin diagrams associated to the KS-triple (h, e, f) = (c(h o ), c(e o ), c(f o )) and the real JM-triple (h o, e o, f o ) are the same. On the other hand, the weighted Vogan diagram Γ is the one associated to (h, e, f). Following the proof of the Existence Theorem of real semisimple Lie algebras of Vogan diagrams (see Theorem 6.88, [Kn]), the involution θ Γ of D give place to an involution of g, observe that it coincides with θ by construction of θ Γ. As we now, the compact real form of g is o ip o. Then, the real semisimple Lie algebra associated to (D, θ Γ, J) is o p o = g o as we wanted. Remar According to the proof of last proposition, there is no confusion to denote both, the involution of a weighted Vogan diagram Γ = (D, θ, J, ω) and the involution of g, by θ Given a weighted Vogan diagram denote by j 0 = 0, j m+1 = n + 1 and by j 1,..., j m the nodes such that ω ji 0 and j 1 < < j m. Proposition Each equivalent class of weighted Vogan diagrams contains a diagram Γ with the following property: (P) each weighted Vogan subdiagram Γ ji,j i+1 of Γ with nodes j i +1,...,j i+1 1 has at most one painted node, for i = 0, 1,...,m. Proof. Let Γ be a weighted Vogan diagram and Γ ji,j i+1 the subdiagram defined above. The Weyl group associated to Γ ji,j i+1 is isomorphic to a subgroup W ji,j i+1 of W o = Span{s α W : θα = α, ω α = 0}. By a result in [Kn] there is a Vogan diagram with at most one painted node associated to the same real Lie algebra than the underlying Vogan diagram of Γ ji,j i+1. The 4-tuple associated to them differ in the systems of positive roots by an element s i of W ji,j i+1. The element s i is a composition of reflexions in W o. As we have seen before Proposition 4.1.1, the action on the diagram Γ is nothing more than an application of finite operations of type (A). Using this process for each i = 0,...,m we can conclude that the resulting weighted Vogan diagram has property (P). 5. Weighted Vogan diagrams of noticed nilpotent orbits In this section we will give a characterization of weighted Vogan diagrams corresponding to noticed nilpotent G o -orbits of g o According with Subsection 3.2, the following results are direct consequences of Lema

12 12 ESTHER GALINA Lemma Let Γ = (D, θ Γ, J, ω) be a weighted Vogan diagram and (g o, θ, h o, + Γ ) be the 4-tuple associated to it. Then, for each integer j n, the following conditions are equivalent, (i) there exists a root α = n i=1 n iα i + Γ with n j > 0 such that g α g (2) p; (ii) for the j-node of Γ there is a connected weighted Vogan subdiagram Γ j = (D j, θ j, J j, ω j ) that contains it and satisfies one of the following conditions, (a) 0 < i ωj i 2 and there is a root α + Γ + j Γ of weight 2 with odd painted lenght m α and n j > 0, or (b) Γ j is of the type Proof. Suppose α is as in (i). Then, α M (2) p by Lemma Let N j α = {i l : n il > 0}. Denote by Γ j = (D j, θ j, J j, ω j ) the connected weighted Vogan subdiagram such that D j is the Dynin diagram supported on N j α, J j = J N j α, θ j (i) = θ Γ (i) and ω j i = ω i for all i N j α. In particular, α + Γ j. By Lemma 2.4.2, m α is odd or α = γ + θγ because g α g (2) p. Then, α satisfies (ii.a) or Γ j is as in (ii.b). Conversely, given Γ j that satisfies (ii.a), consider α a root of + Γ as in (ii.a). Then, α M p (2). It implies that g α g (2) p by Lemma If Γ j is as in (ii.b), denote by Ψ j the subset of simple roots associated to D j and define the root α = α i Ψ α j i. Then, α = γ + θγ, so it is in M (2) p. Applying again Lemma 2.4.2, the proof is finished. Lemma Let Γ = (D, θ Γ, J, ω) be a weighted Vogan diagram and (g o, θ, h o, + Γ ) be the 4-tuple associated to it. Then, for each integer j n, the following conditions are equivalent, (i) there exists a root α + Γ with n j > 0 such that g α g (2) ; (ii) for the j-node of Γ there is a connected weighted Vogan subdiagram Γ j = (D j, θ j, J j, ω j ) that contains it, 0 < i ωj i 2 and there is a root α + Γ j + Γ of weight 2 such that its painted lenght m α is even and n j > 0. The proof is analogous to the previous one. Lemma Let Γ = (D, θ Γ, J, ω) be a weighted Vogan diagram and (g o, θ, h o, + Γ ) be the 4-tuple associated to it. Then, for each integer j n,the following conditions are equivalent, (i) there exists a complex root α + Γ with n j > 0 and weight 2; (ii) for the j-node of Γ there is a connected non-θ Γ -stable weighted Dynin subdiagram Ω j = (D j, ω j ) that contains it such that i ωj i = 2. Proof. Suppose α is as in (i). As it is complex, the set N j α = {i l : n il > 0} is not θ-stable. Define the connected weighted Dynin subdiagram Ω j = (D j, ω j ) with D j supported in N j α and ω j i = ω i for all i N j α. Observe that θ Γ is not the identity

13 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 13 automorphism. Regarding diagrams with this property, the only posibilities of the numbers n i for any positive root are 0 or 1. Then, i N j ωj i = ω α = 2. Conversely, denote by Ψ j the subset of simple roots associated to Ω j and define the root α = α α i Ψ j i + Γ. Then α satisfies (i) because D is not θ-stable and ω α = i Nα j ωj i = 2. Proposition Let Γ = (D, θ Γ, J, ω) be a weighted Vogan diagram corresponding to the KS-triple (h, e, f) of g and let (g o, θ, h o, + Γ ) be the 4-tuple associated to it. Then, the following statements are equivalent, (1) g is the minimal θ-stable Levi subalgebra that contains h g (2) p; (2) one of the next conditions is satisfied for each node j of Γ, (a) there is a connected non-θ-stable weighted Dynin subdiagram Ω j = (D j, ω j ) that contains the node j such that i ωj i = 2, or (b) there is a connected weighted Vogan subdiagram Γ j = (D j, θ j, J j, ω j ) that contains the node j such that I. 0 < i ωj i 2 and there is a root α + Γ + j Γ of weight 2 with odd painted lenght m α and n j > 0, or II. Γ j is Proof. Let m be a minimal θ-stable Levi subalgebra of g that contains h g (2) p. Then, as m contains h the roots system (m, h) is a subsystem of Γ (g, h). Hence, by Lemmas 5.1.3, and 2.4.2, the node j satisfy condition (a) or (b) if and only iff there is α + Γ with n j 0 such that (g α g θα ) g (2) p or g α g (2) p respectively. Then, this happens for each node j of Γ if and only if every simple root α j of Γ is in (m, h), or equivalently, if and only if m = g. Following the notation of 3.3 we have the following results that caracterize weighted Vogan diagrams associated to noticed KS-triples of g. Theorem If Γ is a weighted Vogan diagram associated to a noticed KStriple (h, e, f) of g, then (1) P np (1) (Γ) and P p (1) (Γ) have the same cardinality; (2) the statement (2) of Proposition holds. Proof. The statement (1) follows inmediatly from Proposition 2.4.3, since the sets P np (1) and P p (1) are equal to the sets M (1) and M p (1) defined in section 2.1 for the system root associated to the KS-triple (h, e, f). Suppose that (h, e, f) is a noticed KS-triple of g, this means that g is the minimal θ-stable Levi subalgebra of g that contains e. But e g (2) p, then g is contained in the minimal θ-stable Levi subalgebra m of g that contains h g (2) p. So, (1) of Proposition is prooved, or equivalently, (2) is true. This proves the second statement. Theorem The following statements are equivalent,

14 14 ESTHER GALINA (1) (h, e, f) is a noticed KS-triple of g; (2) O p = K.e is a noticed nilpotent K-orbit of p; (3) O o = G o.e o is a noticed nilpotent G o -orbit of g o, where e o is the corresponding element of e by the Kostant-Seiguchi correspondence; (4) the weighted Vogan diagram associated to (h, e, f) is a noticed weighted Vogan diagram. Proof. The three first items are equivalent by Definition By Corollary 2.4.4, (h, e, f) is noticed if and only if the subsets of the positive root system + associated to (h, e, f) satisfy dimt + 2 M (0) + 2 C (0) = M p (2) + C (2). But it is obvious that they are related to Γ in the following way: dimt = N θ + N2, θ M (0) = P np (0) (Γ), M p (2) = P p (2) (Γ), C (0) = K (0) (Γ) and C (2) = K (2) (Γ). So, the equality in terms of the sets defined from Γ is exactly the condition on Γ to be noticed. So, (1) and (4) are equivalent. Given a weighted Vogan diagram, the advantage of this caracterization is that it permits to decide easily if it is the associated one to a noticed nilpotent orbit or not. Let s see some examples. Example a) The first diagram of Figure 3.2 is not a noticed weighted Vogan diagram because the first node does not satisfy the condition (2) of Proposition Other argument is that the following numbers are are not equal, N θ + N θ P (0) np + 2 K(0) = P (2) p + K(2) = {α 2 + 2α 3 } + 0 = 1 b) The diagram of Figure 3.1 is not a noticed weighted Vogan diagram. In fact, beside of Γ satisfies (1) and (2) of Theorem 5.1.5, we obtain that N θ + N θ P (0) np + 2 K(0) = = 11 P (2) p + K (2) = = {α 1, α 1 + α 2, α 1 + α 2 + α 3, α 4 + α 5 + α 6, α 3 + α 4 + α 5 + α 6, α 2 + α 3 + α 4 + α 5 + α 6 } + 0 = 6 c) The following diagram is a noticed weighted diagram, Figure 3. In fact, N θ + N θ P (0) np + 2 K (0) = = 7 P (2) p + K (2) = = {α 1 + α 2, α 1 + α 2 + α 3, α 4, α 4 + 2α 5, α 3 + α 4, α 2 + α 3 + α 4 + α 5, α 3 + α 4 + 2α 5 } + 0 = 7.

15 WEIGHTED VOGAN DIAGRAMS ASSOCIATED TO REAL NILPOTENT ORBITS 15 Moreover, this diagram is equivalent to the diagram with the same weights but with all the nodes painted or to the one with the first, third and fifth nodes painted. In this case there more than one diagram with the property (P) of Proposition In a future paper we will present the weighted Vogan diagrams associated to noticed nilpotent orbits. References [BC] P. Bala and R. W. Carter, The classification of unipotent and nilpotent elements, Indag. Math. 36 (1974), [BCu] N. Burgoyne and Cushman, Conjugacy classes in the linear groups, J. of Algebra 44 (1977), [C] R. W. Carter, Finite groups of Lie type: Conjugacy classes and complex characters, Wiley- Interscience Publication, [CMc] D. H. Collingwood and W. M. McGovern, Nilpotent orbits in simple Lie algebras, Van Nostrand Reihnhold Mathematics Series, New Yor, [D1] D. Dojoović, Classification of nilpotent elements in simple exceptional real Lie algebra of inner type and description of there centralizers, J. of Algebra 112 (1988), [D2] D. Dojoović, Classification of nilpotent elements in the simple real Lie algebra E 6(6) and E 6( 26) and description of there centralizers, J. of Algebra 116 (1988), [Ka] N. Kawanaa, Orbits and stabilizers of nilpotent elements of a graded semisimple Lie algebra, J. Fac. Sci. Univ. Toyo, Sect. IA, Math 34 (1987), [Kn] A. W. Knapp, Lie groups beyond an introduction, Progress in Mathmatics, Birhäuser, [KR] B. Kostant and S. Rallis, Orbits and representations associated with symmetric spaces, Amer. J. Math. 93 (1971), [N] A. G. Nöel, Nilpotent orbits and theta-stable parabolic subalgebras, Representation Theory (e-jour. of AMS) 2 (1998), [N2] A. G. Nöel, Nilpotent orbits and θ-stable parabolic subalgebras, Ph.D. Thesis, Northeastern University, Boston (March 1997). [S] J. Seiguchi, Remars on real nilpotent orbits of a symmetric pair, J. Math. Soc. Japan 39 No. 1 (1987), [SS] T. A. Springer and R. Steinberg, Seminar on algebraic groups and related finite groups, Lectures Notes in Math. 131 (1970). CIEM-FAMAF, Universidad Nacional de Crdoba, Ciudad Universitaria, 5000 Crdoba, Argentina address: galinafamaf.unc.edu.ar