Syntomic cohomology and real topological cyclic homology

Resumo Técnico: Cohomologia Sintômica e Homologia Cíclica Topológica Real

Enunciado do Problema
O artigo aborda a lacuna computacional nas K-teorias hermitianas e reais, particularmente em contextos onde 2 não é invertível. Embora o traço cíclico e o teorema de Dundas–Goodwillie–McCarthy tenham estabelecido a homologia cíclica topológica ($TC$) como uma ferramenta poderosa para computar a K-teoria algébrica, ferramentas análogas para a K-teoria real ($KR$) e a K-teoria hermitiana permaneceram subdesenvolvidas. Avanços recentes em cohomologia sintômica e cohomologia prismática (Bhatt, Morrow, Scholze) forneceram filtrações motivicas em $TC$ com peças graduadas identificadas como a cohomologia sintômica $\mathbb{Z}_p(i)$. No entanto, uma compreensão estrutural paralela para a homologia cíclica topológica real ($TCR$) e a homologia topológica de Hochschild real ($THR$) era inexistente. O artigo visa preencher essa lacuna, estabelecendo uma relação entre a cohomologia sintômica e a homologia cíclica topológica real, permitindo assim a aplicação de técnicas sintômicas às K-teorias real e hermitiana.

Metodologia
O autor emprega uma combinação de teoria de homotopia estável equivariante, filtrações motivicas e teoria de descente. Os passos metodológicos centrais incluem:

1. Filtrações Motivicas em Espectros Reais: O artigo define filtrações motivicas em $THR$, $TCR^-$, $TPR$e$TCR$. Isso envolve a construção de filtrações multiplicativas completas e exaustivas naturais nesses espectros para anéis quasisintômicos.
2. Espectros Fortemente Pares e Filtrações de Fatias (Slice): Um componente técnico crucial é a introdução da "filtração de fatia regular" (baseada no trabalho de Ullman) na categoria de espectros $\mathbb{Z}/2$ ($Sp^{\mathbb{Z}/2}$). O autor prova que, para anéis semiperiodoides quarregulares $S$, $THR(S; \mathbb{Z}_p)$ é "fortemente par". Esta propriedade implica que a filtração de fatias se comporta de maneira previsível, com fatias não nulas apenas em graus específicos, permitindo a identificação das peças graduadas.
3. Propriedades de Feixes e Descente: O artigo estabelece que os pré-feixes da homologia de Hochschild real e seus companheiros são feixes quasisintômicos. Isso permite a redução de computações de anéis quasisintômicos gerais para o caso mais tratável de anéis semiperiodoides quarregulares via descente.
4. Completude de Filtrações: O autor prova a completude da filtração de Hochschild–Kostant–Rosenberg (HKR) real sob condições específicas (por exemplo, a surjetividade do Frobenius relativo), garantindo que as sequências espectrais associadas a essas filtrações converjam fortemente.
5. Computações de Sequências Espectrais: Utilizando as filtrações estabelecidas, o artigo constrói sequências espectrais multiplicativas graduadas por $RO(\mathbb{Z}/2)$ para computar os grupos de homotopia de $TCR$ para anéis específicos, tais como álgebras polinomiais truncadas $k[x]/x^e$ sobre corpos perfeitos de característica 2.

Principais Contribuições e Resultados

• Teorema 1.1 (Principal Resultado Estrutural): Para um anel quasisintômico $A$ com involução trivial, existem filtrações multiplicativas naturais e completas em $THR(A; \mathbb{Z}_p)$, $TCR^-(A; \mathbb{Z}_p)$, $TPR(A; \mathbb{Z}_p)$ e $TCR(A; \mathbb{Z}_p)$. As peças graduadas de ordem $n$ são identificadas como suspensões equivariantes da cohomologia sintômica e 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)$
    Aqui, $\iota$ é o adjunto à esquerda do funtor de pontos fixos, $\widehat{\Delta}$ denota a cohomologia prismática completada por Nygaard, e $\mathbb{Z}_p(n)$ é a cohomologia sintômica.

• Teorema 1.2 (Paridade Forte): Para um anel semiperiodoide quarregular $S$ com involução trivial, $THR(S; \mathbb{Z}_p)$ é fortemente par. Isso implica equivalências naturais relacionando as fatias de $THR$ aos grupos de homotopia de $THH$, especificamente $P^{2n}_{2n} THR(S; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} H\pi_{2n} THH(S; \mathbb{Z}_p)$ e o desaparecimento de fatias ímpares.

• Teorema 1.3 (Propriedade de Feixe): Os pré-feixes $THR(-; \mathbb{Z}_p)$, $TCR^-(-; \mathbb{Z}_p)$ e $TPR(-; \mathbb{Z}_p)$ na categoria oposta de anéis quasisintômicos são feixes quasisintômicos.

• Teorema 1.4 (Computação Explícita): O artigo fornece uma computação detalhada dos grupos de homotopia graduados por $RO(\mathbb{Z}/2)$ de $\pi^{ \mathbb{Z}/2}_{s,w} TCR(k[x]/x^e; \mathbb{Z}_2)$ para um corpo perfeito $k$ de característica 2. O resultado é expresso como uma soma direta de módulos envolvendo vetores de Witt truncados, operadores de Verschiebung e geradores específicos ($\tau, \rho, \gamma, x_t, y$) com graus definidos.

• Corolário 10.4: O artigo computa as fatias equivariantes de $\Sigma^{2\tau \ge 1} KR(\mathcal{O}_K/\omega^n; \mathbb{Z}_p)$ para extensões finitas de $\mathbb{Q}_p$, utilizando computações prévias de cohomologia sintômica de Antieau, Krause e Nikolaus.

Significância e Alegações
O artigo afirma fornecer o elo estrutural fundamental entre a cohomologia sintômica e a homologia cíclica topológica real. Ao estabelecer filtrações motivicas em $THR$e$TCR$ com peças graduadas identificadas como cohomologia sintômica (e suas variantes), o trabalho permite a transferência de ferramentas computacionais do domínio da K-teoria algébrica (via $TC$) para as K-teorias real e hermitiana.

O autor observa que estes resultados são condicionais a um "refinamento real do teorema de Dundas–Goodwillie–McCarthy", um trabalho em progresso de Harpaz, Nikolaus e Shah. Se este refinamento se sustentar, os grupos de homotopia computados de $TCR$ (especificamente a parte não negativa $\tau_{\ge 0} TCR$) forneceriam diretamente os grupos de homotopia da K-teoria real $KR$. O artigo não pretende provar o refinamento do teorema de Dundas–Goodwillie–McCarthy em si, mas demonstra como tal teorema tornaria eficazes as computações fornecidas para $KR$.

A significância reside em ir além das poucas computações conhecidas para K-teorias hermitianas e reais (frequentemente restritas a casos onde 2 é invertível) para um quadro geral aplicável a anéis onde 2 não é invertível, utilizando o poder da cohomologia prismática e sintômica.