Weight decomposition for toroidal abelian fibrations

技術要約：トーリック・アベル多様体の重み分解

問題設定
本論文は、特定の部分的トーリックコンパクト化における、主ポーランド・アベル多様体の普遍族の交差理論およびモチーフ構造を研究している。$A_g$ を次元 $g$ の主ポーランド・アベル多様体のモジュライ・スタックとし、$X_g \to A_g$ をその上の普遍的アベル・スキームとする。著者らは、内部領域 $X_g$ における代数的サイクルの研究を、トーラス階数が高々1の退化をパラメータ化するマンフォード的部分コンパクト化 $X'_g \to A'_g$ へと拡張する。

$X_g$ の有理チャウ環 $CH^*(X_g)$ は、$N$ 倍写像の固有空間への乗法的分裂を持つことが知られており、タウトロジカル・リングもよく理解されているが、これらの性質はコンパクト化された族 $X'_g$ に対しては直ちに自明ではない。$X'_g$ はもはや相対群スキームではなく、ログ・アベル・スキームの双有理モデルである。中心となる課題は、この特異な境界の設定において、相対チャウ・モチーフの重み分解およびタウトロジカル・リングの構造に関する既知の結果を一般化することである。

手法
著者らは、ログ幾何学、フーリエ・ムカイ変換、および組合せ論的なトロピカル幾何学を組み合わせて、$[N]$ 倍写像の作用をチャウ群に対して分析する。

1. ログ幾何学と分解: 著者らは、有理的な $[N]$ 倍写像の不定性を解消するために、ログ・アベル・スキーム（Kajiwara–Kato–Nakayama）の理論を利用する。彼らはログ・ブローアップを用いて、相対自己ファイバー積 $X'_g \times_{A'_g} \cdots \times_{A'_g} X'_g$ のスモール分解を構成する。これにより、チャウ群に対する $[N]_*$ の作用を厳密に定義することが可能となる。
2. トロピカル化と区分多項式: 本研究の核心的な技術的革新は、$[N]_*$ の作用を、トロピカル・アベル・スキーム上の組合せ論的な計算へと還元することにある。ログ・スキームのチャウ群を、関連するアルチン・ファン（錐複体 $\Sigma^{(s)}$）上の厳密な区分多項式（$sPP$）の環に関連付けることで、著者らは幾何学的操作を区分多項式関数上の操作へと翻訳している。
3. フーリエ変換: 著者らは、境界へのフーリエ・ムカイ変換を拡張する。先行研究で構築された拡張ポアンカレ・ライン束を用いることで、可干余次元層の導来圏における自己同値性と、チャウ群へのその実現を確立する。この変換は、単位セクションのクラスを計算し、タウトロジカル・リングの保存性を証明するために用いられる。
4. 重み解析: 著者らは、$[N]_*$ の作用の多項式の次数に基づく重み・フィルトレーションを定義する。彼らは、タウトロジカルなクラスが有限の重みを持つことを証明し、トロピカルな設定のために開発された組合せ論的な枠組みを用いて、これらの重みの正確な境界を確立する。

主要な貢献と結果

• 単位セクションのクラス (定理 A): 著者らは、タウトロジカルなクラスを用いた、単位セクション $e: A'_g \to X'_g$ の基本類 $[e]$ の閉じた公式を導出する。この公式は、シータ分割 $\theta$、境界因子、およびベルヌーイ数を含む。この結果は、半アベル・ローカスに関する従来の公式を一般化し、境界への寄与に関するGrushevskyとZakharovの元の証明における見落としを解決し、$GZ_g$ の予想を裏付けるものである。
• モチーフ分解 (定理 B): 本論文は、相対チャウ・モチーフ $X'_g$ が、モチーフの直和 $\bigoplus h_k(X'_g)$ ($0 \le k \le 2g$) へと分解することを証明する。この分解は、$[N]$ 倍写像の固有空間に対応している。具体的には、$[\tau_N]_t$ （$[N]$ 倍のグラフの転置）が $N$ に関する次数 $2g$ の多項式であり、その係数が直交射影として作用することが示される。これは、この特定の部分コンパクト化におけるCorti–Hanamura予想を裏付けるものである。
• タウトロジカル・リングの構造 (定理 C および D): 著者らは、タウトロジカル・リング $R^*(X'_g)$ の完全な提示を行う。彼らは、生成元（ホッジ・バンドルのチャーン類、シータ分割、および区分多項式類）と関係式を特定する。関係式は、基底に由来するもの、境界の再帰的構造に由来するもの、および「重みの消滅」関係（重みが $2g$ を超えるクラスが消滅する関係）の3つのタイプに分類される。
• フーリエ不変性 (定理 E): フーリエ変換とその逆変換がタウトロジカル・部分環 $R^*(X'_g)$ を保存することが証明される。タウトロジカルなクラスのフーリエ変換を計算するためのアルゴリズムが提供されており、この環が相対ファイバー積からの押し出し写像に関して閉じていることが示されている。
• 重み分解と完全層フィルトレーション (定理 F および命題 6.11): 著者らは、$[N]$ 倍写像によって定義される重み・フィルトレーション $W_\bullet$ が、フーリエ変換を通じて定義される完全層・フィルトレーション $P_\bullet$ と一致することを確立する。この「P=W」現象は、組合せ論的解析から導かれたタウトロジカルなクラスの明示的な重み境界を用いて証明される。

意義
本論文は、境界を含む、普遍的アベル・スキームのトーリック・コンパクト化に関するチャウ環およびモチーフ分解の、初の包括的な構造記述を提供すると主張している。BeauvilleやDeninger–Murreによるアベル・ローカスでの結果を、トーリック境界へと一般化することで、著者らは、特異性や退化が存在する場合でも、代数的サイクル（重み分解、タウトロジカル・リング、フーリエ不変性）の豊かな構造が維持されることを示している。

本研究は、より一般的なトーリック・コンパクト化を理解するための基礎的な一歩となる。著者らは、彼らの手法が比較的単純な階数1の境界の幾何学に依存しているものの、開発された手法（特にログ幾何学的分解および組合せ論的な重み解析）は、組合せ論的な複雑さは増すものの、より深いコンパクト化にも拡張可能であると考えている。また、これらの結果は、コンパクト化されたヤコビアンおよび二重分岐サイクルの研究とも結びついており、これらの対象に対する統一的な枠組みを提供している。