Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

技術要約：$\mathbb{G}_m^d$ 上における一様層化消滅および等分布性

問題設定
本論文は、有限体上の分裂型 $d$ 次元トーラス $\mathbb{G}_m^d$ 上の、厚みのある（perverse）層に関連する指標和の「悪い」軌跡に関する一様な境界に関する問題を扱っている。具体的には、一様な層化生成的消滅定理（uniform stratified generic vanishing theorem）を確立することを目的としている。ここで、境界は、特定の標数や $\ell$ に依存するのではなく、次元 $d$ と層の複雑さ（Sawin の意味での）のみに依存する。

これらの消滅定理は、忘却支持（forget-supports）射 $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ が同型にならないような指標 $\chi$ の軌跡を記述するものである。ガブリエル–レーザー（Gabber–Loeser）によって生成的消滅は（特異点の解消を条件として）既に確立されており、後にフォレイ–フレサン–コワルスキー（FFK）によって無条件で確立されたが、それらの結果は、有限体の標数が大きくなるにつれて、これらの「悪い」軌跡に含まれる有限体指標の数に関する定量的な一様境界を提供していなかった。

著者らは、これらの指標和の等分布定理を、標数が変化しつつ、その大きさが増大する有限体の列に対して拡張することを目指している。先行研究である Katz（$d=1$ の場合）や FFK（連結な可換群の場合）は、変化する拡大体上の固定された対象に限定されていたか、あるいは高次元のトーラス（$d \ge 2$）に関する一様な境界を条件としていた。

手法
証明の戦略は、主に3つの構成要素、すなわち、一座標メリン推定、トーラスの次元に関する帰納法、および等分布性のためのタンナキ的帰結に基づいている。

1. 一座標メリン推定（Uniform One-Coordinate Mellin Estimate）:
   核心となる技術的革新は、単一の乗法的変数に対する「例外的な」指標の集合に関する定量的な境界である。$\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$ と分解することにより、著者らは、第1因子の指標によってねじれた厚みのある層の相対的直接像を分析する。

   • 彼らは、忘却支持射の失敗を $0$と$\infty$ における境界茎（boundary stalks）に関連付けるために、局在化三角形を利用する。
   • これらの境界茎は、相対的近傍サイクル複体の連続的な慣性コホモロジーと同一視される。
   • 慣性コホモロジーの $\ell$ 以外の素数に関する消滅（付録 B）および、写像 $\lambda \mapsto \lambda_x(\tau_x)$（ここで $\tau_x$ は緩やかな慣性の位相的生成元）の単射性を用いて、例外的な指標がこれらの近傍サイクル複体上のモノドロミー固有値に対応することを示す。
   • 決定的なことに、彼らは、de Jong の変形や特異点の解消を使用せずに、固有値の数を $cu(A)$と次元$d$ のみを用いて境界付け、これらが非一様な定数を導入する可能性を回避している。

2. 次元に関する帰納法:
   著者らは、次元 $d$ に関する帰納法を用いて主要な定理を証明する。

   • 定理 1.1（一様点数カウント）: 複体 $K$ に対して、メリン比較射の錐（cone）の台 $\Delta(K)$ のサイズは $O(q^{n(d-1)})$ で抑えられる。帰納ステップでは、相対的メリン変換を用いて、問題を次元 $d$ から $d-1$ へと還元する。非例外的な指標の場合、問題は低次元のケースへと還元され、例外的な指標の場合、境界は自明であるが制御されている。
   • 定理 1.2（層化点数カウント）: これは特定のコホモロジー次数 $i$ に対する結果を洗練させたものである。著者らは、厚みのあるスペクトル系列を用いて、$\mathbb{G}_m^d$ 上の次数 $i$ におけるコホモロジーの跳ね上がりを、相対的直接像の厚みのあるコホモロジー層における次数 $i$ および $i-1$ での跳ね上がりに関連付ける。これにより、帰納的な境界 $O(q^{n(d-i)})$ が保持される。

3. タンナキ的帰結:
   等分布の結果（系 1.4）は、FFK のタンナキ的形式を用いて導出される。

   • 著者らは、特定の対象 $L = M \oplus M^\vee$ の台 $\Delta(L)$ と関連付けることで、非分岐な軌跡 $X(M_0)$ が生成的であることを確立する（定理 1.3）。
   • ワイルの判定法を用いて、フロベニウス共役類がタンナキ的群の極大コンパクト部分群の中で等分布することを示す。定理 1.2 および 1.3 から得られる一様な境界により、「悪い」指標（コホモロジーが非ゼロの次数で非ゼロになる、または分岐が発生する箇所）は、体の大きさが無限大に増大する際の全指標の数と比較して無視できる数であることが保証される。

主要な貢献と結果

• 定理 1.1（一様層化生成的消滅）: 任意の $d \ge 1$ に対して、任意の有限体 $k$、任意の素数 $\ell \neq \text{char}(k)$、および有界な複雑さ $C$ を持つ任意の複体 $K$ に対して、忘却支持射が同型にならない指標 $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$ の数は $\Phi_d^\Delta(C) q^{n(d-1)}$ によって抑えられることを証明している。
• 定理 1.2（有界複雑さ層化点数カウント）: 複雑さ $C$ を持つ厚みのある層 $A$ に対して、コホモロジー $H^i_c$ または $H^i$ が非ゼロとなる指標の数は $\Psi_d(C) q^{n(d-i)}$ で抑えられる。これは、層化された消滅軌跡のための必要な一様境界を提供する。
• 定理 1.3（非分岐点数カウント）: 算術的に半単純な対象に対する非分岐軌跡の補集合が、$k$ および $\ell$ に関して一様に $O(q^{n(d-1)})$ で抑えられることを確立している。
• 系 1.4（等分布性）: 共通のタンナキ的モノドロミー群を持つ厚みのある層の列に対する等分布定理を証明している。有限体の大きさが増大するにつれ、付随するフロベニウス共役類は、タンナキ的群の極大コンパクト部分群の共役類空間の中で等分布する。

意義
本論文は、フォレイ–フレサン–コワルスキーによって残された、トーラスの次元 $d \ge 2$ における水平的等分布性の未解決ケースを解決したと主張している。FFK はこれらの「悪い」軌跡の構造を無条件で確立したが、$d \ge 2$ の場合の彼らの等分布定理は、これらの軌跡の一様な境界を条件としていた。本論文はこれらの境界を提供することで、$\mathbb{G}_m^d$ に対する等分布定理を無条件的なものとした。

さらに、本結果は、Katz の等分布定理（元々は $d=1$ 用）を、標数が変化する場合を含む、任意の有限体の列へと一般化している。境界の定数は、次元と層の複雑さ（Sawin の意味での）にのみ依存し、標数や素数 $\ell$ の変化に対して一様性が確保されている。この一様性は、特異点の解消や de Jong の変形に依存することなく達成されており、これらは通常、多様体の具体的な幾何学に依存する定数を導くものである。

したがって、本研究は、指数和および指標和を変化する有限体の族の上で解析するための堅牢な枠組みを提供することにより、トーラスにおける生成的消滅と等分布性の理論を統合するものである。