On The Morel Structure Conjecture

Technische Samenvatting: Over de Morel-structuurconjectuur

Probleemstelling
Het artikel behandelt de voltooiing van het bewijs van de Morel-structuurconjectuur binnen het kader van de motivische homotopietheorie over perfecte lichamen. De conjectuur beschrijft de structurele relaties tussen diverse motivische spectra die verschillende varianten van K-theorie en motivische cohomologie representeren. Specifiek stelt zij dat bepaalde vierkanten met betrekking tot Milnor-Witt motivische cohomologie ($\tilde{H}\mathbb{Z}$), Witt motivische cohomologie ($HW\mathbb{Z}$), Milnor-Witt K-theorie ($HKMW$), Witt K-theorie ($HKW$) en hun reducties modulo 2 of 2-torsie, cartesiaanse vierkanten zijn in de stabiele motivische homotopiecategorie $SH(k)$.

Hoewel Thomas Bachmann de conjectuur eerder al had opgelost voor lichamen met een karakteristiek niet gelijk aan 2, bleef de casus van karakteristiek 2 openstaan. Het primaire obstakel in karakteristiek 2 is het gedrag van de Witt K-theorie ($HKW$). In karakteristieken andere dan 2 is $HKW$ niet effectief (dat wil zeggen: het ligt niet in de subcategorie van effectieve motivische spectra), maar in karakteristiek 2 beoogt het artikel te bewijzen dat $HKW$ wel degelijk effectief is. Deze effectiviteit is een vereiste voor het vaststellen van de cartesiaanse aard van de relevante vierkanten in deze specifieke karakteristiek.

Methodologie
De auteur maakt gebruik van een combinatie van structurele resultaten uit de motivische homotopietheorie, waarbij specifiek gebruik wordt gemaakt van de eigenschappen van de effectieve cover-functor $f_0$, de homotopie t-structuur en de slice-filtratie. De methodologie verloopt in twee hoofdfasen:

1. Reductie naar Effectiviteit: Het artikel stelt eerst vast dat indien de Witt K-theorie ($HKW$) effectief is in karakteristiek 2, de Morel-structuurconjectuur (beide delen) onmiddellijk volgt. Dit wordt bereikt door de cartesiaanse vierkanten modulo 2 en na inversie van 2 te analyseren.

   • Modulo 2: De auteur maakt gebruik van de Geisser-Levine-stelling, die impliceert dat in karakteristiek $p$, mod-$p$ motivische cohomologie equivalent is aan Milnor K-theorie. Dit dwingt de onderste afbeelding van het relevante vierkant tot een equivalentie. Gecombineerd met de aanname dat $HKW$ effectief is, wordt de cartesiaanse eigenschap van het vierkant afgeleid.
   • Inversie van 2: De auteur analyseert het vierkant na tensoren met $\mathbb{Z}[1/2]$. Hierbij vereenvoudigt de relatie tussen Milnor-Witt, Milnor en Witt K-theorieën, waardoor de cartesiaanse eigenschap direct kan worden geverifieerd met behulp van de effectiviteit van de componenten.
   • Synthese: Gebruikmakend van een criterium dat een afbeelding een equivalentie is indien deze dat zowel modulo 2 als na inversie van 2 is, concludeert de auteur dat de volledige vierkanten cartesiaans zijn, mits $HKW$ effectief is.

