Arithmetic Siegel-Weil for the spherical Hecke algebra

問題の記述

本論文は、球形ヘッケ代数に関する算術的シエゲル・ヴェイル公式の予想される一般化の定式化および検証を扱っている。古典的な算術的シエ겔・ヴェイル公式は、クドラ・ラポート・サイクル上の局所的な算術交差数と、局所的なウィッヘルト関数の中心微分との間の関係を確立したものであり、クドラとラポートによって予想され、リーとチャンによって証明されたものである。

ここで取り組まれている具体的な問題は、この枠組みの中に球形ヘッケ代数の作用を組み込むことである。リー、ラポート、およびチャンによって定式化された球形ヘッケ代数に関する予想される算術的基本補題に着想を得て、著者は、ヘッケ対応器によって作用を受けるサイクルの交差多重度が、シュワルツ関数に対するヘッケ作用器に関連するウィッヘルト関数の中心微分と関連付けられることを追求している。重要な技術的障壁として、この一般化された設定における関連するウィッヘルト関数を明示的に計算するには、標準的なエルミート空間の表現密度の理論では不十分であることが特定されている。

手法

本論文は、算術幾何学、表現論、および明示的な局所計算の組み合わせを用いている。

1. 一般化された表現密度: 本研究の大部分は、一般化された表現密度の理論の開発に充てられている。著者は、非特異なエルミート行列 $T$ と任意のコンパクト開部分集合 $C \subset V^d$ に対して、一般化された表現密度 $\text{Den}_T(C)$ を定義する。これは、格子に対して定義される古典的な密度 $\alpha(M, T)$ を一般化したものである。この定義は、代数幾何学的な道具、具体的にはモーメント・モルフィズム $\tau: V^d \to \text{Herm}_d(F')$ および滑らかなスキーム上の微分形式によって誘導される測量を利用している。
2. 密度多項式: 著者は、$\text{Den}_T(0, C) = \text{Den}_T(C)$ を満たす密度多項式 $\text{Den}_T(s, C) \in \mathbb{Q}[q^{-s}]$ を構成する。これらの多項式は、コンパクト開集合の特性関数 $\mathbf{1}_C$ に関する局所ウィッヘルト関数 $W_T(s, \mathbf{1}_C)$ と本質的に一致することが示されている。
3. 計算ツール: これらの密度を明示的に計算するために、本論文は2つの技術的ツールを開発している：
   • 整数モデル: 関連するスキームの滑らかな整数モデルの特殊ファイバー上の点数を数えることで、表現密度を計算する手法。
   • 簡約公式: ブロック対角行列の表現密度を、その対角ブロックの密度の項を用いて表す、フビニ型の簡約公式であり、これにより再帰的な計算を可能にする。
4. 低次元における検証: 著者は、次元 $n=2$ の特定のケースにおいて、この予想を検証している。これには以下が含まれる：
   • ヘッケ対応器によるクドラ・ラポート・サイクルへの作用を用いた、幾何学的側面における算術交差数の明示的な計算。
   • 新しく開発された密度多項式とブルア・ティッツ・ツリーにおける格子パスの組合せ論的な計数を用いた、解析的側面におけるウィッヘルト関数の微分の明示的な計算。

主要な貢献と結果

• 予想の定式化: 本論文は、算術的シエゲル・ヴェイル公式の一般化である予想 5.3.3 を定式化している。これは、非特異なモーメント行列 $T$ を持つタプル $x$ とヘッケ関数 $f_1, \dots, f_r$ に対して、ヘッケ作用を受けたサイクルの導来交差のオイラー・ポアンカレ標数は、対応するシュワルツ関数に対するヘッケ作用を含むウィッヘルト関数の正規化された中心微分に等しいことを提唱している：
  $$\chi(f_1 Z^L(x_1) \otimes_L \dots \otimes_L f_r Z^L(x_r)) \stackrel{?}{=} \frac{W'_T(0, f_1 \mathbf{1}_{\Xi}^{d_1} \otimes \dots \otimes f_r \mathbf{1}_{\Xi}^{d_r})}{c(n) \log(q^2)}$$
• 定理 A ($n=2$ の場合の検証): 著者は、$n=2$ の場合についてこの予想を証明している。具体的には、任意のヘッケ関数 $f_1, f_2 \in H(V)$ と、特定のノルム条件を持つ基底 $x_1, x_2$ に対して、以下の等式が成立する：
  $$\chi(f_1 Z^L(x_1) \otimes_L f_2 Z^L(x_2)) = \frac{W'_T(0, f_1 \mathbf{1}_{\Xi} \otimes f_2 \mathbf{1}_{\Xi})}{c(2) \log(q^2)}$$
  証明は、両辺の直接的な計算を伴う。幾何学的側面は、クドラ・ラポート・サイクルとそのヘッケ変換に関する既知の公式へと帰着する。一方、解析的側面は、新たに開発された表現密度の理論を必要とする。
• 一般化された表現密度理論: 本論文は、格子だけでなく、任意のコンパクト開部分集合に対する表現密度の体系的な展開を提供している。これには、密度多項式の構成、および相対的な位置関係にある自己双対格子を含む $2 \times 2$ 行列の明示的な公式の導出が含まれる。

意義

本論文は、主に以下の2つの領域において意義があると主張している。

1. 算術的シエゲル・ヴェイル・プログラムの進展: 球形ヘッケ代数の作用を含めることで、算術的シエゲル・ヴェイル公式の範囲を拡張し、球形ヘッケ代数の算術的基本補題と整合させている。これは、ヘッケ作用器が存在する場合のユニタリ・シムラ多様体に対するベイリンソン・ブロック予想への潜在的な応用のための、必要なステップである。
2. 一般化された密度の独立した関心: 著者は、古典的な表現密度の理論の一般化が、独立した関心を持つことが期待されると明示的に述べている。任意のコンパクト開集合の密度の計算および関連する密度多項式のために開発されたツールは、ヘッケ作用を組み込む際に自然に発生する、標準的なものの一種である関数の線形結合を扱うための枠組みを提供する。

本研究は、より広範な予想（$n=2$ という非自明な特殊ケース）の検証として提示されており、明示的な計算は、提案された公式の一般的な妥当性を示す証拠としての役割を果たしている。