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

Resumo Técnico: $\mathbb{A}^1$-Contratibilidade Relativa de Esquemas Suaves

Enunciado do Problema
O artigo investiga a forma relativa de $\mathbb{A}^1$-contratibilidade para morfismos suaves $f: X \to S$ dentro da categoria de homotopia $\mathbb{A}^1$ instável $\mathcal{H}(S)$. Embora variedades $\mathbb{A}^1$-contratíveis sobre corpos tenham sido extensivamente estudadas — revelando uma dicotomia entre rigidez em baixas dimensões e a existência de variedades exóticas não isomórficas em dimensões mais altas —, o comportamento dessas propriedades sobre esquemas base gerais $S$ (particularmente aqueles de dimensão de Krull finita) permanece amplamente inexplorado. As questões centrais abordadas são:

1. A $\mathbb{A}^1$-contratibilidade é uma propriedade fibra a fibra para morfismos suaves?
2. Quais estruturas geométricas caracterizam morfismos $\mathbb{A}^1$-contratíveis, especificamente no contexto de espaços fibrados com fibra $\mathbb{A}^n$?
3. Até que ponto resultados de rigidez conhecidos sobre corpos (por exemplo, a unicidade de $\mathbb{A}^1$ e $\mathbb{A}^2$) se estendem a contextos relativos, e como a característica do esquema base influencia esses resultados?

Metodologia
Os autores empregam uma combinação de teoria de homotopia motivica instável, técnicas de mudança de base e geometria algébrica afim clássica.

• Ferramentas de Homotopia: O estudo baseia-se nas propriedades functoriais da categoria de homotopia $\mathbb{A}^1$ instável, especificamente mudança de base ao longo de morfismos suaves e localização em relação a hiperrecobrimentos de Nisnevich. Uma técnica-chave envolve um argumento de colagem ao longo de uma estratificação do esquema base, reduzindo questões globais a esquemas locais. Essa abordagem refina resultados análogos da teoria de homotopia motivica estável para o contexto instável.
• Geometria Algébrica: A análise estrutural de espaços fibrados com fibra $\mathbb{A}^n$ fundamenta-se no trabalho de Asanuma sobre álgebras quase-polinomiais e na classificação de fibrados afins. Os autores utilizam o truque de Jouanolou–Thomason (substituindo esquemas por torços afins sob fibrados vetoriais) e resultados sobre torços de fibrados vetoriais.
• Análise Dimensional: O artigo distingue nitidamente entre baixas dimensões relativas ($d \leq 2$) e dimensões mais altas ($d \geq 3$). Em baixas dimensões, os autores integram critérios fibra a fibra com teoremas clássicos de Kambayashi, Miyanishi–Sugie, Russell e Sathaye. Em característica positiva, eles constroem contraexemplos usando morfismos puramente inseparáveis e formas não triviais de espaços afins.
• Geometria no Infinito: Para a classificação de superfícies, o artigo utiliza técnicas de [DDØ22] que relacionam a $\mathbb{A}^1$-contratibilidade ao tipo de homotopia $\mathbb{A}^1$ estável de vizinhanças tubulares perfuradas da fronteira em uma compactificação.

Principais Contribuições e Resultados

1. Caracterização Fibra a Fibra:
   O resultado teórico primário estabelece que, para um morfismo suave $f: X \to S$ sobre um esquema base $S$ qcqs de dimensão de Krull finita, $f$ é $\mathbb{A}^1$-contratível se e somente se cada fibra geométrica $X_s$ é $\mathbb{A}^1$-contratível sobre o corpo residual $\kappa(s)$. Isso confirma que a $\mathbb{A}^1$-contratibilidade é uma propriedade fibra a fibra, implicando que a categoria de homotopia $\mathcal{H}(S)$ não detecta variações nos tipos de isomorfismo das fibras dentro de uma família suave de variedades $\mathbb{A}^1$-contratíveis.

