On the $p$-adic deformation problem for the $K$-theory of semistable schemes

Sintesi Tecnica: Sul Problema della Deformazione p-adica per la K-Teoria degli Schemi Semistabili

1. Il Problema
Il lavoro affronta il problema della deformazione p-adica per la K-teoria algebrica nel contesto della riduzione semistabile. Nello specifico, mira a caratterizzare l'ostacolo al sollevamento di una classe di K-teoria $x \in K_0(X_k; \mathbb{Q})$ dalla fibra speciale $X_k$ di uno schema $X$ alla K-teoria continua $K_{cts}^0(X; \mathbb{Q})$ della fibra generica.

Nel caso di buona riduzione (schemi lisci e propri su un campo $K$ completamente discretamente valuato), Antieau, Mathew, Morrow e Nikolaus [1] hanno stabilito che tale sollevamento è governato dalla filtrazione di Hodge sulla coomologia di de Rham della fibra generica, tramite un quadrato fibrato cartesiano che mette in relazione la K-teoria continua con l'omologia ciclica topologica (TC) e gli invarianti cristallini. Tuttavia, nel caso semistabile (cattiva riduzione), il carattere di Chern cristallino standard e le classi di ostacolo associate mancano di un'interpretazione cristallina diretta, e la relazione tra K-teoria e invarianti logaritmici era precedentemente poco chiara. Gli autori intendono estendere i risultati relativi al caso liscio all'ambito semistabile utilizzando la geometria logaritmica.

2. Metodologia
Gli autori impiegano una sintesi di geometria logaritmica, teoria dell'omotopia motivica e metodi di traccia:

• Generalizzazione Logaritmica dei Quadrati Fibrati: Gli autori generalizzano il quadrato cartesiano di Antieau–Mathew–Morrow–Nikolaus all'ambito logaritmico. Utilizzano l'omologia di Hochschild topologica logaritmica di Rognes ($\text{log-THH}$) e la filtrazione logaritmica di Hochschild–Kostant–Rosenberg (HKR).
• Strutture Logaritmiche Verticali: Un passaggio tecnico cruciale consiste nell'analizzare le strutture logaritmiche "verticali" (dove il conucleo della mappa di monoide è un gruppo). Gli autori dimostrano che, per algebre verticali, regolari e log-regolari, gli invarianti di omologia ciclica logaritmica razionalizzati si comportano in modo analogo al caso della struttura logaritmica banale, permettendo loro di "fondere" i quadrati fibrati lisci e logaritmici.
• Carattere di Chern Hyodo–Kato: Gli autori costruiscono un carattere di Chern Hyodo–Kato ($ch_{HK}$) dalla K-teoria della fibra speciale alla coomologia Hyodo–Kato. Ciò è ottenuto utilizzando orientazioni di Chern nella teoria dell'omotopia motivica logaritmica e applicandole al complesso logaritmico di de Rham–Witt.
• Mappe di Traccia e K-Teoria Omotopica: Per gestire l'interazione tra K-teoria e strutture logaritmiche, gli autori sostituiscono, ove necessario, la K-teoria standard con la K-teoria omotopica ($KH$), avvalendosi della traccia ciclotomica logaritmica. Stabiliscono un diagramma commutativo che mette in relazione $K$, $KH$ e la TC logaritmica.
• Scomposizione delle Filtrazioni: Utilizzando l'isomorfismo Hyodo–Kato, che mette in relazione la coomologia di de Rham della fibra generica con la coomologia Hyodo–Kato della fibra speciale, gli autori scompongono le filtrazioni razionalizzate dell'omologia ciclica negativa ($HC^-$) e dell'omologia ciclica periodica ($HP$).

3. Contributi e Risultati Chiave

• Il Quadrato di Bloch–Esnault–Kerz Logaritmico (Teorema A): Gli autori stabiliscono un quadrato fibrato cartesiano di spettri per un'algebra $(R, P)$ su $O_K^\sharp$ verticale, regolare e log-regolare:
  $$\begin{array}{ccc} K(R; \mathbb{Q}_p) & \to & K(R/p; \mathbb{Q}_p) \\ \downarrow & & \downarrow \\ HC^-((R, P)/O_K^\sharp; \mathbb{Q}_p) & \to & HP((R, P)/O_K^\sharp; \mathbb{Q}_p) \end{array}$$
  Ciò mette in relazione la K-teoria ordinaria con gli invarianti di omologia ciclica logaritmica.

• Il Criterio di Deformazione Hyodo–Kato (Teorema B): Per uno schema proprio e piatto $X$ su $O_K$ con fibra speciale semistabile $X_k$, una classe $x \in K_0(X_k; \mathbb{Q})$ si solleva a $K_{cts}^0(X; \mathbb{Q})$ se e solo se la sua immagine sotto il carattere di Chern Hyodo–Kato, $ch_{HK}(x)$, giace nella filtrazione di Hodge $\bigoplus_{i=0}^\infty \text{Fil}^{\ge i} H^{2i}_{dR}(X_K; \mathbb{Q}_p)$ rispetto all'equivalenza Hyodo–Kato. Ciò identifica esplicitamente l'ostacolo al sollevamento con il carattere di Chern Hyodo–Kato.

• Variante di K-Teoria Logaritmica (Teorema C): Gli autori forniscono una variante del quadrato fibrato che coinvolge la K-teoria omotopica ($KH$) della fibra speciale e la TC logaritmica, colmando il divario tra la K-teoria algebrica e gli invarianti di traccia logaritmici.

• Recupero del Teorema di Yamashita (Sezione 6): Come applicazione diretta, gli autori forniscono una dimostrazione puramente K-teoretica del teorema di Lefschetz $(1,1)$ p-adico semistabile di Yamashita. Dimostrano che una classe di fibrato lineare in $\text{Pic}(X_k; \mathbb{Q})$ si solleva a $\text{Pic}(X; \mathbb{Q})$ se e solo se la sua prima classe di Chern Hyodo–Kato giace in $\text{Fil}^{\ge 1} H^2_{dR}(X_K; \mathbb{Q}_p)$.

• Generalizzazione in Caratteristica Zero (Sezione 7): Gli autori estendono questi metodi all'ambito di caratteristica zero (schemi su $K[[t]]$), dimostrando una generalizzazione semistabile di un teorema di Morrow riguardante la sollevabilità delle classi di K-teoria in termini della filtrazione piatta sulla coomologia di de Rham logaritmica relativa.

4. Significato
Il lavoro rivendica di fornire la prima applicazione K-teoretica di invarianti di traccia logaritmici di origine genuinamente geometrica. Stabilendo il carattere di Chern Hyodo–Kato come l'ostacolo governante per il problema della deformazione p-adica nel caso semistabile, il lavoro estende i risultati fondamentali di Antieau–Mathew–Morrow–Nikolaus dall'ambito liscio a quello semistabile.

Gli autori osservano che i loro risultati offrono una relazione più flessibile e trasparente tra la K-teoria algebrica e gli invarianti di traccia logaritmici, potenzialmente avanzando le congetture riguardanti la relazione tra K-teoria e omologia ciclica logaritmica (in particolare [30, Congettura 1.5]). Il recupero del teorema di Yamashita mediante questi metodi dimostra l'utilità dei quadrati fibrati costruiti in problemi classici di geometria aritmetica. Il lavoro è presentato come un passo significativo verso una comprensione unificata della K-teoria in presenza di riduzione semistabile, sebbene gli autori rimangano modesti riguardo alla portata completa delle future applicazioni, notando che sono necessari ulteriori progressi per risolvere pienamente la relazione tra K-teoria e invarianti logaritmici.