$\mathbb{A}^1$-homotopy theory of log schemes

Sintesi Tecnica: Teoria dell'A¹-Omotopia di Schemi Log

Enunciato del Probleo
Il saggio affronta la costruzione di una categoria omotopica motivica stabile per schemi log fini e saturati (fs) che soddisfi il formalismo dei sei funtori di Grothendieck. Lavori precedenti di Park, Ayoub e altri hanno stabilito un quadro per i motivi log (denotati $\log DM(k)$ e $\log SH(S)$) in cui l'intervallo $\square := (\mathbb{P}^1, \infty)$ viene invertito invece della retta affina $\mathbb{A}^1$. Questo ambito non-$\mathbb{A}^1$-invariante ha implementato con successo teorie di coomologia come la coomologia di Hodge e la coomologia di Hochschild-Topological logaritmica, ma fallisce nel soddisfare la proprietà di localizzazione. Nello specifico, per un'immersione chiusa stretta $i$ e il suo complemento aperto $j$, la sequenza $j_\sharp j^* \to \text{id} \to i_* i_*$ non è una sequenza cofibra, e $i_*$ non è pienamente fedele. Questo fallimento impedisce la derivazione del formalismo dei sei funtori, essenziale per la costruzione dei funtori di cicli vicini motivici e per il calcolo della coomologia dei bordi.

Metodologia
L'autore costruisce una nuova $\infty$-categoria motivica stabile, denotata $SH(X)$, per schemi log fs $X$ invertendo $\mathbb{A}^1$ pur mantenendo specifiche caratteristiche log-geometriche. La costruzione procede come segue:

1. Restrizione alle Strutture Log Zariski: La teoria è sviluppata per schemi log fs con strutture log Zariski (dove il fascio del monoide è un fascio Zariski). L'autore osserva che questo non costituisce una perdita di generalità grazie al risultato di Niziol, il quale garantisce che ogni schema log fs ammetta un blow-up log con una struttura log Zariski.
2. Confini Verticali: Un concetto centrale introdotto è il "confine verticale" $\partial_S X$ di una morfismo log smooth $f: X \to S$. Esso è l'insieme dei punti dove il mappa dei monoidi $M_{S,f(x)} \to M_{X,x}$ non è verticale. Il complemento $X - \partial_S X$ rappresenta la parte "verticale" dello schema log.
3. Funzioni di Localizzazione: La categoria $SH(X)$ è costruita partendo dalla $\infty$-categoria dei fasci di Nisnevich divisi su schemi log smooth su $X$ ($lSm/X$) applicando una doppia localizzazione:
   • Localizzazione $\mathbb{A}^1$: Invertendo le proiezioni $X \times \mathbb{A}^1 \to X$.
   • Localizzazione Verticale ($ver$): Invertendo le immersioni aperte $j: U \to V$ in $lSm/X$ tali che la mappa indotta sui complementi dei confini verticali, $U - \partial_X U \to V - \partial_X V$, sia un isomorfismo.
4. Confronto con la Teoria Classica: Per uno schema $S$ con struttura log triviale, l'autore dimostra che la nuova categoria $SH(S)$ è equivalente alla originale costruzione di Morel-Voevodsky. Ciò viene ottenuto dimostrando che, in presenza di $\mathbb{A}^1$-invarianza, invertire la classe $ver$ è equivalente a invertire la classe delle immersioni aperte $U - \partial U \to U$.

Contributi Chiave e Risultati

• Costruzione di $SH(X)$: Il saggio definisce la stabile $\infty$-categoria motivica $SH(X)$ e le sue varianti assolute $DA(X, \Lambda)$ per schemi log fs. Stabilisce che, per schemi con strutture log triviali, si recuperano le classiche categorie di Morel-Voevodsky.
• La Proprietà di Localizzazione: Il principale risultato tecnico è la prova che le categorie costruite soddisfano la proprietà di localizzazione. Per un'immersione chiusa stretta $i: Z \to S$ con complemento aperto $j: U \to S$, la sequenza
  $$j_\sharp j^* F \xrightarrow{ad'} F \xrightarrow{ad} i_* i_* F$$
  è una sequenza cofibra in $SH(S)$ (e categorie correlate), e $i_*$ è pienamente fedele.
• Formalismo dei Sei Funtori: Come diretta conseguenza della proprietà di localizzazione, il saggio stabilisce il formalismo di Grothendieck dei sei funtori ($f^*, f_*, f_!, f^!, \otimes, \underline{Hom}$) per morfismi stretti di schemi log fs, basandosi sul lavoro fondamentale di Ayoub e Cisinski-Déglise.
• Coomologia dei Bordi: L'autore deriva una sequenza lunga canonica per la coomologia di uno schema log fs $X$ log smooth su una base $B$:
  $$\cdots \to E^{p,q}(X) \to E^{p,q}(X - \partial X) \oplus E^{p,q}(\partial X) \to E^{p,q}(\partial X) \to E^{p+1,q}(X) \to \cdots$$
  Questa esprime la coomologia del bordo $\partial X$ in termini della coomologia dello schema sottostante $X - \partial X$.
• Estensione delle Teorie di Coomologia: Il framework permette la definizione di teorie di coomologia $\mathbb{A}^1$-invarianti per schemi log fs, tra cui:
  • Coomologia motivica $H^p_M(X, \Lambda(q))$
  • K-teoria dell'omotopia $KHP(X)$
  • Cobordismo algebrico $MGL^{p,q}(X)$
• Calcoli Espliciti: Il saggio fornisce calcoli espliciti per la coomologia del punto log standard $pt_{\mathbb{N}, B}$ e relaziona la coomologia di $\partial X$ con il tipo di omotopia stabile all'infinito di $X - \partial X$, collegando la teoria al lavoro di Dubouloz-Déglise-Østvær e Levine.

Significatività
Il saggio sostiene di avviare lo studio del formalismo dei sei funtori di Grothendieck per schemi log fs all'interno di un ambito $\mathbb{A}^1$-invariante. Invertendo $\mathbb{A}^1$ e la specifica classe di morfismi $ver$, l'autore risolve l'ostruzione (il fallimento della proprietà di localizzazione) presente nella teoria motivica log non-$\mathbb{A}^1$-invariante. Ciò consente l'applicazione di potenti strumenti motivici alla geometria log, facilitando in particolare la costruzione di funtori di cicli vicini motivici che si comportano bene in caratteristica positiva e mista. Il lavoro funge da "reboot" della tesi dell'autore, raffinando la strategia di inversione per garantire la computabilità pur mantenendo il necessario formalismo. I risultati pongono le basi per successivi articoli della serie che svilupperanno ulteriormente il formalismo dei sei funtori e lo applicheranno a specifici problemi geometrici.