On the Motivic Homotopy Type of Algebraic Stacks

Sintesi Tecnica: Sul Tipo di Omotopia Motivica degli Stack Algebrici

Problematica
Il saggio affronta la sfida di estendere la teoria dell'omotopia motivica e la teoria dei motivi dagli schemi agli stack algebrici generali. Sebbene le tecniche come il descentamento omotopico permettano di ridurre i problemi sugli stack al caso degli schemi, tale riduzione è stata storicamente limitata a specifiche classi di stack, ovvero quelli che sono localmente quotient nello stile Nisnevich (ad esempio, stack con stabilizzatori linearmente riduttivi). Esisteva una lacuna significativa nel dimostrare che i formalismi standard dei motivi e della teoria dell'omotopia motivica forniscano risultati "corretti" per arbitrarie stack algebriche, in particolare quelle prive di strutture quotient locali o di specifiche ipotesi di separazione. Inoltre, vi era la necessità di unificare le diverse definizioni della categoria di omotopia motivica stabile per gli stack, che precedentemente richiedevano l'esistenza di presentazioni lisce con sezioni locali Nisnevich.

Metodologia
Gli autori sviluppano un framework basato su coperture lisce-Nisnevich. Una morfismo $f: Y \to X$ di stack algebrici è definito come una copertura liscia-Nisnevich se è liscia e ogni morfismo dallo spettro di un campo $\text{Spec } K \to X$ si solleva a $Y$.

Il nucleo del contributo metodologico è la costruzione di tali coperture per qualsiasi stack algebrica, rimuovendo i precedenti vincoli riguardanti la separazione, il tipo finito o le proprietà degli stabilizzatori. Gli autori utilizzano:

1. Coperture di Scomposizione (Splitting Covers): Essi stabiliscono che un morfismo liscio ammette una copertura di scomposizione (una partizione finita della base dove il morfismo ammette sezioni) se e solo se è una copertura liscia-Nisnevich.
2. Stack di Hilbert: La prova dell'esistenza si basa sulle proprietà degli stack di Hilbert, specificamente gli sottostack che parametrizzano famiglie quasi-finite o étale. Analizzando lo stack di Hilbert di una copertura liscia, gli autori costruiscono una nuova copertura che sia rappresentabile e possieda le desiderate proprietà di sollevamento.
3. Nervi di Čech: Una volta stabilita una copertura liscia-Nisnevich $p: \mathcal{X} \to X$ (dove $\mathcal{X}$ è uno schema), gli autori analizzano l'associato nervo di Čech $\mathcal{X}_\bullet$. Essi dimostrano che questo schema simpliciale induce un'equivalenza nella categoria di omotopia $\mathbb{A}^1$ di Morel-Voevodsky.

Contributi Chiave e Risultati

• Teorema 1.2 (Esistenza di Coperture Lisce-Nisnevich): Il saggio dimostra che per ogni stack algebrica $X$, esiste una copertura liscia-Nisnevich $p: \mathcal{X} \to X$ dove $\mathcal{X}$ è uno schema.

  • Se $X$ è quasi-compatta e quasi-separata (qcqs) con stabilizzatori affini, $\mathcal{X}$ può essere scelto come affine.
  • Se $X$ è uno stack di Deligne–Mumford, $p$ può essere scelto come étale.
  • Questo risultato generalizza i risultati precedenti eliminando le ipotesi di separazione e le assunzioni noetheriane richieste nella letteratura precedente (ad esempio, [LMB00], [Čes15], [Pir18]).

• Teorema 1.3 (Descentamento Omotopico): Sia $p: \mathcal{X} \to X$ una copertura liscia-Nisnevich su un campo $k$, e sia $\mathcal{X}_\bullet$ il suo nervo di Čech. Il morfismo $\mathcal{X}_\bullet \to X$ induce un'equivalenza nella categoria di omotopia $\mathbb{A}^1$ di Morel-Voevodsky, $\mathcal{H}(k)$.

  • Ciò stabilisce che il tipo di omotopia Nisnevich di qualsiasi stack algebrica può essere descritto da uno schema simpliciale, rendendo accessibili gli argomenti di descentamento omotopico per tutte le stack.

• Proprietà Motiviche di Smooth Stack (Teorema 3.4): Come conseguenza del risultato di descentamento, il motivo $M(X)$ di una smooth stack $X$ soddisfa le stesse proprietà fondamentali del motivo di uno schema liscio:

  • Descentamento Nisnevich.
  • Formula del bundle proiettivo.
  • Formula di blow-up.
  • Triangolo Gysin.
  • Questi risultati generalizzano quelli in [CDH20], che erano precedentemente limitati a stack localmente quotient Nisnevich.

• Unificazione delle Categorie di Omotopia Stabile (Corollario 3.13): Il saggio dimostra che per ogni stack algebrica quasi-separata $X$, la categoria di omotopia motivica stabile estesa per limite $\mathcal{SH}^\wedge(X)$ (da [KR21]) e la categoria estesa lisse $\mathcal{SH}^{\otimes}_{ext}(X)$ (da [Cho21]) sono equivalenti. Questa equivalenza sussiste perché il Teorema 1.2 garantisce che ogni stack ammetta una presentazione liscia con sezioni locali Nisnevich.

• Dualità di Poincaré per i Motivi con Supporto Compatto (Teorema 3.10): Per una smooth stack algebrica $X$ di dimensione $d$ con stabilizzatori affini, gli autori definiscono il motivo con supporto compatto $M^c(X)$ tramite un limite omotopico su una copertura liscia-Nisnevich. Essi dimostrano l'isomorfismo $M^c(X) \cong M(X)^\vee(d)[2d]$.

Significato
Il saggio afferma che l'esistenza di coperture lisce-Nisnevich per arbitrarie stack algebriche è un risultato fondamentale che valida l'applicazione della teoria dell'omotopia motivica al contesto generale delle stack. Dimostrando che il motivo di una smooth stack si comporta analogamente a quello di una smooth scheme, gli autori confermano che i vari formalismi dei motivi producono risultati coerenti senza richiedere la restrittiva condizione di "localmente quotient".

Inoltre, il saggio nota che il risultato di limitatezza nel Teorema 1.2 ha applicazioni oltre la teoria motivica, specificamente nell'applicare la tecnica di approssimazione di Elkik allo stack di Picard per studiare la domanda di Grothendieck riguardo all'iniettività della mappa $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ per morfismi propri su anelli noetheriani completi.

Gli autori riconoscono che un simile risultato di esistenza è stato recentemente dimostrato in [CD24], ma sottolineano che il loro contributo include il risultato specifico di limitatezza per stack qcqs con stabilizzatori affini e l'applicazione esplicita all'unificazione delle categorie di omotopia motivica stabile e delle proprietà di coomologia motivica.