sign in sign up
<<
Home , General linear group, Group of Lie type, Real form (Lie theory)

arXiv:2101.02732v1 [math.GR] 7 Jan 2021 then ngop,se[ see groups, in real. strongly necessarily not g ftoivltosin involutions two of scalled is 1.1. nt ipegop n hi oal rhgnlrpeettosh representations orthogonal totally their investigat [ [ and Zalesski in groups and type simple Tiep Lie finite reality of groups. the of finite Investigations around finite group focused classified. finite also them been for are has [ this literature real on of eg. are worked amount elements here, have enormous few very authors an exceptiona a is Several An There groups. real. groups. finite strongly of is group. symplectic families it the if is only hold and not does if this real where is family field element perfect semisimple a over a group algebraic semisimple r adjoint a connected when a [ is in in that question, e.g. converse real, the address investigations the lmn nteWy ru.I olw rm[ from follows It group. Weyl the in element o nw o oto h ae xetfravr e aiis see families, few very a for except cases the of most for known not Vi − thsbe rbe fwd neett netgt h eladst and real the investigate to interest wide of problem a been has It at a upre ya BMPFdrn h oreo hswork. this of course the during PDF NBHM an by supported was MATMaity SERB-DST from support partial acknowledges Gongopadhyay phrases. and words Key 2010 known is elements real strongly and real of classification complete A ie nifiiegop opeecasfiaino eladstrongly and real of classification complete a group, infinite an Given 1 ELT FUIOETEEET NSML I GROUPS LIE SIMPLE IN ELEMENTS UNIPOTENT OF REALITY ]. = elt n togRaiyi Groups. in Reality Strong and Reality g hgh ahmtc ujc Classification. Subject i ru.As,teifiieial-elsmsml lmnsi ope s in intro complex elements in will classified. elements unipotent are we semisimple real algebras infinitesimally-real this group strongly Lie the Lie do and Also, a To real in group. reality classify Lie . to the applied Lie of notion been simple the classical of version a infinitesimal in elements unipotent Abstract. ssrnl el hsasrnl eleeetin element real strongly a Thus real. strongly is real − 1 h element The . or ST FS reversible ig n hkrpoe h qiaec fraiyadsrn rea strong and reality of equivalence the proved Thakur and Singh ] RSNNUGNOAHA N HNA MAITY CHANDAN AND GONGOPADHYAY KRISHNENDU h i fti ae st ieacasfiaino eladsrnl rea strongly and real of classification a give to is paper this of aim The o nepsto fti hm.Hwvr nteltrtr,ms o most literature, the in However, theme. this of exposition an for ] G TZ2 qiaetyi hr sa an is there if equivalently , eleeet togyra lmn,uioetelement. unipotent element, real Strongly element, Real fi scnuaeto conjugate is it if ,[ ], g TZ1 scalled is VG .Rcnl ls eainhpbtensrn elt in reality strong between relationship close Recently ]. ,[ ], 1. G81 Introduction rmr 04;Scnay 26,17B08. 22E60, Secondary: 20E45; Primary togyreal strongly .I [ In ]. ST 1 g TZ2 − hti otcasclgop vrafield, a over groups classical most in that ] 1 in ealta,a element an that, Recall ,fiieqaisml rusweeall where groups quasi-simple finite ], or G togyreversible strongly hti hr sa is there is that , G ISpoet MTR/2017/000355. project: RICS sra,btara lmn is element real a but real, is h ∈ G [ a lmn sstrongly is element eal FS sbe salse in established been as fuioetelements unipotent of lsia simple classical a hsnto has notion This . dti usini a in question this ed othat so ogyra elements real rongly .Teol classical only The ]. ,w nymention only we s, ml classical imple provided nfiiesimple finite in e otyfrafew a for mostly h if eleeet is elements real g in g uean duce g nagroup a in saproduct a is − G 1 classical l uhthat such = − l san is 1 hgh lity − G 1 f , 2 K.GONGOPADHYAYANDC.MAITY

Lie groups where concrete classifications are known are the general linear groups, compact groups and real rank one classical groups, e.g. [FS, GP, BG]. The aim of this paper is to give a complete classification of the real and strongly real unipotent elements in a classical simple . In the literature, the investigations of the reality problem have been done mostly from the viewpoint of and the theory of algebraic groups. In some geometric cases, e.g. real rank one, local geometry of the transformation have also seen a role. Even though there is a complete classification for simple Lie groups, we have not seen any work where general structure theory of Lie groups has been used to tackle the problem. This work is an attempt to fill this gap in the literature and initiate an investigation of reality using the adjoint representations. For this, we initiate an infinitesimal notion of reality, viz. AdG-real given below. This infinitesimal reality not only helps us to classify the unipotent classes, but it may be a problem of independent interest to investigate these classes in their own rights.

1.2. Adjoint Orbits and Reality. Let G be a Lie group with g. Consider the natural Ad(G)-representation of G on its Lie algebra g Ad: G GL(g) . −→ For X g, the adjoint orbit of X in g is defined as := Ad(g)X g G . If X g is ∈ OX { | ∈ } ∈ nilpotent (resp. semisimple), then X is called (resp. semisimple orbit). Many deep results about such orbitsO are available in the literature, e.g. [CM], [Mc]. We relate this theory with the above problem of reality in Lie groups. To connect the two themes, we define the following.

Definition 1.1. An element X g is called AdG-real if X X . An AdG-real element is called strongly Ad -real if X∈= Ad(τ)X for some τ −G ∈so O that τ 2 = Id. G − ∈ We will show that the classical reality of the unipotent elements in a Lie group and AdG-reality of the nilpotent elements are equivalent but this is not true in general. To see this let I1,1 = diag(1, 1) = exp Y GL2(C), where Y = diag(√ 12π, √ 1π). Then − ∈ C − − I1,1 is strongly real but Y is not AdGL2(C)-real in gl2( ).

In this paper by a real element in the Lie algebra g we mean the AdG-real element whenever the underline Lie group G is understood from the context. Similarly, by the real element in the Lie group G we mean the classical reality. We shall classify the AdG- real nilpotent classes in a and that leads us to the classification of real unipotent classes in the corresponding Lie group using the exponential map, see Section 2.

1.3. Summary of our results. First, we shall consider the complex simple Lie groups, i.e. the corresponding Lie algebra g is a simple Lie algebra over C. We prove that every unipotent element in a complex semi- G is real, see Proposition 5.2. However, not every unipotent is strongly real in general, and we classify precisely which unipotent elements are strongly real. Next we will consider the real simple Lie groups, and classify real and strongly real unipotent elements in those groups. As mentioned above, we have not seen any place in the literature where the problem of reality has been addressed using Lie theoretic tools. Rather it has been using tools from . So, to follow that tradition, we divide the real and complex Lie groups as per their geometric algebra classification and summarize our results in the context of each class. REALITY OF UNIPOTENT ELEMENTS 3

In the following let D = R, C or H unless stated otherwise. Let GLn(D) be the general over D. Other than GLn(D), we have worked with the classical Lie groups and Lie algebras as listed in Section 3.2. In the following we give summary of our results concerning these groups.

1.3.1. The . The real and strongly real elements in GLn(D) are well- understood in the literature, e.g. [Wo], [FS]. However, we do not know any literature for GLn(H). We have given a uniform approach to prove that every unipotent element in GLn(D) is strongly real, see Proposition 5.4.

1.3.2. The . The classification of real and strongly real elements in SLn(D) is more tricky than the general linear case. It is easy to see that the unipotent elements in SL2(R) are not even real. General investigation of involution length in SLn(F), for a field F, has been done by many authors, e.g. [KN2], [KN3]. However, in view of the classification problem of real elements the best result that we know states that for n 2 6≡ (mod 4) an element in SLn(F) is real if and only if it is strongly real, where F is a field of not 2, see [ST, Theorem 3.1.1]. In this work, we ask for a precise count of the strongly real unipotent elements. We have given a complete characterization of real and strongly real unipotent elements in SLn(D). For D = R or C, not every unipotent element is strongly real, and we classify precisely when a unipotent is strongly real, see Theorem 5.6 and Theorem 6.1. For SLn(H), we show that every unipotent element is strongly real, see Theorem 6.3.

1.3.3. The . Let F = R or C. Let Sp(n, F) denote the symplectic group over F. It is known that not every element is strongly real in Sp(n, F). It follows from the literature that every element in Sp(n, F) is a product of two skew-involutions, i.e. every element in PSp(n, F) is strongly real, see [ST], [Wo]. In a recent work Ellers and Villa [EV] have proved decomposition of a symplectic map into a product of six involutions and have classified certain strongly real elements under some strong hypothesis, see [EV, Corollary 9]. In [Cr], de la Cruz has given a characterization of strongly real elements in Sp(n, C). It is proved in [AD] that every element in Sp(2, R) is a product of four involutions. However, strongly real classes are not very well-understood in Sp(n, R). In this work, we have given a very first classification of unipotent strongly real elements in Sp(n, R), see Theorem 6.16. Classification of semisimple strongly real elements in Sp(n, R) remains open.

1.3.4. The orthogonal and unitary groups. Product of involutions in orthogonal groups (over general fields) have been characterized in the literature, e.g. [FZ], [KN1], [KN2]. However, we do not know any concrete classification of real elements in O(p, q) or SO(p, q) other than when p =1,q > 0, see [FS], [Go], [BM]. The same can be said about unitary groups U(p, q). In [DM], it has been proved that every element in U(p, q) is a product of finitely many reflections and an estimate of the reflection length was given. However, a concrete classification is known only for U(n, 1) and SU(n, 1), see [GP]. The classification of real and strongly real elements in Sp(n, 1) has been obtained very recently in [BG]. Other than the rank one groups, not much is known about a precise classification of the real elements in SU(p, q) or Sp(p, q). In this paper, we completely classify real and strongly real unipotent elements in SU(p, q) and Sp(p, q). We prove that every unipotent element in Sp(p, q) is real, see 4 K.GONGOPADHYAYANDC.MAITY

Corollary 6.18. As we shall see that is not the case in the groups SU(p, q). Though reality and strong reality are equivalent in this group, not every unipotent element is real. We ask for a precise list of real or strongly real unipotent elements in SU(p, q), Sp(p, q) and classify such elements, see Theorem 6.4 and Theorem 6.19. A particular subtle case is the of the group O(p, q). It is easy to see that every unipotent element in SO(p, q) is strongly real, but as it is easy to see in the case of SO(2, 1)0, the case is more tricky in the identity component SO(p, q)0. We completely classify the real or strongly real unipotent elements in the identity component SO(p, q)0, see Theorem 6.14.

1.3.5. The group SO∗(2n). The group SO∗(2n) is a of the complex SO(2n, C), and is a of SLn(H). We have not seen any place in the literature where reality properties in SO∗(2n) has been addressed. In this paper we give a very first account of the classification of real and strongly real unipotent elements in this group, see Theorem 6.15. We hope to address the semisimple case in a later investigation.

A natural problem following Definition 1.1 is classification of the AdG-real elements in g. For completeness, we have completely classified AdG-reality of the semi-simple and nilpotent elements in complex simple Lie algebras. The situation for real Lie algebras seems more tricky. We hope to address this in subsequent work.

1.4. Key tools. The main strategy of our proof depends on the theory of the nilpotent orbits. More specifically, we will use certain bases which were constructed to describe centralizers of the nilpotent elements in classical simple Lie algebras as in [SS], [BCM]. For base field R or C, a specific was obtained in [SS] to describe the reductive parts of centralizers of the unipotent elements. In [BCM], construction of such basis was extended to H, and was obtained in a unified way to D using the Jacobson-Morozov theorem and the structure of the related sl2(R)-representations. These special bases are used to construct conjugating elements. Another key tool to classify the AdG-real elements is the parametrization of nilpotent orbits in simple Lie algebras involving the signed Young diagrams. Explicit descriptions of centralizers of the nilpotent elements are also used in the classification of the strongly AdG-real elements.

