Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

技術的概要：二次ネベントプスを持つモジュラー形式に対する一般化された前田予想への道

問題提起
本論文は、重さ $k$ が増加するにつれて、空間 $S_k(\Gamma_0(N), \Psi)$ における新形式のガロア軌道の数の漸近挙動を取り扱っている。前田予想はレベル 1 に対して単一のガロア軌道を予測するが、より高いレベルでは一般的に複数の軌道が生じる。Dieulefait、Pacetti、Tsaknias（DPT21）による先行研究は、局所慣性タイプとアトキン・レナー符号を大域的な不変量として用いることで、自明なネベントプスに対する非 CM ガロア軌道の数 $N_{CM}(N, k)$ の下界を確立した。本論文は、その枠組みを非自明な二次ネベントプス $\Psi$ の場合へと拡張する。この設定における主要な課題は、古典的なアトキン・レナー理論が直接利用できず、$\Psi$ がガロア不変である場合（二次指標に対しては成り立つ）を除き、ガロア作用が空間 $S_k(\Gamma_0(N), \Psi)$ を保存しないことである。

手法
著者らは、ガロア軌道を定義する許容される不変量の対を数えるための局所・大域的枠組みを開発する。手法は主に 3 つの段階で進行する。

1. 慣性タイプの局所解析:
   本論文は、二次中心指標の制約下での $GL_2(\mathbb{Q}_p)$ に対する局所慣性タイプのガロア軌道を解析する。局所ラングランズ対応を用いて、表現を主系列、ステインバーグ（特殊）、超尖型に分類する。著者らは、奇素数 $p$ に対して、局所ネベントプスが弱分岐する場合と非分岐の場合を区別し、局所慣性タイプの異なるガロア軌道の数 $LT(p^n, \Psi)$ を明示的に計算する。これには、二次拡大における単位群の群論的解析と、絶対ガロア群の原始指標への作用に関する詳細な分析が含まれる。

2. 大域的な不変量とアトキン・Li 擬固有値:
   数を精緻化するため、著者らは第 2 の不変量としてアトキン・Li 擬固有値を導入する。これら擬固有値のガロア共変性を定理 4.5 で確立し、ガロア共役 $\sigma$ の下で固有値が $\lambda_p(f^\sigma) = \Psi_p(\chi_p(\sigma))\sigma(\lambda_p(f))$ として変換されることを示す。$\Psi$ が二次であるため、これは単位円 $S^1$ 上の同値関係 $\sim$ を導く。
   重要なのは、著者らが高度な分岐ねじれが元の固有値を不明瞭にするという問題に対処している点である。不変量が適切に定義され、ガロア共変であることを保証するため、最小アトキン・Li 擬固有値（最小の二次ねじれを通じて）を定義する。
   定理 4.13 は、局所タイプがいつ擬固有値を一意に決定し、いつ符号が異なる 2 つの値を許容するかを決定する。これにより、局所タイプが対称軌道（$\lambda \sim -\lambda$ の場合）と非対称軌道（$\lambda \not\sim -\lambda$ の場合）に分類される。

3. 存在と実現:
   本論文は、局所慣性タイプ軌道と最小アトキン・Li 擬固有値同値類の互換的な対のすべてが、十分に大きな重さに対して非 CM 新形式によって実現されることを証明する。これは、主系列に対する Weinstein の極限重複度結果と、離散系列に対する Kim-Shin-Templier の結果に依存している。レベル $N$ には制限が課される：$N$ は素数べきでなければならないか、あるいはすべての $p|N$ に対して $v_p(N) \ge 3$（奇数）を満たさなければならない。これにより、トレース公式法を通じて指定された局所表現を同時に固定することが保証される。

主要な貢献と結果

• 下界枠組みの拡張: 本論文は、DPT21 の下界を二次ネベントプスへと一般化する。局所タイプガロア軌道と最小アトキン・Li 擬固有値同値類の互換的な対の数を $LO(p^n, \Psi)$ として定義する。
• 明示的な数式: 著者らは、弱分岐および非分岐の局所ネベントプスのケースを扱い、$p=3$ と $p \neq 3$ を区別する表 4–7 に、$LT(p^n, \Psi)$ および $LO(p^n, \Psi)$ のための明示的な数式を提供する。
• 主要定理（定理 1.1）: 指定された条件を満たす $N$ と二次指標 $\Psi$ に対して、ある $k_0$ が存在し、すべての $k \ge k_0$ に対して次が成り立つ：
  $$\prod_{p|N} LO(p^{v_p(N)}, \Psi) \le N_{CM}(N, k, \Psi)$$
  これは、非 CM ガロア軌道の数に対する具体的な下界を確立する。
• 対称軌道と非対称軌道: 擬固有値の符号に関する対称軌道と非対称軌道の区別は、新たな貢献である。著者らは、局所解析がタイプの数を決定する一方で、大域的ガロア作用が 2 つの可能な符号（$\lambda, -\lambda$）が 1 つの不変量に収束するのか、それとも区別されたまま残るのかを決定することを示す。これは、最終的な数式にパラメータ $|S_{asym}|$ を導入し、大域的データなしでは常に明示的に計算できないことを意味する。
• 計算的証拠: LMFDB のデータを用いて、著者らは小さな重さにおいて厳密な不等式 $LO < N_{CM}$ が起こりうることを実証する。これは、局所的には異なる不変量が、小重さの形式の係数体ではまだ実現できない方法でガロア作用によって同一視される可能性を示唆している。

意義と主張
本論文は、自明なネベントプスに関する先行研究が残したギャップを埋めるものとして、二次ネベントプス設定におけるガロア軌道の数に対する最初の体系的な下界を提供すると主張している。著者らは、中心指標が厳格な制約を課し、古典的なアトキン・レナー符号が擬固有値に置き換えられるような設定において、その枠組みが「局所・大域」の数え上げ戦略を成功裏に適応させたと主張している。

本論文は、正確な漸近数については控えめな立場をとっている。一般化された前田の哲学に基づき、下界 $LO(N)$が最終的に$N_{CM}(N, k, \Psi)$ に等しくなる可能性を予想しつつも、提示された計算的証拠は、二次ネベントプスの場合、大きな重さであっても不等式が厳密になりうることを示唆している。これは、特定の局所的な同値性（特に擬固有値の符号に関するもの）が、モジュラー形式の係数体上のガロア共役によって常に大域的に実現されるわけではないことを意味しており、これは自明なネベントプスの場合には見られない現象である。この研究は、非自明な指標を持つモジュラー形式の漸近挙動を理解するための基礎を築くが、一般レベルにおける非対称軌道の寄与の明示的な決定は依然として課題である。