On André periods of mixed Tate motives

Technische Zusammenfassung: Zu André-Perioden gemischter Tate-Motive

Problemstellung
Der Artikel behandelt die Beziehung zwischen zwei unterschiedlichen Begriffen von $p$-adischen Perioden im Kontext gemischter Tate-Motive (MTM). Zum einen gibt es den „klassischen" Begriff der $p$-adischen Perioden, der von Yamashita, Chatzistamatiou und Üner entwickelt wurde und im Studium von $p$-adischen iterierten Integralen sowie der Chabauty-Kim-Theorie entsteht. Diese Theorie stützt sich auf den Vergleich der Hodge-Filtration und des Frobenius-Automorphismus auf der $p$-adischen de-Rham-Realisierung. Zum anderen haben Ancona und Frătilă kürzlich einen Begriff von „$p$-adischen Perioden" (als „André-Perioden" bezeichnet) für reine Motive eingeführt, inspiriert von Y. Andrés Arbeiten. Dieser Ansatz vergleicht die rationale de-Rham-Realisierung mit der kristallinen Realisierung und betont die Faktorisierung durch die Kategorie der Motive über dem Restklassenkörper.

Während die klassische Theorie für gemischte Tate-Motive gut etabliert ist, wurde der Rahmen von Ancona und Frătilă primär für reine Motive entwickelt, wobei gemischte Motive als nachträgliche Überlegung behandelt wurden. Das zentrale Problem besteht darin, zu bestimmen, ob die Definition von Ancona und Frătilă, angewendet auf den spezifischen Kontext gemischter Tate-Motive, die klassischen $p$-adischen Perioden wiederherstellt, die mit $p$-adischen mehrfachen Zeta-Werten und Polylogarithmen assoziiert sind.

Methodik
Der Autor, Ishai Dan-Cohen, verwendet die Sprache der Tannakischen Kategorien und Faserfunktoren, um diese beiden Definitionen zu verbinden. Die Methodik umfasst:

1. Übersetzung der Rahmenwerke: Die Konstruktion von Ancona und Frătilă wird in den Kontext gemischter Tate-Motive über einem offenen ganzzahligen Schema $Z \subset \text{Spek } \mathcal{O}_K$ übertragen. Dies beinhaltet die Definition eines Funktors $H(Z)$, der den Raum der $\otimes$-kompatiblen natürlichen Transformationen zwischen der Spezialisierung der kristallinen Realisierung (via eines Funktors $\zeta$) und der de-Rham-Realisierung darstellt.
2. Konstruktion von Periodenabbildungen:
   • Die André-Frătilă-Periodenabbildung ($per_{AF}$) wird über den „Berthelot-Punkt" ($c_{Ber}$) definiert, einen spezifischen $K_p$-Punkt von $H(Z)$, der unter Verwendung des Berthelot-Vergleichsisomorphismus zwischen kristalliner und de-Rham-Realisierung konstruiert wird.
   • Die klassische Periodenabbildung ($per_{Cl}$) wird über die „klassische $p$-adische Periodenschleife" ($u$) definiert, welche den arithmetischen Hodge-Pfad und den arithmetischen kristallinen Pfad innerhalb des unipotenten Radikals $U_{dR}(Z)$ der Tannakischen Galoisgruppe vergleicht.
3. Tannakischer Vergleich: Die zentrale technische Arbeit besteht darin zu beweisen, dass der Prägarbenraum $H(Z)$ ein triviales Torsor unter der pro-unipotenten Gruppe $U_{dR}(Z)$ ist. Dies wird erreicht durch:
   • Die Nutzung der Äquivalenz zwischen der Kategorie der halbeinfachen gemischten Tate-Motive und den Darstellungen von $\mathbb{G}_m$.
   • Die Anwendung eines allgemeinen tannakischen Ergebnisses (Proposition 4.2) bezüglich des Isomorphismus zwischen Quotientenschemata und Räumen natürlicher Transformationen.
   • Den Nachweis, dass die durch einen spezifischen de-Rham-Punkt ($c_{dR}$) induzierte Bahnabbildung einen Isomorphismus zwischen $U_{dR}(Z)$ und $H(Z)$ liefert, der die beiden Periodenschleifen verknüpft.

Hauptbeiträge und Ergebnisse

• Satz 1.1 (Äquivalenz der Periodenabbildungen): Das Hauptergebnis stellt einen Isomorphismus von $K$-Algebren zwischen dem Ring der „formalen André-Perioden" ($\mathcal{O}_{H(Z)}$) und dem Ring der „formalen klassischen Perioden" ($\mathcal{O}_{U_{dR}(Z)}$) her. Dieser Isomorphismus kommutiert mit den jeweiligen Periodenabbildungen $per_{AF}$ und $per_{Cl}$. Folglich sind die beiden scheinbar unterschiedlichen Definitionen von $p$-adischen Perioden im Kontext gemischter Tate-Motive äquivalent.
• Unabhängigkeit vom Primzahl: Ein bemerkenswerter Korollar ist, dass der Ring der formalen André-Perioden, obwohl er a priori unter Verwendung einer spezifischen Primzahl $p$ definiert ist, bis auf kanonischen Isomorphismus unabhängig von $p$ ist, da er isomorph zum Koordinatenring der unipotenten Gruppe $U_{dR}(Z)$ ist, die nicht von $p$ abhängt.
• Motivische Natur von Frobenius-fixierten Pfaden: Der Artikel klärt eine begriffliche Unklarheit bezüglich der von Besser und Vologodsky identifizierten Frobenius-fixierten de-Rham-Pfade. Indem gezeigt wird, dass diese Pfade aus motivischen Pfaden in Charakteristik $p$ entstehen (speziell aus der Spezialisierung von motivischen Pfadtorsoren), demonstriert der Autor, dass diese Pfade „tatsächlich motivisch" sind, sofern man Motive über einem arithmetischen Grundkörper durch Motive über einem Restklassenkörper ersetzt.
• Realisierung von Polylogarithmen: Der Autor konstruiert explizit Funktionen auf dem principal homogeneous space $H(Z)$, die motivischen iterierten Integralen entsprechen. Es wird gezeigt, dass die André-Perioden dieser Funktionen die Spezialwerte von $p$-adischen mehrfachen Polylogarithmen und $p$-adischen mehrfachen Zeta-Werten (Coleman-Funktionen) liefern.

Bedeutung
Der Artikel beansprucht Bedeutung in der Vereinheitlichung zweier Forschungsstränge: der klassischen Theorie der $p$-adischen Perioden, die in der arithmetischen Geometrie (Chabauty-Kim-Theorie) verwendet wird, und des neueren, allgemeineren Rahmens der André-Perioden, der von Ancona und Frătilă vorgeschlagen wurde. Durch den Beweis ihrer Äquivalenz im Kontext gemischter Tate-Motive validiert die Arbeit die Erweiterung der Maschinerie von Ancona und Frătilă auf gemischte Motive ohne Verlust der klassischen Eigenschaften.

Darüber hinaus liefert der Artikel eine konkrete Realisierung von $p$-adischen mehrfachen Polylogarithmen als André-Perioden. Dies verbindet das abstrakte tannakische Formalismus von Ancona und Frătilă direkt mit den berechenbaren Objekten der $p$-adischen Integration. Der Autor weist darauf hin, dass diese Verbindung die „inneren Mechanismen" der Chabauty-Kim-Theorie für gemischte Tate-Motive klärt und eine $p$-adische Perspektive auf Goncharovs Vermutungen bezüglich motivischer iterierter Integrale bietet. Die Arbeit legt zudem eine Grundlage für eine potenzielle Erweiterung der Chabauty-Kim-Theorie über den Kontext gemischter Tate-Motive hinaus, obwohl die aktuellen Ergebnisse strikt auf den Fall gemischter Tate-Motive beschränkt sind.