grupo algebraico

Variedad algebraica con estructura de grupo.

En matemáticas , un grupo algebraico es una variedad algebraica dotada de una estructura de grupo compatible con su estructura como variedad algebraica. Así, el estudio de los grupos algebraicos pertenece tanto a la geometría algebraica como a la teoría de grupos .

Muchos grupos de transformaciones geométricas son grupos algebraicos; por ejemplo, grupos ortogonales , grupos lineales generales , grupos proyectivos , grupos euclidianos , etc. Muchos grupos matriciales también son algebraicos. Otros grupos algebraicos ocurren naturalmente en la geometría algebraica, como las curvas elípticas y las variedades jacobianas .

Una clase importante de grupos algebraicos está dada por los grupos algebraicos afines , aquellos cuya variedad algebraica subyacente es una variedad afín ; son exactamente los subgrupos algebraicos del grupo lineal general , y por eso también se les llama grupos algebraicos lineales . ^[1] Otra clase está formada por las variedades abelianas , que son los grupos algebraicos cuya variedad subyacente es una variedad proyectiva . El teorema de estructura de Chevalley establece que todo grupo algebraico puede construirse a partir de grupos de esas dos familias.

Definiciones

Formalmente, un grupo algebraico sobre un cuerpo es una variedad algebraica sobre , junto con un elemento distinguido (el elemento neutro ) y aplicaciones regulares (la operación de multiplicación) y (la operación de inversión) que satisfacen los axiomas del grupo. ^[2] ${\displaystyle k}$ ${\displaystyle \mathrm {G} }$ ${\displaystyle k}$ ${\displaystyle e\in \mathrm {G} (k)}$ ${\displaystyle \mathrm {G} \times \mathrm {G} \to \mathrm {G} }$ ${\displaystyle \mathrm {G} \to \mathrm {G} }$

Ejemplos

• El grupo aditivo : la recta afín dotada de suma y opuesta como operaciones grupales es un grupo algebraico. Se llama grupo aditivo (porque sus puntos son isomorfos como grupo al grupo aditivo de ) y generalmente se denota por . ${\displaystyle \mathbb {A} ^{1}}$ ${\displaystyle k}$ ${\displaystyle k}$ ${\displaystyle \mathrm {G} _{a}}$
• El grupo multiplicativo : Sea la variedad afín definida por la ecuación en el plano afín . Las funciones y son regulares en , y satisfacen los axiomas del grupo (con elemento neutro ). El grupo algebraico se llama grupo multiplicativo, porque sus puntos son isomorfos al grupo multiplicativo del campo (un isomorfismo viene dado por  ; tenga en cuenta que el subconjunto de elementos invertibles no define una subvariedad algebraica en ). ${\displaystyle \mathrm {G} _{m}}$ ${\displaystyle xy=1}$ ${\displaystyle \mathbb {A} ^{2}}$ ${\displaystyle ((x,y),(x',y'))\mapsto (xx',yy')}$ ${\displaystyle (x,y)\mapsto (x^{-1},y^{-1})}$ ${\displaystyle \mathrm {G} _{m}}$ ${\displaystyle (1,1)}$ ${\displaystyle \mathrm {G} _{m}}$ ${\displaystyle k}$ ${\displaystyle k}$ ${\displaystyle x\mapsto (x,x^{-1})}$ ${\displaystyle \mathbb {A} ^{1}}$
• El grupo lineal especial es un grupo algebraico: está dado por la ecuación algebraica en el espacio afín (identificado con el espacio de matrices -por- ), la multiplicación de matrices es regular y la fórmula para la inversa en términos de la matriz adjunta muestra esa inversión también es regular en matrices con determinante 1. ${\displaystyle \mathrm {SL} _{n}}$ ${\displaystyle \det(g)=1}$ ${\displaystyle \mathbb {A} ^{n^{2}}}$ ${\displaystyle n}$ ${\displaystyle n}$
• El grupo lineal general de matrices invertibles sobre un campo es un grupo algebraico. Puede realizarse como una subvariedad de la misma manera que el grupo multiplicativo del ejemplo anterior. ^[3] ${\displaystyle \mathrm {GL} _{n}}$ ${\displaystyle k}$ ${\displaystyle \mathbb {A} ^{n^{2}+1}}$
• Una curva cúbica no singular en el plano proyectivo puede estar dotada de una ley de grupo definida geométricamente que la convierte en un grupo algebraico (ver curva elíptica ). ${\displaystyle \mathbb {P} ^{2}}$

