Diagonal cycles on Shtukas and the adjoint $L$-function

技術要約：シュトゥカ上の対角サイクルと随伴L関数

問題提起
本論文は、任意の型の簡約群に対する関数体上のグロス・ザギエ（Gross–Zagier）型の恒等式の探索に取り組むものである。古典的なグロス・ザギエ公式は、ヘーグナー点の高さとL関数の中心微分との関係を記述しており、算術的ガン・グロス・プラサド（GGP）予想はこれを高次元へと一般化している。しかし、既存の枠組みは主にA型、B型、またはD型の群、および標準表現を統御する表現に限定されてきた。ユン（Yun）とチャン（Zhang）による研究や、その後の著者および共同研究者による一般化といった先行する関数体のアナロジーは、「強テンプド（strongly tempered）」な球形多様体に限定されており、シュトゥカの修正型に対して厳格な制約を課していた。

本研究では、グループ $G = H \times H$ および $X = H$ （ここで $H$ は分裂近単純簡約群）の場合を調査する。中心的な問題は、$G$-シュトゥカのモジュライ（任意の修正型を持つ）における対角サイクルの自己交差数を、随伴L関数の高次微分に関連付けることであり、これにより「強テンプド」の制限なしに、任意の型の群に対してグロス・ザギエの枠組みを拡張することである。

手法
証明戦略は、先行する算術的交差研究で使用された相対トレース公式の手法とは異なる。代わりに、正標数の幾何学的ラングランズ・プログラムおよび圏論的トレース形式に根ざした幾何学的アプローチを採用している。手法は以下の主要なステップを通じて進行する：

1. 幾何学的周期積分と観測量： 著者は、$G$-束のモジュライスタック（$\text{Bun}_G$）上の層の圏に対する幾何学的周期積分関手 $\int_X$ を定義する。幾何学的に強既約な局所系 $\sigma$ に対して、この周期積分のコホモロジーが研究される。
2. クリフォード代数の作用： 中心的な技術的革新は、幾何学的周期積分のコホモロジー上へのクリフォード代数の作用の構成である。これは、「対角」および「随伴」L-観測量の間の交換関係を確立することによって達成される。この関係は、特殊なコホモロジー的対応関係を用いたプランシュレル代数における局所的な計算を通じて導出される。
3. アティヤ–ボット（Atiyah–Bott）型の公式： 著者は、これらの幾何学的周期積分に対するアティヤ–ボット型の公式の類似性を証明し、コホモロジー環が基本類（tautological classes）によって生成される自由な（奇数次）多項式環であることを示す。この構造により、交差ペアリングは特定の演算子、すなわち「交差観測量（intersection observable）」のフロベニウス捻じれ付きトレースとして解釈される。
4. 局所から大域への対応： 交差観測量は「微分部分」と「スカラー部分」に分解される。局所プランシュレル代数を用いて、著者はこれらの部分を明示的に計算する。微分部分は随伴表現の作用に対応することが示され、スカラー部分は行列式線束に関連付けられる。
5. トレース公式： 対角サイクル（行列式線束によって捻じれたもの）の自己交差数は、周期積分のコホモロジー上で作用する交差観測量のトレースとして表される。このトレースは、クリフォード代数の作用によるスペクトル分解を用いて計算される。

主要な貢献と結果

• 一般化されたグロス–ザギエ恒等式： 主要な結果（定理1.4）は、$H \times H$ のシュトゥカのモジュライ上の対角サイクルの交差ペアリングを、随伴L関数 $L(s, \check{h}_{\sigma_H})$ の $s=0$ における $r$ 次微分に関連付ける恒等式を確立する。公式は以下の通りである：
  $$\langle \Delta_{Sht, !}([Sht_{H, \leq \lambda_{H,I}}] \cup \prod c_1(L_{det, i})), \Delta_{Sht, !}[Sht_{H, \leq \lambda_{H,I}}] \rangle^* = \epsilon_{\lambda_I} \frac{L(0, \check{h}_{\sigma_H})}{\log q} \left( -\frac{d}{ds} \right)^r \left( q^{-(g-1)r(H)s} L(s, \check{h}_{\sigma_H}) \right) \Big|_{s=0}$$
  ここで、$\epsilon_{\lambda}$ は表現のディンキン指数に関連する定数であり、$r(H)$ は $H$ のランクである。
• 任意の修正型： シュトゥカの修正型を統御する表現 $V \in \text{Rep}(\check{G})$ が「強テンプド」であるという制限を受けない、先行研究とは異なる性質を持つ。
• ペアリングの非退化性： 本論文は、幾何学的に強既約な局所系に対して、シュトゥカの交差コホモロジーの $\sigma$-等型成分における交差ペアリングが非退化であることを証明している（定理1.2）。
• クリフォード代数構造： 幾何学的周期積分へのクリフォード代数の作用の構成（定理3.9）は、重要な構造的貢献であり、幾何学的ラングランズの設定における交差数を分析するための新しいツールを提供する。
• 明示的な定数： 著者は、様々な分裂単純群および極小余ウェイト（minuscule coweights）に対する定数 $\epsilon_\lambda$（ディンキンの指数）の明示的な公式を提供し、それらが交差公式における多重度因子として果たす役割を強調している。

意義と主張
本論文は、関数体上の任意の型の群に対するグロス–ザギエ型の公式を提供する最初の事例であると主張している。「強テンプド」の制限を取り除くことで、相対ラングランズ・プログラムの幾何学的実現の範囲を大幅に広げている。

著者は、この結果がシムラ多様体上の算術的交差に関する並行した予想図を示唆していると述べている。具体的には、定数 $\epsilon_\mu$（ホッジ余ウェイトのディンキン指数）が交差公式の多重度因子として現れることが、先行文献では観察されなかった新しい現象として特定されている。本論文は、定理1.4が、これらの定数の振る舞いが微妙かつ決定的な役割を果たす、任意のシムラ多様体への算術的GGP予想の一般化に対する関数体のモデルとして機能すると位置づけている。

本研究は、局所系 $\sigma_H$ がオートモルフィックであるという仮定に基づいている（これは $GL_n$ については既知であり、一般には予想されている）。もし $\sigma_H$ がオートモルフィックでない場合、交差数は消失する。結果は、$\infty$-圏および $\mathbb{Q}_\ell$ 係数のエタール層の枠組みの中で定式化されており、ガイツゴリ（Gaitsgory）、ルリー（Lurie）らによって展開された幾何学的ラングランズ対応を利用している。