Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes

Resumen Técnico: $\mathbb{A}^1$-Contráctilidad Relativa de Esquemas Suaves

Enunciado del Problema
El artículo investiga la forma relativa de la $\mathbb{A}^1$-contráctilidad para morfismos suaves $f: X \to S$ dentro de la categoría de homotopía $\mathbb{A}^1$ inestable $\mathcal{H}(S)$. Si bien las variedades $\mathbb{A}^1$-contráctiles sobre cuerpos han sido estudiadas extensamente —revelando una dicotomía entre rigidez en dimensiones bajas y la existencia de variedades exóticas no isomorfas en dimensiones superiores—, el comportamiento de estas propiedades sobre esquemas base generales $S$ (particularmente aquellos de dimensión de Krull finita) permanece en gran medida inexplorado. Las preguntas centrales abordadas son:

1. ¿Es la $\mathbb{A}^1$-contráctilidad una propiedad fibra a fibra para morfismos suaves?
2. ¿Qué estructuras geométricas caracterizan a los morfismos $\mathbb{A}^1$-contráctiles, específicamente en el contexto de espacios fibrados con fibra $\mathbb{A}^n$?
3. ¿En qué medida se extienden los resultados de rigidez conocidos sobre cuerpos (por ejemplo, la unicidad de $\mathbb{A}^1$ y $\mathbb{A}^2$) a contextos relativos, y cómo influye la característica del esquema base en estos resultados?

Metodología
Los autores emplean una combinación de teoría de homotopía motivica inestable, técnicas de cambio de base y geometría algebraica afín clásica.

• Herramientas de Teoría de Homotopía: El estudio se basa en las propiedades functoriales de la categoría de homotopía $\mathbb{A}^1$ inestable, específicamente el cambio de base a lo largo de morfismos suaves y la localización con respecto a hipercubiertas de Nisnevich. Una técnica clave implica un argumento de pegado a lo largo de una estratificación del esquema base, reduciendo preguntas globales a esquemas locales. Este enfoque refina resultados análogos de la teoría de homotopía motivica estable al contexto inestable.
• Geometría Algebraica: El análisis estructural de los espacios fibrados con fibra $\mathbb{A}^n$ se construye sobre el trabajo de Asanuma sobre álgebras cuasi-polinómicas y la clasificación de fibraciones afines. Los autores utilizan el truco de Jouanolou–Thomason (reemplazar esquemas con toros afines bajo haces vectoriales) y resultados sobre toros de haces vectoriales.
• Análisis Dimensional: El artículo distingue nítidamente entre dimensiones relativas bajas ($d \leq 2$) y dimensiones superiores ($d \geq 3$). En dimensiones bajas, los autores integran criterios fibra a fibra con teoremas clásicos de Kambayashi, Miyanishi–Sugie, Russell y Sathaye. En característica positiva, construyen contraejemplos utilizando morfismos puramente inseparables y formas no triviales de espacios afines.
• Geometría en el Infinito: Para la clasificación de superficies, el artículo utiliza técnicas de [DDØ22] que relacionan la $\mathbb{A}^1$-contráctilidad con el tipo de homotopía $\mathbb{A}^1$ estable de vecindades tubulares punteadas del borde en una compactificación.

Contribuciones y Resultados Clave

1. Caracterización Fibra a Fibra:
   El resultado teórico principal establece que para un morfismo suave $f: X \to S$ sobre un esquema base $S$ qcqs de dimensión de Krull finita, $f$ es $\mathbb{A}^1$-contráctil si y solo si cada fibra geométrica $X_s$ es $\mathbb{A}^1$-contráctil sobre el cuerpo residual $\kappa(s)$. Esto confirma que la $\mathbb{A}^1$-contráctilidad es una propiedad fibra a fibra, lo que implica que la categoría de homotopía $\mathcal{H}(S)$ no detecta variaciones en los tipos de isomorfismo de las fibras dentro de una familia suave de variedades $\mathbb{A}^1$-contráctiles.

