Grupo algebraico

grupo que es una variedad algebraica

En matemáticas, un grupo algebraico es una variedad algebraica dotada de una estructura de grupo que es compatible con su estructura como variedad algebraica. Por tanto, el estudio de 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, como por ejemplo el grupo ortogonal, el grupo lineal general, los grupos proyectivos o el grupo euclídeo entre otros. Muchos grupos lineales también son algebraicos. Otros grupos algebraicos aparecen naturalmente en la geometría algebraica, como las curvas elípticas y las variedades jacobianas.

Una clase importante de grupos algebraicos está relacionada con el grupo algebraico afín; en concreto, aquellos cuya variedad algebraica subyacente es una variedad afín. Son exactamente los subgrupos algebraicos del grupo lineal general y, por lo tanto, 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 la estructura de Chevalley afirma que todo grupo algebraico se puede construir a partir de grupos de esas dos familias.

Definiciones editar

Formalmente, un grupo algebraico sobre un cuerpo   es una variedad algebraica   sobre  , junto con un elemento distinguido   (el elemento neutro) y las aplicaciones regulares   (la operación de multiplicación) y   (la operación de inversión) que satisfacen los axiomas del grupo.[2]

Ejemplos editar

  • El grupo aditivo: el espacio afín   dotado de suma y opuesto como operaciones de grupo es un grupo algebraico. Se llama grupo aditivo (porque sus puntos   son isomorfos como grupo al grupo aditivo de  ) y generalmente se denota por  .
  • 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 de grupo (con elemento neutro  ). El grupo algebraico   se llama grupo multiplicativo, porque sus puntos   son isomorfos al grupo multiplicativo del cuerpo   (  da un isomorfismo; tenga en cuenta que el subconjunto de elementos invertibles no define una subvariedad algebraica en  ).
  • 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 de adjuntos muestra que la inversión también es regular en matrices con determinante 1.
  • El grupo lineal general   de matrices invertibles sobre un cuerpo   es un grupo algebraico. Puede generarse como una subvariedad en   de forma muy similar al grupo multiplicativo del ejemplo anterior.[3]
  • Una curva cúbica plana no singular en el plano proyectivo   puede estar dotada de una ley de grupo definida geométricamente que lo convierte en un grupo algebraico (véase curva elíptica).

Definiciones relacionadas editar

Un subgrupo algebraico de un grupo algebraico   es una subvariedad   de   que también es un subgrupo de   (es decir, las aplicaciones   y   que definen la estructura del grupo se asignan a   y  , respectivamente, en  ).

Un morfismo entre dos grupos algebraicos   es una aplicación regular   que también es un morfismo de grupo. Su núcleo es un subgrupo algebraico de  , su imagen es un subgrupo algebraico de  .[4]

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 aplicaciones 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]​ Téngase en cuenta que si el cuerpo   no está algebraicamente cerrado, el morfismo de los grupos   puede no ser sobreyectivo (el valor predeterminado de la sobreyectividad se mide por la cohomología de Galois).

Álgebra de Lie de un grupo algebraico editar

De manera similar a la correspondencia grupo de Lie-álgebra de Lie, a un grupo algebraico sobre un cuerpo   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 derivadas.[6]

Definiciones alternativas editar

Una definición más sofisticada de un grupo algebraico sobre un cuerpo   es la de un esquema de grupo sobre   (los esquemas de grupo se pueden definir de manera más general sobre un anillo conmutativo).

Otra definición más del concepto es decir que un grupo algebraico sobre   es un objeto grupo en la categoría de variedades algebraicas sobre  .

Grupos algebraicos afines editar

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. Utilizando la acción de un grupo algebraico afín sobre su anillo coordenado, 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 en   mediante el morfismo  .

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

