stringtranslate.com

grupo cremona

En geometría algebraica , el grupo de Cremona , introducido por Cremona  (1863, 1865), es el grupo de automorfismos birracionales del espacio proyectivo -dimensional sobre un campo . Se denota por o o .

El grupo de Cremona se identifica naturalmente con el grupo de automorfismos del campo de las funciones racionales en indeterminados sobre , o en otras palabras, una pura extensión trascendental de , con grado de trascendencia .

El grupo lineal general proyectivo de orden , de transformaciones proyectivas , está contenido en el grupo de orden de Cremona . Los dos son iguales sólo cuando o , en cuyo caso tanto el numerador como el denominador de una transformación deben ser lineales.

El grupo Cremona en 2 dimensiones

En dos dimensiones, Max Noether y Guido Castelnuovo demostraron que el complejo grupo de Cremona se genera mediante la transformación cuadrática estándar, junto con , aunque hubo cierta controversia sobre si sus pruebas eran correctas, y Gizatullin (1983) proporcionó un conjunto completo de relaciones para estos generadores. La estructura de este grupo aún no se comprende bien, aunque se ha trabajado mucho para encontrar elementos o subgrupos del mismo.

El grupo Cremona en dimensiones superiores

Se sabe poco sobre la estructura del grupo de Cremona en tres dimensiones y superiores, aunque se han descrito muchos elementos del mismo. Blanc (2010) demostró que está (linealmente) conectado, respondiendo a una pregunta de Serre (2010). No existe un análogo fácil del teorema de Noether-Castelnouvo, ya que Hudson (1927) demostró que el grupo de Cremona en dimensión al menos 3 no se genera por sus elementos de grado acotados por ningún número entero fijo.

Grupos de Jonquières

Un grupo De Jonquières es un subgrupo de un grupo Cremona de la siguiente forma [ cita requerida ] . Elija una base de trascendencia para una extensión de campo de . Entonces, un grupo de De Jonquières es el subgrupo de automorfismos de mapear el subcampo en sí mismo para algunos . Tiene un subgrupo normal dado por el grupo Cremona de automorfismos de sobre el campo , y el grupo cociente es el grupo Cremona de sobre el campo . También puede considerarse como el grupo de automorfismos birracionales del haz de fibras .

Cuando y el grupo de De Jonquières es el grupo de transformaciones de Cremona que fijan un lápiz de rectas por un punto dado, y es el producto semidirecto de y .

Referencias