Vertex volumes, lattice-minima tails, and height zeta functions for the standard arithmetic quotient of $\operatorname{PGL}_d$

技術的要約：「$\mathrm{PGL}_d$ の標準的な算術商における頂点体積、格子極小値の裾、および高さゼータ関数」

問題設定
本論文は、群 $G = \mathrm{PGL}_d(F)$（ここで $F = \mathbb{F}_q((t^{-1}))$ は正標数の非アルキメデス局所体）に関連する、標準的な非一様算術商 $Y = \Gamma \backslash G / K$ の幾何学的および解析的性質を調査している。ここで、$\Gamma = \mathrm{PGL}_d(\mathbb{F}_q[t])$ は算術格子であり、$K = \mathrm{PGL}_d(\mathbb{F}_q[[t^{-1}]])$ は極大コンパクト部分群である。著者らは、$\mathrm{vol}(K) = 1$ となるように正規化されたハウスドルフ測度を用いて $G$ 上の測度を扱っている。

本研究では、この商空間上で定義された以下の相互に関連する3つの量に焦点を当てている：

1. 頂点体積 (vertex volume) $\nu(Y)$：誘導された測度における商の共体積。
2. 格子極小値高さ関数 (lattice-minima height function) $\alpha$：尖点（カスプ）における格子の「大きさ」を測る同型類不変な関数。
3. 高さゼータ関数 (height zeta function) $Z_\alpha(s)$：$\alpha$ の分布のメリン変換として定義される。

一般的な算術商に関する理論（Prasadの体積公式やHarderのガウス・ボネ公式など）は存在するが、本研究は、アフィン・ブルト・ティッツ・ビルの組合せ論的構造を利用して、これら特定の量に対して、特に関数体上の $\mathrm{PGL}_d$ の文脈において、明示的かつ閉じた形式による評価を提供することを目的としている。

手法
核となる手法は、二重商 $\Gamma \backslash G / K$ の優位セクター分解 (dominant-sector decomposition) に基づいている。

• パラメータ化： 頂点は、$m_1 \ge m_2 \ge \dots \ge m_d = 0$ を満たす整数ベクトル $m = (m_1, \dots, m_d)$ によってパラメータ化される。これは、ビルのキーフ・グロタンディークの定理を介した $\mathbb{P}^1$ 上のベクトル束の簡約理論に対応している。
• スタビライザーの計数： 各頂点について、著者らはスタビライザー部分群 $\Gamma_m = \Gamma \cap x_m K x_m^{-1}$ の正確なサイズを計算する。これには、行列のブロック構造の分析と、有限体上の点の計数が含まれ、ガウスの二項係数や $q$ のべき乗を含む公式が導かれる。
• カットセット再帰 (Cut-Set Recursion)： 優位ベクトルに対する総和は、同一の「ブロック構造」（$d$ の組成）を持つベクトルをグループ化することによって再構成される。著者らは、組成に関する結果となる和を評価するために、カットセット・ダイナミックプログラムを導入している。この再帰は、ベクトル $m$ の「等しい成分間の隙間」に関連する幾何級数を効果的に和をとるものである。
• 座標変換： 高さ関数の解析においては、PGL正規化された座標 $m$ から、トレースゼロの座標 $n_i = m_i - \bar{m}$ へと切り替える。さらに、高さ関数をスタビライザーの重みに関連付けるために、単純根の差の座標 $\delta_i = m_i - m_{i+1}$ を利用する。
• 有理錐分解 (Rational Cone Decomposition)： 高さゼータ関数は、ある部分和のトレースゼロ座標が最大となる条件によって定義される有理錐上の和として表現される。これにより、ゼータ関数は有理関数として記述される。

主要な貢献および結果

1. 明示的な頂点体積 (定理 1.1)：
   著者らは、頂点体積 $\nu(Y)$ の閉じた積公式を導出している：
   $$\nu(Y) = \frac{d \prod_{m=1}^d (q^m - 1)}{\prod_{m=2}^{d-1} (q^m - 1)}$$
   （ただし、$d=2$ のときは分母を 1 と解釈する）。この証明は完全にビル理論に基づいたものであり、大域的なタモガワ数正規化を経由しない。この評価は、すべてのブロック組成にわたって逆スタビライザー体積を和をとる、標準的なカットセット再帰に依存している。

2. 可積分性と尖点の裾 (定理 1.2 および 定理 4.1)：
   著者らは、高さ関数 $\alpha$ の正確な可積分閾値を確立している。

• 可積分性： 関数 $\alpha^r$ が確率測度 $\mu$ に関して可積分であるための必要十分条件は $0 < r < d$ である。
• 尖点の減衰： 集合 $\{x \in Y : \alpha(x) > T\}$ の測度は、正確に $T^{-d}$ として減衰する。具体的には、定数 $A_1, A_2$ が存在して、$A_1 T^{-d} \le \nu(\{x : \alpha(x) > T\}) \le A_2 T^{-d}$ が成立する。
• メカニズム： これらの結果は、スタビライザーの重み指数 $\Phi(\delta)$ と高さ指数 $H(\delta)$ を関連付ける「モジュラー不等式」から導かれる。この不等式は $\Phi(\delta) \ge d H(\delta)$ であり、等号は特定のランク1の射線（レイ）上でのみ成立する。

3. 高さゼータ関数 (定理 1.3 および 定理 5.1)：
   高さゼータ関数 $Z_\alpha(s) = \int_Y \alpha(x)^s d\nu(x)$ は詳細に分析されている。

• 収束： この関数は $\mathrm{Re}(s) < d$ の場合に絶対収束する。
• 有理関数としての解析接続： これは複素平面全体、具体的には $u = q^{s/d}$ の有理関数として、有理的な性質を持つ。
• 極の構造： この関数は $s = d$ において単極を持つ。著者らは、この極における留数（臨界係数）の明示的な公式を提供している。
• 明示的な公式： 次元 $d=3, 4, 5$ について、著者らは明示的な有理関数 $P_d(q, u)/D_d(q, u)$ を計算しており、これらは理論の具体的なテストケースとなっている。

意義および主張
著者らは、自らの研究を、既知のランク1の格子や木の商に対する高ランクの特化した類似物として位置づけている。主な新規性と意義に関する主張は以下の通りである：

• 直接計算： 著者らは、大域的なタモガワ数やオイラー・ポアンカレ正規化を経ることなく、正規化 $\mathrm{vol}(K)=1$ において頂点体積を直接計算している。
• 統一された座標： 「単純根の差の座標」（優位セクターから導出されたもの）という同一の座標系が、体積計算、鋭い $L^r$ 可積分閾値、尖点の裾の減衰率、および高さゼータ関数の解析的構造を同時に制御している。
• 明示的な評価： セクター分解やスタビライザーの重みは既知の概念であるが、本論文の貢献は、カットセット再帰を通じて、結果として得られる全次元の組成和を閉じた形式で評価した点にある。
• 鋭さ： 結果は、定量的な非発散理論で一般的な定性的な非発散推定を超え、正確な臨界指数と精密な冪乗則の裾の推定を提供している。
• テストケース： $d=3, 4, 5$ に対する明示的な有理関数は、アフィン・ビル・商上の高さゼータ関数のより体系的な理論を構築するための具体的なデータポイントとして機能する。

本論文は、一般的な最小共体積問題を解決したり、任意の群に対する新しい一般的な共体積公式を提供したりすることを主張しているのではない。むしろ、正標数の文脈における標準的な $\mathrm{PGL}_d$ 商の、明示的な算術的および組合せ論的な詳細に焦点を当てている。