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

Résumé technique : $\mathbb{A}^1$-contractibilité relative des schémas lisses

Énoncé du problème
L'article examine la forme relative de la $\mathbb{A}^1$-contractibilité pour les morphismes lisses $f: X \to S$ au sein de la catégorie d'homotopie instable $\mathbb{A}^1$, notée $\mathcal{H}(S)$. Alors que les variétés $\mathbb{A}^1$-contractibles sur les corps ont fait l'objet d'études approfondies — révélant une dichotomie entre rigidité en basse dimension et existence de variétés exotiques non isomorphes en dimensions supérieures — le comportement de ces propriétés sur des schémas de base généraux $S$ (particulièrement ceux de dimension de Krull finie) reste largement inexploré. Les questions centrales abordées sont les suivantes :

1. La $\mathbb{A}^1$-contractibilité est-elle une propriété fibrée pour les morphismes lisses ?
2. Quelles structures géométriques caractérisent les morphismes $\mathbb{A}^1$-contractibles, spécifiquement dans le contexte des fibrés à fibres $\mathbb{A}^n$ ?
3. Dans quelle mesure les résultats de rigidité connus sur les corps (par exemple, l'unicité de $\mathbb{A}^1$ et $\mathbb{A}^2$) s'étendent-ils aux contextes relatifs, et comment la caractéristique du schéma de base influence-t-elle ces résultats ?

Méthodologie
Les auteurs emploient une combinaison de la théorie de l'homotopie motivique instable, de techniques de changement de base et de géométrie algébrique affine classique.

• Outils d'homotopie : L'étude repose sur les propriétés fonctorielles de la catégorie d'homotopie $\mathbb{A}^1$ instable, spécifiquement le changement de base le long de morphismes lisses et la localisation par rapport aux hyperrecouvrements de Nisnevich. Une technique clé consiste en un argument de recollement le long d'une stratification du schéma de base, réduisant les questions globales à des schémas locaux. Cette approche affine des résultats analogues issus de la théorie de l'homotopie motivique stable au contexte instable.
• Géométrie algébrique : L'analyse structurelle des fibrés à fibres $\mathbb{A}^n$ s'appuie sur les travaux d'Asanuma concernant les algèbres quasi-polynomiales et la classification des fibrations affines. Les auteurs utilisent l'astuce de Jouanolou–Thomason (remplacement des schémas par des torseurs affines sous des fibrés vectoriels) et des résultats sur les torseurs de fibrés vectoriels.
• Analyse dimensionnelle : L'article distingue nettement les faibles dimensions relatives ($d \leq 2$) des dimensions supérieures ($d \geq 3$). En basse dimension, les auteurs intègrent des critères fibrés avec des théorèmes classiques de Kambayashi, Miyanishi–Sugie, Russell et Sathaye. En caractéristique positive, ils construisent des contre-exemples utilisant des morphismes purement inséparables et des formes non triviales d'espaces affines.
• Géométrie à l'infini : Pour la classification des surfaces, l'article utilise des techniques issues de [DDØ22] reliant la $\mathbb{A}^1$-contractibilité au type d'homotopie $\mathbb{A}^1$ stable des voisinages tubulaires poinçonnés de la frontière dans une compactification.

Contributions et résultats clés

1. Caractérisation fibrée :
   Le résultat théorique principal établit que pour un morphisme lisse $f: X \to S$ au-dessus d'un schéma de base $S$ qcqs de dimension de Krull finie, $f$ est $\mathbb{A}^1$-contractible si et seulement si chaque fibre géométrique $X_s$ est $\mathbb{A}^1$-contractible sur le corps résiduel $\kappa(s)$. Cela confirme que la $\mathbb{A}^1$-contractibilité est une propriété fibrée, impliquant que la catégorie d'homotopie $\mathcal{H}(S)$ ne détecte pas les variations dans les types d'isomorphisme des fibres au sein d'une famille lisse de variétés $\mathbb{A}^1$-contractibles.

2. Structure des fibrés à fibres $\mathbb{A}^n$ :
   Les auteurs fournissent une description géométrique des fibrés à fibres $\mathbb{A}^n$ (morphismes lisses dont les fibres sont isomorphes à l'espace affine). Sous des hypothèses légères (par exemple, $f$ affine ou $S$ régulier), de tels espaces admettent une factorisation locale pour la topologie de Zariski sous forme d'une tour de torseurs sous des fibrés vectoriels. Ce résultat, s'appuyant sur les travaux d'Asanuma, explique l'ubiquité des morphismes $\mathbb{A}^1$-contractibles issus de fibrations affines.

3. Rigidité en basse dimension :

   • Dimension relative 1 : Sur un schéma de base $S$ normal, un morphisme lisse de dimension relative 1 est $\mathbb{A}^1$-contractible si et seulement s'il est un fibré $\mathbb{A}^1$ localement trivial pour la topologie de Zariski. De plus, si le faisceau canonique relatif est trivial et qu'une section existe, le morphisme est isomorphe au fibré trivial $\mathbb{A}^1_S$.
   • Dimension relative 2 (Caractéristique zéro) : Sur des bases dont les corps résiduels sont de caractéristique zéro, la $\mathbb{A}^1$-contractibilité impose la structure d'un fibré à fibres $\mathbb{A}^2$. Sur les schémas de Dedekind, de tels morphismes sont localement triviaux pour la topologie de Zariski s'ils sont affines. Par conséquent, les surfaces affines lisses $\mathbb{A}^1$-contractibles sur de telles bases sont isomorphes à $\mathbb{A}^2_S$.
   • Rigidité vs Annulation : L'article établit des versions relatives du problème de l'annulation de Zariski pour les courbes et les surfaces en caractéristique zéro, montrant que $X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+d}_S$ implique $X \cong \mathbb{A}^d_S$ sous des conditions appropriées.

4. Pathologies en caractéristique positive et mixte :
   L'article démontre que la rigidité observée en caractéristique zéro échoue en caractéristique positive et mixte.

   • Non-trivialité : Il existe des fibrés à fibres $\mathbb{A}^2$ sur des anneaux de valuation discrète à corps résiduel de caractéristique positive qui ne sont pas localement triviaux pour la topologie de Zariski.
   • Échec de l'annulation : Des contre-exemples sont exhibés où $X \times_S \mathbb{A}^1_S \cong \mathbb{A}^3_S$ mais $X \not\cong \mathbb{A}^2_S$.
   • Surfaces exotiques : Les auteurs construisent des surfaces affines lisses et $\mathbb{A}^1$-connectées en caractéristique positive qui ne sont pas isomorphes à $\mathbb{A}^2$ et n'admettent pas de morphismes séparables dominants depuis $\mathbb{A}^1$. La question de savoir si de telles surfaces peuvent être $\mathbb{A}^1$-contractibles reste ouverte.

Portée et affirmations
L'article prétend développer une théorie structurelle pour les morphismes $\mathbb{A}^1$-contractibles sur des bases générales, affinant la compréhension de la manière dont les types d'homotopie motiviques reflètent la géométrie algébrique en familles.

• Il établit que le principe « fibré », familier en topologie, vaut pour la $\mathbb{A}^1$-contractibilité dans le contexte instable, à condition que la base ait une dimension de Krull finie.
• Il met en lumière une dichotomie nette : tandis que les dimensions $d \geq 3$ admettent une abondance de familles non triviales de variétés $\mathbb{A}^1$-contractibles, les dimensions $d \leq 2$ présentent une forte rigidité en caractéristique zéro, faisant écho aux résultats classiques en géométrie algébrique affine.
• Le travail souligne les limites de l'extension des résultats de caractéristique zéro à la caractéristique positive, spécifiquement concernant la classification des surfaces et la validité des propriétés d'annulation.
• Les auteurs formulent des problèmes ouverts concernant l'existence de surfaces $\mathbb{A}^1$-contractibles « exotiques » en caractéristique positive, suggérant que la classification de tels objets est incomplète et potentiellement plus riche que dans le cas de caractéristique zéro.

L'article ne prétend pas résoudre l'existence de surfaces $\mathbb{A}^1$-contractibles exotiques en caractéristique positive, mais identifie plutôt les obstructions spécifiques (problèmes de séparabilité) et construit des candidats qui défient les attentes actuelles de classification.