1.5. Structure of the paper. The paper is organized as follows. In Section 1.2 the notion of AdG-real in the Lie algebra is introduced. Relationship between AdG-real and classical reality is established in Section 2. In Section 3 we fix the notation and terminology and recall some background. Section 4 deals with the AdG-real and strongly AdG-real semi-simple elements in the complex simple Lie algebras of classical type. In Section 5 AdG-real and strongly AdG-real nilpotent elements in complex simple classical Lie algebras are classified. Finally, in Section 6 we have classified AdG-real and strongly AdG-real nilpotent elements in simple classical Lie algebras over R.

2. AdG-reality and Classical Reality In this section we will introduce an infinitesimal version of the notion of classical reality in a Lie group. An element g G is called exponential if g = exp X for some X g. A Lie group is called exponential∈if every element is exponential. First, we will show∈ that REALITY OF UNIPOTENT ELEMENTS 5

AdG-real in the Lie algebra implies the classical reality of the corresponding element in the Lie group. Lemma 2.1. Let G be a Lie group with Lie algebra g. Let X g be an Ad -real (resp. ∈ G strongly AdG-real) element, then exp X is real (resp. strongly real) in G. There is a G-equivariant between the set of nilpotent elements in g and the set of the unipotent elements in G via the exponential map. Corollary 2.2. Let G be a semi-simple Lie group, and u G be a unipotent element so ∈ that u = exp X. Then u is real (resp. strongly real) if and only if X is AdG-real (resp. strongly AdG-real ) in g. Corollary 2.3. The classical reality of a connected unipotent Lie group G is determined by the AdG-reality in g. For the converse of Lemma 2.1, the following terminology will be needed. A normal neighbourhood U is a subset of G such that there is a symmetric neighbourhood V of the origin in g, and exp is a diffeomorphism between V and U. |V Proposition 2.4. Let G be a Lie group with Lie algebra g. Suppose g = exp X, the element g1/m belongs to a normal neighbourhood U for some m N, and g1/m is real ∈ (resp. strongly real) in G. Then X is AdG-real (resp. AdG-strongly real) in g.

1/m 1/m 1 1 Proof. As g U, and real in G, it follows that g = exp( m X) and exp( m X)= 1 1 ∈ 1 1 1 − σ(exp X)σ− = exp(σ Xσ− ) U for some σ G. Hence, X = σXσ− .  m m ∈ ∈ − It is not true in general for a Lie group G that g = exp X G is real (resp. strongly ∈ real) if and only if X is AdG-real (resp. strongly AdG-real). We give examples to illustrate the situation that the exponentiality condition on the Lie group G is necessary but not sufficient in the Proposition 2.4. Example 2.5. (i) The exponentiality condition in Proposition 2.4 is necessary for strongly reality. The Lie group SL2(C) is not exponential. Let g = Id SL2(C) and X = diag(√ 1 π, √ 1 π). Then g = eX . Note that g is strongly− real in∈ SL (C). − − − 2 But X is not a strongly AdG-real element in sl2(C).

(ii) Next we will consider the compact Lie group SO2 which is exponential. The 0 π 0 π element σ = I = exp SO is real. But is not Ad -real in the Lie − 2 π 0 ∈ 2 π 0 G −  −  algebra so2. Thus, exponentiality is not sufficient in Proposition 2.4.

3. Notation and background

In this section, we fix some notation and recall some known results which will be used in this paper. We will follow the notation of [BCM]. Once and for all fix a square root of 1 and call it √ 1. The Lie groups will be denoted by the capital letters, while the− Lie algebra of a Lie− group will be denoted by the corresponding lower case German letter. Sometimes, for notational convenience, the Lie algebra of a Lie group G is also denoted by Lie(G). The connected component of a Lie group G containing the identity element is denoted by G0. For a subset S of g, the subgroup of G that fixes S point wise under the adjoint action is called the centralizer 6 K.GONGOPADHYAYANDC.MAITY of S in G; the centralizer of S in G is denoted by ZG(S). Similarly, for a Lie subalgebra g and a subset S g, by zg(S) we will denote the subalgebra of g consisting of all the elements that commute⊂ with every element of S.

3.1. Associated Lie groups and Lie algebras. Let D = R, C or H. Let V be a right of finite over D. Let EndD(V ) be the real algebra of right D-linear maps from V onto V . After choosing a basis for V , the elements of EndD(V ) can be represented by matrices over D. For a D- T EndD(V ) and an ordered D-basis of V , the of T with respect to is denoted∈ by [T ] . Let GL(V) denote B B B the group of invertible right D-linear maps from EndD(V ). When D = R or C, let tr : EndD(V ) D and det : EndDV D, respectively be the usual and maps.−→ Define −→

SL(V ) := g GL(V ) det(g)=1 and sl(V ) := T EndD(V ) tr(T )=0 . { ∈ | } { ∈ | }

If D = H then recall that A = EndD(V ) is a central simple R-algebra. Let NrdA : A R be the reduced norm on A, and let TrdA : A R be the reduced trace on A. Define−→ −→

SL(V ) := g GL(V ) Nrd (g)=1 and sl(V ) := T EndD(V ) Trd (T )=0 . { ∈ | EndDV } { ∈ | EndD(V ) } Let D = R, C or H, as above. Let σ be either the identity map Id or an involution of D, that is, σ is a real linear anti- of D with σ2 = Id. Let ǫ = 1. Following [Bo, § 23.8, p. 264], we call a map , : V V D a ǫ-σ Hermitian form± if h· ·i × −→ (i) u + v,w = u,w + v,w , (ii) hv, u = iǫσ(hu, v i), andh i (iii) hvα,i u = σ(hα) v,i u for all v, u, w V and for all α D. h i h i ∈ ∈ Recall that A ǫ-σ Hermitian form , is non-degenerate if for every non-zero u in V , there is a non-zero v such that v, u h·=·i 0. We define h i 6 U(V, , ) := g GL(V ) gv, gu = v, u v,u V (3.1) h· ·i { ∈ | h i h i ∀ ∈ } and u(V, , ) := T EndD(V ) Tv, u + v, Tu = 0 v,u V . h· ·i { ∈ | h i h i ∀ ∈ } We next define SU(V, , ) := U(V, , ) SL(V ) and su(V, , ) := u(V, , ) sl(V ) . h· ·i h· ·i ∩ h· ·i h· ·i ∩ It is well-known that su(V, , ) is a simple Lie algebra (cf. [Kn, Chapter I, Section 8]). h· ·i 3.2. Classical simple Lie groups and Lie algebras. For a suitable choice of V and , , we have the following classical Lie groups and Lie algebras which will be used here. h·We·i define the usual conjugations σ on C by σ (x + √ 1x ) = x √ 1x , and on c c 1 − 2 1 − − 2 H by σc(x1 + ix2 + jx3 + kx4) = x1 ix2 jx3 kx4, xi R for i = 1, , 4. For t − − − ∈ ··· P = (pij) Mr s(D), P denotes the transpose of P . If D = C or H, then define ∈ × P := (σc(pij)). Let I I I := p , J := n . (3.2) p,q I n I −  − q  n  REALITY OF UNIPOTENT ELEMENTS 7

We will work with the following classical simple Lie groups and Lie algebras: SL (C) := g GL (C) det(g)=1 , sl (C) := z M (C) tr(z)=0 ; n { ∈ n | } n { ∈ n | } SO(n, C) := g SL (C) gtg = I , so(n, C) := z sl (C) ztI + I z = 0 ; { ∈ n | n} { ∈ n | n n } Sp(n, C) := g SL (C) gtJ g = J , sp(n, C) := z sl (C) ztJ + J z = 0 ; { ∈ 2n | n n} { ∈ 2n | n n } SL (R) := g GL (R) det(g)=1 , sl (R) := z M (R) tr(z)=0 ; n { ∈ n | } n { ∈ n | } SL (H) := g GL (H) Nrd H (g)=1 , sl (H) := z M (H) Trd H (z)=0 ; n { ∈ n | Mn( ) } n { ∈ n | Mn( ) } SU(p, q) := g SL (C) gtI g = I , su(p, q) := z sl (C) ztI + I z = 0 ; { ∈ p+q | p,q p,q} { ∈ p+q | p,q p,q } SO(p, q) := g SL (R) gtI g = I , so(p, q) := z sl (R) ztI + I z = 0 ; { ∈ p+q | p,q p,q} { ∈ p+q | p,q p,q } Sp(p, q) := g SL (H) gtI g = I , sp(p, q) := z sl (H) ztI + I z = 0 ; { ∈ p+q | p,q p,q} { ∈ p+q | p,q p,q } Sp(n, R) := g SL (R) gtJ g = J , sp(n, R) := z sl (R) ztJ + J z = 0 ; { ∈ 2n | n n} { ∈ 2n | n n } t t SO∗(2n) := g SL (H) g jI g = jI , so∗(2n) := z sl (H) z jI + jI z = 0 . { ∈ n | n n} { ∈ n | n n }

3.3. Partitions and (signed) Young diagrams. For two ordered sets (v1,...,vn) and (w1,...,wm), the ordered set (v1,...,vn, w1,...,wm) will be denoted by (v ,...,v ) (w ,...,w ) . 1 n ∨ 1 m td1 tds A partition of a positive n is an object of the form d := [d1 ,...,ds ], where N s ti, di ,1 i s, such that i=1 tdi di = n, tdi 1 and d1 > >ds > 0; see [CM, ∈ ≤ ≤ ≥ ··· t § 3.1, p. 30]. Let (n) be the set of all partitions of n. For a partition d = [d d1 ,...,dtds ] P 1 s of n, define P

Nd := d 1 i s , Ed := Nd (2N) , Od := Nd Ed. (3.3) { i | ≤ ≤ } ∩ \ Further define

1 3 Od := d d Od, d 1 (mod4) and Od := d d Od, d 3 (mod4) . (3.4) { | ∈ ≡ } { | ∈ ≡ } Following [CM], a partition d of n will be called even if Nd = Ed. Let (n) be the Peven subset of (n) consisting of all even partitions of n. We call a partition d of n to be P very even if d is even, and tη is even for all η Nd. Let v.even(n) be the subset of (n) consisting of all very even partitions of n. Now∈ define P P

1(n) := d (n) tθ is even for all θ Od , (3.5) P− { ∈ P | ∈ } (n) := d (n) t is even for all η Ed . (3.6) P1 { ∈ P | η ∈ } Next, we will define the Young diagram and signed Young diagram, see [CM, p. 140]. For our convenience, we will follow the modified definition of the signed Young diagram used in [BCM, §2.4]. Definition 3.1. A Young diagram is a left-justified array of rows of empty boxes arranged so that • no row is shorter than the one below it; the size of a Young diagram is the number of empty boxes appearing in it. There is an obvious correspondence between the set of Young diagrams of size n and the set (n) of partitions of n. Hence the set of Young diagrams of size n is also denotedP by (n). P 8 K.GONGOPADHYAYANDC.MAITY

A signed Young diagram is a Young diagram in which every box is labelled with • +1 or 1 such that the sign of 1 alternate across rows except when the length of the row− is of the form 3 (mod 4). In the latter case when the length of the row is of the form 3 (mod 4) we will alternate the sign of 1 till the last but one and repeat the sign of 1 in the last box as in the last but one box. The sign of 1 need not alternate down columns. Two signed Young diagrams are equivalent if and only if each can be obtained • from the other by permuting rows of equal length. The signature of a signed Young diagram is the ordered pair of (p, q) • where p-many +1 and q-many 1 occur in it. − Remark 3.2. Let p (resp. q ) be the number of +1 (resp. 1) in the 1st column of d d − the rectangular block of size td d. Then a signed Young diagram of size n is uniquely × td1 tds determined by a partition d = [d1 ,...,ds ] of n, and a pair of integer (pd, qd) for all d Nd so that p + q = t . ∈ d d d 3.4. Jacobson-Morozov Theorem and associated results. For a Lie algebra g over R, a subset X,H,Y g is said to be a sl -triple if X = 0, [H, X]=2X,[H,Y ]= 2Y { } ⊂ 2 6 − and [X,Y ]= H. Note that for a sl -triple X,H,Y in g, SpanR X,H,Y is isomorphic 2 { } { } to sl2(R). We now recall a famous result due to Jacobson and Morozov. Theorem 3.3 (Jacobson-Morozov, cf. [CM, Theorem 9.2.1]). Let X g be a non-zero nilpotent element in a g over R. Then there exist∈ H,Y g such that X,H,Y is a sl -triple. ∈ { } 2 Let V be a right D-vector space of dimension n, where D is, as before, R or C or H. Let X,H,Y sl(V ) be a sl (R)-triple. Note that V is also a R-vector space using { } ⊂ 2 the inclusion R ֒ D. Hence V is a module over SpanR X,H,Y sl2(R). For any positive integer d→, let M(d 1) denote the sum of all the {R-subspaces} ≃W of V such that − dimR W = d, and • W is an irreducible SpanR X,H,Y -submodules of V . • { } Then M(d 1) is the isotypical component of V containing all the irreducible submodules of V with highest− weight d 1. As X,H,Y of V are D-linear, the R-subspaces M(d 1) of V are also D-subspace. Let− −

