On André periods of mixed Tate motives

技術的サマリー：混合テートモチーフにおけるアンドレ周期について

問題提起
本論文は、混合テートモチーフ（MTM）の文脈における、2 つの異なる $p$ 進周期の概念の関係を扱っている。一方には、$p$ 進反復積分とシャボーティ・キム理論の研究において現れる、山下、チャツィスタマティウ、およびウネルによって発展させられた「古典的」な $p$ 進周期の概念がある。この理論は、$p$ 進ド・ラーム実現におけるホッジ濾過とフロベニウス自己同型との比較に依存している。他方では、アンカナとフラティラが、Y. アンドレの業績に触発され、純粋モチーフに対して「$p$ 進周期」（「アンドレ周期」と呼ばれる）の概念を最近導入した。このアプローチは、有理数係数ド・ラーム実現とクリスタリン実現を比較し、剰余体上のモチーフの圏を通じた分解を強調するものである。

古典的理論は混合テートモチーフに対してよく確立されているが、アンカナ・フラティラの枠組みは主に純粋モチーフのために開発され、混合モチーフは後付けとして扱われていた。中心的な問題は、混合テートモチーフという特定の設定にアンカナ・フラティラの定義を適用した場合、それが $p$ 進多重ゼータ値および多重対数関数に関連する古典的 $p$ 進周期を回復するかどうかを決定することである。

方法論
著者、イシャイ・ダン・コーエンは、タンナキアン圏とファイバー関手の言語を用いて、これら 2 つの定義を橋渡しする。方法論は以下の通りである：

1. 枠組みの翻訳：アンカナ・フラティラの構成を、開整数スキーム $Z \subset \text{Spec } \mathcal{O}_K$ 上の混合テートモチーフの設定へと輸送する。これには、クリスタリン実現の特殊化（関手 $\zeta$ を通じて）とド・ラーム実現との間の $\otimes$ 整合的な自然変換の空間を表す関手 $H(Z)$ を定義することが含まれる。
2. 周期写像の構成：
   • アンカナ・フラティラ周期写像（$per_{AF}$）は、「ベルトレロ点」（$c_{Ber}$）を通じて定義される。これは、クリスタリン実現とド・ラーム実現間のベルトレロ比較同型を用いて構成された、$H(Z)$ の特定の $K_p$ 点である。
   • 古典的周期写像（$per_{Cl}$）は、「古典的 $p$ 進周期ループ」（$u$）を通じて定義される。これは、タンナキアンガロイス群の単葉的根基 $U_{dR}(Z)$ 内の算術的ホッジ経路と算術的クリスタリン経路を比較するものである。
3. タンナキアン比較：核心的な技術的作業は、プレシェフ $H(Z)$ が、prounipotent 群 $U_{dR}(Z)$ 下の自明なトルソであることを証明することである。これは以下の手法によって達成される：
   • 半単純混合テートモチーフの圏と $\mathbb{G}_m$ の表現との間の同値性の利用。
   • 商スキームと自然変換の空間との間の同型に関する一般的なタンナキアン結果（命題 4.2）の適用。
   • 特定のド・ラーム点（$c_{dR}$）によって誘導される軌道写像が、$U_{dR}(Z)$ と $H(Z)$ の間の同型を提供し、2 つの周期ループを絡み合わせることの示唆。

主要な貢献と結果

• 定理 1.1（周期写像の同値性）：主要な結果は、「形式的アンドレ周期」の環（$\mathcal{O}_{H(Z)}$）と「形式的古典的周期」の環（$\mathcal{O}_{U_{dR}(Z)}$）との間の $K$-代数の同型を確立する。この同型は、それぞれの周期写像 $per_{AF}$ および $per_{Cl}$ と可換である。その結果、一見異なる 2 つの $p$ 進周期の定義は、混合テート設定において同値である。
• 素数からの独立性：注目すべき帰結として、形式的アンドレ周期の環は、原理的には特定の素数 $p$ を用いて定義されるが、$U_{dR}(Z)$ の座標環（これは $p$ に依存しない）と同型であるため、標準的同型を除いて $p$ に依存しない。
• フロベニウス固定経路の動機的本質：本論文は、ベッサーとヴォロゴドスキーによって同定されたフロベニウス固定ド・ラーム経路に関する概念的な曖昧さを解決する。これら経路が特性 $p$ における動機的経路（具体的には、動機的経路トルソの特殊化）から生じることを示すことで、著者は、算術的基底上のモチーフを剰余体上のモチーフに置き換える限り、これら経路は「結局のところ動機的である」ことを実証する。
• 多重対数関数の実現：著者は、動的反復積分に対応する主斉次空間 $H(Z)$ 上の関数を明示的に構成する。これらの関数のアンドレ周期が、$p$ 進多重対数関数および $p$ 進多重ゼータ値（コルマン関数）の特殊値を与えることが示される。

重要性
本論文は、算術幾何学（シャボーティ・キム理論）で使用される古典的 $p$ 進周期理論と、アンカナおよびフラティラによって提案されたより新しいより一般的なアンドレ周期の枠組みという、2 つの研究潮流を統合する点で重要性を主張する。混合テート設定におけるそれらの同値性を証明することで、この仕事は、古典的性質を失うことなく、アンカナ・フラティラの機構を混合モチーフへ拡張することを正当化する。

さらに、本論文は、$p$ 進多重対数関数をアンドレ周期として具体的に実現する。これにより、アンカナおよびフラティラの抽象的タンナキアン形式論が、$p$ 進積分の計算可能な対象に直接結びつく。著者は、この結びつきが混合テート・シャボーティ・キム理論の「内部機構」を明確にし、ゴンチャロフの動的反復積分に関する予想に対する $p$ 進的視点を提供すると指摘している。また、この仕事は、混合テート設定を超えてシャボーティ・キム理論を拡張する可能性の基盤を築くものであるが、現在の結果は厳密に混合テートの場合に限定されている。