Los grupos algebraicos lineales se pueden clasificar hasta cierto punto. La descomposición de Levi afirma que cada uno de ellos es (esencialmente) un producto semidirecto de un grupo unipotente (su radical unipotente) con un grupo reductivo; a su vez, los grupos reductivos se descomponen como (nuevamente esencialmente) un producto de su centro (un toro algebraico) con un grupo reductivo. Estos últimos se clasifican en cuerpos algebraicamente cerrados mediante su álgebra de Lie.[8]​ La clasificación sobre cuerpos arbitrarios es más complicada, pero aún se comprende bien.[9]​ Si puede hacerse muy explícito en algunos casos, por ejemplo sobre los cuerpos de los números reales o los números p-ádicos y, por lo tanto, sobre un cuerpo de números algebraicos a través del principio local-global.

Variedades abelianas editar

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

Teorema de estructura para grupos algebraicos generales editar

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 la 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 cuerpo perfecto y G es un grupo algebraico conectado sobre K, existe un subgrupo cerrado normal único H en G, tal que H es un grupo algebraico lineal conexo y G/H es una variedad abeliana.

Conectividad editar

Como variedad algebraica,   lleva implícita un topología de Zariski. En general, no es un grupo topológicamente, es decir, las operaciones del 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 de los factores[11]​).

Se dice que un grupo algebraico está conectado 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 conexos que están dados por el subgrupo algebraico de  -ésimas raíces de la unidad en el grupo multiplicativo   (cada punto es un subconjunto cerrado de Zariski, por lo que no es conexo para  ). Este grupo generalmente se indica como  . Otro grupo no conexo es un grupo ortogonal en dimensión par (el determinante da un morfismo sobreyectivo sobre  ).

De manera más general, todo grupo finito es un grupo algebraico (puede realizarse como un subgrupo finito, por lo tanto cerrado de Zariski, de algún   por el teorema de Cayley). Además es afín y proyectivo. Por lo tanto, en particular a efectos de clasificación, es natural restringir los enunciados a grupos algebraicos conexos.

Grupos algebraicos sobre cuerpos locales y grupos de Lie editar

Si el cuerpo   es un cuerpo local (por ejemplo, los números reales o complejos, o un cuerpo p-ádico) y   es un grupo  , entonces el grupo   está dotado de la topología analítica proveniente de cualquier inclusión en un espacio proyectivo   como una variedad cuasi proyectiva. Esta es una topología de grupo y convierte a   en un grupo topológico. Estos grupos son ejemplos importantes en la teoría general de grupos topológicos.

Si se cumple que   o  , esto convierte a   en un grupo de Lie. No todos los grupos de Lie se pueden obtener mediante este procedimiento, por ejemplo, la cobertura universal de SL2(R) o el cociente del grupo de Heisenberg por un subgrupo discreto normal infinito.[13]​ Un grupo algebraico sobre los números reales o los complejos puede tener subgrupos cerrados (en la topología analítica) que no tienen el mismo componente conexo de la identidad que cualquier subgrupo algebraico.

Grupos de Coxeter y grupos algebraicos editar

Hay una serie de 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 sobre un cuerpo finito es (sin contar con factores de escala factor) el q-factorial.  ; por tanto, el grupo simétrico se comporta como si fuera un grupo lineal sobre "el cuerpo con un elemento". Esto está formalizado por el cuerpo con un elemento, que considera que los grupos de Coxeter son grupos algebraicos simples sobre el cuerpo con un elemento.

Véase también editar

Referencias editar

  1. Borel, 1991, p.54.
  2. Borel, 1991, p. 46.
  3. Borel, 1991, 1.6(2), p. 49.
  4. Borel, 1991, Corollary 1.4, p. 47.
  5. Borel, 1991, Theorem 6.8, p. 98.
  6. Borel, 1991, 3.5, p. 65.
  7. Borel, 1991, pp. 55-56.
  8. Borel, 1991, 24.1.
  9. Borel, 1991, 24.2.
  10. Conrad, Brian (2002). «A modern proof of Chevalley's theorem on algebraic groups». J. Ramanujan Math. Soc. 17 (1): 1-18. Zbl 1007.14005. 
  11. Borel, 1991, p. 16.
  12. Borel, 1991, p. 47.
  13. «Non-linear Lie group». MathOverflow. Consultado el 13 de mayo de 2022. 

Bibliografía editar

Lectura adicional editar