L(d 1) := ker Y M(d 1) , and t := dimD L(d 1) . (3.7) − ∩ − d − Consider the non-zero irreducible SpanR X,H,Y -submodules of V . Let d ,...,d , { } { 1 s} with d1 > > ds, be the integers that occur as R-dimension of such SpanR X,H,Y - ··· s { } D modules. Then it follows that i=1 tdi di = dim V = n . Thus, td dP:= d 1 ,...,dtds (n) . (3.8) 1 s ∈ P Recall that for a partition d (n), Nd, Ed and Od are defined in (3.3). ∈ P   Proposition 3.4. [BCM, Proposition A.2] Let X,H,Y sl(V ) be a sl (R)-triple, { } ⊂ 2 where V is a right D-vector space of dimension n. For all d Nd and for any D-basis of d ∈ L(d 1), say, v 1 j t := dimD L(d 1) the following two hold: − { j | ≤ ≤ d − } (1) Xdvd = 0 and H(Xlvd) = Xlvd(2l +1 d) for 1 j t , 0 l d 1, j j j − ≤ ≤ d ≤ ≤ − d Nd. ∈ REALITY OF UNIPOTENT ELEMENTS 9

N l d D (2) For all d d, the set X vj 1 j td, 0 l d 1 is a -basis of ∈ { l d | ≤ ≤ ≤ ≤ − } N M(d 1). In particular, X vj 1 j td, 0 l d 1, d d is a D-basis− of V . { | ≤ ≤ ≤ ≤ − ∈ } Proposition 3.5. [BCM, Proposition A.6] Let V be a right D-vector space of dimension n, ǫ = 1, σ : D D is either the identity map or it is σc when D is C or H. Let , : V± V −→D be a ǫ-σ Hermitian form. Let X,H,Y su(V, , ) be a h· ·i × −→ { } ⊂ h· ·i sl2(R)-triple. Let d Nd and td := dimD L(d 1). Then for all d Nd, there exists a D-basis vd 1 j∈ t of L(d 1) such that− the following three∈ hold: { j | ≤ ≤ d} − (1) Xdvd = 0 and H(Xlvd) = Xlvd(2l +1 d) for all 1 j t , 0 l d 1 j j j − ≤ ≤ d ≤ ≤ − and d Nd. ∈ N l d D (2) For all d d, the set X vj 1 j td, 0 l d 1 is a -basis of ∈ { l d | ≤ ≤ ≤ ≤ − } N M(d 1). In particular, X vj 1 j td, 0 l d 1, d d is a D-basis− of V . { | ≤ ≤ ≤ ≤ − ∈ } (3) The value of , on any pair of the above basis vectors is 0, except in the following cases: h· ·i l d d 1 l d D If σ = σc, then X vj , X − − vj ∗. • h il ∈d d 1 l d D O If σ = Id and ǫ = 1, then X vj , X − − vj ∗ when d d, and • l d d 1 l d D h E i ∈ ∈ X vj , X − − vj+1 ∗ when d d and j is odd. h i ∈ ∈l d d 1 l d D E If σ = Id and ǫ = 1, then X vj , X − − vj ∗ when d d, and • l d d 1 l d − h i ∈ ∈ X v , X − − v D∗ when d Od and j is odd. h j j+1i ∈ ∈ In the following remark, we will simplify the basis of V as in Proposition 3.5 case by case which will be used later. We need to consider only the following cases: Remark 3.6 (cf. [BCM, Remark A.8]). The D-basis elements vd 1 j t of { j | ≤ ≤ d} L(d 1) in Proposition 3.5 are modified as follows: − D R d (1) If = and ǫ = 1, by suitable rescaling each element of vj 1 j td we may assume that { | ≤ ≤ } d d 1 d O vj , X − vj = 1 when d d, and • h d d 1 di ± ∈ v , X − v = 1 when d Ed and 1 j td/2. • h j td/2+ji ∈ ≤ ≤ If D = R and ǫ = 1, analogously we may assume that the elements of the R d − -basis vj 1 j td of L(d 1) in Proposition 3.5 satisfy the condition that { | ≤ ≤ } − d d 1 d E vj , X − vj = 1 when d d, and • h d d 1 di ± ∈ v , X − v = 1 when d Od and 1 j td/2. • h j td/2+ji ∈ ≤ ≤ (2) If D = C, ǫ = 1 and σ = σ , rescaling the elements of the C-basis vd 1 c { j | ≤ j td we may assume that ≤ }d d 1 d O vj , X − vj = 1 when d d, and • h d d 1 di ± ∈ v , X − v = √ 1 when d Ed. • h j j i ± − ∈ (3) If D = H, ǫ = 1 and σ = σc, after rescaling and conjugating the elements of the H d -basis vj 1 j td of L(d 1) by suitable scalars the elements of the H-basis,{ we may| assume≤ ≤ that} − d d 1 d O vj , X − vj = 1 when d d, and • h d d 1 di ± ∈ v , X − v = j when d Ed. • h j j i ∈ 10 K. GONGOPADHYAY AND C. MAITY

If D = H, ǫ = 1 and σ = σc, analogously we may assume that the elements of H d − the -basis vj 1 j td of L(d 1) satisfy d d{1 d| ≤ ≤ } E − vj , X − vj = 1 when d d, and • h d d 1 di ± ∈ v , X − v = j when d Od. • h j j i ∈ The following basic result will be used to prove Theorem 5.9. Lemma 3.7 (cf. [BCM, Lemma 2.6]). Let X,H,Y be a sl -triple in the Lie algebra g { } 2 of a Lie group G. Then ZG(X,H) = ZG(X,H,Y ). Next, we will state a well-known result of Springer-Steinberg regarding the reductive part of the centralizer of a nilpotent element in the Lie group Sp(n, C). Theorem 3.8 (Springer-Steinberg, cf. [CM, Theorem 6.1.3]). Let X be a nilpotent ele- t C d1 tds ment in sp(n, ) which corresponds to the partition d = [d1 ,...,ds ] 1(2n). Let X,H,Y be a sl -triple in sp(n, C) containing X. Then ∈ P− { } 2 Z C (X,H,Y ) = O(t ) Sp(t , C) . Sp(n, ) ∼ η × θ η Ed θ Od Y∈ Y∈ The next result follows from [BCM, Lemma 4.4(4)]. Proposition 3.9. Let X sp(p, q) be a non-zero nilpotent element, and X,H,Y be a ∈ { } sl2-triple in sp(p, q). Let the nilpotent orbit X corresponds to the signed Young diagram of signature (p, q) where p (resp. q ) denotesO the number of +1 (resp. 1) in the 1st θ θ − column of the block of size t θ for θ Od. Then θ × ∈ Z (X,H,Y ) SO∗(2t ) Sp(p , q ) . Sp(p,q) ≃ η × θ θ η Ed θ Od Y∈ Y∈ Next we include another basic result which will be needed to prove Theorem 6.1. Lemma 3.10 ([Ma, Lemma 4.1.1 ]). Let X sl (R) be a non-zero nilpotent element ∈ n so that the corresponding partition d even(n). Suppose that gX = Xg for some g GL (R). Then det g > 0. ∈ P ∈ n 3.5. An ordered basis of V . Here we will fix a suitable ordering of the basis as described in Propositions 3.4, 3.5 of the underlying vector space V . This ordering is motivated by a similar ordering used in [BCM, (4.4)]. After starting with their initial ordering, we will slightly modify it to serve our purpose. d d D Let (v1 ,...,vtd ) be the ordered -basis of L(d 1) as in Proposition 3.5 for d − l ∈ Nd. Then, as done in [BCM, (4.3)], it follows from Proposition 3.5 that (d) := l d l d l B D Nd (X v1 ,...,X vtd ) is an ordered -basis of X L(d 1) for 0 l d 1 with d . Define − ≤ ≤ − ∈

d1 j ds j (j) := − (d ) − (d ), and := (1) (d ) . (3.9) B B 1 ∨···∨B s B B ∨···∨B 1 It follows from the definition of (1) that X (1) = 0. Suppose τ GL(V ) so that 1 B |B ∈ d1 1 τXτ − = ǫX, where ǫ = 1. Then τ keeps the vector spaces SpanC − (d1) dr 1 ± {B ∨···∨ − (d ) for r = 1,...,s and SpanC (1) (t) invariant for t = 1,...,d . B r } {B ∨···∨B } 1 Also, τ will be determined uniquely by it’s action on L(d 1) for d Nd. The matrix − ∈ [τ] is a block upper with (d1 + + ds)-many diagonal blocks. Write B ··· REALITY OF UNIPOTENT ELEMENTS 11

[τ] =(Aij), where Aij are block matrices. Then Aij = 0 for i > j. The of the first B s-many diagonal blocks Ajj of [τ] , is tdj tdj , where tdj = dim L(dj 1) for j =1,...,s. B × − 2 Any diagonal block of [τ] is of the form ǫAjj for j =1,...,s. Moreover, if τ = Id, then 2 B necessarily Ajj = Id for j = 1,...,s. We will illustrate the above in the Appendix 6.6 with a particular example.

3.6. Semi-simple orbits in complex simple Lie algebra. Let g be a complex semisim- ple Lie algebra, h g be a , and W be the of g. Then ⊂ g Wg = Ng(h)/zg(h). Thus, the Weyl group Wg has a natural action on h and h/Wg denotes the set of orbits. We next state an important result regarding the parametrization of the semi-simple orbits in semi-simple Lie algebras over C. Theorem 3.11 (cf. [CM, Theorem 2.2.4]). Let g be a complex semi-simple Lie algebra, h be a Cartan subalgebra, and Wg be the Weyl group of g. Then the semi-simple orbits are parametrized by h/Wg.

4. Reality for semisimple elements in simple Lie algebra over C

We will recall some well-known basic facts regarding semisimple elements and Cartan subalgebra in a Lie algebra. Let H g be a semisimple element in a semisimple Lie ∈ 1 algebra over C and h be a Cartan subalgebra in g. Then gHg− h for some g G. ∈ ∈

4.1. Semi-simple elements in sln(C). Let g = sln(C) and h, all diagonal matrices in C g, be a Cartan subalgebra in g. The Weyl group Wsln(C) of sln( ) is isomorphic to the Sn. Let φ Wsln(C), and H = diag(h1,...,hn) h. Considering φ as a permutation of n, we have φ∈ H = diag(h ,...,h ). ∈ · φ(1) φ(n) 1 Lemma 4.1. Let H = diag(h1,...,hn) h. Then gHg− = H for some g SLn(C) if and only if h ,...,h = h ,..., h∈ . − ∈ { 1 n} {− 1 − n} Theorem 4.2. Let H be a semisimple element in gln(C) . Then H is a real element in gl (C) if and only if λ is an eigen value of H, then λ is also an eigen value of H. n − Proof. Use Theorem 3.11 and Lemma 4.1.  Corollary 4.3. A semisimple element H gl (C) is real if and only if H is real in ∈ n sln(C). Remark 4.4. The analogous statements of the Corollary 4.3 is also true in the classical sense (in the group level), see [FS, p. 77]. C Theorem 4.5. Every real semisimple element in Lie( PSLn( )) is strongly AdPSLn(C)-real. Proof. Let H Lie( PSL (C)) be a real semisimple element. Without loss of general- ∈ n ity, we can assume H = diag(h1,...,hm, h1,..., hm, 0,..., 0). Then σ = diag(Jm, Is) will conjugate H and H, where 2m + s −= n, and− J as in (3.2).  − n Example 4.6. Consider the semi-simple element H = diag(x1, x1). Let g GL2(C) so 0 b − ∈ that gH = Hg. Then g is of the form . Hence H is a real element in sl (C) but − c 0 2 not strongly real. Note that g Sp(1, C) if bc = 1. Similarly, H is a real element in sp(1, C) but not strongly real. ∈ − 12 K. GONGOPADHYAY AND C. MAITY

