Regulators in the Arithmetic of Function Fields

問題設定

本論文は、関数体におけるアンダーソン $A$-モチーフに関するレギュレータ理論の開発を取り扱うものであり、数体における算術におけるベリンソン予想の類似性を確立することを目的としている。具体的には、著者は剛解析的に自明な（rigid analytically trivial）アンダーソン $A$-モチーフに対するレギュレータ射を定義し、関連するモチーフ的コホモロジー群の有限性と階数（rank）の性質を調査することを目的としている。

数体における古典的な設定では、ベリンソンの予想は、混合モチーフ（特に $\text{Ext}^1_{\mathbb{Z}}(1, M)$）の拡大群の次元を、ホッジ実現空間へのレギュレータ写像を介して、$L$ 関数の特殊値に関連付けている。関数体の設定においては、著者による先行研究（[Gaz22]）が $A$-モチーフ的コホモロジーの研究を開始したが、いくつかの障害に直面した。すなわち、自然な拡大加群 $\text{Ext}^1_{A}(1, M)$ が一般に有限生成ではないという点である。この有限生成性の欠如は、二つの要因に起因する：ホッジ・フィルトレーションを取る操作の非完全性と、無限遠点における絶対ガロア群 $G_\infty$ の無限性である。本論文は、「解析的還元（analytic reduction）」を備えた精緻化された拡大加群を定義し、それに対応するホッジ・ピンク構造へのレギュレータを構成することによって、これらの問題を解決することを目指している。

手法

著者は、剛解析幾何学、ガロア・コホモロジー、およびシュトゥカ（shtuka）モデルの理論を統合して用いている。その手法は以下の主要な段階を経て進行する。

1. 剛解析的に自明な $A$-モチーフとベティ実現： 研究対象は、剛解析的に自明な $A$-モチーフ（$\text{AMot}^{\text{rat}}_K$）の部分圏に限定される。このようなモチーフに対して、ベティ実現関手 $M \mapsto M_B$ は完全である。著者は、$M_B$ がプロ有限ガロア群 $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$ の自然な連続作用を持つことを確立する。
2. 解析的還元と調整された拡大： 有限生成性の欠如に対処するため、著者は拡大に対する「無限遠点における解析的還元」を定義する。拡大が解析的還元を持つとは、それが $G_\infty$ の表現として分裂することを意味する。これにより、調整された拡大からガロア・コホモロジー $H^1(G_\infty, M_B)$ への写像の核として、加群 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) を定義する。
3. 無限フロベニウスを持つホッジ・ピンク構造： 本論文は、ホッジ・ピンク・ラティスと互換性のある $G_\infty$ の連続表現である「無限フロベニウス（infinite Frobenii）」を導入することにより、ピンクのホッジ・ピンク構造の理論を拡張する。これにより、$\text{AMot}^{\text{rat}}_K$ からホッジ・ピンク構造の圏（$\text{HdgPk}^+$）へのホッジ・ピンク実現関手 $H^+$ の構成が可能となる。
4. シュトゥカ・モデル： 中心的な技術的ツールは、$A$-モチーフとシュトゥカ・モデルの関連付けである。
   • $C$-シュトゥカ・モデル： 曲線 $(\text{Spec } A) \times C$ 上の任意の $A$-モチーフに付随する。
   • $C \times C$-シュトゥカ・モデル： $C \times C$ 上の負の重みを持つ $A$-モチーフに付随する。
     著者は、モチーフ的コホモロジーを計算する複体が、これらのシュトゥカ・モデルの連接コホモロジーと準同型（quasi-isomorphic）であることを証明する。この接続により、固有な関数に関するグレタディックの定理および固有なスキーム上の連接コホモロジーの有限性を利用して、有限性の結果を導き出すことが可能となる。
5. レギュレータの構成： ホッジ・ピンク実現関手の完全性は、$A$-モチーフの調整され解析的に還元された拡大の加群から、ホッジ加法的かつ解析的に還元されたホッジ・ピンク構造の拡大の空間への射（すなわちレギュレータ）を誘導する。

主な貢献と結果

本論文は、$A$-モチーフ的コホモロジーの構造とレギュレータの性質に関して、二つの主要な定理を確立している。

1. 有限性定理 (Theorem 6.1):

   • $A$-加群 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) （整数的で、解析的還元を持つ調整された拡大）および類加群 $\text{Cl}(M)$ （解析的還元写像の余核）は、有限生成である。
   • $M$ の重みがすべて負である場合、類加群 $\text{Cl}(M)$ は有限である。
   • この結果は、数体の設定において $\text{Ext}^1_{\mathbb{Z}}(1, M)$ が有限次元であるという期待の、関数体における類似物として機能する。

2. 階数一致定理 (Theorem 6.2):

   • $M$ の重みがすべて負であると仮定すると、$A$-加群としての \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) の階数は、$K_\infty$-ベクトル空間としての標的空間 \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M)) の次元に等しい。
   • この次元は、$M$ の正のホッジ・ピンク重みに基づいて明示的に計算可能である。

3. 全階数の失敗：

   • 数体の予想される図式（レギュレータが稠密または全階数を持つことが期待される設定）とは対照的に、著者は、ホッジ・ピンク・レギュレータ $\text{Reg}(M)$ の像が、その標的において全階数を持つことに失敗する場合があることを示す。
   • この失敗は、$p$ 次のカールッツ・ツイストのような単純なケースにおいても観察される。したがって、像の稠密性に関するベリンソンの予想の直接的な類似は、この設定では成立しない。

意義と主張

本論文は、以前の定式化に見られた無限生成の問題を克服することにより、関数体の設定におけるモチーフ的コホモロジーの厳密な枠組みを提供すると主張している。解析的還元という概念を導入し、シュトゥカ・モデルを利用することで、著者は古典的な期待を反映した有限性の結果を成功裏に証明している。

しかし、本論文は、数体の類似との重大な相違について控えめに述べている。すなわち、レギュレータは必ずしも全階数を持たない。著者は、この不一致は、標準的なホッジ・ピンク構造が、関数体における完全なベリンソン型の予想を定式化するための正しい対象ではない可能性を示唆している。代わりに、著者は、全階数のレギュレータを定義するために、「関数体ホッジ構造（ラティス・データを持たないもの）」を再検討する必要があるかもしれないと提案している。本論文は、階数の一致（Theorem 6.2）は成立するものの、レギュレータの像を特殊な $L$ 値に関連付けるというベリンソン予想の類似の正確な定式化は、さらなる調査を要する未解決の問題であるとして結論づけている。本研究は、アンダーソン $A$-モチーフと混合モチーフの予想される景観との間の溝を埋める、[Gaz22] の自然な続編として提示されている。