On the $p$-adic deformation problem for the $K$-theory of semistable schemes

Resumo Técnico: Sobre o Problema de Deformação p-ádica para a K-Teoria de Esquemas Semiestáveis

1. O Problema
O artigo aborda o problema de deformação p-ádica para a K-teoria algébrica no contexto de redução semiestável. Especificamente, busca caracterizar a obstrução para levantar uma classe de K-teoria $x \in K_0(X_k; \mathbb{Q})$ da fibra especial $X_k$ de um esquema $X$ para a K-teoria contínua $K_{cts}^0(X; \mathbb{Q})$ da fibra genérica.

No caso de boa redução (esquemas suaves e próprios sobre um corpo $K$ completamente discretamente valorado), Antieau, Mathew, Morrow e Nikolaus [1] estabeleceram que esse levantamento é governado pela filtração de Hodge na cohomologia de de Rham da fibra genérica, por meio de um quadrado fibrado cartesiano relacionando a K-teoria contínua à homologia cíclica topológica (TC) e invariantes cristalinos. No entanto, no caso semiestável (má redução), o caráter de Chern cristalino padrão e as classes de obstrução associadas carecem de uma interpretação cristalina direta, e a relação entre a K-teoria e os invariantes logarítmicos permanecia anteriormente obscura. Os autores visam estender os resultados suaves para o cenário semiestável utilizando geometria logarítmica.

2. Metodologia
Os autores empregam uma síntese de geometria logarítmica, teoria da homotopia motivica e métodos de traço:

• Generalização Logarítmica de Quadrados Fibrados: Os autores generalizam o quadrado cartesiano de Antieau–Mathew–Morrow–Nikolaus para o cenário logarítmico. Eles utilizam a homologia de Hochschild topológica logarítmica de Rognes ($\text{log-THH}$) e a filtração logarítmica de Hochschild–Kostant–Rosenberg (HKR).
• Estruturas Logarítmicas Verticais: Uma etapa técnica crucial envolve analisar estruturas logarítmicas "verticais" (onde o cokernel do mapa de monoides é um grupo). Os autores provam que, para álgebras verticais, regulares e log-regulars, os invariantes de homologia cíclica logarítmica racionalizados comportam-se de modo semelhante ao caso da estrutura logarítmica trivial, permitindo-lhes "fundir" os quadrados fibrados suaves e logarítmicos.
• Caráter de Chern Hyodo–Kato: Os autores constroem um caráter de Chern Hyodo–Kato ($ch_{HK}$) da K-teoria da fibra especial para a cohomologia de Hyodo–Kato. Isso é alcançado utilizando orientações de Chern na teoria da homotopia motivica logarítmica e aplicando-as ao complexo de de Rham–Witt logarítmico.
• Mapas de Traço e K-Teoria de Homotopia: Para lidar com a interação entre K-teoria e estruturas logarítmicas, os autores substituem a K-teoria padrão pela K-teoria de homotopia ($KH$) onde necessário, utilizando o traço ciclotômico logarítmico. Eles estabelecem um diagrama comutativo relacionando $K$, $KH$ e TC logarítmico.
• Filtragens de Divisão: Utilizando o isomorfismo de Hyodo–Kato, que relaciona a cohomologia de de Rham da fibra genérica à cohomologia de Hyodo–Kato da fibra especial, os autores dividem as filtragens racionalizadas da homologia cíclica negativa ($HC^-$) e da homologia cíclica periódica ($HP$).

3. Contribuições e Resultados Chave

• O Quadrado de Bloch–Esnault–Kerz Logarítmico (Teorema A): Os autores estabelecem um quadrado cartesiano de espectros para uma álgebra $O_K^\sharp$ vertical, regular e log-regular $(R, P)$:
  $$\begin{array}{ccc} K(R; \mathbb{Q}_p) & \to & K(R/p; \mathbb{Q}_p) \\ \downarrow & & \downarrow \\ HC^-((R, P)/O_K^\sharp; \mathbb{Q}_p) & \to & HP((R, P)/O_K^\sharp; \mathbb{Q}_p) \end{array}$$
  Isso relaciona a K-teoria ordinária com invariantes de homologia cíclica logarítmica.

• O Critério de Deformação Hyodo–Kato (Teorema B): Para um esquema próprio e plano $X$ sobre $O_K$ com fibra especial semiestável $X_k$, uma classe $x \in K_0(X_k; \mathbb{Q})$ levanta-se para $K_{cts}^0(X; \mathbb{Q})$ se e somente se sua imagem sob o caráter de Chern Hyodo–Kato, $ch_{HK}(x)$, estiver na filtração de Hodge $\bigoplus_{i=0}^\infty \text{Fil}^{\ge i} H^{2i}_{dR}(X_K; \mathbb{Q}_p)$ sob a equivalência de Hyodo–Kato. Isso identifica explicitamente a obstrução ao levantamento com o caráter de Chern Hyodo–Kato.

• Variação da K-Teoria Logarítmica (Teorema C): Os autores fornecem uma variação do quadrado fibrado envolvendo a K-teoria de homotopia ($KH$) da fibra especial e TC logarítmico, fechando a lacuna entre a K-teoria algébrica e os invariantes de traço logarítmicos.

• Recuperação do Teorema de Yamashita (Seção 6): Como aplicação direta, os autores fornecem uma prova puramente K-teórica do teorema de Lefschetz $(1,1)$ p-ádico semiestável de Yamashita. Eles mostram que uma classe de fibrado de linha em $\text{Pic}(X_k; \mathbb{Q})$ levanta-se para $\text{Pic}(X; \mathbb{Q})$ se e somente se sua primeira classe de Chern de Hyodo–Kato estiver em $\text{Fil}^{\ge 1} H^2_{dR}(X_K; \mathbb{Q}_p)$.

• Generalização para Característica Zero (Seção 7): Os autores estendem esses métodos para o cenário de característica zero (esquemas sobre $K[[t]]$), provando uma generalização semiestável de um teorema de Morrow sobre a levantabilidade de classes de K-teoria em termos da filtração plana na cohomologia de de Rham relativa logarítmica.

4. Significado
O artigo afirma fornecer a primeira aplicação K-teórica de invariantes de traço logarítmicos de origem genuinamente geométrica. Ao estabelecer o caráter de Chern Hyodo–Kato como a obstrução governante para o problema de deformação p-ádica no caso semiestável, o trabalho estende os resultados fundamentais de Antieau–Mathew–Morrow–Nikolaus do cenário suave para o cenário semiestável.

Os autores observam que seus resultados oferecem uma relação mais flexível e transparente entre a K-teoria algébrica e os invariantes de traço logarítmicos, potencialmente avançando as conjecturas sobre a relação entre K-teoria e homologia cíclica logarítmica (especificamente [30, Conjectura 1.5]). A recuperação do teorema de Yamashita por meio desses métodos demonstra a utilidade dos quadrados fibrados construídos em problemas clássicos de geometria aritmética. O trabalho é apresentado como um passo significativo rumo a uma compreensão unificada da K-teoria na presença de redução semiestável, embora os autores permaneçam modestos quanto ao escopo completo das aplicações futuras, notando que progresso adicional é necessário para resolver plenamente a relação entre K-teoria e invariantes logarítmicos.