2. Estructura de Espacios Fibrados con Fibra $\mathbb{A}^n$:
   Los autores proporcionan una descripción geométrica de los espacios fibrados con fibra $\mathbb{A}^n$ (morfismos suaves con fibras isomorfas al espacio afín). Bajo hipótesis suaves (por ejemplo, $f$ afín o $S$ regular), tales espacios admiten una factorización local de Zariski como una torre de toros bajo haces vectoriales. Este resultado, que se basa en el trabajo de Asanuma, explica la ubicuidad de los morfismos $\mathbb{A}^1$-contráctiles que surgen de fibraciones afines.

3. Rigidez en Dimensiones Bajas:

   • Dimensión Relativa 1: Sobre un esquema base normal $S$, un morfismo suave de dimensión relativa 1 es $\mathbb{A}^1$-contráctil si y solo si es un haz $\mathbb{A}^1$ localmente trivial en la topología de Zariski. Además, si el haz canónico relativo es trivial y existe una sección, el morfismo es isomorfo al haz trivial $\mathbb{A}^1_S$.
   • Dimensión Relativa 2 (Característica Cero): Sobre bases con cuerpos residuales de característica cero, la $\mathbb{A}^1$-contráctilidad fuerza la estructura de un espacio fibrado con fibra $\mathbb{A}^2$. Sobre esquemas de Dedekind, tales morfismos son localmente triviales en la topología de Zariski si son afines. En consecuencia, las superficies afines suaves $\mathbb{A}^1$-contráctiles sobre tales bases son isomorfas a $\mathbb{A}^2_S$.
   • Rigidez vs. Cancelación: El artículo establece versiones relativas del Problema de Cancelación de Zariski para curvas y superficies en característica cero, mostrando que $X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+d}_S$ implica $X \cong \mathbb{A}^d_S$ bajo condiciones apropiadas.

4. Patologías en Característica Positiva y Mixta:
   El artículo demuestra que la rigidez observada en característica cero falla en característica positiva y mixta.

   • No Trivialidad: Existen espacios fibrados con fibra $\mathbb{A}^2$ sobre anillos de valoración discreta con cuerpos residuales de característica positiva que no son localmente triviales en la topología de Zariski.
   • Fallo de Cancelación: Se exhiben contraejemplos donde $X \times_S \mathbb{A}^1_S \cong \mathbb{A}^3_S$ pero $X \not\cong \mathbb{A}^2_S$.
   • Superficies Exóticas: Los autores construyen superficies afines suaves y $\mathbb{A}^1$-conexas en característica positiva que no son isomorfas a $\mathbb{A}^2$ y no admiten morfismos separables dominantes desde $\mathbb{A}^1$. La cuestión de si tales superficies pueden ser $\mathbb{A}^1$-contráctiles permanece abierta.

Significado y Afirmaciones
El artículo afirma desarrollar una teoría estructural para morfismos $\mathbb{A}^1$-contráctiles sobre bases generales, refinando la comprensión de cómo los tipos de homotopía motivicos reflejan la geometría algebraica en familias.

• Establece que el principio "fibra a fibra", familiar en topología, se cumple para la $\mathbb{A}^1$-contráctilidad en el contexto inestable, siempre que la base tenga dimensión de Krull finita.
• Destaca una dicotomía nítida: mientras que las dimensiones $d \geq 3$ admiten familias no triviales abundantes de variedades $\mathbb{A}^1$-contráctiles, las dimensiones $d \leq 2$ exhiben una fuerte rigidez en característica cero, reflejando resultados clásicos en geometría algebraica afín.
• El trabajo subraya las limitaciones de extender resultados de característica cero a característica positiva, específicamente en lo que respecta a la clasificación de superficies y la validez de las propiedades de cancelación.
• Los autores formulan problemas abiertos concernientes a la existencia de superficies $\mathbb{A}^1$-contráctiles "exóticas" en característica positiva, sugiriendo que la clasificación de tales objetos está incompleta y potencialmente es más rica que en el caso de característica cero.

El artículo no afirma resolver la existencia de superficies $\mathbb{A}^1$-contráctiles exóticas en característica positiva, sino que identifica las obstrucciones específicas (problemas de separabilidad) y construye candidatos que desafían las expectativas actuales de clasificación.