En matemáticas , una variedad racional es una variedad algebraica , sobre un cuerpo dado K , que es biracionalmente equivalente a un espacio proyectivo de alguna dimensión sobre K. Esto significa que su cuerpo de funciones es isomorfo a
el campo de todas las funciones racionales para algún conjunto de indeterminados , donde d es la dimensión de la variedad.
Sea V una variedad algebraica afín de dimensión d definida por un ideal primo I = ⟨ f 1 , ..., f k ⟩ en . Si V es racional, entonces existen n + 1 polinomios g 0 , ..., g n en tales que En otras palabras, tenemos unparametrización racional de la variedad.
Por el contrario, una parametrización racional de este tipo induce un homomorfismo de campo del campo de funciones de V en . Pero este homomorfismo no es necesariamente sobre . Si existe una parametrización de este tipo, se dice que la variedad es uniracional. El teorema de Lüroth (véase más abajo) implica que las curvas uniracionales son racionales. El teorema de Castelnuovo implica también que, en característica cero, toda superficie uniracional es racional.
Una pregunta de racionalidad pregunta si una extensión de campo dada es racional , en el sentido de ser (salvo isomorfismo) el campo de funciones de una variedad racional; tales extensiones de campo también se describen como puramente trascendentales . Más precisamente, la pregunta de racionalidad para la extensión de campo es esta: ¿es isomorfa a un campo de funciones racional sobre en el número de indeterminados dado por el grado de trascendencia ?
Hay varias variaciones diferentes de esta pregunta, que surgen de la forma en que se construyen los campos y .
Por ejemplo, sea un campo, y sea
sean indeterminadas sobre K y sea L el campo generado sobre K por ellas. Considérese un grupo finito que permuta esas indeterminadas sobre K . Según la teoría estándar de Galois , el conjunto de puntos fijos de esta acción de grupo es un subcuerpo de , típicamente denotado . La cuestión de racionalidad para se llama problema de Noether y pregunta si este campo de puntos fijos es o no una extensión puramente trascendental de K . En el artículo (Noether 1918) sobre la teoría de Galois estudió el problema de parametrizar las ecuaciones con un grupo de Galois dado, que redujo al "problema de Noether". (Mencionó este problema por primera vez en (Noether 1913) donde atribuyó el problema a E. Fischer.) Demostró que esto era cierto para n = 2, 3 o 4. RG Swan (1969) encontró un contraejemplo para el problema de Noether, con n = 47 y G un grupo cíclico de orden 47.
Un caso célebre es el problema de Lüroth , que Jacob Lüroth resolvió en el siglo XIX. El problema de Lüroth concierne a las subextensiones L de K ( X ), las funciones racionales en la única indeterminada X . Cualquier cuerpo de este tipo es igual a K o también es racional, es decir, L = K ( F ) para alguna función racional F . En términos geométricos, esto establece que una función racional no constante de la línea proyectiva a una curva C solo puede ocurrir cuando C también tiene género 0. Ese hecho se puede deducir geométricamente de la fórmula de Riemann-Hurwitz .
Aunque el teorema de Lüroth suele considerarse un resultado no elemental, desde hace mucho tiempo se conocen varias demostraciones elementales breves. Estas demostraciones sencillas utilizan únicamente los principios básicos de la teoría de campos y el lema de Gauss para polinomios primitivos (véase, por ejemplo , [1] ).
Una variedad uniracional V sobre un cuerpo K es una dominada por una variedad racional, de modo que su cuerpo de funciones K ( V ) se encuentra en un cuerpo trascendental puro de tipo finito (que puede elegirse para que sea de grado finito sobre K ( V ) si K es infinito). La solución del problema de Lüroth muestra que para las curvas algebraicas, racional y uniracional son lo mismo, y el teorema de Castelnuovo implica que para superficies complejas uniracional implica racional, porque ambos se caracterizan por la desaparición tanto del género aritmético como del segundo plurigenus . Zariski encontró algunos ejemplos ( superficies de Zariski ) en característica p > 0 que son uniracionales pero no racionales. Clemens y Griffiths (1972) demostraron que una triple cúbica en general no es una variedad racional, proporcionando un ejemplo para tres dimensiones de que la uniracionalidad no implica racionalidad. Su trabajo utilizó un jacobiano intermedio . Iskovskih y Manin (1971) demostraron que todas las ternas cuárticas no singulares son irracionales, aunque algunas de ellas son uniracionales. Artin y Mumford (1972) encontraron algunas ternas uniracionales con torsión no trivial en su tercer grupo de cohomología, lo que implica que no son racionales.
Para cualquier cuerpo K , János Kollár demostró en 2000 que una hipersuperficie cúbica lisa de dimensión al menos 2 es uniracional si tiene un punto definido sobre K . Esto es una mejora de muchos resultados clásicos, empezando por el caso de las superficies cúbicas (que son variedades racionales sobre un cierre algebraico). Otros ejemplos de variedades que se demuestra que son uniracionales son muchos casos del espacio de módulos de curvas. [2]
Una variedad racionalmente conexa V es una variedad algebraica proyectiva sobre un cuerpo algebraicamente cerrado tal que por cada dos puntos pasa la imagen de una función regular desde la línea proyectiva hacia V . De manera equivalente, una variedad es racionalmente conexa si cada dos puntos están conectados por una curva racional contenida en la variedad. [3]
Esta definición difiere de la de conexidad de caminos sólo por la naturaleza del camino, pero es muy diferente, ya que las únicas curvas algebraicas que están racionalmente conectadas son las racionales.
Toda variedad racional, incluidos los espacios proyectivos , es racionalmente conexa, pero la proposición inversa es falsa. La clase de las variedades racionalmente conexas es, por tanto, una generalización de la clase de las variedades racionales. Las variedades uniracionales son racionalmente conexas, pero no se sabe si se cumple la proposición inversa.
Una variedad V se denomina racional estable si es racional para algún . Por lo tanto, cualquier variedad racional es, por definición, racional estable. Los ejemplos construidos por Beauville et al. (1985) muestran que, sin embargo, lo inverso es falso.
Schreieder (2019) demostró que las hipersuperficies muy generales no son racionalmente estables, siempre que el grado de V sea al menos .
![{\displaystyle K[X_{1},\puntos ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47cf0764b4682f6c7a4827df7693feccd72ff86d)
{{cite journal}}: Requiere citar revista |journal=( ayuda )