The cyclosyntomic regulator of a number field

Título: O Regulador Ciclosintomático de um Corpo Numérico

Autores: Tess Bouis e Quentin Gazda
Contexto: Teoria dos Números, Geometria Aritmética, Cohomologia Prismática.

---

1. O Problema e Motivação

O artigo aborda a teoria dos reguladores em corpos numéricos, especificamente a busca por uma deformação $q$ do regulador $p$-ádico clássico.

• Contexto Histórico: O regulador $p$-ádico de Leopoldt é um análogo não-arquimediano do regulador clássico, crucial para a fórmula do número de classe $p$-ádica e para a conjectura de Leopoldt. Na teoria moderna, os reguladores são vistos como classes de Chern em cohomologia de Deligne (caso real) ou em cohomologia sintomática (caso $p$-ádico).
• A Lacuna: A cohomologia sintomática, introduzida por Fontaine-Messing e refinada por Bhatt-Morrow-Scholze via cohomologia prismática, fornece uma estrutura robusta para reguladores $p$-ádicos. No entanto, essas construções são tipicamente $p$-completas, o que impede a interpolação natural entre diferentes primos $p$.
• Objetivo: Os autores desejam construir um refinamento "descompletado" (não $p$-completo) que permita interpolar os mapas de regulador entre diferentes primos e introduza uma variável $q$, conectando-se à teoria dos anéis de Habiro e às funções $L$ $p$-ádicas emergentes.

---

2. Metodologia e Ferramentas Principais

A construção baseia-se na interseção de várias áreas avançadas da matemática moderna:

