On André periods of mixed Tate motives

Resumen Técnico: Sobre los Períodos de André de Motivos Mixtos de Tipo Tate

Planteamiento del Problema
El artículo aborda la relación entre dos nociones distintas de períodos $p$-ádicos en el contexto de los Motivos Mixtos de Tipo Tate (MTM). Por un lado, existe la noción "clásica" de períodos $p$-ádicos, desarrollada por Yamashita, Chatzistamatiou y Üner, que surge en el estudio de integrales iteradas $p$-ádicas y la teoría de Chabauty-Kim. Esta teoría se basa en comparar la filtración de Hodge y el automorfismo de Frobenius en la realización de de Rham $p$-ádica. Por otro lado, Ancona y Frătilă introdujeron recientemente una noción de "períodos $p$-ádicos" (denominados "períodos de André") para motivos puros, inspirada en el trabajo de Y. André. Este enfoque compara la realización de de Rham racional con la realización cristalina, enfatizando la factorización a través de la categoría de motivos sobre el cuerpo residual.

Mientras que la teoría clásica está bien establecida para motivos mixtos de tipo Tate, el marco de Ancona-Frătilă se desarrolló principalmente para motivos puros, tratando a los motivos mixtos como una consideración secundaria. El problema central es determinar si la definición de Ancona-Frătilă, cuando se aplica al entorno específico de los motivos mixtos de tipo Tate, recupera los períodos $p$-ádicos clásicos asociados con los valores múltiples zeta $p$-ádicos y los polilogaritmos.

Metodología
El autor, Ishai Dan-Cohen, emplea el lenguaje de las categorías tannakianas y los functores fibra para tender un puente entre estas dos definiciones. La metodología implica:

1. Traducción de Marcos: La construcción de Ancona-Frătilă se traslada al entorno de los motivos mixtos de tipo Tate sobre un esquema entero abierto $Z \subset \text{Spec } \mathcal{O}_K$. Esto implica definir un funtor $H(Z)$ que representa el espacio de transformaciones naturales compatibles con $\otimes$ entre la especialización de la realización cristalina (mediante un funtor $\zeta$) y la realización de de Rham.
2. Construcción de Aplicaciones de Períodos:
   • La aplicación de períodos de Ancona-Frătilă ($per_{AF}$) se define mediante el "punto de Berthelot" ($c_{Ber}$), un punto específico de $K_p$ de $H(Z)$ construido utilizando el isomorfismo de comparación de Berthelot entre las realizaciones cristalina y de de Rham.
   • La aplicación de períodos clásica ($per_{Cl}$) se define mediante el "bucle de período $p$-ádico clásico" ($u$), que compara la trayectoria de Hodge aritmética y la trayectoria cristalina aritmética dentro del radical unipotente $U_{dR}(Z)$ del grupo de Galois tannakiano.
3. Comparación Tannakiana: El trabajo técnico central consiste en demostrar que el prefaisceau $H(Z)$ es un torsor trivial bajo el grupo prounipotente $U_{dR}(Z)$. Esto se logra mediante:
   • La utilización de la equivalencia entre la categoría de motivos mixtos de tipo Tate semisimples y las representaciones de $\mathbb{G}_m$.
   • La aplicación de un resultado general tannakiano (Proposición 4.2) respecto al isomorfismo entre esquemas cociente y espacios de transformaciones naturales.
   • La demostración de que el mapa de órbita inducido por un punto específico de de Rham ($c_{dR}$) proporciona un isomorfismo entre $U_{dR}(Z)$ y $H(Z)$ que entrelaza los dos bucles de períodos.

Contribuciones y Resultados Clave

• Teorema 1.1 (Equivalencia de Aplicaciones de Períodos): El resultado principal establece un isomorfismo de álgebras $K$ entre el anillo de "períodos formales de André" ($\mathcal{O}_{H(Z)}$) y el anillo de "períodos formales clásicos" ($\mathcal{O}_{U_{dR}(Z)}$). Este isomorfismo conmuta con las respectivas aplicaciones de períodos $per_{AF}$ y $per_{Cl}$. En consecuencia, las dos definiciones aparentemente diferentes de períodos $p$-ádicos son equivalentes en el contexto de los motivos mixtos de tipo Tate.
• Independencia del Primo: Una consecuencia notable es que el anillo de períodos formales de André, aunque definido a priori utilizando un primo específico $p$, es independiente de $p$ hasta un isomorfismo canónico, ya que es isomorfo al anillo de coordenadas del grupo unipotente $U_{dR}(Z)$, el cual no depende de $p$.
• Naturaleza Motivica de las Trayectorias Fijas por Frobenius: El artículo resuelve una ambigüedad conceptual respecto a las trayectorias de de Rham fijas por Frobenius identificadas por Besser y Vologodsky. Al demostrar que estas trayectorias surgen de trayectorias motivicas en característica $p$ (específicamente, de la especialización de torsos de trayectorias motivicas), el autor demuestra que estas trayectorias son "motivicas al fin", siempre que se reemplacen los motivos sobre una base aritmética por motivos sobre un cuerpo residual.
• Realización de Polilogaritmos: El autor construye explícitamente funciones sobre el espacio homogéneo principal $H(Z)$ que corresponden a integrales iteradas motivicas. Se demuestra que los períodos de André de estas funciones producen los valores especiales de los polilogaritmos múltiples $p$-ádicos y los valores zeta múltiples $p$-ádicos (funciones de Coleman).

Significado
El artículo reclama importancia al unificar dos vertientes de investigación: la teoría clásica de períodos $p$-ádicos utilizada en geometría aritmética (teoría de Chabauty-Kim) y el marco más nuevo y general de períodos de André propuesto por Ancona y Frătilă. Al probar su equivalencia en el contexto de los motivos mixtos de tipo Tate, el trabajo valida la extensión de la maquinaria de Ancona-Frătilă a motivos mixtos sin pérdida de las propiedades clásicas.

Además, el artículo proporciona una realización concreta de los polilogaritmos múltiples $p$-ádicos como períodos de André. Esto conecta el formalismo tannakiano abstracto de Ancona y Frătilă directamente con los objetos computables de la integración $p$-ádica. El autor señala que esta conexión aclara los "mecanismos internos" de la teoría de Chabauty-Kim para motivos mixtos de tipo Tate y ofrece una perspectiva $p$-ádica sobre las conjeturas de Goncharov relativas a las integrales iteradas motivicas. El trabajo también sienta las bases para potencialmente extender la teoría de Chabauty-Kim más allá del contexto de los motivos mixtos de tipo Tate, aunque los resultados actuales están estrictamente confinados al caso de motivos mixtos de tipo Tate.