2. Estrutura de Espaços Fibrados com Fibra $\mathbb{A}^n$:
   Os autores fornecem uma descrição geométrica de espaços fibrados com fibra $\mathbb{A}^n$ (morfismos suaves com fibras isomórficas ao espaço afim). Sob hipóteses moderadas (por exemplo, $f$ afim ou $S$ regular), tais espaços admitem uma fatoração local de Zariski como uma torre de torços sob fibrados vetoriais. Este resultado, construindo sobre o trabalho de Asanuma, explica a onipresença de morfismos $\mathbb{A}^1$-contratíveis originados de fibrados afins.

3. Rigidez em Baixas Dimensões:

   • Dimensão Relativa 1: Sobre um esquema base normal $S$, um morfismo suave de dimensão relativa 1 é $\mathbb{A}^1$-contratível se e somente se é um fibrado $\mathbb{A}^1$ trivial localmente em Zariski. Além disso, se o feixe canônico relativo for trivial e uma seção existir, o morfismo é isomorfo ao fibrado trivial $\mathbb{A}^1_S$.
   • Dimensão Relativa 2 (Característica Zero): Sobre bases com corpos residuais de característica zero, a $\mathbb{A}^1$-contratibilidade força a estrutura de um espaço fibrado com fibra $\mathbb{A}^2$. Sobre esquemas de Dedekind, tais morfismos são trivialmente locais em Zariski se forem afins. Consequentemente, superfícies afins suaves $\mathbb{A}^1$-contratíveis sobre tais bases são isomórficas a $\mathbb{A}^2_S$.
   • Rigidez vs. Cancelamento: O artigo estabelece versões relativas do Problema de Cancelamento de Zariski para curvas e superfícies em característica zero, mostrando que $X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+d}_S$ implica $X \cong \mathbb{A}^d_S$ sob condições apropriadas.

4. Patologias em Característica Positiva e Mista:
   O artigo demonstra que a rigidez observada em característica zero falha em característica positiva e mista.

   • Não-Trivialidade: Existem espaços fibrados com fibra $\mathbb{A}^2$ sobre anéis de valorização discreta com corpos residuais de característica positiva que não são trivialmente locais em Zariski.
   • Falha de Cancelamento: São exibidos contraexemplos onde $X \times_S \mathbb{A}^1_S \cong \mathbb{A}^3_S$ mas $X \not\cong \mathbb{A}^2_S$.
   • Superfícies Exóticas: Os autores constroem superfícies afins suaves e $\mathbb{A}^1$-conexas em característica positiva que não são isomórficas a $\mathbb{A}^2$ e não admitem morfismos separáveis dominantes de $\mathbb{A}^1$. A questão de se tais superfícies podem ser $\mathbb{A}^1$-contratíveis permanece aberta.

Significado e Afirmações
O artigo afirma desenvolver uma teoria estrutural para morfismos $\mathbb{A}^1$-contratíveis sobre bases gerais, refinando a compreensão de como tipos de homotopia motivica refletem a geometria algébrica em famílias.

• Estabelece que o princípio "fibra a fibra", familiar em topologia, vale para a $\mathbb{A}^1$-contratibilidade no contexto instável, desde que a base tenha dimensão de Krull finita.
• Destaca uma dicotomia nítida: enquanto dimensões $d \geq 3$ admitem famílias abundantes não triviais de variedades $\mathbb{A}^1$-contratíveis, dimensões $d \leq 2$ exibem forte rigidez em característica zero, espelhando resultados clássicos em geometria algébrica afim.
• O trabalho sublinha as limitações de estender resultados de característica zero para característica positiva, especificamente quanto à classificação de superfícies e à validade de propriedades de cancelamento.
• Os autores formulam problemas abertos concernentes à existência de superfícies $\mathbb{A}^1$-contratíveis "exóticas" em característica positiva, sugerindo que a classificação de tais objetos é incompleta e potencialmente mais rica do que no caso de característica zero.

O artigo não afirma resolver a existência de superfícies $\mathbb{A}^1$-contratíveis exóticas em característica positiva, mas sim identifica os obstáculos específicos (questões de separabilidade) e constrói candidatos que desafiam as expectativas atuais de classificação.