stringtranslate.com

Teorema de Borel-Weil-Bott

En matemáticas , el teorema de Borel-Weil-Bott es un resultado básico en la teoría de representación de los grupos de Lie , que muestra cómo se puede obtener una familia de representaciones a partir de secciones holomorfas de ciertos fibrados vectoriales complejos y, más generalmente, a partir de grupos de cohomología de haces superiores asociados a dichos fibrados. Se basa en el teorema de Borel-Weil anterior de Armand Borel y André Weil , que trata solo del espacio de secciones (el grupo de cohomología cero), y la extensión a los grupos de cohomología superiores la proporcionó Raoul Bott . De manera equivalente, a través de GAGA de Serre , se puede ver esto como un resultado en geometría algebraica compleja en la topología de Zariski .

Formulación

Sea G un grupo de Lie semisimple o un grupo algebraico sobre , y fijemos un toro maximalista T junto con un subgrupo de Borel B que contiene a T . Sea λ un peso entero de T ; λ define de manera natural una representación unidimensional C λ de B , retirando la representación en T = B / U , donde U es el radical unipotente de B . Puesto que podemos pensar en la función de proyección GG / B como un fibrado B principal , para cada C λ obtenemos un fibrado de fibras asociado L −λ en G / B (nótese el signo), que es obviamente un fibrado lineal . Identificando L λ con su haz de secciones holomorfas, consideramos los grupos de cohomología de haces . Puesto que G actúa sobre el espacio total del fibrado mediante automorfismos de fibrado, esta acción da naturalmente una estructura de módulo G sobre estos grupos; y el teorema de Borel-Weil-Bott da una descripción explícita de estos grupos como G -módulos.

Primero debemos describir la acción del grupo de Weyl centrada en . Para cualquier peso integral λ y w en el grupo de Weyl W , establecemos , donde ρ denota la semisuma de las raíces positivas de G . Es sencillo comprobar que esto define una acción de grupo, aunque esta acción no es lineal, a diferencia de la acción habitual del grupo de Weyl. Además, se dice que un peso μ es dominante si para todas las raíces simples α . Sea la función de longitud en W .

Dado un peso integral λ , se producen uno de dos casos:

  1. No existe tal cosa que sea dominante, equivalentemente, existe una no identidad tal que ; o
  2. Hay un tal único que es dominante.

El teorema establece que en el primer caso, tenemos

para todo yo ;

y en el segundo caso tenemos

para todos , mientras
es el dual de la representación irreducible de mayor peso de G con mayor peso .

Vale la pena señalar que el caso (1) anterior ocurre si y solo si para alguna raíz positiva β . Además, obtenemos el teorema clásico de Borel-Weil como un caso especial de este teorema al tomar λ como dominante y w como el elemento identidad .

Ejemplo

Por ejemplo, considere G = SL 2 ( C ) , para la cual G / B es la esfera de Riemann , un peso integral se especifica simplemente por un entero n , y ρ = 1 . El fibrado de líneas L n es , cuyas secciones son los polinomios homogéneos de grado n (es decir, las formas binarias ). Como representación de G , las secciones se pueden escribir como Sym n ( C 2 )* , y es canónicamente isomorfa a Sym n ( C 2 ) .

Esto nos da de golpe la teoría de representación de : es la representación estándar, y es su n -ésima potencia simétrica . Incluso tenemos una descripción unificada de la acción del álgebra de Lie, derivada de su realización como campos vectoriales en la esfera de Riemann: si H , X , Y son los generadores estándar de , entonces

Caracteristica positiva

También se tiene una forma más débil de este teorema en característica positiva. Es decir, sea G un grupo algebraico semisimple sobre un cuerpo algebraicamente cerrado de característica . Entonces sigue siendo cierto que para todo i si λ es un peso tal que no es dominante para todo mientras λ sea "cercano a cero". [1] Esto se conoce como el teorema de desaparición de Kempf . Sin embargo, los otros enunciados del teorema no siguen siendo válidos en este contexto.

