On the Motivic Homotopy Type of Algebraic Stacks

Technische Samenvatting: Over de Motivische Homotopietype van Algebraïsche Stacks

Probleemstelling
Het artikel behandelt de uitdaging om de motivische homotopietheorie en de theorie van motieven uit te breiden van schema's naar algemene algebraïsche stacks. Hoewel technieken zoals homotopische descent kunnen worden gebruikt om stack-problemen te reduceren tot het schema-geval, was deze reductie historisch gezien beperkt tot specifieke klassen van stacks, met name die welke Nisnevich lokaal quotient-stacks zijn (bijv. stacks met lineair reductieve stabilisatoren). Er bestond een aanzienlijke kloof in het vaststellen dat de standaard formalismen van motieven en motivische homotopietheorie "correcte" resultaten opleveren voor willekeurige algebraïsche stacks, in het bijzonder die zonder lokale quotientstructuren of specifieke scheidingshypothesen. Bovendien was er een behoefte om verschillende definities van de stabiele motivische homotopiecategorie voor stacks te verenigen, die voorheen de aanwezigheid van gladde presentaties met Nisnevich lokale secties vereisten.

Methodologie
De auteurs ontwikkelen een raamwerk gebaseerd op smooth-Nisnevich afdekkingen. Een morfisme $f: Y \to X$ van algebraïsche stacks wordt gedefinieerd als een smooth-Nisnevich afdekking als het een glad (smooth) morfisme is en elke morfisme van het spectrum van een veld $\text{Spec } K \to X$ lift naar $Y$.

De kernbijdrage van de methodologie is de constructie van dergelijke afdekkingen voor elke algebraïsche stack, waarbij eerdere beperkingen met betrekking tot scheiding, eindig type of stabilisator-eigenschappen worden opgeheven. De auteurs maken gebruik van:

1. Splitting Covers: Zij stellen vast dat een glad morfisme een splitting cover (een eindige partitie van de basis waar het morfisme secties toelaat) bezit als en slechts als het een smooth-Nisnevich afdekking is.
2. Hilbert Stacks: Het bewijs van de existentie berust op de eigenschappen van Hilbert stacks, specif kindere de substacks die quasi-finiete of étale families parametrizere. Door de Hilbert stack van een smooth cover te analyseren, construeren de auteurs een nieuwe cover die representabel is en de gewenste lift-eigenschappen bezit.
3. Čech Nerves: Zodra een smooth-Nisnevich afdekking $p: \mathcal{X} \to X$ is vastgesteld (waarbij $\mathcal{X}$ een schema is), analyseren de auteurs de bijbehorende Čech nerve $\mathcal{X}_\bullet$. Zij bewijzen dat deze simpliciale schema een equivalentie induceert in de Morel-Voevodsky $\mathbb{A}^1$-homotopiecategorie.

Kernbijdragen en Resultaten

• Theorem 1.2 (Existentie van Smooth-Nisnevich Afdekkingen): Het artikel bewijst dat er voor elke algebraïsche stack $X$ een smooth-Nisnevich afdekking $p: \mathcal{X} \to X$ bestaat waarbij $\mathcal{X}$ een schema is.

  • Als $X$ quasi-compact en quasi-gescheiden (qcqs) is met affine stabilisatoren, kan $\mathcal{X}$ als affien worden gekozen.
  • Als $X$ een Deligne–Mumford stack is, kan $p$ als étale worden gekozen.
  • Dit resultaat generaliseert eerdere bevindingen door de scheidingshypothesen en noetheriaanse aannames te elimineren die in eerdere literatuur vereist waren (bijv. [LMB00], [Čes15], [Pir18]).

• Theorem 1.3 (Homotopische Descent): Laat $p: \mathcal{X} \to X$ een smooth-Nisnevich afdekking zijn over een veld $k$, en laat $\mathcal{X}_\bullet$ zijn de bijbehorende Čech nerve. De morfisme $\mathcal{X}_\bullet \to X$ induceert een equivalentie in de Morel-Voevodsky $\mathbb{A}^1$-homotopiecategorie, $\mathcal{H}(k)$.

  • Dit vestigt dat de Nisnevich homotopietype van een willekeurige algebraïsche stack kan worden beschreven door een simpliciaal schema, waardoor argumenten voor homotopische descent toegankelijk worden voor alle stacks.

• Motivische Eigenschappen van Smooth Stacks (Theorem 3.4): Als gevolg van het descent-resultaat voldoet het motief $M(X)$ van een smooth algebraïsche stack $X$ aan dezelfde fundamentele eigenschappen als het motief van een smooth schema:

  • Nisnevich descent.
  • Projectieve bundelformule.
  • Blow-up formule.
  • Gysin-driehoek.
  • Deze resultaten generaliseren die in [CD20], die voorheen beperkt waren tot Nisnevich lokaal quotient stacks.

• Unificatie van Stabiele Homotopiecategorieën (Corollary 3.13): Het artikel toont aan dat voor elke quasi-gescheiden algebraïsche stack $X$, de limit-extended stabiele motivische homotopiecategorie $\mathcal{SH}^\wedge(X)$ (uit [KR21]) en de lisse-extended categorie $\mathcal{SH}^{\otimes}_{ext}(X)$ (uit [Cho21]) equivalent zijn. Deze equivalentie houdt stand omdat Theorem 1.2 garandeert dat elke stack een smooth presentatie met Nisnevich lokale secties bezit.

• Poincaré Dualiteit voor Motieven met Compact Support (Theorem 3.10): Voor een smooth algebraïsche stack $X$ van dimensie $d$ met affine stabilisatoren, definiëren de auteurs het motief met compact support $M^c(X)$ via een homotopy limit over een smooth-Nisnevich cover. Zij bewijzen de isomorfie $M^c(X) \cong M(X)^\vee(d)[2d]$.

Significantie
Het artikel stelt dat het bestaan van smooth-Nisnevich afdekkingen voor willekeurige algebraïsche stacks een fundamenteel resultaat is dat de toepassing van de motivische homotopietheorie op de algemene stack-setting valideert. Door aan te tonen dat het motief van een smooth stack analoog gedraagt aan dat van een smooth schema, bevestigen de auteurs dat de verschillende formalismen van motieven consistente resultaten produceren zonder de restrictieve "lokaal quotient" conditie te vereisen.

Daarnaast merkt het artikel op dat het boundedness resultaat in Theorem 1.2 toepassingen heeft buiten de motivische theorie, specifiek voor het toepassen van Elkik's benaderingstechniek op de Picard stack om Grothendieck's vraag betreffende de injectiviteit van de map $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ voor propere morfismen over complete noetheriaanse ringen te bestuderen.

De auteurs erkennen dat een vergelijkbaar existentie-resultaat recentelijk bewezen is in [CD24], maar benadrukken dat hun bijdrage het specifieke boundedness resultaat voor qcqs stacks met affine stabilisatoren omvat en de expliciete toepassing op de unificatie van stabiele motivische homotopiecategorieën en motivische cohomologie eigenschappen.