Automorphic functions for square-zero extensions of curves over finite fields

技術要約：有限体上の曲線の平方零拡大における自己共形関数

問題設定
本論文は、有限体上の滑らかな射影曲線 $\bar{C}$ の平方零拡大 $C$ に対する自己共形関数の理論を研究するものである。この設定は、[BKP23] における Braverman, Kazhdan, および Polishchuk による研究によって開始されたものであり、有限体上の古典的なラングランズ・プログラムと、局所体上の解析的ラングランズ・プログラムとの間の架け橋として機能する。具体的には、著者は、分裂連結簡約群 $G$ に対する不分岐自己共形関数の空間 $S(G(F)\backslash G(A))$ を研究し、特に以下の2つの中心的な性質に焦点を当てる：

1. 尖点性とヘッケ有限性： 不分岐関数が尖点（cuspidal）であることと、それがヘッケ有限（すなわち、有限次元のヘッケ軌道を生成すること）であることは同値であるという予想（Braverman-Kazhdan [BK23]）。
2. 有限次元性： $G$ が半単純であるとき、不分岐なヘッケ有限関数の空間は有限次元であるという予想。
3. サポートの境界： 減少曲線 $\bar{C}$ 上の $G$ 束の Harder-Narasimhan 層化に基づく、これらの関数のサポートの最適境界の決定。

$\text{PGL}_2$ の場合は [BKP23] で十分に理解されていたが、本研究は、この結果を高ランクの群、特に $G = \text{PGL}_3$ に一般化することを目的としている。

手法
本論文は、表現論的構成と幾何学的解釈の組み合わせを用いている：

1. 大域的マッキー理論と軌道分解：
   核心となる技術的ツールは、[BKP23] から適応された「大域的マッキー理論」である。自己共形表現 $S(G(F)\backslash G(A))$ は、リー環 $\mathfrak{g} \otimes N^{-1}\omega_{\bar{C}}(F)$ の余共役軌道 $\Omega$ によってインデックス付けされた部分表現の直和へと分解される。

   • 著者は、[BKP23] に見られる正則および準正則なケースを超えた、より複雑な冪零軌道を扱うために、[BKP23] の機構を一般化している。
   • 各軌道 $\Omega$ について、表現が尖点的な関数またはヘッケ有限な関数を含むかどうかを判断するために、表現を分析する。これには、要素 $\eta \in \Omega$ のスタビライザー群 $St_\eta$ と、これらのスタビライザーからの誘導表現の研究が含まれる。

2. ヒッチンファイバーによる幾何学的解釈：
   サポートの境界を計算するために、本論文は自己共形関数の構成に対する幾何学的解釈を利用する。[KP25] に従い、部分表現 $S_\eta$ は、ヒッチンファイバー（具体的には、$N^{-1}$ 捻られた $G$-ヒッグス束）上の関数の空間と同一視される。

   • これらの空間への自己共形関数の空間への埋め込みは、フーリエ変換を通じて実現される。
   • これにより、軌道に関する代数的条件（例：スタビライザー群上の指標の性質）を、基礎となる $\bar{C}$ 上の $G$ 束に関する幾何学的制約へと翻訳することが可能になる。

3. Harder-Narasimhan 層化：
   関数のサポートは、$\text{Bun}_G(\bar{C})$ の Harder-Narasimhan 層化を用いて分析される。著者は、平方零の設定において最適な境界を捉えるために、単なる単純根ではなく、 $G$ の最高根を用いたサポート境界の定式化を導入している。

主な貢献と結果

• 軌道分解の一般化： 本論文は、一般的な分裂簡約群における様々な軌道の尖点性とヘッケ有限性の詳細な分類を提供している：

  • ほとんど正則な楕円軌道： これらの軌道上の直和は、強尖点的な関数の空間を構成する。半単純群 $G$ に対して、この和の球形ベクトル空間は有限次元である。
  • 非楕円的な半単純／混合軌道： これらの軌道における関数は、ヘッケ無限的であることが示される。
  • 正則冪零軌道： 型 A, B, C, または $G_2$ の単純因子を持つ随伴型の半単純群に対して、空間は最高根の部分群の指標に基づいて分解される。非自明な指標は、有限次元の球形ベクトル空間を持つ尖点的な空間を与え、自明な指標はヘッケ無限的な空間を与える。
  • 準正則冪零軌道： $G = \text{PGL}_n$ の場合、準正則軌道は $\mathbb{G}_m$ による Heisenberg 群の拡大に関連している。著者はこれをヘッケ有限成分とヘッケ無限成分に明示的に分解し、球形ヘッケ有限部分空間の有限次元性を証明している。

• $\text{PGL}_3$ に対する証明：
  主要な定理は、$G = \text{PGL}_3$ （$\text{char}(k) > 3$ を仮定）について以下を確立している：

  1. 不分岐なヘッケ有限関数の空間は有限次元である。
  2. すべての不分岐なヘッケ有限関数は尖点である（このケースにおける予想 1.3(1) の確認）。
  3. これらの関数のサポートは、$r^{-1}(U_3)$ に含まれる。ここで $U_3$ は、コクセター数と種数によって定義される Harder-Narasimhan 濾過における特定の層である。

• 最適サポート境界：
  本論文は、サポート境界の最適定数 $b_h(C, G)$ を決定している。

  • 正則冪零軌道に対して、境界は $c_G - 1$ （$c_G$ はコクセター数）においてシャープであることが示されている。
  • $\text{PGL}_n$ における準正則冪零軌道に対して、境界は $2n - 3$ でシャープである。
  • これらを組み合わせることで、著者は $\text{PGL}_3$ に対して最適な境界が正確に 3 であることを証明している。これは、古典的な理論において境界の正確な値がしばしば未知であることとは対照的である。

意義と主張
本論文は、Braverman-Kazhdan-Polishchuk による基礎的な研究を $\text{PGL}_2$ から高ランクの群、特に $\text{PGL}_3$ へと拡張し、有限次元性と尖点性とヘッケ有限性の同値性に関する予想を解決したと主張している。

重要な貢献は、最適なサポート境界の決定である。著者は、平方零拡大の設定においては、表現論的な構成によってこれらの境界を正確に決定できること（例：正則軌道に対する境界 $n-1$ がシャープであることを証明すること）に注意を向けている。これは、有限体上の古典的な理論において、正確な値が依然として予想の段階にあることとは対照的である。本論文は、軌道分解がヘッケ有限関数のサポートに対してより微細な制御を提供するため、不変量 $b_h(C, G)$ （ヘッケ有限性に関連）は、その予想的な等価物である $b_c(C, G)$ （尖点性に関連）よりもアクセスしやすいと断じている。

また、本論文は、最高根を用いたサポート境界の定式化を導入しており、これが古典的な定式化が単純根に依存しているのに対し、平方零の設定における最適境界を捉えるために不可欠であると論じている。