The cyclosyntomic regulator of a number field

Titolo: Il Regolatore Ciclosintomico di un Campo Numerico

1. Il Problema e il Contesto

Il lavoro si inserisce nel quadro della teoria dei regolatori $p$-adici e delle funzioni $L$ $p$-adiche.

• Regolatore $p$-adico: Storicamente, Leopoldt ha definito il regolatore $p$-adico come un analogo non archimedeo del regolatore classico, legato alla formula del numero di classe $p$-adica e alla congettura di Leopoldt.
• Approccio Sintomico: Kato e successivamente Gros e Kurihara hanno riformulato i regolatori $p$-adici utilizzando la coomologia sintomica, un analogo della coomologia di Deligne nel contesto $p$-adico. Questa coomologia è stata recentemente raffinata da Bhatt, Morrow e Scholze attraverso la coomologia prismatica.
• La Lacuna: Le teorie esistenti sono tipicamente "completate" rispetto a un primo $p$ (cioè lavorano su anelli $p$-completi). Questo impedisce di interpolare i regolatori tra diversi primi $p$ in modo naturale.
• Obiettivo: L'obiettivo degli autori è costruire un raffinamento "decompletato" (non $p$-completo) della teoria sintomica che permetta di interpolare i regolatori tra diversi primi, introducendo una deformazione $q$ che unifica le potenze classiche e le mappe di Frobenius.

2. Metodologia e Strumenti Matematici

Gli autori combinano diverse aree avanzate della geometria aritmetica e dell'algebra omotopica:

• Anelli di Habiro: Utilizzano la recente definizione degli anelli di Habiro ($H_R$) introdotta da Garoufalidis, Scholze, Wheeler e Zagier. Questi anelli possono essere visti come anelli di "funzioni analitiche in una variabile $q$ alle radici dell'unità".
• Vettori $q$-Witt: Si basano sulla teoria dei grandi vettori $q$-Witt sviluppata da Wagner. Questi oggetti generalizzano i vettori di Witt classici introducendo una deformazione $q$.
• Coomologia Prismatica e Nygaard: Adattano le strutture di coomologia prismatica (filtraggio di Nygaard e torsione di Breuil-Kisin) al contesto non completo, sostituendo gli oggetti prismi con i loro analoghi su anelli di polinomi in $q$.
• Mappature Norme e Logaritmi: Sviluppano nuove mappe di norma sui vettori $q$-Witt (rifinendo il lavoro di Sulyma) e definiscono un "logaritmo ciclotomico" che funge da ponte tra le unità del campo numerico e la coomologia.

3. Contributi Chiave e Costruzioni

A. L'Anello Ciclotomico e le Mappe di Norma

