Syntomic cohomology and real topological cyclic homology

Resumen Técnico: Cohomología Sintómica y Homología Cíclica Topológica Real

Planteamiento del Probleque
El artículo aborda la brecha computacional en las teorías K-hermíticas y K-reales, particularmente en contextos donde 2 no es invertible. Si bien la traza cíclica y el teorema de Dundas–Goodwillie–McCarthy han establecido la homología cíclica topológica (TC) como una herramienta poderosa para computar la K-teoría algebraica, herramientas análogas para la K-teoría real ($KR$) y la K-teoría hermítica han permanecido subdesarrolladas. Avances recientes en la cohomología sintómica y la cohomología prismática (Bhatt, Morrow, Scholze) han proporcionado filtraciones motivicas en $TC$ con piezas graduadas identificadas como la cohomología sintómica $\mathbb{Z}_p(i)$; sin embargo, faltaba una comprensión estructural paralela para la homología cíclica topológica real ($TCR$) y la homología de Hochschild topológica real ($THR$). El objetivo del artículo es cerrar esta brecha estableciendo una relación entre la cohomología sintómica y la homología cíclica topológica real, permitiendo así la aplicación de las técnicas sintómicas a las K-teorías reales y hermíticas.

Metodología
El autor emplea una combinación de teoría de homotopía estable equivariante, filtraciones motivicas y teoría de descenso. Los pasos metodológicos centrales incluyen:

1. Filtraciones Motivicas en Espectros Reales: El artículo define filtraciones motivicas en $THR$, $TCR^-$, $TPR$y$TCR$. Esto implica la construcción de filtraciones multiplicativas completas y exhaustivas naturales en estos espectros para anillos cuasisintómicos.
2. Espectros Fuertemente Pares y Filtraciones de Rebanadas (Slice Filtrations): Un componente técnico crucial es la introducción de la "filtración de rebanadas regular" (basada en el trabajo de Ullman) en la categoría de espectros $\mathbb{Z}/2$ ($Sp^{\mathbb{Z}/2}$). El autor demuestra que, para anillos semiperfectoides cuasiregulares $S$, $THR(S; \mathbb{Z}_p)$ es "fuertemente par". Esta propiedad implica que la filtración de rebanadas se comporta de manera predecible, con rebanadas no nulas solo en grados específicos, lo que permite la identificación de las piezas graduadas.
3. Propiedades de Haz y Descenso: El artículo establece que los prezahes de la homología de Hochschild real y sus acompañantes son haces cuasisintómicos. Esto permite la reducción de los cálculos de anillos cuasisintómicos generales al caso más tratable de anillos semiperfectoides cuasiregulares mediante el descenso.
4. Completitud de las Filtraciones: El autor demuestra la completitud de la filtración de Hochschild–Kostant–Rosenberg (HKR) real bajo condiciones específicas (por ejemplo, la suryectividad de la Frobenius relativa), asegurando que las sucesiones espectrales asociadas a estas filtraciones converjan fuertemente.
5. Cálculos de Sucesiones Espectrales: Utilizando las filtraciones establecidas, el artículo construye sucesiones espectrales multiplicativas graduadas por $RO(\mathbb{Z}/2)$ para computar los grupos de homotopía de $TCR$ para anillos específicos, tales como las álgebras de polinomios truncados $k[x]/x^e$ sobre cuerpos perfectos de característica 2.

Contribuciones Clave y Resultados

• Teorema 1.1 (Resultado Estructural Principal): Para un anillo cuasisintómico $A$ con involución trivial, existen filtraciones multiplicativas completas naturales en $THR(A; \mathbb{Z}_p)$, $TCR^-(A; \mathbb{Z}_p)$, $TPR(A; \mathbb{Z}_p)$ y $TCR(A; \mathbb{Z}_p)$. Las $n$-ésimas piezas graduadas se identifican como suspensiones equivariantes de la cohomología sintómica y objetos prismáticos relacionados:

  • $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)$
    Aquí, $\iota$ es el adjunto a la izquierda del functor de puntos fijos, $\widehat{\Delta}$ denota la cohomología prismática completada por Nygaard, y $\mathbb{Z}_p(n)$ es la cohomología sintómica.

• Teorema 1.2 (Paridad Fuerte/Strong Evenness): Para un anillo semiperfectoide cuasiregular $S$ con involución trivial, $THR(S; \mathbb{Z}_p)$ es fuertemente par. Esto implica equivalencias naturales que relacionan las rebanadas de $THR$ con los grupos de homotopía de $THH$, específicamente $P^{2n}_{2n} THR(S; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} H\pi_{2n} THH(S; \mathbb{Z}_p)$ y la anulación de las rebanadas impares.

• Teorema 1.3 (Propiedad de Haz): Los prezahes $THR(-; \mathbb{Z}_p)$, $TCR^-(-; \mathbb{Z}_p)$ y $TPR(-; \mathbb{Z}_p)$ en la categoría opuesta de anillos cuasisintómicos son haces cuasisintómicos.

• Teorema 1.4 (Cálculo Explícito): El artículo proporciona un cálculo detallado de los grupos de homotopía graduados por $RO(\mathbb{Z}/2)$, $\pi^{ \mathbb{Z}/2}_{s,w} TCR(k[x]/x^e; \mathbb{Z}_2)$, para un cuerpo perfecto $k$ de característica 2. El resultado se expresa como una suma directa de módulos que involucran vectores de Witt truncados, operadores de Verschiebung y generadores específicos ($\tau, \rho, \gamma, x_t, y$) con grados definidos.

• Corolario 10.4: El artículo computa las rebanadas equivariantes de $\Sigma^{2\tau \ge 1} KR(\mathcal{O}_K/\omega^n; \mathbb{Z}_p)$ para extensiones finitas de $\mathbb{Q}_p$, utilizando cálculos previos de cohomología sintómica de Antieau, Krause y Nikolaus.

Significado y Pretensiones
El artículo pretende proporcionar el vínculo estructural fundamental entre la cohomología sintómica y la homología cíclica topológica real. Al establecer filtraciones motivicas en $THR$y$TCR$ con piezas graduadas identificadas como la cohomología sintómica (y sus variantes), el trabajo permite la transferencia de herramientas computacionales desde el ámbito de la K-teoría algebraica (vía $TC$) hacia las K-teorías reales y hermíticas.

El autor señala que estos resultados están condicionados a un "refinamiento real del teorema de Dundas–Goodwillie–McCarthy", un trabajo en progreso de Harpaz, Nikolaus y Shah. Si este refinamiento se cumple, los grupos de homotopía computados de $TCR$ (específicamente la parte no negativa $\tau_{\ge 0} TCR$) producirían directamente los grupos de homotopía de la K-teoría real $KR$. El artículo no pretende probar el refinamiento de Dundas–Goodwillie–McCarthy en sí, sino demostrar cómo tal teorema haría efectivos los cálculos proporcionados para $KR$.

La importancia radica en ir más allá de los pocos cálculos conocidos para las K-teorías hermíticas y reales (a menudo restringidos a casos donde 2 es invertible) hacia un marco general aplicable a anillos donde 2 no es invertible, utilizando el poder de la cohomología prismática y sintómica.