Variedad racional

En matemáticas, una variedad racional es una variedad algebraica sobre un cuerpo K dado, que es birracionalmente equivalente a un espacio proyectivo de alguna dimensión sobre K. Esto significa que su cuerpo de función es isomorfo a

${\displaystyle K(U_{1},\dots ,U_{d}),}$

el cuerpo de todas las funciones racionales para algún conjunto ${\displaystyle \{U_{1},\dots ,U_{d}\}}$ de indeterminaciones, donde d es la dimensión de la variedad.

Racionalidad y parametrización

Sea V una variedad algebraica afín de dimensión d definida por un ideal primo I = ⟨f₁, ..., f_k⟩ en ${\displaystyle K[X_{1},\dots ,X_{n}]}$ . Si V es racional, entonces hay n + 1 polinomios g₀, ..., g_n en ${\displaystyle K(U_{1},\dots ,U_{d})}$  tales que ${\displaystyle f_{i}(g_{1}/g_{0},\ldots ,g_{n}/g_{0})=0.}$  En otras palabras, se tiene una ${\displaystyle x_{i}={\frac {g_{i}}{g_{0}}}(u_{1},\ldots ,u_{d})}$  de la variedad.

Por el contrario, tal parametrización racional induce un homomorfismo del cuerpo de funciones de V en ${\displaystyle K(U_{1},\dots ,U_{d})}$ . Pero este homomorfismo no es necesariamente sobreyectivo. Si existe tal parametrización, se dice que la variedad es unirracional. El teorema de Lüroth (véase más abajo) implica que las curvas unirracionales son racionales. El teorema de Castelnuovo implica también que, en característica cero, toda superficie unirracional es racional.

Cuestiones de racionalidad

Una cuestión de racionalidad pregunta si una extensión de cuerpos dada es racional, en el sentido de ser (excluyendo isomorfismos) el cuerpo funcional de una variedad racional; dichas extensiones de cuerpo también se describen como extensión de cuerpos. Más precisamente, la pregunta de racionalidad para la extensión de cuerpos ${\displaystyle K\subset L}$  es la siguiente: ¿Es ${\displaystyle L}$  isomorfo a una función racional sobre ${\displaystyle K}$  en el número de indeterminaciones dado por la extensión transcendente?

Hay varias variaciones diferentes de esta pregunta, que surgen de la forma en que se construyen los cuerpos ${\displaystyle K}$  y ${\displaystyle L}$ .

Por ejemplo, sea ${\displaystyle K}$  un cuerpo y sean

${\displaystyle \{y_{1},\dots ,y_{n}\}}$ 

indeterminaciones sobre K y sea L el cuerpo generado sobre K por ellos. Considérese un grupo finito ${\displaystyle G}$  que permuta esas constantes indeterminadas sobre K. Según la teoría de Galois estándar, el conjunto de puntos fijos de este grupo de acción es un subcuerpo de ${\displaystyle L}$ , normalmente denominado ${\displaystyle L^{G}}$ . La cuestión de racionalidad para ${\displaystyle K\subset L^{G}}$  se llama problema de Noether y pregunta si este cuerpo de puntos fijos es o no una extensión puramente trascendente de K.

En el artículo de (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, quien mencionó este problema por primera vez en (Noether, 1913), donde lo atribuyó a E. Fischer. Demostró que esta proposición era cierta para n = 2, 3 o 4. Plantilla:Harvs encontró un contraejemplo del problema de Noether, con n = 47 y G un grupo cíclico de orden 47.

Teorema de Lüroth

Artículo principal: Teorema de Lüroth

Un caso célebre es el problema de Lüroth, que Jacob Lüroth resolvió en el siglo XIX. El problema de Lüroth se refiere a las subextensiones L de K (X), las funciones racionales en con un único valor indeterminado X. Cualquiera de estos cuerpos 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 aplicación racional no constante desde la recta proyectiva hacia una curva C solo puede producirse cuando C también tiene genus 0. Ese hecho se puede leer geométricamente a partir de la fórmula de Riemann-Hurwitz.

Aunque a menudo se piensa que el teorema de Lüroth es un resultado no elemental, desde hace tiempo se han descubierto varias demostraciones breves elementales. Estas pruebas simples utilizan solo los conceptos básicos de la teoría de cuerpos y el lema de Gauss para polinomios primitivos (véase, por ejemplo, Another elementary proof of Luroth's theorem^[1]​).

Irracionalidad

Una variedad unirracional V sobre un cuerpo K es aquella dominada por una variedad racional, de modo que su cuerpo funcional K(V) se encuentra en un cuerpo trascendental puro de tipo finito (que puede elegirse como de grado finito sobre K(V) si K es infinito). La solución del problema de Lüroth muestra que para curvas algebraicas, racional y unirracional son lo mismo, y el teorema de Castelnuovo implica que para superficies complejas unirracional implica racional, porque ambos se caracterizan por la desaparición tanto del genus aritmético como del segundo plurigenus. Zariski encontró algunos ejemplos (como la superficie de Zariski) en la característica p > 0 que son unirracionales pero no racionales. Clemens y Griffiths (1972) demostró que una variedad algebraica tridimensional cúbica, en general no es una variedad racional, proporcionando un ejemplo para tres dimensiones de que la unirracionalidad no implica racionalidad. Su trabajo utilizó un jacobiano intermedio.

Iskovskih y Manin (1971) demostró que todas las hipersuperficies de grado 4 de dimensión 3 en un espacio proyectivo de 4 dimensiones no singulares son irracionales, aunque algunas de ellas son unirracionales. Artin y Mumford (1972) encontró algunos 3 variedades unirracionales 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 forma cúbica suave de dimensión al menos 2 es unirracional si tiene un punto definido sobre K. Esta es una mejora de muchos resultados clásicos, comenzando con el caso de las superficies cúbicas (que son variedades racionales sobre una clausura algebraica). Otros ejemplos de variedades que se muestran unirracionales son muchos casos de curvas en un espacio de módulos.^[2]​

Variedad racionalmente conectada

Una variedad racionalmente conectada (o variedad sin reglas) V es una variedad algebraica proyectiva sobre un cuerpo algebraicamente cerrado tal que por cada dos puntos pasa la imagen de una aplicación regular de la recta proyectiva sobre V. De manera equivalente, una variedad está racionalmente conectada si cada dos puntos están conectados por una curva algebraica contenida en la variedad.^[3]​

Esta definición difiere de la de conjunto conexo solo 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, incluidas las del espacio proyectivo, está racionalmente conectada, pero lo contrario es falso. La clase de las variedades racionalmente conectadas es, pues, una generalización de la clase de las variedades racionales. Las variedades unirracionales están conectadas racionalmente, pero no se sabe si ocurre lo contrario.

Variedades establemente racionales

Una variedad V se denomina establemente racional si ${\displaystyle V\times \mathbf {P} ^{m}}$  es racional para algún ${\displaystyle m\geq 0}$ . Por tanto, cualquier variedad racional es, por definición, establemente racional. Los ejemplos construidos por Beauville et al. (1985) muestran que lo contrario es falso.

Schreieder (2019) demostró que en general, numerosas hipersuperficies ${\displaystyle V\subset \mathbf {P} ^{N+1}}$  no son establemente racionales, siempre que el grado de V sea al menos ${\displaystyle \log _{2}N+2}$ .

Véase también

• Curva algebraica
• Superficie racional
• Variedad de Severi-Brauer
• Geometría birracional

Referencias

1. Bensimhoun, Michael (May 2004). Another elementary proof of Luroth's theorem. Jerusalem. 
2. János Kollár (2002). «Unirationality of cubic hypersurfaces». Journal of the Institute of Mathematics of Jussieu 1 (3): 467-476. MR 1956057. S2CID 6775041. arXiv:math/0005146. doi:10.1017/S1474748002000117. 
3. Kollár, János (1996), Rational Curves on Algebraic Varieties, Berlin, New York: Springer Science+Business Media ..

Bibliografía

• Artin, Michael; Mumford, David (1972), «Some elementary examples of unirational varieties which are not rational», Proceedings of the London Mathematical Society, Third Series 25: 75-95, ISSN 0024-6115, MR 0321934, doi:10.1112/plms/s3-25.1.75, «citeseerx: 10.1.1.121.2765 » .
• Beauville, Arnaud; Colliot-Thélène, Jean-Louis; Sansuc, Jean-Jacques; Swinnerton-Dyer, Peter (1985), «Variétés stablement rationnelles non rationnelles», Annals of Mathematics, Second Series 121 (2): 283-318, JSTOR 1971174, MR 786350, doi:10.2307/1971174 .
• Clemens, C. Herbert; Griffiths, Phillip A. (1972), «The intermediate Jacobian of the cubic threefold», Annals of Mathematics, Second Series 95 (2): 281-356, ISSN 0003-486X, JSTOR 1970801, MR 0302652, doi:10.2307/1970801, «citeseerx: 10.1.1.401.4550 » .
• Iskovskih, V. A.; Manin, Ju. I. (1971), «Three-dimensional quartics and counterexamples to the Lüroth problem», Matematicheskii Sbornik, Novaya Seriya 86 (1): 140-166, Bibcode:1971SbMat..15..141I, MR 0291172, doi:10.1070/SM1971v015n01ABEH001536 .
• Kollár, János; Smith, Karen E.; Corti, Alessio (2004), Rational and nearly rational varieties, Cambridge Studies in Advanced Mathematics 92, Cambridge University Press, ISBN 978-0-521-83207-6, MR 2062787, doi:10.1017/CBO9780511734991 .
• Noether, Emmy (1913), «Rationale Funktionenkörper», J. Ber. d. DMV 22: 316-319 ..
• Noether, Emmy (1918), «Gleichungen mit vorgeschriebener Gruppe», Mathematische Annalen 78 (1–4): 221-229, S2CID 122353858, doi:10.1007/BF01457099 ..
• Swan, R. G. (1969), «Invariant rational functions and a problem of Steenrod», Inventiones Mathematicae 7 (2): 148-158, Bibcode:1969InMat...7..148S, S2CID 121951942, doi:10.1007/BF01389798 .
• Martinet, J. (1971), «Exp. 372 Un contre-exemple à une conjecture d'E. Noether (d'après R. Swan);», Séminaire Bourbaki. Vol. 1969/70: Exposés 364–381, Lecture Notes in Mathematics 189, Berlin, New York: Springer Science+Business Media, MR 0272580 .
• Schreieder, Stefan (2019), «Stably irrational hypersurfaces of small slopes», Journal of the American Mathematical Society 32 (4): 1171-1199, S2CID 119326067, arXiv:1801.05397, doi:10.1090/jams/928 .