Degeneration Theorems of Connes and Feigin--Tsygan Type in Mixed Characteristic, with q-Analogues

Resumo Técnico: Teoremas de Degeneração de Tipo Connes e Feigin–Tsygan em Característica Mista, com Análogos Q

Declaração do Problema
O artigo aborda a degeneração de sequências espectrais associadas à homologia cíclica topológica e à homologia cíclica periódica em contextos de característica mista. Classicamente, para álgebras suaves sobre uma álgebra $\mathbb{Q}$, o teorema de Connes–Feigin–Tsygan identifica a homologia cíclica periódica ($HP$) com a 2-periodização do complexo de de Rham. Em característica $p$, essa imagem é refinada pela filtragem de Hochschild–Kostant–Rosenberg (HKR) e pelo teorema de Deligne–Illusie, que garantem degeneração sob restrições de dimensão (por exemplo, $\dim X < p$).

O problema central é estabelecer análogos de característica mista desses teoremas de degeneração. Especificamente, o autor investiga se as sequências espectrais que relacionam a cohomologia cristalina à homologia periódica topológica ($TP$), e a cohomologia de de Rham à homologia cíclica periódica ($HP$), são degeneradas divididas para variedades suaves e próprias sobre anéis de inteiros em corpos $p$-ádicos. Uma degeneração dividida implica que a sequência espectral colapsa na página $E_2$ e que a filtragem resultante nos grupos de homotopia alvo se divide, produzindo um isomorfismo entre os grupos de homotopia e a soma direta dos grupos de cohomologia.

Metodologia
O artigo emprega uma síntese da teoria de Hodge $p$-ádica não comutativa, da teoria de módulos de Breuil–Kisin e da K-teoria topológica.

1. Teoria de Hodge $p$-ádica Não Comutativa: O autor utiliza o quadro desenvolvido por Bhatt–Morrow–Scholze e trabalhos anteriores do autor. Isso envolve comparar invariantes topológicos ($TP$, $TC^-$) de esquemas sobre anéis $p$-ádicos com suas contrapartes étale e cristalina via K-teoria localizada em $K(1)$.
2. Módulos de Breuil–Kisin: Uma parte significativa da maquinaria técnica é dedicada à teoria estrutural dos módulos de Breuil–Kisin. O artigo estabelece uma variante do teorema estrutural de baixa ramificação (Teorema 4.4) que acomoda módulos de Breuil–Kisin livres finitos juntamente com os de torção. Isso é crucial para lidar com as filtragens que surgem das sequências espectrais BMS (Bhatt–Morrow–Scholze).
3. Análise de Sequências Espectrais: O autor adapta os critérios de Li para complexos filtrados sobre anéis de valorização discreta (DVRs) ao contexto espectral. A estratégia central envolve provar que o comprimento dos submódulos de torção dos grupos de homotopia totais é igual à soma dos comprimentos dos submódulos de torção das peças graduadas. Essa igualdade, combinada com a degeneração da sequência espectral após inverter $p$, implica degeneração dividida.
4. K-teoria Topológica e Características de Chern: Para lidar com o análogo $q$-de Rham, o artigo prova um refinamento integral da decomposição da característica de Chern para a K-teoria topológica. Mostra-se que, para um complexo CW finito de dimensão $d$, a característica de Chern torna-se um isomorfismo após inverter $\lfloor (d+1)/2 \rfloor!$. Isso controla a faixa de integralidade necessária para o resultado topológico $q$-de Rham.

Contribuições e Resultados Principais

O artigo prova três teoremas principais sobre degeneração dividida sob limites específicos de dimensão e ramificação. Seja $W = W(k)$ o anel dos vetores de Witt de um corpo perfeito $k$ de característica $p > 0$, $K$ uma extensão finita de $\text{Frac}(W)$ com índice de ramificação $e$, e $X$ uma variedade suave e própria sobre o anel de inteiros $\mathcal{O}_K$.

