Syntomic cohomology and real topological cyclic homology

Technische Samenvatting: Syntomische Cohomologie en Reële Topologische Cyclische Homologie

Probleemstelling
Het artikel behandelt de computationele kloof in hermitische en reële K-theorieën, met name in contexten waar 2 niet invers is. Hoewel de cyclotomaal spoor (cyclotomic trace) en het Dundas–Goodwillie–McCarthy-theorema hebben vastgesteld dat topologische cyclische homologie (TC) een krachtig instrument is voor het berekenen van algebraïsche K-theorie, zijn analoge instrumenten voor reële K-theorie ($KR$) en hermitische K-theorie nog onderontwikkeld gebleven. Recente vooruitgang in syntomische cohomologie en prismatische cohomologie (Bhatt, Morrow, Scholze) heeft motivische filtraties op $TC$ opgeleverd, waarbij de gegradeerde stukken worden geïdentificeerd als syntomische cohomologie $\mathbb{Z}_p(i)$. Een parallelle structurele verstandhouding voor reële topologische cyclische homologie ($TCR$) en reële topologische Hochschild-homologie ($THR$) ontbrak echter. Het artikel beoogt deze kloof te overbruggen door een relatie vast te stellen tussen syntomische cohomologie en reële topologische cyclische homologie, waardoor de toepassing van syntomische technieken op reële en hermitische K-theorieën mogelijk wordt.

Methodologie
De auteur maakt gebruik van een combinatie van equivariante stabiele homotopietheorie, motivische filtraties en descenttheorie. De kernstappen van de methodologie zijn:

1. Motivische Filtraties op Reële Spectra: Het artikel definieert motivische filtraties op $THR$, $TCR^-$, $TPR$ en $TCR$. Dit omvat het construeren van natuurlijke, volledige en uitputtende multiplicatieve filtraties op deze spectra voor quasisyntomische ringen.
2. Sterk Evene Spectra en Slice-Filtraties: Een cruciaal technisch onderdeel is de introductie van de "reguliere slice-filtratie" (gebaseerd op het werk van Ullman) in de categorie van $\mathbb{Z}/2$-spectra ($Sp^{\mathbb{Z}/2}$). De auteur bewijst dat voor quasireguliere semiperfectoïde ringen $S$, $THR(S; \mathbb{Z}_p)$ "sterk even" is. Deze eigenschap impliceert dat de slice-filtratie voorspelbaar gedraagt, met niet-verdwijnende slices alleen in specifieke graden, wat de identificatie van gegradeerde stukken mogelijk maakt.
3. Sheaf-eigenschappen en Descent: Het artikel stelt vast dat de presheaves van reële Hochschild-homologie en haar metgezellen quasisyntomische sheaves zijn. Dit maakt de reductie van berekeningen van algemene quasisyntomische ringen naar de meer behapbare gevallen van quasireguliere semiperfectoïde ringen via descent mogelijk.
4. Volledigheid van Filtraties: De auteur bewijst de volledigheid van de reële Hochschild–Kostant–Rosenberg (HKR) filtratie onder specifieke condities (bijv. surjectiviteit van de relatieve Frobenius), wat garandeert dat de met deze filtraties geassocieerde spectrale sequenties sterk convergeren.
5. Spectrale Sequentie Berekeningen: Gebruikmakend van de gevestigde filtraties, construeert het artikel $RO(\mathbb{Z}/2)$-gegradeerde multiplicatieve spectrale sequenties om de homotopiegroepen van $TCR$ te berekenen voor specifieke ringen, zoals afgeknotte polynoomalgebra's $k[x]/x^e$ over perfecte lichamen van karakteristiek 2.

Kernbijdragen en Resultaten

