Leceién I. 1.Grupos y Algebras de Lie. INTRODUCCION A LA TEORIA DE GRUPOS DE LIE LECCION | Javier Lafuente $1 GRUPOS Y ALGEBRAS DE LIE. 1.1 Grupo de Lie Un grupo de Lie, es un grupo abstracto de G que tiene estructura de va~ rledad diferenciable (Haussdorf), respecto a la cual les aplicaciones: GxGo(a,b) —sabeG , Goa ra "eG son diferenciables. Denotarenos por "eeG" al elemento neutro Evidentenente las dos condiciones anteriores, equivalen a que la aplicacién GxGa(a,b) —sab"eG sea diferenciable. 1.1.0 Un grupo de Lie de dimensién cero (como variedad) se llama discreto. Tiene la topologia trivial, y es a lo més nunerable. Reciprocamente, un grupo (abstracto) nunerable, es un grupo discreto. ana Un grupo de Lie es en particular un grupo topolégico. La topologia es la Anducida en el grupo por la estructura de variedad. Cabe preguntarse bajo que condiciones se puede asegurar que un grupo topolégico admite una estructura de variedad diferenciable que lo hace grupo de Lie. Este problema constituye e1 5° de los diez propuestos por Hilbert en 1900 En 1952 el S° problema de Hilbert fué resuelto conjuntamente por Gleason y por D. Montgomery y L.Zippin. Fsencialmente se puede enunciar ei resultado del siguiente modo: Un grupo topolégico Haussderf es un grupo de Lie si y solo si es variedad topologica. Esto es equivalente a decir, que es localmente compacto, y que no contiene subgrupos arbitrarianente pequefios (esto es, el elemeto neutro posee un entorno compacto que no contiene subgrupos no triviales). 1.1.2 En la teorfa de grupos de Lie esté en la confluencia de varias ramas bien diferenciadas de 1a Matematica: La Topologia, el Algebra, el Andlisis, y la Geometria Diferenciai. Su desarrollo exige técnicas de estos cuatro campos con acentos en unos u otros segiin el punto de vista considerado. “raeLeceién I. 1.Grupos y Algebras de Lie. 1.2 Ejemplos basicos de Grupos de Lie. 6 ©. e identifiquenos c” con R™ via el isomorfismo Denotemos por Ke R-lineal Caxrly (x, yer” 1.2.1 (K",+) es un grupo (abeliano) de Lie. El conjunto JN(n,K) de las matrices cuadradas de érden n con coeficientes reales, puede identificarse de modo natural con k™, 1.2.2 GL(n,k)={aeMl(n,k): det a#0}, tiene estructura natural de grupo de Lie, respecto del producto usual de matrices, y con la estructura de variedad diferenciable, obtenida como subconjunto abierto de K”. 1.3 Algebra de Lie Un Algebra de Lie (abstracta) a, es un es un espacio vectorial sobre R, dotado de una operacién “corchete de Lie": xa3(X,¥) —o1X, Yea que verifica para todo X, Y, Zea, para todo A, sR las propiedades: 1) (AX+yY,Z]=A[X,Z] +ulY,Z]. 2) (X,Y]=-[Y,X] 3) (x, (¥Y,Z]]+LY, (2,x]]+#[2, [X,Y] (Identidad de Jacobi) 1.4 Ejemplos basicos de Algebras de Lie. 1,4,0 Un espacio vectorial real cualquiera V tiene estructura de algebra de Lie respecto al corchete de Lie trivial: [X,YI=0 para todo X,Y. 1.4.1 Si M es variedad diferenciable el R-espacio vectorial ¥(M) de los campos de vectores, constituye un Algebra de Lie respecto al corchete usual. 1.4.2 El espacio vectorial de matrices M(n,k) con el corchete el Lie dado por: [A,B]=AB-BA para todo A,BeI(n,K) constituye un Algebra de Lie que se denota por gl(n,k) 1.5 Traslaciones a la izquierda Si Ges grupo de Lie, y acG, la aplicacién L:Gax —axeG es diferenciable, ya que es composicién de funciones diferenciables: Gax —>(a, x) €GxG3 (a,x) —saxeG Os, - + Se denomina a L, traslacién a la izquierda. Si a, beG se verifica Ly-Ly=L,, » Ly -1.2+Lecetén I. 1.rupos y Algebras de Lie. 1.6 Campos invariantes por traslaciones a la izquierda. Si G es grupo de Lie, un campo XeX(G) se llama invariante por traslacio- nes a la izquierda, si (L,),X=X para todo acG, es decir: X(ax)=dL, (X(x)) para todo a, xeG Se denotara por £(G) al conjunto de dichos campos. 1.6.1 PROPOSICION Si G es grupo de Lie, un campo XeX(G) es invariante por traslaciones a la iz- quierda, si y solo si X(a)=dL,(X(e)) para todo acc. Por otra parte si X, Ye £(G) entonces [X,Y]le£(G). Demostracién: Si X(a)=% IL (Xe) para todo aeG, entonces: X(ab)=dL., (Xe) (dL, edly) (X(e) =dL, (X(b)) Por otra parte, si X,Ye¥(G), para todo acG se tiene: LE OX, YI=ELEX,L3YI=[X,¥1 1.6.2 PROPOSICION Sea G grupo de Lie, y X un operador que asigna a cada xeG un vector X(x)e T,G, que verifica: X(ax)=dL,(X(x)) para todo a, xeG entonces XeX(G), y por tanto es invariante por traslaciones a la izquierda. Demostracin: Sea y:1,—3G una curva diferenciable con 7(0)=e, 7’ (0)=x(e). Se tiene: Xa o(ay(t)). Por tanto, si £:G—R es diferenciable, se tiene: K(f) (a)=X(a) (£): 4 ag Se leeolflar(tin= $8 (0,2) Slendo 6:Gx1,9(a,t) of (ay(t))eR es diferenciable, por ser: Gxt 3 (a, t) a, 9(t)) vari t} oe (ay (t) eR conposicién de funciones diferenciables. 1.7 Algebra de Lie 9 de un grupo de Lie G. Si G es grupo de Lie, por 1.6.1 se ve que ¥(G) tiene estructura natural de algebra de Lie. 1.7.1 TEOREMA Si G es grupo de Lie entonces la aplicacién: 2(G)2X —9X(e)eT 6 es un isomorfismo R-lineal, cuya aplicacién lineal inversa denotamos: T G2 —he£(G) donde A(x)=dL,(A) para todo xeG (AeT,G).m -1.3-Lecetén I. 1.Grupos y Algebras de Lie. 1.7.2 Podenos dar estructura de algebra de Lie al espacio T,G a traves del iso- morfismo anterior tomando: (A,B]=(A,B](e) para todo A, BeT,G T,G con esta estructura de algebra de Lie, se denomina algebra de Lie de G, y se denota por 9. ae7eo) Igual que se han definido traslaciones L, a la izquierda, se pueden definir traslaciones a la derecha R,:Gex—sxaeG, y campos invariantes por traslaciones a la derecha. Cuando se trabaja simultaneamente con ambos tipos de traslaciones es ventajosa la siguiente notacién: Kets AR, (x) (X)=KbeT,G. Si XeT,G, y eG escribinos dL, (x) (x Se verifican entonces para a,beG, X,YeT,G las propiedades fornales: a(X+¥)=aXtaY, (X+V)a=XatYa, (ab)X=a(bX), X(ba)=! Mba, eX=Xe=) 1.8 Algebra de Lie al(n,K) de GL(n,K) El grupo de Lie G-GL(n,R) es un abierto de M(n,R), por lo que podenos identificar su Algebra de Lie g=T,G={IivIM(n,R) con M(n,R). Si AeM(n,R), podemos escribir para cada xeG: a a “dt! t=0 “at! t=0 AGO= aby ( (iHtan = Ux(T+ta)= Oca) as{ si (x,) es la carta identidad, se tiene: ae xt ak ovoxt in Ay 27%, Una simple conputacién prueba que para A,BeMl(n,R) es (4,B]=(8,B) (1)=AB-BA asi pues g=gi(n,R) del ejemplo 1.4.2. Haciendo la identificacién.: C"axtiy—s(x,y)eR™ (Nen®) se puede extender el ejemplo anterior a G=GL(n,€) que resulta ser un abierto de R™. Cada matriz zh)=(xisiys) se identifica con (x), ys)eR™, y 1a férmula: A(z)=(2A) para todo AeM(n,C) permanece esencialmente valida. Justificarenos més adelante que su Algebra de Lie es exactamente gl(n,C). Si Aegl(n,K), la curva ,:Ret —sexp(tad=e"*ccLin,k) es curva integral de A por I, ya que: ‘i a Hi 7 y(t )= Gy, Cexp(tad =Cexp(taya), (4 =AC7(t)) por tanto A es un campo completo con flujo A, (a)=aexp(ta) raLncelén I. 1.Grupos y Algebras de Lie. 1.9 Funcién Exponencial Generalizaremos parte de los resultados obtenidos en 1.8 para grupos de Lie abstractos 1.9.1 TEOREMA Si G es grupo de Lie, todo campo Xe#(G), es completo. En particular si se denota por ¥,:R—3G la curva integral maximal de Be£(G) por e, el flujo glo- bal de & viene dado por A (adeay ,(t) NOTA: Se define entonces 1a aplicacién exponenciai exp: g>A oy (eG Denostracién! Sea y:(-2e,2e) 3G una curva integral de A por e, y 7: (a,b) 9G su exten- sidn maximal. Supuesto b 7,(s)9,(t) y tsa, (st) son curvas integrales de A con las -1.5-Leceién I. 1.Grupos y Algebras de Lie. mismas condiciones iniciales, se concluye la igualdad: exp (sA)exp(tA=y, (5), (t)=7, (stt)=exp((s+t)A) 3) Como las curvas y, son geodésicas de 1a conexién canénica 1.9, son so- lucion (local) de una ecuacién diferencial de segundo érden, y podemos asegu- rar que hay un ablerto de gxR donde es diferenciable: 7: BROM3(A, t) 97, (te Por tanto también es diferenclable la funcién: $: GM (a, A, t) —say(A, eG y asi, también lo es 6. gxGa(A,a) Ala o (a7, (t= SE (A, a,0eTS ca e1 campo VeX(gxG) con V(A,a)=(0,A(a)) es completo, y su flujo global es: vy (ha (Ava exp(ta)) en particular 1a aplicacién 93A—V, (A,e)=(A.exp(Ai)egxG es diferenciable, y tambien lo es 1a funcién exponencial exp: 6.0 1.9.3 COROLARIO Si Ges grupo de Lie, 1a aplicacién exp:7,G—9G es no singular en OeTG, induce un difeomorfismo exp:U—, donde U, y U son entornos abiertos de 0 y Si (Ayy.++/A,) es una base de T{G, 1a aplicacién: RC yee yy) empl At AEG difeomorfismo de un entorno D de 0 en R* sobre U. La aplicacién inversa: e300 se denomina carta normal. Demostracién Como exp(0)=e, d(exp),: 97,9 T,G=g, veamos que es "la identidad’ a] _ 4 ede | eae ict) Apliquese ahora el teorema de la funcién inversa.= (exp), (A)=d(exp) (exp (ta) =x, (O)=A Ce )= 1.9.4 TEOREMA Sea G grupo de Lie, y #,:U—0 1a carta normal. Para cada aG se define Ja carta ,=p,eL,':U,=L,(U)—. La coleccin d=((U,,9,):aeG} constituye un atlas de G que le da estructura de variedad analitica.a -1.6-Lecelén I. 2,Homonorftsnos. $2 HomMoMoRFISMOS 2.1 Definiciones y resultados basicos. 2.1.1 DEFINICION Sean Gy @ grupos de Lie. Un hononorfisno de grupos de Lie entre Gy Ges un homomorfismo abstracto $:¢—»6 que ademas es aplicacién diferenciable. El significado monomorfismo, epinorfismo, isomorfismo de Lie es evidente. Los grupos de Lie G y G se dicen isomorfos, si existe entre ellos un isomorfismo de Lie. 2.1.2 DEFINICION Sean g y @ Algebras de Lie. Un hononorfismo de Algebras de Lie entre a y 3 es un homonorfismo abstracto #:g-— entre espacios vectoriales, que ademas preserva el corchete, es decir, para todo A,Beg: (CA), 0(B)1=[A, B] El significado mononorfisno, epinorfisno, isonorfisno de algebras de Lie es evidente. Las algebras de Lie 9 y § se dicen isomorfas, si existe entre ellos un isomorfismo de algebras de Lie. 2.1.3 TEOREMA Si $:G—2G es un homomorfismo de grupos de Lie, y 9°16, respect ivas Algebras de Lie, entonces, dp(e):a—a es honomorfismo de Algebras de Lie. Adends e1 siguiente diagram es conmitativo: c—%56 exp | f agle) ~ a8} 5 Denostracté: Si Aeg, y # g(e) (A), se probar&é que A=$,i, siendo Ac£(G), i e£(G) tales que Ale)=A, y Ale: Fismo la igualdad: goL,=Ly,, 6 (0 (AC) 1-49 (4) (AL, (€) (A) =a (Gel, (0) (A)=dULg (e) (A)=B( G(x) ) En efecto, para todo xeG se verifica por ser f homomor- °9. Por tanto 29) (2) (A= MAL gy (HCE) dC) (A) =Al gy In particular si 7, es 1a curva integral de A por e, se tiene que gex, es la curva integral( q ) de A por e, es decir: olay (td = Ret) para todo t Tomando t=1, se deduce 1a conmutatividad del diagrana. Veamos que dg(e) es hononorfismo de algebras de Lie. En efecto: Si A,Beg, A-dg(e)(A), Bedé(e)(B) es: [8,B1=[9,8,4,B (A,B) ((x) )=d6(x) [A,B] (x)) para todo xeG. En particular, tomando x= A, BI=(8, 8) (6)= (8,61 (¢(e) =d¢(e) ( [A,B] (e) =dg(e) (1A, B1) =$,18,B] y esto significa -1.7-Leceién I. 2,Hononorftanca. 2.1.4 EJEMPLO Hay un monomorfisno canénico g:GL(n,C) —¢L(2n,R) Una matriz C=A+BicI(n,C), (A,BeMl(n,R)) puede interpretarse como una, aplicacién €-Lineal: CP az=x+1y —sCz=(A+B1) (x+yi = (Ax-By)+ (BxtAy) ie€” as{ a traves del isonorfismo R-Lineal o:cPazmxety —{ ¥ Jen canta a(ceel*), onde ef “Seman. a atteacen: #:l(n,¢)3C=A+Bi —oCyegl (2n,R) resulta ser trivialmente un hononorfismo de Algebras de Lie, y su restriccién: @:GL(n,C)sc=a+b1 ——segeGL-(2n,R) es honomorfismo de grupos de Lie. Se prueba trivialmente la identidad: por lo que el diagrana: GL(n,c) —* cL (2n,R) ew) exw gl (n,c) —& sof (2n,R) es conmutativo. en particular, debe ser g=dp(e) 2.1.5 COROLARIO Si 9, ¥:G—>& son homomorfismos entre grupos de Lie supongase G conexo y dg(e)=aye) entonces 9=W. Demostracién: El conjunto F={xeG:$(x)=W(x)}, es un conJunto cerrado. Ademas por la con~ mutatividad del diagrama de 2.1.3 se concluye que f=g en un entorno U de e Pero entonces si xeF, se verifica que g=y en L,(U)=xU, y asi xUcF, y F es ablerto. = 21.5 El operador que hace corresponder a cada grupo de Lie G, su Algebra de lie g, y a cada homomorfismo 9:G—%G de grupos de lie, el homomorfisno ¢, entre sus correspondientes Algebras de Lie, define un funtor covariante entre la categoria de los grupos de Lie, y de las algebras de Lie. La interrelacién entre estas dos categorias, viene reforzada por la aplicacién exponencial exp:g—9G del Algebra de Lie en el grupo, que en virtud de 2.1.3 compatibiliza de forma natural con el funtor. -1.8-Lecetén I. 2.Homomorftsmes. 2.2 Homomorfismos continuos. 2.2.1 TEOREMA Un homomorfismo continuo $:G—2G de grupos de Lie, es diferenciable. Demostracién Obviamente, es suficiente probar que @ es diferenciable en un entorno del elenento neutro eG. Vayanos por partes A) Probemos primero que si g:(R,+)—~9G es homomorfismo continuo, p es diferenciable. Tomemos un entorno estrellado U de eg, en donde 1a funcién exponencial exp:U—U es difeonorfisno, Sea U={Xeg:2XeU}, y V=exp(V). Como g es continua, existe 0, tal que p(teV si -rster Sea BeV con exp(B)=9(t) FiJado un entero n>1 cualquiera, probarenos que exp(B/n)=p(t/n). En efecto, sea AeV, tal que exp(A)=(t/n). Como: exp(nA)=exp(A)"=(t/n) =p (nt/n)=9(t)=exp(B) es suficiente comprobar que nAeV para constatar que nA: Pero como 2heU, y exp(2A)=exp(A)*=p(2t/n)eV, entonces 2AeV Si m>2 se prueba de forma andloga que SAV, y asf sucesivamente. Asf: exp(mB/n)=exp(B/n)"=p(t/n)"=p(tm/n) para todo entero O y Angulo 2 9. os 6, |d|=sen 0. Suponganos por ejemplo ¢ proporcional a 1. Se tiene entonces: os 9 +1 sen 0 (identidad en C=span(1,i)) p,(i=ata™ -1.13-Lecetén I. 2Homomorftsnos. p,(J)=asd ‘(cos @ +1 sen #)J(cos @ -1 sen #)=J cos 20 +k sen 29 p,(k)=akq"'=(cos @ +i sen @)k(cos @ -i sen 9)=k cos 26 -j sen 29 que corresponde a la representacién matricial del giro anunciado.= En consecuencla a) La aplicacién p:$*—»S0(3) es un recubridor de dos hojas para S0(3). b) La aplicacion 3, ° 24, 2a, 59,144, j+a,k >] 2g, 0° -2q° |eso( 3) sigh) 3 1 2g, 2, © coincide con dp(e) y define (por tanto) Isomorfismo de dlgebras de Lie. 2.6 El grupo S°x&° como recubridor doble de S0(4). 2.7 Los grupos de spinores Spin(n) recubridores de SO(n) HI.Lecelén II. 3. Subgrupos y Subsigebras LECCION I! §3 SuBGRUPOS Y SUBALGEBRAS. 3.0 Sobre Subvariedades, Hojas, y Distribuciones. DEFINICION 3.0.1 Sea M es variedad diferenciable de dimensién n. Un subconjunto N de H se diré variedad sumergida en M, si N admite una estructura de variedad diferen- clable, de forma que: (2) La inclusion ty: 9H es inmersion. Si se verifica adends 1a condiclén: (2) La topologia de N cono variedad diferenciable coincide con 1a induci- da por M. se dird que N es subvariedad de M. La propiedad notable, es que el hecho de ser subvariedad de M, depende solo del subconjunto (abstracto) N de M, es decir si el subconjunto N tiene estructura de subvariedad, esta es tnica, Por necesidades técnicas, estableceremos un concepto intermedio hoja de M, que mantiene la propiedad notable anterior: 3.0.2 DEFINICION Un subconjunto N de 1a variedad diferenciable M, se llama hoja de dimensién dd. Entonces: a) Son equivalentes las af irmaciones: 1) D es involutiva. 11) Por cada pel, existe una variedad integral. b) Por otra parte, si D es involutiva existe por cada punto pe una tinica variedad integral maximal. Adends, las variedades integrales maximales son hojas de M. = ~IL.2-Lecetén IT. 3. Subgrupos y Subélgebras 3.0.7 OBSERVACION La parte dura de la demostracién de 3.0.6 esta en probar que si 3 es distribucién involutiva, en cada punto peM existe una carta (U, g) adaptada a la distribucién, es decir (con la notacién de 3.0.2) (1) pU)=tl=(%,2): Kel, xe}, Ger", UR’ abtertos, e(p): (2) 9 '(Gde}), Cel son variedades integrales de 9. 3.1 Subgrupos de un Grupo de Lie 3.4.4 Sea G un grupo de Lie. Un subgrupo de Lie de G, es un subconjunto H de G que tiene estructura de grupo de Lie de forma que la aplicacién inclusién: Uy:ba—ac6 es monomorfisme de grupos de Lie. Si 1a topologia de H cono variedad diferenciable, coincide con la induci- da como subespacio topolégico de G, se dice que H es subgrupo regular. 3.1.2 Los subgrupos regulares del grupo de Lie G, vienen caracterizados por ser subgrupos abstractos H de G que son subvariedades diferenciables. En efecto a) Si H es subgrupo abstracto y subvariedad de G, entonces tiene estructura de variedad diferenciable y las aplicaciones Ixlis(a,b) —abell y lisa —va™ell son, diferenciables ya que son restriccién de GxGs(a,b) —sabeG y Gaa ae. b) Reciprocanente, 3.1.3 Si Hy G son grupos de Lie, y g:H—%G es un monomorfismo de grupos de Lie, entonces g(H) con la estructura diferenciable que hace g:li—>p(H) difeomorfisno es un subgrupo de Lie de G: 3.1.4 EJEMPLO Fijado r>0, 1a aplicacién: o:(R, +)at —9(exp(2mt), exp(2mrt) )eT* es un mononorfisme de grupos de Lie, y su imagen H es densa en G, cuando r es irracional. H es pues un subgrupo de Lie no regular de T*. 3.1.5 Si G es un grupo de Lie con Algebra de Lie g, entonces, 1a componente conexa G, de G que contiene al elemento neutro ecG, es subgrupo de Lie abierto de G, con la misma Algebra de Lie a. -I1.3+Leceién IT. 3. Subgrupos y Subsigebras 3.2 Subdlgebras de Lie 3.2.1 DEFINICION Sea g un Algebra de Lie. Una subdlgebra de Lie de g, es un subespacio vectorial abstracto h que ademas preserva el corchete, es decir: Si A,Beh > [A,Bleh h tiene por si mismo estructura de Algebra de Lie, y la aplicacién inclusién: Upihea keg es homonorfismo de Algebras de Lie. 3.2.2 Si by Q son Algebras de Lie, y #:h—»g es un monomorfisno de Algebras de Lie, entonces #(h) es un subalgebra de Lie de 9 3.3 Relacién entre subgrupos y sublgebras. 3.3.1 TEOREMA Sea Ges un grupo de Lie y H subgrupo de Lie de G. Entonces ha, algebra de Lie de H es subéigebra de eG Algebra de Lie de G, y se tiene el siguiente diagrama conmitativo: 4 H Hyg om | oy 845 es decir expy-exp|) .En particular, si Ach, el campo A,c¥(H) con Ay(e)=A, se obtiene por restriccion de Ae£(G) a H Finalmente, si H, y H, son subgrupos de Lie conexos con la misma subdlgebra de Lie h de g, entonces H,=#, como grupos de Lie. Demostracién: Cono 4, yeH—%6 es un honorfismo inyectivo entre grupos de Lie, y dty(e)= =ty:h—29 es la inclusién, por 2.1.3 se concluye que h es subalgebra de Lie de g, y el diagrama es conmutativo. En particular aexp(tA)=ay,(t)eH para todo Ach, acit As{ las curvas integrales de #, lo son de A, y los campos Ay y A estan relacionados. La Ultima afirmacién se prueba teniendo en cuenta que 1a conmutatividad del diagrama implica que H, y H, tienen un entorno V de e en comin, y HH, es por tanto (usando traslaciones a la izquierda) un ablerto y cerrado de Hy.™ 3.3.2. TEOREMA Sea G un grupo de Lie con algebra de Lie g, y b una subdlgebra de Lie de 9. Existe entonces un tinico subgrupo de de Lie conexo Hf de G con algebra de Lie b -11.4-Lecelén II. 3. Subgrupos y Subélgebras Idea de la Demostracién Para cada acG b,={A(a):aeh)=dL, (b) constituye un subespacio vectorial de {xet(G): X(a)eh, para todo acG}, dimensién c=din h de T,G, y el conjunto constituye una subalgebra de Lie del Algebra de Lie %(G). Para ver esto basta observar que 9 esta R-generado por (A,,...,A,) siendo (A,,...,A,) base ae b. Por el Teorema de Frobenius (3.0.6) se concluye que hay una variedad in- tegral maxinal H por e (es decir THi=h, para todo acH). Pero por ser 3 inva~ riante por traslaciones a la izquierda, se concluye que para todo acH, aH es también variedad integral por a, y asi aH=H, y av HH, por lo que H es un subgrupo (abstracto) y hoja de G. La demostracién se concluye con el siguiente 3.3.3 LEMA: Si H es subgrupo abstracto de un grupo de Lie G, y ll es hoja de G, entonces H es subgrupo de Lie de G. Demostracién: Basta observar que HxH>(a,b) —sab"'eH es 1a restriccién de GxGa(a,b) sab "es, y tener en cuenta la propiedad universal 3.0.4 de las hoJas. 3.3.4 TEOREMA Supéngase H subgrupo abstracto de un grupo de Lie G. Si H admite una estructura de variedad diferenciable tal que ty:i—G es inmersién, entonces esta estructura es tinica, y hace a H subgrupo de Lie y hoja de G. Idea de la demostracién Supéngase H dotado de tal estructura diferenciable, con dimensién c, y sea h=T,H. Sea b,=dL,(h) y 9 como en 3.3.2. Se trata de probar que t,.:H—3G es variedad integral maximal de 9. Entonces por construccién aH es variedad integral de 9 para todo a, y 9 sera distribucién involutiva, y por tanto hoJa. Apliquese ahora el LEMA 3.3.3. El punto delicado de la demostracién esta en probar que no existe una curva diferenciable y:1,—3G diferenciable con g(I,)cH, y(O)=e, 7° (O)eb. Si asi fuera, tomando 7,:1,—9H diferenciables 7, (O)=2 (71 (0),..-.77(0)) Linealmente independientes, la aplicacién: TEtta(t yy. t yb) ay, (0-7 (eda (tdeG tiene imagen contenida en H y con “dinensién" c+1. Yo es posible. Esto prueba (por traslacién a 1a izquierda) que §,ST,H, y ambos coinciden por razén de dimensiones. El resto de la demostracién es automatica.m Uniendo este resultado a 3.3.3 tenemos: -I1.5-Lecci¢n 11, 3, Subgrupos y Subsigebras 3.3.5 CORCLARIO Todo subgrupo H de Lie de un grupo de Lie G es 1a hoja de una distribu- cién D generada por traslaciones a la izquierda de su algebra de Lie bh. En particular all aeG son Jas variedades integrales maximales de 3, y en cada punto xeG puede encontrarse una carta (U,p) adaptada a la distribucién, con ()=(0,0) donde cada hoja y*(Oxte}) cel es de Ja forma g(Un(aH})) para algun acc. 3.3.6 DEFINICION Una carta como la anterior, se denomina carta de G adaptada H por x. Se denomina a S_(p)=p (Oxtc)) cel, hoja de g a nivel c. 3.3.7 Si bien en una variedad diferenciable M puede haber variedades sunergidas que no son hojas (plensese en la clasica figura del 8 en R*), el teorema ante Tor afirma que no existen grupos de Lie sunergides que no sean hojas El hecho notable es que toda 1a informacién sobre un subgrupo de Lie H de un grupo de Lie G, (topologia, estructura diferenciable ,...ete) puede dedu- cirse del subconjunto H de G, Por tanto podria decirse ahora que un subgrupo de Lie de G, es un subconjunto H que "hereda" de G estructura de grupo de Lie 3.3.8 COROLARTO Existe una correspondencia biyectiva entre las subalgebras de Lie del dlgebra de Lie g de un grupo de Lie G, y sus subgrupos de Lie conexos.« 3.3.9 Supéngase G grupo de Lie sinplenente conexo, y g su algebra de Lie, y sean b subdlgebra de Lie de g, y H subgrupo de Lie de G, ligados por la correspondencia anterior. 2Es necesarianente H simplemente conexo?. La respuesta es genéricanente afirmativa, para grupos de lle G resolubles (existe 10 con D'G={e}, siendo DG=[G,G]=Span{aba"b':a,beG, D°G=D(D"*G)) (Varadajan 3.18.2) También es cierta para G arbitrario, y h ideal de g. (Varadajan 3.18.12) 3.4 Subgrupos cerrados. El resultado fundamental, es que un subgrupo abstracto de un grupo de lie, si es cerrado, entonces es subgrupo regular de Lie. Nuevanente experimen- tamos el fenémeno de cémo, en un grupo de Lie una condicién topolégica implica condiciones de diferenciablidad. -I1.6-