• Introducono l'anello ciclotomico $C_R$ come un limite di vettori $q$-Witt lungo le mappe di Frobenius.
• Costruiscono le norme ciclotomiche ($\Pi_{m'/m}$), che sono mappe moltiplicative sui vettori $q$-Witt. Queste mappe sono cruciali perché permettono di "sollevare" le unità del campo numerico all'anello di Habiro in modo compatibile con le diverse radici dell'unità.

B. Il Logaritmo Ciclotomico

• Definiscono il logaritmo ciclotomico ($d\log_{cyc}$), una mappa derivata che collega il gruppo moltiplicativo $G_m(R)$ alla parte di Nygaard della coomologia ciclosintomica.
• A differenza del logaritmo prismico classico, questo logaritmo è costruito utilizzando i sollevamenti delle norme ciclotomiche nell'anello di Habiro, permettendo di evitare la discesa quasi-sintomica e di lavorare in modo globale.

C. La Coomologia Ciclosintomica

• Definiscono il complesso ciclosintomico $R\Gamma_{CycSyn}(R, \mathbb{Z}(1)(d))$ come il cono (o fibra omotopica) di una mappa tra due complessi:
  1. Il "torsore di Nygaard" $N_{\ge 1}C_R\{1\}$.
  2. Il "torsore ciclotomico" $C_R^{(d)}\{1\}$.
• La mappa tra questi due è data dalla differenza tra la mappa canonica e una mappa di Frobenius ciclotomica ($Frob_{d}^{cyc}$) che agisce come un "sollevamento universale $q$-di Frobenius".

D. La Prima Classe di Chern Ciclosintomica

• Costruiscono la prima classe di Chern ciclosintomica ($c_1^{CycSyn}$) che mappa le unità del campo numerico nella coomologia ciclosintomica.
• Dimostrano che, riducendo modulo un primo $p$ e completando, questa classe recupera la classica prima classe di Chern sintomica $p$-adica.

4. Risultati Principali

Teorema A (Classe di Chern):
Esiste una mappa naturale di realizzazione $p$-adica dalla coomologia ciclosintomica alla coomologia sintomica $p$-adica relativa al prism $q$. La classe di Chern ciclosintomica, post-composta con questa realizzazione, riproduce la classe di Chern sintomica classica.

Teorema B (Formula Esplicita):
Per un'unità $u \in R^\times$, la classe di Chern ciclosintomica è data esplicitamente da:
$$c_1^{CycSyn}(u) = \frac{1}{d} \log \left( \frac{\tilde{\Pi}_d(\tilde{u})}{Frob_{d}^{Hab}(\tilde{u})} \right)$$
dove $\tilde{\Pi}_d$ è una deformazione $q$ della mappa di potenza $d$-esima, $Frob_{d}^{Hab}$ è il Frobenius di Habiro, e $\tilde{u}$ è un sollevamento di $u$ nell'anello di Habiro. Questa formula generalizza l'espressione di Kato per il regolatore $p$-adico.

Teorema C (Polilogaritmi $q$ e Unità Ciclotomiche):
Questo è il risultato più concreto. Per le unità ciclotomiche della forma $1-\zeta$ (dove $\zeta$ è una radice dell'unità), la classe di Chern ciclosintomica è calcolata esattamente dal primo polilogaritmo $q$:
$$c_1^{CycSyn}(1-\zeta) = -Li_1^{(d)}([\zeta])_q$$
dove $Li_1^{(d)}(z)_q = \sum_{k \ge 1, d \nmid k} \frac{z^k}{[k]_q}$ è una serie di potenze $q$-deformata.

• Questo collega direttamente le unità ciclotomiche ai polilogaritmi $q$ nel contesto della coomologia.
• Dimostra che i valori speciali dei polilogaritmi $q$ appaiono naturalmente come classi nella coomologia ciclosintomica.

5. Significato e Implicazioni

1. Interpolazione dei Primi: La costruzione permette di trattare i regolatori per diversi primi $p$ in un unico quadro coerente (l'anello di Habiro), superando la frammentazione delle teorie $p$-adiche separate.
2. Deformazione $q$: Introduce una deformazione $q$ strutturale che interpola tra le potenze classiche (quando $q \to 1$) e le mappe di Frobenius (quando $q$ è una radice dell'unità o in contesti $p$-adici).
3. Nuova Connessione con i Polilogaritmi: Fornisce una spiegazione coomologica naturale per l'apparizione dei polilogaritmi $q$ (e non solo quelli $p$-adici classici) nelle classi di Chern di unità ciclotomiche, suggerendo legami più profondi con le congetture di Beilinson e Zagier.
4. Fondamento per Teorie Superiori: Sebbene la teoria attuale si fermi alle classi di Chern di peso 1 (gruppi $K$-teorici di grado 1), gli autori suggeriscono che questo lavoro sia il primo passo verso una teoria di classi di Chern superiori e polilogaritmi $q$ di ordine superiore, potenzialmente collegati alla $K$-teoria superiore dei campi numerici.

In sintesi, il paper costruisce un ponte potente tra la teoria dei numeri classica (unità ciclotomiche), la geometria aritmetica moderna (coomologia prismatica) e le strutture analitiche $q$ (anelli di Habiro), offrendo nuove formule esplicite per i regolatori e aprendo la strada a generalizzazioni più ampie.