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

Resumo Técnico: Fibração $\mathbb{A}^1$ em Geometria Algébrica e Tipo de Homotopia $\mathbb{A}^1$

Enunciado do Problema
O artigo aborda o problema de recuperar o tipo de homotopia $\mathbb{A}^1$ de uma variedade algébrica $X$ que admite uma fibração $\mathbb{A}^1$ sobre um espaço base $Y$ (tipicamente uma curva ou superfície). Na topologia clássica, se uma fibração $F \to X \to Y$ possui uma fibra contratável $F$, o tipo de homotopia de $X$ é isomorfo ao de $Y$. No entanto, na geometria algébrica, as fibrações $\mathbb{A}^1$ frequentemente possuem fibras "ruins" ou degeneradas (redutíveis ou não reduzidas) sobre um lócus fechado de codimensão um. A questão central é se o tipo de homotopia $\mathbb{A}^1$ global do espaço total $X$ pode ser totalmente recuperado a partir da base $Y$ e da configuração geométrica dessas fibras degeneradas, especificamente dentro do arcabouço da categoria de homotopia instável motivica $\mathcal{H}(k)$ desenvolvida por Morel e Voevodsky.

Metodologia
Os autores empregam técnicas da teoria de homotopia motivica instável, especificamente utilizando o funtor de pré-objeto simplicial $\text{Sing}_*$ e as propriedades das equivalências fracas locais de Nisnevich. A metodologia procede através de várias etapas fundamentais:

1. Equivalência Fraca Local de Feixes $\mathbb{A}^1$: Os autores estabelecem que um feixe $\mathbb{A}^1$ etale localmente trivial $\rho: X \to C$ induz uma equivalência fraca local de Nisnevich $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$. Isso é provado demonstrando que, para qualquer esquema local Henseliano essencialmente suave $O$, o mapa induzido nos conjuntos simpliciais é uma fibração de Kan trivial. Isso se baseia no fato de que feixes $\mathbb{A}^1$ sobre bases afins (como $\mathbb{A}^n_O$) são triviais devido ao desaparecimento dos grupos de cohomologia relevantes ($H^1_{\text{ét}}(\mathbb{A}^n_O, \text{Aut}(\mathbb{A}^1_k)) \cong 0$).
2. Fatoração de Fibrações $\mathbb{A}^1$: Utilizando um teorema de estrutura (Teorema 2.19), os autores fatoram qualquer fibração $\mathbb{A}^1$ $\pi: X \to C$ (onde $X$ é uma superfície afim suave e $C$ é uma curva suave) em um feixe $\mathbb{A}^1$ etale localmente trivial $\theta: X \to \mathcal{C}$ seguido por um morfismo biracional $\alpha: \mathcal{C} \to C$. Aqui, $\mathcal{C}$ é um espaço algébrico suave que codifica os dados das fibras degeneradas (número de componentes, multiplicidades).
3. Contratabilidade Simplicial e Localidade $\mathbb{A}^1$: O artigo investiga a localidade $\mathbb{A}^1$ de $\text{Sing}_*(X)$ (ou seja, se $\text{Sing}_*(X)$ é fibrante na estrutura de modelo $\mathbb{A}^1$). Isso envolve analisar a comutatividade de $\text{Sing}_*$ com quocientes e aplicar o "lema cinco fraco" a sequências de cofibragem.
4. Análise de Componentes Conexas $\mathbb{A}^1$: Os autores estudam o feixe de componentes conexas $\mathbb{A}^1$, $\pi^{\mathbb{A}^1}_0(X)$. Eles distinguem entre duas classes de superfícies afins suaves: aquelas que são $\mathbb{A}^1$-uniruladas (dimensão de Kodaira log negativa) e aquelas que não são (dimensão de Kodaira log não negativa). Para estas últimas, eles utilizam técnicas de "homotopia fantasma" para mostrar que o feixe $S(X)$ estabiliza em $S_2(X)$.

Principais Contribuições e Resultados

