137 Tes Is Enrique

Sistemas de Ra ces Abstractas y Algebras de Lie
Enrique Rodr guez Castillo Universidad de Sonora
iii
En memoria de Enrique Rodr guez Jimenez. A mi hijo Luis Enrique Rodr guez Chavez.
Agradecimientos
Sin duda, el tiempo que le he dedicado a este trabajo es considerable y por tal motivo, me v en la necesidad de sacricar varios momentos de convivencia con las personas que ms quiero en mi vida: mi familia. Indudablemente, mi a esposa y mi hijo me tuvieron mucha paciencia al permanecer alejados de mi durante intervalos extensos de tiempo y es por tal motivo que les agradezco desde lo ms profundo de mi corazn por su comprensin, apoyo y paciencia a o o durante la elaboracin de este trabajo. o Junto con la familia, los familiares fueron tambin decisivos en el empeo e n con el que trabaj, pues supieron inyectar esa dotacin de nimo en momentos e o a que realmente necesitaba cerca de m a la gente que me conoce. Los autores principales de dicha proeza son mi madre Raquel Castillo del Castillo, mi hermano Hctor Daniel Rodr e guez Castillo, mis hermanas Martha y Rebeca Rodr guez Castillo y tambin, Irene Rodr e guez Castillo quien se merece una mencin especial, pues por su experiencia es la persona que ms comprend o a a mi situacin. o Una de las inspiraciones ms importantes que he tenido desde hace tiempo a es la memoria de mi padre, a quin con gran afecto y respeto le dedico este e trabajo. A su manera me ense de lo que era capaz de hacer. Su recuerdo no lo resguardar en mi corazn con celo. e o Tambin, aprovecho este espacio para agradecer la direccin del Dr. Yury e o Vorovev, quien de una manera muy particular, logr dar cierta motivacin o o para esforzarme en momentos de tensin durante los estudios previos a la o elaboracin de mi tesis. Sus consejos oportunos y exigencias sirvieron para o darme cuenta de que esforzndome puedo lograr ms cosas de las que he a a pensado. v
vi
Al igual que el Dr. Yury Vorovev, agradezco la paciencia y el tiempo que me dedicaron mis sinodales: Dr. Rubn Flores Espinoza, Dr. Mart G. e n Garc Alvarado y M. en C. Guillermo Dvila Rascn. Gracias a sus correca a o ciones, mi trabajo fue ampliamente mejorado. No por ser los ultimos en esta breve lista son los menos importantes. Me reero a aquellas personas que me acompaaron en todo este camino de n desarrollo y madurez: mis amigos. Mis compaeras de generacin, L. M. n o Marysol Navarro Burruel y L. M. Jessica Yuniver Santana Bejarano quienes sirvieron de inspiracin al mostrarme ejemplarmente virtudes como la pero severancia, la dedicacin y la responsabilidad. La Dra. Martha D. Guzmn o a Partida y el Dr. Mart G. Garc Alvarado, quienes me demostraron rign a urosamente que escog bien mi profesin y tambin supieron ensearme la o e n belleza de las matemticas como nunca antes en mi vida. a No slo mis amigos profesionales fueron importantes para mi en estos o ultimos cuatro aos, si no tambin aquellos que casi son como de mi fa n e milia; sus consejos invaluables y apoyo incondicional es uno de los tesoros que me hacen sentir afortunado y valorar cada momento de convivencia entre nosotros. Muchas gracias a todos: Micky, Mario, Carlitos, Felipe, Gero, u Ca-Carlos, Gordo, Delman, Artemis, Alejandra y Misah.
Contenido
Introduccin o 1 Preliminares 1.1 Acciones de Grupo . . . . . . . . . . . . . . . . . . . . 1.2 Algunas nociones de Algebra Lineal . . . . . . . . . . . Traza de operadores . . . . . . . . . . . . . . . . . . Familias conmutativas de operadores diagonalizables Dualidad y formas bilineales . . . . . . . . . . . . . . 2 Sistemas de ra ces abstractas 2.1 Nociones bsicas . . . . . . . . . . . . . . . . a Reexiones en un espacio euclidiano . . . . . Sistemas de ra . . . . . . . . . . . . . . . ces Isomorsmos . . . . . . . . . . . . . . . . . Propiedades geomtricas y cadenas de ra e ces Sistemas de ra de rango 2 . . . . . . . . ces 2.2 Bases y Ra simples . . . . . . . . . . . . . ces Bases . . . . . . . . . . . . . . . . . . . . . . Propiedades de las ra simples . . . . . . ces 2.3 Cmaras de Weyl y el grupo de Weyl . . . . . a Cmaras de Weyl . . . . . . . . . . . . . . . a El grupo de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix 1 1 2 2 3 5 7 7 7 10 14 16 20 22 22 30 33 33 36 43 44 46 48 50
3 Clasicacin de sistemas de ra o ces irreducibles 3.1 Sistemas de ra irreducibles . . . . . . . . . . ces El grupo de Weyl de un sistema irreducible . . La ra maximal de un sistema irreducible . . z 3.2 Matriz de Cartan de un sistema de ra ces . . . . vii
viii 3.3 3.4
CONTENIDO Diagrama de Dynkin asociado a un sistema de ra ces . . . . . 52 Teorema de Clasicain . . . . . . . . . . . . . . . . . . . . . 53 o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . sl(2, F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 63 67 67 70 74 80 80 81 85 87 87 87 89 92 92 93 96 97 98 100
4 Algebras de Lie 4.1 Denicin y ejemplos . . . . . . . . . . o 4.2 Conceptos algebraicos fundamentales . Sublgebras e ideales . . . . . . . . . a Homomorsmos de lgebras de Lie . a 4.3 Algebras de Lie lineales . . . . . . . . . 4.4 Representaciones y la forma de Killing Representacin adjunta . . . . . . . . o Forma de Killing . . . . . . . . . . . 4.5 Teorema de Weyl y representaciones de
5 Teor estructural a 5.1 Solubilidad y nilpotencia . . . . . . . . . . . . . . . . . . . . Algebras solubles . . . . . . . . . . . . . . . . . . . . . . . Algebras nilpotentes . . . . . . . . . . . . . . . . . . . . . 5.2 Criterios de solubilidad y nilpotencia . . . . . . . . . . . . . Teorema de Engel . . . . . . . . . . . . . . . . . . . . . . . Teorema de Lie . . . . . . . . . . . . . . . . . . . . . . . . Criterio de Cartan . . . . . . . . . . . . . . . . . . . . . . 5.3 Algebras semisimples . . . . . . . . . . . . . . . . . . . . . . Propiedades principales de las lgebras de Lie semisimples a Teorema de Levi-Malcev . . . . . . . . . . . . . . . . . . . 6 Ra ces de una lgebra de Lie semisimple a 6.1 Descomposicin de Cartan . . . . . . . . . . . . . . . . . . o Sublgebras torales y sublgebras de Cartan . . . . . . . a a Conjugacin de sublgebras de Cartan . . . . . . . . . . o a 6.2 Propiedades de las ra de una lgebra de Lie semisimple ces a Relaciones con la forma de Killing . . . . . . . . . . . . . Integridad y racionalidad de las ra ces . . . . . . . . . . 6.3 Teorema de isomorsmo . . . . . . . . . . . . . . . . . . . 6.4 Teorema de Serre . . . . . . . . . . . . . . . . . . . . . . . 6.5 Teorema de clasicacin de lgebras de Lie simples . . . . o a Conclusiones . . . . . . . . .
101 . 101 . 101 . 106 . 108 . 108 . 109 . 112 . 115 . 116 117
Introduccin o
Nuestros objetivos sern el estudio de los sistemas de ra de manera absa ces tracta, independientemente de la Teor de lgebras de Lie que es en donde a a surgi este concepto, y dar una introduccin a las lgebras de Lie. El o o a propsito de esta tesis es aplicar los sistemas de ra o ces en la clasicacin o de lgebras de Lie semisimples. a Asociado a un lgebra de Lie semisimple, se encuentra un sistema de a ra ces que es un conjunto de funcionales lineales denidos en una determinada sublgebra ue satisfacen ciertas propiedades que determinan completaa mente la estructura del lgebra de Lie. Esta es la manera en que se presenta a la Teor de sistemas de ra a ces en los libros clsicos de lgebras de Lie (ver a a [3], [4], [11]). El enfoque de este trabajo es recopilar varias propiedades de los sistemas de ra en abstracto haciendo uso de conceptos elementales ces de lgebra lineal para despus introducirlos en el contexto de lgebras de Lie. a e a Los sistemas de ra ces aparecieron por primera vez en el trabajo de Wilhelm Karl Joseph Killing (1847-1923) para dar una clasicacin de las o lgebras de Lie semisimples sobre los complejos; tambin, de manera paraa e lela, Elie Cartan (1869-1951) present el catlogo completo de lgebras de o a a Lie semisimples sobre los commplejos en su tesis Doctoral, poco despues del trabajo de Killing. Por otra parte, las lgebras de Lie fueron introducidas por Marius Sophus a Lie (1842-1899) quien estudiaba la manera de resolver algunas ecuaciones diferenciales, motivado por el trabajo de Galois en la solucin de ecuaciones o algebraicas, asociando a cada ecuacin diferencial un determinado grupo llao mado grupo de Lie (en analog con el grupo de Galois para ecuaciones algea baicas).
Introduccin o
El trabajo de Killing y Cartan fue estudiado por muchos matemticos, a principalmente en Europa, en busca de simplicaciones de los mtodos de e clasicacin y aplicacin del catlogo de lgebras de Lie semisimples a dio o a a versas reas de las matemticas y de la f a a sica; algunos de stos matemticos e a fueron Bartel Leendert Van der Waerden (1903-1996), Ernst Witt (19111991), Harold Scott MacDonald Coxeter (1907-2003), Hermann Weyl (18851955) y Eugene Borisovich Dynkin (1924-). Cada uno de ellos trabaj por o separado y los mtodos de clasicacin que implementaban eran variados; el e o mtodo que us Dynkin es el ms parecido al mtodo original de Cartan. e o a e La axiomatizacin de los sistemas de ra o ces vino despus de la particie pacin de estos personajes, pues notaron que constituye una Teor indepeno a diente. Uno de los puntos atractivo de la Teor de los sistemas de ra a ces, es la simplicidad del concepto, ya que para su estudio slo se necesitan conocimieno tos bsicos de las matemticas en reas como el Anlisis, la Geometr el a a a a a, Algebra y especialmente de Algebra Lineal. Algunos de los conceptos que se necesitan dominar para el estudio de los sistemas de ra en abstracto son ces los elementos bsicos de espacios reales euclidianos de dimensin nita, ina o dependencia lineal, operadores lineales y ortogonales, isometr geometr as, a euclidiana, continuidad en espacios euclidianos y acciones de grupo. La idea de usar los sistemas de ra ces para clasicar las lgebras de Lie a semisimples se basa en los siguientes tres puntos: A cada lgebra de Lie semisimple, se le asocia un sistema de ra que a ces la caracteriza por completo; los sistemas de ra son fciles de clasicar; ces a dado un sistema de ra ces, existe un lgebra de Lie semisimple cuyo a sistema de ra es el inicial. ces La idea que present Sophus Lie de asociar a un grupo una determinada o lgebra de Lie fue motivadora de otros mtodos de asociar un lgebra de Lie a a e a un grupo (no necesariamente de Lie), la cual pod proporcionar informacin a o importante de la estructura de tal grupo. Este es un recurso considerablemente moderno para abordar algunos problemas en grupos nitos y grupos libres.
Introduccin o
xi
Entre las lgebras de Lie, existe una familia muy importante que es la a clase de lgebras de Lie semisimples, las cuales se pueden caracterizar a travs a e de sus componentes simples. El matemtico Tulio Levi-Civita (1873-1941) a estableci una descomposicin de un lgebra de Lie general en una parte o o a semisimple y otra que exclu la semisimplicidad mientras que el matemtico a a Anatoly Ivanovich Maltsev (Malcev) (1909-1967) determin la unicidad de o dicha descomposicin bajo un automorsmo interior del lgerba de Lie. o a Una herramienta muy util en el estudio de lgebras semisimples es una a forma bilineal simtrica para la cual el operador adjunto es antisimtrico, que e e fue introducidas por Killing y lleva su nombre; de hecho, la no-degeneracin o de tal forma caracteriza a las lgebras de Lie semisimples. a Killing tambin introdujo el concepto que hoy es conocido como sublgebra e a de Cartan, la cual establece la llamada descomposicin de Cartan y est eso a trechamente ligada al sistema de ra que le corresponde al lgebra de Lie ces a semisimple. Este trabajo se divide en cinco cap tulos en los que se intenta abordar la teor elemental de los sistemas de ra a ces y lgebras de Lie, as como la a relacin histrica entre estas dos estructuras algebraicas. o o En el primer cap tulo, se intenta cubrir los conocimientos m nimos requeridos para el entendimiento de este trabajo. Se recuerdan resultados importantes de Algebra Lineal y Teor de Grupos. Los conceptos bsicos de a a las matemticas se presuponen dominados y no se abordan en este trabajo; a ejemplos de esto son los conceptos de continuidad, clculo matricial, transa formaciones lineales, espacios vectoriales de dimensin nita, que se cubren o en los cursos de los primeros dos aos de licenciatura. n El segundo cap tulo de ste trabajo, ha sido dedicado al tratamiento de los e sistemas de ra en abstracto, sus bases, la manera en que actua el grupo de ces Weyl en las ra simples y en las cmaras de Weyl. Se prueban resultados ces a que en varios textos slo se limitan a mencionarlos vagamente e incluso omio tirlos; se procura detallar las demostraciones y extender los clculos sin caer a en la rutina. Despus se reduce el trabajo de clasicacin al establecer una e o descomposicin en componentes irreducibles los cuales tienen propiedades o especiales que permiten tratarlos mas fcilmente. a
xii
Introduccin o
En la ultima parte de este cap tulo dos, se presenta el Teorema de Clasicacin de sistemas irreducibles y haciendo uso de los Diagramas de Dynkin o se determinan las diferentes relaciones entre ra simples que existen. ces El tercer cap tulo presenta la Teor general de lgebras de Lie y los cona a ceptos bsicos que sirven como introduccin al estudio de sta estructura. a o e Se presentan conceptos como subalgebra, ideal, homomorsmo, derivacin, o representacin de un lgebra de Lie (concentrndonos en la representacin o a a o adjunta y el operador adjunto) y se estudia en general la llamada forma de Killing. Se presentan resultados estndar como el Teorema Fundamental de a Homomorsmo, los tres Teoremas de isomorsmo de las estructuras algebraicas y el Teorema de correspondencia. En este cap tulo tres, tambin se dedica una seccin al estudio de lgebras e o a de Lie lineales como el lgebra general lineal, el lgebra especial lineal, las a a lgebras ortogonales (pares e impares), el lgebra simplctica, el lgebra de a a e a matrices triangulares superiores y dos de sus sublgebras: el algebra de matria ces triangulares estrictamente superiores y el lgebra de matrices diagonales. a Adems, se establece una descomposicin del lgebra general lineal como a o a una suma directa de su lgebra derivada, que es previamente calculada, y su a centro, igualmente calculado con anterioridad. En el cuarto cap tulo se estudian tres tipos especiales y muy importantes de lgebras de Lie: solubles, nilpotentes y semisimples; todas las lgebras a a nilpotentes son solubles y las semisimples carecen de ideales solubles que no sean cero, es decir, no tienen nada de soluble. Se presentan tres resultados que nos ayudan a determinar la solubilidad o nilpotencia de un lgebra de a Lie a partir del estudio de ciertos operadores; el Teorema de Engel establece una relacin entre las lgebras de Lie nilpotentes compuesta de operadores o a (matrices) con lgebras de Lie cuyos elementos son operadores nilpotentes, el a Teorema de Lie es anlogo al Teorema de Engel pero en el caso soluble (bajo a ciertas hiptesis impuestas al campo), mientras que el criterio de Cartan nos o permite determinar la solubilidad de un lgebra de Lie observando su forma a de Killing. El cap tulo termina con el estudio de lgebras semisimples y la a presentacin de un Teorema de descomposicin de lgebras de Lie, que preo o a sentamos con el nombre de Teorema de Levi-Malcev.
Introduccin o
xiii
Finalmente, en el cap tulo cinco se introduce el concepto de ra de un z lgebra de Lie semisimple con respecto a una sublgebra de Cartan y se esa a tudian algunas propiedades de las ra ces; el conjunto de stas ra termina e ces formando un sistema de ra ces en el sentido del cap tulo uno. Despus, se e establece la independencia del sistema de ra con respecto a la sublgebra ces a de Cartan, as como el Teorema de Isomorsmo que indica la importancia del sistema de ra ces asociado al lgebra de Lie al caracterizarlo por coma pleto. Tambin se presenta el Teorema de Serre, que nos dice la manera en e que se puede generar un lgebra de Lie semisimple a partir de un sistema a de ra al hacer una presentacin del lgebra de Lie mediante la exhibicin ces o a o de un conjunto de generadores y sus relaciones de conmutatividad, todo esto dependiendo unicamente del sistema de ra ces.
Cap tulo 1 Preliminares

En este cap tulo se presentan algunas deniciones y hechos fundamentales de la Teor de Grupos y recordar nociones bsicas de Algebra Lineal. Tambin a a e se presentan algunos resultados referentes a la descomposicin que induce o un operador lineal de un espacio vectorial en subespacios invariantes con respecto a tal operador; estos hechos son importantes para establecer la descomposicin de Cartan en el cap o tulo 5. El cap tulo termina con una breve exposicin sobre productos tensoriales de espacios vectoriales. Los o conocimientos requeridos en Teor de anillos y generalidades algebraicas se a pueden encontrar en [1] o bien, en [8].
1.1
Acciones de Grupo
Slo se presentan las deniciones requeridas en este texto. Para el interesado o en abundar sobre las acciones de grupo, puede consultar [10] (p. 55). Denicin 1.1. Sea X un conjunto no vac y G un grupo. Una accin o o o de G en X es una funcin . : G X X que satisface las siguientes dos o propiedades: (A1) Si e es el elemento identidad de G, entonces e.x = x para todo x X; (A2) para g, h G tenemos (gh).x = g.(h.x) para todo x X. Decimos que un grupo G act a en un conjunto X, o bien X es un Gu conjunto, si existe una accin de G en X. o 1
Preliminares Si G acta en X y x X, denimos la rbita de x como el conjunto u o Gx = {g.x : g G}
y el conjunto de rbitas de X es el conjunto o {Gx : x X} y es claro que X = xX Gx, donde la unin es disjunta. Diremos que la o accin es transitiva si slo existe una rbita. o o o Proposicin 1.1. Supongamos que G acta en X. La accin es transitiva o u o si y slo si para cualesquiera dos elementos x, y X existe un elemento o g = g(x, y) G tal que g.x = y. Suponga que G acta en un conjunto X. Diremos que un elemento g G u ja a un punto x X si g.x = x; la accin se llama simple si el unico eleo mento de G que ja a algn punto de X es el elemento identidad. u Suponga que un grupo G acta en un espacio vectorial V. Diremos que la u accin es irreducible si para cualquier subespacio W = 0 de V que satisfaga o G.W W se tiene que W = V.
1.2
Algunas nociones de Algebra Lineal
En esta seccin, se intenta hacer slo un pequeo recordatorio de los cono o n ceptos y resultados que necesitaremos en el desarrollo de los cap tulos posteriores, en especial, en los cap tulos 3 y 5. Para el interesado en introducirce ampliamente en el lgebra lineal, se recomienda [9]. a
Traza de operadores
Denotemos el espacio de matrices cuadradas de orden n con entradas en el campo F por el s mbolo Mn (F). Recuerde que Mn (F) posee una estructura natural de espacio vectorial sobre el campo F y su dimensin es n2 . La o traza de una matriz cuadrada de orden n es la suma de los elementos de su diagonal. Algunas de las propiedades para la traza de una matriz se enuncian en el siguiente resultado, cuya demostracin se puede encontrar en o [8] (p. 383):
1.2 Algunas nociones de Algebra Lineal Proposicin 1.2. Si A, B, C Mn (F) y a F, entonces o 1. tr(A + B) = tr A + tr B; 2. tr(aA) = a tr A; 3. tr(ABC) = tr(BCA) = tr(CAB), en particular, tr(AB) = tr(BA).
Las propiedades 1 y 2 nos dicen que la traza es un funcional lineal en el espacio de matrices cuadradas de orden n. Si B y B son bases de V y T es la matriz asociada a T con respecto a la base B, entonces la matriz de T con respecto a la base B es Q1 T Q, donde Q es la matriz de transicin entre las bases B y B . Por la propiedad 3 de o la Propoosicin 1.2, tenemos que tr(Q1 T Q) = tr T . o Denicin 1.2. Sea T : V V un operador lineal y T la matriz de T con o def respecto a una base B de V. La traza de T se dene como tr T = tr T . Con las propiedades 1 y 2, podemos denir una forma bilineal en el espacio End(V) = { operadores lineales en V} de la siguiente manera: dados dos operadores lineales en V, digamos T : V V y S : V V, denimos T, S
tr
= tr(TS),
y llamamos a , tr una forma de traza. Adems, por la propiedad 3 de la a Proposicin 1.2, la forma de traza es simtrica, es decir, T, S tr = S, T tr o e para cualesquiera dos operadores S y T en V.
Familias conmutativas de operadores diagonalizables

Si T : V V es un operador lineal en V y F es un campo algebricamente a cerrado, entonces el espacio V se descompone como una suma de subespacios V = F V (T), donde V (T) = {a V : T(a) = a}, para F. Aqu y en el resto del texto, el s mbolo indica suma directa de espacios vectoriales. Es claro que slo existe un nmero nito de F para o u los que V = 0. A tales elementos del campo se les llaman valores propios de T y a cualquier vector no nulo de V se llama vector propio de T asociado al valor propio . Si es un valor propio de T, el subespacio V se llama subespacio propio (ver [8], p. 470).
def
Preliminares
Proposicin 1.3. Si dos operadores lineales T : V V y S : V V o conmutan, entonces existe un vector propio comn. u La demostracin se puede encontrar en [2] (p. 212). o Recordemos que un operador T : V V es diagonalizable si existe una base para V conformada por vectores propios de T. Cuando el operador T es diagonalizable y B es una base de vectores propios, entonces la matriz de T con respecto a la base B es diagonal y los elementos de la diagonal son los valores propios de T. Un resultado inmediato de esto es el siguiente. Proposicin 1.4. Si dos operdores lineales T : V V y S : V V o conmutan y son diagonalizables, existe una base de vectores propios comunes. Como concecuencia se tiene el siguiente corolario que se obtiene al aplicar la Proposicin 1.4 e induccin sobre k. o o Corolario 1.5. Sea Ti : V V un operador lineal diagonalizable para cada i {1, 2, . . . , k} Ik . Si Ti Tj = Tj Ti para i, j Ik , entonces existe una base para V tal que las matrices de cada operador Ti es diagonal para cada i Ik .
Cuando un conjunto de operadores lineales satisface las hiptesis del o Corolario 1.5, decimos que tal conjunto de operadores lineales constituye una familia de operadores lineales simultaneamente diagonalizables.
Teorema 1.6. Si Ti es una familia de operadores lineales simultaneamente diagonalizables, con i Ik , entonces el espacio V se descompone en una suma directa de subespacios donde es un funcional lineal en el subespacio generado por la familia de operadores lineales Ti . Demostracin. Cada operador lineal Ti induce una descomposicin del espao o cio en suma directa de subespacios V (Ti ); si i = j, entonces cada subespacio V (Ti ) es suma directa de sus intersecciones con los subespacios V (Tj ). Iterando este proceso con todos los Ti vemos que V se puede expresar como suma directa de subespacios V (como se dene en el enunciado del Teorema) tales que Ti (V ) V para toda i Ik y cada operador lineal Ti tiene un unico valor propio en cada V . Se puede demostrar que cada operador lineal Ti es representado por una matriz triangular en el espacio de coordenadas de V y as se tiene que para cada subespacio V , el unico valor propio de Ti , , visto como funcin de Ti , es lineal. o V = {a V : Ti (a) = (Ti )a para toda i Ik },
def
1.2 Algunas nociones de Algebra Lineal
Dualidad y formas bilineales

Recordemos que si V es un espacio vectorial sobre el campo F, el espacio dual de V, usualmente denotado por V , es el espacio vectorial cuyos elementos son todos los funcionales lineales en V, es decir, V = { : V F : es lineal}. Una forma bilineal en V es una funcin B : V V F que es lineal en cada o componente, es decir, la funcin v B(v, w) es lineal para todo w V y la o funcin w B(v, w) es lineal para todo v V. Decimos que la forma B es o no-degenerada si el unico vector a V que satisface la ecuacin B(a, b) = 0 o para todo vector b V es el vector a = 0. Proposicin 1.7. Sea B : V V F una forma bilineal no-degenerada en o V y suponga que dim V < , entonces existe un isomorsmo de espacios vectoriales a tal que (b) = B(a , b) para todo b V. La demostracin se puede leer en [9] (p. 162). o Otra denicin importante que hay que recordar es la siguiente: una o forma bilineal B : V V R se dice ser positiva denida si B(v, v) 0 para todo v V y la unica posibilidad de que B(v, v) = 0 es que v = 0. A una forma bilineal simtrica tambin se le conoce con el nombre de e e producto interior. Cuando un espacio vectorial real V est acompaado de a n un producto interior B : V V R positivo denido, decimos que la pareja (V, B) es un espacio euclidiano y usualmente B es denotado por , o bien (, )(en ocaciones, la forma es llamada producto euclidiano). En este texto, utilizaremos indistintamente toda esta nomenclatura con la esperanza de que no haya confusin. o
Cap tulo 2 Sistemas de ra ces abstractas

En este cap tulo se presenta el concepto de sistema de ra ces de manera abstracta e independiente de la Teor de lgebras de Lie. Se recolectan varias a a propiedades tanto geomtricas como algebraicas de los sistemas de ra e ces y desarrollaremos herramientas que reducirn nuestro inters en sistemas de a e ra irreducibles, de lo que nos encargaremos en el prximo cap ces o tulo.
2.1
Nociones bsicas a
Antes de comenzar en forma el estudio de sistemas de ra ces, es pertinente recordar algunos hechos sobre reexiones en espacios euclidianos.
Reexiones en un espacio euclidiano

En todo este cap tulo, trabajaremos con un espacio euclidiano E y denotaremos por , al producto euclidiano de tal espacio. Recuerde que un hiperplano es un subespacio de codimensin 1. o Denicin 2.1. Una reexin en un espacio euclidiano E es un operador o o lineal R : E E E el cual tiene asociado un hiperplano P E, llamado hiperplano reectante, que satisfacen las siguientes propiedades: (Rf1) Para cada vector w P, tenemos R(w) = w; (Rf2) si v es un vector ortogonal a P, entonces R(v) = v. 7
Sistemas de ra abstractas ces
Es claro que si dos reexiones tienen asociado el mismo hiperplano, entonces son las mismas reexiones. Cada vector no nulo v determina un unico def hiperplano Pv = {w V : w, v = 0} y la reexin a la que se asocia tal o hiperplano ser denotada por Rv . La frmula expl a o cita para las reexiones es Rv (w) = w 2 w, v v, v, v (2.1)
pues la imagen de v bajo Rv es v y ja a todo vector w Pv . Es claro que un vector proporcional a v da origen a la misma reexin ya que si a es o cualquier escalar diferente de cero, tenemos que para todo vector w E Rav (w) = w 2 w, av w, v (av) = w 2 v = Rv (w). av, av v, v
a Como el nmero 2 w,v aparecer frecuentemente, lo abreviaremos por el u v,v s mbolo |w, v|. Note que |, | es lineal slo en la primera componente y si o 1 a = 0, entonces |v, aw| = a |v, w|. Es importante recordar en este momento algunas propiedades importantes de las reexiones. La matriz que representa una reexin es similar a la matriz diagonal o diag(1, 1, . . . , 1, 1), esto es claro ya que basta con tomar cualquier base del hiperplano reectante y acompletar tal base a una base del espacio agregando un vector ortogonal a tal hiperplano. Se sigue entonces que el determinante de una reexin es igual a 1. o Las reexiones son involuciones, es decir, R2 = id. v Las reexin preservan el producto interior del espacio E, es decir, para o v E y cualesquiera dos vectores u, w E, Rv (u), Rv (w) = u, w . Tambin es importante tener en cuenta que las reexiones son funciones e continuas, con respecto a la topolog inducida por el producto interior. a
2.1 Nociones bsicas a
Un operador T deja invariante a un subconjunto A del espacio E, si T(A) A. Un hecho util que caracteriza a las reexiones es el siguiente: Proposicin 2.1. Sea un conjunto nito que genera al espacio E y suponga o que todas las reexiones Rv , con v , dejan invariante a . Si S es un operador lineal invertible en E que cumple con las siguientes tres propiedades deja invariante a , ja a todos los puntos de un hiperplano P E, la imagen de un vector no nulo u bajo S es u, entonces S = Ru y P = Pu. Demostracin. Denamos T = SR1 , entonces tenemos T() = SR1 () = o u u S() = y T(u) = SR1 (u) = S(u) = u. Si Span{u} es el subespacio u generado por el vector u, existe un isomorsmo : E/ Span{u} P y denase T(v + Span{u}) = 1 T(v + Span{u}). En consecuencia, se tiene el siguiente diagrama conmutativo E/ u
T
/ E/
/P
Como T = id en P, concluimos que T = id, es decir, T acta como la identiu dad en el cociente. Es claro que T acta como la identidad en el subespacio u u y por tanto, todos los valores propios de T son iguales a 1 y el polinomio m nimo de T divide a p1 (x) = (x 1) , con = dim E. Por otro lado, como es nito, no todos los vectores w, T(w), T 2 (w), . . . pueden ser distintos, as que debe de existir un entero positivo k para el cual T k (w) = w. Se leccionemos k sucientemente grande para que T k je a todos los vectores en . Como genera a E, forzosamente tendremos que T k = id as que el k polinomio m nimo de T divide a p2 (x) = x 1. Combinado con lo anterior, se muestra que el polinomio m nimo es el mximo comn divisor de p1 y p2 , a u es decir, p(x) = x 1. Se concluye que T = id. El conjunto de todos los operadores lineales invertibles de un espacio vectorial E, denotado como GL(E), se llama grupo general lineal de E. Se puede vericar que, efectivamente, GL(E) tiene estructura de grupo.
10
Sistema de ra ces
Ahora se dar la denicin del objeto de estudio de este cap a o tulo. Denicin 2.2. Un subconjunto de un espacio euclidiano E es llamado o un sistema de ra ces en E si los siguientes axiomas se satisfacen: (R1) es nito, genera a E y no contiene al vector nulo. (R2) Si , los unicos mltiplos de en son . u (R3) Si , la reexin R deja invariante a . o (R4) Si , , entonces |, | Z. A los elementos de se les llaman ra ces. Es claro que (R2) y (R3) implican que = . El axioma (R1) no es tan severo, pues si es un conjunto nito que no contiene al cero y satisface (R2), (R3) y (R4), entonces es un sistema de ra en el subespacio que genera. ces Sea un subconjunto de E que satisface (R1), (R3) y (R4); suponga que tal que k con k R, entonces el hecho de que los nmeros u 2 |, k| y |k, | son enteros implica que k , k Z y esto sucede si y slo si o 2 1 o u k { 2 , 1, 2}. La informacin que nos proporcionan los mltiplos extras, se puede obtener de . As al incluir como axioma (R2), estamos , economizando el estudio. En algunos textos (ver [7], p. 103) se abordan los sistemas de ra ces excluyendo (R2) y a lo que nosotros presentamos con el nombre de sistema de ra se nombra como sistema reducido de ra ces ces. El axioma (R3), sugiere una accin del grupo generado por las reexiones o cuyos hiperplanos reectantes son los hiperplanos ortogonales a una ra z. Este grupo juega un papel importante en el estudio de sistemas de ra ces y tiene propiedades especiales cuando el sistema de ra sea irreducible. ces El axioma (R4) tiene consecuencias geomtricas muy fuertes, pues el e ngulo que pueden formar una pareja arbitraria de ra a ces es bastante limitado, de hecho, existen pocos ngulos diferentes (mod 2) como se muestra a en la Tabla 2.1.
11
Ahora, veremos algnos ejemplos que nos sern de utilidad. Primero, u a def denimos el rango de un sistema de ra en E como rank = dim E. ces Ejemplo 2.1.1. Sea E = R y tomemos un nmero = 0, entonces = u {, } es evidentemente un sistema de ra ces. A tal sistema se le denota como A1 y grcamente se ver como indica la gura siguiente: a a Figura 2.1: Sistema de ra de rango 1. ces El rango 2 ofrece ms posibilidades, cuatro de las cuales son presentados a en los siguientes ejemplos: Ejemplo 2.1.2. En R2 , considere = { = (0, 1), = (1, 0), , }, lo que se representa en la siguiente gura:
Figura 2.2: Sistema de rango 2 con 4 ra ces. Los axiomas (R1) y (R2) son evidentes. El axioma (R3) se puede vericar directamente de la gura 2.2, pues las reexiones R : y R :
dejan invariante a . Un clculo breve muestra que los productos |, | toman a los valores 2 o cero, con lo que se satisface (R4). A ste sistema lo denoe taremos como A1 A1 .
12

3 2
Ejemplo 2.1.3. Ahora, tomemos = (1, 0) y = 1 , 2 conjunto = {, , ( + )}.
para formar el
Figura 2.3: Sistema de rango 2 con 6 ra ces. Nuevamente, los axiomas (R1) y (R2) son claros. Con la ayuda de la gura 2.3, podemos vericar fcilmente que (R3) se cumple para . Como a todos los vectores de tienen norma 1, |, | es lineal en las dos componentes y as es fcil ver que los valores |, | son 1 o 2. A ste sistema de ra , a e ces lo denotaremos por A2 . Ejemplo 2.1.4. Tomemos = (1, 0) y = (1, 1). Denimos = {, , R (), R ()} , y por la frmula (2.1), es fcil vericar que o a R () = + = (0, 1) R () = + 2 = (1, 1).
Es evidente que satisface los axiomas (R1) y (R2). Con ayuda de la gura siguiente
Figura 2.4: Sistema de rango 2 con 8 ra ces. podemos vericar el axioma (R3) mientras que el axioma (R4) necesita un pequeo clculo elemental para vericar que los productos |, | toman los n a valores 1, 2 o cero. A ste sistema de ra lo denotaremos como B2 . e ces
13
Ejemplo 2.1.5. Sean = (1, 0) y = 3 , 23 , ahora recolectemos los 2 siguientes vectores: 1 3 3 3 , , R () = + = , , R () = + 3 = 2 2 2 2 1 3 , R R () = 2 + 3 = 0, 3 , R R () = + 2 = 2 2 y sus negativos para formar el conjunto = {, , ( + ), (2 + ), (3 + ), (3 + 2)} , que grcamente, se ve como indica la siguiente gura: a
Figura 2.5: Sistema de rango 2 con 12 ra ces. Nuevamente, los axiomas (R1) y (R2) son claros, mientras que la gura nos ayuda a vericar manualmente el axioma (R3). Los productos |, | pueden tomar los valores 1, 3 o cero. Este sistema de raices se denota como G2 . Ms adelante veremos que la eleccin que hacemos para las ra y a o ces es altamente conveniente. Ntese que la cantidad de ra en cada ejemplo o ces es diferente; cuando vinculemos los sistemsa de ra con las algebras de Lie ces presentaremos una frmula que relaciona el rango de un sistema de ra y o ces la cardinalidad de este con la dimensin de un lgebra de Lie semisimple. o a Tambin, podemos ver que cada sistema de ra e ces se puede ver como copias de A1 colocadas de una determinada manera, es decir, satisfaciendo ciertas relaciones dependientes de los lgunlos y las longitudes relativas de a las ra ces.
14
Isomorsmos
Ahora, presentaremos una relacin de equivalencia entre sistemas de ra o ces que es bien conocida en toda estructura algebraica. En cierto sentido, esta relacin nos permite discernir cuando dos sistemas de ra o ces son escencialmente el mismo y claro esta que nos interesaremos en estudiar sistemas de ra salvo isomorsmos. ces Comenzaremos presentando un resultado que nos dice cmo acta un o u determinado subgrupo de operadores lineales de E que dejan invariante a sobre las reexiones correspondientes a ra en . ces Proposicin 2.2. Sea un sistema de ra o ces en E. Si S GL(E) deja invariante a , entonces SR S1 = RS() para todo y adems |, | = a |S(), S()| para todo , . Demostracin. Para cada y toda tenemos que R () , as o 1 que (SR S ) (S()) = SR () , pero por linealidad se observa que SR S1 (S()) = S( |, |) = S() |, |S(). (2.2) Como S es biyectiva, concluimos que SR S1 deja invariante a , mientras ja a todo punto del hiperplano S(P ) y manda a S() en S(). Por la Proposicin 2.1, tenemos que SR S1 = RS() . Finalmente, es claro que o RS() (S()) = S() |S(), S()|S(), y comparando (2.2) con (2.3), se tiene la segunda aseveracin. o Ahora, veremos en que sentido depende un sistema de ra con respecto ces del producto interior del espacio. Proposicin 2.3. Sean E un espacio vectorial real de dimensin nita y o o (, )1 , (, )2 dos productos euclidianos en E. Suponga que es un sistema de ra ces en (E, (, )1 ) y : (E, (, )1 ) (E, (, )2 ) es una transformacin lineal o invertible. Una condicin necesaria y suciente para que () sea un sistema o de ra en (E, (, )2 ) es ces |, |1 = |(), ()|2 para toda pareja de ra y en . ces (2.3)
15
Demostracin. Para la necesidad, supongamos que () es un sistema de o ra en (E, (, )2 ), entonces cada R() deja invariante a (), es decir, ces R() (()) = () |(), ()|2 () (), para cualquier eleccin de y en . Ahora, cada ra en se puede escribir o z como R (), para algunos , y as , (R ()) = () |, |1 () (). Como es biyectiva, se sigue que 1 R() () para todo par de ra ces y . Adems, 1 R() deja invariante a , manda a en su a negativo y deja jos a todos los puntos en el hiperplano 1 P() . Por la Proposicin 2.1, tenemos que 1 R() = R para toda y se inere o la igualdad |, |1 = |(), ()|2 . (2.4)
Para la suciencia, si satisface la condicin (2.4), entonces () cumple o (R4); por ser lineal y biyectiva, () cumple (R1) y (R2); y por ultimo, si () es una ra en () y tomamos cualquier () (), tenemos que z R() (()) = = = = () |(), ()|2 () () |, |1 () ( |, |1 ) (R ()) (),
con lo que () cumple con (R3) y es un sistema de ra en (E, (, )2 ). ces Una conclusin importante de sta discucin es la siguiente. o e o Teorema 2.4. Sean (E1 , (, )1 ) y (E2 , (, )2 ) dos espacios euclidianos de dimensin nita sobre un campo F. Si dim E1 = dim E2 , entonces existe una o correspondencia uno-a-uno entre los sistemas de ra ces de E1 y los sistemas de ra de E2 . ces Demostracin. Si {e1 , . . . , en } es una base ortonormal de E1 y {f 1 , . . . , f n } o es una base ortonormal de E2 , denimos T : xi ei xi f i . Es fcil a ver que T es un isomorsmo que preserva los productos interiores. Por la Proposicin 2.3, a cada sistema de ra en E1 , le hacemos corresponder o ces T() en E2 .
16
Esto nos lleva a la denicin de isomorsmo de dos sistemas de ra o ces y en los espacios E y E , respectivamente: Denicin 2.3. Diremos que (, E) y ( , E ) son isomorfos, que denotao mos por el s mbolo , si existe un isomorsmo de espacios vectoriales = : E E que mande a sobre tal que |(), ()| = |, | para cada par de ra , . ces Ejemplo 2.1.6. Cualquier sistema de ra ces en R es isomorfo a A1 , ya que por (R2) tiene dos ra y . El isomorsmo es . ces Sea E un espacio euclidiano de dimensin . En la familia de sistemas de o ra en E podemos denir la siguiente relacin: ces o Diremos que est relacionado con , que denotamos , si los a sistemas y son isomorfos. El siguiente resultado establece que esta es, de hecho, una relacin de o equivalencia. La demostracin es inmediata de las deniciones y por tal o motivo, no se presentar. a Proposicin 2.5. La relacin de isomorsmo es una relacin de equivalencia o o o en la familia de sistemas de ra ces. Como una concecuencia inmediata, se tiene que si dos sistemas de ra ces son isomorfos, entonces tienen el mismo nmero de ra y los espacios que u ces generan tienen la misma dimensin. o
Propiedades geomtricas y cadenas de ra e ces

En esta subseccin, discutiremos un poco de cuestiones geomtricas de los o e sistemas de ra ces y un resultado muy importante que obtendremos es la Tabla 2.1, donde se presentan los ngulos permisibles entre cualesquiera dos a ra no proporcionales, as como los posibles valores de los nmeros |, |. ces u Tambin, presentamos un el concepto de cadenas de ra e ces y mostraremos una manera alternativa de intoducir los sistemas de ra ces en trminos de e estos objetos.
17
El axioma (R4) limita severamente los posibles ngulos que hay entre una a pareja de ra ces. Recordando que el coseno del ngulo entre los vectores a no nulos y en E est dado por la frmula a o podemos ver que |, | = 2 (, ) =2 cos (, ) cos = (, ),
y as |, ||, | = 4 cos2 . Sabemos que 0 cos2 1 y es claro que |, | , tiene el mismo signo que |, |, por lo que tenemos o 0 si y slo si = 2 1 si y slo si , 2 , 4 , 5 o 3 3 3 3 2 si y slo si , 3 , 5 , 7 o |, ||, | = 4 4 4 4 3 si y slo si , 5 , 7 , 11 o 6 6 6 6 4 si y slo si {0, } o
Concluimos que las siguientes posibilidades son las unicas cuando no es proporcional a y : Tabla 2.1: Los valores de |, |, los ngulos y las longitudes relativas. a 2 |, | |, | 2 0 1 1 1 1 1 1 0 1 1 2 2 3 3
2 3 2 3 4 3 4 6 5 6
1 1 2 2 3 3
A continuacin, veremos un resultado que nos ser de utilidad mas adelante. o a Proposicin 2.6. Sean y dos ra o ces no proporcionales. Si (, ) > 0, entonces es ra Si (, ) < 0, entonces + es ra z. z. Demostracin. La segunda aseveracin se sigue de la primera reemplazando o o por .
18
Ahora, como (, ) es positivo si y slo si |, | lo es, la Tabla 2.1 muestra o que uno de los dos nmeros, |, | o |, |, es igual a 1. Si |, | = 1, entonces u R () = |, | = por (R3); similarmente, si |, | = 1, tenemos que R () = y por tanto, R ( ) = . Considere un par de ra no proporcionales y . Observe a todas las ces ra ces de la forma + k con k Z, llamada la -cadena a travs de o e bien -cadena por . Sean r y q los enteros positivos ms grandes para los a cuales r y + q son ra ces. Como una aplicacin de la Proposicin o o 2.6 tenemos el siguiente: Corolario 2.7. La -cadena a travs de es irrompible desde r hasta e + q, es decir, + i para todo entero r i q. Demostracin. Si alguno de los + i no es ra podemos encontrar enteros o z, r p < s q tales que + p , + (p + 1) , / + (s 1) y + s . /
Si (, + s) > 0, por la Proposicin 2.6 tendr o amos que + (s 1) , lo que es absurdo. Similarmente, 0 (, + p). Se concluye que s(, ) p(, ), pero esto es absurdo pues p < s y = 0. Ahora, veamos cmo actuan las reexiones en las cadenas. Si , R o slo suma o resta un mltiplo de a cualquier ra As estas cadenas son o u z. , invariantes bajo R . Geomtricamente, es claro que el nmero de ra e u ces de la -cadena que quedan de un lado del hiperplano P es el mismo que el nmero de ra u ces que quedan del otro, es decir, R invierte el sentido de la cadena; en particular, R ( + q) = r. Por otro lado, tenemos R ( + q) = R () + qR () = |, | q, as que r q = |, |. De esta discucin se sigue el siguiente resultado. o Proposicin 2.8. Las cadenas de ra son de longitud a lo ms 4. o ces a
19
A continuacin, se presenta una gura donde se encuentra una cadena en o G2 . Como se puede ver, esta cadena esta saturada. + + 2 + 3
Figura 2.6: La -cadena que pasa por en G2 . Una presentacin alternativa de los sistemas de ra o ces es a travs de las e cadenas. A continuacin, veremos cmo podemos reemplazar los axiomas o o (R3) y (R4) en terminos de las propiedades que hemos desarrollado para las cadenas de ra ces. Teorema 2.9. Sea un conjunto nito de generadores del espacio euclidiano E que satisface (R2). Una condicin necesaria y suciente para que sea o un sistema de ra en E es la siguiente ces (C) Para dos vectores y en que sean linealmente independientes, existen dos enteros no negativos r y q, maximales tales que + k para todo entero r k q y tambin satisfacen |, | = r q. e Demostracin. La necesidad es clara en este momento por el Corolario 2.7 o y la discusin previa a la Proposicin 2.8. Para la suiciencia, como es o o un conjunto de generadores, (R1) se satisface. Por (C), los productos |, | son r q o bien 2, que son enteros y se tiene as (R4); ademas que r (r q) q as que R () = (r q) por lo que (R3) se cumple. Gracias a este resultado, ahora tenemos una manera equivalente de vericar si un determinado subconjunto de un espacio euclidiano es un sistema de ra ces. Cuando estudiemos lgebras de Lie semisimples y sus ra a ces, haremos uso de este Teorema para demostrar que el conjunto de ra de un lgebra ces a de Lie semisimple es un sistema de ra como se estudia en ste cap ces e tulo.
20
Sistema de ra ces de rango 2

El propsito de esta subseccin es presentar la clasicacin completa de los o o o sistemas de ra ces de rango 2. Los argumentos que presentaremos ilustran el manejo de los axiomas de sistemas de ra ces y el uso de la Tabla 2.1. Procederemos por casos: (i) Sean y dos ra ces ortogonales en . Por (R2), sabemos que {, } y si no hay mas elementos en , es claro que es un sistema de ra isomorfo a A1 A1 . ces (ii) Sea una ra y supongamos que es otra ra que forma un ngulo z z a de 5 con . Por el axioma (R3), tenemos que R (), R () . 6 Luego, R R () y R R () tambin deben de ser ra e ces. Agregando los negativos de stos vectores, tenemos un subconjunto de que es e isomorfo a G2 . R R () R R () R ()
R ()
Si existiera un vector ms en , digamos , tendr a amos que es un mltiplo no vlido de alguna otra ra o bien, que el ngulo que forma u a z a con no se encuentra en la Tabla 2.1, lo que es absurdo en cualquiera de los dos casos. (iii) Ahora, tomemos dos ra y que formen un ngulo de 3 . Nuevaces a 4 mente, por (R3), tenemos que R () y R () son ra ces y el subconjunto de conformado por stos vectores y sus negativos es un sistema e de ra isomorfo a B2 . ces
2.1 Nociones bsicas a R () R ()
21
De nueva cuenta, por la restriccin en los ngulos y (R2), no hay ningn o a u otro vector en . (iv) Finalmente, si tenemos dos ra y a un ngulo de 2 , entonces el ces a 3 subconjunto de que consta de los vectores , y R () es un sistema de ra isomorfo a A2 . ces R ()
amos Si existiera un vector que forme un ngulo de con , tendr a 6 que R () forma un ngulo de 5 con y as (R (), ) < 0. Por la a 6 Proposicin 2.6, R () + es una ra y es ortogonal a . Todo esto o z nos genera un sistema de ra isomorfo a G2 . ces Es claro, por la Tabla 2.1, que no podemos tener un vector que tenga un ngulo de o de 3 con . a 4 4 Esta es la clasicacin completa de sistemas de ra o ces de rango 2. Ntese o que el sistema A1 A1 puede ser descompuesto como la unin de dos subsiso temas mutuamente ortogonales, mientras que A2 , B2 y G2 no gozan de dicha propiedad. Analizando el sistema G2 , podemos ver que slo existen dos longitudes o diferentes de ra ces y mas adelante, veremos que tan comn es este hecho u en sistemas de ra irreducibles. Adems, podemos ver a A2 como el subces a sistema de G2 que consta de todas las ra ces de longitud corta; tambin e podemos encontrar tres copias isomorfas de A1 A1 en G2 y dos ms en B2 . a Es decir, los sistemas G2 y B2 contienen a todos los sistemas de rango 2 como subsistemas.
22
2.2
Bases y Ra ces simples
En esta seccin, concentraremos nuestra atencin a un subconjunto del siso o tema de ra que nos describa de manera adecuada el comportamiento del ces resto de las ra ces. Tambin presentaremos algunas propiedades de las ra e ces simples que nos cern de utilidad posteriormente. a
Bases
Uno de los conceptos importantes del Algebra Lineal es el de base de un espacio vectorial. Entre otras aplicaciones, las bases facilitan muchos de los resultados del lgebra lineal en el estudio de un nmero nito de vectores a u que representan de manera adecuada la estructura lineal del espacio. En el caso de las bases para los sistemas de ra ces, ser necesario establecer a una condicin que nos ayude a estudiar la estructura de los sistemas de ra o ces, en particular, la integridad de los nmeros |, |. u Denicin 2.4. Sea E un espacio euclidiano de dimensin y un sistema o o de ra en E. Un subconjunto de se llama una base de si satisface ces las siguientes dos condiciones: (B1) es una base de E, (B2) cada ra puede ser escrita como z =
(2.5)
con coecientes enteros k , todos no negativos o bien, todos no positivos. Es un hecho elemental del lgebra lineal que el nmero de elementos de a u una base , que denotaremos por ||, es . Adems, si jamos una base a de , se tiene que la expresin (2.5) es unica para cada ra , salvo el o z orden en que aparecen los sumandos. En lo que resta de esta seccin, trabajaremos en un espacio euclidiano E o de dimensin y ser un sistema de ra en E. o a ces
2.2 Bases y Ra simples ces
23
Ejemplo 2.2.1. En R2 , considere el sistema de ra ces A2 . Tomemos = 1 (1, 0) y = 2 , 23 para formar el subconjunto {, } A2 . De la siguiente gura se observa que {, } es una base para A2 . +
Figura 2.7: Una base para A2 . Ahora, el conjunto {, } satisface claramente (B1), sin embaro, no pede ser una base de A2 ya que se tiene la ra () que no satisface la u z condicin (B2). Este hecho muestra la independencia de los axiomas (B1) y o (B2). A continuacin, deniremos una funcin que a cada ra de le asigo o z nar un nmero entero que nos ayudar para la demostracin de resultados a u a o posteriores. Denicin 2.5. Sea un sistema de ra o ces en E y una base de . Se dene la altura de una ra = k con respecto a la base como z alt() =
k .
Por el axioma (B2), la altura de cualquier ra es un nmero entero y z u alt() = 1 si y slo si . Ntese que la altura de una ra siempre es o o z diferente de cero. Ejemplo 2.2.2. Considere el sistema de ra G2 y sea ces = = (1, 0), = 3 3 , 2 2 .
Se puede vericar sin complicaciones que es una base para G2 . Si = (0, 3) G2 , entonces = 3 + 2 y se tiene alt() = 5.
24
Denicin 2.6. Sea un sistema de ra o ces en E y una base de . Si es una ra para la cual todos los coeciontes k en la expresin (2.5) son z o no negativos, diremos que es una ra positiva con respecto a y lo z denotaremos por el s mbolo 0. Anlogamente, si es una ra para la a z cual los coecientes k de la expresin (2.5) son todos no positivos, diremos o que es un ra negativa con respecto a y se denota por 0. z Al conjunto de ra positivas con respecto a lo denotaremos por + ces y al conjunto de ra negativas con respecto a por . ces Ejemplo 2.2.3. Considere el ejemplo 2.2.1. Claramente, + = {, , +}. Claramente se tiene = + , as que slo bastar con estudiar las o a ra positivas de un sistema de ra ces ces. Otro hecho evidente es que si y son ra ces positivas con respecto a y adems + es una ra entonces a z, + tambin ser una ra positiva con respecto a . e a z Hasta ste momento, no es evidente que todo sistema de ra posee una e ces base, pero en lo que sigue, mostraremos que en efecto, las bases para un sistema de ra existen. Para sto, necesitamos algunas deniciones. ces e Denicin 2.7. Sea un sistema de ra o ces en E. Para cada vector v E, se dene el conjunto + (v) = { : (v, ) > 0} . Verbalmente, el conjunto + (v) es el conjunto de todas las ra ces que estn en la parte positiva del hiperplano Pv . a Ejemplo 2.2.4. Considere el sistema de ra A1 A1 con la siguiente base ces {(1, 0), (0, 1)}. Si v = (1, 1), entonces el conjunto + (v) es el conjunto {(1, 0), (0, 1)}. Es claro que la unin nita de hiperplanos no cubre a todo el espacio E, o as que tiene sentido hacer la siguiente denicin. o Denicin 2.8. Sea un sistema de ra en E. Diremos que un vector v o ces de E es regular con respecto a si v no est en ningn hiperplano ortogonal a u a alguna ra en , es decir, v E P ; diremos que es singular con z respecto a en otro caso.
def
2.2 Bases y Ra simples ces Ejemplo 2.2.5. Considere el sistema de ra A2 con base ces 1 3 = (1, 0), = , . 2 2
25
Recuerde que P = P para cualquer vector E. En la siguiente gura, las lineal punteadas denotan los conjuntos de vectores singulares de A2 y cualquier otro vector es regular. P+
P P Figura 2.8: Vectores regulares y singulares de A2 . En este caso, todas las ra ces son vectores regulares con respecto a A2 . Si consideramos el sistema A1 A1 con la base { = (1, 0), = (0, 1)}, el conjunto de vectores singulares es Span{}Span{} y aqu todas las ra , ces son singulares.
Figura 2.9: Vectores singulares y regulares de A1 A1 . Cuando v es regular con respecto a , es claro que se puede escribir como + (v) [+ (v)], ya que v no es ortogonal a ninguna ra es decir, z, (v, ) = 0 para toda .
26
Denicin 2.9. Sea un sistema de ra en E y v un vector regular con o ces + respecto a . Diremos que (v) es una ra descomponible si se z + puede escribir como suma de dos ra en (v), es decir, si existen , ces + (v) tales que = + ; diremos que es una ra indescomponible en z otro caso. Como + (v) es un conjunto nito, no todas sus ra ces pueden ser descomponibles y as siempre existen ra , ces indescomponibles en un sistema de ra ces. Al conjunto de todas las ra ces indescomponibles en + (v) lo denotaremos por (v). Ejemplo 2.2.6. Considere el sistema de ra ces G2 y sea v = (1, 1). Claramente, v es un vector regular con respecto a G2 . Las ra indescomponibles ces 3 3 + en (v) son = (1, 0) y = 2 , 2 y se tiene + (v) = {, , 1 , 2 , 3 , 4 }, como se muestra en la siguiente gura
4 1 2 v 3
Figura 2.10: Ra descomponibles e indescomponibles en G2 . ces El conjunto de ra ces descomponibles en ste caso consta de los vectores e 1 = + , 2 = + 1 , 3 = + 2 y 4 = + 3 . Ahora, presentamos un criterio que usaremos para saber si un subconjunto de ra de es una base para . ces
27
Proposicin 2.10. Si es una base de , entonces (, ) 0 para cualeso quiera dos ra diferentes y en y adems, no es ra ces a z. Demostracin. Supongamos que (, ) > 0. Como = , es evidente que o = y la Proposicin 2.6 implica que es ra lo que es absurdo por o z, el axioma (B2). Con estos conceptos, probaremos el siguiente resultado. Teorema 2.11. Todo sistema de ra ces en un espacio euclidiano E tiene una base. La prueba nos dar un mtodo para construir todas las posibles bases de a e y el algoritmo se encuentra en el siguiente Lema. Lema 2.12. Sea v un vector regular, entonces el conjunto (v) de todas las ra indescomponibles en + (v) es una base para y toda base se obtienen ces de este modo. Demostracin. Procederemos por pasos: o (1) Cada ra en + (v) es una combinacin Z-lineal de elementos en (v) z o con coecientes no negativos. Si suponemos lo contrario, algn + (v) no puede ser escrita u como una combinacin lineal con coecientes enteros de ra o ces indescomponibles; escojamos tal que (v, ) sea lo ms pequea posible. a n Obviamente, (v), as que = + con , + (v) y por / tanto, (v, ) = (v, ) + (v, ). Pero (v, ) y (v, ) son ambos positivos y menores que (v, ) lo que es absurdo. (2) Si , (v), entonces (, ) 0, a menos que = . Tomemos = y supongamos que (, ) > 0, por la Proposicin 2.6, o y como = , se concluye que , o bien , debe ser una ra en + (v). Si + (v), entonces = + ( ) z lo que hace a descomponible. Anlogamente, si + (v), a tendremos que es descomponible. De cualquier modo, llegamos a una contradiccin con la eleccin de y . o o
28 (3) (v) es linealmente independiente.
Supongamos que (v) r = 0; separemos los ndices para los que r 0 (denotmoslos s ) y los que r < 0 (denotmoslos t ). De esta e e manera tendremos s t = 0, es decir, s = t . Sea w = s , entonces 0 (w, w) = s ,

=
,
s t (, ) 0,
donde la ultima desigualdad se tiene por el paso (2) y s , t 0. Podemos inferir ahora que w = 0 y 0 = (v, w) = s (v, ), lo que implica que s = 0. Similarmente, tenemos que t = 0 y as todos los , r son cero. (4) (v) es una base para . El paso (1) nos dice que (v) genera a + (v) y como v es regular, tenemos que = + (v) [+ (v)]. As (v) satisface la condicin , o (B2). Se sigue que (v) genera a todo E, pues lo hace, y por el paso (3) tenemos que (v) satisface la condicin (B1). o (5) Cada base de es de la forma (v) para algn v V regular. u Dada una base , escojamos v E tal que (v, ) > 0 para todo simple, lo que siempre es posible (tomese la suma de todos los elementos de la base). Si escribimos = b , donde b son todos no negativos o todos no positivos pero no todos son cero, lo que impide que se anule el nmero u (v, ) =
b (v, ).
As para todo el vector v no est en P , y se concluye que v es , a + regular. Ahora, si , entonces = b con b 0 y por la forma en que elegimos v, se tiene que (v, ) =
b (v, ) 0,
29
de lo cual inferimos la contecin + + (v) y tambin = + o e + (v). Por la eleccin de v, se sigue la igualdad. Como + = o + (v), debe de consistir unicamente de elementos indescomponibles, en otras palabras, tenemos que (v). Pero || = |(v)|, pues ambos conjuntos son bases de E, y se tiene entonces que = (v).
El siguiente resultado ser` de utilidad en la siguiente subseccin. a o Corolario 2.13. Un subconjunto nito {v 1 , v 2 , . . . , v k } de un espacio euclidiano E que satisface (v i , v j ) 0 para todo i = j es un subconjunto linealmente independiente. Demostracin. Este resultado es lo que se muestra en el paso (3) de la deo mostracin del Lema 2.12. o Ejemplo 2.2.7. Consideremos el sistema de ra B2 y sea v = (1, 2). ces v w
Figura 2.11: La base (v) = {, } para B2 . Claramente, v es un vector regular con respecto a B2 y las ra ces en + (v) son (1, 0), (1, 1), (0, 1) y (1, 1). Si = (1, 0) y = (1, 1), podemos vericar mediante un clculo rutinario las relaciones a (0, 1) = + , (1, 1) = (0, 1) + ,
por lo que (v) = {, }. Ahora, si w = 1 , 1 es claro que tambin es e 2 un vector regular para B2 y el conjunto + (w) = {(1, 0), (1, 1), (0, 1), (1, 1)}. As la base que se obtiene es (w) = {, }. ,
30
Propiedades de las ra ces simples

En esta subseccin estudiaremos un poco sobre el comportamiento de las o ra ces que forman una base de un sistema de ra ces. Primero que nada, daremos la siguiente denicin. o Denicin 2.10. Sea una base de . Diremos que es una ra simple o z de con respecto a si . En esta seccin, dejaremos ja una base de un sistema de ra o ces y al decir ra simple signicar ra simple con respecto a esta base. Comenz a z zaremos con dos resultados algebraicos que usaremos ms adelante. a Proposicin 2.14. Si es una ra positiva pero no es simple, entonces o z es una ra necesariamente positiva, para alguna ra simple . z, z Demostracin. Si (, ) 0 para todo , podemos aplicar el Corolario o 2.13 al conjunto {} y concluir que es un conjunto linealmente independiente, lo que es absurdo ya que es una base de E. As existe tal , que (, ) > 0; como y , es claro que = y si = / tendr amos que (, ) < 0. Por tanto, y no son proporcionales y aplicamos la Proposicin 2.6 para obtener . o Escribamos = k , donde k 0 y algn k > 0 con = , lo u que es posible pues = . Restando a tenemos una combinacin Zo lineal de ra simples con al menos un coeciente positivo, a saber, k . Esto ces forza a que todos los coecientes de la representacin de en terminos o de ra simples sean no negativos. ces Ejemplo 2.2.8. En el sistema A2 con la base = = (1, 0), =
1 3 , 2 2
se tiene la ra positiva = 1 , 23 . Es evidente que puede escribirse z 2 como + de donde se concluye que no es simple ya que alt() = 2 = 1. En este caso, tanto el vector = como = son ra positivas ces con respecto a .
31
Corolario 2.15. Cada ra positiva puede ser escrita en la forma k i , z i=1 con i no necesariamente distintos, de tal manera que cada suma parcial s z, i=1 i es una ra con 1 s k. Demostracin. Procederemos por induccin sobre alt(). Cuando alt() = o o 1, se tiene que es simple y se sigue la conclusin del corolario. Supongamos o que toda ra positiva de altura menor que k cumple la conclusin del coroz o + lario y tomemos una ra de altura k > 1. Claramente no es simple. z Por la Proposicin 2.14, existe tal que + y evidentemente o alt( ) = k 1. Por hiptesis inductiva, tenemos que o
k1
i ,
i=1
donde cada ra i es simple y cada suma parcial es ra Si hacemos k = , z z. se tiene el resultado. Ahora, veremos algunos resultados geomtricos relacionados con las ree exiones determinadas por los hiperplanos ortogonales a las ra simples. ces Proposicin 2.16. Sea una ra simple y R la reexin determinada o z o por el hiperplano ortogonal a , entonces R permuta las ra ces positivas diferentes de . Demostracin. Sea una ra positiva diferente de y escribamos o z =
k ,
con k enteros no negativos. Es claro que no es proporcional a , pues , as k = 0 para algn = . Ntese que el coeciente de en , u o R () sigue siendo k > 0 y forzosamente se tiene R () + . Ms an, a u R () = pues la imagen de bajo R es . Corolario 2.17. Si =
1 2 0
, entonces R () = para toda .
Demostracin. Por linealidad de las reexiones, o R () = 1 2 R ().

0
32
Supongamos que hay s ra ces positivas, es decir, + = {1 , . . . , s1 , }. Por la Proposicin 2.16, sabemos que para i {1, 2, . . . , s 1} existe un j o en el mismo conjunto de ndices tal que R (i ) = j ; adems, es claro que a R () = . As obtenemos , R () = = = 1 2 1 2 1 2
s1 i=1 s1
i i + 2
i=1
= . Note tambin que esto implica la igualdad |, | = 1 para toda . e Proposicin 2.18. Sean 1 , . . . , t , no necesariamente distintas, y o escribamos Ri = Ri . Si R1 R2 Rt1 (t ) es negativa, entonces R1 R2 Rt = R1 Rs1 Rs+1 Rt1 , Demostracin. Escribamos i = Ri+1 Rt1 (t ), para 0 i t 2 o y t1 = t . Como 0 es negativo y t1 es positivo, podemos encontrar el ndice s ms pequeo para el cual s 0, entonces Rs (s ) = s1 0 y por a n la Proposicin 2.16, s = s . Tenemos que Rs = RRs+1 Rt1 (t ) y por la o Proposicin 2.2, o Rs = (Rs+1 Rt1 ) Rt (Rt1 Rs+1 ). Ahora, vemos que R1 Rs1Rs Rs+1 Rt1 Rt = R1 Rs1 [(Rs+1 Rt1 ) Rt (Rt1 Rs+1 )] Rs+1 Rt1 Rt ; para algn u ndice 1 s < t.
como R2 = id, se tiene el resultado. i
Corolario 2.19. Si S = R1 R2 Rt es una expresin en trminos de o e reexiones correspondientes a ra simples para S, con t tan pequeo como ces n sea posible, entonces S(t ) 0.
2.3 Cmaras de Weyl y el grupo de Weyl a
33
2.3
Cmaras de Weyl y el grupo de Weyl a
En esta seccin, presentamos dos conceptos que nos auxiliarn en el estudio o a de los sistemas de ra ces. Los conceptos presentados aqu lleban el nombre de uno de los matemticos que mas contribuyeron a la simplicacin del trabajo a o de Killing y Cartan.
Cmaras de Weyl a
En esta subseccin, estudiaremos algunos subconjuntos que se relacionan o naturalmente con los conceptos de vectores regulares e hiperplanos ortogonales a las ra de un sistema de ra ces ces. Primero, recordaremos un poco de Topolog a. El espacio euclidiano E posee una estructura topolgica inducida por el o producto interior. La topolog de E es la confomada por los conjuntos que a pueden ser escritos como uniones de conjuntos de la forma {w E : v w, v w
1/2
< r},
para algun vector v E y un nmero positivo r. A cada subconjunto de E, u se le puede dotar de la topolog relativa, es decir, si A es un subconjunto a de E, entonces los abiertos de A sern abiertos de E intersectados con A. a Tambin, es importante dar la siguiente denicin. e o Denicin 2.11. Un subconjunto A de el espacio euclidiano E es llamado o un conjunto conexo si es imposible expresarlo como la unin disjunta de dos o subconjuntos abiertos y no vac de E. os Los hiperplanos P , con , parten al espacio en un nmero nito de u regiones, las cuales estudiaremos a continuacin. o Denicin 2.12. Sea un sistema de ra en E. Una cmara de Weyl o ces a (abierta) de es un subconjunto abierto y conexo maximal del espacio E P se concidera con la topolog relativa de E. a P , donde E
Si un vector v E pertenece a una cmara de Weyl de , denotaremos a a tal cmara de Weyl por el s a mbolo C(v).
34
Ntese que la union disjunta de las cmaras de Weyl y los hiperplanos o a ortogonales a las ra ces cubren a todo el espacio E. Adems, los vectores a en las cmaras de Weyl son regulares y cada vector regular est en alguna a a camara de Weyl. Ejemplo 2.3.1. Considere el sistema de ra ces A2 . En la siguiente gura, se muestran las regiones de R2 que conforman las cmaras de Weyl de A2 y a observan dos vectores regulares, v y w, en sus correspondientes cmaras de a Weyl C(v) y C(w), respectivamente.
'
Q QQ 0 t QQ Q t QQ QQ Q Q t QQQ Q t Q QQ Q t t f t ft xt f vt w t ) t
C(w)
C(v)
Figura 2.12: Cmaras de Weyl en A2 . a El siguiente resultado, nos muestra la relacin tan estrecha que hay entre o las cmaras de Weyl de un sistema de ra y las bases de tal sistema. a ces Teorema 2.20. Existe una correspondencia uno-a-uno entre las cmaras de a Weyl de un sistema de ra y sus bases. ces Demostracin. Si C(v) = C(w), entonces v y w estn del mismo lado de o a cada hiperplano P para cada . Esto implica que los nmeros v, y u w, tienen el mismo signo para toda ra , es decir, + (v) = + (w). z Ahora es claro que (v) = (w).
35
Por el algoritmo presentado en el Lema 2.12, sabemos que cada vector regular v con respecto a determina una base (v) del sistema de ra . ces Ahora, daremos la denicin de una cmara de Weyl importante que tendr o a a asociada una base del sistema de ra ces. Denicin 2.13. Sean un sistema de ra o ces en E, v un vector regular para y (v) la base de que se construye en el Lema 2.12. La cmara a fundamental de Weyl para con respecto a (v) es la cmara C(v) y se a denotar por el s a mbolo C(). Podemos describir C() como el conjunto convexo abierto que consiste de todos los vectores w E que satisfacen (w, ) > 0 para todo . Ejemplo 2.3.2. Consideremos el sistema de ra B2 con la base ((1, 2)) = ces { = (1, 0), = (1, 1)} construida en el ejemplo 2.2.7. Claramente, la cmara fundamental de B2 con respecto a esta base es a C() = {(x, y) R2 : x R, x < y}, como se muestra en la siguiente gura: C()
Figura 2.13: Sistema de rango 2 con 8 ra ces. Nota. Si consideramos a E P como espacio topolgico y denimos o la relacin de equivalencia o v w si y slo si (v, )(w, ) > 0 para todo , o entonces las cmaras de Weyl son los elementos del espacio cociente, es a decir, E P / = {C(v) : v es regular con respecto a }.
36
El grupo de Weyl
A cada sistema de ra ces en el espacio euclidiano E, le asociaremos un grupo, cuya accin en el sistema de ra ser de mucha ayuda en el tratamiento o ces a de los sistemas irreducibles. Denicin 2.14. Sea un sistema de ra en un espacio euclidiano E. El o ces grupo de Weyl de es el subgrupo de GL(E) generado por las reexiones R , llamadas reexiones de Weyl, donde , y es denotado por W .
Por el axioma (R1), sabemos que es un conjunto nito y genera a E, por lo que W es un grupo nito.
Por el axioma (R3), cada elemento del grupo de Weyl deja invariante a , y por la invertibilidad de los elementos del grupo de Weyl, se tiene que W permuta al conjunto , es decir, se identica con un subgrupo de permutaciones en . Como cada elemento de W es un producto de reexiones de Weyl, y cada reexin de Weyl es una isometr de E, se sigue que los elementos del grupo o a de Weyl son isometr de E. En particular, los elementos del grupo de Weyl as preservan los nmeros |, | para cualesquier pareja de ra u ces , . A continuacin, presentaremos los grupos de Weyl para los sistemas de ra o ces de rango 2 y podremos darnos cuenta de que no son grupos desconocidos, en estos casos. Ejemplo 2.3.3. Considere el sistema de ra A1 A1 . Las reexiones de ces Weyl estn representadas por las matrices a 1 0 0 1 y 1 0 , 0 1
las cuales conmutan, son de orden 2 (involuciones) y generan un grupo de orden 4. A ste grupo se le conoce con el nombre de cuatro-grupo de Klein e y es usualmente denotado por V (pues en alemn, cuatro-grupo se escribe a vier-gruppe). Ejemplo 2.3.4. En el sistema de ra ces A2 tomemos = (1, 0) y = 1 2 , 22 . Las matrices que representan a las reexiones R y R R son 1 0 0 1 y
1 2 23 3 2 1 2
37
Se puede mostrar que las reexiones de stas dos matrices generan el grupo de e Weyl de A2 . Sabemos que la matriz de R es de orden 2 y se puede vericar que la matriz de R R es de orden 3; adems, podemos vericar mediante a un clculo matricial la relacin a o 1 0 0 1
1 2 23 3 2 1 2
1 0 0 1
1 2 23
3 2 1 2
De la Teor de Grupos, sabemos que ste es un grupo isomorfo al grupo a e diedro de 6 elementos (grupo de simetr del triangulo equilatero), que as usualmente es denotado por D3 . Ejemplo 2.3.5. Para el sistema de ra ces B2 , tomemos = (1, 0) y = (1, 1). El procedimiento para encontrar una presentacin para el grupo o de Weyl de B2 ser el mismo que en el ejemplo 2.3.4. El grupo de Weyl a est generado por la reexin R y la rotacin R R que tiene como matriz a o o representante a 0 1 . 1 0 Las relaciones que satisfacen stos operadores son R2 = (R R )4 = id y e 1 1 (R )(R R )(R ) = (R R ) por lo que el grupo de Weyl de B2 es isomorfo al grupo diedro de 8 elementos (el grupo de simetr del cuadrado) as que se denota usualmente por D4 . Ejemplo 2.3.6. Para el caso de G2 , tomemos = (1, 0) (como antes) y 3 = 2 , 23 . El grupo de Weyl de G2 est generado por la reexin R y a o la rotacin R R que est representada por la matriz o a
1 2 23 3 2 1 2
que satisfacen las relaciones R2 = (R R )6 = id y (R2 )(R R )(R )1 = (R R )1 . Por tanto, el grupo de Weyl de G2 es isomorfo al grupo diedro de 12 elementos (el grupo de simetr del hexgono) que usualmente se as a denota por D6 .
38
Sea : E E un isomorsmo entre los sistemas de raices y , por la Proposicin 2.3 tenemos el siguiente diagrama conmutativo: o E
R
/E
R()
/ E
As para cada se satisface la igualdad R = R() , por lo que un , isomorsmo de sistemas de ra induce de manera natural un isomorsmo ces 1 S S de los grupos de Weyl W y W . Tambin, por la Proposicin 2.2, un automorsmo de es lo mismo que e o un automorsmo de E que deja invariante a . En particular, podemos considerar a W como subgrupo normal de Aut (grupo de automorsmos de ). El siguiente resultado, muestra cmo acta el grupo de Weyl en las o u cmaras de Weyl. a Proposicin 2.21. Si S W , entonces S (C(v)) = C (S(v)), es decir, el o grupo de Weyl manda a una cmara de Weyl sobre otra. a Demostracin. Supongamos que S(C(v)) no est contenido en E P , o a entonces existe w C(v) con S(w) P y as existe 0 tal que , 0 = (S(w), 0 ) = (w, S1 (0 )). Por tanto, w es ortogonal a la ra S1 (0 ), z lo que es imposible. Se concluye ahora que S (C(v)) E P . Claramente, C (S(v)) es una cmara de Weyl y cualqueir w C(S(v)) se a caracteriza por satisfacer la ecuacin (w, )(S(v), ) > 0 para toda . o As tenemos que probar que S (C(v)) es abierto, conexo y contiene a C(S(v)). , Para probar que S (C(v)) es un conjunto abierto y conexo, recordemos que la imagen continua de un conjunto conexo es conexo y como todos los elementos del grupo de Weyl son funciones continuas, se tiene que S (C(v)) es conexo. Luego, se puede demostrar sin complicaciones que las reexiones transforman conjuntos abiertos en abiertos, de hecho, la imagen del conjunto {w E : v w, v w 1/2 < r} bajo una reexin R es el conjunto o {w E : (Rv) w, R(v) w 1/2 < r}.
39
Para probar C (S(v)) S (C(v)), sea w C (S(v)) y , entonces (S (w), ) = (w, S()) y as
1
(S1 (w), )(v, ) = (w, S())(S(v), S()) > 0, por lo que S1 (w) C(v), pero esto sucede si y slo si w S(C(v)), que es o lo que deseamos. Por otro lado, W permuta las bases de : S manda a sobre S() que es una base pues W deja invariante a y consiste de operadores lineales invertibles que preservan el producto interior. La manera en que acta el grupo de Weyl de un sistema de ra u ces en sus cmaras de Weyl y en sus bases son compatibles con la correspondencia a mencionada anteriormente entre cmaras de Weyl y bases en el Teorema 2.20. a Explicitamente, tenemos S((v)) = (S(v)), ya que (S(v), S()) = (v, ). En el siguiente resultado, se presentan algunas de las propiedades importantes del grupo de Weyl. Teorema 2.22. Sea una base de . (a) Si v es regular, existe S W tal que (S(v), ) > 0 para toda . (W acta transitivamente en las cmaras de Weyl). u a (b) Si es otra base de , entonces S( ) = para algn S W . u (W acta transitivamente en las bases). u (c) Si , existe S W tal que S() . (Cada ra pertenece a alguna base). z (d) W est generado por las reexiones R , con , las cuales son a llamadas reexiones simples. (e) Si S W tal que S() = , entonces S = 1. (W acta simplemente transitivamente en las bases). u Demostracin. Sea W el subgrupo de W generado por las reexiones simo ples. Probaremos (a)-(c) para W y luego probaremos que W = W .
40
1 (a) Escribamos = 2 0 y escojamos S W para el cual (S(v), ) sea tan grande como sea posible. Si , entonces R S W as que la eleccin de S implica que o
(S(v), ) = = =
(R S(v), ) (S(v), R ()) (S(v), ) por el Corolario 2.17 (S(v), ) (S(v), ).
Esto fuerza a que (S(v), ) 0 para toda . Como v es regular, (R(v), ) > 0 para toda ra simple . Por tanto, S(v) est en la z a cmara fundamental de Weyl y S manda a C(v) en C(). a (b) Como W permuta las cmaras de Weyl, tambin lo hace con las bases. a e (c) Por (b), es suciente probar que cada ra pertenece a alguna base. z Como las unicas ra ces proporcionales a son , los hiperplanos P son distintos a P , cuando = . As existe v P tal que , v P para toda = ; escojamos w sucientemente cerca de v / tal que (w, ) = c > 0 mientras que |(w, )| > c para toda = . Evidentemente, (w). (d) Para mostrar que W = W , es suciente ver que cada reexin de o Weyl esta en W . Usando (c), para existe S W tal que = S() , entonces R = RS() = SR S1 , por la Proposicin 2.2. o Por tanto, R = S1 R S W . (e) Supongamos que S() = y S = 1. Si S se escribe minimalmente como un producto de una o ms reexiones simples, entonces se contradice a el Corolario 2.19.
Ejemplo 2.3.7. En el sistema de rapices A2 con la base 1 3 = = (1, 0), = , , 2 2 considere la cmara de Weyl C(). Es claro que la relfexin R transforma a o a C() en la cmara fundamental C() ya que R () = + y sabemos que a + , y + , son positivos.
41
Por el inciso (d) del Teorema 2.22, podemos escribir a cada elemento S del grupo de Weyl W de como S = R1 Rt , con i y t minimal. Esto nos determina la siguiente descomposicin de los elementos del grupo o de Weyl como producto de reexiones simples. Denicin 2.15. Sea un sistema de ra o ces en E con base y grupo de Weyl W . Si S W se escribe como R1 Rt , con i y t minimal, diremos que S est en su expresin reducida y denimos la longitud de S a o relativa a como t = l(S). Por denicin, l(id) = 0. o Ejemplo 2.3.8. En el sistema de ra B2 con base ces = { = (1, 0), = (1, 1)}, consideremos la reexin R+ . Al aplicar R+ a las ra o ces simples y se obtienen las relaciones R+ () = y R+ () = 2.
Realizando un clculo elemental, podemos vericar que R R R aplica a del mismo modo que R+ en las rapices simples y as R+ = R R R . , Adems, sta es la expresin reducida para R+ , pues R+ = R y R R a e o no es una reexin. Por tanto, l(R+ ) = 3. o Podemos caracterizar la longitud de un operador en el grupo de Weyl como sigue: Sea n(S) el nmero de ra positivas para las cuales S() 0. u ces Proposicin 2.23. Sea un sistema de ra en E con base y grupo de o ces Weyl W . Si S W , entonces l(S) = n(S). Demostracin. Procederemos por induccin sobre l(S). El caso l(S) = 0 o o es claro; supongamos que la proposicin se cumple para todo T W con o longitud menor que la longitud de S. Escribamos a S en su expresin reducida o t o i=1 Ri y sea = t . Por el Corolario 2.19, S() 0 y la Proposicin 2.16 implica que n(SR ) = n(S) 1. Por otro lado, l(SR ) = l(S) 1 y por hiptesis inductiva se tiene que l(SR ) = n(SR ). Por tanto, l(S) = n(S). o Ejemplo 2.3.9. En el ejemplo 2.3.8, podemos vericar que la longitud de R+ es 3 usando la Proposicin 2.23. Se puede ver que R+ transforma a o las ra , + y + 2 en las ra 2, y , respectivaces ces mente; adems, R+ deja ja a la ra positiva . Por tanto, n(R+ ) = 3. a z
42
Sea un sistema de ra con una base ja . Recordemos que la cmara ces a fundamental de Weyl con respecto a es la cmara C() que contiene a todos a los vectores v que satisfacen v, > 0 para toda ra simple . Concluimos z esta subseccin con un resultado que nos dice cmo acta el grupo de Weyl o o u en la cerradura de C(), que denotaremos por cl C(). Proposicin 2.24. Sean un sistema de ra con base , grupo de Weyl o ces W y u, w cl C(). Si S(u) = w para algn S W , entonces S es un u producto de reexiones simples que jan a u; en particular u = w. Demostracin. Procederemos por induccin en l(S). El caso l(S) = 0 es claro; o o sea l(S) > 0, por la Proposicin 2.23, S debe mandar alguna ra positiva en o z una negativa. As S no puede mandar todas las ra , ces simples a positivas. Supongamos que S() 0 para algn , entonces u 0 (u, ) = (S1 (w), ) = (w, S()) 0 porque u, w cl C(). Por tanto (u, ) = 0, lo que implica R (u) = u y SR (u) = w. Gracias a las Proposiciones 2.16 y 2.23, l(SR ) = l(S) 1 y por hiptesis inductiva, SR = R1 R2 Rt1 , donde Ri son o reexiones simples que jan a u. Multiplicando ambos lados por R , se tiene el resultado.
Cap tulo 3 Clasicacin de sistemas de o ra ces irreducibles

En este cap tulo, nos proponemos presentar el catlogo completo de los toa dos los sistemas de ra ces que podemos tener en un espacio euclidiano de dimensin . Es claro que los sistemas en los que nos interesaremos deben o ser escencialmente distintos y es por tal motivo que nos preocuparemos por estudiar las clases de isomorsmo de los sistemas de ra ces. La manera en que procederemos es simplicar el trabajo de clasicar los sistemas de ra a clasicar slo los sistemas de ra irreducibles. Despes, ces o ces u desarrollaremos herramientas como la matriz de Cartan de un sistema de ra ces y el diagrama de Dynkin asociado al sistema de ra ces que nos ayudan a describir las relaciones que satisfacen las ra simples de los sistemas ces irreducibles. Luego, mostramos que tanto la matriz de Cartan como el diagrama de Dynkin caracterizan por completo al sistema de ra irreducible ces al que pertenesen. Finalmente, se presenta el Teorema de Clasicacin que o determina cuales son los diferentes diagramas de Dynkin que podemos tener si un sistema de ra resulta ser irreducible. ces Como ha quedado de maniesto en esta breve introduccin al cap o tulo, el matemtico Dynkin es uno de los que ms aportaron a la solucin de este a a o problema. 43
44
Clasicacin de sistemas de ra irreducibles o ces
3.1
Sistemas de ra ces irreducibles
Aqu veremos que, en cierto sentido, los sistemas irreducibles generan a todos los sistemas de ra ces.
Denicin 3.1. Sea un sistema de ra o ces en un espacio euclidiano E. Diremos que es irreducible si no puede ser expresado como la union de dos subconjuntos 1 y 2 mutuamente ortogonales. Ejemplo 3.1.1. El sistema de ra ces A1 A1 no es un sistema irreducible, ya que 1 = {(1, 0)} y 2 = {(0, 1)} son subconjuntos mutuamente ortogonales de A1 A1 y se tiene que A1 A1 = 1 2 . Si dos subconjuntos A y B de un espacio euclidiano son mutuamente ortogonales, lo denotaremos por el s mbolo A, B = 0. Podemos vericar la irreducibilidad de un sistema de ra observando ces lo que ocurre con sus bases, como lo mostraremos en el siguiente resultado. Teorema 3.1. Un sistema de ra con base es irreducible si y slo si ces o no puede expresarse como la union de dos subconjuntos 1 y 2 tal que 1 , 2 = 0. Para la demostracin, necesitamos de los siguientes lemas tcnicos. o e Lema 3.2. Las reexiones inducidas por vectores ortogonales son operadores que conmutan entre s . Demostracin. Recordando que si P y P , tenemos que para cada o E R R () = = = = R ( |, |) |, | |, | R ( |, |) R R ().
3.1 Sistemas de ra irreducibles ces Lema 3.3. Si 1 , 2 , . . . , s , E, entonces

s s
45
i1
Ri
i=1
() = +
i=1
(1)i
1j1 <<ji s
|, ji |
k=1
|jk+1 , jk | j1 .
Demostracin. Procederemos por induccin sobre s. Para s = 1 es claro pues o o R () = |, |. Supongamos que el Lema es cierto para todo entero positivo menor que s, entonces
s
Ri
i=1
() = Rs () +
s1 i1
(1)
i=1
i 1j1 <<ji s1
|, ji |
k=1
|jk+1 , jk | Rs (j1 )
= |, s | +
s1
i1
(1)
i=1 s1
i 1j1 <<ji s1
|, ji | |, ji |
k=1 i1
|jk+1 , jk | j1 |jk+1 , jk | |j1 , s |s |jk+1 , jk | j1 .
(1)
i=1 s
i 1j1 <<ji s1
k=1
i1
= +
i=1
(1)
i 1j1 <<ji s
|, ji |
k=1
Demostracin. (Teorema 3.1). () Supongamos que es irreducible y o = 1 2 con 1 , 2 = 0. Sabemos, por el Teorema 2.22, que para cada ra existe S en el grupo de Weyl tal que S () . As podemos z , partir a en dos conjuntos i = { : S() i , para algn S W }. u Aseguramos que cada ra en p , con p {1, 2}, se obtiene de una ra z z en p al sumar mltiplos enteros de ra en p : en efecto, si p , existe u ces S W tal que S() p ; expresemos a S como producto de reexiones simples, digamos t Ri . Por el Lema 3.2 podemos suponer que slo las o i=1 primeras s ra i estn en p , as ces a ,
s t t s
S() =
i=1
Ri
j=s+1
Rj
() =
j=s+1
Rj
i=1
Ri
(),
(3.1)
46
donde la ultima igualdad se tiene por el Lema 3.2. Si i {s + 1, . . . , t}, entonces todas las reexiones Ri dejan ja a S(), pues es ortogonal a cada i . Multiplicando por S() = (
s i=1 t j=s+1
Rj
en ambos lados de (3.1), se tiene
Ri ) () y por el Lema 3.3, si ji p se verica que

s i1
S() = +
i=1
(1)
i 1j1 <<ji s
|, ji |
k=1
|jk+1 , jk | j1 ,
y por tanto, p Span p . En consecuencia, 1 , 2 = 0 lo que fuerza a que uno de los dos conjuntos sea vac ya que no contiene al vector cero. o () Si = 1 2 , con 1 , 2 = 0, se debe de tener 1 o bien 2 , pues no se puede descomponer de tal manera. Si suponemos que 1 , entonces , 2 = 0 y por tanto, E, 2 = 0. Esto implica que 2 es vac Anlogamente, si 2 , entonces 1 es vac o. a o. El Teorema 3.1 es un buen criterio para determinar la irreducibilidad de un sistema de ra ces, como lo veremos en el siguiente ejemplo. Ejemplo 3.1.2. El sistema 2 es irreducible. En efecto, tomemos la base A = = (1, 0), = 1 , 23 . Claramente, , = 1 = 0 por lo 2 que no se puede descomponer como unin de dos subconjuntos no vac o os mutuamente ortogonales.
El grupo de Weyl de un sistema irreducible

El grupo de Weyl acta de una manera muy especial en los sistemas irreu ducibles como se muestra en el siguiente resultado. Proposicin 3.4. Sean E un espacio euclidiano y sistema de ra o ces en E con grupo de Weyl W . Suponga que es irreducible. Si F = 0 es un subespacio de E invariante bajo W , entonces F = E. En particular, Span{S() : S W } = E para cualquier ra . En este caso, diremos que z W acta irreduciblemente en E. u Para la demostracin, necesitamos el siguiente lema. o
3.1 Sistemas de ra irreducibles ces
47
Lema 3.5. Si F es un subespacio de E, invariante bajo la reexin R , o entonces F o bien F P . Demostracin. Supongamos que F. Por hiptesis, R (v) F para todo o / o v F. Si v, = 0, entonces existe w F con w = v v, y as , 1 = v, (v w) F, lo que contradice la suposicin F. Por tanto, v o / es ortogonal a . Demostracin. (Proposicin 3.4). Es claro que la segunda armacin se sigue o o o de la primera ya que Span{S() : S W } es un subespacio invariante bajo W . Ahora, para mostrar la primera aseveracin, sea F un subespacio, no o nulo, invariante bajo W , entonces F tambin es invariante y E = F F . e Por el Lema 3.5, F o bien F P para toda ra . Si F, entonces z / F , as cada ra est en F o bien en F . Esto parte a en conjuntos , z a mutuamente ortogonales, lo que fuerza a que uno de los dos conjuntos sea vac Se inere que todas las ra estn en uno de los dos subespacios F o o. ces a F . Sin embargo, si F , entonces F = E y F, E = 0, lo que implica que F = 0, que es contradictorio. Por tanto, F y F = E. Ahora, veremos cuantas longitudes diferentes de las ra ces de hay cuando es un sistema irreducible. Proposicin 3.6. A lo ms existen dos longitudes distintas de ra o a ces. Adems, a todas las ra de una longitud dada son conjugadas bajo W . ces Demostracin. Sean y dos ra o ces. Como W acta irreduciblemente, u no todas las ra ces S() son ortogonales a , con S W . Sin prdida e de generalidad, supongamos que no es ortogonal a . Por la Tabla 2.1, 1 sabemos que las posibles longitudes relativas posibles son 1, 2, 3, 1 o 3 . Si 2 existieran tres ra con longitudes distintas, se tendr la razn 3 o 2 . As ces a o 2 3 . tenemos la primera aseveracin. Ahora, si y tienen la misma longitud, o podemos asumir que no son ortogonales, por el argumento del primer parrafo, y distintos, pues de lo contrario terminar la prueba. Por la Tabla 2.1, a tenemos |, | = |, | = 1; si es necesario, reemplazamos por para tener |, | = |, | = 1. El resultado se sigue del clculo R R R () = a R R ( ) = R ( + ) = . Denicin 3.2. En un sistema de ra irreducible con dos longitudes diso ces tintas de ra ces, a las ra de longitud mayor les llamaremos ra ces ces largas, y a las otras ra cortas. Si slo hay una longitud de ra ces o ces, les llamaremos ra ces largas a todas.
48
La ra maximal de un sistema irreducible z

Ahora, veremos que en un sistema irreducible, existe un mximo para la ala tura de sus ra ces. Para esto, jemos un sistema de ra irreducible con ces base y denamos un orden parcial relativo a tal base. La base dene un orden parcial en E, que resulta compatible con la notacin 0. Denase o si y slo si es una suma de ra positivas o = . o ces Claramente, es un orden parcial. ya que = . Si y , entonces tanto como se expresan como una suma de ra positivas o = , pero = ( ) por lo que ces es imposible que y se escriban como una suma de ra ces positivas al mismo tiempo y se concluye que = . Si y , entonces tanto como se expresan como suma de ra ces positivas o = y = . Si = 0 y = 0 , entonces 0 + 0 = + = . Proposicin 3.7. Relativo al orden parcial inducido por la base , existe o una unica ra maximal , es decir, si = , entonces alt() < alt(). z Adems, , 0 para . a Demostracin. La existencia de una ra maximal en el orden se sigue del o z hecho de que es nito. Para la unicidad, si es otra raiz maximal, entonces existe al menos una ra en la expresin de tal que , > 0 z o ya que de lo contrario, el conjunto {} ser un conjunto linealmente a independiente de E (ver Corolario 2.13), lo que es absurdo. Por lo tanto , > 0 y la Proposicin 2.6 implica que es ra a menos que = . o z, Si fuese positiva, entonces , lo que es absurdo; anlogamente, si a fuese negativa. Se concluye as que no puede ser ra y = . z Finalmente, si , < 0 para alguna ra simple , entonces + por z la Proposicin 2.6 y as no ser maximal. o , a Corolario 3.8. Si escribimos = simple.
k , entonces k > 0 para toda
3.1 Sistemas de ra irreducibles ces
49
Demostracin. Si = k es maximal, es claro que es positiva. Deo namos los siguientes conjuntos, 1 = { : k > 0} y 2 = { : k = 0}, entonces = 1 2 . Supongamos que 2 = , entonces , 0 para toda 2 y como es irreducible, existe una ra en 2 , digamos 0 , z que no es ortogonal a 1 . As existe 1 1 con 0 , 1 < 0. Por tanto, , 0 , < 0. Por la Proposicin 2.6, + 0 es una ra y es claro que tiene o z altura mayor que la de . Por tanto, 2 debe ser vac o. Ejemplo 3.1.3. Considere el sistema de ra ces G2 con la base conformada 3 3 por las ra = (1, 0) y = 2 , 2 . Como , = 0, del Teorema 3.1 ces se concluye que G2 es irreducible. Claramente, la ra maximal de G2 es la z ra (0, 3) = 3 + 2. z
Figura 3.1: La ra maximal en G2 . z Un resultado que se espera lgico es el siguiente. o Proposicin 3.9. En un sistema de ra irreducible, la ra maximal es o ces z una ra larga. z Demostracin. Tomemos una ra y veamos que . Como la o z accin de W es transitiva en las cmaras de Weyl(Teorema 2.22), reemo a plazemos a por un conjugado de l que est en la cerradura de la cmara e e a fundamental. Sabemos que 0 y as para todo v cl C() tenemos , (v, ) (v, ) = (v, ) 0 con v = y despues v = se tiene (, ) (, ) (, ).
50
3.2
Matriz de Cartan de un sistema de ra ces
Ahora, veremos una de las herramientas que caracterizan a los sistemas de ra ces y facilitan la presentacin de las relaciones que satisfacen las ra o ces simples de un sistema de ra ces.
Si tenemos dos bases = {1 , 2 , . . . , } y = {1 , 2 , . . . , } de un sistema de ra ces , sabemos que existe un elemento S del grupo de Weyl de tal que S(i ) = i para toda 1 i (Teorema 2.22 inciso (b)). Como cada elemento del grupo de Weyl es una isometr de E, se tiene que a |i , j | = |S(i ), S(j )|.
Denicin 3.3. Sea = {1 , 2 , . . . , } una base ordenada de . La o matriz C con entrada Cij = |i , j | es llamada matriz de Cartan de . Por el comentario anterior a la Denicin 3.10, vemos que C no depende o de la eleccin que hagamos de la base y as slo depende del sistema de o , o ra . ces Ejemplo 3.2.1. Para los sistemas de rango 2, las matrices de Cartan son C A1 A1 = C A2 = C B2 = C G2 = 2 0 , 0 2 2 1 , 1 2
2 1 . 3 2
2 2 , 1 2
Otra propiedad importante de la matriz de Cartan es que es no-singular, pues es una base. Ahora, veremos que caracteriza al sistema de ra ces completamente. Teorema 3.10. Sean y sistemas de ra con bases = {1 , 2 , . . . , } ces y = {1 , 2 , . . . , } en los espacios E y E , respectivamente. Si las ma trices de Cartan de y son iguales, entonces i i determina un isomorsmo de sistemas de ra ces.
3.2 Matriz de Cartan de un sistema de ra ces
51
Demostracin. Sea el isomorsmo de espacios vectoriales que resulta de exo tender linealmente la biyeccin de las bases de E y E . Mediante un clculo o a rutinario, se puede vericar R() (()) = (R ()) para cualesquiera dos ra ces y . Como los respectivos grupos de Weyl son generados por las reexiones simples, por el Teorema 2.22, la asignacin S S1 es un o isomorsmo de grupos. Nuevamente, por el Teorema 2.22, cada ra es conjugada a una simple, z digamos = S(k ). En consecuencia, () = S1 ((k )) . La frmula (2.1) muestra que preserva los productos |, |. o Conociendo la matriz de Cartan de , podemos recuperar a todas las ra positivas como sigue: ces Altura 1 Las ra de altura 1 son las ra simples. ces ces Altura 2 Usaremos las ra de altura 1 y las j -cadenas. Las entradas de ces la matriz de Cartan nos dan los nmeros |i , j | y por la Proposicin u o 2.14, sabemos que i j no es una ra y as r = 0 con lo que z , q = |i , j |. Altura 3 Ya teniendo todas las ra ces de altura 2, podemos obtener los nmeros |, j |. Si es cualquier ra de altura 2, el entero r es fcil u z a de encontrar pues j se puede restar al menos una vez (Proposicin o 2.14), para algn j, y as q = r |, j |. u Altura k Conociendo las ra de altura k 1 y gracias al Corolario 2.15, ces sabemos que las ra ces de altura k se pueden escribir como una suma de ra ces simples k i de tal manera que la suma parcial k1 i i=1 i=1 es una ra As podemos conocer a todas las ra de altura k. z. , ces Al conocer las ra ces positivas + de bastar agregar a tal conjunto + a los negativos de sus ra para obtener el sistema de ra completo. ces ces Ejemplo 3.2.2. De la matriz diag(2, 2) se obtiene inmediatamente dos ra ces ortogonales y . Adems, el vector + no puede ser ra pues de lo a z contrario, R ( + ) = ser ra lo que contradice la Proposicin a z, o 2.10. Por tanto, el sistema de ra es isomorfo a A1 A1 . ces
52
3.3
Diagrama de Dynkin asociado a un sistema de ra ces
El diagrama de Dynkin asociado a un sistema de ra ces es la manera mas compacta de presentar las relaciones que satisfacen las ra simples del sisces tema. Adems, del diagrama de Dynkin, podemos recuperar la matriz de a Cartan del sistema de ra ces. Por la Tabla 2.1 sabemos que para dos ra y positivas y distintas, ces |, ||, | es 0, 1, 2 o 3. Denicin 3.4. Sea un sistema de ra o ces con base = {1 , 2 , . . . , }. Dena una grca de vrtices, un vrtice por cada ra simple, y agregue a e e z |i , j | |j , i | aristas entre los vrtices i y j de la grca. En el caso de e a que entre dos vrtices existan ms de una arista, agregue una echa apune a tando hacia el vrtice que representa la ra ms corta de las dos. La grca e z a a resultante se llama diagrama de Dynkin de . Como el grupo de Weyl acta transitivamente en las bases y est comu a puesto totalmente de isometr del espacio E, se tiene que el diagrama de as Dynkin de un sistema de ra no depende de la eleccin de la base. ces o Ejemplo 3.3.1. Los diagramas de Dynkin para los sistemas de rango 2 son A1 A1 : A2 : B2 : G2 :
Figura 3.2: Diagramas de Dynkin de los sistemas de rango 2. Es claro que en realidad, el diagrama de Dynkin de un sistema de ra ces depende de el orden que se le de a la base, esta dependencia no es muy seria, pues es cuestin de seleccionar bien la enumeracin de las ra simples. o o ces
3.4 Teorema de Clasicain o
53
Ejemplo 3.3.2. Del diagrama de Dynkin de G2 , se obtiene la matriz de Cartan 2 3 . 1 2 Vemos que la enumeracin de las ra o ces simples no es la adecuada, pues se obtuvo la matriz transpuesta de la matriz de Cartan dada para G2 en el ejemplo 3.2.1 Denicin 3.5. Diremos que un diagrama de Dynkin es conexo si para o cualesquiera dos vrtices i y j, existe una sucesin de vrtices i1 , i2 , . . . , ik e o e tales que i1 = i, ik = j y el vrtice is est conectado por al menos una arista e a con el vrtice is+1 para todo entero 1 s k. e Un resultado evidente es el siguiente. Proposicin 3.11. Un sistema de ra o ces es irreducible si y slo si su diao grama de Dynkin es conexo. Ahora, si no es irreducible, en su diagrama de Dynkin existiran un nmero de componentes conexas. Sean = 1 2 t la particin u o de en subconjuntos mutuamente ortogonales, i las combinacines lineales o enteras de elementos en i que son ra y Ei = Span i , entonces E = Ei ces y cada i es un sistema de ra ces irreducible en Ei cuyo grupo de Weyl es la restriccin a Ei del subgrupo de W generado por las ra simples en i . o ces Como cada Ei es invariante bajo W , el Lema 3.5 muestra que cada ra de z est en algn Ei . Esto muestra el siguiente resultado. a u Proposicin 3.12. Sea un sistema de ra en E, entonces se descomo ces pone de manera unica como la unin de sistemas de ra irreducibles i en o ces los subespacios Ei = Span i de E y se tiene la descomposicin del espacio o E como suma directa de los subespacios Ei . Grcias a ste resultado, bastar con clasicar los sistemas irreducibles, a e a los cuales se caracterizan por su diagrama de Dynkin, el cual es conexo.
3.4
Teorema de Clasicain o
Ahora, estamos listos para presentar el Teorema de Clasicacin de los diao gramas de Dynkin correspondientes a los sistemas de ra irreducibles. ces Teorema 3.13. Si es un sistema de ra irreducible de rango , entonces ces su diagrama de Dynkin es uno de los siguientes:
54
A ( 1): B ( 2): C ( 3): D ( 4):
E6 :
E7 :
E8 : F4 : G2 : Figura 3.3: Diagramas de Dinkin para sistemas irreducibles.
3.4 Teorema de Clasicain o y las respectivas matrices de Cartan son: Sistemas de ra clsicas ces a 1 0 0 0 0 2 1 0 0 0 1 2 0 0 0 . . .. . . . . . . . . . . . . . . 0 0 2 1 0 0 0 1 2 1 0 0 0 1 2 1 0 0 0 0 2 1 0 0 0 1 2 0 0 0 . . . .. . . . . . . . . . . . . . 0 0 2 1 0 0 0 1 2 2 0 0 0 1 2 1 0 0 0 0 2 1 0 0 0 1 2 0 0 0 . . . . . .. . . . . . . . . . . . 0 0 2 1 0 0 0 1 2 1 0 0 0 2 2 1 0 0 0 0 2 0 0 0 0 . . . . .. . . . . . . . . . 0 2 1 0 0 0 1 2 1 1 0 0 1 2 0 0 0 1 0 2
55
2 1 0 . C A = . . 0 0 0 2 1 0 . C B = . . 0 0 0 2 1 0 . C C = . . 0 0 0 2 1 . . . D C = 0 0 0 0
56
Clasicacin de sistemas de ra irreducibles o ces Sistemas de ra excepcionales ces 0 1 0 0 0 2 0 1 0 0 0 2 1 0 0 1 1 2 1 0 0 0 1 2 1 0 0 0 1 2
2 0 1 E6 C = 0 0 0 2 0 1 E7 C = 0 0 0 0 2 0 1 0 E8 C = 0 0 0 0 2 1 C F4 = 0 0 C G2 =
2 1 3 2
0 1 0 0 0 0 0 2 0 1 0 0 0 0 0 2 1 0 0 0 0 1 1 2 1 0 0 0 0 0 1 2 1 0 0 0 0 0 1 2 1 0 0 0 0 0 1 2 1 0 0 0 0 0 1 2 1 0 0 2 2 0 1 2 1 0 1 2
0 1 0 0 0 0 2 0 1 0 0 0 0 2 1 0 0 0 1 1 2 1 0 0 0 0 1 2 1 0 0 0 0 1 2 1 0 0 0 0 1 2
Para la demostracin, es conveniente introducir algunos conceptos como o apoyo. Denicin 3.6. Si al diagrama de Dynkin de un sistema de ra o ces le quitamos la echa que indica el vrtice correspondiente a la ra mas corta, e z la grca resultante se llama grca de Coxeter de . a a
57
Desde el punto de vista de las grcas de Coxeter, los sistemas de ra a ces irreducibles son perfectamente distingibles, excepto por B y C . Por tal motivo, veremos que las unicas grcas de Coxeter que pueden corresponder a a un sistema de ra ces irreducible son las que resultan de los diagramas de Dynin enlistados en el Teorema de Clasicacin. o Una observacin ms es que como en las grcas de Coxeter no estamos o a a interesados en las longitudes de los vectores, podemos trabajar con vectores unitarios. Para mayor exibilidad, haremos las siguientes suposiciones: E es un espacio euclidiano, de cualquier dimensin. o A = {e1 , e2 , . . . , ek } es un conjunto de k vectores unitarios linealmente independientes que satisfacen ei , ej 0 para i = j y 4 ei , ej 2 slo o puede tomar los valores 1, 2, 3 para i = j. A este tipo de conjuntos los llamaremos admisibles. A cada conjunto admisible A = {e1 , e2 , . . . , ek }, le asignamos una grca con k vrtices como sigue: el vrtice i est unido con 4 ei , ej 2 a e e a aristas. Ahora, lo que haremos es determinar todas las grcas de Coxeter conexas a asociadas a los conjuntos admisibples de vectores. Demostracin. (Teorema 3.13). La prueba se har por pasos. o a 1. Si alguno de los vectores ei es omitido del conjunto admisible, entonces el conjunto que nos queda, A\{ei } tambin es admisible y su grce se e a obtiene de al remover el vrtice i y todas las aristas que conectaban e al vrice i con los dems vrtices. e a e 2. El nmero de parejas de vrtices en conectados por al menos una u e arista es estrictamente menor que k. De lo contrario, tomemos
k
e=
i=1
ei = 0,
58 para tener
0 < e, e = k + 2
i<j
ei , ej .
(3.2)
Seleccionemos una pareja de ndices i y j diferentes y que estn conece 2 tados por al menos una arista, es decir, 4 ei , ej es igual a 1, 2 o 3. En particular, tenemos que 2 ei , ej 1. Por la desigualdad (3.2), vemos que el nmero de tales parejas no puede exceder k 1. u 3. no contiene c clos. De lo contrario, un c ser la grca de un subconjunto admisible clo a a A A el cual contradice el paso 2, tomando k = |A |. 4. En un vrtice particular de no puede haber ms de tres aristas. e a Sea e A y supongamso que v 1 , v 2 , . . . , v s A son los vectores (todos distintos) que estn conectados con e, es decir, (e, v i ) < 0 para todo a entero 1 i s. Por la parte 3, tenemos que v i , v j = 0 para i = j y se sigue que existe un vector v 0 en Span{e, v 1 , . . . , v s } que es ortogonal a cada v i . Es evidente que e, v 0 = 0 y por un hecho de lgebra lineal, a
s
e=
i=0
e, v i v i .
2
Luego, 1 = e, e =
s i=0
e, v i
s
y se concluye que
2
e, v i
i=1
<1
o equivalentemente,
4 e, v i
i=1
< 4,
con lo que se termina la prueba de este paso. 5. La unica grca de un subconjunto admisible A que puede contener a dos vrtices conectados por tres aristas es la grca de Coxeter de G2 . e a Esto se sigue directamente del paso 4.
3.4 Teorema de Clasicain o 6. Sea A = {e1 , e2 , . . . , es } un subconjunto cuya grca es a Figura 3.4: Cadena simple. Si e =
s i=1
59
ei , entonces el conjunto A\A {e} es admisible.
La independencia lineal de A\A {e} es un hecho de lgebra lineal. a Por hiptesis, 2 ei , ei+1 = 1 para cualquier entero 1 i s 1 con o lo que se deduce e, e = s + 2 i<j ei , ej = s (s 1) = 1. As e , es un vector unitario y cualqueir vector en A\A puede ser conectado con al menos uno de los vectores en A , por el paso 3. Si v A , entonces e, v = 0 o bien e, v = ei , v para todo entero 1 i s. En cualqeuir caso, se tiene 4 e, v 2 {1, 2, 3}. 7. no contiene subgrcas de la forma a Supongamos que estas subgrcas ocurren en . Por el paso 1, deben de a ser las grcas de subconjuntos admisibles, pero por el paso 6, podemos a eliminar la cadena simple en cada caso y obtener las grcas a
Evidentemente, todas estas grcas contradicen el psao 4. a
60
Clasicacin de sistemas de ra irreducibles o ces 8. Cualqeuir grca conexa de un subcojnuto admisible tiene una de las a siguientes formas: e1 e2 ep1 ep vq v q1 v 2 v1
w1 w2
` ``
wr1 e1 e2 ep1 u v q1 ... v2 v1 Una grca conexa que contenga ms de una pareja de vrtices coneca a e tados con dos aristas debe de contener una subgrca de la forma a la cual contradice el paso 7, por lo que al menos ocurre una doble arista. Ms, an, si contiene una doble arista, entonces no puede contener a u un nodo como el siguiente (otra ves por el paso 7):
Finalmente, supongamos que slo tiene aristas simples. Si no cono tiene nodos, debe de ser una cadena simple.
61
no puede contener ms de un nodo, por el paso 7 y as la cuarta a , grca es la unica posibilidad. a 9. La unica grca conexa del segundo tipo en 8 es la grca de Coxeter a a de F4 o la grca de Coxeter de B . a
p q Denamos e = o i=1 iei y v = i=1 iv i . Por hiptesis, tenemos 2 ei , ei+1 = 1 = 2 v j , v j+1 para i {1, 2, . . . , p} y j {1, 2, . . . , q} y cualesquier otra pareja es ortogonal. Luego, se puede ver que
e, e = y v, v =
p(p + 1) 2 q(q + 1) . 2
2 2
Como 4 ep , v q 2 = 2, tenemos e, v 2 = p2 q 2 ep , v q 2 = p 2q y por la desigualdad de Cauchy-Schwartz, e, v 2 < e, e v, v o bien, p2 q 2 p(p + 1) q(q + 1) < . 2 2 2 Por tanto, las unicas posibilidades son p = q = 2 o bien p = 1 y q arbitrario, o bien q = 1 y p arbitrario. 10. La unica grca conexa del cuarto tipo en 8 es D o las grcas de a a Coxeter de E6 , E7 y E8 cuando = 6, 7, 8. Denamos e = p iei , v = p iv i y w = p iwi . Es claro que i=1 i=1 i=1 e, v y w son mutuamente ortogonales y suponga que u no es generado por estos tres vectores. Como en la prueba del paso 4, obtenemos la relacin o cos2 1 + cos2 2 + cos2 3 < 1, donde los ngulos 1 , 2 , 3 son los ngulos que forma el vector u con a a los vectores e, v, w, respectivamente. Un clculo similar al realizado a en el pso 9 con p 1 en lugar de p, muestra que e, e = p(p 1) , 2
62
Clasicacin de sistemas de ra irreducibles o ces y similarmente para v y w. Se concluye que cos2 1 = 1 2 1 1 p ,
y similarmente para 2 y 3 . Sumando estas expresiones se obtiene 1 2 o equivalentemente, 1 1 1 + + > 1. p q r (3.3) 1 1 1 1 +1 +1 p q r <1
1 1 Podemos suponer que p 1 1 y que 1 2 ya que si p, q o r es igual q r r a 1, estamos en el caso Ak . En particular, la desigualdad (3.3) implica 1 1 3 , que 2 3 > 1 y as r = 2. De este modo, p + 1 > 2 y 2 q 4. Si r q q = 3, entonces p < 6. Por tanto, las unicas posibilidades son:
(p, 2, 2) Dk ,
(3, 3, 2) E6 ,
(4, 3, 2) E7
y (5, 3, 2) E8 .
En estos diz pasos, se muestra que las unicas grcas de Coxeter para los sise a temas de ra irreducibles son las enlistadas en el Teorema de Clasicacin. ces o Sin embargo, las grcas de Coxeter de B y C son indistinguibles, como ya a se hab mencionado. De cualqueir forma, se puede vericar que stos dos a e sistemas de ra no son isomorfos y con esto se termina la demostracin del ces o Teorema.
Cap tulo 4 Algebras de Lie

La intensin de este cap o tulo es dar una introduccin a la Teor de Algebras o a de Lie, presentando las herramientas principales de la teor y los resultados a ms signicativos manteniendo un nivel bsico. Los ejemplos que aqu se a a presentan son clsicos en la literatura de lgebras de Lie y se puede encona a trar un desarrollo diferente al presentado aqu en [3], [6] o [11]. Muchos de los conceptos de lgebras de Lie se corresponden historicaa mente a los conceptos anlogos en la Teor de Grupos, por la relacin esa a o tablecida por Sophus Lie entre grupos de Lie y lgebras de Lie. a
4.1
Denicin y ejemplos o
Comenzaremos dando la denicin de nuestro objeto de estudio de este o cap tulo. Denicin 4.1. Una lgebra de Lie sobre un campo F es un espacio veco a torial V sobre el campo F, con una operacin binaria (v, w) [v, w] que o satisface las siguientes propiedades: AL1 La operacin [, ] es bilineal. o AL2 Para cualquier v V, se tiene [v, v] = 0. AL3 Para cualesquiera u, v, w V, se satisface la identidad de Jacobi [[u, v], w] + [[v, w], u] + [[w, u], v] = 0. 63
64
Algebras de Lie Las propiedades AL1 y AL2 implican la antisimetr del producto: a
AL2 Para cualesquiera v, w se tiene [v, w] = [w, v]. Para demostrar este hecho, basta con expandir linealmente la expresin o [v + w, v + w] y aplicar (AL2). Cuando el campo no es de caracter stica dos, las propiedades AL1 y AL2 implican AL2, y para vericarlo, tomamos w = v en AL2 . Generalmente, se usan letras germnicas minsculas, a, b, . . . , g, . . . , para a u denotar una lgebra de Lie. A la operacin [, ] se le llama corchete de Lie. a o La dimensin de una lgebra de Lie es simplemente la dimensin del espacio o a o vectorial subyacente. Ejemplo 4.1.1. Consideremos el espacio vectorial real R3 y denamos el producto vectorial de v = (v 1 , v 2 , v 3 ) por w = (w1 , w2 , w3 ) como el vector v w = (v 2 w3 v 3 w2 , v 3 w1 v 1 w3 , v 1 w2 v 2 w1 ), y es inmediato que es una operacin bilineal y antisimtrica, es decir, o e v w = w v para cualesquier pareja de vecotres v, w R3 . Despues de realizar un clculo rutinario, podemos ver que satisface la siguiente a relacin para u, v, w R3 : o (u v) w = u, w v v, w u, llamada triple producto vectorial. A partir de el triple producto vectorial, se verica directamente la identidad de Jacobi para y si denimos [v, w] = v w se concluye que (R3 , [, ]) es una lgebra de Lie. a Las lgebras de Lie aparecen de manera natural a partir de las lgebras a a asociativas; una lgebra asociativa es un espacio vectorial (V, +, ) con una a multiplicacin de vectores (v, w) v w la cual resulta ser asociativa en o el sentido ordinario. Mediante un clculo rutinario, podemos vericar que la a operacin o [v, w] = v w w v, (4.1)
def
le d una estructura de lgebra de Lie al espacio vectorial subyacente del a a lgebra asociativa (V , +, , ). El corchete (4.1) se le llama conmutador. a
4.1 Denicin y ejemplos o
65
Dos ejemplos muy importantes de lgebras de Lie obtenidas en esta forma a se presentan a continuacin: o Ejemplo 4.1.2. Sea V un espacio vectorial sobre un campo F. El conjunto de todos los endomorsmos en V, denotado por End(V), tiene una estructura natural de espacio vectorial sobre F. Adems, podemos denir un producto a asociativo en End(V) mediante la composicin de funciones. As End(V) o , se convierte en una lgebra de Lie con el conmutador (4.1). A sta lgebra a e a de Lie se le conoce con el nombre de lgebra general lineal de Lie y se a denota por gl(V). Cuando el espacio V es de dimensin nita, digamos n, o podemos identicar al espacio gl(V) con el espacio de matrices Mn (F) y se denota gl(n, F). Sea (A, +, , ) cualquier lgebra sobre un campo F, es decir, la terna a (A, +, ) es un espacio vectorial sobre F y la terna (A, +, ) es un anillo (posiblemente no asociativo). Analizaremos ahora una clase de operadores lineales que satisfacen una regla conocida del clculo diferenncial. a Denicin 4.2. Una derivacin de una lgebra A es una transformacin o o a o lineal D : A A que satisface la propiedad D(v w) = v D(w) + D(v) w. Ejemplo 4.1.3. El conjunto de todas las derivaciones de A lo denotaremos por der(A), el cual es un subespacio vectorial del lgebra asociativa End(A). a Si denimos [D, D] como en (4.1) para D, D der(A), podemos vericar que [D, D](v w) = DD(v w) DD(v w) = D v D(w) + D(v) w D v D(w) + D(v) w = D v D(w) + D D(v) w D v D(w) D D(v) w = v DD(w) + DD(v) w v DD(w) DD(v) w = v [D, D](w) + [D, D](v) w. As podemos ver que der(A) con [, ] : der(A) der(A) es una lgebra de , a Lie llamada el lgebra de derivaciones del lgebra A. a a
66
Algebras de Lie
Cuando A = g es una lgebra de Lie y x g, podemos denir el operador a ad x : g g que manda a cada v en el vector [x, v]; a este operador se le llama operador adjunto de x. Por la identidad de Jacobi y la antisimetr tenemos a, ad x([v, w]) = [x, [v, w]] = [v, [w, x]] [w, [x, v]] = [v, [x, w]] + [[x, v], w] = [v, ad x(w)] + [ad x(v), w], con lo que ad x der(g). A una derivacin de este tipo de una lgebra de o a Lie se le llama interior. Ejemplo 4.1.4. Si g es un espacio vectorial con [v, w] = 0 para todos v, w g, inmediatamente vericamos que g tiene estructura de lgebra de a Lie. Llamaremos a sta lgebra de Lie el lgebra Abeliana. Esto muese a a tra que cualquier espacio vectorial se puede convertir en lgebra de Lie. a Si g es una lgebra de Lie de dimensin nita, digamos n, podemos elegir a o una base B = {e1 , . . . , en } y es un hecho fundamental del Algebra Lineal que cada vector [ei , ej ] se expresa de manera unica como una combinacin o lineal en termino de esta base. Sean cs F tales que [ei , ej ] = n cs es ; ij s=1 ij los escalares cs son llamados constantes de estructura de g con respecto a la ij base B. Las constantes para las cuales i j se pueden obtener de las que satisfacen i < j, gracias a las propiedades AL2 y AL2 . Esto nos permite denir una lgebra de Lie slo mencionando cuales son a o s las constantes cij , las cuales deben de satisfacer las identidades obvias que se obtienen por las propiedades AL2 y AL3: cs = 0 = cs + cs ii ij ji
n
cs cr + cs cr + cs cr ij sk jk si ki sj
s=1
= 0, para cada r = 1, 2, . . . , n.
Dos ejemplos importantes de lgebras de Lie que podemos construir de esta a forma son los siguientes: Ejemplo 4.1.5. Si g es un espacio vectorial de dimensin 2 con base {x, y}, o x x denimos cxy = 1 = cyx y todas las dems constantes de estructura iguales a a cero. A travs de clculos directos, podemos vericar que g es un lgebra e a a de Lie.
4.2 Conceptos algebraicos fundamentales
67
Ejemplo 4.1.6. Sea g es un espacio vectorial de dimensin 3 con base o z y {x, y, z} y denimos las constantes de estructura cxy = cxz = 1 = cz = yx cy y todas las dems constantes de escturctura iguales a cero. As g es a , zx una lgebra de Lie. a
4.2
Conceptos algebraicos fundamentales
En esta seccin se estudiarn las subestructuras importantes de las lgebras o a a de Lie as como las funciones que preservan tanto la estructura lineal como el corchete de Lie.
Sublgebras e ideales a
Primero, estudiaremos las subestructuras elementales de un lgebra de Lie. a Denicin 4.3. Diremos que h g es una sublgebra de Lie de g si h es o a un subespacio vectorial de g cerrado bajo el corchete de Lie. Es inmediato que una sublgebra es a su vez una lgebra de Lie, ya que a a el corchete de Lie restringido al subespacio satisface todas las condiciones de la Denicin 4.1. o Si g es una lgebra de Lie, entonces g y {0} son sublgebras y son llaa a madas sublgebras triviales de g; esto muestra que la familia de sublgebras a a de una lgebra de Lie es no vac a a. Sean h y h subconjuntos no vac de g. Si denotamos por [h, h] al subeos spacio generado por los corchetes de Lie [w, u], con w h y u h, es inmediato que [h, h] es una sublgebra de Lie de g. Con esta notacin, un a o subespacio h es una sublgebra si y slo si [h, h] h. a o Denicin 4.4. La sublgebra [g, g] es llamada lgebra derivada de g y o a a se denota usualmente por g . Es claro que g es abeliana si y slo si g = {0}. o Si h y h son sublgebras de g, es fcil ver que h h es tambin una a a e sublgebra de Lie de g. La unin de dos sublgebras de Lie no necesariaa o a mente es una sublgebra de Lie. a
68 Denimos el normalizador de h como el conjunto N (h) = {v g : [v, h] h} ;
Algebras de Lie
es claro que N (h) es una sublgebra de g pues si v, w N (h), entonces para a todo u h se tiene [v, u], [w, u] h y por la identidad de Jacobi [[v, w], u] = [[w, u], v] [[u, v], w] h, con lo que [v, w] N (h). Decimos que h es auto-normalizada si N (h) = h. Mas adelante, veremos una clase de sublgebras muy importante que prea senta esta propiedad. El centralizador de h es el conjunto C(h) = {v g : [v, h] = 0} , y nuevamente, por la identidad de Jacobi, C(h) es una sublgebra de g. a Ahora, estudiaremos una subestructura mucho ms interesante, anloga a a a los subgrupos normales de un grupo. Denicin 4.5. Una sublgebra h de una lgebra de Lie g se dice un ideal o a a si [g, h] h. Por la propiedad AL2 , tenemos que un ideal del anillo (g, +, [, ]) siempre es un ideal por ambos lados, pues [g, h] = [h, g]. Tambin, cuando tenemos un ideal h de g, el espacio cociente g/h se puede e dotar de una estructura de lgebra de Lie de manera natural deniendo a [v + h, w + h] = [v, w] + h. Esto nos d una caracterizacin del lgebra derivada: el algebra g es un ideal a o a minimal con cociente abeliano. Si h, i g son dos ideales, entonces h i, [h, i] y h + i tambin son ideales, e donde h + i es la sublgebra generada por los vectores h + i, con h h y a i i, es decir, h + i = {v g : v = h + i, para algn h h, i i}. u
69
Evidentemente, h i es un ideal de g. Ahora, si v [h, i], con v = [h, i], y para cualquier w g, se vuelve evidente, por antisimetr y la identidad de a Jacobi, que [v, w] = [[h, i], w] = [[i, w], h] [[w, h], i] = [h, [i, w]] [[w, h], i] [h, i]. Finalmente, para ver que h + i es un ideal, procedemos como sigue: si v h + i, podemos escribir v = v h + v i y tomando w g, tenemos [v, w] = [v h + v i, w] = [v h, w] + [v i, w] h + i. Ejemplos de ideales son las sublgebras triviales; un ejemplo menos triva ial es el lgebra derivada g ya que si v g y w g , entonces w g y as a [v, w] g . Un ejemplo ms es el subespacio {w g : [w, v] = 0 para todo v g}, a ya que si w es un elemento de este conjunto y v es cualquier elemento de g, tenemos [[w, v], u] = [0, u] = 0, para todo u g. Denicin 4.6. Sea g una lgebra de Lie. El centro de g es el ideal o a Z(g) = {w g : [w, v] = 0 para todo v g} . Es claro que Z(g) = C(g) y que g es abeliana si y slo si Z(g) = g. o El normalizador de una sublgebra h se caracteriza por ser la mxima a a sublgebra de g que contiene a h como un ideal, es decir, toda sublgebra es a a ideal en su normalizador y h es ideal de g si y slo si N (h) = g. o Una clase de lgebras de Lie muy importante es la siguiente: a Denicin 4.7. Diremos que una lgebra de Lie g es simple si no tiene o a ideales propios y g = {0}, es decir, no tiene ideales distintos de {0} o g, y no es abeliana. Ms adelante, veremos porque las lgebras simples son importantes en el a a estudio de las lgebras de Lie semisimples. a
def
70
Algebras de Lie
En una lgebra simple, se tienen las siguientes relaciones: Z(g) = {0} y a g = g.
Si tenemos dos lgebras de Lie g y h, podemos darle una estructura de a lgebra de Lie al espacio vectorial g h mediante el producto componentea a-componente: [(g 1 , h1 ), (g 2 , h2 )] = ([g 1 , g 2 ], [h1 , h2 ]). Es inmediato que g h se convierte en una lgebra de Lie, la cual es llamada a la suma directa (externa) de las lgebras de Lie g y h, y la denotaremos por a g h. Si g : g g h y h : h g h son las inclusiones cannicas, entonces o podemos ver a g y h como dos ideales g 0 y 0 h en g h que conmutan, es decir, [g, h] = 0 para todo g g 0 y h 0 h. Es evidente que g 0 0 h = 0. Ms adelante, veremos otro tipo de suma directa llamada suma directa a (interna) de lgebras de Lie y su relacin con la suma directa externa. a o
Homomorsmos de lgebras de Lie a

En esta subseccin, nos dedicaremos al estudio de las funciones entre lgebras o a de Lie que preservan la estructura, es decir, el corchete de Lie. Denicin 4.8. Un homomorsmo de lgebras de Lie g y g es una transo a formacin lineal : g g que satisface para cualesquiera v, w g la o relacin ([v, w]) = [(v), (w)]. o Es oportuno mencionar algunos tipos de homomorsmos. Un homomorsmo : g g se llama monomorsmo si es un homomorsmo inyectivo y es llamado epimorsmo si es suprayectivo. Un homomorsmo que sea monomorsmo y epimorsmo al mismo tiempo se le llama isomorsmo; en tal caso, diremos que las lgebras de Lie g y g a son isomorfas y lo denotaremos g g. =
71
Se puede vericar que la relacin de isomorsmo en la clase de lgebras o a de Lie es una relacin de equivalencia. o Un homomorsmo : g g es llamado endomorsmo y si es isomorsmo, diremos que es un automorsmo; al grupo de automorsmos de una lgebra de Lie g lo denotaremos por Aut(g). a Los homomorsmos nos dan informacin util de las lgebras de Lie que o a relacionen, por ejemplo: Teorema 4.1. Si : g g es un homomorsmo, entonces 1 (h) es una sublgebra de g, para cada sublgebra h de g. Si h es un a a ideal, entonces (h) es un ideal en (g). 2 1 (h) es una sublgebra (resp. ideal) de g, para cada sublgebra (resp. a a ideal) h de g. 3 Si es isomorsmo, entonces 1 tambin es isomorsmo. e 4 Si : g g es un homomorsmo, entonces : g g es un homomorsmo. 5 Si es isomorsmo, entonces Z(g) = Z (g) y (g ) = g . La demostracin de estos resultados es sencilla, simplemente se aplica la o denicin de los conceptos y por tal motivo, se determina excluirla del texto o para evitar la rutina. Un ideal i se dice caracter stico si es invariante bajo automorsmos, es decir, (i) = i para todo Aut(g). Ejemplos de estos ideales son g y Z(g), como lo muestra la parte 5 del Teorema 4.1. Tambin tenemos que g e es el unico ideal minimal con cociente abeliano. Denicin 4.9. Si : g g es un homomorsmo, denimos el kernel o o nucleo de como el conjunto 1 (0) y lo denotaremos Ker . De la parte 2 en el Teorema 4.1 se sigue que Ker es un ideal y a continuacin, presentamos otro hecho util de los homomorsmos. o Proposicin 4.2. Un homomorsmo de lgebras de Lie : g g es o a monomorsmo si y slo si Ker = {0}. o
72
Algebras de Lie
Demostracin. () Si v Ker , entonces (v) = 0 = (0), por lo que o v = 0. () Si (v) = (w), entonces (v w) = 0, es decir, v w Ker y por tanto, v = w.
Si i y j son dos ideales en g que lo generan linealmente, es decir, g = i + j, y que adems tienen interseccin nula, entonces la transformacin a o o :ijg denida por (i, j) = i + j es un isomorsmo entre las lgebras de Lie i j a y g. En efecto, es claro que Ker = {0} pues 0 = 0 + 0 y por la Proposicin o 4.2 se tiene que es un monomorsmo. Adems, como g = i j, se tiene que a es un epimorsmo. En este caso, se dice que g es la suma directa (interna) de los ideales i y j. Sea g una lgebra de Lie y i un ideal de g. Si existe un ideal j tal que a g, decimos que i y j son ideales complementarios. Decimos que el ideal ij = i es un sumando directo si existe un ideal complementario para i. De ahora en adelante, no hay necesidad de hacer distincin entre la suma o directa externa y la suma directa interna ya que escencialmente, son las mismas lgebras de Lie. As al lgebra g = i j simplemente la llamaremos la a , a suma directa de i y j, sin preocuparnos por la naturaleza de los sumandos involucrados. Hay una relacin muy estrecha entre ideales, algebras cocientes y homoo morsmos de lgebras de Lie que cunstituye uno de los puntos principales a de la Teor introductoria de las lgebras de Lie y tiene concecuencias muy a a importantes que podremos ver en el siguiente cap tulo. En el siguiente resultado, hemos recopilado los resultados ms impora tantes concernientes a la relacin descrita anteriormente. Los nombres de los o Teoremas pueden ser familiares para las personas relacionadas con la Teor a de Grupos.
73
Teorema 4.3. 1 (Primer Teorema de Isomorsmos). Sea : g g un homomorsmo de lgebras de Lie. Si i es un ideal de g contenido en a Ker , existe un unico homomorsmo : g/i g, con Ker = Ker /i, que hace conmutar el diagrama g>
/g O >> >> > > >
g/i
donde : g g/i es la proyeccin natural v v+i y adems, tenemos o a g/ Ker (g). = 2 (Segundo Teorema de Isomorsmo). Si i y j son ideales de g, entonces (i + j)/j i/(i j). = 3 (Tercer Teorema de Isomorsmo). Si i y j son dos ideales de g con i j, entonces j/i es un ideal de g/i y adems, a g/i = g/j. j/i 4 (Teorema de Correspondencia). Todo ideal de g/i es de la forma j/i, donde j es un ideal de g que contiene a i. El que desee ver la demostracin, puede hacerlo en [11](p. 10). Como o un caso particular del primer Teorema de Isomorsmo, tenemos el siguiente resultado. Corolario 4.4. (Teorema Fundamental de Homomorsmos). Para cada ideal i de una lgebra de Lie g, existe un homomorsmo de lgebras de Lie a a tal que Ker = i.
74
Algebras de Lie
4.3
Algebras de Lie lineales
Los ejemplos ms clasicos de lgebras de Lie son presisamente las lgebras a a a de Lie de matrices. Ya conocemos el lgebra general lineal, introducida en el a Ejemplo 4.1.2. Una lgebra de Lie se dice ser una lgebra de Lie lineal si es a a una sublgebra de gl(V) o bien de gl(n, F). a Aqu se trabajar con gl(n, F), ya que las matrices son ms convenientes a a que las transformaciones lineales para hacer clculos explicitos, que es lo que a se quiere hacer en esta seccin. o Fijemos la base estndar de gl(n, F) que est conformada por las matrices a a con un 1 en una entrada determinada y cero en las dems entradas, es decir, a ij ij i j Ekl = (ekl ), con ekl = k l , donde
i k ki = def
1 si i = k 0 en otro caso
es el s mbolo de Kroneker. Adems, no es dicil encontrar la relacin a o [Eij , Ekl ] = jk Eil li Ekj ; ntese que las constantes de estructura de gl(n, F) son 1 o cero. o Ahora, presentaremos cuatro familias muy importantes de lgebras de Lie a lineales, llamadas lgebras de Lie clsicas y denotadas tradicionalmente por a a las letras A , B , C y D : A Consideremos el subespacio de gl(n, F) conformado por las matrices de traza cero y denotemoslo por sl(n, F). Por las propiedades de la traza, en particular tr(AB) = tr(BA), es fcil vericar que tr([A, B]) = 0 por a lo que [sl(n, F), sl(n, F)] sl(n, F). As sl(n, F) es una sublgebra de , a gl(n, F) a la cual le llamaremos el lgebra especial lineal. a Si n = +1, entonces claramente dim sl(n, F) (+1)2 1. Exhibamos un subconjunto linealmente independiente de sl(n, F) con ( + 1)2 1 elementos: Primero, seleccionemos las matrices Eij con i = j, las cuales acumulan un total de ( + 1)2 ( + 1) elementos. Ahora, recolectemos las matrices Hi = Eii Ei+1,i+1 para un total de ( + 1)2 ( + 1) + elementos en la base, que la veremos como la base estndar de sl(n, F). a (4.2)
4.3 Algebras de Lie lineales
75
C Sean n = 2 y : F2 F una forma simplctica (es decir, una forma e bilineal, antisimtrica y no-degenerada); la matriz W de es e W = 0 I . I 0
Se puede demostrar que la restriccin en la dimensin del espacio es o o necesaria para la existencia de . Denotemos por sp(2, F) al conjunto de todas las matrices A que satisfacen la ecuacin o W A + AT W = 0; es claro que si A, B sp(2, F), entonces W [A, B] + [A, B]T W = W (AB BA) + (AB BA)T W = W AB W BA + B T AT W AT B T W = W AB + B T W A + B T AT W + AT W B = W A + AT W B + B T W A + AT W = 0B + B T 0 = 0, por lo que sp(2, F) es una sublgebra de gl(2, F) a la cual llamaremos a el lgebra simplctica. Si escribimos a e A= M N , P Q
entonces las matrices M, N, P y Q deben satisfacer las condiciones N T = N, PT = P y M T = Q;
la ultima igualdad fuerza a que tr A = 0, es decir, sp(2, F) sl(2, F). Una base para sp(2, F) est dada por las matrices diagonales Ei,i a 2 Ei+,i+ , junto con las matrices Eij Ej+,i+ para i = j; para la 1 matriz N , seleccionamos las matrices Ei,i+ y las 2 ( 1) matrices Ei,j+ + Ej,i+ con i < j. Similarmente para la matriz P , tomamos las 1 matrices Ei+,i y las 2 ( 1) matrices Ei+,j + Ej+,i con i < j. En total, recolectamos 22 + matrices bsicas para sp(2, F). a
76
Algebras de Lie
B Sean n = 2 + 1 y B una forma bilineal simtrica con matriz e 1 0 0 B = 0 0 I . 0 I 0 Denotemos por o(2 + 1, F) al conjunto de matrices A que satisfacen la ecuacin o BA + AT B = 0. La demostracin de que o(2 + 1, F) es cerrada bajo el conmutador es o anloga a la de sp(n, F), ya que el requerimiento es el mismo. A sta a e sublgebra de gl(2 + 1, F) se le llama el lgebra ortogonal impar. Si a a escribimos a11 a12 a13 A = a21 M N , a31 P Q entonces tenemos las siguientes condiciones sobre las componentes de A: a11 = 0, a21 = aT , a31 = aT , 13 12 Q = M T , N T = N y P T = P ; como se obtuvo para sp(n, F), por a11 = 0 y Q = M T se muestra que tr A = 0 de donde se concluye que o(2 + 1, F) sl(2 + 1, F). Para formar una base, escoja las matrices diagonales Eii E+i,+i , con 2 i +1, y aada las 2 matrices E1,i++1 Ei+1,1 y E1,i+1 Ei++1,1 . n Para Q tome las 2 matrices Ei+1,j+1 Ej++1,i++1 con i = j; para N y P , seleccione las ( 1) matrices Ei+1,j++1 + Ej+1,i++1 y Ei++1,j+1 + Ej++1,i+1 con i = j. Todo esto nos da un total de 22 + elementos de la base. D Si ahora n = 2 y B tiene como matriz B= 0 I , I 0
77
denimos o(2, F) de modo anlogo al de o(2 + 1, F) y le llamamos el a lgebra ortogonal par. Si A o(2, F) la escribimos a A= se obtienen las relaciones M T = Q, N T = N y P T = P, M N , P Q
y nuevamente se tiene la contencin o(2, F) sl(2, F). o Para obtener una base de o(2, F) basta con tomar las matrices diagonales Eii E+i,+i junto con las 2(2 ) matrices Ei,j Ej+,i+ para Q, Ei,j+ + Ej,i+ para N y Ei+,j + Ej+,i para P , todas con i = j. En total, tenemos que la dimensin de o(2, F) es 22 . o Ms adelante veremos la importancia de estas cuatro familias de lgebras de a a Lie. Por el momento, comentaremos que los nombres de stas lgebras se e a deben a la estrecha relacin que tienen con los grupos clsicos de Lie. Podeo a mos demostrar que A1 B1 C1 , D1 es el lgebra abeliana de dimensin 1, a o = = C2 y D3 A3 . B2 = = Sea s(n, F) el conjunto de matrices escalares, es decir, mltiplos escalares u de la matriz identidad. Es obvio que s(n, F) es una sublgebra de gl(n, F) a y adems, [A, B] s(n, F) cuando el campo F es de caracter a / srica cero, pues de lo contrario, 0 = tr[A, B] = tr aI = an. Tambin es evidente que e s(n, F) Z(gl(n, F)); si A Z(gl(n, F)), entonces A conmuta con las matrices de la forma E1,i lo que implica que A s(n, F). Calculemos gl(n, F) . Por las propiedades de la traza, sabemos que se satisface la contencin gl(n, F) sl(n, F). De las relaciones dadas en (4.2), o podemos ver que si i = l y j = k, se tiene que gl(n, F) [Eij , Ejl ] = Eil sl(n, F) y para i = l, j = k = i + 1 tenemos que Hi gl(n, F) ; como los elementos bsicos de sl(n, F) estn en gl(n, F) , se tiene sl(n, F) gl(n, F) y a a se sigue la igualdad. Ms an, si i > l y j > i o bien i < l y j < i, todas las a u matrices en [Eij , Ejl ] = Eil tienen traza cero as como Hi = [Ei,i+1 , Ei+1,i ], lo que muestra que sl(n, F) = sl(n, F).
78
Algebras de Lie
Otra observacin es que, cuando la caracter o stica del campo es cero, se tiene la descomposicin o gl(n, F) = sl(n, F) s(n, F), ya que sl(n, F) s(n, F) = {0} y cada matriz A = (aij ) gl(n, F) se puede escribir como A = B + C, con B = (bij ) sl(n, F) y C = kI s(n, F), donde k= 1 tr A, n bii = aii k, bij = aij para i = j.
Cuando la caracter stica del campo divide a n, se puede mostrar que s(n, F) es el centro de sl(n, F) y la descomposicin antes mencionada de una matriz o en gl(n, F) como suma de una matriz de traza cero y un mltiplo escalar de u la identidad no es unica. Denamos t(n, F) como el conjunto de todas las matrices cuadradas de orden n que son triangulares superiores, es decir, aquellas matrices A = (aij ) con aij = 0 para i > j, es decir, t(n, F) = {(aij ) gl(n, F) : aij = 0 para i > j} . Es fcil ver que t(n, F) es una sublgebra de gl(n, F), pues si A, B t(n, F), a a entonces [A, B] =
k def
aik bkj bik akj
y sta matriz tiene ceros en las componentes para las cuales i > j, pues si e se tiene sta desigualdad, es necesario que k i para que aik = 0, pero esto e forza a que bkj = 0 y de modo similar para bik y akj . A sta lgebra de Lie se le conoce como el lgebra de matrices triangulares e a a superiores de orden n.
1 Adems, la dimensin de t(n, F) es 2 n(n + 1) y la base estndar es el a o a conjunto de matrices Eij con i j. No es dif ver que t(n, F) es una cil sublgebra auto-normalizada de gl(n, F). a
79
Ahora, consideremos las matrices triangulares estrictamente superiores y denotemos a ste conjunto por n(n, F), es decir, e n(n, F) = {(aij ) gl(n, F) : aij = 0 para i j}. Es claro que n(n, F) t(n, F) y podemos vericar directamente la contencin o [n(n, F), n(n, F)] n(n, F). As n(n, F) es una sublgebra de t(n, F). , a A sta lgebra de Lie le llamaremos el lgebra de las matrices triangulares e a a superiores nilpotentes de orden n.
1 Es evidente que la dimensin de n(n, F) es 2 n(n 1) y la base estndar o a est conformada por las matrices Eij con i < j. Adems, podemos ver que a a N (n(n, F)) = t(n, F). def
Finalmente, consideremos el conjunto de matrices diagonales d(n, F) = {(aij ) gl(n, F) : aij = 0 para i = j}, el cual es claramente una sublgebra de gl(n, F) ya que la suma y el producto a de matrices diagonales es nuevamente una matriz diagonal. De hecho, d(n, F) es una sublgebra de t(n, F). a A sta lgebra de Lie se le llama el lgebra de matrices diagonales de e a a orden n. La dimensin de d(n, F) es n y la base estndar tiene como elementos a las o a matrices Eii . Se puede ver que d(n, F) es una sublgebra auto-normalizada a de gl(n, F) y tambin que d(n, F) es una lgebra abeliana. e a Evidentemente, podemos descomponer a t(n, F) como suma directa de los subespacios n(n, F) y d(n, F), es decir, t(n, F) = n(n, F) d(n, F) . Adems, si D d(n, F) y N n(n, F), entonces [D, N ] n(n, F). Esto a muestra que el lgebra derivada de t(n, F) es n(n, F) y que d(n, F) no es un a ideal de t(n, F). Estas tres sublgebras lineales jugarn un papel importante en la teor a a a ms adelante. a
def
80
Algebras de Lie
4.4
Representaciones y la forma de Killing
En esta seccin, presentaremos una herramienta algebraica que resulta ser o conveniente, pues hace un v nculo entre el estudio algebraico de las lgebras a de Lie con el estudio de operadores lineales en un espacio vectorial. Denicin 4.10. Una representacin de una lgebra de Lie g en un eso o a pacio vectorial V sobre F es un homomorsmo : g gl(V).
Diremos que la representacin es el si es un monomorsmo. Si o Ker = 0, se tiene una representacin inducida en el cociente g/ Ker de la o manera que indica el Teorema 4.3 en su pare 1. La representacin trivial es o la representacin en el espacio de dimensin 1 donde todos los operadores o o son cero. Si tenemos dos lgebras de Lie g y h y contamos con una representacin de a o g en derivaciones de h, es decir, un homomorsmo : g der(h), podemos dotar al conjunto g h de una estructura de lgebra de Lie: las operaciones a de espacio vectorial se denen por componentes y el producto lo denimos usando la representacin , es decir, si (v 1 , w1 ), (v 2 , w2 ) g h o [(v 1 , w1 ), (v 2 , w2 )] = [v 1 , v 2 ]g, [w1 , w2 ]h + (v 1 )(w2 ) (v 2 )(w1 ) , lo cual le da estructura de lgebra de Lie al producto cartesiano. Esta lgebra a a de Lie se llama la suma semidirecta de las lgebras g y h y lo denotaremos a por el s mbolo g h. Se puede ver que si es la representacin trivial, entonces la suma semidio recta g h es precisamente la suma directa g h.
Representacin adjunta o
Una representacin muy importante en el estudio de las lgebras de Lie, es o a la representacin adjunta la cual es dene por o Esta es una representacin leg o tima, pues es claro que ad es lineal y adems a ad[v, w](u) = [[v, w], u] = [v, [w, u]] + [[v, u], w] = [v, [w, u]] [w, [v, u]] = ad v([w, u]) ad w([v, u]) = ad v ad w(u) ad w ad v(u) = [ad v, ad w](u). ad : g v ad v der(g) gl(g).
4.4 Representaciones y la forma de Killing
81
El kernel de ad consiste de todos los vectores v g tales que ad v 0, es decir, todos los vectores v g que satisacen ad v(w) = [v, w] = 0 para todo w g. En otras palabras, Ker ad = Z(g). El Primer Teorema de Isomorsmo (Teorema 4.3, parte 1) tiene una importante consecuencia: Corolario 4.5. Toda lgebra de Lie simple tiene una representacin el. En a o otras palabras, si g es una lgebra de Lie simple, entonces es isomorfa a una a lgebra de Lie lineal. a Demostracin. Como g es simple, Z(g) = 0 y as ad es un monomorsmo. o ,
Esta es una versin debil del Teorema de Ado, que establece que toda o lgebra de Lie de dimensin nita sobre un campo de caracter a o stica cero tiene una representacin el (ver [6], p. 202). Para el caso de caracter o stica p, el resultado se conoce con el nombre de Teorema de Iwasawa y se puede encontrar en [6] (p. 203). Denotaremos por ad g a la imagen de g bajo ad en gl(g) y la llamaremos el lgebra adjunta de g. Claramente, ad g es un ideal en der(g) gl(g) que a se verica mediante el siguiente clculo: Sea D der(g), entonces a [D, ad v](w) = D ad v(w) ad vD(w) = D([v, w]) [v, D(w)] = [v, D(w)] + [D(v), w] [v, D(w)] = [D(v), w] = ad D(v) (w) ad g.
Forma de Killing
En esta subseccin, estudiaremos una forma de traza inducida por la repreo sentacin adjunta de una lgebra de Lie. o a Denicin 4.11. Sea g una lgebra de Lie y ad la representacin adjunta o a o de gLa forma de Killing de g se dene como la funcin o (v, w) (v, w) = tr (ad v ad w) . Por las propiedades de la forma de traza, la forma de Killing de una lgebra de Lie es una forma bilineal simtrica en g. a e
82
Algebras de Lie
Ejemplo 4.4.1. Supongamos que la caracter stica de F no es 2 y consideremos el lgebra sl(2, F) con la base usual a x= 0 1 ,h = 0 0 1 0 ,y = 0 1 0 0 1 0 .
Es fcil vericar las siguientes relaciones para estos elementos bsicos: a a [h, x] = 2x, [h, y] = 2y, [x, y] = h; (4.3)
as obtenemos las matrices de los operadores adjuntos: , 2 0 0 0 , ad h = 0 0 0 0 2 0 2 0 0 1 ad x = 0 0 0 0
Si tomamos v = v 1 x + v 2 h + v 3 y sl(2, F), entonces (v, v) = (v 1 )2 (x, x) + (v 2 )2 (h, h) + (v 3 )2 (y, y) +2 v 1 v 2 (x, h) + v 1 v 3 (x, y) + v 2 v 3 (h, y) . Por otra parte, podemos ver que (xx) = (xh) = (hy) = (yy) = 0, (x, y) = 4 y (h, h) = 8, con lo que se inere la relacin o (v, v) = 8[(v 2 )2 + v 1 v 3 ] = 4 tr(v 2 ). (4.4)
0 0 0 ad y = 1 0 0 . 0 2 0
Expandiendo linealmente (v + w, v + w) y usando la relacin (4.4), se o obtiene la expresin o (v, w) = 4 tr(vw). (4.5)
4.4 Representaciones y la forma de Killing
83
Ejemplo 4.4.2. Considere gl(2, F) con la base usual {Ekl }. Si v gl(2, F), el operador (ad v)2 transforma a w en v 2 w 2vwv + wv 2 y si v = aE11 + bE12 + cE21 + dE22 , la matriz de ste operador es e 2bc ac + cd ab + bd 2bc ab + bd 2bc + (a d)2 2b2 ab bd 2 , (ad v) = 2 ac + cd 2c2 2bc + (a d) ac cd 2bc ac cd ab bd 2bc de donde podemos ver que (v, v) = 8bc + 2(a d)2 = 4 tr(v 2 ) 2 (tr v)2 . Con un razonamiento similar al empleado en el Ejemplo 4.4.1, obtenemos la expresin de la forma de Killing o (v, w) = 4 tr(vw) 2 tr v tr w. Se puede vericar que la forma de Killing de gl(n, F) es (v, w) = 2n tr(vw) 2 tr v tr w. La forma de Killing es asociativa en el sentido de que ([v, w], u) = (v, [w, u]), como se demuestra en el siguiente clculo: a ([v, w], u) = = = = = = tr (ad v ad w ad w ad v) ad u tr (ad v ad w ad u ad w ad v ad u) tr(ad v ad w ad u) tr(ad w ad v ad u) tr(ad v ad w ad u) tr(ad v ad u ad w) tr ad v(ad w ad u ad u ad w) (v, [w, u]).
En otras palabras, ad es antisimtrico con respecto a . Otra propiedad e de la forma de Killing es que es invariante bajo automorsmos: Sea un automorsmo de g, entonces ad (v)(u) = [(v), u] = ([v, 1 (u)]) = ad v1 (u), para todo u g y as ((v), (w)) = tr ad (v) ad (w) = tr( ad v1 ad w1 ) = tr(ad v ad w) = (v, w).
84
Algebras de Lie Del mismo modo, es (innitesimalmente) invariante bajo derivaciones: (D(v), u) + (v, D(u)) = 0.
Si i es un ideal de g, con forma de Killing , y i es la forma de Killing de i, visto como lgebra de Lie, entonces |ii = i. Esto es puede ver de la a siguiente manera: si tenemos una base de i y la extendemos a una base de g, tendremos que la matriz del operador ad v ad w, para v, w i, con respecto a esta base tiene la forma A B , 0 0 donde A es la matriz del operador ad v ad w : i i. Denicin 4.12. Diremos que es no-degenerada si el conjunto o R = {v g : (v, w) = 0 para todo w g} es nulo. A ste conjunto se le llama el radical de . Es fcil ver que R es una e a sublgebra de g. De hecho, la antisimetr de ad con respecto de hace a a de R un ideal, como se puede vericar mediante clculos rutinarios que no a atenderemos aqu . Un resultado sencillo de Algebra Lineal, pero que es de mucha utilidad, es el siguiente: Teorema 4.6. Sea B = {e1 , e2 , . . . , en } una base para una lgebra de Lie g a con forma de Killing , entonces es no-degenerada si y slo si la matriz o (e1 , e1 ) (e1 , e2 ) (e1 , en ) (e2 , e1 ) (e2 , e2 ) (e2 , en ) . . . ... . . . . . . (en , e1 ) (en , e2 ) (en , en ) tiene determinante diferente de cero. Se puede ver la demostracin de ste hecho, en una versin mas general, o e o en [10] (p. 236).
4.5 Teorema de Weyl y representaciones de sl(2, F)
85
4.5
Teorema de Weyl y representaciones de sl(2, F)
En sta seccin se presentarn cuatro resultados que tienen concecuencias e o a muy fuertes en el trabajo que realizaremos en el ultimo cap tulo (para las demostraciones, ver [4]). Un modulo sobre g, o bien, un g-modulo es un espacio vectorial V dotado de una operacin, o accin, de g que denotaremos g V (v, a) v.a V o o que satisface las siguientes propiedades para todos a, b, v, w F, v, w g y a, b V: (M1) (vv + ww).a = vv.a + ww.a, (M2) v.(aa + bb) = av.a + bv.b, (M3) [v, w].a = v.w.a w.v.a. Un subespacio W cerrado bajo la accin de g, g.W W, es llamado un o g-submodulo. Claramente, 0 y V son g-submodulos (triviales) de V. Diremos que V es un g-modulo irreducible si no posee g-submodulos propios. Teorema 4.7. (Weyl) Sea V un g-modulo de dimensin nita con g una o lgebra semisimple, entonces V es suma directa de g-submodulos irreducibles. a De aqu en lo que resta de la subseccin, consideraremos solamente sl(2, F) o modulos. Recordemos la base estandar para sl(2, F), conformada por las matrices 0 0 1 0 0 1 , ,y = ,h = x= 1 0 0 1 0 0 con las relaciones [h, x] = 2x, [h, y] = 2y y [x, y] = h. Sea V un modulo. Como h es diagonal, entonces acta diagonalmente y u as V = V , donde V = {a V : h.a = a} con F. Los valores , para los cuales V = 0 son llamados pesos de h. Lema 4.8. x.V V+2 y y.V V2 . Como la dimensin de V es nita, debe de existir V = 0 tal que V+2 = o 0. Cualquier vector diferente de cero a en V con x.a = 0 es llamado vector maximal de peso .
86
Algebras de Lie
Proposicin 4.9. Supongamos que V es irreducible y escoja un vector maxo imal m0 de peso . Dena m1 = 0 y para todo entero no negativo k, 1 mk = k! y k .m0 , entonces para k 0 h.mk = ( 2k)mk , y.mk = (k + 1)mk+1 , x.mk = ( k + 1)mk1 .
Se puede ver que una base para V es {m, m1 , . . . , mm }. Adems, = a m = dim V 1, es decir, el peso de un vector maximal es un entero no negativo; lo llamaremos el peso mas alto. Ahora, presentamos el resultado principal de esta subseccin. o Teorema 4.10. Sea V un modulo irreducible. (1) Relativo a h, V es suma directa de espacios V , con = m, m 2, . . . , (m 2), m, donde m = dim V + 1 y dim V = 1 para cada . (2) V tiene un unico vector maximal, salvo mltiplos escalares, cuyo peso u es m. (3) La accin de sl(2, F) est determinado por las frmulas de la Proposicin o a o o 4.9, con una base correctamente seleccionada. Como concecuencia directa, tenemos el siguiente Corolario 4.11. Sea V un modulo de dimensin nita, entonces los valores o propios de h son todos enteros, y cada uno de ellos aparece junto con su negativo un nmero igual de ocaciones. Ms an, en cualquier descomposicin u a u o de V en submodulos irreducibles, el nmero de sumandos es presisamente u dim V0 + dim V1 .
Cap tulo 5 Teor estructural a

Este cap tulo esta dedicado al estudio de tres tipos especiales de lgebras de a Lie y se pretende poner de maniesto tal importancia. Los nombres de los conceptos aqu presentados tienen mucha relacin con los conceptos anlogos o a en la Teor de Grupos. a
5.1
Solubilidad y nilpotencia
Primero estudiaremos las lgebras solubles, que darn lugar a las lgebras a a a semisimples, las cuales ocuparn gran parte de nuestra atencin en lo que a o resta de este trabajo.
Algebras solubles
Denimos una sucesin de subconjuntos de una lgebra de Lie g como sigue: o a g(0) = g,
def
g(1) = g ,
g(2) = (g ) ,
...
g(k) = (g(k1) ) ,
...
Esta sucesin es llamada la serie derivada de g. o Un elemento v en g(k) se puede expresar como combinacin lineal de elo (k1) ementos de la forma [u, w], donde u, w g . En tal caso, escribiremos el s mbolo v = v uw[u, w] para denotar a los elementos de g(k) , donde u y w estan en g(k1) .
87
88
Teor estructural a
Claramente, g(k) g(k+1) y cada termino de la serie es un ideal de g como se demuestra a continuacin: Para k = 0 es claro. Supongamos que o (k1) g es un ideal de g, entonces para v g(k) = [g(k1) , g(k1) ], digamos v=
v uw[u, w], y x g tenemos que
[v, x] =
uw
[[u, w], x] =
v uw [[w, x], u] + [[x, u], w] g(k) .
De hecho, se puede demostrar que cada trmino de esta serie es un ideal e caracter stico de g. Denicin 5.1. Diremos que g es soluble si g(k) = 0 para algn k. o u De inmediato podemos obtener la siguiente caracterizacin para la soluo bilidad de un lgebra de Lie: a Teorema 5.1. Un lgebra de Lie g es soluble si y slo si existe una cadena a o de sublgebras g0 = g g1 gk = 0 tal que gi+1 es ideal de gi con a cociente abeliano. Demostracin. () Tome la serie derivada. () El hecho de que g(k) gk o es consecuencia de la minimalidad de cociente abeliano de los factores de la serie derivada. Ejemplos de lgebras solubles son las lgebras abelianas y ejemplo de a a lgebras que no son solubles son las lgebras simples. Mas adelante, veremos a a una relacin entre las lgebras solubles y el lgebra de matrices triangulares o a a superiores estudiada anteriormente. Otros resultados notables se resumen en la siguiente: Proposicin 5.2. Sea g un lgebra de Lie. o a 1 Si g es soluble, entonces toda sublgebra e imagen homomorca de g lo a son. 2 Si i es un ideal soluble de g tal que g/i es soluble, entonces g es soluble. 3 Si i y j son ideales solubles de g, entonces tambin lo es i + j. e 4 g es soluble si y slo si ad g es soluble. o
5.1 Solubilidad y nilpotencia La prueba se puede ver en [4] (p. 11).
89
Si i es un ideal soluble maximal de un lgebra de Lie g y j es cualquier a ideal soluble de g, entonces la parte 3 del Lema 5.2 implica que i + j = i por maximalidad, es decir, hay un unico ideal soluble maximal. A tal ideal lo llamaremos el radical de g y lo denotaremos por radg. Esta discusin nos o permite denir un tipo especial de lgebras de Lie. a Denicin 5.2. Diremos que un lgebra de Lie es semisimple si su radical o a es cero. En la siguiente seccin nos dedicaremos al estudio de algunas de las o propiedades principales de las lgebras de Lie semisimples, por el momento, a slo presentaremos dos resultado sobre lgebras de Lie semisimples. o a Teorema 5.3. Si g es una lgebra de Lie, entonces g/radg es una lgebra de a a Lie semisimple. Demostracin. radg/radg es un ideal soluble de g/radg y por el Teorema 4.3 o en su parte 4, existe un ideal i tal que i/radg = radg/radg . Por la parte 2 de la Proposicin 5.2, i es soluble y por maximalidad, i = radg. En consecuencia, o tenemos que radg/radg = 0 + radg. Teorema 5.4. Toda lgebra de Lie simple es una lgebra de Lie semisimple. a a Demostracin. Si g es simple, entonces no puede ser soluble y radg es un o ideal soluble de g, por lo que radg = g. Esto fuerza a tener radg = 0. Mas adelante estableceremos una descomposicin de una lgebra de Lie o a semisimple como una suma directa de sus ideales simples, la cual tendr a consecuencias interesantes como se ver en la ultima seccin de este cap a o tulo.
Algebras nilpotentes
Un concepto ms moderno que la solubilidad es la nilpotencia. En esta suba seccin estudiaremos este tipo de lgebras de Lie y veremos una relacin o a o entre la nilpotencia y la solubilidad. Denimos ahora una nueva sucesin se subconjuntos de una lgebra de o a Lie g de manera recursiva como sigue: g0 = g, para k N gk = [gk1 , g].
90
Teor estructural a
A esta sucesin se le conoce con el nombre de la serie central de g. o Note que el k-esimo trmino de la serie derivada g(k) est contenida en el e a correspondiente k-esimo trmino de la serie central gk . e A cada elemento v de gk lo podemos expresar como combinacin lineal o k1 de elementos de la forma [u, w], donde u g y w g. En este caso, uw escribiremos el s mbolo v = v [u, w] para representar a los elementos de gk como una combinacin lineal de los elementos de u gk1 y w g. o Cada trmino de la serie central es un ideal de g. En efecto, g0 es un ideal e de g y si supongamos que gk1 es un ideal de g y tomemos v = v uw[u, w] gk con u gk1 y w g. Para todo x g tenemos [v, x] = v uw[[u, w], x] = v uw([[w, x], u] + [[x, u], w]) gk ,
ya que [[w, x], u] [g1 , gk1 ] gk y [[x, u], w] [gk1 , g] = gk . Como en el caso de la serie derivada, los trminos en la serie central son ideales e caracter sticos de g. Denicin 5.3. Diremos que g es nilpotente si gk = 0 para algn k. o u Las lgebras abelianas son nilpotentes y a su vez las lgebras nilpotentes a a son solubles, pero soluble no implica nilpotente (ver el Ejemplo 4.1.5). Un resumen de algunas propiedades notables se presentan en el siguiente resultado: Proposicin 5.5. Sea g un lgebra de Lie. o a 1 Si g es nilpotente, entonces toda sublgebra e imagen homomorca de a g es nilpotente y Z(g) = 0. 2 Si i es un ideal nilpotente de g y g/i es nilpotente, entonces g es nilpotente. En particular, si g/Z(g) es nilpotente, entonces g tambin lo e es. 3 Si i y j son ideales nilpotentes de g, entonces i + j es nilpotente. 4 g es nilpotente si y slo si ad g es nilpotente. o
5.1 Solubilidad y nilpotencia La demostracin se puede encontrar en [4] (p. 12). o
91
La condicin de nilpotencia para un lgebra de Lie g se puede reescribir o a de la siguiente forma: para algn nmero natural n y cualquier conjunto de u u vectores v 1 , v 2 , . . . , v n , w g, tenemos ad v 1 ad v 2 ad v n (w) = 0. En particular, (ad v)n = 0, es decir, si g es nilpotente, entonces ad g consiste de operadores nilpotentes. Diremos que un elemento v en g es ad-nilpotente si ad v es nilpotente en der(g). Ahora, tenemos el siguiente resultado: Proposicin 5.6. Si A gl(V) es un operador nilpotente, entonces es ado nilpotente. Demostracin. Si denimos los operadores o LA : gl(V) B AB gl(V) y RA : gl(V) B BA gl(V), es evidente que ad A = LA RA . Ahora, los operadores LA y RA son nilpotentes ya que Lk = LAk = L0 para algn k y analogamente, para RA se tiene u A k RA = RAk = R0 para algn k. u Adems, son operadores que conmutan, es decir, LA RA = RA LA y por el a Teorema del Binomio de Newton, podemos expandir (ad A)k = (LA RA )k como la suma k (1)r k Lkr Rr . r A A r=0 Supongamos que k1 es el menor entero positivo para el cual Ak1 = 0 y tomemos k = 2k1 1. Si k r k1 , entonces r k k1 = k1 y se tiene Rr = 0. Del mismo modo, si k r > k1 , entonces Rkr = 0 y as , A A
k
(ad A) =
r=0
(1)r
k r
Lkr Rr = 0. A A
92
Teor estructural a
5.2
Criterios de solubilidad y nilpotencia
Aqu presentaremos tres criterios para determinar la nilpotencia o solubili, dad de un lgebra de Lie. a
Teorema de Engel
Hemos visto que cuando un lgebra de Lie g es nilpotente, entonces todos a sus elementos son ad-nilpotentes. Aqu veremos que lo rec proco tambin es e vlida: a Teorema 5.7. (Engel). Si todo elemento de g es ad-nilpotente, entonces g es nilpotente. Para la demostracin, necesitamos del siguiente lema. o Lema 5.8. Sea g una sublgebra de gl(V), con V un espacio de dimensin a o nita. Si g consiste de operadores nilpotentes y V = 0, entonces existe un vector no cero a V para el cual g.a = 0. La demostracin se deduce en cuatro pasos (para los detalles, ver [4], p. o 13): 1. Se demuestra que toda sublgebra propia h de g est contenida propia a amente en su normalizador. 2. Tomemos h maximal para tener N (h) = g. Se prueba que h es un ideal de codimensin 1. o 3. Se muestra que el subespacio A = {a V : h.a = 0} = 0 es estable bajo g. 4. Escriba g = h Span{z}, con z h. Luego, cualquier vector propio / de z en A termina la prueba. Demostracin. (Teorema de Engel). La sublgebra ad g de gl(g) consiste o a de operadores nilpotentes, y por el Lema 5.8, existe v = 0 en g tal que [g, v] = 0, es decir, v Z(g). Ahora, g/Z(g) consiste de elementos adnilpotentes y tiene dimensin menor que g. Por hiptesis inductiva, g/Z(g) o o es nilpotente y la Proposicin 5.5 parte 2 implica que g es nilpotente. o
5.2 Criterios de solubilidad y nilpotencia
93
Ejemplo 5.2.1. Considere el lgebra de matrices nilpotentes de orden n a sobre el campo F, es decir, n(n, F). Por la Proposicin 5.6, n(n, F) consiste o de elementos ad-nilpotentes y por el Teorema de Engel, n(n, F) es nilpotente. El siguiente resultado nos hace ver que tan comn en el lgebra de matrices u a triangulares superiores nilpotentes entre las lgebras de Lie nilpotentes. a Corolario 5.9. Sea V un espacio vectorial de dimensin nita positiva. Si g o es una sublgebra de gl(V) que consiste de operadores nilpotentes, entonces a existe una cadena de subespacios de V 0 = W0 W1 Wn = V, con dim Wk = k y g.Wk Wk1 para toda k. En otras palabras, existe una base de V para la cual, todas las matrices de g estan en n(n, F). Demostracin. Si a es un vector no nulo de V con g.a = 0 y denimos o el subespacio W1 = Span{a}; la accin inducida de g en V/W1 , es por o operadores nilpotentes. Por induccin sobre dim V, V/W1 posee una cadena o de subespacios que satisface la conclusin del Corolario y la imagen inversa o de sta cadena en V, tambin lo hace. e e Proposicin 5.10. Sea i un ideal no nulo de una lgebra de Lie nilpotente o a g, entonces i Z(g) = 0. Demostracin. g acta en i mediante la representacin adjunta y el Lema o u o 5.8 asegura la existencia de un vector no nulo a i con [g, a] = 0 y tenemos que a i Z(g).
Teorema de Lie
El Teorema de Lie es similar al Teorema de Engel, la diferencia es que se trabaja con una lgebra soluble en lugar de una nilpotente y es necesario a pedir dos propiedades importantes al campo: algebraicamente cerrado y de caracter stica cero. De aqu en adelante, siempre se tendr sta hiptesis. ae o Antes de enunciar el resultado importante de esta subseccin, mostraremos o un lema que es anlogo al Lema 5.8. a Lema 5.11. Sean V un espacio vectorial no nulo de dimensin nita y g o una sublgebra soluble de gl(V), entonces V contiene un vector propio comn a u para todos los endomorsmos en g.
94
Teor estructural a La demostracin se deduce de los siguientes cuatro pasos: o 1. Se encuentra un ideal h de codimensin 1. o 2. Se muestra que existen vectores propios comunes a todos los endomorsmos en h. 3. Dena el subespacio W = {b V : v.b = (v)b, para todo v h} y se muestra que este subespacio es invariante bajo la accin de g (la o hiptesis de que la caracter o stica del campo es cero es importante). 4. Escriba g = h Span{z}, donde z g h; luego, encuentre un vector propio de z en W (la hiptesis de que F es algebraicamente cerrado es o crusial).
El vector propio de z en W es claramente un vector propio comun a todos los endomorsmos de g en V. Para la persona que desee revisar los detalles de la prueba, se recomienda consultar [4] (p. 15). Teorema 5.12. (Lie) Sea g una sublgebra soluble de gl(V), con dim V = a m < , entonces existe una cadena de subespacios de V de la forma 0 V1 Vm = V, con dim Vi = i y la imagen de Vi bajo g est contenida en Vi . Es decir, a las matrices de los operadores en g con respecto a alguna base de V son triangulares superiores de orden m. Demostracin. Procederemos por induccin sobre dim V. El caso dim V = 0 o o es evidente, as que supondremos cierta la armacin del Teorema para todo o espacio vectorial de dimensin menor que dim V. Encontremos un vector o no nulo a de V que sea vector propio comn a todos los operadores de u g y denamos W1 = Span{a}. Luego, g acta en V/W1 y es claro que u dim V/W1 = dim V 1 < dim V; por hiptesis inductiva, existe una cadena o de subespacios W2 /W1 , W3 /W1 , . . . , Wm /W1 = V/W1 que cumple con la conclusin del Teorema. Tomando la imagen inversa de o la proyeccin natural de esta cadena, se obtiene la cadena de subespacios de o V con las propiedades requeridas.
5.2 Criterios de solubilidad y nilpotencia A continuacin, veremos algunas consecuencias de ste Teorema. o e
95
Corolario 5.13. Si g es una lgebra de Lie soluble, entonces existe una a cadena de ideales 0 g1 gn = g con dim gi = i. Demostracin. Consideremos la representacin adjunta de g. Sabemos que, o o por la Proposicin 5.2, ad g es soluble y as estabiliza una cadena o , 0 g1 gn = g de subespacios con dim gi = i. El que gi sea estble bajo ad g signica que a gi es un ideal de g. Corolario 5.14. Si g es una lgebra de Lie soluble, entonces todos los elea mentos de g son ad-nilpotentes. En particular, g es una lgeba nilpotente. a Rec procamente, si g es una lgebra nilpotente, entonces g es soluble. a Demostracin. Para la primera aseveracin, supongamos que gi es una cao o dena de ideales como en el Corolario 5.13 con Bi = {v 1 , v 2 , . . . , v i } base de gi para i > 0. Las matrices de ad g con respecto a la base Bn estn en el lgebra a a de matrices triangulares superiores t(n, F) introducida en la pgina 68, as a , las matrices de [ad g, ad g] = ad[gg] = ad g estn en n(n, F) = t(n, F) . Se a sigue que cada elemento de g es nilpotente y por el Teorema de Engel, g es nilpotente. La segunda parte, se tiene porque si i > 0, tenemos g(i) = (g )(i1) (g )i1 , y (g )i1 = 0 para algn i. u Para concluir, estudiaremos un poco mas el lgebra de matrices triangua lares superiores. Ejemplo 5.2.2. Considere el lgebra t(n, F) de matrices triangulares supea riores de orden n sobre el campo F, que se supone algebraicamente cerrado y de caracter stica cero. Recordemos que t(n, F) = n(n, F) la cual vimos que es nilpotente (Ejemplo 5.2.1). Por el Corolario 5.14, concluimos que t(n, F) es soluble.
96
Teor estructural a
Criterio de Cartan
El criterio de Cartan nos permite determinar la solubilidad de una lgebra a de Lie mediante el clculo de la traza de ciertos operadores, pero antes, un a criterio para nilpotencia. Lema 5.15. Sean A B dos subespacios de gl(V), con dim V < , y def nase el subespacio M = {v gl(V) : [v, B] A} . Supongamos que v M satisface tr(vw) = 0 para todo w M. Entonces v es un endomorismo nilpotente de V. La demostracin se puede revisar en [4], pgina 19. o a Teorema 5.16. (Criterio de Cartan). Sean V un espacio vectorial de dimensin nita y g una sublgebra de gl(V). Supongamos que tr(vw) = 0 o a para todo v g y todo w g. Entonces g es soluble. Demostracin. Bastar con probar que g es nilpotente y a su vez, ser suo a a ciente probar que cada elemento de g es un endomorsmo nilpotente de V. Tomemos A = g y B = g, as M es el subespacio , {v gl(V) : [v, g] g } . Es claro que g M y la hiptesis del Teorema nos dice que tr(vw) = 0 o para v g y w g; as tenemos que probar que tr(vw) = 0 para v g y , w M. En efecto, si [v, u] es un generador de g y w M, entonces tr([v, u]w) = tr(v[u, w]) = tr([u, w]v) = 0, pues [u, w] g . Ahora, aplicamos el Lema 5.15 y esto termina la demostracin. o Corolario 5.17. Si g es una lgebra de Lie tal que (v, w) = 0 para v g a y w g, entonces g es soluble. Demostracin. Por hiptesis, ad g cumple las condiciones del criterio de Caro o tan, por lo que ad g es soluble. Por el Primer Teorema de Isomorsmo, ad g g/ Ker ad = g/Z(g), y como Z(g) es soluble, por la Proposicin 5.2 o = parte 2, g es soluble.
5.3 Algebras semisimples
97
5.3
Algebras semisimples
Ya se hab denido ste concepto, pero ahora, queremos enfatizar la denicin a e o que usaremos y veremos algunas caracterizaciones. Denicin 5.4. Una lgebra de Lie g es semisimple si su radical radg, su o a ideal soluble maximal, es cero. En particular, el centro de una lgebra semisimple es 0, pues el cena tro es un ideal abeliano (y por tanto, soluble). En consecuencia, ad es un monomorsmo (Ker ad = Z(g)) y g se puede ver como una lgebra de opea radores en algn espacio vectorial. As podemos denir la parte semisimple u , de un elemento v de g como aquel elemento w g tal que ad w es la parte diagonalizable en la descomposicin de Jordan del operador ad v. Del mismo o modo, se dene la parte nilpotente de v. Usualmente, denotaremos estos vectores como v s y v n , respectivamente. Otra manera de ver la semisimplicidad de una lgebra es la siguiente. a Teorema 5.18. Una lgebra de Lie es semisimple si y slo si no posee ideales a o abelianos distintos de cero. Demostracin. Cada ideal abeliano es un ideal soluble, por lo que est cono a tenido en el radical. Cuando g es semisimple y a es un ideal abeliano, tenemos a radg = 0. Rec procamente, si radg = 0 y radg = h(0) , h(1) , . . . , h(k1) , h(k) = 0 es la serie derivada del radical, entonces cada h(i) es un ideal de g y h(k1) = 0 es un ideal abeliano. Una de las herramientas que nos ayudarn en el estudio de las lgebras a a semisimples es la forma de Killing. Ya se present el Criterio de Cartan, que o nos permite saber cuando una lgebra de Lie es soluble vericando su forma a de Killing. Ahora, daremos un criterio anlogo para lgebras semisimples. a a Recordemos que la forma de Killing es no-degenerada si el ideal R = {v g : (v, w) = 0 para todo w g} , llamado el radical de , es igual a cero. Tambin, es importante recordar que e la forma de Killing de un ideal se obtiene de restringir la forma de Killing del lgebra de Lie en el producto cartesiano del ideal. a
98
Teor estructural a
Teorema 5.19. Una lgebra de Lie es semisimple si y slo si su forma de a o Killing es no-degenerada. Demostracin. () Si R es el radical de , entonces R = 0, en particular, o (v, w) = 0 para v R , w R y por el Corolario 5.17, R es soluble. Por tanto, R radg = 0. () Si es no-degenerada, bastar con probar que todo ideal abeliano a a de g est contenido en R, por el Teorema 5.18. Supongamos que v a y a w g, entonces ad v ad w : g a (ad v ad w)2 : g 0,
lo que indica que el operador ad v ad w es nilpotente y por tanto, (v, w) = tr(ad v ad w) = 0 para todo w g, es decir, a R = 0. La no-degeneracin de la forma de Killing tiene consecuencias muy imo portantes, como la identicacin cannica de g con g (ver Proposicin 1.7). o o o
Propiedades principales de las lgebras de Lie semisima ples

En esta subseccin, presentamos un resumen de las propiedades ms imporo a tantes de las lgebras semisimples que nos ayudarn a dar una clasicacin a a o completa de stas y tambin simplican el trabajo al concentrar nuestra e e atencin en los ideales simples de las lgebras semisimples. o a Comenzaremos estableciendo una descomposicin de una lgebra semisimo a ple en suma directa de ideales simples. Proposicin 5.20. Sea g una lgebra semisimple, entonces existen ideales o a simples g1 , g2 , . . . , gk tales que g = g1 g2 gk . Ms an, cada ideal simple de g coincide con uno de los gi s. a u
5.3 Algebras semisimples
99
Demostracin. Procederemos por induccin sobre dim g: Si g no tiene ideales o o propios, entonces g es simple y acabar amos con la prueba. Si suponemos lo contrario, sea h un ideal propio minimal de g. Cada ideal de h, es un ideal de g y el ideal soluble maximal de h es un ideal soluble de g, y as h es , semisimple; ms an, por minimalidad, h es simple. Por la misma razon, h a u es semisimple y dim h < dim g. Por hiptesis inductiva, h = g2 gk o con gi simple; si denimos g1 = h, tenemos el resultado. Si i es un ideal simple de g, entonces [g, i] = 0 es un ideal de i y por simplicidad, igual a i. Por otro lado, tenemos [g, i] = [gi , i]. As existe un , unico ndice i {1, 2, . . . , k} para el que [gi , i] = 0. Por tanto, i = gi . Inmediatamente, tenemos las siguientes concecuencias de tal descomposicin. o Corolario 5.21. Si g es semisimple, entonces g = g . Demostracin. Recordando la denicin del lgebra derivada tenemos o o a g = [g, g] = [gi , g] = gi = g.
Corolario 5.22. Si g es semisimple, entonces todo ideal de g es tambin e semisimple. Adems, toda imagen homomorca de g es semisimple. a Demostracin. La primera parte se demostr en la Proposicin 5.20. Ahora, o o o 1 sean : g g un epimorsmo y r el radical de g, entonces (r) = radg = 0 y como es epimorsmo, 0 = 1 (r) = r. Finalizamos esta subseccin con dos resultados mas. o Proposicin 5.23. Cada ideal de una lgebra semisimple g se escribe como o a suma de algnos de los ideales simples gi . u Demostracin. Sea h un ideal de g, entonces o h=hg=h gi = h gi , (5.1)
donde no todos los h gi son distintos de cero. Ahora, cada h gi = 0 es un ideal en el correspondiente gi y as h gi = gi . Por tanto, la suma de los ideales del lado deracho en (5.1) que no sean cero es la descomposicin del o ideal h.
100
Teor estructural a
Proposicin 5.24. Toda derivacin de una lgebra semisimple g es interior. o o a Demostracin. Como g es semisimple, su centro es cero y por tanto, g ad g, o = por lo que ad g es semisimple. Como ad g es un ideal de der(g), la forma de Killing del lgebra adjunta se obtiene de restringir la forma de Killing del a lgebra de derivaciones. Si h = ad g , entonces 0 = h ad g [h, ad g], es a decir, para cada D h y cada v g, 0 = [D, ad v](w) = (ad D(v)) (w) para todo w g. Como ad es un monomorsmo, D = 0. En consecuencia der(g) = ad g h = ad g.
Teorema de Levi-Malcev
La importancia del estudio de lgebras semisimples radica en un resultado a que presentaremos como el Teorema de Levi-Malcev, el cual, enunciaremos sin demostracin. o Teorema 5.25. (Levi-Malcev) Si g es una lgebra de Lie, entonces existen a un ideal soluble r, una sublgebra semisimple s y una representacin de s a o en r por derivaciones tal que g = s r. La demostracin de ste Teorema se puede revisar [6] (p. 91). Grcias a o e a ste teorema, vemos que si queremos conocer todas las lgebras de Lie basta e a con conocer las semisimples y las solubles.
Cap tulo 6 Ra ces de una lgebra de Lie a semisimple

En este cap tulo nos concentraremos ms en el estudio de la estructura de las a lgebras de Lie semisimples y encontraremos la relacin entre los sistemas de a o ra estudiados en el cap ces tulo 2 y las lgebras de Lie semisimples haciendo a uso del Teorema 2.9. Adems, presentamos algunos resultados importantes a como el Teorema de Isomorsmo para lgebras de Lie y el Teorema de Serre. a Recordemos que en todo este cap tulo, el campo F se supone algebraicamente cerrado y de caracter stica cero.
6.1
Descomposicin de Cartan o
En esta seccin, estudiaremos una descomporsicin de una lgebra d eLie o o a semisimple g en suma directa de subespacios proporcionada por los operadores adjuntos de una determinada sublgebra de g. Para esto, necesitamos a determinar cuales sublgebras nos son de utilidad. a
Sublgebras torales y sublgebras de Cartan a a

Si una lgebra de Lie est compuesta por elementos ad-nilpotentes, entonces a a es nilpotente (Engel). Ahora, si v es un elemento de una lgebra de Lie a g con ad v diagonalizable (ad-semisimple), entonces la sublgebra que ste a e elemento genera es una lgebra compuesta por elementos ad-semisimples. a 101
102
Ra de una lgebra de Lie semisimple ces a
Sin embargo, tal sublgebra no es semisimple. Esto muestra que existen a sublgebras con todos sus elementos ad-semisimples. a En el caso cuando g es semisimple, sabemos que g ad g y as a los , = elementos ad-semisimples los llamaremos slo semisimples. o Denicin 6.1. Sea g una lgebra de Lie. Una sublgebra h con todos sus o a a elementos ad-semisimples se llama una sublgebra toral de g. a Ejemplo 6.1.1. Considere el lgebra sl(2, C). Por las relaciones (4.3) dadas a en el ejemplo 4.4.1 (p. 72) para los elemetos h= 1 0 , 0 1 x= 0 1 0 0 y y= 0 0 , 1 0
podemos vericar que sl(2, C) es una lgebra de Lie simple cono sigue: a Si i = 0 es un ideal de sl(2, C), entonces contiene a algno de los elemenu 1 tos bsicos x, y, h. Suponga que h i, entonces [h, 2 x] = x y [h, 1 y] = y a 2 deben de ser elementos de i y vemos as que i = sl(2, C). Los casos cuando x i y y i son anlogos. De esto se concluye que sl(2, C) es una lgebra a a de Lie simple. Por el Teorema 5.4, sl(2, C) es semisimple y se puede ver que Span{h} slo contiene elementos semisimples, es decir, Span{h} es una sublgebra o a toral de sl(2, C). Un primer resultado para lgebras torales es el siguiente. a Proposicin 6.1. Toda sublgebra toral de una lgebra de Lie g es abeliana. o a a Demostracin. Si h es una sublgebra toral de g, basta con probar que los o a valores propios de ad v : h h son ceros para todos los v h. Supongamos que existe un valor propio a = 0 de ad v y sea w un vector propio asociado a dicho valor propio, entonces ad w(v) = aw es un vector propio de ad w : h h asociado al valor propio cero. Por otra parte, como ad w es diagonalizable, existe una base de g formada por vectores propios de ad w, digamos {w1 , w2 , . . . , wn }, y as podemos escribir a v como suma de vec, trores propios de ad w. Despues de aplicar ad w a v, tenemos una suma no cero de vectores propios correspondientes a valores propios distintos de cero, lo que es absurdo.
6.1 Descomposicin de Cartan o
103
Ahora, jemos una sublgebra toral maximal h. Por la Proposicin 6.1, a o ad h es una familia de endomorsmos semisimples de g que conmutan. Por el Teorema 1.6, podemos escribir a g como una suma directa de subespacios g = g , donde g = {v g : ad h(v) = (h)v para todo h h} , con h . Claramente, slo un nmero nito h satisfacen la condicin o u o g = 0. Por la Proposicin 6.1, C(h) contiene a h es claro que g0 = C(h). o Al conjunto de todos los funcionales para los que g = 0 lo denotaremos por y llamaremos a sus elementos ra de g con respecto a h. ces Denicin 6.2. Sean g una lgebra de Lie semisimple y h una sublgebra o a a toral maximal de g. La descomposicin o g = C(h) g ,
def
se le llama descomposicin de Cartan de g. o Despues veremos que la descomposicin de Cartan no depende de manera o fuerte de la sublgerba toral maximal que elijamos. a A continuacin, presentamos algunas propiedades de la descomposicin o o de Cartan de una lgebra de Lie semisimple g. a Teorema 6.2. Si g es una lgebra de Lie semisimple y h una sublgebra toral a a maximal de g de tal manera que g = C(h) g es su descomposicin o de Cartan, entonces 1. Para , h , tenemos [g , g ] g+ . 2. Si v g y = 0, entonces ad v es nilpotente. 3. Si + = 0, los espacios g y g son ortogonales con respecto a la forma de Killing. 4. La restriccin de la forma de Killing a C(h) es no-degenerada. o Demostracin. o 1. Se sigue de la identidad de Jacobi y bilinealidad del corchete de Lie.
104 2. Se sigue de la parte 1.
3. Sea h h tal que ( + )(h) = 0, enotnces para v g , w g tenemos (h)(v, w) = ([h, w], w) = (v, [h, w]) = (h)(v, w). 4. C(h) es ortogonal a todos los g , con = 0. Si v C(h) es ortogonal a C(h), entonces es ortogonal a todo g y es no-degenerada. Ahora, presentaremos mas propiedades de la descomposicn de Cartan o que la simplicaran un poco. Proposicin 6.3. Sean g una lgebra de Lie semisimple, h una sublgebra o a a toral maximal y el conjunto de ra ces de g con respecto a h. Si , entonces Demostracin. Si , entonces g = 0 y as [g , g ] = 0 para todo o / , h . Por tanto, (g , g) = 0, lo que es absurdo, pues es no-degenerada y g = 0. Ahora, veremos que h es autocentralizada. Proposicin 6.4. Sean g una lgebra de Lie semisimple y h una sublgebra o a a toral maximal de g, entonces h = C(h). La prueba se hace por pasos. Para ver los detalles, consulte [4] (p. 36). (1) C(h) contiene las partes semisimples y nilpotentes de todos sus elementos. (2) Todas las partes semisimples de los elementos de C(h) est en h. a (3) La restriccin de a h es no-degenerada. o (4) C(h) es nilpotente. (5) La interseccin de h con (C(h)) es cero. o (6) C(h) es abeliana. (7) h es autocentralizada.
6.1 Descomposicin de Cartan o Para uso posterior, enunciaremos el siguiente resultado.
105
Corolario 6.5. La foram de Killing de g restringida a h es no-degenerada. Este corolario nos permite identicar a h con su dual h mediante la relacin (h) = (k , h) como se presenta en la Proposicin 1.7. Gracias o o a la Proposicin 6.4, la descomposicin de Cartan de una lgebra de Lie o o a semisimple queda de la siguiente manera: g=h g .
(6.1)
Denicin 6.3. Sea g una lgebra de Lie. Una sublgebra de Cartan de o a a g es una sublgebra nilpotente h que es auto-normalizada, es decir, N (h) = h a (ver p. 58). El concepto de sublgebra de Cartan es la manera en que los textos a clsicos (ver [11], [6]) abordan el estudio de las lgebras de Lie semisimples a a y el concepto de sublgebra toral, es una manera alternativa (ver [4]). En el a caso cuando se trabaja con sublgebras de Cartan, se puede demostrar que a si g es una lgebra de Lie semisimple, entonces las sublgebras de Cartan a a de g son precisamente las sublgebras torales maximales (ver [11], p. 36). a Aqu mostraremos mas adelante que las sublgebras torales maximales de , a las lgebras de Lie semisimples son sublgebras de Cartan para as tener la a a equivalencia de estos dos conceptos. Teorema 6.6. Sea g una lgerba de Lie semisimple y h una sublgerba toral a a maximal de g, entonces h es una sublgebra de Cartan de g. a Demostracin. Por la Proposicin 6.1, h es abeliana y por tanto, nilpotente. o o Para ver que es auto-normalizada, sea x g tal que [x, h] h para todo h h. Por la descomposicn de Cartan en su forma reducida (6.1), podemos o escribir x = hx + x donde hx h y x g para . Por el Teorema 6.2 parte 1, [h, g ] g y as [x, h] h si y slo si [x , h] = 0 para , o toda . As se concluye que x h. La ventaja de trabajar ahora con sublgebras de Cartan es que podremos a probar que la descomposicn de Cartan no depende de la sublgebra de o a Cartan que se elija, como se mostrar en la siguiente subseccin. a o
106
Conjugacin de sublgebras de Cartan o a

Este teorema nos permite justicar la denicin del rango de una lgebra de o a Lie y tambin nos dice que no depende de h en la correspondencia (6.2). e Recordemos que el grupo de automorsmos interiores es denotado por Inn g. Teorema 6.7. Cualesquiera dos sublgebras de Cartan de una lgebra de Lie a a semisimple g son conjugadas bajo algn automorsmo A Inn g. u Para la demostracin se siguen los siguientes pasos, donde g denotar una o a lgebra de Lie arbitraria: a 1. Para cada elemento v g, se dene una descomposicin relativa al o operador lineal ad v en subespacios invariantes g = ga (ad v), donde ga (ad v) = {w g : [v, w] = aw}. 2. Las sublgebras g0 (ad v) se llaman sublgebras de Engel. Se demuestra a a que las sublgebras de Engel son auto-normalizadas. a 3. Se dene sublgebra de Cartan para g de la misma forma que en el a caso semisimple (recuerde que g no necesariamente es semisimple). 4. Se demuestra que una sublgebra h de g es de Cartan si y slo si es de a o Engel y es minimal. 5. Decimos que v es fuertemente ad-nilpotente si existe un vector w g tal que v ga (ad w), para algn a = 0. Denote por sn(g) el conjunto u de todos los elementos fuertemente ad-nilpotentes de g y por E (g) al subgrupo de Inn g generado por expad v , con v sn. 6. Se demuestra que cuando g es semisimple, E (g) = Inn g. 7. Se demuestra que las sublgebras de Cartan de g son conjugadas bajo a E (g), en el caso cuando g es soluble. 8. Se demuestra que las sublgebras solubles maximales son conjugadas a bajo E (g).
def
6.1 Descomposicin de Cartan o
107
Ahora, si h es una sublgebra de Cartan de una lgebra de Lie semisimple g, a a entonces h es nilpotente y por tanto, soluble. Luego, debe estar contenida en alguna sublgebra soluble maximal, que por el paso 8, son conjugadas bajo a Inn g. Finalmente, por el paso 7, se tiene el resultado. Para ver los detalles, consulte [4] en la pgina 78. a Ahora, se puede ver que el rango de una lgebra de Lie semisimple g, con a sublgebra de Cartan h, es igual al rango del sistema de ra asociado a h a ces y de la relacin (6.1) y la Proposicin 6.9, se tiene la frmula o o o dim g = rank + ||, donde || denota la cardinalidad de . Recordemos el lgebra de las matrices diagonales d(n, F). Sabemos que a es una lgebra abeliana y que adems, es auto-normalizada, es decir, es una a a sublgebra de Cartan de gl(n, F). Luego, las sublgebras a a d(n, F) sl(n, F) sl(n, F), y d(n, F) o(n, F) o(n, F) d(n, F) sp(n, F) sp(n, F)
son sublgebras de Cartan de sl(n, F), o(n, F) y sp(n, F), respectivamente, a y por el Teorema de Conjugacin (6.7), sabemos que se pueden tomar estas o sublgebras de Cartan para el caso de lgebras lineales. a a En el caso de las lgebras excepcionales se puede recurrir al Teorema a de Serre que presentaremos a continuacin. Para un caso particular, puede o consultar [3] en la pgina 339 o bien [4] en la pgina 103, donde se construye a a el lgebra G2 y se determina una sublgebra de Cartan para esta. a a Nota. A lo largo de este texto, no se ha demostrado que las lgebras clsicas a a A , B , C , D sean semisimples. Una idea para la demostracin se eno cuentra en [4] en la pgina 102. Adems, se puede demostrar que los a a primeros cuatro sistemas de ra que se presentan en el Teorema 3.13 ces corresponden a las lgebras A , B , C , D , respectivamente (es por tal a motivo que se denotan con los mismos s mbolos). Para encontrar ejemplos donde se traten las lgebras excepcionales F4 , E6 , E7 , E8 a puede consultar [3], en la pgina 359. a
108
6.2
Propiedades de las ra ces de una lgebra a de Lie semisimple
En esta seccin nos ocuparemos de vincular las propiedades del conjunto o de ra de una lgebra de Lie semisimple g con respecto a una sublgebra ces a a de Cartan h y la denicin de sistema de ra dada en el cap o ces tulo 2.
Relaciones con la forma de Killing

En esta subseccin veremos algunas consecuencias que tiene a no-degeneracin o o de la foram de Killing en la propiedades de las ra de una lgebra de Lie ces a semisimple. En toda esta subseccin, g denotar una lgebra de Lie semisimple, h una o a a sublgebra de Cartan de g, el conjunto de ra de g con respecto a h y a ces la forma de Killing de g. Proposicin 6.8. El conjunto genera a todo el espacio h . o Demostracin. Si no fuese as existiera un vector h = 0 en h tal que (h) = 0 o , para toda , es decir, [h, g ] = 0 para todo . Como h es abeliana, [h, h] = 0. Por tanto, [h, g] = 0 y h Z(g) = 0, lo que es absurdo. Veamos las relciones de conmutacin para los espacios g . o Proposicin 6.9. Para , seleccione x g y y g , entonces o [x, y] = (x, y)k , donde (h) = (k , h) para toda h h. Adems, {k } a es base de [g , g ]. Demostracin. La segunda aseveracin se sigue de la Proposicin 6.3 y de la o o o primera. Si h h, entonces (h, [x, y]) = ([h, x], y) = (h)(x, y) = (k , h)(x, y) = (h, k )(x, y) = (h, (x, y)k ), por lo que [x, y] (x, y)k es ortogonal a h. La igualdad se sigue del Corolario 6.5.
6.2 Propiedades de las ra de una lgebra de Lie semisimple ces a
109
Es claro que si , entonces (k ) = 0. En efecto, si (k ) = 0, tendr amos que [k , g ] = [k , g ] = 0. Seleccione x g y y g tales que (x , y ) = 1 para tener [x , y ] = k . Luego, la sublgebra de a g generada por x , y , k es soluble, en particular, su lgebra derivada es a nilpotente. As ad k es semisimple y nilpotente a la vez, lo que implica que , ad k = 0. Por tanto, k Z(g) = 0, lo que es absurdo. Este hecho tiene la siguiente consecuencia. Proposicin 6.10. Si y x es un elemento no nulo de g , entonces exo iste y g tal que la sublgebra generada por x, y y h = [x, y] es isomorfa a 2 a sl(2, F). Adems, h = (k ,k ) k y k = k . a Demostracin. Por la Proposicin 6.3, podemos encontrar y g tal que o o 2 2 (x, y) = (k ,k ) . Luego, denamos h = (k ,k ) k para tener [x, y] = h. Mediante un clculo rutinario, se muestra que stos tres vectores satisfacen a e las relaciones [h, x] = 2x y [h, y] = 2y. Luego, si denimos la funcin o 0 0 1 0 0 1 y la extendemos linealmente, se ,y ,h x 1 0 0 1 0 0 obtine un isomorsmo como el que se requiere. La segunda aseveracin se o sigue por la manera en que se dene h.
Integridad y racionalidad de las ra ces

En esta subseccin haremos uso de los resultados recopilados en la seccin o o 4.5 para desarrollar algunas de las propiedades ms importantes de las ra a ces de una lgebra de Lie semisimple g con respecto a la sublgerba de Cartan a a h. Como se ve en la Proposicin 6.10, para cada par de ra y , teno ces sl(2, F) y gracias a los resultados de la subseccin o emos una sublgebra s = a anterior, podemos dar una descripcin completa de los s -modulos, en paro ticular, podemos describir ad s . En este resultado se muestra adems que el conjunto de ra a ces de una lgebra de Lie semisimple satisface el axioma (R2) de la Denicin 2.2. a o Proposicin 6.11. Para cada ra , el subespacio g es unidimensional y o z los unicos mltiplos de que son ra son . u ces
110
Demostracin. Consideremos el subespacio a de g generado por h y todos los o subespacios gc , con c F. Como [gc , gc ] g(c+c ) , a es un s -submodulo y por el Teorema 4.10, los pesos de h son los enteros 0 y 2c = c(h ), para c = 0 con gc = 0; en particular, todos los posibles valores de c son mltiplos u 1 h/ Span{h }, mientras enteros de 2 . Ahora, s acta trivialmente en Ker = u que s es un submodulo irreducible de a sobre s mismo. As Ker y s , agotan la ocurrencia del peso 0 de h y los unicos pesos pares en a son 2, 1 es decir, el doble de una ra no es una ra Esto implica que 2 no es z z. ra por lo que 1 no es peso de h en a y como los pesos forman una serie z, aritmtica con diferencia 2, se sigue la segunda aseveracin de la proposicin. e o o Finalmente, el Corolario 4.11 muestra que a = h + s ; en particular, cada subespacio g tiene dimensin 1. o Para examinar la accin de s en los subespacios g , denimos la -cadena o que pasa por , o bien la -cadena por , como el conjunto de todas las ra ces de la forma + k, para k Z y = . Proposicin 6.12. Si la suma de dos ra y es nuevamente una ra o ces z, entonces [g , g ] = g+ . Adems, el nmero (h ) es un entero y a u (h ) . Ms an, si q y r son los enteros no negativos ms grandes a u a para los que r y + q son ra ces, entonces + k , para todo entero r k q y r q = (h ). Demostracin. Sea b = o o kZ g+k . Por la Proposicin 6.11, cada g+k tiene dimensin 1 y = k, por lo que b es un s -submodulo de g cuyo o espacio correspondiente al peso (h ) + 2k es unidimensional, para los distintos valores de k. Como los unicos pesos que aqu aparecen son 0 y 1, el Corolario 4.11 implica que b es irreducible. Si q y r son seleccionados como en el enunciado de la proposicin, entonces el peso ms alto es (h ) + 2q y o a el ms bajo es (h ) 2r. Los pesos en b forman una progresin aritmtica a o e con diferencia 2, lo que implica que las ra ces + k forman una cadena. Ntese tambin que ( r)(h ) = ( + q)(h ). Finalmente, la imagen o e de g bajo ad g es g+ , por la Proposicin 4.9. o Podemos ver que la Proposicin 6.12 muestra que el conjunto de ra o ces de una lgebra de Lie semisimple g con respecto a una sublgebra de Cartan h a a satisface las condiciones del Teorema 2.9 de la Pgina 19. Otra concecuencia a importante de la Proposicn 6.12 es la siguiente. o Corolario 6.13. g es generada, como lgebra de Lie, por los espacios g . a
6.2 Propiedades de las ra de una lgebra de Lie semisimple ces a
111
Por el Corolario 6.5, podemos denir en h una forma bilineal a travz e def de la forma de Killing, , = (k , k ). Sea = 1 , 2 , . . . , una base de h conformada por ra ces. El siguiente resultado nos muestra la especial naturaleza de sta base. e Proposicin 6.14. Si es una ra entonces se expresa como combio z, nacin lineal racional de las ra o ces i . Adems, la forma , es racional en a el Q-subespacio Q de h generado por las ra ces.
Demostracin. Escribamos = o i=1 ci i . Para cada j {1, 2, . . . , }, , j = i=1 ci i , j y multilpicando ambos lados por j2 j , se tiene ,
, j = j , j
i=1
2 i , j ci , j , j
lo que podemos interpretar como un sistema de ecuaciones lineales con coecientes enteros de orden . Como es una base y la forma , es no-degenerada, la matriz i , j i , j . . ... . . . . i , j i , j
tiene determinante distinto de cero, por lo que la matriz del sistema tambin e satisface tal condicin. Por tanto, existe una unica solucin sobre Q. As se o o tiene la primera aseveracin. o Ahora, para , h , tenemos que , = (k , k ) =
(k )(k ) =
2
, , ; ,
2
en particular, para , se tiene , = , 2 , tenemos 1 , = , ,
y dividiendo por
Q,
pues 2 , Z. Se concluye que , es racional y por bilinealidad, todos , los productos de ra ces son racionales. Como genera a Q, se sigue la segunda armacin. o
112
Corolario 6.15. La forma , es positiva denida en Q. Demostracin. Para Q, tenemos , = o , 2 , es decir, , es suma de cuadrados de nmeros racionales y por tanto, es positivo. u Ahora, consideremos el espacio E = R Q Q y denamos las siguientes operaciones (a v) + (b w) = (a + b) (v + w) (a v) = (a) v. Es claro que E es un espacio vectorial sobre el campo de los nmeros reales u y que dimR E = dimQ Q = . Adems, con la forma bilineal , : Q Q Q deniremos una forma en a E de la siguiente manera: para a v, b w E denimos a v, b w = v, w . Inmediatamente se verica que la funcin , : E E R es una forma o bilineal simtrica positiva denida. As (E, , ) es un espacio euclidiano y e , se tiene el siguiente resultado. Teorema 6.16. Sean g una lgebra de Lie semisipmle, h una sublgebra de a a Cartan de g y el conjunto de ra ces de g con respecto a h, entonces es un sistema de ra en el sentido de la denicin 2.2 ces o As hemos establecido una correspondencia , (g, h) (E, ). A continuacin, veremos que la asignacin (6.2) es uno-a-uno. o o (6.2)
6.3
Teorema de isomorsmo
La importancia del teorema de isomorismo es que muestra que si dos lgerbas a de Lie semisimples tienen el mismo sistema de ra ces, entonces son isomorfas, es decir, la correspondencia (6.2) es uno-a-uno. Primero, reduciremos el problema al caso cuando g es simple.
6.3 Teorema de isomorsmo
113
Proposicin 6.17. Si g es una lgebra de Lie simple con sublgebra de o a a Cartan h y sistema de ra , entonces es irreducible. ces Demostracin. Supongamos que la conclusin de la proposicin es falsa, eno o o tonces se puede descomponer como la unin de dos subconjuntos, digamos o 1 y 2 , no vac mutuamente ortogonales. Si 1 y 2 , entonces os + , = 0 para {, } y as + no es una ra y [g , g ] = 0. , z Luego, la sublgebra a generada por los espacios g , con 1 , es centrala izada por todos los espacios g , con 2 ; en particular, a es una sublgebra a propia de g, pues Z(g) = 0. Ms an, para 1 tenemos g N (a) y a u por tanto, N (a) = g, es decir, a es un ideal propio de g. Esto contradice la simplicidad de g. En adelante, g ser una lgebra de Lie semisimple con sublgebra de a a a Cartan h y sistema de ra . ces Corolario 6.18. Si g = gi es la descomposicin en ideales simples, eno tonces hi = h gi son sublgebras de Cartan de gi y el correspondiente a sistema de ra ces irreducible i es un subsistema de tal que = i es la descomposicin en sus componentes conexas. o Demostracin. Es claro que h = h g = h o gi = h gi = hi y que a cada hi es una sublgebra toral de gi . La maximalidad de hi es como sigue: Si b es una sublgebra toral de gi que contiene propiamente a hi , entonces b a es sublgebra toral de g, centraliza a todas las sublgebras hj para toda j = i a a y se genera con b y hj una sublgebra de g que contiene propiamente a h, lo a que es absurdo. Ahora, si i , entonces podemos extender el funcional a un funcional en h deniendolo como 0 en hj , para j = i. As es un , ra de g relativa a h. Rec z procamente, si , existe un ndice i tal que [hi , g ] = 0 y por tal razn, g gi . Concluimos que |hi es una ra de gi o z relativa a hi . Este resultado reduce el problema de caracterizar las lgebras de Lie a semisimples por su sistema de ra al problema de caracterizar las lgebras ces a simples por su sistema de ra ces irreducible. Ahora, encontraremos un conjunto de generadores para g. Proposicin 6.19. g es generado por los espacios g y g con . o
114
Demostracin. Sea una ra positiva, por el Corolario 2.15, existen ra o z ces simples 1 , 2 , . . . , k (no necesariamente diferentes) tales que = 1 + 2 + + k y para 1 j k cada suma parcial 1 + + j es una ra positiva y por z la Proposicin 6.12, sabemos que si y son ra o ces cuya suma tambin es e ra entonces [g , g ] = g+ . Usando induccin sobre k, podemos mostrar z, o que g esta contenida en la sublgebra de g generada por los espacios g , a con simple; similarmente, si es negativa, esta contenida en la sublgebra a generada por los espacios g , con simple. Finalmente, como g = h g y h = [g , g ], se sigue el resultado. La demostracin se puede encontrar en [4] en la pgina 74. Este resulo a tado nos dice que es suciente concentrarnos en las ra ces simples en lugar de trabajar con todo el sistema de ra ces. Recordemos que un isomorsmo de sistemas de ra ces proviene de un isomorsmo de los espacios euclidianos donde los sistemas se encuentran. Adems, el isomorsmo puede tomarse como una isometr pues los axiomas a a, de sistemas de ra ces no se afectan si multiplicamos por un escalar positivo al producto interior, pues slo aparecen razones de los productos interiores o de las ra ces. Teorema 6.20. (Teorema de Isomorsmo). Sea g una lgebra simple con a sublgebra de Cartan h y sistema de ra . Supongamos que : es a ces un isomorsmo, entonces induce un isomorsmo entre las sublgebras a de Cartan h y h. Para cada , seleccione isomorsmos de lgebras a de Lie : g g , entonces existe un unico isomorsmo que extiende al isomorsmo y a todos los . Demostracin. (Unicidad). Cada x = 0 en g determina un unico vector o y en g tal que [x , y ] = h , para cada ; por la Proposicin 6.19, o {x , y : } es un conjunto de generadores para g. Si y son dos extensiones de y de los , entonces = = en cada g , con . Por linealidad, = . (Existencia). Se puede resumir en los siguientes tres pasos: 1. Si g y g son escencialmente la misma lgebra de Lie, entonces g g a contiene una sublgebra d = {(v, v) : v g} g. a =
6.4 Teorema de Serre 2. Muestre que d es una sublgebra propia. a
115
3. Muestre que las proyecciones de d sobre el primer y segundo factor es un isomorsmo de lgebras de Lie. a
Para los detalles, vease [4] (p. 75).
6.4
Teorema de Serre
Este Teorema nos permite relacionar a cada Sistema de ra una lgebra ces a de Lie de dimensin nita que resulta ser semisimple y su sistema de ra o ces es presisamente , es decir, es la asignacin inversa de (6.2). o Teorema 6.21. (Serre). Sean un sistema de ra ces, con base = {1 , . . . , }, y g una lgebra de Lie generada por los 3 generadores xi , y i , hi sujetos a las a siguientes relaciones: (S1) [hi , hj ] = 0; (S2) [xi , y i ] = hi y si i = j, [xi , y j ] = 0; (S3) [hi , xj ] = j , i xj y [hi , y j ] = j , i y j . (S+ ) (ad xi ) j ,i ij (S ) (ad y i ) j ,i ij
+1
(xi ) = 0, y (y i ) = 0,
+1
Entonces g es una lgebra de Lie semisimple, con sublgebra de Cartan h a a generada por los hi y con sistema de ra . ces Aqu hi = hi con i , j = i (hj ). , La demostracin requiere del estudio de lgebras de Lie denidas por geno a eradores y relaciones que dan origen a lo que se conoce como una presentacin o del lgebra de Lie y se puede encontrar en [4] (p. 95). a
116
6.5
Teorema de clasicacin de lgebras de o a Lie simples
Como consecuencia de la vinculacin de los sistemas de ra y las lgebras o ces a de Lie semisimples, vemos que el Teorema de Clasicacin de los sistemas de o ra irreducibles son genera un Teorema de Clasicacin para las lgebras ces o a de Lie simples. En esta seccin, enunciaremos este Teorema. o Teorema 6.22. Las lgebras de Lie simples a las cuales se les asocian los a sistemas de ra irreducibles clasicados en el Teorema 3.13 estn descritas ces a por la siguiente tabla: Tabla 6.1: Algebras de Lie simples. Sistema de ra ces Algebra de Lie Rango A sl( + 1, F) 1 B o(2 + 1, F) 2 C sp(2, F) 3 D o(2, F) 4 E6 e6 6 E7 e7 7 E8 e8 8 F4 f4 4 G2 g2 2
Dimensin o ( + 2) (2 + 1) (2 + 1) (2 1) 78 133 248 52 14
Conclusiones
En un principio, el problema de clasicar las lgebras de Lie semisimples a sobre un campo algebraicamente cerrado y de caracter stica cero puede verse un poco dif cil. Aun que es posible simplicar el trabajo de clasicacin a o slo tener que conocer las lgebras de Lie simples, la tarea de clasicar estas o a estructuras es bastante complicada. En cambio, la clasicacin de los sistemas de ra o ces abstractas no exige ms conocimientos que los fundamentos del lgebra lineal, los espacios eua a clidianos, un poco de topolog de espacios con producto interior y geometr a a euclidiana. Adems, el Teorema de Clasicacin de los diagramas de Dynkin a o para los sistemas irreducibles no presenta mayor dicultad que el ir eliminando casos, gracias a las propiedades de los sistemas de ra previamente ces estudiadas. La relacin entre las lgebras de Lie y los sistemas de ra en abstracto o a ces presentada en el Teorema de Isomorsmo nos asegura que se puede trasladar la clasicacin de los sistemas irreducibles para obtener la clasicacin de las o o lgebras de Lie simples. Al conocer las lgebras de Lie simples, se pueden a a obtener las lgebras de Lie semisimples mediante sumas directas de lgebras a a simples, como lo vimos en el estudio de las propiedades principales de lgebras a de Lie semisimples. A su vez, la importancia del estudio de las lgebras de Lie semisimples a sobre un campo algebraicamente cerrado y de caracter stica cero radica en el Teorema de descomposicin de Levi, al permitirnos expresar a una lgebra de o a Lie general como una suma semidirecta de un ideal soluble y una sublgebra a semisimple.
117
118
As los sistemas de ra se convierten en una herramienta muy util en el , ces estudio de lgebras de Lie, adems de ser un objeto independiente y por tal a a motivo, merece atencin especial. Es por eso que el enfoque de este trabajo o fue el estudiar los sistemas de ra ces antes de introducirnos a la Teor de a lgebras de Lie, donde histricamente se presenta una excelente aplicacin a o o de los sistemas de ra ces. Concluyo este trabajo, esperando haber dado una motivacin para acero carse a la Teor de lgebras de Lie y a sus sistemas de ra a a ces, encontrando en estas reas un buen lugar para aplicar muchos de los conocimientos adquiria dos en los cursos de lgebra abstracta y lgebra lineal. a a
Bibliograf a
[1] Birkho, G.; MacLane, S., A Survey of Modern Algebra, 4th edition. New York: Macmillan Publishing Co., Inc., 1977. [2] Dvila, G.; Flores, R.; Voroviev, Yu., Algebra Lineal: Teor y Problea a mas. Mxico: UniSon, 2006. e [3] Fulton, W.; Harris, J., Representation Theory: A First Course. New York: Springer, 1991. [4] Humphreys, J. E., Introduction to Lie Algebras and Representation Theory. New York: Springer-Verlag, 1972. [5] Hungerford, T. W., Algebra. New York: Springer, 1974. [6] Jacobson, N., Lie Algebras. New York: Wiley Interscience, 1962. [7] Knapp, A. W., Lie Groups Beyond an Introduction. Boston: Birkhuser, 1996. a [8] Lang, S., Algebra. Madrid: Aguilar S. A. de Ediciones, 1973. [9] Lang, S. Algebra Lineal. Mxico: Addison-Wesley Iberoamericana, e 1986. [10] Rotman, J. J., An Introduction to the Theory of Groups, fourth edition. New York: Springer-Verlag, 1995. [11] Samelson, H., Notes on Lie Algebras. New York: Van Nostrand Reinhold, 1969.
119

137 Tes Is Enrique

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

137 Tes Is Enrique

Cargado por

Copyright:

Formatos disponibles

Sistemas de Ra ces Abstractas y Algebras de Lie

Enrique Rodr guez Castillo Universidad de Sonora

viii 3.3 3.4

Cap tulo 1 Preliminares

Preliminares Si G acta en X y x X, denimos la rbita de x como el conjunto u o Gx = {g.x : g G}

Algunas nociones de Algebra Lineal

Familias conmutativas de operadores diagonalizables

1.2 Algunas nociones de Algebra Lineal

Dualidad y formas bilineales

Cap tulo 2 Sistemas de ra ces abstractas

Reexiones en un espacio euclidiano

Sistemas de ra abstractas ces

2.1 Nociones bsicas a

Sistemas de ra abstractas ces

2.1 Nociones bsicas a

Sistemas de ra abstractas ces

Ejemplo 2.1.3. Ahora, tomemos = (1, 0) y = 1 , 2 conjunto = {, , ( + )}.

2.1 Nociones bsicas a

Sistemas de ra abstractas ces

2.1 Nociones bsicas a

Sistemas de ra abstractas ces

Propiedades geomtricas y cadenas de ra e ces

2.1 Nociones bsicas a

Sistemas de ra abstractas ces

2.1 Nociones bsicas a

Sistemas de ra abstractas ces

Sistema de ra ces de rango 2

2.1 Nociones bsicas a R () R ()

Sistemas de ra abstractas ces

Bases y Ra ces simples

2.2 Bases y Ra simples ces

Sistemas de ra abstractas ces

Sistemas de ra abstractas ces

2.2 Bases y Ra simples ces

28 (3) (v) es linealmente independiente.

Sistemas de ra abstractas ces

2.2 Bases y Ra simples ces

Sistemas de ra abstractas ces

Propiedades de las ra ces simples

2.2 Bases y Ra simples ces

, entonces R () = para toda .

Demostracin. Por linealidad de las reexiones, o R () = 1 2 R ().

Sistemas de ra abstractas ces

como R2 = id, se tiene el resultado. i

2.3 Cmaras de Weyl y el grupo de Weyl a

Cmaras de Weyl y el grupo de Weyl a

Sistemas de ra abstractas ces

2.3 Cmaras de Weyl y el grupo de Weyl a

Sistemas de ra abstractas ces

2.3 Cmaras de Weyl y el grupo de Weyl a

Sistemas de ra abstractas ces

2.3 Cmaras de Weyl y el grupo de Weyl a

Sistemas de ra abstractas ces

(R S(v), ) (S(v), R ()) (S(v), ) por el Corolario 2.17 (S(v), ) (S(v), ).

2.3 Cmaras de Weyl y el grupo de Weyl a

Sistemas de ra abstractas ces

Cap tulo 3 Clasicacin de sistemas de o ra ces irreducibles

Clasicacin de sistemas de ra irreducibles o ces

Sistemas de ra ces irreducibles

3.1 Sistemas de ra irreducibles ces Lema 3.3. Si 1 , 2 , . . . , s , E, entonces

|jk+1 , jk | j1 |jk+1 , jk | |j1 , s |s |jk+1 , jk | j1 .

Clasicacin de sistemas de ra irreducibles o ces

en ambos lados de (3.1), se tiene