On the Integral Part of A-Motivic Cohomology

技術的要約：A-モチーフ・コホモロジーの整数部分について

問題提起
本論文は、正標数の大域関数体における文脈での、モチーフ・コホモロジーの「整数部分（integral part）」の定義とその性質について扱う。古典的な数体の場合、モチーフ・コホモロジーの整数部分は、二つの等価なアプローチによって捉えられることが予想されている。一つは多様体の正則な整数モデルのK理論によるものであり、もう一つは良質な還元を持つ拡大の$\ell$進実現によるものである。これら二つの定義が一致すること（予想C4）、および結果として得られる空間が$\mathbb{Q}$上で有限次元であること（予想C5）が期待されている。

著者は、古典的な混合モチーフの関数体における対応物であるアンデルソン$A$-モチーフに対して、これと同様の理論を構築することを目的としている。中心となる問題は、極大整数モデル（正則モデルに相当するもの）を用いて$A$-モチーフ・コホモロジーの整数部分を定義し、「良質な」$\ell$進部分（良質な還元を持つ拡大）と比較すること、そしてこれら二つの定義が一致するか、および得られる加群が有限生成であるかどうかを調査することである。

手法
本論文は、大域および局所関数体上のアンデルソン$A$-モチーフの枠組みを用いている。手法は以下の主要なステップに従って進行する。

1. $A$-モチーフの基礎: 著者はアンデルソン$A$-モチーフの圏（$\mathcal{M}_R$）を検討し、それが（アーベル圏ではないが）完全圏であることを確立する。拡大加群 $\text{Ext}^i_{\mathcal{M}_R}(1, M)$ は、複体 $M \xrightarrow{\text{id} - \tau_M} M[j^{-1}]$ を用いて明示的に計算される（ここで $j$ はイデアル $a \otimes 1 - 1 \otimes \kappa(a)$ で生成される）。
2. 混合性とウェイト: 無限次点 $\infty$ における随伴アイソクラシスティックの傾斜フィルター（slope filtration）を用いて、混合アンデルソン$A$-モチーフの概念が展開される。著者はウェイトを定義し、混合モチーフの圏が、拡張の消滅（$i > 1$ に関して）において数体のケースと同様の振る舞いをすることを確立する。ただし、純粋モチーフの劣圏は半単純ではない。
3. 極大整数モデル: $\tau$-層に関するGardeynの研究に着想を得て、本論文は局所および大域関数体上の$A$-モチーフに対する極大整数モデルの概念を導入する。従来のアプローチとは異なり、著者はこれらのモデルが局所自由であることをあらかじめ仮定せず、極大性の帰結としてこの性質を証明する。
   • 局所体の場合、極大モデルの存在と一意性が示される。
   • 大域体の場合、極大整数モデルは局所極大モデルの共通部分として構成される。
4. 拡張の比較: 著者は、コホモロジーの「整数部分」（$\text{Ext}^1_{\mathcal{O}_p}(1, M)$）を、拡大写像 $\iota$ による極大整数モデルの像として定義する。これは「良質な$\ell$進部分」（$\text{Ext}^1_{\text{good}}(1, M)_\ell$、すなわち慣性部分群に制限された$\ell$進実現写像の核）と比較される。
5. 調整された拡大（Regulated Extensions）: 整数部分と良質な部分の間の不一致に対処するため、本論文はHodge多角形の加法性（Pinkの理論におけるHodge加法性に類似）によって定義される「調整された拡大」を導入する。

主要な貢献と結果

• 極大モデルの存在と一意性: 本論文は、大域および局所関数体の両方において、$A$-モチーフに対する極大整数モデルが存在し、かつ一意であることを証明する。さらに、これらの極大整数モデルは自動的に関連するテンソル環上で射影的（局所自由）であることが示され、Gardeynによる$\tau$-層に関する先行研究に見られる技術的な要件が簡略化されている。
• 整数部分の良質な部分への包含: 主要な結果（定理D）は、$A$-モチーフ・コホモロジーの整数部分が良質な$\ell$進部分に含まれることを確立する：
  $$\text{Ext}^1_{\mathcal{O}_p}(1, M) \subseteq \text{Ext}^1_{\text{good}}(1, M)_\ell$$
• 等価性の失敗: 数体の設定（予想C4）における期待に反し、本論文は上記の包含関係が一般には厳密な包含であることを示す。5.1節では、中立モチーフ $\mathbf{1}$ に対する具体的な反例が構成されており、極大イデアル $\ell$ に関して良質な還元を持つものの、極大整数モデルからは現れない拡大が存在することが示されている。
• 有限生成の問題: 整数拡大の加群 $\text{Ext}^1_{\mathcal{O}_F}(1, M)$ は通常、$A$ 上で有限生成ではないことが指摘されており、これは予想C5の関数体における類に違反している。これは、すべての$A$-モチーフの圏が、さらなる制限なしには、うまく定義されたモチーフ・コホモロジー論を支えるには大きすぎることを示唆している。
• 調整された拡大: 著者は、構成要素のHodge多角形の和と拡大のHodge多角性が一致するという、調整された拡大という洗練された劣圏を提案する。
  • 調整された拡大において、特定のモチーフの商と調整された拡大の加群との間に同型が成立することを証明する（系5.5）。
  • 本論文は、調整された拡大において、整数部分と良質な部分が一致するということを予想する（予想5.8）。
  • この予想は、特定のケースにおいて検証されている（良質な還元を持つFrobenius空間から導かれるモチーフの場合（定理5.9）、および正のCarlitzツイスト $A(n)$ の場合（定理5.13））。

意義と主張
本論文は、大域関数体のための$A$-モチーフ・コホモロジーの体系的な研究を開始したものであると主張している。その意義は以下の点にある：

1. 枠組みの確立: 正則な整数モデルの関数体における対応物として機能する極大モデルを用い、$A$-モチーフ・コホモロジーの整数部分に対する厳密な定義を提供したこと。
2. 相違の強調: 関数体の図式が数体の図式とは根本的に異なること、具体的には、整数部分と良質な$\ell$進部分の定義が一般には一致しないことを示したこと。これは、数体からの予想の直接的な転用に対して異議を唱えるものである。
3. 修正案の提示: 整数部分と良質な部分の間の期待される一致を回復し、有限生成性を回復させるための必要条件として、調整された拡大という概念を導入したこと。

著者は、調整された拡大に関する一般の場合の等価性は依然として未解決であるが、本研究は、特定の構造的な障害（Hodge加法性の欠如）を特定し、重要なモチーフのクラスに対して問題を解決することで、明確な道筋を提供したと控えめに結論付けている。結果は、完全圏の形式論と、$A$-モチーフ、アイソクラシスティック、および$\ell$進表現の相互作用に強く依存している。