Harder's conjecture and Hermitian automorphic forms

技術要約：ハーダー予想とエルミート型自己共役形式

問題設定
本論文は、楕円モジュラー形式と次数2のシゲル・モジュラー形式の間の合同関係を予測するハーダー予想（Harder's conjecture）を扱う。具体的には、$k \ge 4$ かつ $j \ge 2$ を偶数とする整数とし、$f$ を重さ $2k + j - 2$ の $SL_2(\mathbb{Z})$ に対する原始的な楕円カスプ形式とする。このとき、代数的臨界値 $L^{\text{alg}}(k+j, f)$ を割り切る素イデアル $\mathfrak{p}$ に対して、シゲル・カスプ固有形式 $F \in S_{\det^k \Sym^j}(Sp_2)$ が存在し、すべての有理素数 $\ell$ に対して、そのスピノル $L$ 多項式が以下の特定の合同関係を満たすことを本予想は主張している：
$$L_\ell(X, F, \text{Spin}) \equiv L_\ell(X, f)(1 - \ell^{k-2}X)(1 - \ell^{k+j-1}X) \pmod{\mathfrak{P}}$$
ここで $\mathfrak{P}$ は $\mathfrak{p}$ の上にある素イデアルである。これまでの研究では、シムラ型の対応、偶一様格子、あるいは宮脇のリフトなどを通じて、本予想のいくつかの事例が確立されているが、本論文は、準分裂ユニタリ群 $U_{2,2}$ 上のエルミート型自己共役形式の合同関係から、本予想を条件付きで導出することを目指している。

手法
著者らは、自己共役表現論とガロア表現論を組み合わせた二段構えの戦略を採用している：

1. 自己共役側（リフトの構成）：

   • 著者らは、ヘルメット・スピン・リフト（Hermitian spin lift）を構成するために、Mokによる準分裂ユニタリ群の端点分類（endoscopic classification）を利用する（ここで $E$ は補助的な虚二次体である）。シゲル・カスプ固有形式 $F$ に対して、エルミート・カスプ固有形式 $\text{Lift}_E(F)$ を $U_{2,2}$ 上に構成する。
   • このリフトの標準 $L$ 多項式が、$F$ のスピノル $L$ 多項式とその $\chi_E$ ねじれ（twist）の積に分解されることを確立する。
   • この分解を、$f$ に関連するエルミート型クリンゲン・アイゼンシュタイン・リフトの明示的な標準 $L$ 多項式と比較することで、エルミート・カスプ形式 $G$ とクリンゲン・アイゼンシュタイン・リフトとの間の合同関係が、もし $G$ がある $F$ のリフトであるならば、望ましいスピノル $L$ 多項式の合同関係を意味することを証明する。

2. ガロア側（降下と既約性）：

   • コアとなる困難は、クリンゲン・アイゼンシュタインの合同関係から得られるエルミート・カスプ形式 $G$ が、実際にスピン・リフトであることを証明することにある。
   • 著者らは、ユニタリ群に付随するガロア表現（Skinnerに従う）を用いて、合同関係 $G \equiv [f]_{j+4}^2 \pmod{\mathfrak{P}}$ から生じる残留拡大類を分析する。
   • 著者らは、望ましくない残留拡大類を除外するために、セルマー群の消滅議論を用いる。具体的には、明示的な算術的仮定の下で、関連するガロア表現 $R^\natural_G$ が絶対既約であり、かつ共役不変であることを証明する。
   • 共役不変性により、$G$ の大域的なアーサー・パラメータは $GL_4(\mathbb{A}_E)$ から $GL_4(\mathbb{A}_{\mathbb{Q}})$ へと降下させることが可能になる。この降下によって、$G$ がシゲル・カスプ固有形式の転送（transfer）であることが特定され、これにより $G = \text{Lift}_E(F)$ が確立される。

主要な貢献と結果

• 主定理 (Theorem 5.8): 本論文は、ハーダー予想の条件付きバージョンを証明している。$\mathfrak{p}$、虚二次体 $E$、および $f$ の非合同性に関する特定の算術的条件が満たされる場合、スピノル $L$ 多項式の合同関係が成立することを確立している。
• 技術的仮定: 定理は、以下のものを含む10個の明示的な条件を必要とする：
  • $p > 2k + j - 2$ かつ $p$ が $E$ で不分岐であること。
  • $E$ の類数が1であり、唯一の分岐素数が $q \neq p$ であること。
  • 特定の $L$ 値（例：$L(0, \tilde{\omega}^{j+1})$, $L^{\text{alg}}(k+j, f \otimes \chi_E)$）が $\mathfrak{P}$ で割り切れないこと。
  • 分岐素数 $q$ に関する「タメ（Tame）」条件（$q^{j+2} \not\equiv 1 \pmod p$）。
  • $f$ に付随するガロア表現の像が $SL_2(\mathcal{O}_P)$ を含むこと。
• 数値的検証: 著者らは、これらの仮定が検証されている数値例の表（Table 1）を提供している。これには、既知のケース（例：$(k,j,p) = (10,4,41)$）の回収や、偶および奇の $k$ の両方に対する新しいケース（例：$(7, 12, 73)$, $(5, 20, 193)$）の確立が含まれる。

意義
本論文は、偶および奇の $k$ を一様に扱う（$k \ge 4$ の場合）統一されたハーダー型合同関係の枠組みを提供していると主張している。問題をエルミート型自己共役形式の設定へと移行し、Mokの端点分類とガロア理論的な降下を利用することで、著者らは、関連するセルマー群が消滅し、ガロア表現が特定の既約性と不変性を満たす限りにおいて、以前の手法（例えば $k$ のパリティ制限を持つ先行研究）の限界を回避した条件付き証明を提示している。本研究は、シゲル形式 $F$ の存在が、関連するエルミート型合同関係の存在から導き出せることを示しており、これは、適切なセルマー群の消滅とガロア表現の既約性および不変性が満たされる場合に限られる。著者らは、$k=3$ のケースについては、Mokの分類における境界の問題があるため別途議論が必要であると明記しているが、軽微な修正によってアクセス可能であることを示唆している。