Profinite Borel completeness and smooth Artin motives

Technische Samenvatting: Profiniteit, Borel-volledigheid en Gladde Artin-motieven

Probleemstelling
Het artikel behandelt de relatie tussen twee verschillende wiskundige kaders: de $\infty$-categorie van gladde Artin-motieven over een algemeen basis-schema $S$ en de representatietheorie van de étale fundamentele groep $\pi_1^{\text{ét}}(S)$. Terwijl Voevodsky een equivalentie heeft vastgesteld tussen Artin-motieven over een veld $F$ en de afgeleide permutatiemodules van de absolute Galois-groep $\text{Gal}(F^{\text{sep}}/F)$, bleef de vraag open of deze equivalentie uitgebreid kan worden naar algemene basis-schema's $S$ waar de Galois-groep wordt vervangen door de profiete étale fundamentele groep $\pi_1^{\text{ét}}(S)$.

Een secundair, fundamenteel probleem ontstaat in de equivariante homotopietheorie van profiete groepen. Voor eindige groepen is de subcategorie van Borel-volledige spectra goed begrepen als een functor-categorie (via Mathew–Naumann–Noel). Echter, voor profiete groepen is de baan $G/1$ geen eindige $G$-verzameling, wat de directe generalisatie van Borel-volledigheid bemoeilijkt. Het artikel onderzoekt of er meerdere, onderscheidende opvattingen van "Borel-volledigheid" zijn voor profiete groepen en hoe deze zich verhouden tot verzamelingstheorie (sheaf theory) en motieven.

Methodologie
De auteur hanteert een tweeledige aanpak: eerst wordt de noodzakelijke equivariante homotopietheorie ontwikkeld en vervolgens wordt deze toegepast op de theorie van motieven.

1. Equivariante Homotopietheorie voor Profiete Groepen:

   • Het artikel herbekijkt de beschrijving van Borel-volledige spectra voor eindige groepen, waarbij coëfficiënten in een verbonden commutatieve ring-spectrum $R$ worden geïntroduceerd.
   • Voor een profiete groep $G = \lim_i G_i$ worden twee opvattingen van Borel-volledigheid gedefinieerd:
     • Niveau-gewijze Borel-volledigheid ($Sp^{\text{lwBorel}}_G$): Gedefinieerd als de limiet van Borel-volledige categorieën van de eindige kwotiënten $G_i$ langs categorische vaste punten.
     • Borel-volledigheid ($Sp^{\text{Borel}}_G$): Gedefinieerd via volledigheid met betrekking tot een specifiek algebra-object $A$, geconstrueerd als de colimiet van de dualen van banen van alle open normale subgroepen.
   • De auteur maakt gebruik van spectrale Mackey-functoren en de theorie van module-categorieën over equivariante ring-spectra om deze structuren te analyseren. Een cruciaal technisch instrument is de identificatie van de relatie tussen deze twee opvattingen via $t$-structuren en hypercompletering.

2. Motieven en Correspondenties:

   • Het artikel construeert de $\infty$-categorie van effectieve Voevodsky-motieven $DM^{\text{eff}}_{\tau}(S; R)$ (waarbij $\tau = \text{Nisnevich}$ of $\text{étale}$) met behulp van eindige correspondenties met coëfficiënten.
   • Gladde Artin-motieven $DAM_{\tau}(S; R)$ worden gedefinieerd als de lokaliserende subcategorie gegenereerd door motieven van eindige étale $S$-schema's.
   • De auteur legt een brug tussen deze motieven en de equivariante categorieën uit het eerste deel door gebruik te maken van Grothendiecks equivalentie tussen eindige étale $S$-schema's en eindige discrete $G$-verzamelingen (waarbij $G = \pi_1^{\text{ét}}(S)$).
   • Cruciaal is het onderzoek naar het gedrag van "transfers" (eindige correspondenties) in de context van étale sheaves op eindige étale schema's, waarbij wordt bewezen dat étale sheaves op deze schema's van nature transfers bezitten.

Belangrijkste Bijdragen en Resultaten

