On André periods of mixed Tate motives

Sintesi Tecnica: Sui Periodi di André dei Motivi Misti di Tate

Enunciazione del Problema
Il lavoro affronta la relazione tra due nozioni distinte di periodi $p$-adici nel contesto dei Motivi Misti di Tate (MTM). Da un lato, vi è la nozione "classica" di periodi $p$-adici, sviluppata da Yamashita, Chatzistamatiou e Üner, che emerge nello studio degli integrali iterati $p$-adici e della teoria di Chabauty-Kim. Tale teoria si basa sul confronto tra la filtrazione di Hodge e l'automorfismo di Frobenius sulla realizzazione $p$-adica di de Rham. Dall'altro lato, Ancona e Frătilă hanno recentemente introdotto una nozione di "periodi $p$-adici" (denominati "periodi di André") per motivi puri, ispirata all'opera di Y. André. Questo approccio confronta la realizzazione razionale di de Rham con la realizzazione cristallina, enfatizzando la fattorizzazione attraverso la categoria dei motivi sul campo residuo.

Mentre la teoria classica è ben consolidata per i motivi misti di Tate, il quadro Ancona-Frătilă è stato sviluppato principalmente per motivi puri, con i motivi misti trattati come un ripensamento successivo. Il problema centrale è determinare se la definizione Ancona-Frătilă, quando applicata al contesto specifico dei Motivi Misti di Tate, recuperi i periodi $p$-adici classici associati ai valori zeta multipli $p$-adici e ai polilogaritmi.

Metodologia
L'autore, Ishai Dan-Cohen, impiega il linguaggio delle categorie tannakiane e dei funtori fibra per colmare queste due definizioni. La metodologia prevede:

1. Traslazione dei Quadri Teorici: La costruzione Ancona-Frătilă è trasportata nel contesto dei Motivi Misti di Tate su uno schema intero aperto $Z \subset \text{Spec } \mathcal{O}_K$. Ciò comporta la definizione di un funtore $H(Z)$ che rappresenta lo spazio delle trasformazioni naturali compatibili con $\otimes$ tra la specializzazione della realizzazione cristallina (tramite un funtore $\zeta$) e la realizzazione di de Rham.
2. Costruzione di Mappe di Periodi:
   • La mappa di periodi Ancona-Frătilă ($per_{AF}$) è definita tramite il "punto di Berthelot" ($c_{Ber}$), un punto specifico $K_p$ di $H(Z)$ costruito utilizzando l'isomorfismo di confronto di Berthelot tra le realizzazioni cristallina e di de Rham.
   • La mappa di periodi classica ($per_{Cl}$) è definita tramite il "loop classico di periodi $p$-adici" ($u$), che confronta il cammino di Hodge aritmetico e il cammino cristallino aritmetico all'interno del radicale unipotente $U_{dR}(Z)$ del gruppo di Galois tannakiano.
3. Confronto Tannakiano: Il lavoro tecnico centrale consiste nel dimostrare che il prefascio $H(Z)$ è un torsore banale sotto il gruppo prounipotente $U_{dR}(Z)$. Ciò è ottenuto:
   • Sfruttando l'equivalenza tra la categoria dei motivi misti di Tate semisemplici e le rappresentazioni di $\mathbb{G}_m$.
   • Applicando un risultato tannakiano generale (Proposizione 4.2) riguardante l'isomorfismo tra schemi quoziente e spazi di trasformazioni naturali.
   • Dimostrando che la mappa orbitale indotta da un punto specifico di de Rham ($c_{dR}$) fornisce un isomorfismo tra $U_{dR}(Z)$ e $H(Z)$ che intreccia i due loop di periodi.

Contributi e Risultati Chiave

• Teorema 1.1 (Equivalenza delle Mappe di Periodi): Il risultato principale stabilisce un isomorfismo di $K$-algebre tra l'anello dei "periodi formali di André" ($\mathcal{O}_{H(Z)}$) e l'anello dei "periodi formali classici" ($\mathcal{O}_{U_{dR}(Z)}$). Tale isomorfismo commuta con le rispettive mappe di periodi $per_{AF}$ e $per_{Cl}$. Di conseguenza, le due definizioni apparentemente diverse di periodi $p$-adici sono equivalenti nel contesto dei Motivi Misti di Tate.
• Indipendenza dal Primo: Un corollario notevole è che l'anello dei periodi formali di André, sebbene definito a priori utilizzando un primo specifico $p$, è indipendente da $p$ a meno di isomorfismo canonico, in quanto è isomorfo all'anello delle coordinate del gruppo unipotente $U_{dR}(Z)$, che non dipende da $p$.
• Natura Motivica dei Cammini Fissi per Frobenius: Il lavoro risolve un'ambiguità concettuale riguardante i cammini di de Rham fissi per Frobenius identificati da Besser e Vologodsky. Dimostrando che tali cammini originano da cammini motivici in caratteristica $p$ (specificamente, dalla specializzazione di torsori di cammini motivici), l'autore dimostra che questi cammini sono "motivici alla fine", a patto di sostituire i motivi su una base aritmetica con motivi su un campo residuo.
• Realizzazione dei Polilogaritmi: L'autore costruisce esplicitamente funzioni sullo spazio omogeneo principale $H(Z)$ corrispondenti agli integrali iterati motivici. Si dimostra che i periodi di André di queste funzioni producono i valori speciali dei polilogaritmi multipli $p$-adici e dei valori zeta multipli $p$-adici (funzioni di Coleman).

Significato
Il lavoro rivendica importanza nell'unificare due filoni di ricerca: la teoria classica dei periodi $p$-adici utilizzata nella geometria aritmetica (teoria di Chabauty-Kim) e il quadro più recente e generale dei periodi di André proposto da Ancona e Frătilă. Dimostrando la loro equivalenza nel contesto dei Motivi Misti di Tate, il lavoro convalida l'estensione della macchina Ancona-Frătilă ai motivi misti senza perdita delle proprietà classiche.

Inoltre, il lavoro fornisce una realizzazione concreta dei polilogaritmi multipli $p$-adici come periodi di André. Ciò collega il formalismo tannakiano astratto di Ancona e Frătilă direttamente agli oggetti calcolabili dell'integrazione $p$-adica. L'autore nota che questa connessione chiarisce i "meccanismi interni" della teoria di Chabauty-Kim per i Motivi Misti di Tate e offre una prospettiva $p$-adica sulle congetture di Goncharov riguardanti gli integrali iterati motivici. Il lavoro getta inoltre le basi per un'eventuale estensione della teoria di Chabauty-Kim oltre il contesto dei Motivi Misti di Tate, sebbene i risultati attuali siano strettamente confinati al caso dei Motivi Misti di Tate.