1. Degeneração Cristalino-para-TP (Teorema 1.1 e 3.9):
   A sequência espectral cristalino-para-$TP$ é degenerada dividida se:

   • $\dim X < p - 1$ quando $\mathcal{O}_K = W$ (não ramificado).
   • $e(2 \dim X - 1) < p - 1$ quando $e \ge 2$ (ramificado).
     Isso produz um isomorfismo de $W$-módulos:
     $$\pi_j TP(X_k; \mathbb{Z}_p) \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{\text{cry}}(X_k/W)$$
     O limite aqui é ligeiramente mais agudo no caso ramificado em comparação com o caso de de Rham, porque a prova depende diretamente da comparação cristalina e de critérios de divisão da K-teoria topológica, contornando o argumento de divisão de Breuil–Kisin usado para os outros casos.

2. Degeneração de Rham-para-HP (Teorema 1.1 e 5.14):
   A sequência espectral de Rham-para-$HP$ é degenerada dividida se $2e \dim(X/\mathcal{O}_K) < p - 1$. Isso implica:
   $$HP_j(X/\mathcal{O}_K; \mathbb{Z}_p) \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{\text{dR}}(X/\mathcal{O}_K)$$
   A prova procede estabelecendo a degeneração dividida da sequência espectral Breuil–Kisin-para-$TC^-$ (Teorema 5.13) e depois especializando via mapas para $\mathcal{O}_K$ e $A_{\inf}$.

3. Degeneração $A_{\inf}$-para-TP (Teorema 1.3 e 5.15):
   Sob a mesma condição $2e \dim(X/\mathcal{O}_K) < p - 1$, a sequência espectral $A_{\inf}$-para-$TP$ é degenerada dividida:
   $$TP_j(X; \mathbb{Z}_p) \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{A_{\inf}}(X)$$

4. Análogo Topológico $q$-de Rham (Teorema 1.3 e 5.18):
   Para uma variedade suave e própria $X$ sobre $\mathbb{Z}[1/N]$ (onde $N$ é par), o artigo prova que, após inverter $(2d+1)!$ (onde $d = \dim X$), a filtragem par $S^1$-equivariante em $TP(X \otimes ku / ku)$ é degenerada dividida. Isso produz um isomorfismo com a cohomologia $q$-de Rham:
   $$\pi_j TP(X \otimes ku / ku)[(2d+1)!^{-1}] \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{q\text{-dR}}(X/\mathbb{Z})[(2d+1)!^{-1}]$$
   Este resultado depende da decomposição integral da característica de Chern (Teorema 2.2) e de um argumento de descida comparando a filtragem $q$-de Rham com a filtragem de Breuil–Kisin sobre completamentos $\ell$-ádicos para primos $\ell > 2d+1$.

Significado e Afirmações
O artigo afirma estabelecer os primeiros análogos de característica mista dos teoremas de degeneração de Connes–Feigin–Tsygan com limites explícitos de dimensão e ramificação. Ao provar degeneração dividida (em vez de apenas degeneração), o autor garante que os grupos de homotopia dos invariantes topológicos se decomponham como somas diretas dos grupos de cohomologia correspondentes, preservando a estrutura de módulo sobre o anel base.

O trabalho faz a ponte entre a teoria de Hodge $p$-ádica comutativa e não comutativa. Como notado nas agradecimentos, a motivação decorre da questão de saber se a teoria de Hodge $p$-ádica comutativa pode ser recuperada de sua contraparte não comutativa. Os resultados demonstram que, para variedades suaves e próprias, as filtragens "motívicas" na homologia cíclica topológica (construídas por Bhatt–Morrow–Scholze) degeneram de uma maneira que recupera as cohomologias clássicas cristalina, de Rham e $A_{\inf}$, desde que a dimensão seja suficientemente pequena em relação à característica $p$ e ao índice de ramificação $e$.

A inclusão do análogo $q$-de Rham estende esses resultados a um contexto topológico envolvendo a teoria $KU$ e deformações $q$, mostrando que as propriedades estruturais dessas sequências espectrais persistem mesmo após inverter um fatorial específico para controlar os denominadores que surgem da característica de Chern.