On André periods of mixed Tate motives

Resumo Técnico: Sobre os Períodos de André de Motivos Misto-Tate

Declaração do Problema
O artigo aborda a relação entre duas noções distintas de períodos $p$-ádicos no contexto dos Motivos Misto-Tate (MMT). De um lado, há a noção "clássica" de períodos $p$-ádicos, desenvolvida por Yamashita, Chatzistamatiou e Üner, que surge no estudo de integrais iteradas $p$-ádicas e na teoria de Chabauty-Kim. Esta teoria baseia-se na comparação entre a filtração de Hodge e o automorfismo de Frobenius na realização de de Rham $p$-ádica. De outro lado, Ancona e Frătilă introduziram recentemente uma noção de "períodos $p$-ádicos" (denominados "períodos de André") para motivos puros, inspirada no trabalho de Y. André. Esta abordagem compara a realização de de Rham racional com a realização cristalina, enfatizando a fatoração através da categoria de motivos sobre o corpo residual.

Enquanto a teoria clássica está bem estabelecida para motivos misto-tate, o quadro de Ancona-Frătilă foi desenvolvido principalmente para motivos puros, com motivos mistos tratados como uma reflexão tardia. O problema central é determinar se a definição de Ancona-Frătilă, quando aplicada ao cenário específico dos motivos misto-tate, recupera os períodos $p$-ádicos clássicos associados aos valores zeta múltiplos $p$-ádicos e aos polilogaritmos $p$-ádicos.

Metodologia
O autor, Ishai Dan-Cohen, emprega a linguagem das categorias tannakianas e funtores fibra para articular essas duas definições. A metodologia envolve:

1. Tradução de Quadros: A construção de Ancona-Frătilă é transportada para o cenário dos motivos misto-tate sobre um esquema de inteiros aberto $Z \subset \text{Spec } \mathcal{O}_K$. Isso envolve definir um funtor $H(Z)$ que representa o espaço de transformações naturais compatíveis com $\otimes$ entre a especialização da realização cristalina (via um funtor $\zeta$) e a realização de de Rham.
2. Construção de Mapas de Período:
   • O mapa de período de Ancona-Frătilă ($per_{AF}$) é definido através do "ponto de Berthelot" ($c_{Ber}$), um ponto específico $K_p$ de $H(Z)$ construído usando o isomorfismo de comparação de Berthelot entre as realizações cristalina e de de Rham.
   • O mapa de período clássico ($per_{Cl}$) é definido através do "laço de período $p$-ádico clássico" ($u$), que compara o caminho de Hodge aritmético e o caminho cristalino aritmético dentro do radical unipotente $U_{dR}(Z)$ do grupo de Galois tannakiano.
3. Comparação Tannakiana: O trabalho técnico central envolve provar que o pré-feixe $H(Z)$ é um torsor trivial sob o grupo prounipotente $U_{dR}(Z)$. Isso é alcançado por:
   • Utilizar a equivalência entre a categoria de motivos misto-tate semissimples e as representações de $\mathbb{G}_m$.
   • Aplicar um resultado geral tannakiano (Proposição 4.2) relativo ao isomorfismo entre esquemas quociente e espaços de transformações naturais.
   • Demonstrar que o mapa de órbita induzido por um ponto específico de de Rham ($c_{dR}$) fornece um isomorfismo entre $U_{dR}(Z)$ e $H(Z)$ que entrelaça os dois laços de período.

Principais Contribuições e Resultados

• Teorema 1.1 (Equivalência dos Mapas de Período): O resultado primário estabelece um isomorfismo de álgebras $K$ entre o anel dos "períodos de André formais" ($\mathcal{O}_{H(Z)}$) e o anel dos "períodos clássicos formais" ($\mathcal{O}_{U_{dR}(Z)}$). Este isomorfismo comuta com os respectivos mapas de período $per_{AF}$ e $per_{Cl}$. Consequentemente, as duas definições aparentemente diferentes de períodos $p$-ádicos são equivalentes no cenário misto-tate.
• Independência do Primo: Um corolário notável é que o anel dos períodos de André formais, embora definido a priori usando um primo específico $p$, é independente de $p$ até isomorfismo canônico, pois é isomorfo ao anel de coordenadas do grupo unipotente $U_{dR}(Z)$, que não depende de $p$.
• Natureza Motivica dos Caminhos Fixos por Frobenius: O artigo resolve uma ambiguidade conceitual relativa aos caminhos de de Rham fixos por Frobenius identificados por Besser e Vologodsky. Ao mostrar que esses caminhos surgem de caminhos motivicos em característica $p$ (especificamente, da especialização de torsores de caminhos motivicos), o autor demonstra que esses caminhos são "motivicos, afinal", desde que se substituam motivos sobre uma base aritmética por motivos sobre um corpo residual.
• Realização de Polilogaritmos: O autor constrói explicitamente funções no espaço homogêneo principal $H(Z)$ correspondentes a integrais iteradas motivicas. É mostrado que os períodos de André dessas funções produzem os valores especiais dos polilogaritmos múltiplos $p$-ádicos e dos valores zeta múltiplos $p$-ádicos (funções de Coleman).

Significância
O artigo reivindica significância na unificação de duas vertentes de pesquisa: a teoria clássica de períodos $p$-ádicos usada na geometria aritmética (teoria de Chabauty-Kim) e o quadro mais novo e mais geral de períodos de André proposto por Ancona e Frătilă. Ao provar sua equivalência no cenário misto-tate, o trabalho valida a extensão da maquinaria de Ancona-Frătilă para motivos mistos sem perda das propriedades clássicas.

Além disso, o artigo fornece uma realização concreta dos polilogaritmos múltiplos $p$-ádicos como períodos de André. Isso conecta o formalismo tannakiano abstrato de Ancona e Frătilă diretamente aos objetos computáveis da integração $p$-ádica. O autor observa que essa conexão esclarece os "mecanismos internos" da teoria de Chabauty-Kim para motivos misto-tate e oferece uma perspectiva $p$-ádica sobre as conjecturas de Goncharov relativas a integrais iteradas motivicas. O trabalho também estabelece uma fundação para potencialmente estender a teoria de Chabauty-Kim além do cenário misto-tate, embora os resultados atuais estejam estritamente confinados ao caso misto-tate.