C Next we will consider AdSLn(C)-real in the Lie algebra sln( ).

Proposition 4.7. A real semisimple element in sln(C) is strongly real if and only if either 0 is an eigen value or n 2 (mod 4). 6≡

Proof. Let H sln(C)) be a real semisimple element. If 0 is an eigen value of H, then H is strongly∈ real. Suppose 0 is not an eigen value of H, and n 2 (mod 4), then 6≡ n = 4m for m N and we can assume H = diag(h1,...,h2m, h1,..., h2m). As Weyl ∈ − − I group permutes the diagonal entries, H and H will be conjugated by g = 2m . − I2m   Next assume that H is strongly real and 0 is not an eigen value of H. We will show n 4N. Without loss of generality, we can assume H = diag(h1,...,hm, h1,..., hm) ∈ − n − and gH = Hg for some involution. Let ej be the standard column vector in C with 1 in jth place− and 0 elsewhere. For 1 j m, ≤ ≤ Hge = gHe = gh e = h ge . j − j − j j − j j Hence ge Ce and similarly ge Ce . Let V := Ce Ce and := j ∈ m+j m+j ∈ j j j ⊕ m+j Cj ej, em+j . Set := 1 m. Then the matrix [g] is a 2 2 block- {and det [g}] =(C 1)mC. As∨···∨C det g = 1, it follows that m C2N. This× completes the proof.  C − ∈

4.2. Semi-simple elements in o(n, C) and so(n, C). Upto conjugacy, any semisimple element in o(n, C) or so(n, C) belongs to the following Cartan subalgebra h, see [Kn, p. 127]:

