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

Sintesi Tecnica: $\mathbb{A}^1$-Contrattibilità Relativa di Schemi Lisci

Enunciato del Problema
Il lavoro indaga la forma relativa della $\mathbb{A}^1$-contrattibilità per morfismi lisci $f: X \to S$ all'interno della categoria di omotopia $\mathbb{A}^1$ instabile $\mathcal{H}(S)$. Mentre le varietà $\mathbb{A}^1$-contrattibili su campi sono state studiate estesamente, rivelando una dicotomia tra rigidità in basse dimensioni e l'esistenza di varietà esotiche non isomorfe in dimensioni superiori, il comportamento di queste proprietà su schemi base generali $S$ (in particolare quelli di dimensione di Krull finita) rimane largamente inesplorato. Le domande centrali affrontate sono:

1. La $\mathbb{A}^1$-contrattibilità è una proprietà fibra-per-fibra per morfismi lisci?
2. Quali strutture geometriche caratterizzano i morfismi $\mathbb{A}^1$-contrattibili, specificamente nel contesto degli spazi fibrati in $\mathbb{A}^n$?
3. In che misura i risultati di rigidità noti sui campi (ad esempio, l'unicità di $\mathbb{A}^1$ e $\mathbb{A}^2$) si estendono agli scenari relativi, e come influenza questi risultati la caratteristica dello schema base?

Metodologia
Gli autori impiegano una combinazione di teoria dell'omotopia motivica instabile, tecniche di cambiamento di base e geometria algebrica affine classica.

• Strumenti di Teoria dell'Omotopia: Lo studio si basa sulle proprietà funtoriali della categoria di omotopia $\mathbb{A}^1$ instabile, specificamente il cambiamento di base lungo morfismi lisci e la localizzazione rispetto agli iper-rivestimenti di Nisnevich. Una tecnica chiave comporta un argomento di incollamento lungo una stratificazione dello schema base, riducendo questioni globali a schemi locali. Questo approccio affina risultati analoghi dalla teoria dell'omotopia motivica stabile al contesto instabile.
• Geometria Algebrica: L'analisi strutturale degli spazi fibrati in $\mathbb{A}^n$ si fonda sul lavoro di Asanuma sulle algebre quasi-polinomiali e sulla classificazione delle fibrazioni affini. Gli autori utilizzano il trucco di Jouanolou-Thomason (sostituendo schemi con toroidi affini sotto fasci vettoriali) e risultati sui toroidi di fasci vettoriali.
• Analisi Dimensionale: Il lavoro distingue nettamente tra basse dimensioni relative ($d \leq 2$) e dimensioni superiori ($d \geq 3$). In basse dimensioni, gli autori integrano criteri fibra-per-fibra con teoremi classici di Kambayashi, Miyanishi-Sugie, Russell e Sathaye. In caratteristica positiva, costruiscono controesempi utilizzando morfismi puramente inseparabili e forme non banali di spazi affini.
• Geometria all'Infinito: Per la classificazione delle superfici, il lavoro utilizza tecniche da [DDØ22] che collegano la $\mathbb{A}^1$-contrattibilità al tipo di omotopia $\mathbb{A}^1$ stabile di intorni tubolari forati del bordo in una compattificazione.

Contributi e Risultati Chiave

1. Caratterizzazione Fibra-per-Fibra:
   Il risultato teorico primario stabilisce che per un morfismo liscio $f: X \to S$ su uno schema base $S$ qcqs di dimensione di Krull finita, $f$ è $\mathbb{A}^1$-contrattibile se e solo se ogni fibra geometrica $X_s$ è $\mathbb{A}^1$-contrattibile sul campo residuo $\kappa(s)$. Ciò conferma che la $\mathbb{A}^1$-contrattibilità è una proprietà fibra-per-fibra, implicando che la categoria di omotopia $\mathcal{H}(S)$ non rileva variazioni nei tipi di isomorfismo delle fibre all'interno di una famiglia liscia di varietà $\mathbb{A}^1$-contrattibili.

2. Struttura degli Spazi Fibrati in $\mathbb{A}^n$:
   Gli autori forniscono una descrizione geometrica degli spazi fibrati in $\mathbb{A}^n$ (morfismi lisci con fibre isomorfe allo spazio affine). Sotto ipotesi lievi (ad esempio, $f$ affine o $S$ regolare), tali spazi ammettono una fattorizzazione locale di Zariski come una torre di toroidi sotto fasci vettoriali. Questo risultato, basato sul lavoro di Asanuma, spiega l'ubiquità dei morfismi $\mathbb{A}^1$-contrattibili che derivano da fibrazioni affini.

3. Rigidità in Basse Dimensioni:

   • Dimensione Relativa 1: Su uno schema base normale $S$, un morfismo liscio di dimensione relativa 1 è $\mathbb{A}^1$-contrattibile se e solo se è un fibrato $\mathbb{A}^1$ localmente banale in senso di Zariski. Inoltre, se il fascio canonico relativo è banale e esiste una sezione, il morfismo è isomorfo al fibrato banale $\mathbb{A}^1_S$.
   • Dimensione Relativa 2 (Caratteristica Zero): Su basi con campi residui di caratteristica zero, la $\mathbb{A}^1$-contrattibilità impone la struttura di uno spazio fibrato in $\mathbb{A}^2$. Su schemi di Dedekind, tali morfismi sono localmente banali in senso di Zariski se sono affini. Di conseguenza, le superfici affini lisce $\mathbb{A}^1$-contrattibili su tali basi sono isomorfe a $\mathbb{A}^2_S$.
   • Rigidità vs. Cancellazione: Il lavoro stabilisce versioni relative del Problema di Cancellazione di Zariski per curve e superfici in caratteristica zero, mostrando che $X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+d}_S$ implica $X \cong \mathbb{A}^d_S$ sotto condizioni appropriate.

