Trace formalism for motivic cohomology

Dit artikel construeert spoorafbeeldingen voor de zes-functorformalisme van motivische cohomologie en biedt een $\infty$-versterking daarvan door gebruik te maken van de relatieve cykelgroepen van Suslin-Voevodsky.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is vol met boeken over de vorm en structuur van de ruimte. In deze bibliotheek zijn er twee speciale afdelingen die vaak met elkaar praten:

1. De "Cirkel-afdeling" (Cyclische theorie): Hier houden ze van concrete objecten. Denk aan een stapel stenen, een bos bomen of een rivier. Ze tellen dingen: "Er zijn hier precies 5 bomen." Dit is heel tastbaar.
2. De "Golf-afdeling" (Cohomologie): Hier houden ze van abstracte patronen en trillingen. Ze kijken niet naar de bomen zelf, maar naar de "sfeer" of het geluid dat de bomen maken. Ze gebruiken complexe formules om te zeggen hoe die sfeer eruitziet.

Het probleem is dat deze twee afdelingen vaak niet goed met elkaar kunnen communiceren. De mensen in de Cirkel-afdeling zeggen: "Kijk, hier is een boom!" en de mensen in de Golf-afdeling zeggen: "Ja, maar hoe vertaal ik dat naar jouw golfpatroon?"

Het doel van dit paper
De auteur, Tomoyuki Abe, wil een vertaler bouwen. Een heel krachtige vertaler die precies kan zeggen: "Als je hier een stapel stenen (een cyclus) hebt, dan komt dat overeen met dit specifieke golfpatroon (de cohomologie)."

In de wiskundige wereld noemen ze dit een "Trace Map" (Spoor-map). Het is als een apparaat dat een fysiek object neemt en er een "spoor" van achterlaat in de abstracte wereld.

Hoe werkt het? (De analogieën)

• Het probleem met de "ruwe" wereld:
  Soms is de wereld waar we naar kijken niet perfect glad. Het kan vol gaten zitten, of het kan "vies" zijn (wiskundig: niet-gladde of niet-reduceerbare ruimtes). Als je probeert de vertaler te bouwen voor een hele rommelige plek, werkt het niet goed.

  • De oplossing: Abe zegt: "Laten we eerst de vertaler bouwen voor een perfecte, gladde wereld (zoals een gladde vlakte)." Dat is makkelijk. Vervolgens bewijst hij dat als je de vertaler voor die gladde wereld hebt, je die ook kunt gebruiken voor de rommelige wereld, zolang je maar een paar slimme trucjes gebruikt.

• De "Hoogte-uitdaging" (Higher Homotopy):
  In de wiskunde van deze "golf-afdeling" zijn er soms extra, onzichtbare lagen van complexiteit (zoals ruis in een radio). Soms is die ruis zo sterk dat je het echte signaal niet meer hoort.

  • De ontdekking: Abe ontdekt iets heel belangrijks: in dit specifieke geval is die ruis niet aanwezig. De "hogere trillingen" zijn gewoon stil (ze zijn nul).
  • Waarom is dit geweldig? Omdat de ruis weg is, kun je de vertaler bouwen alsof je alleen maar naar de basisvraag kijkt. Je hoeft niet bang te zijn dat er later nog iets "bovenop" komt dat alles verpest. Dit maakt het bouwen van de vertaler veel makkelijker en betrouwbaarder.

• De "Oneindige" upgrade (Infinity-enhancement):
  De oude vertalers waren goed, maar ze waren een beetje stijf. Ze konden alleen zeggen: "Dit is het antwoord." Ze konden niet goed omgaan met subtiele nuances of met het idee dat er oneindig veel manieren zijn om naar een probleem te kijken.

  • De upgrade: Abe bouwt een super-vertaler die werkt in een "oneindige" wereld. Dit is als het verschil tussen een oude telefoon die alleen kan bellen, en een moderne smartphone die video kan streamen, apps kan draaien en alles tegelijk kan doen.
  • Deze nieuwe vertaler is niet alleen een lijn tussen twee punten, maar een heel netwerk dat alle mogelijke verbindingen tussen de "stapels stenen" en de "golven" in één keer begrijpt.

De "Relatieve Cyclus Groep" (De sleutel)
Om deze super-vertaler te bouwen, gebruikt Abe een idee van andere wiskundigen (Suslin en Voevodsky). Ze hebben een manier bedacht om "stapels stenen" te tellen die niet vastzitten aan één specifieke plek, maar die meebewegen als je de wereld verandert.
Stel je voor dat je een foto maakt van een groep mensen. Als je de camera beweegt, verandert de foto. Maar als je de mensen zelf als een "groep" ziet, blijft hun essentie hetzelfde. Abe gebruikt deze "essentiële groep" om de vertaling te doen, in plaats van vast te houden aan de specifieke foto.

