Retract rational varieties are uniformly retract rational

Resumen Técnico: "Las variedades retractamente racionales son uniformemente retractamente racionales"

Planteamiento del Problema
El artículo aborda una cuestión fundamental en la teoría de las variedades algebraicas con respecto a la estructura local de las variedades racionales y retractamente racionales. Específicamente, investiga si la propiedad de ser "retractamente racional" implica la "uniformidad de la retractidad racional".

• Retractidad Racional: Una variedad algebraica $X$ sobre un campo infinito $K$ es retractamente racional si existe un subconjunto abierto denso de Zariski $V \subset X$, un número natural $m$, un conjunto abierto de Zariski $U \subset K^m$, y aplicaciones regulares $V \to U \to V$ cuya composición es la identidad en $V$.
• Uniformidad de la Retractidad Racional: $X$ es uniformemente retractamente racional si para cada punto $x \in X$, existe un entorno de Zariski $V$ de $x$ (no necesariamente denso en el sentido global, sino local a $x$) que satisface la misma condición de retracción.

La cuestión central (Pregunta 1.7) es: ¿Son todas las variedades algebraicas retractamente racionales no singulares uniformemente retractamente racionales?

Esta indagación está motivada por el contexto más amplio de la elipticidad de Gromov. Gromov introdujo la "ellipticidad algebraica" para las variedades complejas no singulares, una propiedad que implica características fuertes de homotopía y aproximación. Se sabía que la racionalidad uniforme implica la ellipticidad algebraica. Si bien las variedades racionales son un subconjunto de las variedades retractamente racionales, era un problema abierto si todas las variedades proyectivas complejas no singulares y racionales son algebraicamente elípticas (Pregunta 1.3). Una respuesta positiva a la cuestión de la uniformidad de la retractidad racional proporcionaría una resolución parcial a esto, ya que la Observación 1.6 establece que la uniformidad de la retractidad racional implica la ellipticidad algebraica (en el caso complejo) o la maleabilidad (en el caso real).

Metodología
La demostración se basa en una combinación de geometría algebraica local, álgebra conmutativa y la manipulación de aplicaciones polinómicas. La estrategia central consiste en extender las aplicaciones racionales a gérmenes regulares.

1. Extensión Local de Aplicaciones (Proposición 3.1): La herramienta técnica fundamental es la Proposición 3.1, que afirma que si una aplicación racional $F: K^n \dashrightarrow Y$ es regular en un punto $x_0$ sobre una subvariedad $X \subset K^n$, entonces existe un gérmen regular $G: (K^n, x_0) \to Y$ que concuerda con $F$ sobre $X$ cerca de $x_0$.
2. Construcción de la Extensión: La demostración de la Proposición 3.1 utiliza la Proposición 2.2. Esta proposición construye una aplicación polinómica específica $\sigma: X \times K^{n-m} \to K^n$ (donde $m = \dim X$) con las siguientes propiedades:
   • Actúa como la identidad en $X$ cuando la segunda variable es cero.
   • Su derivada en el punto base es un isomorfismo.
   • El homomorfismo inducido en los anillos locales es sobreyectivo módulo un ideal específico generado por los denominadores de la aplicación racional.
     Esta construcción permite elevar la aplicación racional definida en $X$ a una aplicación regular en el espacio ambiente $K^n$ de forma local.
3. Argumentos de Genericidad: La construcción de $\sigma$ se basa en el Lema 2.3, que utiliza el conteo de dimensiones en los espacios de Grassmann para asegurar que un subespacio lineal genérico interseca el conjunto cero del ideal relevante únicamente en el origen. Esto asegura la necesaria transversalidad e independencia algebraica para que la extensión funcione.
4. Aplicación del Lema 2.4: Este lema asegura que la regularidad de una función racional se preserva bajo pequeñas perturbaciones de la aplicación, permitiendo la transición de la aplicación construida en el espacio producto de vuelta al espacio ambiente.

Contribuciones Clave y Resultados
El resultado principal del artículo es el Teorema 1.8:

Sea $X$ una variedad algebraica no singular y retractamente racional sobre un campo infinito $K$. Entonces es uniformemente retractamente racional.

La demostración procede tomando un punto arbitrario $x_0 \in X$. Dado que $X$ es retractamente racional, existen conjuntos abiertos y retracciones globalmente. El autor extiende la aplicación de retracción $r: U \to V$ (donde $V \subset X$) a una aplicación racional en el espacio ambiente. Utilizando la Proposición 3.1, construyen un gérmen regular $G$ definido en un entorno de $x_0$ en el espacio ambiente que se restringe a la identidad en $X$ cerca de $x_0$. Este gérmen proporciona efectivamente la retracción local requerida para la uniformidad de la retractidad racional.

Corolarios y Significado
El artículo deriva el Corolario 1.9 como una consecuencia directa:

Las variedades proyectivas complejas racionales y no singulares son algebraicamente elípticas.

Afirmaciones de Significado:

• Resolución de una Cuestión Específica: El artículo proporciona una respuesta afirmativa a la Pregunta 1.7, estableciendo que la propiedad local (uniformidad) sigue de la propiedad global (retractidad racional) para variedades no singulares sobre campos infinitos.
• Respuesta Parcial a la Pregunta de Gromov: Al combinar el Teorema 1.8 con la Observación 1.6, el artículo confirma que todas las variedades proyectivas complejas racionales y no singulares son algebraicamente elípticas. Esto resuelve la segunda parte de la Pregunta 1.3 para la clase de las variedades racionales.
• Clarificación de la Jerarquía: Los resultados clarifican la jerarquía de propiedades para variedades proyectivas complejas irreductibles y no singulares:
  $$\text{Racionalidad Uniforme} \implies \text{Racionalidad} \implies \text{Retractidad Racional} \implies \text{Retractidad Racional Uniforme} \implies \text{Ellipticidad Algebraica}$$
  El artículo señala que las implicaciones inversas no se cumplen en general (citando ejemplos de variedades elípticas que no son racionales o no son retractamente racionales).

El artículo no pretende resolver la Pregunta 1.3 en su totalidad (es decir, para todas las variedades, no solo las racionales), ni propone nuevas aplicaciones experimentales. Su contribución es estrictamente teórica, tendiendo un puente entre la retractidad racional y la uniformidad de la retractidad racional mediante técnicas de extensión algebraica.