Más explícitamente, sea λ un peso integral dominante; entonces sigue siendo cierto que para todo , pero ya no es cierto que este G -módulo sea simple en general, aunque sí contiene el módulo de mayor peso único de mayor peso λ como un G -submódulo. Si λ es un peso integral arbitrario, es de hecho un gran problema sin resolver en la teoría de la representación describir los módulos de cohomología en general. A diferencia de sobre , Mumford dio un ejemplo que muestra que no tiene por qué ser el caso para un λ fijo que estos módulos sean todos cero excepto en un solo grado i .

Teorema de Borel-Weil

El teorema de Borel-Weil proporciona un modelo concreto para representaciones irreducibles de grupos de Lie compactos y representaciones holomorfas irreducibles de grupos de Lie semisimples complejos . Estas representaciones se realizan en los espacios de secciones globales de fibrados de líneas holomorfas en la variedad bandera del grupo. El teorema de Borel-Weil-Bott es su generalización a espacios de cohomología superiores. El teorema se remonta a principios de la década de 1950 y se puede encontrar en Serre (1954) y Tits (1955).

Enunciado del teorema

El teorema puede enunciarse tanto para un grupo de Lie semisimple complejo G como para su forma compacta K . Sea G un grupo de Lie semisimple complejo conexo , B un subgrupo de Borel de G y X = G / B la variedad bandera . En este escenario, X es una variedad compleja y una variedad G algebraica no singular . La variedad bandera también puede describirse como un espacio homogéneo compacto K / T , donde T = KB es un subgrupo de Cartan (compacto) de K . Un peso integral λ determina un fibrado lineal holomórfico G -equivariante L λ en X y el grupo G actúa sobre su espacio de secciones globales,

El teorema de Borel-Weil establece que si λ es un peso integral dominante , entonces esta representación es una representación holomórfica irreducible de mayor peso de G con el mayor peso λ . Su restricción a K es una representación unitaria irreducible de K con el mayor peso λ , y cada representación unitaria irreducible de K se obtiene de esta manera para un valor único de λ . (Una representación holomórfica de un grupo de Lie complejo es aquella para la cual la representación del álgebra de Lie correspondiente es lineal compleja ).

Descripción concreta

El peso λ da lugar a un carácter (representación unidimensional) del subgrupo de Borel B , que se denota χ λ . Las secciones holomorfas del fibrado de líneas holomorfas L λ sobre G / B pueden describirse más concretamente como mapas holomorfas

para todos gG y bB .

La acción de G sobre estas secciones está dada por

para g , hG .

Ejemplo

Sea G el grupo lineal especial complejo SL(2, C ) , con un subgrupo de Borel que consiste en matrices triangulares superiores con determinante uno. Los pesos integrales para G pueden identificarse con números enteros , con pesos dominantes correspondientes a números enteros no negativos, y los caracteres correspondientes χ n de B tienen la forma

La variedad bandera G / B puede identificarse con la línea proyectiva compleja CP 1 con coordenadas homogéneas X , Y y el espacio de las secciones globales del fibrado de líneas L n se identifica con el espacio de polinomios homogéneos de grado n sobre C 2 . Para n ≥ 0 , este espacio tiene dimensión n + 1 y forma una representación irreducible bajo la acción estándar de G sobre el álgebra de polinomios C [ X , Y ] . Los vectores de peso están dados por monomios

de pesos 2 in , y el vector de peso más alto X n tiene peso n .

Véase también

Notas

  1. ^ Jantzen, Jens Carsten (2003). Representaciones de grupos algebraicos (segunda ed.). Sociedad Matemática Estadounidense. ISBN 978-0-8218-3527-2.

Referencias

Lectura adicional

Este artículo incorpora material del teorema de Borel-Bott-Weil en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .