Unirationality is the same thing as Rational Connectedness in Characteristic Zero

Resumen Técnico: Uniracionalidad y Conexión Racional en Característica Cero

Planteamiento del Problema
El artículo aborda una pregunta fundamental en la geometría algebraica con respecto a la relación entre la uniracionalidad y la conexión racional para variedades proyectivas suaves sobre un cuerpo $k$ de característica cero. Si bien está bien establecido que las variedades racionales son uniracionales, y las variedades uniracionales son racionalmente conectadas (y racionalmente conexas por cadenas), las implicaciones inversas han sido históricamente sutiles.

• Uniracionalidad se define como la existencia de un mapa racional dominante y genéricamente finito $\mathbb{P}^n_k \dashrightarrow Z$.
• Conexión Racional se define por la existencia de un mapa racional dominante $\mathbb{P}^1_k \times M \dashrightarrow Z$ tal que el mapa inducido sobre los pares es dominante.
• Conexión Racional por Cadenas requiere que cualquier par de puntos esté conectado por una cadena de curvas racionales.

En característica cero, las variedades suavemente conexas por cadenas racionales son racionalmente conectadas. Sin embargo, la pregunta sigue siendo si toda variedad racionalmente conectada es uniracional. Contraejemplos previos, como la tríada cúbica suave (Clemens-Griffiths), demostraron que la uniracionalidad no implica racionalidad (ser biracional a $\mathbb{P}^n$). El artículo busca determinar si la condición más débil de conexión racional es equivalente a la uniracionalidad en el entorno proyectivo suave sobre la característica cero, distinta de la condición más fuerte de racionalidad.

Metodología
El autor emplea la teoría de la fibración Máxima Racionalmente Conectada (MRC), establecida originalmente por Campana, Kollár, Miyaoka y Mori. La estrategia central consiste en construir una variedad intermedia específica, denotada $MU(X)$, para cerrar la brecha entre la variedad $X$ y su cociente MRC.

1. Construcción de $MU(X)$: El artículo demuestra la existencia de una variedad $MU(X)$ equipada con mapas racionales $\pi: X \dashrightarrow MU(X)$ y $\lambda: MU(X) \dashrightarrow MRC(X)$ que satisfacen tres condiciones:

   • La composición $\lambda \circ \pi$ recupera la fibración MRC $\nu: X \dashrightarrow MRC(X)$.
   • Las fibras muy generales de $\pi$ son uniracionales.
   • Las fibras muy generales de $\lambda$ son racionalmente conectadas pero no uniracionales.

2. Argumento Inductivo: La demostración utiliza una inducción sobre la dimensión de la variedad. El autor establece que si $X$ es racionalmente conectada, entonces $MRC(X)$ es un punto (específicamente $\text{Spec}(k)$). En consecuencia, $MU(X)$ se convierte en la fibra muy general de $\lambda$.

   • Si $MU(X)$ tiene dimensión positiva, el supuesto de inducción (aplicado a variedades racionalmente conectadas de menor dimensión) implicaría que $MU(X)$ es uniracional.
   • Sin embargo, por construcción, las fibras de $\lambda$ no son uniracionales.
   • Esta contradicción fuerza a $MU(X)$ a ser un punto, lo que implica que las fibras de $\pi$ (que son $X$ en este caso) deben ser uniracionales.

3. Aplicación del Lema de Zorn: Para asegurar la existencia de una fibración uniracional "máxima", el autor ordena el conjunto de mapas racionales con fibras uniracionales mediante la inclusión de sus cuerpos de funciones. Utilizando el Lema de Zorn, el autor demuestra la existencia de un elemento único maximal (salvo equivalencia biracional), que sirve como $MU(X)$.

Contribuciones Clave y Resultados

• Teorema de Equivalencia: El resultado principal (Teorema 9) demuestra que para cualquier variedad proyectiva suave $X$ sobre un cuerpo $k$ de característica cero, las siguientes propiedades son equivalentes:
  1. $X$ es uniracional.
  2. $X$ es racionalmente conectada.
  3. $X$ es racionalmente conexa por cadenas.
     Nota: Esta equivalencia se sostiene específicamente para la relación entre la uniracionalidad y la conexión racional, distinta de la propiedad de racionalidad. El artículo reconoce que las variedades pueden ser uniracionales y racionalmente conectadas sin ser racionales (por ejemplo, la tríada cúbica suave).
• Existencia de la Fibración Uniracional Máxima: El artículo establece la existencia y unicidad (salvo equivalencia biracional) de una fibración uniracional máxima $\pi: X \dashrightarrow MU(X)$ para cualquier variedad proyectiva suave.
• Descomposición Estructural: El autor proporciona una descomposición estructural de cualquier variedad proyectiva suave $X$ en una secuencia de fibraciones donde la "parte uniracional" se separa de la "parte racionalmente conectada no uniracional". Específicamente, muestra que si el cociente MRC es trivial, la variedad misma debe ser uniracional.

Significado y Reivindicaciones
El artículo afirma resolver la equivalencia de la uniracionalidad y la conexión racional para variedades proyectivas suaves en característica cero. El autor señala que, aunque la conexión racional suele ser más fácil de verificar que la uniracionalidad (por ejemplo, mediante la existencia de curvas muy libres), este resultado establece que, para variedades proyectivas suaves en característica cero, ambos conceptos son idénticos.

El trabajo se apoya en la maquinaria de la fibración MRC y la suavidad genérica en característica cero. Distingue explícitamente sus resultados del caso de característica positiva, donde se requieren condiciones de separabilidad, y de la cuestión de la racionalidad (donde existen contraejemplos como la tríada cúbica). El artículo no pretende resolver el problema de la racionalidad, sino aclarar la jerarquía entre la uniracionalidad y la conexión racional, mostrando que esta última implica a la primera en el contexto especificado.