$\mathbb{A}^1$-fibration in algebraic geometry and $\mathbb{A}^1$-homotopy type

Resumen Técnico: Fibración $\mathbb{A}^1$ en Geometría Algebraica y Tipo de Homotopía $\mathbb{A}^1$

Planteamiento del Problema
El artículo aborda el problema de recuperar el tipo de homotopía $\mathbb{A}^1$ de una variedad algebraica $X$ que admite una fibración $\mathbb{A}^1$ sobre un espacio base $Y$ (típicamente una curva o superficie). En la topología clásica, si una fibración $F \to X \to Y$ tiene una fibra $F$ contractible, el tipo de homotopía de $X$ es isomorfo al de $Y$. Sin embargo, en geometría algebraica, las fibraciones $\mathbb{A}^1$ a menudo poseen fibras "malas" o degeneradas (reducibles o no reducidas) sobre un lugar cerrado de codimensión uno. La cuestión central es si el tipo de homotopía $\mathbb{A}^1$ global del espacio total $X$ puede recuperarse plenamente a partir de la base $Y$ y la configuración geométrica de estas fibras degeneradas, específicamente dentro del marco de la categoría de homotopía no estable $\mathcal{H}(k)$ desarrollada por Morel y Voevodsky.

Metodología
Los autores emplean técnicas de la teoría de homotopía motivica no estable, utilizando específicamente el functor de presheaf simplicial $\text{Sing}_*$ y las propiedades de las equivalencias débiles locales de Nisnevich. La metodología procede a través de varios pasos clave:

1. Equivalencia Débil Local de Paquetes $\mathbb{A}^1$: Los autores establecen que un paquete $\mathbb{A}^1$-étale localmente trivial $\rho: X \to C$ induce una equivalencia débil local de Nisnevich $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$. Esto se demuestra probando que para cualquier esquema local henseliano esencialmente suave $O$, el mapa inducido en conjuntos simpliciales es una fibración de Kan trivial. Esto se basa en el hecho de que los paquetes $\mathbb{A}^1$ sobre bases afines (como $\mathbb{A}^n_O$) son triviales debido a la anulación de los grupos de cohomología relevantes ($H^1_{\text{ét}}(\mathbb{A}^n_O, \text{Aut}(\mathbb{A}^1_k)) \cong 0$).
2. Factorización de Fibraciones $\mathbb{A}^1$: Utilizando un teorema de estructura (Teorema 2.19), los autores factorizan cualquier fibración $\mathbb{A}^1$ $\pi: X \to C$ (donde $X$ es una superficie afín suave y $C$ es una curva suave) en un paquete $\mathbb{A}^1$-étale localmente trivial $\theta: X \to \mathcal{C}$ seguido de un morfismo biracional $\alpha: \mathcal{C} \to C$. Aquí, $\mathcal{C}$ es un espacio algebraico suave que codifica los datos de las fibras degeneradas (número de componentes, multiplicidades).
3. Contractibilidad Simplicial y $\mathbb{A}^1$-Localidad: El artículo investiga la $\mathbb{A}^1$-localidad de $\text{Sing}_*(X)$ (es decir, si $\text{Sing}_*(X)$ es fibrante en la estructura de modelo $\mathbb{A}^1$). Esto implica analizar la conmutatividad de $\text{Sing}_*$ con cocientes y aplicar el "lema del cinco débil" a secuencias de cofibración.
4. Análisis de Componentes Conexas $\mathbb{A}^1$: Los autores estudian el sheaf de componentes conexas $\mathbb{A}^1$, $\pi^{\mathbb{A}^1}_0(X)$. Distinguen entre dos clases de superficies afines suaves: aquellas que son $\mathbb{A}^1$-uniruladas (dimensión de Kodaira logarítmica negativa) y aquellas que no lo son (dimensión de Kodaira logarítmica no negativa). Para estas últimas, utilizan técnicas de "homotopía fantasma" para mostrar que el sheaf $S(X)$ se estabiliza en $S_2(X)$.

Contribuciones Clave y Resultados