• Onderscheid in Borel-volledigheid: Het artikel identificeert dat voor profiete groepen "niveau-gewijze" Borel-volledigheid en de standaard "Borel-volledigheid" (gedefinieerd via de algebra $A$) over het algemeen verschillend zijn.

  • Stelling 3.30: De categorie van Borel-volledige $G$-spectra is equivalent aan de hypercompletering van de categorie van niveau-gewijs Borel-volledige $G$-spectra. Dit biedt een precieze structurele relatie tussen de twee opvattingen.

• Equivalentie met Sheaves en Representaties:

  • Propositie 4.8 & 4.13: Het artikel vestigt een commutatief diagram dat de Borel-volledige categorieën van equivariante spectra verbindt met categorieën van sheaves op eindige $G$-verzamelingen en afgeleide categorieën van discrete modules.
  • Specifiek is de categorie van niveau-gewijs Borel-volledige modules equivalent aan de categorie van sheaves op eindige $G$-verzamelingen, terwijl de Borel-volledige categorie overeenkomt met hypersheaves (onder specifieke voorwaarden op de virtuele cohomologische dimensie van $G$).

• Generalisatie van Voevodsky's Stelling (Nisnevich-geval):

  • Stelling 5.19: Voor een verbonden, noetheriaans schema $S$ van eindige Krull-dimensie, is er een symmetrisch monoidale equivalentie tussen de $\infty$-categorie van gladde Artin-motieven (Nisnevich topologie) en de afgeleide categorie van permutatiemodules over de profiete groep $\pi_1^{\text{ét}}(S)$:
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • Dit resultaat bevestigt dat de klassieke beschrijving van Artin-motieven via Galois-representaties zich uitstrekt naar algemene basis-schema's in de Nisnevich-topologie.

• Étale Geval en Transfers:

  • Stelling 5.34: Het artikel bewijst dat étale sheaves op eindige étale $S$-schema's automatisch transfers bezitten. Dit identificeert de categorie van étale sheaves met transfers op eindige étale schema's met de categorie van étale sheaves op eindige étale schema's (zonder expliciete verwijzing naar correspondenties).
  • Stelling 5.37: Een uitgebreid commutatief diagram wordt gepresenteerd, dat afgeleide permutatiemodules, Borel-volledige spectra en gladde Artin-motieven koppelt voor zowel de Nisnevich- als de étale topologie.
  • Corollary 5.31: In het hypercomplete étale geval, onder aannames dat de coëfficiënt-ring $R$ een positieve karakteristiek $n$ heeft en de residu-karakteristieken van $S$ priem zijn aan $n$, is de categorie van gladde Artin-motieven equivalent aan de categorie van hypersheaves met transfers op eindige étale schema's.

Betekenis en Claims
Het artikel claimt de vraag te hebben opgelost of Voevodsky's beschrijving van Artin-motieven standhoudt voor algemene basis-schema's. Het bevestigt dit voor de Nisnevich-topologie en biedt een genuanceerd antwoord voor de étale topologie, waarbij de rol van hypercompletering wordt benadrukt.

De betekenis ligt in:

1. Verenigend Kader: Het verenigt de theorie van motieven met de equivariante homotopietheorie voor profiete groepen, en toont aan dat gladde Artin-motieven worden gecontroleerd door de étale fundamentele groep.
2. Verheldering van Profiete Equivariantie: Het verheldert het subtiele onderscheid tussen niveau-gewijze en hypercomplete Borel-volledigheid in de profiete setting, waarbij de laatste wordt geïdentificeerd als de juiste opvatting om de volledige structuur van étale sheaves (hypersheaves) te vangen.
3. Transfer van Transfers: Het levert een onafhankelijk bewijs dat étale sheaves op eindige étale schema's inherent transfers dragen, een resultaat dat voorheen bekend was maar steunde op specifieke hom-set identificaties in andere literatuur.

De auteur merkt op dat terwijl het Nisnevich-geval een heldere equivalentie oplevert, het étale geval een onderscheid vereist tussen sheaves en hypersheaves, en dat de equivalentie met permutatiemodules in de niet-hypercomplete étale context verdere berekeningen van mapping-ruimtes vereist die niet in dit werk worden uitgevoerd. De resultaten worden gepresenteerd als een fundamentele stap, leunend op recent werk van Balmer–Gallauer en Dubey–Gómez met betrekking tot de Balmer-spectra van deze categorieën.