• Teorema 2.22: O artigo prova que, se $\rho: X \to C$ é um feixe $\mathbb{A}^1$ etale localmente trivial sobre um espaço algébrico suave $C$, então o morfismo induzido $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$ é uma equivalência fraca local de Nisnevich. Consequentemente, $\rho$ é uma equivalência fraca $\mathbb{A}^1$. Este resultado generaliza o fato clássico de que feixes vetoriais são equivalências de homotopia para o cenário de feixes $\mathbb{A}^1$ sobre espaços algébricos.
• Localidade $\mathbb{A}^1$ de Trêsvariedades de Koras-Russell (Teorema 3.2): Os autores provam que, para uma trêsvariedade de Koras-Russell do primeiro tipo $X$, $\text{Sing}_*(X)$ é simplicialmente contratável e $\mathbb{A}^1$-local. Este resultado é estabelecido diretamente usando um argumento do lema cinco fraco aplicado a um diagrama de cofibragens, em vez de depender da conjectura do cancelamento. O artigo observa que, embora a contratabilidade $\mathbb{A}^1$ dessas trêsvariedades tenha sido provada anteriormente em [15], a localidade $\mathbb{A}^1$ de $\text{Sing}_*(X)$ é uma nova contribuição. Os autores também observam que, se a conjectura do cancelamento de Zariski fosse verdadeira (ou seja, $X \times \mathbb{A}^1 \cong \mathbb{A}^4$), então $\text{Sing}_*(X)$ seria necessariamente $\mathbb{A}^1$-local como um retrat de $\text{Sing}_*(\mathbb{A}^4)$, mas a prova de localidade do artigo não depende desta conjectura não provada.
• Invariância $\mathbb{A}^1$ de $\pi^{\mathbb{A}^1}_0$ para Superfícies Afins Suaves (Corolário 4.40): O artigo estabelece que, para qualquer superfície complexa afim suave $X$, o feixe de componentes conexas $\mathbb{A}^1$, $\pi^{\mathbb{A}^1}_0(X)$, é $\mathbb{A}^1$-invariante.
  • Para superfícies com dimensão de Kodaira log não negativa (não-$\mathbb{A}^1$-uniruladas), isso é provado mostrando que $S(X) \cong S_2(X)$, o que implica a estabilização das componentes conexas por cadeias.
  • Para superfícies $\mathbb{A}^1$-uniruladas (dimensão de Kodaira log negativa), o resultado decorre da fatoração através do espaço algébrico $\mathcal{C}$. Os autores mostram que, se a curva base é $\mathbb{A}^1$-rígida, $\pi^{\mathbb{A}^1}_0(X) \cong \mathcal{C}$. Se a base não é rígida, eles provam que $\mathcal{C}$ (e, portanto, $X$) é $\mathbb{A}^1$-conexo.
• Classificação de Tipos de Homotopia $\mathbb{A}^1$ (Seção 5): O artigo fornece uma classificação dos tipos de homotopia $\mathbb{A}^1$ para superfícies $\mathbb{A}^1$-ruladas baseada nas propriedades do espaço algébrico base $\mathcal{C}$.
  • Se $\mathcal{C}$ é $\mathbb{A}^1$-rígido, o tipo de homotopia $\mathbb{A}^1$ de $X$ é isomorfo ao tipo de isomorfismo de $\mathcal{C}$.
  • Se $\mathcal{C}$ é $\mathbb{A}^1$-conexo (por exemplo, $\mathcal{C} \cong \mathbb{A}^1$ ou $\mathbb{P}^1$ com múltiplas origens), o tipo de homotopia $\mathbb{A}^1$ é determinado pelo número de origens e pela configuração das fibras degeneradas, resultando frequentemente em tipos equivalentes a cunhas de $\mathbb{P}^1$ ou linhas afins com múltiplas origens.

Significância e Alegações
O artigo afirma resolver a questão da invariância $\mathbb{A}^1$ para o feixe de componentes conexas $\pi^{\mathbb{A}^1}_0(X)$ no contexto específico, porém importante, de superfícies complexas afins suaves. Embora a conjectura geral de que $\pi^{\mathbb{A}^1}_0(X)$ é $\mathbb{A}^1$-invariante seja conhecida por ser falsa para espaços gerais (como mostrado por Ayoub), este trabalho demonstra sua validade para todas as superfícies afins suaves.

Além disso, os autores estabelecem uma ligação direta entre os dados geométricos das fibras degeneradas em uma fibração $\mathbb{A}^1$ e o tipo de homotopia $\mathbb{A}^1$ resultante. Ao fatorar a fibração através de um espaço algébrico $\mathcal{C}$, eles mostram que as fibras "ruins" são precisamente codificadas na estrutura de $\mathcal{C}$ (por exemplo, não-separabilidade ou múltiplos pontos), e que o espaço total $X$ é $\mathbb{A}^1$-fracamente equivalente a este espaço algébrico. Isso fornece um método concreto para computar tipos de homotopia $\mathbb{A}^1$ de superfícies com dimensão de Kodaira log negativa, reduzindo o problema à classificação de espaços algébricos unidimensionais com multiplicidades de pontos específicas.

O trabalho também contribui para a compreensão da localidade $\mathbb{A}^1$ de variedades específicas, como as trêsvariedades de Koras-Russell, confirmando sua localidade $\mathbb{A}^1$ e apoiando a investigação mais ampla sobre o problema do cancelamento e a estrutura de estruturas algébricas exóticas.