Definiciones relacionadas

Un subgrupo algebraico de un grupo algebraico es una subvariedad de que también es un subgrupo de (es decir, los mapas y que definen la estructura del grupo mapean y , respectivamente, en ). ${\displaystyle \mathrm {G} }$ ${\displaystyle \mathrm {H} }$ ${\displaystyle \mathrm {G} }$ ${\displaystyle \mathrm {G} }$ ${\displaystyle \mathrm {G} \times \mathrm {G} \to \mathrm {G} }$ ${\displaystyle \mathrm {G} \to \mathrm {G} }$ ${\displaystyle \mathrm {H} \times \mathrm {H} }$ ${\displaystyle \mathrm {H} }$ ${\displaystyle \mathrm {H} }$

Un morfismo entre dos grupos algebraicos es un mapa regular que también es un homomorfismo de grupo. Su núcleo es un subgrupo algebraico de , su imagen es un subgrupo algebraico de . ^[4] ${\displaystyle \mathrm {G} ,\mathrm {G} '}$ ${\displaystyle \mathrm {G} \to \mathrm {G} '}$ ${\displaystyle \mathrm {G} }$ ${\displaystyle \mathrm {G} '}$

Los cocientes en la categoría de grupos algebraicos son más delicados de tratar. Se dice que un subgrupo algebraico es normal si es estable bajo cada automorfismo interno (que son mapas regulares). Si es un subgrupo algebraico normal de entonces existe un grupo algebraico y un morfismo sobreyectivo tal que es el núcleo de . ^[5] Tenga en cuenta que si el campo no es algebraicamente cerrado, el morfismo de los grupos puede no ser sobreyectivo (el valor predeterminado de la sobreyectividad se mide mediante la cohomología de Galois ). ${\displaystyle \mathrm {H} }$ ${\displaystyle \mathrm {G} }$ ${\displaystyle \mathrm {G} /\mathrm {H} }$ ${\displaystyle \pi :\mathrm {G} \to \mathrm {G} /\mathrm {H} }$ ${\displaystyle \mathrm {H} }$ ${\displaystyle \pi }$ ${\displaystyle k}$ ${\displaystyle \mathrm {G} (k)\to \mathrm {G} (k)/\mathrm {H} (k)}$

Álgebra de mentira de un grupo algebraico

De manera similar a la correspondencia entre grupo de Lie y álgebra de Lie , a un grupo algebraico sobre un campo se le asocia un álgebra de Lie sobre . Como espacio vectorial, el álgebra de Lie es isomorfa al espacio tangente en el elemento identidad. El corchete de Lie puede construirse a partir de su interpretación como un espacio de derivaciones. ^[6] ${\displaystyle k}$ ${\displaystyle k}$

Definiciones alternativas

Una definición más sofisticada de un grupo algebraico sobre un campo es la de un esquema de grupo (los esquemas de grupo se pueden definir de manera más general sobre anillos conmutativos ). ${\displaystyle k}$ ${\displaystyle k}$

Otra definición más del concepto es decir que un grupo algebraico over es un objeto de grupo en la categoría de variedades algebraicas over . ${\displaystyle k}$ ${\displaystyle k}$

Grupos algebraicos afines

Se dice que un grupo algebraico es afín si su variedad algebraica subyacente es una variedad afín. Entre los ejemplos anteriores, los grupos aditivos y multiplicativos y los grupos lineales generales y especiales son afines. Usando la acción de un grupo algebraico afín en su anillo de coordenadas, se puede demostrar que cada grupo algebraico afín es lineal (o grupo matricial), lo que significa que es isomorfo a un subgrupo algebraico del grupo lineal general.

Por ejemplo, el grupo aditivo puede estar incluido mediante el morfismo . ${\displaystyle \mathrm {GL} _{2}}$ ${\displaystyle x\mapsto \left({\begin{smallmatrix}1&x\\0&1\end{smallmatrix}}\right)}$

Hay muchos ejemplos de estos grupos además de los mencionados anteriormente:

• Los grupos ortogonales y simplécticos son grupos algebraicos afines.
• grupos unipotentes .
• toros algebraicos .
• ciertos productos semidirectos , ^[7] por ejemplo, grupos Jet , o algunos grupos solubles como el de matrices triangulares invertibles .

Los grupos algebraicos lineales se pueden clasificar hasta cierto punto. El teorema de Levi establece que todo tal es (esencialmente) un producto semidirecto de un grupo unipotente (su radical unipotente ) con un grupo reductor . A su vez, los grupos reductivos se descomponen (nuevamente esencialmente) como un producto de su centro (un toro algebraico) con un grupo semisimple . Estos últimos se clasifican en campos algebraicamente cerrados mediante su álgebra de Lie . ^[8] La clasificación en campos arbitrarios es más complicada pero aún se comprende bien. ^[9] Puede hacerse muy explícito en algunos casos, por ejemplo, sobre los campos reales o p-ádicos y, por lo tanto, sobre campos numéricos a través de principios locales-globales .

Variedades abelianas

Las variedades abelianas son grupos algebraicos proyectivos conectados, por ejemplo, curvas elípticas. Siempre son conmutativos. Surgen de forma natural en diversas situaciones de la geometría algebraica y la teoría de números, por ejemplo como la variedad jacobiana de una curva.

Teorema de estructura para grupos algebraicos generales.

No todos los grupos algebraicos son grupos lineales o variedades abelianas; por ejemplo, algunos esquemas de grupos que aparecen naturalmente en la geometría aritmética no lo son. ^[10] El teorema de estructura de Chevalley afirma que todo grupo algebraico conexo es una extensión de una variedad abeliana por un grupo algebraico lineal . Más precisamente, si K es un campo perfecto y G un grupo algebraico conectado sobre K , existe un subgrupo cerrado normal único H en G , tal que H es un grupo algebraico lineal conectado y G / H una variedad abeliana.

Conectividad

Como variedad algebraica lleva una topología de Zariski . En general, no es una topología de grupo , es decir, las operaciones de grupo pueden no ser continuas para esta topología (porque la topología de Zariski en el producto no es el producto de las topologías de Zariski en los factores ^[11] ). ${\displaystyle \mathrm {G} }$

Se dice que un grupo algebraico es conexo si la variedad algebraica subyacente es conexa para la topología de Zariski. Para un grupo algebraico esto significa que no es la unión de dos subconjuntos algebraicos propios. ^[12]

Ejemplos de grupos que no están conexos están dados por el subgrupo algebraico de las raíces de la unidad en el grupo multiplicativo (cada punto es un subconjunto cerrado de Zariski, por lo que no está conexo ). Este grupo generalmente se denota por . Otro grupo no conexo es un grupo ortogonal en dimensión par (el determinante le da un morfismo sobreyectivo a ). ${\displaystyle n}$ ${\displaystyle \mathrm {G} _{m}}$ ${\displaystyle n\geq 1}$ ${\displaystyle \mu _{n}}$ ${\displaystyle \mu _{2}}$

De manera más general, todo grupo finito es un grupo algebraico (puede considerarse como un subgrupo finito, por lo tanto cerrado de Zariski, de algunos según el teorema de Cayley ). Además es afín y proyectivo. Por tanto, en particular a efectos de clasificación, es natural restringir los enunciados a grupos algebraicos conexos. ${\displaystyle \mathrm {GL} _{n}}$

Grupos algebraicos sobre campos locales y grupos de Lie.

Si el campo es un campo local (por ejemplo, los números reales o complejos, o un campo p-ádico) y es un grupo, entonces el grupo está dotado de la topología analítica proveniente de cualquier incrustación en un espacio proyectivo como un cuasi-proyectivo. variedad. Esta es una topología de grupo y se convierte en un grupo topológico. Estos grupos son ejemplos importantes en la teoría general de grupos topológicos. ${\displaystyle k}$ ${\displaystyle \mathrm {G} }$ ${\displaystyle k}$ ${\displaystyle \mathrm {G} (k)}$ ${\displaystyle \mathbb {P} ^{n}(k)}$ ${\displaystyle \mathrm {G} (k)}$

Si o entonces esto se convierte en un grupo de Lie . No todos los grupos de Lie se pueden obtener mediante este procedimiento, por ejemplo, la cobertura universal de SL 2 ( R ) , o el cociente del grupo de Heisenberg por un subgrupo discreto normal infinito. ^[13] Un grupo algebraico sobre números reales o complejos puede tener subgrupos cerrados (en la topología analítica) que no tienen el mismo componente conectado de la identidad que cualquier subgrupo algebraico. ${\displaystyle k=\mathbb {R} }$ ${\displaystyle \mathbb {C} }$ ${\displaystyle \mathrm {G} (k)}$

Grupos de Coxeter y grupos algebraicos.

Hay varios resultados análogos entre los grupos algebraicos y los grupos de Coxeter ; por ejemplo, el número de elementos del grupo simétrico es , y el número de elementos del grupo lineal general en un cuerpo finito es (hasta algún factor) el q -factorial ; por tanto, el grupo simétrico se comporta como si fuera un grupo lineal sobre "el campo con un elemento". Esto se formaliza mediante el campo con un elemento , que considera los grupos de Coxeter como grupos algebraicos simples sobre el campo con un elemento. ${\displaystyle n!}$ ${\displaystyle [n]_{q}!}$

Ver también

• Variedad de personajes
• Subgrupo Borel
• grupo manso
• rango de morley
• Conjetura de Cherlin-Zilber
• Grupo algebraico adélico
• Grupo pseudo-reductivo

Referencias

1. Borel 1991, p.54.
2. Borel 1991, pag. 46.
3. Borel 1991, 1.6 (2), pág. 49.
4. Borel 1991, Corolario 1.4, p. 47.
5. Borel 1991, Teorema 6.8, p. 98.
6. Borel 1991, 3.5, pág. sesenta y cinco.
7. Borel 1991, págs.55-56.
8. Borel 1991, 24.1.
9. Borel 1991, 24.2.
10. Conrad, Brian (2002). "Una prueba moderna del teorema de Chevalley sobre grupos algebraicos". J. Ramanujan Matemáticas. Soc . 17 (1): 1–18. Zbl  1007.14005.
11. Borel 1991, pag. dieciséis.
12. Borel 1991, pag. 47.
13. "Grupo de mentiras no lineal". Desbordamiento matemático . Consultado el 13 de mayo de 2022 .

• Chevalley, Claude, ed. (1958), Séminaire C. Chevalley, 1956--1958. Classification des groupes de Lie algébriques, 2 vols, París: Secrétariat Mathématique, MR  0106966, reimpreso como volumen 3 de las obras completas de Chevalley, archivado desde el original el 4 de noviembre de 2014 , consultado el 25 de junio de 2012.
• Borel, Armand (1991). Grupos algebraicos lineales. 2ª edición ampliada . Textos de Posgrado en Matemáticas. Springer-Verlag. págs.x+288. Zbl  0726.20030.
• Humphreys, James E. (1972), Grupos algebraicos lineales , Textos de posgrado en matemáticas , vol. 21, Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90108-4, señor  0396773
• Lang, Serge (1983), Variedades abelianas , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90875-5
• Milne, JS (2017), Grupos algebraicos: la teoría de los esquemas grupales de tipo finito sobre un campo , Cambridge University Press , doi :10.1017/9781316711736, ISBN 978-1107167483, señor  3729270
• Milne, JS, Esquemas de grupos afines; Álgebras de mentira; Grupos de mentiras; Grupos Reductivos; Subgrupos aritméticos
• Mumford, David (1970), Variedades abelianas , Oxford University Press , ISBN 978-0-19-560528-0, OCLC  138290
• Springer, Tonny A. (1998), Grupos algebraicos lineales , Progress in Mathematics, vol. 9 (2ª ed.), Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-4021-7, señor  1642713
• Waterhouse, William C. (1979), Introducción a los esquemas de grupos afines, Textos de Graduado en Matemáticas, vol. 66, Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90421-4
• Weil, André (1971), Courbes algébriques et variétés abéliennes , París: Hermann, OCLC  322901

Otras lecturas

• Grupos algebraicos y sus álgebras de Lie por Daniel Miller