diag(H1,...,Hm, 0) if n =2m +1 0 xj h := , where Hj = , xj C. (4.1) diag(H ,...,H ) if n =2m xj 0 ∈ ( 1 m −  0 x Example 4.8. Consider H = so(2, C) = o(2, C), where x C. Let g x 0 ∈ ∈ ∈ −  1 a b 2 2 GL(2, C) with gHg− = H. Then g is of the form . Hence, det g = a b , − b a − − t 2  −  and gg = g = ( det g)I2. Thus, one can choose g O(2, C) with det g = 1. This shows that H is a− real element (in fact strongly real) in∈o(2, C) but not a real element− in so(2, C). Proposition 4.9. Every semisimple element in o(n, C) is strongly real.

Proof. Enough to consider the elements of h. For the elements in h one can easily construct required involution using the Example 4.8.  Theorem 4.10. Let H so(n, C) be a semisimple element. Then TFAE : ∈ (1) H is real. (2) H is strongly real. (3) Either 0 is an eigen value of H or n 2 (mod 4). 6≡ Proof. We omit the proof as it is similar to that of Proposition 4.7.  REALITY OF UNIPOTENT ELEMENTS 13

4.3. Semi-simple elements in sp(n, C). We fix a Cartan subalgebra h in sp(n, C) as h := diag(h1,...,hm, h1,..., hm) hj C . Recall that in Example 4.6, the element diag({x, x) is not strongly− real but− we| can choose∈ } a conjugating element g from PSp(n, C). Thus, we− will first consider the semisimple element in the Lie algebra of PSp(n, C). The analogous result for the PSp(n) has been studied in [BG, Proposition 3.1].

Theorem 4.11. Every semisimple element in Lie (PSp(n, C)) is strongly AdPSp(n,C)-real.

Proof. As h is a Cartan subalgebra in sp(n, C), one can define required involution using Example 4.6.  The following corollary is immediate.

Corollary 4.12. Every semisimple element in sp(n, C) is AdSp(n,C)-real.

Theorem 4.13. A semisimple element in sp(n, C) is strongly AdSp(n,C)-real if and only if the multiplicity of each non-zero eigen value is even.

Proof. Let H be a strongly real semisimple element in sp(n, C). We can assume H = diag(h ,...,h , h ,..., h ), and gH = Hg for some involution g Sp(n, C). 1 n − 1 − n − ∈ Suppose hj = 0 and multiplicity of hj is m. Let j := ej1 ,...,ejm be an ordered basis of the eigen space6 of H corresponding to the eigen valueC h{ . Then } := e ,...,e j Cn+j { n+j1 n+jm } is an ordered basis of the eigen space corresponding to the eigen value hj. Let Vj be the C − t -span of j n+j. Then the involution g keeps Vj invariant and (g Vj ) Jm(g Vj ) = Jm, where J isC as∨ inC (3.2). As H(ge )= h ge for 1 l m, we can write| | m jl − j jl ≤ ≤ B C [g] + := , for some B,C GLm( ) . (4.2) Cj ∨Cn j C ∈   t 1 t Since g is an involution and (g ) J (g ) = J , it follows that C− = B = B . |Vj |Vj m |Vj m − Hence, m (the multiplicity of hj) has to be even. Next assume that multiplicity of each non-zero eigen value is even. Can assume any semisimple element H = diag(h1,...,hn, h1,..., hn), where h2j 1 = h2j for − − − J1 . j =1,...,n/2. In this case to define a required involution g, set B := . . in   J1 (4.2). This completes the proof.   

5. Reality for nilpotent elements in simple Lie algebra over C

Using the Jacobson-Morozov Theorem 3.3 and Mal’cev Theorem [CM, Theorem 3.4.12], it follows that nilpotent elements are real in simple Lie algebra over C. We will provide an elementary proof without using those theorems and also construct an explicit conjugating element for the nilpotent element. The following basic lemma is useful for this. Lemma 5.1. Let X g be a non-zero nilpotent element in a semi-simple Lie algebra g over C. Then X [g,X∈ ]. ∈ Proof. See [CM, (3.3.4), p. 38] for a proof.  Proposition 5.2. Every unipotent element in a complex semi-simple Lie group G is real. 14 K. GONGOPADHYAY AND C. MAITY

Proof. It is enough to prove that every nilpotent element is real in g, see Corollary 2.2. Let X g be a non-zero nilpotent element. Using Lemma 5.1, we have X = [H,X] for some H ∈ g. Let α C so that eα = 1. Then [αH,X]= αX and ∈ ∈ − n ad(αH) αn Ad (exp αH)(X)= ead(αH)(X)= X = X = X. n! n! − n  n X X Hence X and ( X) are conjugate via exp αH. This completes the proof.  − An analogous result may not true over R, see Example 5.3. 0 1 Example 5.3. Let us consider the nilpotent element X = . A simple computation 0 0   shows that X is not real in sl(2, R), real in sl2(C) but not strongly real in sl2(C), and finally, strongly real in gl2(C). In view of the Proposition 5.2, we want to classify the strongly real nilpotent elements in a simple Lie algebra over C which will be done in the rest of the section. Moreover, we will construct an explicit element in G corresponding to the nilpotent element X g which conjugates X and X. ∈ −

5.1. Nilpotent elements in sln(C). First we will consider the Lie algebra gln(D) where D = R, C, H.

Proposition 5.4. Every nilpotent element in gln(D) is strongly real when D = R, C, H.

Proof. Let X gln(D) be a non-zero nilpotent element. Then X sln(D). Using Dn∈ l d ∈ N Proposition 3.4, has a basis of the form X vj 1 j td, 0 l d 1, d d . Now define g GL (D) as follows: { | ≤ ≤ ≤ ≤ − ∈ } ∈ n l l d E O1 l d ( 1) X vj d d d , g(X vj ) = − l+1 l d ∈ 3 ∪ (5.1) ( 1) X v d Od . ( − j ∈ Then = Id and Xg = gX. This completes the proof.  − Now we will consider the nilpotent elements in sln(C). Every nilpotent element is real in sln(C), see Proposition 5.2. In Example 5.3, we have observed that any nilpotent C C element in sl2( ) is not strongly real. In general every nilpotent element in Lie( PSLn( )) is strongly real, but not in sln(C). The following terminology is needed for the next result. 2 Define Ed := η Ed η 2 (mod 4) , where Ed is as in (3.3), and { ∈ | ≡ } (n) := d (n) (n) t is odd . (5.2) Pe { ∈ Peven \ Pv.even | η } η E2 X∈ d f C Theorem 5.5. Every nilpotent element is strongly real in Lie( PSLn( )). n Proof. Let X sln(C) be a non-zero nilpotent element. Using Proposition 3.4, C ∈ l d N has a basis of the form X vj 1 j td, 0 l d 1, d d . We now divide the proof in two parts:- { | ≤ ≤ ≤ ≤ − ∈ } Case 1: d (n). Set g GL (C) as in (5.1). Then det g = 1, g2 = Id, Xg = gX. 6∈ Pe ∈ n − Case 2: d e(n). In this case define g GLn(C) as follows: ∈ Pf ∈ l η l l η g(X v )=( 1) √ 1X v η Ed . f − − ∈ REALITY OF UNIPOTENT ELEMENTS 15

Then det g = 1, g2 = Id and Xg = gX. This completes the proof.  − − Theorem 5.6. Let X sl (C) be a nilpotent element, and d (n) be the corresponding ∈ n ∈ P partition. Then X is strongly real if and only if the partition d (n). 6∈ Pe C Proof. Let X sln( ) be a non-zero nilpotent element, and X,H,Yf be a sl2-triple in sl (C) containing∈ X. Then Cn has a basis of the form Xlv {i, l , see Proposition} 3.4. n { i | } First assume that d e(n). In this case, define an involution g as in (5.1). This shows that X is strongly real.6∈ P f Next assume that X is strongly real, and d e(n). The converse part of this theorem ∈ P 1 will follow if we arrive a contradiction. Let τ SL (C) be an involution so that τXτ − = ∈ n X. We will write τ with respect to the orderedf basis constructed in (3.9) so that [τ] − B 2 2 B is block upper triangular matrix and follow the notation of §3.5. Since, τ = Id, Ajj = Id for 1 j s. It follows form the definition of the ordered basis , that A and A ≤ ≤ B jj − jj both occur dj/2-many times in the diagonal block for 1 j s. This contradicts the fact that det τ = 1, as ≤ ≤

P E2 tη P E2 tη 1 = det τ = ( 1) η∈ d (det A )dj = ( 1) η∈ d = 1 . − jj − − This completes the proof. 

Remark 5.7. The same proof will work for sln(R). But we will provide more straight- forward proof in Theorem 6.1 for sln(R).

5.2. Nilpotent elements in so(n, C). Throughout this subsection , denotes the sym- n t n h· ·i metric form on C defined by x, y = x y for x, y C . Recall the definition of 1(n) as in (3.6). h i ∈ P Theorem 5.8. Every nilpotent element is strongly real in so(n, C) for n 2. ≥

Proof. Let X so(n, C) be a non-zero nilpotent element. Let X,H,Y be a sl2-triple ∈ l d { } n in so(n, C). Let X v 1 j t , 0 l d 1,d Nd is a C-basis of C as in { j | ≤ ≤ d ≤ ≤ − ∈ } Proposition 3.5. The partition d 1(n) for X, see [CM, Theorems 5.1.2, 5.1.4]. Define g GL(V ) as follows: ∈ P ∈ l l d 1 ( 1) X v if d Od , − j ∈ ( 1)l+1Xlvd if d O3 , l d  j d g(X vj ) := − l l d ∈ ( 1) X v if d Ed , 1 j td/2 ,  − j+td/2 ∈ ≤ ≤  l l d E ( 1) X vj t /2 if d d , td/2 < j td . − − d ∈ ≤  It follows from the definition that gX = Xg, g2 = 1, and det g = 1. Moreover,  − l d d l 1 d l d d l 1 d g(X v ), g(X − − v ) = X v , X − − v for d Od , h j j i h j j i ∈ l d d l 1 d l d d l 1 d g(X v ), g(X − − v ) = X v , X − − v for d Ed , 1 j td/2 . h j j i h j+td/2 j+td/2i ∈ ≤ ≤ In view of Proposition 3.5, gx,gy = x, y for all x, y Cn. Hence, g SO(n, C).  h i h i ∈ ∈ 5.3. Nilpotent elements in sp(n, C). Throughout this subsection , denotes the skew symmetric form on C2n defined by x, y = xtJ y for x, y C2n, whereh· ·i J is as in (3.2). h i n ∈ n Recall the definition of 1(2n) as in (3.5). P− 16 K. GONGOPADHYAY AND C. MAITY

In the case of sp(n, C), every nilpotent element is not strongly real. For example, any nilpotent element in sp(1, C) is not strongly real. Nilpotent orbits in sp(n, C) are parametrized by the partition of 2n in which odd parts occurs with even multiplicity, see [CM, Theorem 5.1.3]. Let X sp(n, C) be a nilpotent element which corresponds to the td1 tds ∈ partition d := [d1 ,...,ds ] 1(2n). Recall that in view of Proposition 5.2, every nilpotent element in sp(n, C)∈ is P real.− Here we will construct an element g Sp(n, C) C l d ∈ so that gX = Xg for nilpotent X sp(n, ). Let X vj 1 j td, 0 l − 2n ∈ { | ≤ ≤2n ≤ ≤ d 1,d Nd is a C-basis of C as in Proposition 3.5. Define g GL(C ) as follows: − ∈ } ∈ l l d O l d ( 1) X vj if d d , g(X vj ) := − l l d ∈ (5.3) ( 1) √ 1X v if d Ed . ( − − j ∈ Note that gX = Xg. Using Proposition 3.5, we have gx,gy = x, y for all x, y C2n. This shows that −g Sp(n, C). h i h i ∈ ∈ Theorem 5.9. A nilpotent element X in sp(n, C) is strongly real if and only if tη is even for all η Ed. ∈ l d 2n Proof. Let X v 1 j t , 0 l d 1,d Nd is a C-basis of C as in { j | ≤ ≤ d ≤ ≤ − ∈ } Proposition 3.5. Suppose that t is even for even d . Define g GL(C2n) as follows: i i ∈ l l d O ( 1) X vj if d d, l d − l l d ∈ g(X v ) := ( 1) √ 1X v if d Ed, 1 j td/2 , j  − − j+td/2 ∈ ≤ ≤  l+1 l d E ( 1) √ 1X vj t /2 if d d, td/2 < j td . − − − d ∈ ≤ 2 It follows that gX = Xg, g = 1. In view of Proposition 3.5, gx,gy = x, y for all x, y V . This shows that− g Sp(n, C). h i h i ∈ ∈ 1 Next assume that X is a strongly real nilpotent element in sp(n, C). i.e. νXν− = X 1 − for some involution ν Sp(n, C). For any g Sp(n, C) so that gXg− = X, ∈ ∈ − ν gZ (X) . (5.4) ∈ G Let τ Z (X). Recall that is the ordered basis of V as in (3.9). Following §3.5, let ∈ G B [τ] =(Aij), and τD be the block diagonal part of [τ] , i.e., consists of only the matrices B B (Ajj) in the diagonal. Then τDX = XτD and τDH = HτD. Using Lemma 3.7, it follows that τ Z (X,H,Y ). Because of Theorem 3.8, we conclude that for 1 j s D ∈ G ≤ ≤ O(t , C) if d even, A dj j (5.5) jj C ∈ (Sp(tdj /2, ) if dj odd . Next define g Sp(n, C) as in (5.3). Then the matrix [g] becomes a diagonal matrix. ∈ B The first td1 + + tds diagonal entries of [g] is of the form: ··· B d 1 ( 1) j − √ 1 I if d even, tdj j diag D1,...,Ds , where Dj = − − (5.6) dj 1 ( 1) − It if dj odd . ( − dj  2 As ν is an involution, using (5.4) it follows that A = It when dj is even and 1 j s. jj − dj ≤ ≤ Since det A = 1, we conclude that t is an even integer.  jj ± dj We have a stronger result for nilpotent elements in Lie(PSp(n, C)). Theorem 5.10. Every nilpotent element in Lie(PSp(n, C)) is strongly real. REALITY OF UNIPOTENT ELEMENTS 17

C l d Proof. Let X Lie(PSp(n, )) be a non-zero nilpotent element. Let X vj 1 ∈ 2n { | ≤ j td, 0 l d 1,d Nd be a C-basis of C as in Proposition 3.5. Recall that td ≤ ≤ ≤ − ∈ } 2n is even for d Od. Define g GL(C ) as follows: ∈ ∈ l l d ( 1) √ 1X v if 1 j t /2, d Od , − − j ≤ ≤ d ∈ l d l+1 l d O g(X vj ) := ( 1) √ 1X vj if td/2 < j td, d d , − l − l d ≤ ∈ ( 1) √ 1X v if d Ed . − − j ∈ 2 It follows that gX = Xg, g = Id. Using Proposition 3.5, we conclude that gx,gy = x, y for all x, y C2−n. This shows− that g Sp(n, C). h i  h i ∈ ∈ 6. Reality for nilpotent elements in simple Lie algebra over R

In this section, we will consider the nilpotent elements in simple Lie algebra over R of classical type.

6.1. The Lie algebras sln(R) & sln(H). In this subsection first we will consider nilpotent elements in sl (R). Recall the definition of (n) as in (5.2). n Pe Theorem 6.1. Let X sln(R) be a nilpotent element. Suppose that X corresponds to the partition d (n).∈ Then TFAE : f ∈ P (1) X is a real element. (2) X is a strongly real element. (3) d (n). 6∈ Pe l d N Proof. Usingf Proposition 3.4, X vj 1 j td, 0 l d 1, d d is a n { | ≤ ≤2 ≤ ≤ − ∈ } R-basis of R . Define g GLn(R) as (5.1). Then g = Id, Xg = gX, and det g = 1. Next we will consider two∈ separate cases: − ± Case 1: If d (n), then det g = 1. Hence, X is strongly real. ∈ Pv.even Case 2: Next assume that d (n) (n). Moreover, assume that det g = 1. ∈ P \ Peven − Suppose d Od. i.e., d is an odd integer. Then define g GL (R) as follows: i0 ∈ i0 ∈ n l l d l d ( 1) X vj if either d = di0 or when d = di0 , j> 1 g(X vj ) = − 6 e ( 1)l+1Xlvd if d = d , j =1 . ( − j i0 Then det ge = det g = 1, g2 = Id, Xg = gX. Hence, in this case also X is strongly real. − −

Case 3e : Finally assumee that d eeven(ne) v.even(n). In view of Lemma 3.10, X is real if and only if det g = 1. Therefore,∈ P in this case\ P if X is real, then it is strongly real. It P E2 tη follows from the definition of g as in (5.1) that det g =( 1) η∈ d . − Now (1) (3) follows from Case 3. (2) always implies (1). Finally, (3) (2) follows from Case 1,⇒ Case 2 and Case 3. This completes the proof. ⇒  As a corollary we have the following known result:

Corollary 6.2 ([ST, Theorem 3.1.1]). Let X sln(R) be a nilpotent element. Suppose that n 2 (mod 4). Then TFAE: ∈ 6≡ (1) X is a real element. 18 K. GONGOPADHYAY AND C. MAITY

(2) X is a strongly real element. Proof. Condition (3) of Theorem 6.1 always true for n 2 (mod 4).  6≡ Next we will consider the nilpotent elements in the Lie algebra sln(H). As the Lie algebra sl2(H) is isomorphic to su(2) which is a , we will further assume that n> 2.

Theorem 6.3. Every nilpotent element in sln(H) is strongly real. Proof. The proof follows from Proposition 5.4. 

6.2. The Lie algebra su(p, q). As we would like to address nilpotent elements; so it will be assumed that p > 0 and q > 0. Here , denotes the Hermitian form on Cp+q t h· ·i defined by x, y := x Ip,qy, where Ip,q is as in (3.2). We will follow notation as defined in §3. h i Let X su(p, q) be a non zero nilpotent element, and let X,H,Y su(p, q) be a sl (R)-triple.∈ We now apply Proposition 3.5, Remark 3.6(2).{ Let d},...,d ⊂ , with 2 { 1 s} d1 > > ds, be the finite ordered set of integers that arise as R-dimension of non- ··· Cp+q zero irreducible SpanR X,H,Y -submodules of . Let tdr := dimC L(dr 1) for { } td1 tds − 1 r s. Then we have d := [d ,...,ds ] (p + q). Let ≤ ≤ 1 ∈ P d d 1 d O # j vj , X − vj = 1 if d d , pd := { | h d di 1 d } ∈ and qd := td pd . (6.1) # j √ 1 v , X − v = 1 if d Ed ; − ( { | − h j j i } ∈ Recall that the signed Young diagram is uniquely determined by the sign of 1st column, see Definition 3.1 and Remark 3.2. Now we associate a signed Young diagram for the element X by setting +1 in the pd-many boxes and 1 in the rest qd-many boxes in the 1st column of the rectangular block of size t d. It− follows that d (n) and (p , q ) d × ∈ P d d for d Nd are conjugation invariant and hence, they determined a well-defined signed ∈ Young diagram for the nilpotent orbit X . In fact, the nilpotent orbits in su(p, q) are in bijection with the signed Young diagramO of signature (p, q), see [CM, Theorem 9.3.3], [BCM, Theorem 4.10].

Theorem 6.4. Let X su(p, q) be a non-zero nilpotent element. Let pd (resp. qd) be the ∈ st number of +1 occurred in the 1 column of the block of size tdd tdd in the signed Young diagram corresponding to the orbit of X. Then TFAE : × OX (1) X is real in su(p, q). (2) X is strongly real in su(p, q). (3) p = q for all η Ed. η η ∈ Proof. We will show (3) (2) (1) (3). Let X,H,Y su(p, q) be a sl2- p+q ⇒ ⇒ ⇒ j d { } ⊂ triple. Then C has a C-basis of the form X v d Nd which satisfy Proposition { j | ∈ } 3.5 (3). First assume that (3) holds. i.e., pd = qd for all d Ed. After suitable reordering we may assume that ∈

√ 1 1 j td/2 , d Ed − ≤ ≤ ∈ E d d 1 d √ 1 td/2 < j td , d d v ,X − v =  j j − − ≤ O∈ h i +1 1 j pd , d d  ≤ ≤ ∈ 1 p < j t , d Od − d ≤ d ∈   REALITY OF UNIPOTENT ELEMENTS 19

Define g GL(Cp+q) as follows: ∈ l l d 1 ( 1) X v if d Od , − j ∈ ( 1)l+1Xlvd if d O3 , l d  j d g(X vj ) := − l l di ∈ ( 1) X v if d Ed , 1 j td/2 ,  − j+td/2 ∈ ≤ ≤  l l di Ed ( 1) X vj t /2 if d , tdi /2 < j tdi . − − d ∈ ≤  Then g SU(p, q), g2 = Id, and gX = Xg. This prove (3) (2). ∈  − ⇒ Note that (2) (1) is always true. Thus, it remains to show (1) (3). Suppose ⇒ ⇒ (1) holds. X is real in su(p, q), i.e., X X , the nilpotent orbit of X. In view of Remark 3.2, the signed Young diagram− of ∈ Ois determined by d (n) and (p , q ) for OX ∈ P d d all d Nd where pd and qd is given by (6.1). Note that X,H, Y is a sl2-triple in su(p, q∈) containing X and the partition d (p + q) for{− the nilpotent− } element X is same as X, see Section− 3.4. Following the construction∈ P as done for X, let − d d 1 d O # j vj , ( X) − vj = 1 if d d , pd′ := { | h −d di 1 d } ∈ and qd′ := td pd′ . (6.2) # j √ 1 v , ( X) − v = 1 if d Ed ; − ( { | − h j − j i } ∈ Comparing (6.1) and (6.2), we conclude that

(p , q )=(p′ , q′ ) for d Od , (p , q )=(q′ ,p′ ) for d Ed . d d d d ∈ d d d d ∈ As X X , the signed Young diagrams of X and X coincide, see [CM, Theorem − ∈ O O O− 9.3.3]. Hence, p = q for all d Ed. This completes the proof.  d d ∈ 6.3. The Lie algebra so(p, q). Next we will consider the real simple Lie algebra so(p, q), see §3.1 for the definition. Since we will deal with the nilpotent elements, we can assume that p,q > 0 . In this subsection, , denotes the symmetric form on Rp+q defined by x, y := xtI y, where I is as inh· (3.2·i). h i p,q p,q Proposition 6.5. Every nilpotent element in so(p, q) is strongly AdSO(p,q)-real.

Proof. Let X so(p, q) be a non zero nilpotent element. Then Rp+q has a basis of the l j ∈ N form X vd 0 l d 1, 1 j td, d d which satisfies Proposition 3.5(3) and Remark{ 3.6(1).| Now≤ ≤ define− g ≤GL(≤Rp+q) as∈ follows} : ∈ l l d 1 ( 1) X v if d Od , − j ∈ ( 1)l+1Xlvd if d O3 , l d  j d g(X vj ) := − l l d ∈ (6.3) ( 1) X v if d Ed , 1 j td/2 ,  − j+td/2 ∈ ≤ ≤  l l d E ( 1) X vj t /2 if d d , td/2 < j td . − − d ∈ ≤  Note that det g =1, gX= Xg and g SO(p, q).  − ∈ Now we will consider the Ad-action of SO(p, q)0 on the nilpotent elements in so(p, q). The following example shows that every nilpotent element in so(2, 1) is not strongly real under the action of SO(2, 1)0, see also [Go, Theorem 1.1, Corollary 1.3]. Example 6.6. Let X so(2, 1) be a nilpotent element whose signed Young diagram is ∈ 0 1 1 +1 +1 . Then there is no involution g SO(2, 1) so that gXg− = X. This − ∈ − is easy to see using the upper half space model of the hyperbolic space, where such a 20 K. GONGOPADHYAY AND C. MAITY nilpotent element corresponds to the translation z z + 1 in the isometry group and can not be conjugated to z z 1 in the group PSL(27→, R). 7→ − Let X so(p, q) be a non zero nilpotent element. Let X,H,Y so(p, q) be a ∈ n { } ⊂ sl2(R)-triple. Let V := R be the right R-vector space of column vectors. We consider V as a SpanR X,H,Y -module via its natural so(p, q)-module structure. Recall that each { } d row of a signed Young diagram will represent an invariant SpanR X,H,Y -module Vj d l d { } which admits a cyclic basis of the form (j) := X vj 0 l

VE := M(η 1) , VO1 := M(θ 1) , VO3 := M(ζ 1) . (6.4) − − − η Ed θ O1 ζ O3 M∈ M∈ d M∈ d Using Proposition 3.5, we have the following orthogonal decomposition of V :

V = VE VO1 VO3 . (6.5) ⊕ ⊕ Let g SO(p, q) be as in (6.3). Then ∈ θ θ η η η η g(V ) V and g(V V ) V V for θ Od, η Ed . j ⊂ j j ⊕ j+tη/2 ⊂ j ⊕ j+tη/2 ∈ ∈ In particular, g(VE) VE, g(VO1 ) VO1 and g(VO3 ) VO3 . In the next lemma, we want ⊂ ⊂ ⊂ to study g VE , g VO1 , g VO3 . | | d | d

td1 tds Lemma 6.7. Let X so(p, q) be a non-zero nilpotent element, and d = [d ,...,ds ] ∈ 1 1(p + q) be the corresponding partition for X. Let pθ (resp. qθ) be the number of +1 ∈ P st (resp. 1) in the 1 column of the rectangular block of size tθ θ in the signed Young diagram− of X. Let g SO(p, q) be as in (6.3). Then the following× hold : ∈ SO0(η, η) if η 0 (mod 4) E η η (1) For η d, g V V 0 ≡ . ∈ | j ⊕ j+tη/2 ∈ SO(η, η) SO (η, η) if η 2 (mod 4) ( \ ≡ 0 SO (pE, pE) if η 2 (mod 4) tη/2 even In particular , g VE 0 ≡ | ∈ (SO(pE, pE) SO (pE, pE) if η 2 (mod 4) tη/2 odd , \ P≡ E where p = η Ed ηtη/2. ∈ P 0 ζ+1 ζ 1 ζ ζ 1 ζ 1 P SO ( 2 , −2 ) if vj ,X − vj =1 (2) For ζ Od, g ζ h i . Vj 0 ζ 1 ζ+1 ζ ζ 1 ζ ∈ | ∈ (SO ( −2 , 2 ) if vj ,X − vj = 1 0 h i − 1 1 1 1 In particular, g VO1 SO (pO , qO ), where (pO , qO ) is the signature of the form | d ∈ , VO1 VO1 . h· ·i| d × d θ 1 θ+1 0 θ 1 θ+1 θ θ 1 θ 3 SO( −2 , 2 ) SO ( −2 , 2 ) if vj ,X − vj =1 , (3) For θ Od, g θ \ h i Vj θ+1 θ 1 0 θ+1 θ 1 θ θ 1 θ ∈ | ∈ SO( , − ) SO ( , − ) if v ,X − v = 1 . ( 2 2 \ 2 2 h j j i − d d Proof. Proof of (1):- Recall that B (j) is an ordered basis of the vector space Vj . d d Now we will construct an orthogonal ordered basis of V V . For 1 j tη/2 and j ⊕ j+tη/2 ≤ ≤ REALITY OF UNIPOTENT ELEMENTS 21

1 l η, define ≤ ≤ η+ η l η l 1 η 1 η− l 1 η η l η 1 w := X − v +( X) − v and w := X − v +( X) − v jl j+tη/2 − j √2 jl j − j+tη/2 √2 η+ η+ η− η− η+ η−  Let j := wjl 1 l η and j := wjl 1 l η . Then j j is an suitable orthogonalC { basis| so that≤ ≤ } C { | ≤ ≤ } C ∨C wη+ , wη+ = 1 and wη− , wη− = 1 . h jl jl i h jl jl i − 1 SO(η if η 0 (mod 4) , The matrix [g] η+ = [g] η− = ... ≡ Cj Cj   ∈ O(η) SO(η) if η 2 (mod 4) . 1 ( \ ≡ Hence,   [g] + SO0(η, η) if η 0 (mod4) , η η Cj [g] + − = 0 ≡ Cj ∨Cj [g] − ∈ j ! (SO(η, η) SO (η, η) if η 2 (mod4) . C \ ≡ d d This completes the proof of (1) as VE = (V V ). 1 j tη/2 j j+tη/2 ≤ ≤ ⊕ Proof of (2):- In these cases we will alsoP construct an orthogonal basis of the vector θ θ O O space Vj using the basis B (j), for θ d, see [BCM, Lemma A.9(2)]. For θ d, define ∈ ∈ l θ θ 1 l θ 1 X v + X − − v if 0 l < (θ 1)/2 j j √2 ≤ − θ  l θ wjl := X vj  if l = (θ 1)/2 (6.6)  −  θ 1 l θ l θ 1 X − − v X v if (θ 1)/2 < l θ 1. j − j √2 − ≤ − θ θ  O Then w , w ′ = 0 for θ d, l = l′ and 0 l, l′ θ 1 ; and h jl jl )i  ∈ 6 ≤ ≤ − l θ θ 1 θ ( 1) v ,X − v if 0 l < (θ 1)/2 − h j j i ≤ − θ θ l θ θ 1 θ wjl, wjl = ( 1) vj ,X − vj if l = (θ 1)/2 h i  − h i −  l+1 θ θ 1 θ ( 1) v ,X − v if (θ 1)/2 < l θ 1 . − h j j i − ≤ − 1 ζ ζ 1 ζ For ζ Od, we need to consider two cases. First assume that v ,X − v = +1. Set ∈  h j j i ζ+ ζ ζ 1 ζ ζ ζ 1 := w l even , 0 l − w −1 w l odd , −

ζ− ζ ζ 1 ζ ζ ζ 1 j := wjl l even , 0 l − w ζ−1 wjl l odd , −

Hence,

Id ζ−1 ζ 1 ζ +1 2 0 ζ ζ ζ − [g V ] + − = SO − , . | j j j Id ζ+1 ∈ 2 2 C ∨C 2 !  This completes the proof of (2). 1 θ θ 1 θ Proof of (3):- For θ Od, first assume that v ,X − v = +1. Set ∈ h j j i θ 1 θ 1 θ+ := wθ l even , 0 l − wθ l odd , −

Corollary 6.8. Let X so(p, q) and g SO(p, q) be as in Lemma 6.7. If 3 t is θ Od θ 0 ∈ ∈ ∈ 3 3 even, then g VO3 SO (pO , qO ). | d ∈ P Corollary 6.9. Let X so(p, q) and g SO(p, q) be as in Lemma 6.7. Suppose that ∈ ∈ O3 θ O3 tθ is odd. If either pθ =0 or qθ =0 , θ d, then ∈ d ∀ ∈ 0 P 3 3 3 3 g VO3 SO(pO , qO ) SO (pO , qO ). | d ∈ \ Corollary 6.10. Let X so(p, q) and g SO(p, q) be as in Lemma 6.7. Suppose that ∈ ∈ either p =0 or q =0 , θ Od. θ θ ∀ ∈ 0 (1) If either both θ O3 tθ and η 2 (mod 4) tη/2 is even or odd, then g SO (p, q). ∈ d ≡ ∈ (2) If one of θ O3 tθ and η 2 (mod 4) tη/2 is even and another one is odd, then ∈Pd P≡ g SO(p, q) SO0(p, q). ∈ P\ P In the next result we will show that a certain class of nilpotent elements in so(p, q) is strongly AdSO(p,q)0 -real.

td1 tds Proposition 6.11. Let X so(p, q) be a non-zero nilpotent element, and d = [d ,...,ds ] ∈ 1 1(p + q) be the corresponding partition for X. Let pθ (resp. qθ) be the number of +1 (resp.∈ P 1) in the 1st column of the rectangular block of size t θ in the signed Young − θ × diagram of X. Suppose that there exist θ, θ′ Od so that p =0 and q ′ =0. Then X is ∈ θ 6 θ 6 strongly AdSO(p,q)0 -real.

Proof. Let g SO(p, q) be as in (6.3). If g SO0(p, q), then we are done. Suppose 0 ∈ d ∈ d that g SO (p, q). Recall that B (j) is an ordered basis of the vector space Vj . We 6∈ θ θ 1 θ θ θ′ 1 θ′ can assume that v , X − v = +1 and v , X − v = 1 for θ, θ′ Od. Define h jθ jθ i h jθ′ jθ′ i − ∈ REALITY OF UNIPOTENT ELEMENTS 23 g SO(p, q) as follows: ∈ l θ ′ l d g(X vj ) if d = θ, θ′; j = jθ, , jθ , e g(X vj ) := − l θ (g(X vj ) otherwise . Since, g SO(p, q) e SO0(p, q), it follows that g SO0(p, q) is an involution and X = 1 ∈ \ ∈ − gXg− . This completes the proof.  The proof of the next proposition is implicite in the proof of [BCM, Theorem 4.25]. Propositione e 6.12. Let X so(p, q) be a non-zero nilpotent element, and d (p + q) ∈ ∈ P1 be the corresponding partition for X. Let pθ (resp. qθ) be the number of +1 (resp. 1) in the 1st column of the rectangular block of size t θ in the signed Young diagram− of X. θ × If either p =0 or q =0 for all θ Od, then θ θ ∈ ZSO(p,q)(X) = ZSO(p,q)0 (X) .

Proof. As Lie(Z (X,H,Y )) = Lie(Z 0 (X,H,Y )) z (X), to prove SO(p,q) SO(p,q) ≃ so(p,q) this proposition, it is enough to show ZSO(p,q)(X,H,Y ) = ZSO(p,q)0 (X,H,Y ).

Let , E := , VE VE and , O := , VO VO . Let XE := X VE , XO := X VO , h· ·i h· ·i| × h· ·i h· ·i| × | | HE := H VE , HO := H VO , YE := Y VE and YO := Y VO . We have the following natural | | | |

SO(p,q)(X,H,Y ) SO(VE, , E)(XE,HE,YE) SO(VO, , O)(XO,HO,YO) , (6.8) Z ≃ Z h· ·i × Z h· ·i E E E R where SO(VE, , E)(X ,H ,Y ) η Ed Sp(tη/2, ) is connected. Also, it follows from Z h· ·i ≃ ∈ [BCM, (4.31)] that Q ◦ ◦ SO(p,q) (X,H,Y ) SO(VE, , E)(XE,HE,YE) SO(VO, , O) (XO,HO,YO). (6.9) Z ≃ Z h· ·i × Z h· ·i We now appeal to [BCM, Proposition 4.21 and 4.21] to conclude under the given assump- tion on the nilpotent element X that

SO(VO, , O)(XO,HO,YO) SO(VO, , O)0 (XO,HO,YO) . Z h· ·i ≃ Z h· ·i This completes the proof.  Proposition 6.13. Let X so(p, q) be a non-zero nilpotent element as in Proposition ∈ 6.12, i.e., either p =0 or q =0 for all θ Od. Then X is not Ad 0 -real if one of θ θ ∈ SO(p,q) η 2 (mod 4) tη/2 and θ O3 tθ is odd and another one is even. ≡ ∈ d P P 1 0 Proof. Suppose that X is a real element, i.e., X = τXτ − for some τ SO (p, q). Let g SO0(p, q) be as in (6.3). Then using Proposition− 6.12 we have ∈ ∈ 0 g τZ (X)= τZ 0 (X) SO (p, q) , ∈ SO(p,q) SO (p,q) ⊂ which contradicts Corollary 6.10(2). This completes the proof. 

td1 tds Theorem 6.14. Let X so(p, q) be a non-zero nilpotent element, and d = [d ,...,ds ] ∈ 1 1(p + q) be the corresponding partition for X. Let pθ (resp. qθ) be the number of +1 ∈ P st (resp. 1) in the 1 column of the rectangular block of size tθ θ in the signed Young diagram− of X. Then TFAE : ×

(1) X is AdSO(p,q)0 -real. (2) X is strongly AdSO(p,q)0 -real. (3) The signed Young diagram of X does not satisfy both the following conditions : 24 K. GONGOPADHYAY AND C. MAITY

Either p =0 or q =0 for all θ Od. • θ θ ∈ One of η 2 (mod 4) tη/2 and θ O3 tθ is odd and another one is even. • ≡ ∈ d Proof. First noteP that (2) (1) is obvious.P (1) (3) follows from Proposition 6.13. Using Proposition 6.11 and Corollary⇒ 6.10(1), we conclude⇒ that (3) (2).  ⇒

6.4. The Lie algebra so∗(2n). Here we will consider the real simple Lie algebra so∗(2n). Recall that H = R + iR + jR + kR. Throughout this subsection , denotes the skew- n t n h· ·i Hermitian form on H defined by x, y := x jIny, for x, y H . We will follow notation as defined in §3. h i ∈

Let X so∗(2n) be a non zero nilpotent element, and let X,H,Y so∗(2n) be a ∈ { } ⊂ sl2(R)-triple. We now apply Proposition 3.5, Remark 3.6(2). Following Section 3.5, let td1 tds tdr := dimH L(dr 1) for 1 r s, and d := [d1 ,...,ds ] (n) be the partition of n corresponding− to the element≤ ≤X. Let ∈ P d d 1 d O # j vj , X − vj = 1 when d d , pd := { | h d di 1 d } ∈ and qd := td pd . (6.10) # j √ 1 v , X − v = 1 when d Ed ; − ( { | − h j j i } ∈ Now we associate a signed Young diagram for the element X by setting +1 in the pη-many boxes and 1 in the rest q -many boxes in the 1st column of the rectangular block of size − η t η for η Ed, and place +1 in the left most box of odd length rows. It follows that η × ∈ this association does not depend on the conjugacy class. The nilpotent orbits in so∗(2n) is parametrized by the signed Young diagram of size n and any signature in which rows of odd length have their left most boxes labelled +1, see [CM, Theorem 9.3.4], also [BCM, Theorem 4.27].

Theorem 6.15. Let X be a nilpotent element in so∗(2n). Then TFAE : (1) X is real. (2) X is strongly real. (3) p = q for all η Ed. η η ∈ Proof. We will show (3) (2) (1) (3). Let X,H,Y g be a sl2-triple n⇒ ⇒ ⇒ { j d } ⊂ corresponding to X. Then H has a H-basis of the form X v d Nd which satisfy { j | ∈ } Proposition 3.5. First assume that pd = qd for all d Ed. In view of Remark 3.6, we can assume that ∈ 1 1 j pd d Ed , d d 1 d ≤ ≤ ∈ v ,X − v = 1 p < j t d Ed , h j j i − d ≤ d ∈ j d Od . ∈ Define g GL(Hn) as follows: ∈  l l d 1 ( 1) X v if d Od, − j ∈ ( 1)l+1Xlvd if d O3 , l d  j d g(X vj ) := − l l d ∈ ( 1) X v if d Ed , 1 j td/2 ,  − j+td/2 ∈ ≤ ≤  l l d E ( 1) X vj t /2 if d d , td/2 < j td . − − d ∈ ≤ 2  Then g SO∗(2n), g = Id, and gX = Xg. This proves (2). ∈  − Note that (2) (1) is always true. Thus, it remains to show (1) (3). Suppose (1) holds, i.e., X⇒ . In view of Remark 3.2, the signed Young diagram⇒ of is − ∈ OX OX REALITY OF UNIPOTENT ELEMENTS 25 determined by d (n) and(p , q ) for all d Nd where p and q is given by (6.10). Note ∈ P d d ∈ d d that X,H, Y is a sl2-triple in so∗(2n) containing X and the partition d (n) for the{− nilpotent− element} X is same as X, see Section−3.4. Following the construction∈ P as done for X, let − d d 1 d O # j vj , ( X) − vj = 1 if d d , pd′ := { | h −d di 1 d } ∈ and qd′ := td pd′ . (6.11) # j √ 1 v , ( X) − v = 1 if d Ed ; − ( { | − h j − j i } ∈ Comparing (6.10) and (6.11), we conclude that

(p , q )=(p′ , q′ ) for d Od , (p , q )=(q′ ,p′ ) for d Ed . d d d d ∈ d d d d ∈ Since, X X , the signed Young diagrams of X and X coincide, see [CM, Theorem − ∈ O O O− 9.3.4]. Hence, p = q for all d Ed. This completes the proof.  d d ∈ 6.5. The Lie algebra sp(n, R). Here we will consider the real simple Lie algebra sp(n, R). Throughout this subsection , denotes the symplectic form on R2n defined by x, y := xtJ y, x, y R2n, where J h·is·i as in (3.2). h i n ∈ n Let X sp(n, R) be a non zero nilpotent element. We now apply Proposition 3.5, ∈ Remark 3.6(2). Following Section 3.5, let tdr := dimR L(dr 1) for 1 r s, and td1 tds − ≤ ≤ d := [d ,...,ds ] (2n) be the partition corresponding to the element X. Let 1 ∈ P η η 1 η p := # j v , X − v = 1 , and q := t p for η Ed . η { | h j j i } η η − η ∈ Now we associate a signed Young diagram for the element X by setting +1 in the pη-many boxes and 1 in the rest q -many boxes in the 1st column of the rectangular block of size − η tη η for η Ed, and place +1 in the left most box of odd length rows. It follows that this× association∈ does not depend on the conjugacy class. The nilpotent orbits in sp(n, R) is parametrized by the signed Young diagram of size 2n and any signature in which rows of odd length have their left most boxes labelled +1 and occur with even multiplicity, see [CM, Theorem 9.3.5], also [BCM, Theorem 4.27]. Theorem 6.16. Let X be a nilpotent element in sp(n, R). Then TFAE : (1) X is real. (2) X is strongly real. (3) p = q for all η Ed. η η ∈ Proof. We will show (3) (2) (1) (3). Let X,H,Y sp(n, R) be a ⇒ R2⇒n ⇒ { j }d ⊂ N sl2-triple corresponding to X. Then has a basis of the form X vj d d which satisfy Proposition 3.5 (3). In view of Remark 3.6(1), we can assume{ that| ∈ }

d d 1 d 1 1 j pd d d 1 d v ,X − v = ≤ ≤ ,d Ed ; v ,X − v = 1for d Od, 1 j td/2. h j j i 1 p < j t ∈ h j td/2+ji ∈ ≤ ≤ (− d ≤ d 2n First assume that p = q for all d Ed. Define g GL(R ) as follows: d d ∈ ∈ l l d 1 ( 1) X v if d Od , − j ∈ ( 1)l+1Xlvd if d O3 , l d  j d g(X vj ) := − l l d ∈ ( 1) X v if d Ed , 1 j td/2 ,  − j+td/2 ∈ ≤ ≤  l l d E ( 1) X vj t /2 if d d , td/2 < j td . − − d ∈ ≤   26 K. GONGOPADHYAY AND C. MAITY

Then g Sp(n, R), g2 = Id, and gX = Xg. This proves (2). ∈ − Note that (2) (1) is always true. Thus, it remains to show (1) (3). Let the signed ⇒ ⇒ N Young diagram for the orbit X be determined by d′ (n) and (pd′ , qd′ ) for d d. Using Proposition 3.5 and RemarkO− 3.6(3), it follows that∈ P ∈

d = d′ ; (p , q )=(p′ , q′ ) for d Od , (p , q )=(q′ ,p′ ) for d Ed . d d d d ∈ d d d d ∈ Now (1) implies X X . Therefore, the signed Young diagrams of X and X − ∈ O O O− coincide, see [CM, Theorem 9.3.5]. Hence, pd = qd for all d Ed. This completes the proof. ∈ 

6.6. The Lie algebra sp(p, q). Here we will deal with the nilpotent elements in the Lie algebra sp(p, q). We will further assume that p,q > 0. Recall that H = R+ iR+ jR+ kR. Throughout this subsection , denotes the hermitian form on Hn defined by x, y := t h· ·i h i x¯ Ip,qy, where Ip,q is as in (3.2). Recall the definition of Nd and Ed as in (3.3). Theorem 6.17. Every non-zero nilpotent element in Lie(PSp(p, q)) is real.

Proof. Let X sp(p, q) be a non zero nilpotent element. Then Hp+q has a H-basis of l j ∈ N the form X vd d d which satisfies Proposition 3.5(3). Now define g GL(V ) as follows : { | ∈ } ∈ l d l l d g(X v ) := ( 1) X v i , d Nd . j − j ∈ Then g2 = Id, gX = Xg and g Sp(p, q). This completes the proof.  − − ∈ Now we have an immediate corollary which extends [BG, Theorem 1.1] for any unipotent element in the higher rank situation. Corollary 6.18. Every non-zero nilpotent element in sp(p, q) is real.

td1 tds Every nilpotent element in sp(p, q) corresponds to a partition d = [d1 ,...,ds ] (n), see [CM, Theorem 9.3.5], also [BCM, Theorem 4.38]. Next we classify strongly real∈ Pnilpotent elements in sp(p, q). Theorem 6.19. Let X sp(p, q) be a nilpotent. Then X is a strongly real element if ∈ and only if t is even for all η Ed. η ∈ Proof. Let X sp(p, q) be a non zero nilpotent element. Then Hp+q has a H-basis of l j ∈ the form X v d Nd which satisfies Proposition 3.5(3). Suppose that t is even for { d | ∈ } η all η Ed. Define g GL(V ) as follows : ∈ ∈ l l d 1 ( 1) X v if d Od , − j ∈ ( 1)l+1Xlvd if d O3 , l d  j d g(X vj ) := − l l d ∈ ( 1) (X v )i if d Ed , 1 j td/2 ,  − j+td/2 ∈ ≤ ≤  l+1 l d E ( 1) (X vj t /2)i if d d , td/2 < j td . − − d ∈ ≤ 2  Then g = Id, gX = Xgand g Sp(p, q). Hence, X is strongly real. − ∈ Next assume that X is a strongly real nilpotent element in sp(p, q). Let τ ZSp(p,q)(X). p+q ∈ Recall that is the ordered basis of H as in (3.9). Following §3.5, let [τ] = (Aij), B B and τD be the block diagonal part of [τ] , i.e., consists of only the matrices (Ajj) in B REALITY OF UNIPOTENT ELEMENTS 27 the diagonal. Then τDX = XτD and τDH = HτD. Using Lemma 3.7, it follows that τ Z (X,H,Y ). Using Proposition 3.9, we conclude that for 1 j s D ∈ Sp(p,q) ≤ ≤ A SO∗(2t ) if d even. (6.12) jj ∈ dj j Next define g Sp(p, q) as in the proof of Theorem 6.17. Then the matrix [g] becomes ∈ B a diagonal matrix. The first td1 + + tds diagonal entries of [g] is of the form: ··· B dj 1 diag D1,...,Ds , where Dj = ( 1) − i It for1 j s . − dj ≤ ≤ 1 Since X is strongly real, νXν − = X for some involution ν Sp(p, q). Then ν gZ (X). It follows that when d is even− and 1 j s, the matrices∈ A also satisfy ∈ G j ≤ ≤ jj (A i)2 = I . (6.13) jj tdj Using (6.12) and (6.13) we conclude that A = A¯t jj − jj Let λ be a right eigen value of Ajj (ref for existence of eigen value). Then it follows that 1 λ¯− is also a right eigen value which is distinct from λ. This proves that t , the order − dj of the matrix Ajj, must be even. This completes the proof. 

Appendix

In this section we will deal with a particular example in support of the Section 3.5. Let D be either R or C or H. Let X be a nilpotent element in sl14(D) where D is R or C or H 2 2 4 l dr which correspondence to the partition d := [3 , 2 , 1 ]. Let X vj 1 j tdr , 0 l 14 { | ≤ ≤ ≤ ≤ dr 1, 1 r 3 be a D-basis of D as in Proposition 3.4. Here, d1 =3, d2 =2, d3 =1 − ≤ ≤ } l l dr l dr and td1 = 2, td2 = 2, td3 = 4. Recall that (dr) := (X v ,...,X v ). Set (1) := B 1 tdr B 2(d ) 1(d ) 0(1), (2) := 1(d ) 0(d ), and (3) := 0(d ). Finally define, B 1 ∨ B 2 ∨ B B B 1 ∨ B 2 B B 1 := (1) (2) (3) . (6.14) B B ∨ B ∨ B We would like to write explicitly the matrix [τ] . Suppose B 3 2 3 2 3 1 2 1 2 1 τ(v1 ) = c3121X v1 + c3122X v2 + d3111X v1 + d3112X v2 + e3101v1 1 1 1 1 3 1 3 + e3102v2 + e3103v3 + e3104v4 + c3111X v1 + c3112X v2 (6.15) 2 2 3 3 + d3101v1 + d3102v2 + c3101v1 + c3102v2 , 3 2 3 2 3 1 2 1 2 1 τ(v2 ) = c3221X v1 + c3222X v2 + d3211X v1 + d3212X v2 + e3201v1 1 1 1 1 3 1 3 + e3202v2 + e3203v3 + e3204v4 + c3211X v1 + c3212X v2 (6.16) 2 2 3 3 + d3201v1 + d3202v2 + c3201v1 + c3202v2 , 2 2 3 2 3 1 2 1 2 1 1 τ(v1) = c2121X v1 + c2122X v2 + d2111X v1 + d2112X v2 + e2101v1 + e2102v2 1 1 1 3 1 3 2 2 (6.17) + e2103v3 + e2104v4 + c2111X v1 + c2112X v2 + d2101v1 + d2102v2 ,

2 2 3 2 3 1 2 1 2 1 1 τ(v2) = c2221X v1 + c2222X v2 + d2211X v1 + d2212X v2 + e2201v1 + e2202v2 1 1 1 3 1 3 2 2 (6.18) + e2203v3 + e2204v4 + c2211X v1 + c2212X v2 + d2201v1 + d2202v2 , 1 Since τXτ − = ǫX, using (6.15) and (6.16) we have 3 2 3 2 3 2 2 3 3 τ(Xv1 )= ǫ(c3111X v1 + c3112X v2 + d3101Xv1 + d3102Xv2 + c3101Xv1 + c3102Xv2) , 28 K. GONGOPADHYAY AND C. MAITY

3 2 3 2 3 2 2 3 3 τ(Xv2) = ǫ(c3211X v1 + c3212X v2 + d3201Xv1 + d3202Xv2 + c3201Xv1 + c3202Xv2 ,

1 2 3 2 3 1 2 1 2 1 1 τ(v1 ) = c1121X v1 + c1122X v2 + d1111X v1 + d1112X v2 + e1101v1 + e1102v2 1 1 + e1103v3 + e1104v4 , 1 2 3 2 3 1 2 1 2 1 1 τ(v2 ) = c1221X v1 + c1222X v2 + d1211X v1 + d1212X v2 + e1201v1 + e1202v2 1 1 + e1203v3 + e1204v4 , 1 2 3 2 3 1 2 1 2 1 1 τ(v3 ) = c1321X v1 + c1322X v2 + d1311X v1 + d1312X v2 + e1301v1 + e1302v2 1 1 + e1303v3 + e1304v4 , 1 2 3 2 3 1 2 1 2 1 1 τ(v4 ) = c1421X v1 + c1422X v2 + d1411X v1 + d1412X v2 + e1401v1 + e1402v2 1 1 + e1403v3 + e1404v4 ,

2 1 3 1 3 2 2 τ(Xv1) = ǫ(c2111X v1 + c2112X v2 + d2101v1 + d2102v2 ) , (6.19) 2 2 3 2 3 2 2 τ(Xv2) = ǫ(c2211X v1 + c2212X v2 + d2201Xv1 + d2202Xv2) , (6.20) Finally, we have 2 3 2 3 2 3 τ(X v1) = c3101X v1 + c3102X v2 , (6.21) 2 3 2 3 2 3 τ(X v2) = c3201X v1 + c3202X v2 . (6.22) Hence, the matrix [τ] is of the following form: B

c3101 c3201 ǫc2111 ǫc2211 c1121 c1221 c1321 c1421 ǫc3111 ǫc3211 c2121 c2221 c3121 c3221  c3102 c3202 ǫc2112 ǫc2212 c1122 c1222 c1322 c1422 ǫc3112 ǫc3212 c2122 c2222 c3122 c3222   ǫd2101 ǫd2201 d1111 d1211 d1311 d1411 ǫd3101 ǫd3202 d2111 d2211 d3111 d3211     ǫd2102 ǫd2202 d1112 d1212 d1312 d1412 ǫd3102 ǫd3202 d2112 d2212 d3112 d3212     e1101 e1201 e1301 e1401 0 0 e2101 e2201 e3101 e3201     e1102 e1202 e1302 e1402 0 0 e2102 e2202 e3102 e3202     e1103 e1203 e1303 e1403 0 0 e2103 e2203 e3103 e3203    .  e1104 e1204 e1304 e1404 0 0 e2104 e2204 e3104 e3204     ǫc3101 ǫc3201 c2111 c2211 c3111 c3211     ǫc3102 ǫc3202 c2112 c2212 c3112 c3212     d2101 d2201 d3101 d3201     d2102 d2202 d3102 d3202     c c   3101 3201   c3102 c3202 

Acknowledgements. We thank Pralay Chatterjee, Dipendra Prasad, Anupam Singh and Maneesh Thakur for their comments on a first draft of this article.

References [AD] D. Awa, R. J. de la Cruz, Every real is a product of real symplectic involutions, Linear Algebra Appl., 589 (2020), 85–95. [Bo] A. Borel, Linear algebraic groups, Second Enlarged Edition, Graduate Texts in Mathematics, 126, Springer-Verlag, New York, 1991. REALITY OF UNIPOTENT ELEMENTS 29

[BCM] I. Biswas, P. Chatterjee, C. Maity, The Second cohomology of nilpotent orbits in classical Lie algebra, Kyoto J. Math. , vol. 60, No. 2, 2020, pp 717-799. [BG] S. Bhunia, K. Gongopadhyay, Reversible quaternionic hyperbolic isometries. Linear Algebra Appl., 591 (2020), 268–283. [BM] A. Basmajian, B. Maskit, Space form isometries as and products of involutions, Trans. Amer. Math. Soc., 364(9) (2012) 5015–5033. [Cr] R. J. de la Cruz, Each symplectic matrix is a product of four symplectic involutions, Linear Algebra Appl., 466 (2015), 382–400. [CM] D. H. Collingwood, W. M. McGovern, Nilpotent orbits in semisimple Lie algebras, Van Nostrand Reinhold Mathematics Series, Van Nostrand Reinhold Co., New York, 1993. [DM] D. Z.˘ Djokovi´c, J. G. Malzan, Products of reflections in U(p,q), Mem. Amer. Math. Soc., 37 (1982), no. 259, vi+82 pp. [EV] E. W. Ellers, O. Villa, Generation of the symplectic group by involutions, Linear Algebra Appl., 591 (2020), 154–159. [FS] A. G. O’Farrell, I. Short, Reversibility in Dynamics and , London Mathematical Society Lecture Note Series, vol.416, Cambridge University Press, Cambridge, 2015. [FZ] W. Feit, G. J. Zuckerman, Reality properties of conjugacy classes in spin groups and symplectic groups, in: Algebraists’ Homage: Papers in Theory and Related Topics, New Haven, Conn., 1981, in: Contemp. Math., vol.13, Amer. Math. Soc., Providence, R.I., 1982, pp.239–253. [Go] K. Gongopadhyay, Conjugacy classes in M¨obius groups, Geom. Dedicata, 151 (2011) 245–258. [GP] K. Gongopadhyay, J. Parker, Reversible complex hyperbolic isometries, Linear Algebra Appl., 438(6), (2013), 2728–2739. [G81] R. Gow, Products of two involutions in classical groups of characteristic 2, J. Algebra, 71 (1981), 583–591. [Kn] A. W. Knapp, Lie groups beyond an introduction, Second edition, Progress in Mathematics, Vol. 140, Birkh¨ausar, Basel, 2002. [KN1] F. Kn¨uppel, K. Nielsen, On products of two involutions in the orthogonal group of a vector space, Linear Algebra Appl., 94 (1987) 209–216. [KN2] F. Kn¨uppel, K. Nielsen, Products of involutions in O+(V ), Linear Algebra Appl. 94 (1987) 217–222. [KN3] F. Kn¨uppel, and K. Nielsen, SL(V) is 4-reflectional. Geom. Dedicata, 38(3), 1991., 301–308. [Ma] C. Maity, On the Topology of Nilpotent Orbits in SemiSimple Lie Algebras, PhD Thesis, Homi Bhabha National Institute, IMSc, Chennai, 2017. [Mc] W. M. McGovern, The and the adjoint action in Algebraic quotients. Torus actions and cohomology. Encyclopaedia Math. Sci., 131, Invariant Theory Algebr. Trans- form. Groups, II, Springer, Berlin, 2002, 159–238. [SS] T. A. Springer, R. Steinberg, Conjugacy classes, in : 1970 Seminar on Algebraic Groups and Related Finite Groups (The Institute for Advanced Study, Princeton, N.J., 1968/69) pp. 167– 266, Lecture Notes in Mathematics, Vol. 131 Springer, Berlin, 1970. [ST] A. Singh, M. Thakur, Reality properties of conjugacy classes in algebraic groups. Israel J. Math., 165 (2008), 1–27. [TZ1] P. H. Tiep, A.E. Zalesski, Unipotent elements of finite groups of Lie type and realization fields of their complex representations, J. Algebra, 271 (2004), 327–390. [TZ2] P. H. Tiep, A.E. Zalesski, Real conjugacy classes in algebraic groups and finite groups of Lie type, J. Group Theory, 8 (2005), no. 3, 291–315. [Vi] R. C. Vinroot, Totally orthogonal finite simple groups. Math. Z, 294 (2020), no. 3-4, 1759–1785. [VG] E. P. Vdovin, A. A. Gal’t, Strong reality of finite simple groups. Sib. Math. J., 51(4), 2010, 610–615. [Wo] M. J. Wonenburger, Transformations which are products of two involutions, J. Math. Mech., 16 (1966) 327–338.

Indian Institute of Science Education and Research (IISER) Mohali, Knowledge City, Sector 81, S.A.S. Nagar 140306, Punjab, India Email address: [email protected], [email protected] 30 K. GONGOPADHYAY AND C. MAITY

Indian Institute of Science Education and Research (IISER) Mohali, Knowledge City, Sector 81, S.A.S. Nagar 140306, Punjab, India Email address: [email protected], [email protected]