4. Patologie in Caratteristica Positiva e Mista:
   Il lavoro dimostra che la rigidità osservata in caratteristica zero fallisce in caratteristica positiva e mista.

   • Non Banalità: Esistono spazi fibrati in $\mathbb{A}^2$ su anelli di valutazione discreta con campi residui di caratteristica positiva che non sono localmente banali in senso di Zariski.
   • Fallimento della Cancellazione: Vengono esibiti controesempi in cui $X \times_S \mathbb{A}^1_S \cong \mathbb{A}^3_S$ ma $X \not\cong \mathbb{A}^2_S$.
   • Superfici Esotiche: Gli autori costruiscono superfici affini lisce e $\mathbb{A}^1$-connesse in caratteristica positiva che non sono isomorfe a $\mathbb{A}^2$ e non ammettono morfismi separabili dominanti da $\mathbb{A}^1$. La questione se tali superfici possano essere $\mathbb{A}^1$-contrattibili rimane aperta.

Significato e Affermazioni
Il lavoro afferma di sviluppare una teoria strutturale per i morfismi $\mathbb{A}^1$-contrattibili su basi generali, affinando la comprensione di come i tipi di omotopia motivica riflettano la geometria algebrica nelle famiglie.

• Stabilisce che il principio "fibra-per-fibra", familiare in topologia, vale per la $\mathbb{A}^1$-contrattibilità nel contesto instabile, a condizione che la base abbia dimensione di Krull finita.
• Evidenzia una netta dicotomia: mentre le dimensioni $d \geq 3$ ammettono abbondanti famiglie non banali di varietà $\mathbb{A}^1$-contrattibili, le dimensioni $d \leq 2$ mostrano una forte rigidità in caratteristica zero, riflettendo risultati classici nella geometria algebrica affine.
• Il lavoro sottolinea i limiti dell'estensione dei risultati di caratteristica zero alla caratteristica positiva, specificamente riguardo alla classificazione delle superfici e alla validità delle proprietà di cancellazione.
• Gli autori formulano problemi aperti riguardanti l'esistenza di superfici $\mathbb{A}^1$-contrattibili "esotiche" in caratteristica positiva, suggerendo che la classificazione di tali oggetti è incompleta e potenzialmente più ricca rispetto al caso di caratteristica zero.

Il lavoro non afferma di risolvere l'esistenza di superfici $\mathbb{A}^1$-contrattibili esotiche in caratteristica positiva, ma piuttosto identifica gli ostacoli specifici (questioni di separabilità) e costruisce candidati che sfidano le attuali aspettative di classificazione.