Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

技術的概要：パラホリックレベルにおける準正準 AFL と算術転移予想

問題提起
本論文は、分岐が存在する状況における算術基本補題（AFL）予想の変種である算術転移（AT）予想の定式化と検証に取り組む。古典的な AFL 予想は、張、ミハッチ・張、Z. 張によって確立されたものであり、球面ヘッケ代数の単位元の軌道積分の微分と、$p$-可除群のラポポート・ツンク（RZ）形式モジュリ空間上の算術交差数との関係を記述する。この古典的な設定では、非分岐な二次拡大 $F/F_0$、長さ 1 の特殊ベクトル、および超特殊レベル構造が必要とされる。

著者らは、「非分岐性」の仮定を緩和した状況、具体的には非超特殊パラホリックレベル構造を考慮する場合を調査する。これにより問題に分岐が導入される。この文脈で AT 予想を定式化する際の主要な障害は幾何学的側面にある：セルル交乗数を定義するためには、周囲の RZ 空間が正則でなければならないからである。レベル構造が非超特殊である場合、自然な積空間はしばしば正則性を欠くため、新しい積分モデルの構築と特異点の解消が必要となる。

手法
本論文は、算術幾何学、変形論、調和解析を組み合わせ、2 つの独立した部分に分かれている。

1. 幾何学的構成と解析（第 2 部）：

   • 著者らは、非準分裂ユニタリ群における非パラホリック部分群に対応する RZ タワーのメンバーの積分モデルである空間 $\widetilde{\mathcal{N}}_n^{[1]}$ に焦点を当てる。この空間は、レベル $r=1$ の $\mathcal{N}_n^{[1]}$ と超特殊レベルの $\mathcal{N}_{n+1}^{[0]}$ を結びつける積空間として生じる。
   • ディエウドネー理論とグロタンディーク・メッシング変形論を用いて、著者らは $\widetilde{\mathcal{N}}_n^{[1]}$ と、値 1 の特殊ベクトルに関連する特殊除数 $Z(u)$ の $\bar{k}$-点および局所構造を解析する。
   • 彼らは $\widetilde{\mathcal{N}}_n^{[1]}$ が次元 $n$ の正則空間であることを証明する。射 $\pi_1: \widetilde{\mathcal{N}}_n^{[1]} \to \mathcal{N}_n^{[1]}$ は、次数 $q+1$ の有限平坦射であり、「風船領域（balloon locus）」から外れてエタールであり、その上では完全に分岐することが示される。射 $\pi_2: \widetilde{\mathcal{N}}_n^{[1]} \to Z(u)$ は、0 次元部分スキームに沿ったブローアップである。
   • $Z(u)$ の特殊ファイバーは、0 次元閉集合の外側で正則であり、特異点は特定のタイプ（準正準）であることが示される。

2. 算術転移予想と証明（第 1 部）：

   • 著者らは、上記で構成された正則空間、具体的には $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}^{[0]}$ やその「グラフ版」$\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}$ などの積空間上の算術交差数を定義する。
   • 彼らは、これらの交差数を特定のテスト関数の軌道積分の微分に関連付ける AT 予想を定式化する。これらのテスト関数は、球面ヘッケ代数間の基底変更準同型と原子ヘッケ関数を用いて構成される。
   • グラフ版： 著者らは AT 予想の「グラフ版」を証明する。射 $\pi_2$ のグラフ上の交差数を特殊除数 $Z(u)$ 上の交差数に関連付けることで、問題を既知の AFL（$r$ が偶数の場合）と新たに確立された「準正準 AFL」（$r$ が奇数の場合）に帰着させる。
   • 準正準 AFL： 中心的な結果は、特殊ベクトルが値 1（レベル 1）を持つ場合を扱う準正準 AFL の証明（定理 7.2.1）である。これには、ヘッケ代数の特定の非単位元に対する転移定理の確立と、準正準除数 $Z(u)$ 上の交差数に対する対応する恒等式の証明が含まれる。
   • 既知の場合への帰着： $r$ が偶数の場合、著者らは必要な転移関数が存在すれば、AT 予想が全ヘッケ代数に対する AFL（文献 [14] の予想 9.2.3）から導かれることを示す。特定の小規模な場合（例えば $n=r=1$）については、予想を明示的に検証する。

主要な貢献と結果

• $\widetilde{\mathcal{N}}_n^{[1]}$ の構造： 本論文は、謎めいた空間 $\widetilde{\mathcal{N}}_n^{[1]}$ の完全な構造記述を提供し、その正則性と射 $\pi_1$ および $\pi_2$ の幾何学を詳細に記述する。これは、クドラとラポポートによるほぼ自己双対 RZ タワーの幾何学に関する予想を確認するものである。
• 準正準 AFL： 著者らは、値 1 の準正準除数 $Z(u)$ 上の交差数を特定の転移関数の軌道積分の微分に関連付ける準正準 AFL（定理 7.2.1）を確立する。これは、分岐状況における AFL 理論の欠落部分を埋めるものである。
• AT 予想のグラフ版： 本論文は、タイプ $(r, 0)$ に対する AT 予想のグラフ版を証明する（定理 1.0.2）。この結果は「相当に完備」であり、$r$ が偶数の場合（AFL への帰着による）と $r$ が奇数の場合（準正準 AFL への帰着による）を網羅している。
• 明示的な AT 予想： 著者らは、様々なタイプ $(r, 0)$ および $(0, r)$ に対する明示的な AT 予想を定式化し、基底変更準同型を通じて候補となるテスト関数を特定する。
  • $r$ が偶数の場合、予想は全ヘッケ代数に対する AFL と関連付けられる。
  • $r=n$ が奇数の場合、特定の予想が定式化され、$n=1$ に対して証明される。
  • 他の奇数 $r$ については、転移関数の存在が仮定されるが、すべての場合に明示的な候補が提供されているわけではない。
• 単純な場合での検証： 本論文は、特に $n=1$ および $r=1$ のような特定の単純な場合において予想を証明し、$r$ が偶数の場合の一般予想がいかにして全ヘッケ代数に対する AFL から導かれるかを実証する。

意義と範囲
本論文は、自然な制約の下での AT 予想の可能なケースを尽くしたと主張している：周囲の空間は最大パラホリックレベルの RZ 空間の積であり正則でなければならず、サイクルは例外特殊除数（Z-除数または Y-除数）の引き戻しでなければならない。

その意義は、非分岐かつ超特殊な設定を超えて AFL 枠組みを拡張することにある。必要な積分モデルの正則性を証明し、準正準 AFL を確立することにより、著者らはパラホリックレベル構造が存在する状況で AT 予想を定式化し、部分的に証明するために必要な幾何学的基盤を提供する。結果は、特定のケースにおける AT 予想のグラフ版の仮説を検証し、明示的なテスト関数がまだ知られていない残りのケースに関する将来の研究への道筋を示す。著者らは明示的に、残りのすべてのケースに対して予想を定式化したものの、$r=n=1$ を超える一般的な奇数 $r$ のケースについてはテスト関数の明示的な候補を持っていないことを指摘し、これを将来の研究に委ねている。