Around Segal conjecture in p-adic geometry

Sintesi Tecnica: Intorno alla Congettura di Segal nella Geometria $p$-adica

Enunciato del Problema
Questo articolo investiga l'interazione tra l'omologia ciclica periodica topologica de-completata ($TP^{poly}_{/\mathbb{Z}}$), la congettura di Segal e la nozione di $F$-smoothness nell'ambito della geometria $p$-adica. La motivazione centrale deriva dalla costruzione di un invariante localizzante corrispondente alla coomologia de Rham non Hodge-completata, che produce l'omologia ciclica periodica topologica de-completata. Due domande primarie guidano la ricerca:

1. Sotto quali condizioni la filtrazione motivica sull'omologia ciclica periodica topologica de-completata è completa?
2. Sotto quali condizioni l'omologia ciclica periodica topologica de-completata è già "Nygaard-completa"?

Il saggio postula che la "Nygaard-completezza" di questa teoria sia strettamente correlata alla congettura di Segal relativa per l'omologia topologica di Hochschild ($THH$). Inoltre, il lavoro mira a stabilire proprietà di transitività per la debole e la forte $F$-smoothness, un concetto ispirato dalla congettura di Segal, costruendo relative filtrazioni coniugate sulla coomologia Hodge–Tate e sul $THH$.

Metodologia
L'autore impiega tecniche di algebra superiore, teoria equivariante genuina dell'omotopia e la teoria degli spettri sintetici ciclotomici (come sviluppato in [AR24]). I componenti metodologici chiave includono:

• Invarianti De-completati: Il saggio riformula il $TP$ de-completato ($TP^{poly}_{/\mathbb{Z}}$) senza fare affidamento sulla teoria dell'omotopia equivariante genuina, definendolo tramite i punti fissi omotopici di una costruzione di Tate che coinvolge il $THH$.
• Anelli di Bökstedt: La teoria viene estesa a moduli su "anelli di Bökstedt" (spettri ciclotomici che soddisfano specifiche condizioni di limitatezza e della congettura di Segal, come $THH(\mathbb{Z})/(p, v_1)$). Ciò consente l'identificazione degli invarianti de-completati con le costruzioni di Tate e l'instaurazione di proprietà di continuità per il $TC$.
• Stime di Connettività: Uno strumento tecnico cruciale è l'introduzione di una condizione di "generazione finita debole" per i moduli (basata sul rango di Shannon per moduli piatti). Questa condizione viene utilizzata per dimostrare la connettività asintotica delle potenze esterne del complesso cotangente, il che a sua volta stabilisce la completezza delle filtrazioni motiviche.
• Relative Filtrazioni Coniugate: Ispirandosi alle costruzioni per il $THH$ e alla filtrazione di Katz–Oda sulla coomologia de Rham derivata, l'autore costruisce relative filtrazioni coniugate sia sulla coomologia Hodge–Tate ($\Delta_R$) che sul $THH$. Queste filtrazioni sono analizzate per esaurimento e completezza.
• Degenerazione Cristallina: Il saggio adatta gli argomenti di [HW22] riguardanti $THH(BP\langle n \rangle)$ per dedurre una "degenerazione cristallina" della congettura di Segal, permettendo il trasferimento della congettura da una fibra speciale a uno schema formale.

Contributi Chiave e Risultati

1. Completezza della Filtrazione Motivica:
   Il saggio stabilisce che la filtrazione motivica su $TP^{poly}_{/\mathbb{Z}}(R)$ è completa se l'anello $R$ soddisfa una condizione di generazione finita debole sul suo complesso cotangente assoluto $L_{R/\mathbb{Z}}$. Specificamente, se $L_{R/\mathbb{Z}}$ è $p$-completamente (debolmente) finitamente generato, la filtrazione è completa. Ciò copre gli anelli in cui il derivato modulo $p$ è debolmente $F$-finito.

2. Congettura di Segal per Anelli $F$-smooth:
   Una condizione sufficiente viene dimostrata affinché lo spettro ciclotomico $THH(R)$ soddisfi la congettura di Segal $p$-completa: se $R$ è un anello $p$-quasiregolare semiperfetoid che è $F$-smooth con un complesso cotangente debolmente finitamente generato, la congettura di Segal è valida. Questo risultato generalizza i casi noti, inclusi gli algebre lisce su anelli perfetti e gli anelli regolari con riduzione $F$-finita modulo $p$.

3. Identificazione con la Costruzione di Manam:
   Per gli anelli quasiregolari semiperfetti, il $TP^{poly}_{/\mathbb{Z}}(R)$ de-completato è identificato con l'omologia ciclica periodica topologica Frobenius untwisted di Manam ($TP^{(-1)}(R)$). Il saggio fornisce una formula che mette in relazione $TP^{poly}_{/\mathbb{Z}}$ con il prodotto tensoriale di $TC^-$ e $TP$ sul base, valida per i moduli su anelli di Bökstedt.

4. Continuità di $TC$:
   Utilizzando la teoria degli spettri sintetici ciclotomici, l'autore fornisce una spiegazione concettuale per la continuità di $TC$ per i moduli su anelli di Bökstedt. Ciò si applica a sistemi filtrati che non sono uniformemente limitati inferiormente in $t$.

5. Relative Filtrazioni Coniugate e Transitività:
   Il saggio costruisce relative filtrazioni coniugate sulla coomologia Hodge–Tate e sul $THH$. Come conseguenza, deduce la transitività della debole $F$-smoothness e della $F$-smoothness.

   • Teorema 1.8: Se $k$ è debolmente $F$-smooth e $L_{R/k}$ è $p$-completamente piatto, allora $R$ è debolmente $F$-smooth.
   • Teorema 1.9: Sotto le condizioni di debole $F$-smoothness del base e piattezza del complesso cotangente, se la coomologia de Rham derivata è Hodge-completa, la coomologia prismatica assoluta è Nygaard-completa rispetto al base. Ciò implica la transitività della $F$-smoothness.

6. Convergenza Universale:
   Il concetto di "convergenza universale" per le filtrazioni Hodge e Nygaard viene introdotto per generalizzare i risultati di transitività a casi senza ampiezza Tor limitata. Ciò porta a una versione della transitività della $p$-Cartier smoothness e della $F$-smoothness per mappe la cui riduzione modulo $p$ è relativamente perfetta.

Significato e Rivendicazioni
Il saggio sostiene di unificare lo studio dell'omologia ciclica periodica topologica de-completata con la congettura di Segal e la $F$-smoothness. Stabilendo la completezza delle filtrazioni motiviche sotto condizioni di generazione finita debole, estende l'ambito della congettura di Segal a una classe più ampia di anelli, inclusi i DVR non eccellenti e gli anelli che non sono $F$-finiti ma sono debolmente $F$-finiti.

L'introduzione di relative filtrazioni coniugate fornisce un quadro sistematico per confrontare la coomologia prismatica e il $THH$ in caratteristica mista, offrendo un analogo in caratteristica mista della filtrazione di Katz–Oda. I risultati di transitività per la $F$-smoothness e la $p$-Cartier smoothness sono presentati come conseguenze dirette di queste costruzioni di filtrazione, offrendo una nuova prospettiva sulla stabilità di queste proprietà di smoothness sotto la composizione di mappe di anelli. Il lavoro chiarisce inoltre la relazione tra gli invarianti de-completati e le costruzioni esistenti (come quelle di Manam) e fornisce una base teorica robusta per la continuità del $TC$ in contesti non uniformemente limitati inferiormente.