Kurokawa-Mizumoto congruence and differential operators on automorphic forms

武田信樹による「Kurokawa-Mizumotoの合同式と自己的型上の微分作用素」の技術的要約

問題設定
本論文は、ベクトル値のKurokawa-Mizumotoの合同式の存在に関する十分条件を確立するという問題に取り組んでいる。具体的には、次数1のヘッケ固有形式のKlingen-Eisensteinリフトと、次数2のSiegel尖点形式（またはモジュラー形式）との間の合同関係を調査している。

$k, \nu$ を偶数とし、$f$ を $\Gamma_1$ 上の重さ $k+\nu$ の正規化されたヘッケ固有形式とする。Klingen-Eisensteinリフト $[f]^{(k+\nu, k)}$ は、重さ $\det^k \otimes \text{Sym}^\nu$ の次数2のSiegelモジュラー形式である。中心的な予想は、十分に大きな素イデアル $\mathfrak{p}$ が標準的$L$関数 $L(k-1, f, \text{St})$ の特殊値の約数であるとき、以下の条件を満たすヘッケ固有形式 $G$（リフトの定数倍ではないもの）が存在することである：
$$[f]^{(k+\nu, k)} \equiv_{\text{ev}} G \pmod{\mathfrak{p}}$$
ここで $\equiv_{\text{ev}}$ はヘッケ合同を表す。これはスカラー重さ ($\nu=0$) や特定のケース ($\nu=2$) では既に確立されているが、本論文は一般的なベクトル値の場合 ($\nu > 0$) に対する十分条件を提供することを目的としている。主結果は、特定の十分条件の下でBegström, Faber, および van der Geerの予想10.6が成立することを示している。

手法
証明の戦略は、Atobe-Chida-Ibukiyama-Katsurada-Yamauchiの手法と、微分作用素の表現論的な再解釈を組み合わせたものである。

1. 微分作用素と表現論:
   著者は、自動形式の性質を保存する微分作用素（特にIbukiyamaによって研究されたもの）を、Howe双対性を用いて再解釈している。ウェイル表現（多項式の空間）に対するシンプレクティック群とそのメタプレクトニック被覆の作用を分析することにより、本論文は、ある重さの自己的形式をより低い次数のSiegel上半平面の積上の形式へと写す微分作用素 $\Phi_h(\partial_Z)$ を構成している。これにより、Siegel-Eisenstein級数をKlingen-Eisenstein級数を含む成分へと分解することが可能となる。

2. プルバック公式:
   極めて重要な道具は、次数 $n_1+n_2$ のSiegel-Eisenstein級数を、より低い次数のKlingen-Eisenstein級数の積の和に関連付けるプルバック公式（定理4.16）である。著者はこれを利用して、Siegel-Eisenstein級数 $E_{n,k}(Z,s)$ から、合同補題の条件を満たす関数 $G(Z)$ を構成している。

3. 合同補題 (Lemma 3.5):
   議論の核となるのは、「ヘッケ固有形式の線形結合が負の $\mathfrak{p}$ 進付値を持つフーリエ係数を持つならば、その結合に含まれる少なくとも一つの他の固有形式が、$\mathfrak{p}$ を法として最初の形式と合同である」という補題である。著者は、Klingen-Eisensteinリフトと他の形式を含む特定の線形結合を構成し、特定の算術的条件の下で、リフトの係数が負の付値を持つことを示し、それによって他の形式との合同を強制している。

4. 整性とガロア表現:
   ペターソン内積とフーリエ係数に関する整性の補題を用いて、線形結合の係数の分母を制御している。さらに、spin $L$関数に付随するガロア表現を用いることで、得られる合同形式 $G$ が単なるモジュラー形式ではなく、尖点形式（cusp form）となるための条件を導き出している。

主要な貢献と結果

• 主定理 (Theorem 5.9): 本論文は、ベクトル値のKurokawa-Mizumotoの合同式に対する十分条件を確立している。$f$ を $S_{k+\nu}(\Gamma_1)$ の正規化されたヘッケ固有形式とし、$p$ を素数とする。もし：

  1. $\text{ord}_p(L(k-1, f, \text{St})) = \alpha > 0$,
  2. 半整数正定値行列 $A$ に対して $\text{ord}_p(C_{4,k}(f)a(A, [f]^{(k+\nu, k)})) = 0$,
  3. $p \geq 2(k+\nu) - 3$ （または $\text{ord}_p(\gamma_1)=0$ の場合はより弱い境界）、
     ならば、$[f]^{(k+\nu, k)} \equiv_{\text{ev}} G \pmod{\mathfrak{p}}$ を満たすヘッケ固有形式 $G \in M_{\rho_2}(\Gamma_2)$ が存在する。
     追加の条件（他の固有形式に関する条件や互いに素であること）が満たされる場合、$G$ は $S_{\rho_2}(\Gamma_2)$ の尖点形式として選ぶことができ、合同式は $\mathfrak{p}^\alpha$ を法として成立する。

• 表現論的解釈: 本論文は、Howe双対性を介した自己的形式上の微分作用素の新しい解釈（定理4.12）を提供し、BanおよびIbukiyamaによる先行研究を一般化している。この枠組みは、主証明で使用されるプルバック公式を導出するために不可欠である。

• 具体的な例: 著者は、これらの合同式が成立する具体的な数値例を提示している：

  • $(k, \nu) = (14, 2)$ の場合、$\Delta_{16,14}$ と $\Delta_{16}$ のリフトとの間の 373 を法とする合同が証明されている。
  • $(k, \nu) = (8, 8)$ の場合、$\Delta_{16,8}$ と $\Delta_{16}$ のリフトとの間の $23^2$ を法とする合同が証明されている。

意義と主張
本論文は、ベクトル値のKurokawa-Mizumotoの合同式の存在に関するBegström, Faber, および van der Geerの予想10.6が、定理5.9で確立された特定の十分条件の下で成立することを実証している。これは、スカラー重さおよび特定のベクトル重さにおいて既知の結果を、偶数重さ $k, \nu$ の一般的な設定へと拡張するものである。

著者は、導出された条件は十分条件であり、必ずしも必要条件ではないことを述べている。具体的には、条件(2)は証明のために必要であるが、それが合同式の存在のために厳密に必要であるかどうかは繊細な問題であり、Bloch-Kato予想に関連していると指摘している。また、定理は素数の冪 ($\mathfrak{p}^\alpha$) を法とする合同を許容しているが、定理の後半部分（高次の冪による合同を与えるもの）が有効となる数値例はまだ見つかっていないと述べている。

また、本研究はガロア表現を通じてKlingen-Eisensteinリフトと尖点形式との関係を明確にしており（定理5.13）、基底となる形式に関する特定の非合同条件の下で、得られる合同形式 $G$ が尖点形式であることが保証されることを示している。