Syntomic cohomology and real topological cyclic homology

Sintesi Tecnica: Coomologia Sintomica e Omologia Ciclica Topologica Reale

Enunciato del Problema
L'articolo affronta il divario computazionale nelle teorie K hermitiane e reali, in particolare in contesti in cui 2 non è invertibile. Sebbene la traccia ciclotomica e il teorema di Dundas–Goodwillie–McCarthy abbiano stabilito l'omologia ciclica topologica ($TC$) come uno strumento potente per calcolare la K-teoria algebrica, strumenti analoghi per la K-teoria reale ($KR$) e la K-teoria hermitiana sono rimasti sottosviluppati. Recenti progressi nella coomologia sintomica e nella coomologia prismatica (Bhatt, Morrow, Scholze) hanno fornito filtranti motiviche su $TC$ con pezzi graduati identificati come coomologia sintomica $\mathbb{Z}_p(i)$. Tuttavia, una comprensione strutturale parallela per l'omologia ciclica topologica reale ($TCR$) e l'omologia topologica di Hochschild reale ($THR$) era mancante. L'articolo mira a colmare questo divario stabilendo una relazione tra la coomologia sintomica e l'omologia ciclica topologica reale, consentendo così l'applicazione delle tecniche sintomiche alle K-teorie reali e hermitiane.

Metodologia
L'autore impiega una combinazione di teoria dell'omologia stabile equivariante, filtranti motiviche e teoria della discesa. I passaggi metodologici centrali includono:

1. Filtranti Motiviche su Spettri Reali: L'articolo definisce filtranti motiviche su $THR$, $TCR^-$, $TPR$e$TCR$. Ciò comporta la costruzione di filtranti moltiplicative complete ed esaustive naturali su questi spettri per anelli quasisintomici.
2. Spettri Fortemente Pari e Filtranti a Fette (Slice): Un componente tecnico cruciale è l'introduzione della "filtrante a fette regolare" (basata sul lavoro di Ullman) nella categoria degli spettri $\mathbb{Z}/2$ ($Sp^{\mathbb{Z}/2}$). L'autore dimostra che, per anelli quasiregolari semiperfetti $S$, $THR(S; \mathbb{Z}_p)$ è "fortemente pari". Questa proprietà implica che la filtrante a fette si comporta in modo prevedibile, con fette non nulle solo in gradi specifici, permettendo l'identificazione dei pezzi graduati.
3. Proprietà di Fasci e Discesa: L'articolo stabilisce che i presci fasci di omologia di Hochschild reale e dei suoi compagni sono fasci quasisintomici. Ciò consente di ridurre i calcoli da anelli quasisintomici generali ad anelli quasiregolari semiperfetti più trattabili tramite discesa.
4. Completezza delle Filtranti: L'autore dimostra la completezza della filtrante HKR (Hochschild–Kostant–Rosenberg) reale sotto specifiche condizioni (ad esempio, la suriettività della Frobenius relativa), garantendo che le sequenze spettrali associate a queste filtranti convergano fortemente.
5. Calcoli di Sequenze Spettrali: Utilizzando le filtranti stabilite, l'articolo costruisce sequenze splettrali moltiplicative $RO(\mathbb{Z}/2)$-gradate per calcolare i gruppi di omotopia di $TCR$ per anelli specifici, come gli algebre polinomiali troncate $k[x]/x^e$ su campi perfetti di caratteristica 2.

Contributi Chiave e Risultati

• Teorema 1.1 (Risultato Strutturale Principale): Per un anello quasisintomico $A$ con involuzione banale, esistono filtranti moltiplicative naturali e complete su $THR(A; \mathbb{Z}_p)$, $TCR^-(A; \mathbb{Z}_p)$, $TPR(A; \mathbb{Z}_p)$ e $TCR(A; \mathbb{Z}_p)$. I pezzi graduati $n$-esimi sono identificati come sospensioni equivarianti della coomologia sintomica e di oggetti prismatici correlati:

  • $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)$
    Qui, $\iota$ è l'ammortizzatore sinistro del funtore di punti fissi, $\widehat{\Delta}$ denota la coomologia prismatica completata rispetto a Nygaard, e $\mathbb{Z}_p(n)$ è la coomologia sintomica.

• Teorema 1.2 (Fortemente Pari): Per un anello quasiregolare semiperfetto $S$ con involuzione banale, $THR(S; \mathbb{Z}_p)$ è fortemente pari. Ciò implica equivalenze naturali che relazionano le fette di $THR$ ai gruppi di omotopia di $THH$, specificamente $P^{2n}_{2n} THR(S; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} H\pi_{2n} THH(S; \mathbb{Z}_p)$ e la scomparsa delle fette dispari.

• Teorema 1.3 (Proprietà di Fascio): I presci fasci $THR(-; \mathbb{Z}_p)$, $TCR^-(-; \mathbb{Z}_p)$ e $TPR(-; \mathbb{Z}_p)$ sulla categoria opposta degli anelli quasisintomici sono fasci quasisintomici.

• Teorema 1.4 (Calcolo Esplicito): L'articolo fornisce un calcolo dettagliato dei gruppi di omotopia $RO(\mathbb{Z}/2)$-gradati $\pi^{ \mathbb{Z}/2}_{s,w} TCR(k[x]/x^e; \mathbb{Z}_2)$ per un campo perfetto $k$ di caratteristica 2. Il risultato è espresso come una somma diretta di moduli coinvolgenti vettori di Witt troncati, operatori di Verschiebung e generatori specifici ($\tau, \rho, \gamma, x_t, y$) con gradi definiti.

• Corollario 10.4: L'articolo calcola le fette equivarianti di $\Sigma^{2\tau \ge 1} KR(\mathcal{O}_K/\omega^n; \mathbb{Z}_p)$ per estensioni finite di $\mathbb{Q}_p$, utilizzando i precedenti calcoli della coomologia sintomica di Antieau, Krause e Nikolaus.

Significatività e Rivendicazioni
L'articolo sostiene di fornire il legame strutturale fondamentale tra la coomologia sintomica e l'omologia ciclica topologica reale. Stabilendo filtranti motiviche su $THR$e$TCR$ con pezzi graduati identificati come coomologia sintomica (e le loro varianti), il lavoro permette il trasferimento degli strumenti computazionali dal dominio della K-teoria algebrica (tramite $TC$) alle K-teorie reali e hermitiane.

L'autore nota che questi risultati sono condizionati da un "raffinamento reale del teorema di Dundas–Goodwillie–McCarthy", un lavoro in corso da parte di Harpaz, Nikolaus e Shah. Se questo raffinamento dovesse reggere, i gruppi di omotopia calcolati di $TCR$ (specificamente la parte non negativa $\tau_{\ge 0} TCR$) fornirebbero direttamente i gruppi di omotopia della K-teoria reale $KR$. L'articolo non rivendica di aver provato il raffinamento del teorema di Dundas–Goodwillie–McCarthy in sé, ma piuttosto dimostra come tale teorema renderebbe efficaci i calcoli forniti per $KR$.

La significatività risiede nel superare i pochi calcoli noti per le K-teorie hermitiane e reali (spesso limitati ai casi in cui 2 è invertibile) verso un quadro generale applicabile ad anelli dove 2 non è invertibile, utilizzando la potenza della coomologia prismatica e sintomica.