Conclusie in het kort
Tomoyuki Abe heeft een nieuwe, superkrachtige vertaler ontworpen voor de wiskunde.

1. Hij laat zien dat je de vertaling van "tastbare objecten" naar "abstracte golven" kunt doen, zelfs in een rommelige wereld, omdat de storende ruis ontbreekt.
2. Hij bouwt deze vertaler niet alleen voor één geval, maar maakt hem "oneindig" flexibel, zodat hij in de toekomst nog veel meer wiskundige mysteries kan oplossen.

Het is alsof hij een brug heeft gebouwd tussen de harde, fysieke wereld van de natuur en de zachte, dromerige wereld van de abstracte wiskunde, en hij heeft die brug zo sterk gemaakt dat hij zelfs de zwaarste stormen (de complexiteit van de wiskunde) kan doorstaan.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Trace formalism for motivic cohomology" van Tomoyuki Abe, geschreven in het Nederlands.

Titel: Trace formalisme voor motivische cohomologie

Auteur: Tomoyuki Abe
Publicatie: Épijournal de Géométrie Algébrique, Volume 7 (2023)

---

1. Het Probleem en de Context

Het artikel richt zich op de constructie van spoorafbeeldingen (trace maps) binnen het formalisme van de zes functoren voor motivische cohomologie, zoals ontwikkeld door Voevodsky, Ayoub en Cisinski–Déglise.

• Achtergrond: In de étale cohomologie (SGA4) is de spoorafbeelding $Tr_f: Rf_!f^*\Lambda(d)[2d] \to \Lambda$ een fundamenteel instrument om cyclische informatie (zoals cykelklassen) naar de cohomologische structuur te "werpen". Deze afbeelding is cruciaal voor de definitie van cykelklassen en voldoet aan specifieke functoriële eigenschappen.
• De Uitdaging: Het bestaande formalisme voor motivische cohomologie miste tot nu toe een vergelijkbare, robuuste constructie van spoorafbeeldingen die werkt voor algemene morfismen en die compatibel is met de $\infty$-categorische versterking van de theorie.
• Specifiek doel: De auteur wil een analoge spoorafbeelding construeren voor motivische cohomologie en deze verheffen tot een $\infty$-versterking (een natuurlijke transformatie tussen $\infty$-functoren). Dit is essentieel voor het verbinden van "echte cycli" met de $\infty$-versterkte motivische cohomologie, zoals gebruikt in eerdere werken van de auteur.

2. Methodologie

De auteur hanteert een geavanceerde methodologische aanpak die draait om het interpreteren van de spoorafbeelding niet als een eigenschap van een schema, maar als een eigenschap van een cykel.

• Verdwijning van hogere homotopieën: Een kernobservatie is dat bepaalde hogere homotopiegroepen verdwijnen:
  $$R^i\text{Hom}(Rf_!f^*\Lambda(d)[2d], \Lambda) = 0 \quad \text{voor } i < 0.$$
  Deze verdwijning stelt de auteur in staat om de constructie van de spoorafbeelding "lokaal" te reduceren. In plaats van een complexe globale constructie, volstaat het om een morfisme van schoven te construeren.
• Relatieve Cykelgroepen (Suslin-Voevodsky): Om de defecten van het traditionele formalisme (waarbij de spoorafbeelding gevoelig lijkt voor niet-reduced structuren) te omzeilen, maakt de auteur gebruik van de relatieve cykelgroepen $zequi(X/S, d)$ van Suslin en Voevodsky.
  • De idee is dat de spoorafbeelding geassocieerd moet worden met een cykel (zoals $[X]$ voor een platte morfisme) in plaats van met het schema zelf.
  • De groep $zequi(X/S, d)$ is een ondergroep van de groep van cycli die equidimensionaal zijn over $S$.
• Bivariante Theorie: De constructie wordt geformuleerd binnen het raamwerk van bivariante theorieën (Fulton-MacPherson). De auteur definieert twee bivariante theorieën:
  1. $zequi(-, \ast)$: Gebaseerd op relatieve cykelgroepen.
  2. $HBM_{2\ast}(-, \Lambda(\ast))$: Gebaseerd op Borel-Moore homologie (gedefinieerd als $\text{Hom}(Rf_!f^*\Lambda, \Lambda)$).