2. Bewijs van Effectiviteit: De kern van de technische bijdrage is het bewijs dat $HKW$ effectief is in karakteristiek 2. De auteur past het Bachmann-Fasel Effectiviteitscriterium (Stelling 2.31) toe, dat stelt dat een motivisch spectrum $E$ effectief is dan en slechts dan als de waarde ervan op de semi-lokalisatie van de algebraïsche simplex, $\hat{\Delta}^\bullet_F$, contractibel is voor alle eindig gegenereerde lichamen $F$.

   • De auteur identificeert $HKW$ met het motivische spectrum $HI$ dat de machten van het fundamentele ideaal $I^*$ representeert (via de Morel-Carlier isomorfisme).
   • Het probleem wordt gereduceerd tot het tonen dat het spectrum $X = |R\Gamma_{Nis}(-, I^d)(\hat{\Delta}^\bullet_F)|$ contractibel is voor voldoende grote $d$.
   • Met behulp van de homotopie conoveentoren relateert de auteur de 0-slice van $HKW \otimes G_m^{\otimes d}$ aan de Nisnevich-cohomologie van de machten van het fundamentele ideaal.
   • Een cruciale stap betreft Lemma 4.10, dat vaststelt dat de 0-slices van $HKW \otimes G_m^{\otimes d}$ onafhankelijk zijn van $d$ (vanwege de verdwijning van de 0-slice van $HKM/2 \otimes G_m^{\otimes d}$).
   • Ten slotte demonstreert Corollary 4.17 dat voor een eindig gegenereerd lichaam $F$ over een perfect lichaam van karakteristiek 2, de Nisnevich-cohomologie $H^0_{Nis}(\hat{\Delta}^m_F, I^d)$ verdwijnt wanneer $d$ groter is dan de transcendentiegraad van $F$ plus de dimensie van de simplex. Deze verdwijning, gecombineerd met de connectiviteitseigenschappen van het spectrum, bewijst dat de geometrische realisatie contractibel is.

Belangrijkste Bijdragen en Resultaten

• Voltooiing van de Morel-structuurconjectuur: Het artikel bewijst dat de vierkanten die $\tilde{H}\mathbb{Z}$, $HKMW$, $H\mathbb{Z}$ en $HKM$ relateren (Theorem 1.1) en de vierkanten die $HW\mathbb{Z}$, $HKW$, $H\mathbb{Z}/2$ en $HKM/2$ relateren (Theorem 1.3), cartesiaans zijn in $SH(k)$ voor elk perfect lichaam $k$, inclusief die van karakteristiek 2.
• Effectiviteit van Witt K-theorie in Karakteristiek 2: Het artikel bewijst dat het Witt K-theorie motivische spectrum $HKW$ effectief is over elk perfect lichaam van karakteristiek 2. Dit staat in contrast met de casus karakteristiek $\neq 2$, waar $HKW$ niet effectief is.
• Kwadratische Geisser-Levine Interpretatie: Het resultaat wordt geïnterpreteerd als een "kwadratische versie" van de Geisser-Levine-stelling. Net zoals Geisser-Levine stelt dat er geen $p$-adische motivische cohomologie buiten Milnor K-theorie bestaat in karakteristiek $p$, laat dit werk zien dat er geen Witt motivische cohomologie buiten Witt K-theorie bestaat in karakteristiek 2.
• Technische Verificatie: Het artikel biedt een rigoureuze verificatie van het Bachmann-Fasel criterium voor $HKW$ door expliciet de verdwijning van Nisnevich-cohomologiegroepen van de machten van het fundamentele ideaal op semi-lokale schema's te berekenen.

Betekenis
Het artikel claimt het bewijs van de Morel-structuurconjectuur, geïnitieerd door Bachmann, te hebben afgerond. Door de casus van karakteristiek 2 op te lossen, verenigt het de beschrijving van motivische cohomologievarianten over alle karakteristieken heen. Het resultaat verheldert de structuur van de effectieve slices van Hermitische K-theorie ($KQ$), waarbij wordt bevestigd dat de gegeneraliseerde slices de verwachte vierperiodiciteit vertonen tot aan de twists, zelfs in karakteristiek 2. Het bewijs rust op de wisselwerking tussen de algebraïsche structuur van Witt-ringen (specifiek de verdwijning van hoge machten van het fundamentele ideaal in lichamen met een eindige imperfectiegraad) en de homotopische eigenschappen van motivische spectra. Het werk stelt geen nieuwe experimentele toepassingen voor, maar verstevigt de theoretische basis voor het begrijpen van de slice-filtratie van Hermitische K-theorie en het gedrag van Witt K-theorie in positieve karakteristiek.