• Stelling 1.1 (Hoofdstructureel Resultaat): Voor een quasisyntomische ring $A$ met triviale involutie bestaan er natuurlijke volledige multiplicatieve filtraties op $THR(A; \mathbb{Z}_p)$, $TCR^-(A; \mathbb{Z}_p)$, $TPR(A; \mathbb{Z}_p)$ en $TCR(A; \mathbb{Z}_p)$. De $n$-de gegradeerde stukken worden geïdentificeerd als equivariante suspensies van syntomische cohomologie en gerelateerde prismatische objecten:

  • $gr_n THR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota N_{<n} \widehat{\Delta}_A\{n\}$
  • $gr_n TCR^-(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota N_{\ge n} \widehat{\Delta}_A\{n\}$
  • $gr_n TPR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota \widehat{\Delta}_A\{n\}$
  • $gr_n TCR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota \mathbb{Z}_p(n)(A)$
    Hierbij is $\iota$ de linkse adjunct aan de fixed-point functor, $\widehat{\Delta}$ staat voor Nygaard-gecompleteerde prismatische cohomologie, en $\mathbb{Z}_p(n)$ is de syntomische cohomologie.

• Stelling 1.2 (Sterk Evenheid): Voor een quasireguliere semiperfectoïde ring $S$ met triviale involutie is $THR(S; \mathbb{Z}_p)$ sterk even. Dit impliceert natuurlijke equivalenties die de slices van $THR$ relateren aan de homotopiegroepen van $THH$, specifiek $P^{2n}_{2n} THR(S; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} H\pi_{2n} THH(S; \mathbb{Z}_p)$ en het verdwijnen van oneven slices.

• Stelling 1.3 (Sheaf Eigenschap): De presheaves $THR(-; \mathbb{Z}_p)$, $TCR^-(-; \mathbb{Z}_p)$ en $TPR(-; \mathbb{Z}_p)$ op de tegenovergestelde categorie van quasisyntomische ringen zijn quasisyntomische sheaves.

• Stelling 1.4 (Expliciete Berekening): Het artikel biedt een gedetailleerde berekening van de $RO(\mathbb{Z}/2)$-gegradeerde homotopiegroepen $\pi^{ \mathbb{Z}/2}_{s,w} TCR(k[x]/x^e; \mathbb{Z}_2)$ voor een perfect veld $k$ van karakteristiek 2. Het resultaat wordt uitgedrukt als een directe som van modules die betrokken zijn bij afgeknotte Witt-vectoren, Verschiebung-operatoren en specifieke generatoren ($\tau, \rho, \gamma, x_t, y$) met gedefinieerde graden.

• Corollary 10.4: Het artikel berekent de equivariante slices van $\Sigma^{2\tau \ge 1} KR(\mathcal{O}_K/\omega^n; \mathbb{Z}_p)$ voor eindige uitbreidingen van $\mathbb{Q}_p$, gebruikmakend van eerdere berekeningen van syntomische cohomologie door Antieau, Krause en Nikolaus.

Betekenis en Claims
Het artikel beweert de fundamentele structurele verbinding te bieden tussen syntomische cohomologie en reële topologische cyclische homologie. Door motivische filtraties op $THR$ en $TCR$ vast te stellen met gegradeerde stukken die geïdentificeerd zijn als syntomische cohomologie (en haar varianten), maakt het werk het mogelijk om computationele instrumenten van het domein van algebraïsche K-theorie (via $TC$) over te dragen naar reële en hermitische K-theorieën.

De auteur merkt op dat deze resultaten voorwaardelijk zijn aan een "reële verfijning van het Dundas–Goodwillie–McCarthy-theorema", een werk in uitvoering door Harpaz, Nikolaus en Shah. Indien deze verfijning standhoudt, zouden de berekende homotopiegroepen van $TCR$ (specifiek het niet-negatieve deel $\tau_{\ge 0} TCR$) direct de homotopiegroepen van reële K-theorie $KR$ opleveren. Het artikel claimt niet zelf de Dundas–Goodwillie–McCarthy-verfijning te bewijzen, maar demonstreert hoe een dergelijk theorema de verstrekte berekeningen effectief zou maken voor $KR$.

De betekenis ligt in het verder kijken dan de weinige bekende berekeningen voor hermitische en reële K-theorieën (vaak beperkt tot gevallen waar 2 invers is) naar een algemeen kader dat toepasbaar is op ringen waar 2 niet invers is, gebruikmakend van de kracht van prismatische en syntomische cohomologie.