Around Segal conjecture in p-adic geometry

Resumen Técnico: Alrededor de la Conjetura de Segal en la Geometría $p$-ádica

Planteamiento del Problema
Este artículo investiga la interacción entre la homología cíclica periódica topológica de-completada ($TP^{poly}_{/\mathbb{Z}}$), la conjetura de Segal y la noción de $F$-suavidad dentro del marco de la geometría $p$-ádica. La motivación central surge de la construcción de un invariante de localización correspondiente a la cohomología de de Rham de-completada, que produce la homología cíclica periódica topológica de-completada. Dos preguntas primarias impulsan la investigación:

1. ¿Bajo qué condiciones es completa la filtración motivica en la homología cíclica periódica topológica de-completada?
2. ¿Bajo qué condiciones la homología cíclica periódica topológica de-completada es ya "Nygaard-completa"?

El artículo postula que la "Nygaard-completitud" de esta teoría está estrechamente relacionada con la conjetura de Segal relativa para la homología topológica de Hochschild ($THH$). Además, el trabajo busca establecer propiedades de transitividad para la suavidad $F$-débil y la suavidad $F$-fuerte, un concepto inspirado en la conjetura de Segal, mediante la construcción de filtraciones conjugadas relativas en la cohomología de Hodge–Tate y en $THH$.

Metodología
El autor emplea técnicas de álgebra superior, teoría homotópica equivariante genuina y la teoría de espectros sintéticos ciclotómicos (según lo desarrollado en [AR24]). Los componentes metodológicos clave incluyen:

• Invariantes de-completados: El artículo reformula el $TP$ de-completado ($TP^{poly}_{/\mathbb{Z}}$) sin depender de la teoría homotópica equivariante genuina, definiéndolo a través de los puntos fijos de homotopía de una construcción de Tate que involucra a $THH$.
• Anillos de Bökstedt: La teoría se extiende a módulos sobre "anillos de Bökstedt" (espectros ciclotómicos que satisfacen condiciones específicas de acotación y de la conjetura de Segal, tales como $THH(\mathbb{Z})/(p, v_1)$). Esto permite la identificación de los invariantes de-completados con construcciones de Tate y el establecimiento de propiedades de continuidad para $TC$.
• Estimaciones de Conectividad: Una herramienta técnica crucial es la introducción de una condición de "generación finita débil" para los módulos (basada en el rango de Shannon de módulos planos). Esta condición se utiliza para probar la conectividad asintótica de las potencias exteriores del complejo cotangente, lo que a su vez establece la completitud de las filtraciones motivicas.
• Filtraciones Conjugadas Relativas: Inspirado en las construcciones para $THH$ y la filtración de Katz–Oda en la cohomología de de Rham derivada, el autor construye filtraciones conjugadas relativas tanto en la cohomología de Hodge–Tate ($\Delta_R$) como en $THH$. Estas filtraciones son analizadas en cuanto a su exhaustividad y completitud.
• Degeneración Cristalina: El artículo adapta argumentos de [HW22] relativos a $THH(BP\langle n \rangle)$ para deducir una "degeneración cristalina" de la conjetura de Segal, permitiendo la transferencia de la conjetura de una fibra especial a un esquema formal.

Contribuciones Clave y Resultados

1. Completitud de la Filtración Motivica:
   El artículo establece que la filtración motivica en $TP^{poly}_{/\mathbb{Z}}(R)$ es completa si el anillo $R$ satisface una condición de generación finita débil en su complejo cotangente absoluto $L_{R/\mathbb{Z}}$. Específicamente, si $L_{R/\mathbb{Z}}$ es (débilmente) finitamente generado $p$-completamente, la filtración es completa. Esto cubre anillos donde el derivado módulo $p$ es débilmente $F$-finito.

2. Conjetura de Segal para Anillos $F$-suaves:
   Se demuestra una condición suficiente para que el espectro ciclotómico $THH(R)$ satisfaga la conjetura de Segal $p$-completa: si $R$ es un anillo $p$-quasisinatómico $F$-suave con un complejo cotangente débilmente finitamente generado, la conjetura de Segal se cumple. Este resultado generaliza casos conocidos, incluyendo álgebras suaves sobre anillos perfectoides y anillos regulares con reducción $F$-finita módulo $p$.

3. Identificación con la Construcción de Manam:
   Para anillos cuasiregulares semiperfectoides, el $TP^{poly}_{/\mathbb{Z}}(R)$ de-completado se identifica con la homología cíclica periódica topológica de Frobenius no torcida $TP^{(-1)}(R)$ de Manam. El artículo proporciona una fórmula que relaciona $TP^{poly}_{/\mathbb{Z}}$ con el producto tensorial de $TC^-$ y $TP$ sobre la base, válida para módulos sobre anillos de Bökstedt.

4. Continuidad de $TC$:
   Utilizando la teoría de espectros sintéticos ciclotómicos, el autor proporciona una explicación conceptual para la continuidad de $TC$ para módulos sobre anillos de Bökstedt. Esto se aplica a sistemas filtrados que no están uniformemente acotados inferiormente en $t$, recuperando y extendiendo resultados de [CMM21].

5. Filtraciones Conjugadas Relativas y Transitividad:
   El artículo construye filtraciones conjugadas relativas en la cohomología de Hodge–Tate y en $THH$. Como consecuencia, deduce la transitividad de la suavidad $F$-débil y la suavidad $F$.

   • Teorema 1.8: Si $k$ es débilmente $F$-suave y $L_{R/k}$ es $p$-completamente plana, entonces $R$ es débilmente $F$-suave.
   • Teorema 1.9: Bajo condiciones de suavidad $F$-débil de la base y la planitud del complejo cotangente, si la cohomología de de Rham derivada es Hodge-completa, la cohomología prismática absoluta es Nygaard-completa relativa a la base. Esto implica la transitividad de la suavidad $F$.

6. Convergencia Universal:
   Se introduce el concepto de "convergencia universal" para las filtraciones de Hodge y Nygaard para generalizar los resultados de transitividad a casos sin amplitud de Tor acotada. Esto conduce a una versión de la transitividad de la suavidad $p$-Cartier y la suavidad $F$ para aplicaciones cuya reducción módulo $p$ es relativamente perfecta.

Significancia y Reivindicaciones
El artículo afirma unificar el estudio de la homología cíclica periódica topológica de-completada con la conjetura de Segal y la suavidad $F$. Al establecer la completitud de las filtraciones motivicas bajo condiciones de generación finita débil, extiende el alcance de la conjetura de Segal a una clase más amplia de anillos, incluyendo DVRs no excelentes y anillos que no son $F$-finitos pero que son débilmente $F$-finitos.

La introducción de filtraciones conjugadas relativas proporciona un marco sistemático para comparar la cohomología prismática y $THH$ en característica mixta, ofreciendo un análogo en característica mixta de la filtración de Katz–Oda. Los resultados de transitividad para la suavidad $F$ y la suavidad $p$-Cartier se presentan como consecuencias directas de estas construcciones de filtración, ofreciendo una nueva perspectiva sobre la estabilidad de estas propiedades de suavidad bajo la composición de aplicaciones de anillos. El trabajo también clarifica la relación entre los invariantes de-completados y las construcciones existentes (como las de Manam) y proporciona una base teórica robusta para la continuidad de $TC$ en entornos no uniformemente acotados.