& 4 Centro de Investigacion en Matematicas A.C. CIMAT Estructuras Geométricas en Superalgebras de Lie Basadas en gl, y Asociadas a la Representacién Adjunta TESIS que para obtener el grado de Doctor en Ciencias CIMAT con orientacién en BIBLIOTECA Matematicas Basicas PRESENTA: Gil Salgado Gonzalez DIRECTOR DE TESIS: Dr. O. Adolfo Sanchez Valenzuela Agosto 10 de 2001 Guanajuato, Gto, MéxicoPara = MarisolAgradecimientos. ‘A mis padres: Eduardo y Socorro. A Adolfo Sénchez Valenzuela, por su amistad, confianza y apoyo que me brindé durante el desarrollo de este trabajo. Al CIMAT, como institucién por los tres afios de apoyo recibidos y en especial al Prof. Francisco Mirabal, sin el cual el CIMAT y todo Posgrados serfa completamente distinto. Al CONACyT, por la beca para estudios de doctorado que me otorg6 durante el periodo de enero de 2000 a agosto de 2001 y por los apoyos recibidos a través del proyecto 28491B “Anélisis geométrico; estructuras geométricas distinguidas IT” del cual formé parte como tesista.No se crea que hay uno solo de nosotros que conozca tan graves misterios en todo su alcance. La verdad unas pocas veces parece presentrsenos clara como el dia: otras veces nos la ocultan las cosas materiales y los habitos, de modo que volvemos a caer en profunda noche ... Hay entre nosotros algunos para quienes el relémpago brilla a cada momento, teniéndolos casi constantemente envueltos en luz, de modo que la noche es para ellos como el claro dfa ... segtin estas circunstacias varian los grados de los hombre perfectos. En cuanto aquellos que no ven jamés la luz, sino que andan errantes en la noche... aquellos para quienes la verdad est del todo oculta, ésos son el vulgo, y para ellos no hay lugar en este tratado. MaiménidesIntroduccién . 1. Preliminares 1.1 Espacios vectoriales graduados 1.2 Cambios de paridad 1.3 Estructuras geométricas : 1.4 Estructuras geomeétricas y operadores de cambio de paridad 2. El problema de clasificacién de las superdlgebras de Lie en 9@g y el problema de determinar sus posibles estructuras geométricas 2.1 Estructuras geométricas ad invariantes . . 2.2 Planteamiento del problema 3. Solucién del problema y aplicaciones 3.1 Caso g = sl 3.2 Caso g = gl, — 3.3 Caso g @ g con g Algebra de Lie semisimple y p= ad . 3.4 Caso.gl, @9ln,p=adyn>3 .. 3.5 Estructuras geométricas ad invariantes en hy ( hy MY, ae) 3.6 Caso gl, ® gly con p = ad |e 3.7 Caso gl, © gl, con Bibliografia. 2... . 21 21 22 25 25 27 36 36 42 49 50 527 Introduccién. Clasificar objetos mateméticos es fundamental para el entendimiento pleno de las mateméticas, por esta razén se dedica esfuerzo e ingenio constante a esta actividad. En nuestro caso, los objetos matematicos que nos interesa aqui clasificar son superdlgebras de Lie definidas por un cierto tipo de restricciones que especificaremos en breve. En gen- eral, se cuenta con dos resultados de clasificacién de superdlgebras de Lie debidos a Kac (ver [6] y [16]) y cabe sefialar que reciéntemente se han clasificado superdlgebras de Lie bajo condiciones especfficas que también detallaremos en breve. El hecho es que atin estamos lejos de obtener una clasificacién completa. Los Teoremas de Kac son, una clasificacién de las superdlgebras de Lie simples y una clasificacién de algunas superdlgebras de Lie que satis- facen lo siguiente: la superdlgebra admite una Z-graduacién, digamos G = @ys-1Gn, compatible con la Zy-graduacién original, la repre- sentacién inducida por Gp en G_; via ad(Go) : G_1 —> G_; es ir- reducible y el conjunto de elementos homogéneos (de grado n > 0) que conmutan con G_; es el conjunto cero. Notemos entonces que si empezamos con una algebra de Lie h, y una representacién irreducible p: —> EndV, la tnica posibilidad para tener las condiciones impues- tas por Kac son: definir Go = , G_-1 = V, G; = 0 sii > 1, ademés de que {X € Go | [X,G_1] = 0 } = {0}, y por tanto, la estructura de superdlgebra obtenida es trivial en el siguiente sentido: el supercorchete de dos elementos impares deberd ser cero. Por otro lado, si h = gly y tomamos su representacién irreducible de dimensién 3 (que no es otra cosa que V = sly, donde gl, actita via p = ad), uno puede demostrar que hay, hasta isomorfismo, dos estructuras distintas de superalgebra de Lie enbeV. Typeset by AvS-TEXEn [1] se considera la siguiente variacién: sea V un espacio vectorial y su- pongamos que admite una métrica de signatura (p,q), sea g = s0(p,q) el Algebra de Lie que preserva (infinitesimalmente) esta métrica. Sea gV. su suma semidirecta. Sea h = ho @ hi la superdlgebra de Lie definida por las condiciones }o = g @V y $1 = g. La accion de ho en hy es tal que g acttia via ad, mientras que V actta trivialmente. Denotemos por I la funcién bilineal, simétrica T : g x g —+ g @ V definida por el corchete de Lie de dos elementos impares. Los autores de [1] se plantean el problema de clasificar estructuras de superdlgebra de Lie imponiendo la restriccién de que: g x g > g @V tenga su imagen totalmente contenida en V; de esto ultimo, la identidad Zo-graduada de Jacobi para tres elementos impares se satisface trivialmente y basta entonces clasificar funciones I : g xg —+ V simétricas, bilineales y g@ V-equivariantes para tener clasificadas todas las posibles estructuras de superdlgebra de Lie en (g@V)@g. La filosoffa de los teoremas de cardcter general como los demostrados por V. Kac es la de introducir hipétesis tan amplias y generales como sea posi- ble, pero que al mismo tiempo permitan emplear técnicas con las que el problema de clasificacién pueda reducirse répidamente al de determinar ciertos tipos de formas canénicas ya estudiadas. Por ejemplo, los teore- mas de Kac sobre superdlgebras de Lie h = §o © hi, emplean hipdtesis de simplicidad o semisimplicidad en el Algebra de Lie ho y/o hipétesis de irreducibilidad o reducibilidad completa en la accién de ésta sobre hi, o sobre algtin subespacio V C 1. Uno se convence de que casos més generales en los que ho es una suma directa de subélgebras de Lie cuyas acciones sobre diversos subespacios de h; producen una descomposicién completa, pueden obtenerse como corolarios. En estos corolarios, muy bien puede suceder que algunos detalles finos o importantes para proble- mas més especificos, queden ocultos. Por otro lado, la filosofia de particularizar més algunos problemas y clasi- ficar superdlgebras de Lie con las particularidades que se plantean en [1], por ejemplo, responde al interés concreto que tienen tales superdlgebras en algunas aplicaciones de cardcter fisico 0 geométrico. Concretamente, en el problema abordado en [1], se tiene la gran motivacién de que el Algebra de Poincaré es un ejemplo posible de los ho’s planteados y que 2una clasificacién de las superdlgebras en las que hy es el dlgebra de Lorentz producird respuestas de interés para la fisica. Observemos aqui que el problema planteado en [1] puede ubicarse en un contexto més general: clasificar superdlgebras de Lie ) = jo @b; para las que el Algebra de Lie ho es reductiva — digamos, de la forma }o = g@m para las que se ha fijado una representacién concreta enh; = V — digamos, p : g@m—> EndV. Clasificar las posibles estructuras de superdlgebra que se pueden definir en h bajo estas condiciones, equivale a encontrar todas las posibles aplicaciones bilineales simétricas T : VxV g@m equivariantes y que satisfacen la identidad de Jacobi aplicada a tres elementos impares. El problema que nos planteamos abordar, y que se enmarca dentro del esquema general descrito en el pérrafo anterior, emplea los elementos més sencillos posibles: sea )o = sly con m = {0}, 0 bien ho = gl, = sl, @3 en el que m es unidimensional. Por simplicidad en la notacién escribiremos g, indistintamente en los dos casos, en lugar de ho. Dada una representacién p : g > End, queremos determinar hasta isomorfismo todas las estructuras de superdlgebra de Lie que admite g @ V. Notemos que aqui hay un subproblema que también es interesante por s{ mismo, y es el siguiente: cuando V = g, la representacidn natural a estudiar es la representacién adjunta, y entonces el problema planteado se traduce en considerar gg y p = ad, ,Cudntas estructuras distintas de superdlgebra admite g ® 9? Esta tltima pregunta es en realidad el tema central de esta tesis. El propésito de entender las estructuras de superalgebra de Lie en g @ g es que en tales superdlgebras se encuentran los origenes conceptuales de la lamada supersimetria. Conceptualmente, la idea original requeria poder transformar elementos del espacio de representacién V — 0 como se le designa en la literatura de la fisica, del sector fermiénico — al algebra g, 0 sector bosdnico y todo esto debia poderse hacer de manera equivariante para la accién de g. Cuando g = sly y trabajamos sobre el campo de los niimeros complejos, la superalgebra que resulta de considerar sl © sly queda entonces basada en el Algebra de Lorentz. Notemos que, por el lema de Schur, bdsicamente sdlo hay una manera de transformar equi- variantemente el sector fermidnico en el bosdnico. Tal transformacién 3es un ejemplo de lo que en la literatura se llama operador de cambio de paridad. En presencia de la accién del Algebra de Lie involucrada, tales operadores se vuelven muy rigidos. Uno de los propésitos de esta tesis es estudiar también los operadores de cambio de paridad que resultan en las superdlgberas del tipo g @ g que estudiamos y emplearlos de manera natural para determinar estructuras geométricas en g @ g. Cabe men- cionar que hay muchas instancias en la literatura existente en donde los cambios de paridad ocurren de manera muy poco entendible o mal jus- tificada. En esta tesis adoptamos para tales operadores un significado conereto y consistente con las restricciones algebraicas de las estructuras estudiadas. Los resultados més importantes de esta tesis y que hasta donde sabe- mos, son nuevos, con excepcién del Lema 3.1.1. se encuentran en el Capitulo 3, algunos de los resultados son consecuencias sencillas de las definiciones y otros (como los Teoremas 3.2.8., 3.2.9., 3.4.3., 3.4.5.) no son triviales El Capitulo 1 es introductorio y define los conceptos de: su- perdlgebras de Lie, morfismos, automorfismos y proporciona ejemplos de superdlgebras de Lie asociadas a estructuras geométricas. En el Capitulo 2 se plantean de manera precisa los problemas que abordamos y que son basicamente los comentados en los pérrafos anteriores. En el Capitulo 3 se demuestra que, hasta isomorfismo sobre el campo de los niimeros com- plejos, sélo hay una estructura de superalgebra de Lie en sl2 @V donde V es cualquier sly-médulo y que hay ocho distintas en gl, © gl, sobre el campo de los niimeros complejos (diez sobre los reales). En general, se demuestra que para n > 3 hay quince estructuras de superdlgebra de Lie distintas en gl, @ gl, y una familia uniparamétrica adicional. La clasi- ficacién se obtiene después de elegir formas candnicas para las familias de superdlgebras de Lie que satisfacen las condiciones impuestas y que en general demostramos que dependen de cuatro pardmetros complejos. La técnica que empleamos consiste en descomponer el espacio S?(gl,,) de tensores simétricos en subespacios irreducibles y aplicar el Lema de Schur para determinar Homgr, (S?(gl,,),g!,). Es claro que esto puede genera- lizarse a cualquier Algebra de Lie g y la dificultad radica en conocer de manera precisa la descomposicién de S?(g) en irreducibles. Se determinan también los grupos de automorfismos de cada una de es- atas superdlgebras y se dan condiciones necesarias y suficientes para que existan estructuras geométricas invariantes en cada una de ellas. Con- viene hacer notar que en la literatura existente aparece una superalgebra de Lie cuyo superespacio subyacente es precisamente gl, © gl, (Ver [6] y [7] donde dicha superdlgebra se denota por Q(n)). Sin embargo, la estructura de superdlgebra de Lie de Q(n) es aquella para la que el corchete de Lie de dos elementos impares es el llamado anticonmuta- dor {X,Y} = XY+YX. En nuestro caso, ésta corresponde a una de las clases de isomorfia obtenida en el Teorema 3.: Quedan una gran variedad de problemas nuevos ¢ interesantes por per- seguir y resolver después. Ademés de los diversos problemas de carécter algebraico que se pueden plantear a lo largo de las Iineas de esta tesis para Algebras de Lie reductivas distintas de gl,,, se tienen una gran cantidad de problemas de naturaleza geométrica que se asoman al ver las soluciones algebraicas aqui obtenidas, como por ejemplo, los que esté, abordando R. Peniche en su tesis doctoral: determinar las estructuras de supergrupo de Lie que se obtienen de las diversas superdlgebras de Lie que hay en Gly @ gly. Esto da lugar a ocho supergrupos de Lie no isomorfos, todos los cuales estdn definidos sobre el mismo grupo de Lie subyacente GL2, y ala realizacién de diversas acciones exdticas de dichos supergrupos en superespacios basados en R? 0 en C2.1. Preliminares. 1.1 EsPACIOs VECTORIALES GRADUADOS. El lector interesado puede ver [16]. Sea G = Z 0 Zp. F denotard al campo de los niimeros complejos C o al campo de los mimeros reales R. Sea V un espacio vectorial sobre el campo F. Una. G-graduacién en V, es una familia V,, g € G de subespacios de V tales que v=@v% oe junto con una funcién UM% - (0) +6 P= tal que |v =g siy sdlosiv € Vy. Diremos que V es un espacio vectorial G-graduado, si V admite una G- graduacién. A los elementos en el dominio de la funcién |-| les Iamaremos vectores homogéneos. En el caso G = Zz, diremos que V es un superes- pacio vectorial, a los elementos de Vo (resp. V;) les amaremos vectores pares (resp. impares). Todo elemento v € V admite una tinica descomposicién del tipo v= orm, wEV. oe@ Los elementos vy son las componentes homogéneas del vector v. 6Sea W otro espacio vectorial G-graduado. Una transformacién lineal T :V —+W es homogénea de grado g € G si T(Vh) CWosn paratoda heG Diremos que T es un homomorfismo entre los espacios vectoriales G- graduados V y W, si T es una transformacién lineal homogénea. T seré un isomorfismo si tanto T como su inversa T} son homomorfismos. Usualmente, los homomorfismos son las transformaciones lineales ho- mogéneas de grado cero, sin embargo, a nosotros nos interesa hablar de isomorfismos impares. Ejemplo: Si V y W son espacios vectoriales G-graduados, entonces V x W también es un espacio vectorial G-graduado y su G-graduacién est dada por (VxW)g= €B Vn x Wn)- minzo Mas atin, la G-graduacién de V x W induce una tinica G-graduacién en V @W de tal forma que hace al siguiente diagrama categérico Vxw — U0 Lz Vow Al revés también es cierto. Dada la G-graduacién de V @ W se induce una G-graduacién en V x W tal que el diagrama anterior es categérico. o De hecho, si V y W son espacios vectoriales G-graduados, cualquier es- pacio vectorial que se obtenga de manera natural a partir de V y W, admitird una G-graduacién. Sea A una algebra sobre F. Diremos que el Algebra A esté G-graduada si ‘A como espacio vectorial esté G-graduado, i.e, A= @cGAq, y ademés se satisface que 7AgAn C Agen para todos g,h € G. Un homomorfismo entre las Algebras G-graduadas A y B es un homomor- fismao entre los espacios vectoriales G-graduados subyacentes que ademés es un homomorfismo entre las algebras A y B. Notar entonces que todo homomorfismo es homogéneo par. Un isomorfismo entre las algebras G-graduadas A y B es un homomor- fismo tal que su inversa también es un homomorfismo. Sea A una Algebra G-graduada asociativa y V un A-médulo izquierdo. El A-médulo V esté G-graduado si V como espacio vectorial esté G- graduado y ademés se satisface que AgVi, C Vgin para todos g,h EG. Estas nociones para Algebras asociativas tienen también contrapartes en Algebras no asociativas (e.g., Algebras tipo Lie, Jordan, etc.). Diremos que g es una superdlgebra si g es un Algebra Zy-graduada Una superdigebra de Lie es una superdlgebra g = go @ gi, tal que si denotamos su producto por [-,-] : g X g —> g, entonces satisface: 1) [z,y] = —(-1)!*!!¥[y, c] para todos elementos x, y € g homogéneos. 2) Identidad Zp-graduada de Jacobi (alll (fx, g], 2] + (-2) Fl ([e, 2], 9) + (- 1)" I[[y, 2], 2] = 0, para todos x, y, z € g homogéneos. Ejemplo: Sea V un superespacio vectorial. Entonces la Zp-graduacién de V, induce una Zp-graduacién en EndV de la siguiente forma: EndV = (EndV)o © (EndV); donde (EndV)o = {7 : V +V|T(V,) C VY} y (Endv), = {T: V+V | T(V,) C Va4i}. La descomposicién de T € EndV en sus componentes homogéneas T' = Ty + T; (T, € (EndV),) es tal que 80 0b m=(5 4) » -(25) con a € End(V%), d € End(V;), b€ Hom(Vi, Vo) y ¢ € Hom(Vo, Vi). En lo sucesivo haremos un uso sistematico de esta manera de escribir los endomorfismos de un superespacio vectorial Notar ahora que EndV es una superdlgebra asociativa y que V resulta ser un EndV-médulo izquierdo Z-graduado. Més atin, si definimos [T, $] = ToS —(-1) TSS oT para $,T € EndV homogéneos, y extendemos linealmente, tenemos que (EndV,|[-,-]) es una superdlgebra de Lie. O 1.2 CAMBIOS DE PARIDAD. Sea V un superespacio vectorial. Supongamos que P : V —+ V es un isomorfismo tal que P? = +Iy. Si P? = —Iy, P es una estructura compleja en V. Si P es una transformacién lineal homogénea impar y P? = Iy, entonces diremos que P es un operador de cambio de paridad (OCP). Notar que si V admite un operador de cambio de paridad P, entonces dimVo = dimV, Notemos que todo operador de cambio de paridad P, se puede escribir como =(% P Pa(t 9) de esto, se sigue que P? = Iy siy sélo sipog=Iy, y qop=Iy,- En otras palabras, hay una biyeccién entre el conjunto de operadores de cambio de paridad Gocp = {P:V +V| |P| =1y P? = ly} y GL(Vo,Vi) = {q : Vo + Vi | q invertible }. También existe una biyeccién entre el conjunto de operadores de cambio de paridad y el conjunto de estructuras complejas de grado impar dada por 9(a) (5 8): Convencién: Al campo F siempre lo pensaremos con la Zp-graduacién trivial, ie, Fo =F y Fi =0. 1.3 EsTRUCTURAS GEOMETRICAS. Una forma bilineal G : V x V —+ F, es supersimétrica (resp. superan- tisimétrica) si satisface que G(u,0) =(-DG(v,w), (resp. (u,v) = -(-1)"™""'g(v,u) ), para todos los vectores homogéneos u, y v en V. De manera andloga, una forma sesquilineal G : V x V —> F, es super- simétrica (resp. superantisimétrica) si satisface que Sue) =(-DMGGa), (esp. Glu,2) = -(-)'Gle,u) ), ademés convenimos en que nuestras formas sesquilineales son C antili- neales en el primer argumento y C lineales en el segundo. Dado que Vx V admite una Zp-graduacién inducida por la Zy-graduacién de V, concluimos que Bil(V) = {G : Vx V —+F |G es bilineal } hereda de manera natural una Zp-graduacién. Se sigue entonces que si la forma bilineal es par.(resp. impar) entonces Glu, v) = 0 para todos |ul = |x| +1 (resp. |ul = |x|). La forma G es no-degenerada si G(u,v) = 0 para toda u € V, implica que v = 0. Una estructura Zy-ortogonal (resp. Z2-simpléctica) en V es una forma bilineal supersimétrica (resp. superantisimétrica) no degenerada. Si F = C, una estructura Zy-hermitiana es una forma sesquilineal supersimétrica no degenerada. 10Una estructura geométrica en V es una estructura Z2-ortogonal, simpléc- tica o hermitiana en V. Notas: (0) A partir de ahora B siempre denotard una estructura Zy-ortogonal 0 Zp-simpléctica, mientras que 1 seré una estructura Zp-hermitiana. (1) Supongamos que V admite un operador de cambio de paridad P y B es una forma bilineal par en V, definimos B'(u,v) = B(P(v), P(u))- Se sigue entonces qué, si B es una estructura Zp-ortogonal (Z2-simplécti- ca) entonces B’ es una estructura Za-simpléctica (Z2-ortogonal) en V. En otras palabras, un operador de cambio de paridad establece una biyeccién entre las estructuras Zp-ortogonales y las estructuras Zp-simplécticas en un superespacio vectorial. (2) Si P es un operador de cambio de paridad en V, podemos definir H'(u,v) = H(P(v), P(u)). Supongamos que |H| = 0. Si #1 es super- simétrica (resp. superantisimétrica) entonces 1’ es superantisimétrica (resp. supersimétrica). En este caso — ver la nota (3) mas adelante — la signatura de Ho tendrfa que ser igual a la signatura de Hy y am- bas iguales (2,) (siendo n = 2k la dimensién comtin de Vo y de Vi) para que tenga sentido realizar la aplicacién ++ H’. Por otro lado, si {H| = 1, y H es una estructura Z2-hermitiana, entonces 1’ también es una estructura Z2-hermitiana con la misma simetria. (8) Si |B| =0 y B es Zp-ortogonal (resp. Za-simpléctica) entonces B ((%) ; (2)) = Bo(uo, v0) + Bi(ur, v1) donde B; : Vi x Vi —+ F, Bo es una estructura ortogonal (resp. simpléc- tica) en Vo y By es una estructura simpléctica (resp. ortogonal) en Vi. Por otra parte, si |B] = 1 entonces B (2) ' (2)) = G(uo, v1) + Aur, v0) ulsiendo & : Vo x Vi —+ Fy 2: Wx Vo — F, formas bilineales no degeneradas (4) SiH! = 0 entonces (22) (2) = Hotes 00) + ith fus,22) siendo H; : V; x V;.—> C, una estructura hermitiana en Vj, mientras que si [| =1 2 ((22).(2)) = eee) + 0be2) siendo YW : Vo x Vi —+ Cy 0: Vi x Vo — C dos formas sesquilineales no degeneradas. (5) Si B es no degenerada y |B] = 1 entonces Vp es isomorfo a Vy" ya que tanto @ : Vo x Vi —+ C como 2 : Vi x Vo —+ C son no dege- neradas y se pueden definir los isomorfismos ©” : Vy —+ Vi* mediante ®(vp)(u1) = B(vo,u1) y BY: Vi" —+ Vo se define por medio de la ecuacion (6% (A), v1) = (v1). Q | Vi —+ Vo" y 28 : Vo" —+ Vj se definen de manera andloga y es facil verificar que satisfacen (@ y= yy @)t=ah (6) Tenemos entonces que B es supersimétrica (resp. superantisimétrica) si y sélo si B(uo, v1) = A(v1, uo) para todos up EV,01 EVA (esp. B(uo; v1) = —Ar1, to) )- (7) SiH es no degenerada e impar, 2 es supersimétrica (resp. superan- tisimétrica) si y sdélo si W(uo,v1) = Or, uo) paratodos up € Vo, 6% (resp. Y(uo, v1) = —O(v1, uo) )- De lo anterior obtenemos 121.3.1 Proposicién. Las siguientes correspondencias son biyecciones B ortogonal Bp estructura ortogonal en Vo {B| =0 By estructura simpléctica en V; B ortogonal b:VyxY—R |B] =1 bilineal y no degenerada B simpléctica\ ,_, ( Bo estructura simpléctica enVo |B| = By estructura ortogonal en V; B simpléctica) ®:%xYyOR [Bl=1 bilineal y no degenerada H hermitiana) ,_, (Ho estructura hermitiana en Vo |H| =0 Ay estructura hermitiana en V, H hermitiana) U:MxUu oc |x| =1 sesquilineal y no degenerada Sea G una estructura geométrica en V. Sea F € EndV homogéneo. Definimos su adjunta respecto a G, F9 € EndV mediante G(F9u,v) = (-1)!Fll“lg(u, Fv). Extendemos la operacién F > F9 en homogéneos de tal forma que (Fo + Fi)? = FE + FY. Decimos ahora que F € End(V) es superautoad- junto (resp. superantiautoadjunto) si F=F9 (resp. F=—F). En términos de una base graduada fija de V se obtiene 13.Donde A* denota el mapeo dual a A. El siguiente resultado nos indica la relacién entre los operadores de cam- bio de paridad y las propiedades de ser superautoadjunto y superantiau- toadjunto. 1.3.2 Proposicién. Sea B una estructura Zp-ortogonal o Z-simpléctica. Entonces existen operadores de cambio de paridad superautoadjuntos pero no puede haber operadores de cambio de paridad superantiautoadjuntos. Demostracign. » Blog =P" 0 Bo. equivalenteag = Biop*oB>,, mientras Notar que . Me) Bop = gr o Bi que Pop=ptoY . B =p oMog La primera equivalencia demuestra la existencia de operadores de cambio de paridad superautoadjuntos. Como p = q+, la segunda equivalencia demuestra que no pueden existir los operadores de cambio de paridad superantiautoadjuntos. ll Dada una estructura geométrica G en V, se define ag = {F €End(V) | F=FotFi y G(Fyu,v)+(-1)4!"|9(u, Fv) = 0}. 14Es claro que gg admite una Z2-graduacién inducida por la Zy-graduacion de End(V), (ie., es un sub-superespacio vectorial de End(V)), dada por (9)0 = {F € (EndV)o | G(Fu,v) + G(u, Fv) = 0} (g¢)1 = {F € (Endv); | G(Fu,v) + (-1)!"'G(u, Fv) = 0} y que gg = (8¢)o ® (g¢)1- 1.3.3 Proposicién. gg es.una sub-superdlgebra de Lie de (EndV,[-,-]). Més atin, si |G| = 0, (ie, G =B = BoS Bi 0G =H = Ho Bim), entonces ospp(ValVi) = 9 ~ (o2,(Vo) 6 on, (Vi)) © Homs(Vo, Vi), (resp, uae Vali) s= ore & (saro(Vo) © tan (Vi)) @ Home(Vo,Vi)). De hecho, si g = Bo, yw = By. Entonces, A B)| goAtAtog’=0 care orton ={ (5 D)| Pee aan \ +B = 0 Ho? o A+ A* o Ho’ =0; A B > = > (vr snon={(ca 8)| Brorece ss }) Nota: La estructura del corchete de Lie graduado es Ao) (0 B)\|_ 0 AoB 0 0} \*B o)|~\-~B)oa 0 00 o B\\|_ 0 -~BoD o D}'\«B 0)}|~\dous) oF El corchete graduado de dos elementos impares esté dado por 15(2. 2)4 2 @ © (*B2) + Boo (*B:) 0 0 io (*B,) 0 Bo + (*Be) Pee Las superdlgebras de Lie ospg(Vo|Vi) se conocen como ortosimplécticas y las superdlgebras de Lie ux,(Vo|Vi) se conocen como superunitarias. 1.3.4 Proposicién. Si B es una estructura Z2-ortogonal impar. En- tonces, la superalgebra de Lie que la preserva esté dada por (@ Yo C+C%0 H =O AB 35 = ( )| @o B-Bto (8)*=0 \ { CoA +A=—@!o0 A*o (8)* = gl(Vo) © {Syme(V) @ Vz) @ Skews (Vo @ Vi)}- donde Syma(Vo ® Vz) (resp. Skewa(Ve ® Vi)) denota el conjunto de transformaciones lineales Vi —+ Vo (resp. Vo —+ Vi) simétricos con respecto a © (resp. 6*). Demostracién. A B\| ®Aos21) + 2(uo, Der) a=} (ZB) HliorCta) + 8%, Cu) P(Bugs 0) ~ B(Beay tn) Reescribiendo estas ecuaciones se obtiene el resultado. Ml Nota: La estructura del corchete de Lie graduado esté dado por: [5 a) 8)]-G@ APF) [4 2-8 9)]-(oned-cea 8) [(8 2)-(8 8)]-(23° ote): 161.3.5 Proposicién. Sea H una estructura Zp-hermitiana impar. En- tonces, la superdlgebra de Lie que la preserva estd dada por: | tha Who Ate (a) wnin={(g | (Wyo C+CTo W =0 \ | WoB—Bro @y=0 ~ gl(Vo) © {Herm(Vp @ Vi") © Skew — Herm(Vj @Vi)}- | W(Auo, 21) + W(uo, Dei) =} Demostracién. AB ul 14) = { (4 2) | 00: Cv0) + Hl, Cue) | W(Buy, v1) - WBor wn) Reescribiendo estas ecuaciones se obtiene la proposicién. Ejemplos: 1) Sea V =C@C, para k = 0,1, definimos i+(-1)*i i+(-*tha z z I= ii i4(-1)Fi a z Es claro entonces que J, es una estructura compleja homogénea de grado 0 k, mientras que P = ( “i 0) es un operador de cambio de paridad. Ademés, podemos definir H (2) , ()) = Zowo + iqw para obtener una estructura Z2-hermitiana par en V, mientras que w((2):(2)) aera es una estructura Z2-hermitiana impar. 172) Sea V = Vp@Vi y supongamos que Vj = Vo. Podemos entonces definir una superélgebra de Lie en terminos de EndV. Sea 3=9 S91= {(3 fay € snav} x EndVp & EndVo bajo las identificaciones obvias A 0). Ae Endv 0 BY) _. Be Endy. 0 A BO Definimos )| = (47 wes) a)(s 9) = (ils, “o”) (CopLeur) donde [A,B] = AB - BA. Se sigue entonces que (g,|-,-J) es una su- perdlgebra de Lie. V. Kac denota esta superlgebra por Q(n) (Ver 2.1.4 en [6]). Nota: Uno podria sospechar que esta superdlgebra tiene algo que ver con la Proposicién 1.1.4. cuando & tiene por matriz a la identidad. Veamos en detalle la superdlgebra que resulta de poner &' = I y aclaremos el punto. 3) Sea V = Vo @ Vi, y supongamos que Vi = Vp. Sea $= Ly denote- mos por B la estructura Z2-ortogonal impar asociada a &. Obtenemos entonces: 9B = Gof 91 18donde wo= {G ) | aeswv} x al(Vo) o={(2 °) | E2E| =s00 9s7) =a. En este caso la accién de go en gi esté dada por (4 %).€8 8) -(ed cn 24): Notar que en este ejemplo, S?(Vo) 3 B ++ (AB + BA") € S?(Vo) proviene de B ++ gBg” mientras que A?(Yo) 3 C > —(A*C + CA) € A?(Vo) proviene de C + (g")~!Cg7}, por lo que esta superdlgebra no puede ser isomorfa a la del ejemplo anterior. 0 1.4 ESTRUCTURAS GEOMETRICAS Y OPERADORES DE CAMBIO DE PARIDAD. Supongamos ahora que P € gi, que B es una estructura Z-ortogonal (resp. Zo-simpléctica) y que |B| = 1. Podemos entonces inducir mapeos Bo: Vox Vo +R By:VYxYyR definidos por (Puo, vo) (Pur, %) Bo(uo; vo Bi (ui, % 1.4.1 Proposicién. $i B es Zy-ortogonal (resp. Za-simpléctica), |B] = ly P € gy invertible, entonces: (1) Bo es una estructura simpléctica (resp. estructura ortogonal) en Vo. (2) By es estructura ortogonal (resp. estructura simpléctica) en Vi. 19 | | | | | |A continuacién vamos a suponer que P, : V —+ V, es un isomorfismo impar que satisface la ecuacién B(Psu,v) + Blu, Px Esto es, P, es antiautoadjunto y P_ es autoadjunto con respecto a B en el sentido usual (no graduado). Entonces se inducen mapeos: BE :VoxVo GR Br:VixVi—R definidos por: BE (uo, vo) = B(Pxwo, v0) BE (ur, v1) = B(Pam, m1) » 1.4.2 Proposicién. $i B es Zz-ortogonal (resp. Zy-simpléctica) y |B] = 1 entonces: (1) BS y By son estructuras simplécticas (resp. estructuras ortogo- nales) en Vo y Vi, respectivamente. (2) By y By son métricas (resp. estructuras simplécticas) en Vo y Vi, respectivamente. Més atin, si Ps, es un operador de cambio de paridad, entonces (P)*B = —Bt y (P_)*By =B;- Nota : En el caso superantisimétrico, la ecuacién (P,)*Bf = —By implica que la signatura de Bo (y por tanto la de By) tendrfa que ser de la forma (n,n) para que tuviera sentido definir la accién de (P.)*. Tambien podemos inducir estructuras geométricas en Vy @Vj a partir de funciones bilineales en Vp x Vi 1.4.3 Proposicién. Sea S : Vo x Vi —> R una funcion bilineal no degenerada. Definimos Bs ((%) : (®)) = G(up, 01) + B(vo,u2). Entonces B, ¢s una estructura Zy-ortogonal impar y B_ ¢s una estruc- tura Zq-simpléctica impar.yo 2. El problema de clasificacidn de las superdlgebras de Lie en gg y el problema de determinar sus posibles estructuras geométricas invariantes. 2.1 ESTRUCTURAS GEOMETRICAS ad INVARIANTES. Sea B una estructura geométrica definida en la superdlgebra de Lie g = Go@gu, donde go = Span{x;}, g1 = Spanty; = P(vi)}=goy P:g—g operador de cambio de paridad. Diremos que B es ad invariante si B([z,y], 2) = B(z, [y, 2}) para todos x, y, z € g. Suponemos ademés que g1 = 99 y que go actua en g; via ad. En lo que sigue C; := ad(xj)|g, con p = 0,1, y Ty = ad(y,). Las ecuaciones que describen a una estructura geométrica ad invariante estan dadas por los siguientes casos B(ai, (xj, 01]) = Bl(ei, 25], 21) Bio Cj = —C} 0 Be B(xs, [23,m)) = B((ei, 23], 9) . 8 oC; =-Cf ow 0 equiv. : : Biwi, lus, y]) = Bes, ys], yr) Biol; =-CFo BY B(yis [uss il) = B(lyis us] ye) O oP; =Tjoe 2.1.1 Notas: (1) Sea B= ( al 3 ) una estructura Zp-ortogonal o Za-simpléctica 1 Entonces, B es ad invariante si y sélo si Cf = ~ByCjBy* y CP = —BoT;By* a(2) Sea B= @ ) estructura Zy-ortogonal. Entonces, B es ad in- variante si y sblo si CP = 88-1 y I? = or jo-1. _ ( OG) estructura Zz-simpléctica. Entonces, B es ad invariante si y s6lo si OF = -6Cj$~* y IF = -$1j0-1. 2.2 PLANTEAMIENTO DEL PROBLEMA. Recordemos de la seccién 1.1 que una superdlgebra de Lie es un espa- cio vectorial Zj-graduado g = go © gi, el cudl admite una funcién par (llamada el supercorchete) [-,-] : g x g —> g bilineal, que satisface: 0) [92,90] C da+d- 1) [x,y] = —(-1)Fl¥\[y, 2] para todos elementos 2, y € g homogéneos. 2) Identidad Z-graduada de Jacobi (—1)!#!!4\[[x, y], 2] + (1) lll, 2], yj + (-1) [Ly Para todos 2, y, z € g homogéneos. 1 1=0 Es obvio entonces que go es una Algebra de Lie. La propiedad (0) de la definicidn junto con la identidad Zy-graduada de Jacobi aplicada a dos elementos pares y un impar es equivalente a: gy es un go-médulo. Llamémosle p : g9 —> Endg:, a la funcién definida por 2 ++ p(z) = [e,-] : 1 — gn, si ademés, llamamos Ta la restriccién del supercorchete a gi X gi obtenemos una funcién I: gi x g1 —+ go que es bilineal y simétrica. La pequivariancia de P (que no es otra cosa que la identidad Zy-graduada de Jacobi aplicada a un elemento par y dos elementos impares) se rees- cribe como p(x)(P(y, 2)) =T(o(@)y, 2) + Py, p(z)2)- T ademés debe satisfacer PL (2,9) (2) + o(L(z,2))(y) + oC, 2) (2.1) 22para todos x, yy z € g; (Identidad de Jacobi con tres elementos impares). Sea {z;} una base de go y sea {yj} una base de V := gi, entonces I’ es p equivariante si y sdlo si x hech = Death + oT) (2.2) donde pl, y cl, estan definidos por ad(xj)xx = Dy c,ar y p(ti)ye = Di Pinw Mientras que la ecuacién (2.1) es equivalente a x Tjahle + x LisPke + >The Il (2.3) Fijemos entonces una algebra de Lie, digamos go, y sea p : go —+ EndV, una representacién de go en V. De lo expuesto anteriormente, es claro que clasificar estructuras de superdlgebra de Lie en go @V es equivalente a-determinar todas las funciones T : V x V —+ go bilineales, simétricas que sean p equivariantes y tales que satisfagan la ecuacién (2.1) modulo que induzcan superdlgebras isomorfas. Claramente P = 0 resuelve trivialmente el problema de imponer una estructura de superdlgebra de Lie en go @ V. Més atin, si I = 0 entonces go @ V es una Algebra de Lie. Nos falta atin resolver el problema de cuando dos funciones I’ y I’ in- ducen superdlgebras de Lie isomorfas. Para esto debemos introducir una nocién de equivalencia en el conjunto de todas las funciones bilineales, simétricas, p equivariantes y que satisfagan la ecuacién (2.1). Supongamos que I y I” son dos funciones bilineales, simétricas, p y p’ equivariantes y tales que satisfacen la ecuacién (2.1), denotaremos por gr y gr’ a las respectivas superélgebras de Lie. © : gr —+ gr’ es un isomorfismo si y sélo si, existen funciones T : g —> g, isomorfismo g invariante y $ : V —+ V isomorfismo lineal, tal que los siguientes diagramas conmutan 23a vVxv—4q gxV “ov sxs| T rxs| |s (2.4) Vxv 4g axV “ov Notar que, p no tiene por que ser una representacién irreducible de g. Es claro que debemos definir I’ equivalente a I’ si y sélo si, existen T y S como antes y tal que los diagramas de (2.4) conmutan. Obtenemos entonces: 2.2.1 Lema (Basico). T es equivalente aI" si y sdlo si las superdlgebras inducidas son isomorfas. Un subcaso interesante de este problema, es el siguiente, consideremos g un digebra de Lie, y fijemos V = y p= ad, {Cudntas estructuras de superalgebra de Lie admite g @ En este caso, el siguiente lema, simplifica el problema: 2.2.2 Lema. Si: gx g —+ g es bilineal, simétrica y ad equivariante entonces también satisface la ecuacién (2.1). Demostracién. De lo anterior, obtenemos que pk; = cf, sustituyendo en el lado izquierdo de la ecuacién (2.3) segiin (2.2) y usando que cf, = ~c}, se obtiene el resultado. En resumen: clasificar las posibles estructuras de superdlgebra de Lie de g @ g es equivalente a determinar cuantas funciones I’ no equivalentes hay que sean bilineales, simétricas y ad equivariantes. 243. Solucién del problema y aplicaciones. En todo el capitulo F = C a menos que explicitamente se diga lo contrario y la herramienta basica es: Lema (de Schur). Sean p : g —> EndV y p' : g —+ EndW repre- sentaciones (lineales ‘complejas) irreducibles de 9 y Hom,(V,W) = {T : VW |Top(x)=p'(2)oT, x €g }. Entonces Homs(V,W) ~C si V yW son representaciones equivalentes y Hom,(V,W) ~ {0} si no lo son. 3.1 Caso g = sly. eee 00 10 y (H,E,F) denota al subespacio vectorial de Matzx2(C) generado por H, Ey F. Sea sh = (H,B,F), donde H = (f °).2= (4 oye=( 0) Sean como antes, p : sly —+ EndV una representacién irreducible de dimensi6n finita, y sea I: V x V —> slg una funcién bilineal. Quere- mos saber cudntas funciones I’ bilineales, simétricas y p equivariantes no equivalentes admite V x V. Para esto, debemos descomponer la repre- sentacién inducida por slz en $?(V) en factores irreducibles, ya que el Lema de Schur nos garantiza que la dimensién del espacio generado por tales I’ es igual al ntimero de sumandos isomorfos a slz que aparezcan en dicha descomposicién. 3.1.1 Lema. ((13] pég. 300, tabla 5) Sean +1 = dimV. Entonces S?(V) = @jxq Van—aj+1 donde V; es la representacién irreducible de sl de dimensién r. 253.1.2 Corolario. V admite una funcién I, bilineal, simétrica, p equi- variante no nula st y sdlo si dimV = 2r. 3.1.3 Lema. Sea p : sl) —+ BndV una representacién irreducible de dimension par. SiT : V x V —+ slz es bilineal y satisface la ecuacién (2.1) entonces T = 0. Demostracién. Empezamos con el caso I’ simétrica. De lo expuesto antes, basta consi- derar el caso en el que dimV = 2r, r > 2. Sea {yj} una base para V, y sea P(yi,y;) = hizH + eijE + fisF. Notar entonces que por ser par la dimensién de V, detp(H) # 0, ic., 0 no es valor propio de p(H) La ecuacién (2.1) para ¢ = = y; se reescribe como 3p (vis ¥s)) (yi) = Shise(H)(ys) + 3eo(E) (ys) + 3 fu(F) (yi) = 3(2k — 24 — Nhiiys + 3(2k — iF + Qpiewyirr + 38fsryi—a =0 para i = 1,2,...,2k. Obtenemos entonces que I(yi,yi) = 0 si2 End3 estd definido por p=0, y de hecho f =0. 3.2 Caso g = gh. Sea gl, = CI @5lz, donde CJ denota todos los multiplos de la matriz identidad de 2 x 2. Sea p: gl, —+ EndV una representacién irreducible. En esta subseccién 0! = plsiz, esto es, p! : slg —> EndV. Es claro entonces que p’ es una representacién irreducible de slz. Més atin, dada una representacién irreducible p’ de slp se puede extender (no de manera tnica) a una re- presentaci6n irreducible p de gly. (Ver [5] p4g. 127, Prop. 9.17) De esto, obtenemos que p(I) = cI donde I denota a la matriz identidad. 3. a Como I = 0 satisface trivialmente ser simétrica, bilineal y la identidad impar de Jacobi, obtenemos entonces: 1Lema. Seac #0. Sit: VxV —+ gl es p equivariante entonces 3.2.2 Corolario. Sea p: gl) —+ EndV una representacién irreducible de gly, tal que c #0. Entonces gly V admite una tinica estructura de superdlgebra de Lie. Las representaciones irreducibles de gl, que podrfan resultar interesantes son aquellas en las que p(I) = 0. Dada una representacién irreducible p’ de slp denotaremos por po a la tinica extension a gl, tal que po(I) = 0. Notar entonces que po es irre- ducible si y s6lo si dimV # 4, ya que si dimV = 4 entonces pp = ad. Sean m : gly —+ CI, zp : gly —+ sla las proyecciones correspondientes. Entonces toda funcién T : V x V —+ gly simétrica y bilineal induce 27dos nuevas funciones, T, = 7, oT y Pz = 7 0 las cudles resultan ser nuevamente simétricas y bilineales. 3.2.3 Lema. SiT es po equivariante entonces Ty yT2 son po equivari- antes. Notar ahora, que si I es po equivariante, entonces tambien es p’ equiva- riante, por lo que 3.2.4 Corolario. SiT’ es po equivariante, entonces Ty = 0. Esto reduce el problema a encontrar funciones T : V x V —+ CI, bili- neales, simétricas y py equivariantes. 3.2.5 Lema. Seal: V x V —+C bilineal y simétrica. T es po equiva- riante si y sdlo si es p! equivariante. Necesitamos entonces descomponer S?(V). Sea dimV = n+ 1, entonces S?(V) = @ys0 Vin-4i+1 donde Vj es la representaci6n irreducible de slz de dimensién k. Obtenemos entonces 3.2.6 Corolario. Sea 2k-+a = dimV #4, (a=0,1). Entonces V x V admite 2—a funcionesT que son po equivariantes. Més atin, I’ satisface trivialmente la ecuacién (2.1). Obtenemos entonces el siguiente resultado: 3.2.7 Teorema. Sea po : gly —+ EndV una representacion irreducible. Sea 2k +a =dimV £4. (a = 0,1). Entonces gly @V admite 2—a estructuras de superdlgebra de Lie. Notemos entonces que el caso, dimV = 4 resulta interesante, ya que po = ad es una representacién reducible. De hecho, V ~ gh = CI Osh = es. Recordar entonces que 52(Vi & Va) = ($9(Vi) ® S?(Vs)) & (S*(4) @ S*(VA)) © (S7(Vi) @ $°(VA)) =(BEn)owen. 28De esto, las funciones I’: gly x gly —* gly que son bilineales, simétricas y ad equivariantes, producen una familia de funciones a tres parémetros independientes. Veamos esto: Sean gl = (I, H,E,F) y gl} = (I*,H*, E*,F*). Como gle @ gly ~ gly @ gly = S?°(gl2) © A*(gh). Una base para $?(gly) esté dada por {X@X, X@Y+Y@X, X#Y }, como po(I) = 0, po(H) = 2(E®@E*—F@F*), po(E) = -2E@H*+H@E* y po(F) = 2F ® H* —H @E*, noes dificil verificar que la descomposicién de $*(gl,) en términos de subespacios irreducibles est4 dada por Aa wa oneHor I@E+E@l, 1@F+FO8l) E@E, F@F, H®H-(E@®F+F®@E), H@E+E@H, H®F+F@H) = =G sH@H+E@F+FO@E) ( = De esto, usando el Lema de Schur, obtenemos que I’ esté definida por ( T(E, E)=0 TU,F)=uF V(H,F)=0 T(E,F)=vl T(RF)= Usando el Lema Basico y el Lema de Schur, podemos ahora calcular exactamente cudntas estructuras de superdlgebra de Lie admite gl, gl. Denotaremos por I” la correspondiente funcién, en donde la terna de paramétros es ’, py’ y v’. T es equivalente a I” si y slo si existen funciones lineales T, 5 : gl, —> gl, que satisfacen las ecuaciones de (2.4). Si denotamos por C; a la matriz asociada a ad(x;) y por I’; a la matriz asociada a I'(:r;,-), entonces las ecuaciones de (2.4) son equivalentes a 29r | 4 4 TOT = otyC, SCS = Sots; TT;S* =} 7 5,T%. (8-1) i=l ist Usando que Co = 0 y que Ci, Cz y Cy son linealmente independientes, obtenemos que ti: = 0 para i = 2,3,4. De esto, la estructura de T' se puede escribir en bloques como (at ‘) te Aui(sle), T= (traytisy tia) € (el). Si escribimos adgi(z;) : sly —+ slz para denotar la restriccién a sly de la accién de #;, i = 2,3,4. Entonces: 1 _ (0 fadsi(eii*) TO;T = tadaiejet) I= Bad mientras que C= (9 54 seyaautey ) Se sigue entonces que fadgi(«;)t~? = 0, y entonces fadzi(z;) = 0 para j =2,3,4, de donde f= 0 y entonces -(m 0 oa °) te Aut(sl2). Escribamos ahora S$ en forma de bloques de manera andloga a lo hecho con T. ie (Gi ) 8 € GL (sl2) 3= (512, 813, 514) € (sla)" = | sa | E sh. Como S es invertible, podemos reescribir la segunda ecuacién de (3.1) como SC; = (; tijC,)S, y obtenemos 300 Sadsi(xj) \ _ 0 0 G Badsi(xj))— \D), tijadsr(ai) YD, tigadsr(ai)s ) * Concluimos entonces que Sadsi(23)=0 y ) tijade(ai)5 = 0. La solucién a la primera ecuacién es = 0. Por otro lado, los coeficientes tiy que aparecen en la segunda ecuacién son entradas de t € Aut(sl2), multiplicando ambos lados por ¢~1;; y sumando sobre j, podemos con- cluir que ad,;(2;)5 = 0 para i = 2,3,4 por lo que $= 0. Por lo tanto = (sn 0 s-(% {) con s invertible y satisfaciendo sadyi(23)s 4 VL tjada(as)- = Notar ahora que las dos primeras ecuaciones de (3.1) implican que TC;T-! = SCS o equivalentemente S'TC; = CjS“'T para j = 2,3,4. Si M es una matriz que conmuta con C; para j = 2,3,4, es fécil verificar que _(a 0 M= li nie) ti=asy, y t=bs, abd¥£0. De esto Falta entonces entender la condicién tadgi(2;)t? = > tijadei(xi) bajo la hipétesis ¢ € Aut(sl2). Un célculo sencillo muestra que t € Aut(sla) si y solo si 3102 0 Si tomamos determinante de ambos lados, se concluye que de¢(t) = 1 y 200 det(t)t"? = K-47 K, «(3 0 ') t€ Aut(sl) <—>t € SOx(sl2) donde K es la métrica de Cartan-Killing en slo Falta entonces entender la tiltima ecuacién de (3.1). Sean QQ) €) y sean r; el i-ésimo renglén de K. Tenemos entonces que (0 (0 oma) n=(j c z n= (2, 0 ) $=2,3,4 y similarmente para I}. En particular 0 ws y 0 Vayreee m) sili=(_, . 2SuTi—1 | 7 (, Whe sij8ia 0 Caso j =1. Mtusy 0 rr, s7t = ( *181 le ( 0 ys) debe ser igual a ut) w'syi1de donde obtenemos Ma =Nsip yy wt=p'sus. Casos j = 2,3,4. = 0 vtyyrj—1s-? 1 ‘i ae (ste a 0 debe ser igual a rea ( 0 YDhe hee) T= (oe og H Vijne Sig 0 por lo que se obtienen ~tys 7 psy tej—1 y vturjas Pit La primera de estas ecuaciones implica que yt = ysis. La segunda ecuacién se puede reescribir como vtyst =v'K71s7 K. En resumen: Una superdlgebra de Lie basada en gl, esta determinada por los valores de (A, 1,1) (y en este caso denotaremos dicha Algebra por gl(A,#,v)) ¥ es isomorfa a la determinada por (1',y’,v") si y sélo si, existen constantes no nulas, ty, a y b tales que v! = vtyb? (3.2) De hecho: 3.2.8 Teorema. gl, ® gl, admite ocho estructuras distintas de superdl- gebra de Lie. Demostracién. . Se sigue de lo anterior. Ml Denotaremos a las respectivas clases de isomorfia por 33(2,2,1) (22,0) (2,0,1) (2,0,0) (0,2,1) (0,2,0) (0,0,1) (0,0,0) Cabe mencionar que elegimos los parémetros \ = 2, u = 2 y v= 1 como representantes cuando Ayv # 0 por que con estos valores la correspondi- ente funcién T queda definida como I(X,Y) = XY +¥X. Notar que si el campo base son los reales, entonces también se puede de- mostrar que I’ es una funcién a tres paramétros reales, digamos (A, ,), y las superdlgebras de Lie gl(A, u,v) y gl(X’,',v’) son isomorfas, si y sélo si se satisfacen las ecuaciones de (3.2). Y en este caso obtenemos que 3.2.9 Teorema. gl,(R)@glz(R) admite diez estructuras de superdigebra de Lie. Denotaremos a las respectivas clases de isomorffa por (2,2,1) (2,2,-1) (2,2,0) (2,0,1) (2,0,-1) (2,0,0) (0,2,1) (0,2,0) (0,0,1) (0, 0,0) Sea © : gl,(A, u,v) —* glo(A, 2,1”) un isomorfismo par, entonces =e 0, _(tm 0 _(su 0 o= (32) ama 2=('8 °) » s=(*8 °) y ademés, existen a,b € F, ab #0 tales que ti: = asi: y t = bs junto con t € Aut(sly). Otra consecuencia de lo expuesto anteriormente es 3.2.10 Teorema. Los grupos de Automorfismos para cada una de las clases de isomorfia estan dados por (1) ® € Aut(glg(C)(2,2,1)) si y sélo si TT = (ei ’) 7 S= (6 an) junto con t € Aut(slo(C)) y a4 = 1. 34S= ¢ we junto cont € Aut(sle(C)) y a 4 0. (4) Be Aut(gly(C)(0,2,0)) si y s6lo si T = iG :) ‘ 5-(¢ sity ) junto con t € Aut(sts(C)) y ab #0. (5) ® € Aut(gla(C)(2,0,1)) si y sdlo si T = G a) 7 S= (3 song ) Junto com s © Aut(ala(C)), x0 y a?6? = 1. -2 (6) ® Aut(ala(©)(0,0,1)) si y sélo si T = ( °) ; a? 9 S= ( ji oie) junto con t € Aut(sla(C)), ab #0. 2 (7), B Aut(ghy(C)(2,0,0)) si y sélo si T = (e ¢) : Ss (5 ma) junto cont € Aut(sla(C)), ab #0. (8) @ € Aut(gl(C)(0,0,0)) si y sélo si T = Ge °) 7 S= G vt) junto cont € Aut(sl(C)), ab #0. Es claro que también se pueden escribir f4cilmente los grupos de auto- morfismos de gl(R)(A, H,)-3.3 Caso gg CON g ALGEBRA DE LIE SEMISIMPLE Y p = ad. 3.3.1 Teorema. Sea g = Bn, Cn,Dn, Ee; Ez, Es; Fa, G2. Entonces 9 © g admite una tinica estructura de superdlgebra de Lie. Més atin, esta estructura es trivial en el sentido de que! =0. Demostracién. Basta notar que en la descomposicién de S*(g) (Ver [13], pags. 301-305) no aparece ningun sumando isomorfo a g, lo cual se traduce en T = 0. i De nueva cuenta, se puede observar que, 9 © g es un Algebra de Lie. 3.3.2 Teorema. Sea g=A,. Entonces g ® g admite una tinica estruc- tura de superdigebra de Lie si y sdlo sin = 1, y admite 2 estructuras si y sdlo sin > 2. Demostracién. De nuevo, en la descomposicién de S?(Aj) aparece un sumando isomorfo a.An si y s6lo sin > 2. (Ver [13], pag. 301). i Podemos resumir el contenido de los dos resultados anteriores en el si- guiente: 3.3.3 Corolario. Sea g una dlgebra de Lie semisimple. Entonces 9 © g (fijando p = ad) admite exactamente 2 estructuras no equivalentes de superdlgebra de Lie donde a es el niimero de sumandos isomorfos a g que aparecen en la descomposicién de S?(g). 3.4 Caso gl, @ gl, CON p = ad yn > 3. Queremos calcular cudntas estructuras de superdlgebra de Lie admite gl, @ gl: Segiin lo expuesto anteriormente, debemos encontrar cudntas funciones T : gl, x al, —+ gl, simétricas, bilineales y ad equivariantes admite Bl, X aly. 36Este problema es equivalente a descomponer la representacién inducida por ad en gl, ®gl, en sumandos irreducibles segiin la accién de sly. Para lograr esto, notemos primero que gl, = 1 @ sly, donde I representa a los miltiplos de la identidad de n x n. Como queremos que I sea simétrica, esto lo traducimos a que I se deberé factorizar a través de S?(gl,). Es facil verificar que S2(1.B stn) = (S°(L) @ S(stn)) & (S*(I) @ S*(stp)) S (S?(D) @ $%(stn)) & S(sI,) @ sly OL Se sabe ademés (Ver [13], pdg. 300) que I@ slg Vor sin=3 T@5ln @ Va, OVn, sin D4 S?(sln) -{ donde V; es un espacio (irreducible) de representacién para sl, de di- mensién igual a j, ademds si n > 4 entonces ny = 248(R)(%) y np = n=3 (ny (n+) 7 nar (2) (*2')- Obtenemos entonces que sin > 3, $?(gf,) tiene dos sumandos triviales y dos copias de sl,, en su descomposicién en términos de irreducibles. Como consecuencia de esta descomposicién y del Lema de Schur, concluimos que 3.4.1 Proposicién. Sin > 3. Entonces toda funcién T : gl, x gl, —> gl, bilineal, simétrica y ad equivariante depende de cuatro pardmetros. Denotaremos por (A, 1,v,€) a estos cuatro pardmetros. A la correspondiente superdlgebra inducida por una eleccién de (A, 2, 05 €) la denotaremos por gf,(A, 1,7,€). Sea gl, (X’,n',r’,€’) la correspondiente superdlgebra asociada a la eleccién (X’,y’,r/,€’). Nos interesa ahora determinar cudndo gl, (A, u,v, €) y gl, (0, 4’, 1”, €") son isomorfas. Procediendo como antes obtenemos que 37Bz gly (A, 1,7, €) —+ gly (',n',v",€”) deberd satisfacer las tres ecuaciones de (3.1), las primeras dos son equivalentes a: T 0 _(tu 0 (su 0 =(@ 3): r=(3 2) s=(0 4) tadsi(as)t™* =} tijadsr(2i) junto con donde ademés, t € Aut(sl,(C)) y existen constantes a,b no nulas tales que 1; = asy, y t=bs. Para analizar la tercera ecuacién, notar que en este caso A 0 (0 vr n=(9 i) 7 = (yaa x) donde r; es el i-ésimo renglén de la forma de Cartan-Killing K en slp, & es la i-ésima columna de la matriz identidad I de n — 1 xn—Ly Ayes la matriz. que se obtiene de Tj|s,,. Y de forma andloga para I’. =2,8,...50 S. Caso j =1 —1 Atusy 0 ars = (Mn deberd ser igual a a 0 Yeats plant) Casos j wan 0 vtyyrj-1871 oe Aaj) an (asta ethjs? ) deberd ser igual a 38,Ys = 0 YD sigria ET Ne Li seinr Lie sghe 7” En resumen: gl,(A,14,¥,€) es isomorfa a gl,(X’,u/,0/,€’) si y sélo si existen constantes no nulas ty, ay b tales que Yavin? =e? Notar entonces que si a es un paramétro y a’ el andlogo correspondiente, entonces a = 0 si y sélo si a’ = 0. 3.4.2 Proposicién. Las clases de isomorfia de gl, (A, 14, , €) estén dadas por (1) Todos los pardémetros igual a cero: gly (0,0,0,0). (2) Exactamente un pardmetro distinto a cero. Y en este caso se puede hacer que el pardmetro sea igual a uno: gl,(1,0,0,0), gl, (0, 1,0,0), gf, (0,0,1,0), gf,(0, 0,0, 1). (3) Exactamente dos pardmetros distintos a cero y también en este caso se pueden elegir ambos igual a uno: gl,(1,1,0,0), gl,(1,0, 1,0), gf,(1,0,0,1), gf,(0,1,1,0), gf,(0,1,0,1), t,,(0, 0,1, 1) (4) as tres pardmetros distintos de cero: gl,,(1,1,1,0), gl,(1, ), gf,(1,0, 1,1), gf,,(0,1,1, 1). (5) eee todos los pardmetros distintos de cero: gl, (1, 1,1, 6«). De esto concluimos: 3.4.3 Teorema. Sean > 3. Entonces gl, © gl, admite quince estruc- turas distintas de superdlgebra de Lie y una familia a un parémetro. 3.4.4 Corolario. Sean > 3. Entonces sl,(F) @ sl, (F) admite: (1) dos estructuras distintas de superdlgebra de Lie si F = (2) tres estructuras distintas de superdlgebra de Lie si F=R 39Notar que la parte (1) del Corolario es el Teorema 3.3.2 Ademés de nueva cuenta, si el campo base es R también se puede de- mostrar que T es una funcién a cuatro pardmetros reales y ahora se obtiene que 3.4.5 Teorema. Sea n > 3. Entonces gl,(R) @ gl,(R) admite vein- tiseis estructuras distintas de superdlgebra de Lie y dos familias a un pardmetro. También podemos concluir 3.4.6 Teorema. Los grupos de automorfismos estén dados por: (1) © € Aut(gt,(C)(Asm, %46)) con Auve £0 siy sélo siT = (6 °) = oe i 2) junto con t € Aut(sl,(C)) ya? =1. (2) BE Aut(gl,(C)(A, #,%,0)) si y sdlo si TT = ° °) y S= G i) junto con t € Aut(st,(C)) yat =1. (3) & € Aut(gl,(C)(0,p,1,€)) si y sdlo i T= G ) a _fa? 0 . ae S= ( ; 2) junto con t € Aut(stn(C)) ya? =1. (4) & € Aut(gi,(C)(A,0,14€)) si y sdlo si T = ¢ ’) Y | G va) junto cont € Aut(sl,(C)) ya? =? =1. (8) € Aut(gl,(C)(A,40,¢)) si y sélo si T= (a °) a 1. S= (6 %) junto con t € Aut(sl,(C)) ya? = (6) & € Aut(gi,(C)(0,4,%40)) si y sdlo i T= G ”) y s= G pit) junto con t € Aut(sl,(C)). 40(2) GE Aut(gl,(C\(,0,7,0)) si y sélo si T = ‘6 ‘) y s=(5 a ) junto cont € Aut(sl,(C)) y a0? = 1. (8) BE Aut(gl,(C)(A, 1,0, 0) si y s6lo si T = iG *) y s-(§ 2 “1, ) Junto con t € Aut(sty(C)). (9) © € Aut(gl,(C)(0,0,v,€)) si y sélo si T = ( ‘) o 4 5 ie 2) junto con t € Aut(stq(C)) y 5? =1. (10) ® € Aut(gt,(C)(0, 4,0, ¢)) si y sdlo si T = Gs °) : S= lG ) junto cont € Aut(sl,(C)) y 6 =1. (11) ® € Aut(gt,(C)(A, 0,0, 6)) si y sdlo si T = G 9) a S= (G w) junto cont € Aut(sl,(C)) y 8 =1. (12) © € Aut(gl,,(C)(0,0,0,€)) si y sdlo i T = (* °) y iain: 0 2 SH (7 yt jy) junto cont € Aut(stn(C)) y # = 1. 2 (13) @ € Aut(gl,(C)(0,0,r,0)) si y sdlo si T = iG a) 7 S= (* ? noe junto con t € Aut(st,(C)). (14) G € Aut(gl,(C)(0, 4,0, 0) si y sdlo si T = (¢ *) ' sa ( 7 yi) junto con t € Aut(sl,(C))- 7 (15) & € Aut(al,(C)(A,0,0,0)) si y sélo si T = le ‘) y aS= G vie) junto cont € Aut(sln(C)). (16) © € Aut(at,(C)(0,0,0,0)) si y sdto si T = (i °) y 1 Se C a e) junto con t € Aut(st,(C)). 3.5 ESTRUCTURAS GEOMETRICAS ad INVARIANTES EN gl, (A, 4,7, €) Convencién: En esta seccién siempre que hablemos de invariancia nos referimos a ad invariancia. Ahora, nuestro interés se centra en describir las estructuras geométricas ad invariantes que admite gl, (A, 11, €)- Para lograr esto, debemos tener una descripeién més explicita de I. Esto es, queremos determinar exactamente la posicién de los parémetros A, 1, vye Sean X,Y,Z € gl,. Déenotaremos por {X,Y} = XY + YX. Podemos definir entonces Ws al, — gly @ gt, = Bil(gl, x gln,C) XH U(X) donde W(X) € Bil(gt, x gl,,C) esta definida por W(X)(¥, Z) = tr(X{Y, Z}), 3.5.1 Proposicién. W es simétrica y ad equivariante. Si denotamos por 7 : $2(gl,) —+ Li, 72 : S2(gl,) —t Ia, a : S2(gl,) (ln): y 74 : S2(gl,) —+ (sln)2 a las respectivas proyecciones en los factores que aparecen en la descomposicién de $?(gl,) obtenemos la si- guiente proposicién 423.5.2 Proposicion. 1; 0 |; son isomorfismos para i = 1,2, mientras que 740 W\si, también son isomorfismos para i = 3,4. Més atin, es claro que m(W(I)) = I@I, y que m3(U(X)) =1@X+X@I para todo X € sln. Para entender 720 W y 40 W, necesitamos restringir V a sly. Sean E;; las matrices tales que sdlo la entrada ij es 1 y las demés son cero. Es claro que gf, esté generado por estas matrices y que en términos de esta base W(Eij) = 0 AZ man Bet @ Emn- Un célculo sencillo muestra que W(E,;) So (Fa @ Bay + Bry ® Eu). 7 La base usual para gl, es I = Ey, Hy = Ey — Ejstiy, para i = 1... ,n—1, junto con Ej; sit # j. Por lo que ¥(Z) = > W(E,;) mientras que W(H;) = U(Eu) — V(Bississ) = 2(Bis ® Bu — Bistiay @ Bississ) + SD (Bix ® Bei + Exi ® Ex) keith — DY Gare @ Fesnr + Brees © Bisa) k#isit1 De esto, ya podemos inferir que T(I,1) =X mientras que T(I,X) = para todo X € sl,. Para determinar en donde aparecen los parémetros y y € debemos encontrar una base para los sumandos irreducibles de $°(slq) y despejar a los elementos que aparecen en 72(V(I)), ma(W(H;)) y 74(¥(Bi,)) en terminos de esta base, hecho esto, valuar I’ es sencillo. 43Notar que en general, encontrar las bases para los sumandos irreducibles que aparecen en la descomposicién de 5?(sl,) es bastante laborioso, ya que primero se debe determinar un vector de peso maximo para p, luego se aplican a este vector todas las composiciones posibles que se pueden obtener con los operadores de la forma p(Ei;) (con i > j), con esto se obtiene un subespacio invariante, luego se toma un vector de peso méximo en el complemento ortogonal a este subespacio y se repite el proceso, como estamos trabajando con superdlgebras de dimensién finita s6lo es necesario repetir el proceso un niimero finito de veces. Ejemplificaremos estos cdlculos para n = 3. Los demés casos (n > 3) son andlogos. Ejemplo: gly ® aly S?(gl) = (S°(I) ® S?(sls)) © (S*(Z) @ $*(slg)) © (S?(Z) @ S°(sIs)) ~ S°(sls) 6 (I@ slg) OT & (I @sls ® Vo7) (I @ slg) OL En este caso, la accién, inducida por p = ad en gly ® gly estd dada por P(Hy) = 2Ey2 ® Ey, + Eis @ Ely — Eos ® E3y — 2E 2) ® Ex, — Ex, ® Egy + Es2 ® Bly p(H2) = —Ey2 ® Ej, + Eis @ Ejg + 2B23 © E}s + Ex @ Ey — Es, ® Bj, — 2B 92 ® Bia P(Ei2) = -2Bi2 ® Hy + Ei ® H3 + Eis @ Ey + Hy @ EX — Ea, @ Ey (E13) = —Eis ® Hy — Eis ® Hj + Es ® By, + (Hi + He) ® Ej, + Ex ® By ng @ Hf — 2E23 ® Hy — Bis @ Ejy + En, @ Ej + He ® EX, p( E23 44p( B21) = 2B, @ HY — By, @ Hj + Hi ® Ej, + Eng @ Ej, — Bs: ® Ey p( E31) = Es: @ HY + Ex, ® H} + Eso @ Ej, — (Hi + He) @ Ely | — Ex ® E>, p( E32) = —Es2 ® Hi + 2B32 @ H3 — E12 @ BE}; — He @ Byy + Bs: @ By. Segiin lo anterior sabemos que m(¥(1)) =1@r m(¥(X)) =T@X+X@I paratodo X sly mientras que i m2(U(I)) = 2(Ay @ Hy + He ® Ha) + (Hi @ He + He ® Mi) + 3(By @ En + Bx @ Bia + Fxg @ Es + Es: @ Fig + Es & E32 + E52 ® E23) ra(W(H)) = 5(Hhs @ Hh) + 5H © Ha + Ha @ Hh) + (E\3 @ Es, + (Esai ® E13) — (E23 ® E32 + (E32 @ E23) a((He)) = ~$(He @ Hh) ~ Fh @ a + Hy @ Hh) ‘ + (Er2 ® En, + (Eni ® Fiz) — (Eis @ Ea: + (Esai ® Fis) mientras quema(¥(Eia)) = H(i, © Bra + Bye @ th) + F(t 8 Bra + B® Hh) + (Ens ® Bao + (Eso ® Eis) x4(¥(Eis)) = (Hh © Bis + Bis @ Mi) ~ 5(Ho © Fis + Bas @ Ha) + (Ej2 ® Eo3 + (E23 ® Fiz) ra(W(Eo3)) = - Fh @ Ep3 + E23 ® Hi) — ltl ® Eng + Eng @ H2) + (Ba: ® Bia + (Eis ® En) xa(¥(Bn)) = }(, @ Box + Ban 9 Hh) + $(He @ Bai + Bx @ Hh) + (Ena © Eas + (Ear ® Bos) r4(W(EBas)) = H(t ® Ex + Bos @ Hh) ~ (Ha @ Es, + Bax @ Hi) + eo ® Ea + (En ® Ese) 1 m4(Y(Es2)) = -Fh @ Boz + Bsa ® Hh) — (Ha ® Baz + Bsa @ Ho) + (Ea: ® Fi + (Fiz ® Bai). Para calcular una base de V27, uno observa que un vector de peso maximo es E13 ® E13 y que actuando con los operadores p(E21), p(Es1) y p(Es2) sobre este vector de peso maximo en todos los ordenes posibles se genera dicha base. Uno obtiene que Var = (E12 ®@ Biz, Eis ®@ Bis, Eos @ Eos, En @ En, Es @ En, Es2 ® E52, E13 ® B23 + E23 @ Eys, Ei2 @ Fis + Eis ® Erp, Ex ® Bs, + B31 @ En, Ey2 ® Eso + Es2 ® Exo, Fog @ Ex + Bp, @ E23, H2 ® E23 + E3 ® Ho, Hz ® E39 + E39 ® Ho, Hi ® Byz + By2® Mh, 46| EBs, @ E32 + E32 ® Bg, Hy @ Ex, + Ex @ Hh, | Fy @ Eys + Eig ® Hy + Ho ® Eyg + Brg ® Ho, Hy @ Bs; + Es; © Hy + Hz @ Eg; + E31 @ Ho, Hz & Hy — (E23 @ Ean + E32 ® Ens), Az ® Ey3 + E13 ® Ha + Ey2 @ Eng + Ens @ Fiz, Ha ® Fro + Ey2 ® Ha — (Eig ® Ba + E32 ® E,3), Hy ® Eng + E23 @ Hy, + Fig ® En + En @ Eis, Hy @ Hy — (E12 ® Ex + En ® Er2), Hz ® Ex + En ® Ha — (E23 ® E31 + Es: ® Eos), Hh @ E32 + Eso @ Hy + Biz @ Es, + Es: @ Erp, Hy ® Es; + Es, ® Hy — (E21 ® Eso + Es2 ® Enx), | A, @ H,+ Hy ® H2+ A ®@ H+ H2 8 Hy — (Ei3 ® Bei + Es ® Ex3)). | De todo esto, podemos concluir que, por ejemplo: T(,D = mientras que TU,X)=uX paratodo X G5ln. Usando las bases encontradas, obtenemos: 20H, @ Hy = 5r2(U(I)) + 4ra(W(Hi)) + 814(U(He)) + Rar 20(Hy ® Hy + Hz ® Hy) = —52(U(1)) + 874(U(Ai)) — 8r4(W(H2)) + Rio 20Hz ® Hz = 5m2(¥(I)) — 8ra(Y(Hi)) — 4na(U(H2)) + Raa aTdonde Ri; es suma de términos tales que al valuar I’ se anulan porque no pertenecen a subespacios invariantes isomorfos a multiplos de la identidad 0 isomorfos a slg, 0, lo que es lo mismo: T (Hh, Hy) = 2vI + 2e(Hi + 2H2) D(A, He) = —vI + 2€(Hy — He) T'(Ho, Hy) = 2vI — 2€(2H, + He) los casos restantes I'(H;, Ejx) y T(Eis, Bei) se calculan de la misma forma. O 3.5.3 Teorema. gl,(A,1,U,€) no admite estructuras geométricas invari- antes pares para n > 2. Demostracién. Por lo expuesto en el primer capitulo, la existencia de estructuras Z2- ortogonales o Za-simplécticas invariantes pares, implicarian la existencia de una estructura simpléctica invariante en gl, y esto ultimo no es posi- ble. La no existencia de estructuras Zj-hermitianas invariantes pares se sigue de lo anterior. i Nota: En [2], clasifican las superdlgebras de Lie g = go @gi que admiten estruc- turas Za-ortogonales pares invariantes (a las cuales llaman superdlgebras cuadrdticas, o superdlgebras de tipo riemanniano en {9]). Notar entonces que con esta terminologia podemos reescribir el resultado anterior como: al, @gl, no son superdlgebras cuadréticas (0 lo que es lo mismo, de tipo riemanniano). Para analizar la existencia de estructuras geométricas invariantes im- pares, procederemos por casos ya que la estructura de superdlgebra de Lie de gl, © gl, queda determinada por la correspondiente funcién I, la cuél, esta determinada por los parémetros (A,y1,v) sin = 2 y por los pardmetros (A,p1,,€) sin > 3. 483.6 Caso gl, © gl, CON p = ad. 3.6.1 Teorema. gl2(A,1z,v) admite estructuras invariantes impares (1) Za-ortogonales si y sdlo si su estructura de superdlgebra de Lie esté en alguna de las siguientes clases de isomorfia: (2,0,0), (0,0,0), (2,2,1) y (0,2,1) si F =C, o bien, (2,0,0), (0,0,0), (2,2,1), (2,2,-1) y 0,21) s F=R. (2) Zo-simplécticas si y sélo si su estructura de superdlgebra de Lie estd en la clase de (0, 0,0). Demostracién. (1) Recordar que si B es una estructura Z2-ortogonal impar en gly © gl, entonces est4 completamente determinada por una funcién ® : gl, x gl, —> F no degenerada. Bes invariante si y sdlo si CT = —Cj&-1 y IF = SPj~* (Ver Notas 2.1.1). La primera ecuacién dice que & es gly invariante, por lo que un célculo sencillo muestra que a 0 200 d= ( ) donde K=/0 0 1 0 bK 010 con ab # 0, mientras que la segunda ecuacién se traduce en av = by, de donde se sigue el resultado. (2) Notar que en este caso B es invariante si y sélo si Of = —$C;4-" y IT = -GP;8-1. La primera ecuacién se resuelve igual que en (1) mientras que la segunda ecuacién ahora dice que ad=0 bu av =0, de donde se sigue el resultado. i De la demostracién del teorema anterior, se lee rdpidamente que hay dos formas de que las estructuras geométricas invariantes en gly @ gl degeneren, a saber a= 005 =0. 493.6.2 Corolario. Las siguientes clases de isomorfia de gl,(X,m,v) ad- miten estructuras Za-ortogonales o Za-simplécticas invariantes degene- radas (1) para a =0, las clases de isomorffa reales son (2,0,1), (2,0,—1), (2,0,0), (0,0,0) y (0,0,1), las clases de isomorféa complejas son (2,0,1), (2,0,0), (0,0,0) y (0,0, 1). (2) para b = 0, las clases de isomorfia reales y complejas son (2,2, 0), (2,0,0), (0,2,0) y (0,0, 0). Este tiltimo resultado, sugiere que otro problema interesante es el de es- tudiar sub-superélgebras de Lie, en las cuales las estructuras geométricas invariantes encontradas no degeneren. 3.7 Caso gl, @ gl, CON p = ad Yn > 3. Sea B una estructura geométrica, en cualquier caso, Ja invariancia de B implica que CT = —60;~4, lo cudl nos dice que $5, = bK donde K es la forma de Cartan-Killing en sl, de esto La segunda ecnacién a satisfacer es Pf = 61;6-! o ff = —67,0-1 de- pendiendo de si queremos estructuras Z2-ortogonales 0 Zz-simplécticas. 3.7.1 Teorema. gl,,(A,u,,€) admite estructuras invariantes impares (1) Ze-ortogonales si y sélo si gl,(A,1,r,€) estd en la clase de iso- morfia de (,0,0,€) 0 (A,1,1,6)- (2) Zo-simplécticas si y sdlo si gl,(A,H,v,€) estd en la clase de iso- morfia de (0,0, 0,0). Demostracién. Notar primero que Pst, : ln X Stn —+ ln en realidad se reescribe como: Ds, (X,¥) = (XY + YX — 2tr(XY)), y entonces la ecuacién (lat, )° = O05 lat, 50 |es equivalente a K({Xj,Xi}, Xx) = K(Xi, (Xj, Xe}) la cual se satisface si K es la forma de Cartan-Killing en sla, y {X,Y} = XY +YX ~ 2tr(XY), lo cudl a su vez se traduce en be = Lhe. Sir; denota el i-ésimo renglén de K, y e; la é-ésima columna de In—1xn—1 a 0 0 rj. hs Ty= ipa (0 peter) = (ey ced) 1) Después de las identificaciones mencionadas, [7 = 6P;6-? si y sdlo sp 3 i y si a = ra pb = yb ub=va" ebaeb SL j-! si y sdlo si da =—a pb = —yb pb=—va" b= -eb De donde se sigue lo afirmado. ll Ademés se obtiene 3.7.2 Corolario. 51, @sl, admite estructuras Zz ortogonales invariantes impares, y admite estructuras Zp simplécticas invariantes impares si y solo sie =0.Bibliografia. (to (ua) [22] Alekseevsky, D.V. and Cortés, V., Classification of N-(Super)-Extended Poincaré Algebras and Bilinear Invariants of the Spinor Representation of Spin(p,q), Commun. Math. Phys., 183, 477-510 (1997). Benayadi, S., Quadratic Lie Superalgebras with the Completely Reductible Action of the Buen part on the Odd part, J. Algebra, 223, 344-366 (2000). Berezin, F. A. and Retakh, V., The structure of Lie Superalgebras with semisim- ple even part, Funct. Anal. Appl., 12, No. 1 (1978), 48-50. Elduque, A., Lie Superalgebras with semisimple even part, J. Algebra, 138 (1996), 649-663. Fulton, W. and Harris, J., Representation Theory, a first course., Springer, New York, (1991). Kac, V. G., Lie Superalgebras, Adv. Math, 26, 8-96 (1977) 31. Kac, V. G., Representations of classical Lie Superalgebras, Lecture Notes in Math., 676 (1978), 597-626. Kostant, B., Graded Manifolds, Graded Lie Theory and Prequantization, (Bleuler, K. and Retz, A., eds.), Proc. Conf. on Diff. Geom. Methods in Math. Phys., Bonn 1975, vol 570, Springer Verlag, Berlin and New York, (1977), 177-306 Kostant, B., The Weyl algebra and the structure of all Lie superaigebras of Riemannin type, arXiv:math.RT/0106171 v1, 20 Jun 2001 Michel, L., Applications of group thoery to quantum physics. Algebraic Aspects, Lectures Notes in Physics, Vol. 6, 36-146. Monakhov, S. V., Classification of finite-dimensional complex Lie Superalgebras with even part slo(C)., Problems in group theory and hological algebra, Yaroslav, Gos. Univ., Yaroslav (1998), 151-166 (Russian). Monterde, J., and Sénchez Valenzuela, O.A., Existence and uniqueness of solu- tions to superdiferential equations, Journal of Geometry and Physics 10, (1993), 315-344. Onishchik, A-L. and Vinberg, B.L., Lie Groups and Algebraic Groups., Springer, Berlin, Heidelberg, 1990. Pinczon, G., Classification of simple Z graded Lie Superalgebra and simple Jor- dan Superalgebro, Comm. Alg., 5 (1977) No. 13, 1375-1400. Serre, J. P., Lie Algebras and Lie Groups, Springer-Verlag, Berlin Heidelberg, (1992) 52 |(16) [7] (18) Scheunert, M., The Theory of Lie Superalgebras, an introduction, Springer- Verlag, New York, (1979). Sternberg, S. and Wolf, J. A., Hermitian Lie Algebras and Metaplectic Repre- sentations, Trans. American Math. Soc., Vol. 238, 1-43 (1978). Xiadong, W., Left-supersymmetric structures on Lie Superalgebras, Northeast Math. J., 15 (1999) No. 2, 209-216. | F