1. Anéis de Habiro (Habiro Rings): Utilizam a definição recente de Garoufalidis-Scholze-Wheeler-Zagier [GSWZ24]. O anel de Habiro $H_R$ pode ser visto como um anel de "funções analíticas em uma variável $q$ nas raízes da unidade".
2. Vetores $q$-Witt: Baseiam-se na teoria de vetores $q$-Witt desenvolvida por Wagner [Wag24], que generaliza os vetores de Witt clássicos e os vetores de Witt grandes.
3. Cohomologia Prismática: Adaptam a estrutura prismática de Bhatt-Scholze, substituindo os objetos $p$-completos por versões "descompletadas" sobre o anel de polinômios $\mathbb{Z}[q]$.
4. Mapas de Norma e Logaritmos:
   • Refinam os mapas de norma de Sulyma na cohomologia prismática, criando os normas ciclotômicas ($\Pi_{m'/m}$).
   • Constroem um logaritmo ciclotômico ($d\log_{cyc}$) que atua como um análogo global do logaritmo prismático de Bhatt-Lurie e Mao.

---

3. Contribuições Chave e Construções

A. O Complexo Ciclosintomático (Definição 1.1)

Os autores definem o complexo ciclosintomático $R\Gamma_{CycSyn}(R, \mathbb{Z}(1)(d))$ para um corpo numérico $K$ e um inteiro $d \ge 2$.

• É um complexo de dois termos na categoria derivada $D(\mathbb{Z})$.
• Termo 0: Um "torção de Nygaard" descompletada ($N_{\ge 1}C_R\{1\}$), construída a partir de vetores $q$-Witt e anéis de Habiro truncados.
• Termo 1: Um "torção ciclotômica" ($C_R^{(d)}\{1\}$), que envolve o anel de Habiro truncado e a inversão de certos polinômios ciclotômicos.
• Diferencial: Dado por $can - \text{Frob}_{d}^{cyc}$, onde $can$ é um mapa canônico e $\text{Frob}_{d}^{cyc}$ é um Frobenius Ciclotômico (uma deformação $q$ do Frobenius clássico).

B. A Primeira Classe de Chern Ciclosintomática (Teorema A)

Construem uma classe de Chern $c_1^{CycSyn}$ que mapeia unidades do corpo numérico para a cohomologia ciclosintomática.

• Realização $p$-ádica: Para cada primo $p$, existe um mapa de realização natural para a cohomologia sintomática $p$-ádica relativa ao $q$-prisma $(\mathbb{Z}_p[[q-1]], [p]_q)$.
• Recuperação: Ao compor com a realização $p$-ádica e tomar $d=p$, recupera-se a primeira classe de Chern sintomática clássica.

C. O Logaritmo Ciclotômico e Normas Elevadas

Um ingrediente técnico crucial é a construção de normas ciclotômicas elevadas ($\tilde{\Pi}$) e um logaritmo ciclotômico ($d\log_{cyc}$).

• Eles provam que o logaritmo ciclotômico não pode ser levantado trivialmente para o anel de Habiro completo, justificando o trabalho no nível dos anéis ciclotômicos (que são versões reduzidas dos anéis de Habiro).
• A fórmula para a classe de Chern de uma unidade $u$ é dada por:
  $$u \mapsto \frac{1}{d} \log \left( \frac{\tilde{\Pi}_d(\tilde{u})}{\text{Frob}_{d}^{Hab}(\tilde{u})} \right)$$
  onde $\tilde{u}$ é um levantamento de $u$ no anel de Habiro.

---

4. Resultados Principais

Teorema B: Fórmula Geral para Unidades

Para qualquer unidade $u$ em um corpo numérico, a classe de Chern ciclosintomática é calculada explicitamente usando o logaritmo aplicado à razão entre a norma ciclotômica elevada e o Frobenius de Habiro. Isso generaliza a fórmula de Kato para o regulador $p$-ádico.

Teorema C: Polilogaritmos $q$ e Unidades Ciclotômicas (Resultado Central)

Este é o resultado mais explícito e significativo. Os autores calculam a classe de Chern para unidades da forma $1 - \zeta$, onde $\zeta$ é uma raiz da unidade.

• Resultado: A classe de Chern de $1-\zeta$ é dada pelo primeiro polilogaritmo $q$ avaliado em $[\zeta]$:
  $$c_1^{CycSyn}(1-\zeta) = -\text{Li}_1^{(d)}([\zeta])_q$$
• Definição do Polilogaritmo $q$:
  $$\text{Li}_1^{(d)}(z)_q = \sum_{k \ge 1, d \nmid k} \frac{z^k}{[k]_q}$$
  onde $[k]_q = 1 + q + \dots + q^{k-1}$ é o inteiro $q$.
• Significado: Isso estabelece uma ligação direta e explícita entre as classes de cohomologia ciclosintomática e as séries de potências $q$ (polilogaritmos), generalizando resultados clássicos de Deligne (sobre variações de Hodge-Tate) e Coleman (sobre polilogaritmos $p$-ádicos).

---

5. Significado e Impacto

1. Interpolação entre Primos: A construção fornece um framework unificado que não depende de um único primo $p$, permitindo estudar as relações entre reguladores de diferentes primos através da variável $q$.
2. Conexão com Anéis de Habiro: Demonstra que os anéis de Habiro, originalmente estudados em teoria de nós e física matemática, possuem aplicações profundas na teoria de números aritmética, especificamente na teoria de reguladores e cohomologia.
3. Generalização $q$: Oferece uma deformação $q$ natural para objetos clássicos da teoria de números (reguladores, logaritmos, polilogaritmos), sugerindo novas estruturas algébricas subjacentes.
4. Fundação para Futuras Pesquisas:
   • Os autores sugerem que essa construção pode ser parte de uma teoria de classes de Chern de ordem superior, relacionando grupos $K$ superiores, complexos de pesos maiores e polilogaritmos $q$ de ordem superior.
   • Abre caminho para uma compreensão mais profunda da conjectura de Zagier e de mapas de traço em K-teoria algébrica.

Em resumo, o artigo introduz uma nova ferramenta cohomológica (o complexo ciclosintomático) que unifica a teoria de reguladores $p$-ádicos com a teoria de anéis de Habiro, resultando em uma fórmula explícita que identifica classes de Chern de unidades ciclotômicas com polilogaritmos $q$, uma descoberta que conecta áreas distintas da matemática moderna.