• Teorema 2.22: El artículo demuestra que si $\rho: X \to C$ es un paquete $\mathbb{A}^1$-étale localmente trivial sobre un espacio algebraico suave $C$, entonces el morfismo inducido $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$ es una equivalencia débil local de Nisnevich. En consecuencia, $\rho$ es una equivalencia débil $\mathbb{A}^1$. Este resultado generaliza el hecho clásico de que los paquetes vectoriales son equivalencias de homotopía al contexto de los paquetes $\mathbb{A}^1$ sobre espacios algebraicos.
• $\mathbb{A}^1$-Localidad de los Tresfalds de Koras-Russell (Teorema 3.2): Los autores demuestran que para un tresfald de Koras-Russell de primer tipo, $\text{Sing}_*(X)$ es simplicialmente contractible y $\mathbb{A}^1$-local. Este resultado se establece directamente utilizando un argumento del lema del cinco débil aplicado a un diagrama de cofibraciones, en lugar de depender de la conjetura de cancelación. El artículo observa que, si bien la contractibilidad $\mathbb{A}^1$ de estos tresfalds fue probada previamente en [15], la $\mathbb{A}^1$-localidad de $\text{Sing}_*(X)$ es una nueva contribución. Los autores también observan que si la conjetura de cancelación de Zariski fuera cierta (es decir, $X \times \mathbb{A}^1 \cong \mathbb{A}^4$), entonces $\text{Sing}_*(X)$ sería necesariamente $\mathbb{A}^1$-local como un retracto de $\text{Sing}_*(\mathbb{A}^4)$, pero la prueba de localidad del artículo no depende de esta conjetura no probada.
• $\mathbb{A}^1$-Invariancia de $\pi^{\mathbb{A}^1}_0$ para Superficies Afines Suaves (Corolario 4.40): El artículo establece que para cualquier superficie afín compleja suave $X$, el sheaf de componentes conexas $\mathbb{A}^1$, $\pi^{\mathbb{A}^1}_0(X)$, es $\mathbb{A}^1$-invariante.
  • Para superficies con dimensión de Kodaira logarítmica no negativa (no-$\mathbb{A}^1$-uniruladas), esto se demuestra mostrando que $S(X) \cong S_2(X)$, lo que implica la estabilización de los componentes conexos en cadena.
  • Para superficies $\mathbb{A}^1$-uniruladas (dimensión de Kodaira logarítmica negativa), el resultado sigue de la factorización a través del espacio algebraico $\mathcal{C}$. Los autores muestran que si la curva base es $\mathbb{A}^1$-rígida, $\pi^{\mathbb{A}^1}_0(X) \cong \mathcal{C}$. Si la base no es rígida, prueban que $\mathcal{C}$ (y por tanto $X$) es $\mathbb{A}^1$-conexa.
• Clasificación de Tipos de Homotopía $\mathbb{A}^1$ (Sección 5): El artículo proporciona una clasificación de los tipos de homotopía $\mathbb{A}^1$ para superficies $\mathbb{A}^1$-ruled basadas en las propiedades del espacio algebraico base $\mathcal{C}$.
  • Si $\mathcal{C}$ es $\mathbb{A}^1$-rígido, el tipo de homotopía $\mathbb{A}^1$ de $X$ es isomorfo al tipo de isomorfismo de $\mathcal{C}$.
  • Si $\mathcal{C}$ es $\mathbb{A}^1$-conexo (por ejemplo, $\mathcal{C} \cong \mathbb{A}^1$ o $\mathbb{P}^1$ con múltiples orígenes), el tipo de homotopía $\mathbb{A}^1$ está determinado por el número de orígenes y la configuración de las fibras degeneradas, resultando a menudo en tipos equivalentes a cuñas de $\mathbb{P}^1$ o líneas afines con múltiples orígenes.

Significación y Reivindicaciones
El artículo afirma resolver la cuestión de la $\mathbb{A}^1$-invariancia para el sheaf de la componente conexa $\pi^{\mathbb{A}^1}_0(X)$ en el contexto específico pero importante de las superficies complejas afines suaves. Aunque la conjetura general de que $\pi^{\mathbb{A}^1}_0(X)$ es $\mathbb{A}^1$-invariante es falsa para espacios generales (como muestra Ayoub), este trabajo demuestra su validez para todas las superficies afines suaves.

Además, los autores establecen un vínculo directo entre los datos geométricos de las fibras degeneradas en una fibración $\mathbb{A}^1$ y el tipo de homotopía $\mathbb{A}^1$ resultante. Al factorizar la fibración a través de un espacio algebraico $\mathcal{C}$, muestran que las fibras "malas" están precisamente codificadas en la estructura de $\mathcal{C}$ (por ejemplo, no separabilidad o puntos múltiples), y que el espacio total $X$ es $\mathbb{A}^1$-débilmente equivalente a este espacio algebraico. Esto proporciona un método concreto para computar los tipos de homotopía $\mathbb{A}^1$ de superficies con dimensión de Kodaira logarítmica negativa, reduciendo el problema a la clasificación de espacios algebraicos de dimensión 1 con multiplicidades de puntos específicas.

El trabajo también contribuye a la comprensión de la $\mathbb{A}^1$-localidad de variedades específicas, como los tresfalds de Koras-Russell, confirmando su $\mathbb{A}^1$-localidad y apoyando la investigación más amplia sobre el problema de la cancelación y la estructura de las estructuras algebraicas exóticas.