• $\infty$-Categorische Versterking: Hoewel de eerste delen van het artikel met modelcategorieën kunnen worden geformuleerd, maakt de auteur in Sectie 6 gebruik van de taal van $\infty$-categorieën (specifiek stabiele $\infty$-categorieën en spectra) om de functoriële eigenschappen en de natuurlijke transformaties strikt te definiëren.
• Reductie tot het gladde geval: Door gebruik te maken van de pdh-topologie (een verfijning van de cdh-topologie die eindige surjectieve platte morfismen van graad een macht van $p$ omvat) en de alteratietheorema's van Temkin, reduceert de auteur de constructie tot het geval waar de basisschema's glad zijn.

3. Belangrijkste Bijdragen en Resultaten

A. Constructie van de Spoorafbeelding (Hoofdstuk 4 & 5)

De auteur bewijst het volgende hoofdstelling (Theorema 3.5):
Er bestaat een unieke morfisme van bivariante theorieën, compatibel met de $\mathbb{A}^1$-oriëntatie:
$$\tau: zequi(-, \ast) \longrightarrow HBM_{2\ast}(-, \Lambda(\ast))$$
Waarbij $\Lambda = \mathbb{Z}[1/p]$ (met $p$ de karakteristiek van het grondveld).

• Concretisatie: Voor een platte morfisme $f: X \to S$ van relatieve dimensie $d$, is het element $[X] \in zequi(X/S, d)$ de fundamentele cykel. De afbeelding $\tau$ stuurt deze cykel naar het element $Tr_f^\tau \in HBM_{2d}(X/S, \Lambda(d))$, wat de gewenste spoorafbeelding is.
• Uniciteit: De afbeelding is uniek bepaald door de compatibiliteit met productstructuren, pushforwards langs eigentijdse morfismen en pullbacks.
• Vergelijking met bestaande theorie: De auteur toont aan dat deze constructie een generalisatie is van de bekende spoorafbeeldingen in de étale cohomologie (SGA4) en de eerder gedefinieerde fundamentele klassen van Déglise.

B. Verdamping van Hogere Homotopieën (Propositie 3.7)

Een cruciaal technisch resultaat is het bewijs dat voor een morfisme $f$ met $\dim(f) \le d$:
$$HBM_{2m+n}(X/S, \Lambda(m)) = 0$$
in specifieke gevallen (bijv. $m > d$ of $m=d$ en $n>0$). Dit resultaat is noodzakelijk om de constructie via de pdh-topologie en hyperoverdekkingen geldig te maken.

C. $\infty$-Versterking (Hoofdstuk 6)

De auteur verheft de spoorafbeelding naar het niveau van $\infty$-categorieën.

• Er wordt een categorie $\mathcal{Ar}$ geïntroduceerd (morfismen tussen schema's met geschikte diagrammen).
• Er worden twee functoren gedefinieerd van $\mathcal{Ar}^{op}$ naar de categorie van spectra ($Sp$):
  1. Een verheven versie van de cykelgroepfunctor $z(d)$.
  2. Een verheven versie van de Borel-Moore homologie $HBM(d)$.
• Hoofdstelling 6.4: Er bestaat een essentiële unieke natuurlijke transformatie (morfisme van schoven met waarden in spectra):
  $$\tau^\dagger: z(d) \longrightarrow HBM(d)$$
  die de eerder geconstrueerde $\tau$ induceert op het niveau van $\pi_0$.

4. Significatie en Impact

1. Unificatie van Cycli en Cohomologie: Het artikel sluit een belangrijke kloof in de motivische theorie door een systematische manier te bieden om cyclische informatie (via Suslin-Voevodsky groepen) te vertalen naar cohomologische structuren (via Borel-Moore homologie) binnen het zes-functoren formalisme.
2. $\infty$-Categorische Fundamenten: De constructie van de $\infty$-versterking is van groot belang voor de moderne algebraïsche meetkunde. Het stelt onderzoekers in staat om de spoorafbeelding te gebruiken in contexten waar homotopische coherentie essentieel is, zoals in de theorie van motivische spectra en in de studie van de relatie tussen "echte" cycli en hun $\infty$-representaties.
3. Generaliteit: De methode werkt voor algemene schema's (niet noodzakelijk glad) door gebruik te maken van alteraties en de pdh-topologie, wat de toepasbaarheid van de theorie aanzienlijk vergroot ten opzichte van eerdere resultaten die vaak beperkt waren tot gladde situaties.
4. Toekomstige Toepassingen: De auteur vermeldt dat deze $\infty$-versterkte spoorformalisatie een cruciaal ingrediënt is in zijn eerdere werk ([Abe22b]), waar het dient als interface tussen de wereld van algebraïsche cycli en de $\infty$-versterkte motivische cohomologie.

Samenvattend biedt dit artikel een rigoureuze en fundamentele uitbreiding van het formalisme van de zes functoren, waarbij het de constructie van spoorafbeeldingen voor motivische cohomologie volledig formaliseert en verheft naar het niveau van $\infty$-categorieën.