Pro-étale motives and solid rigidity

Probleemstelling

Het artikel adresseert fundamentele tekortkomingen in de huidige theorieën van cohomologie met $\ell$-adische coëfficiënten en de relatie tussen motieven en schijven. De auteurs identificeren drie hoofdproblemen:

1. Inconsistentie van coëfficiëntsystemen: Bestaande systemen voor $\ell$-adische cohomologie (zoals die van Ekedahl) werken goed voor constructieve objecten, maar gedragen zich slecht onder rationalisatie (tensorproduct met $\mathbb{Q}$). Het tensorproduct van het gecompleteerde systeem met $\mathbb{Q}$ is vaak triviaal ($0$), terwijl men verwacht dat dit overeenkomt met de $\mathbb{Q}_\ell$-cohomologie.
2. Gebrek aan goede functorialiteit: De gebruikelijke afgeleide categorieën van pro-étale schijven (zoals $D((-)_{pro\acute{e}t}, \mathbb{Z}_\ell)$) bezitten niet alle gewenste eigenschappen van een "zes-operaties formalisme" (zoals de basisveranderingstheorema's voor proper afbeeldingen).
3. Beperkingen in de rigide-analytische setting: In de theorie van solide schijven (solid sheaves) ontwikkeld door Fargues en Scholze voor rigide-analytische ruimten, werkt het formalisme van vijf operaties, maar faalt het zesde (de juiste projectieformule voor proper afbeeldingen) vaak. De auteurs willen een setting vinden waar een volledig zes-operaties formalisme wel mogelijk is.

Het doel is een nieuw coëfficiëntsysteem te construeren dat:

• Compatibel is met rationalisatie (d.w.z. $\mathbb{Z}_\ell \otimes \mathbb{Q} \simeq \mathbb{Q}_\ell$).
• Alle zes operaties ($f^*, f_*, f_!, f^!, \otimes, \underline{Hom}$) toestaat.
• Een natuurlijke realisatiefunctie biedt voor motieven die de klassieke $\ell$-adische realisatie uitbreidt.

Methodologie

De auteurs combineren drie krachtige wiskundige raamwerken:

1. Pro-étale topologie: In plaats van de kleine étale site gebruiken ze de pro-étale site van Bhatt en Scholze. Dit stelt hen in staat ringen als $\mathbb{Z}_\ell$ en $\mathbb{Q}_\ell$ te behandelen als schijven die hun topologische structuur behouden, zonder te vervallen in de problemen van de klassieke $\ell$-completie.
2. Condensed wiskunde en Soliditeit: Ze maken gebruik van de theorie van "condensed abelian groups" (ontwikkeld door Clausen en Scholze) en het concept van "soliditeit". Soliditeit is een vorm van niet-archimedische volledigheid. Ze definiëren een "solidificatie"-proces voor categorieën, wat zorgt voor goede limiet- en colimiteigenschappen.
3. Condensed Categorie-theorie: Ze gebruiken de theorie van interne $\infty$-categorieën (zoals ontwikkeld door Martini en Wolf) om een "solidificatie" toe te passen op de categorie van pro-étale motieven. Dit stelt hen in staat de categorie van motieven te "vergroten" naar een setting waar de zes operaties goed werken.

De constructie:

• Ze definiëren eerst solid pro-étale schijven op schema's ($D(X, \Lambda)^\blacksquare$) als een localisatie van de categorie van alle pro-étale schijven.
• Vervolgens construeren ze pro-étale motieven ($SH_{pro\acute{e}t}$) door de étale site te vervangen door de pro-étale site en te werken met "weakly smooth" schema's in plaats van alleen gladde schema's.
• Ze passen de solidificatie toe op de categorie van pro-étale motieven om solid motieven te verkrijgen.
• Ten slotte bewijzen ze een rigiditeitstheorema: de categorie van solid schijven is equivalent aan de categorie van solid motieven (onder bepaalde voorwaarden).

Kernbijdragen en Resultaten

De paper presenteert een reeks belangrijke stellingen die de theorie van motieven en cohomologie aanzienlijk versterken:

1. Solid Schijven op Schema's (Theorema A)
De auteurs definiëren de categorie van solid schijven $D(X, \Lambda)^\blacksquare$ voor een qcqs-scheme $X$ en een solide $\mathbb{Z}_P$-algebra $\Lambda$. Ze bewijzen dat deze categorie:

• Een abelse categorie is die gesloten is onder limieten, colimieten en uitbreidingen.
• Compact gegenereerd wordt door constructieve étale schijven.
• Een symmetrisch monoidale structuur bezit.
• Belangrijk: In tegenstelling tot de rigide-analytische setting, ondersteunen deze categorieën op schema's een volledig zes-operaties formalisme (Theorema E), mits de relevante priemgetallen inverterbaar zijn.

2. Pro-étale Motieven (Theorema B)
Ze construeren de categorie van pro-étale motivische spectra $SH_{pro\acute{e}t}(X)$.

• Deze categorie bezit een zes-operaties formalisme (voor eindig gepresenteerde afbeeldingen).
• Er is een volledig inbedding van de klassieke étale motivische spectra $SH_{\acute{e}t}(X)$ in $SH_{pro\acute{e}t}(X)$ voor lokaal étale-gebonden schema's. Dit betekent dat pro-étale motieven een natuurlijke uitbreiding zijn van de bestaande theorie.

3. De Rigiditeitstheorema (Theorema E)
Dit is het centrale resultaat. Onder de aanname dat alle priemgetallen in $P$ inverterbaar zijn op $X$, is er een equivalentie van categorieën:
$$D(X, \Lambda)^\blacksquare \simeq DM(X, \Lambda)^\blacksquare$$
Hierbij is $D(X, \Lambda)^\blacksquare$ de categorie van solid schijven en $DM(X, \Lambda)^\blacksquare$ de categorie van solid motieven.

• Consequentie: Omdat de motieven een zes-operaties formalisme hebben, erven de solid schijven deze eigenschappen ook. Dit lost het probleem op dat solide schijven in de analytische setting geen goed zes-operaties formalisme hadden.

4. Solid Realisatiefunctie (Propositie F en Corollary 3.3.12)
De auteurs construeren een solid realisatiefunctie $\rho^\blacksquare$:
$$DM_{\acute{e}t}(X, \mathbb{Z}) \to D(X, \mathbb{Z}_\ell)^\blacksquare$$

• Deze functie is compatibel met verandering van coëfficiënten.
• Ze herwint de klassieke $\ell$-adische realisatie voor constructieve objecten.
• Ze biedt een nieuwe realisatie voor $\mathbb{Q}_\ell$-cohomologie binnen een setting van presentabele categorieën, waarbij rationalisatie correct werkt (in tegenstelling tot de oude $\ell$-completie).

Betekenis en Impact

De resultaten van deze paper hebben diepgaande gevolgen voor de algebraïsche meetkunde en de theorie van motieven:

• Unificatie van Coëfficiënten: Het biedt een uniform raamwerk voor cohomologie met coëfficiënten in topologische ringen ($\mathbb{Z}_\ell, \mathbb{Q}_\ell, \mathbb{A}_{f}$) die zowel de goede eigenschappen van constructieve schijven behoudt als goed gedraagt onder rationalisatie.
• Oplossing van het "Six Functors" Probleem: Het bewijst dat solide schijven op schema's (in tegenstelling tot in de rigide-analytische wereld) een volledig zes-operaties formalisme toelaten. Dit opent de deur voor het toepassen van krachtige technieken uit de motivische theorie op solide schijven.
• Nieuwe Realisaties: De constructie van de solid realisatiefunctie biedt een robuustere manier om $\ell$-adische cohomologie te definiëren, die stabiel is onder basisverandering in gemengde karakteristiek (een probleem dat in eerdere werken zoals [Cis25] werd geconstateerd).
• Toekomstperspectief: De auteurs wijzen erop dat hun methode kan worden uitgebreid naar "spectrale Nori-motieven", wat nieuwe inzichten kan bieden in de relatie tussen motieven en de theorie van perioden.

Kortom, dit werk legt een stevige fundament voor een moderne, robuuste theorie van cohomologie met topologische coëfficiënten, waarbij de kracht van condensed wiskunde en pro-étale topologie wordt gecombineerd met de universaliteit van motieven.