New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect

この論文「NEW AND OLD SAITO-KUROKAWA LIFTS CLASSICALLY VIA L2 NORMS AND BOUNDS ON THEIR SUP-NORMS: LEVEL ASPECT」は、次数 2 の正則シゲル尖点形式（$S^{(2)}_k(N)$）の空間、特にその部分空間である斎藤・黒川リフト（Saito-Kurokawa lifts: SK リフト）の、レベル $N$ に関する超ノルム（sup-norm）問題を研究したものです。

著者らは、古典的な手法（フーリエ展開や内積計算）に焦点を当て、新しい・古い形式（newform/oldform）の理論を再構築し、それを用いて SK リフト空間のサイズ（Bergman kernel の上限）と個々の形式の超ノルムに対する精密な評価と予想を提示しています。

以下に、論文の技術的概要を問題設定、手法、主要な貢献、結果、意義に分けて詳細にまとめます。

1. 問題設定と背景

• 超ノルム問題: 次数 $n$ のシモダ形式空間における超ノルム問題とは、その空間の Bergman kernel（形式の二乗和）の上限、あるいは個々の固有形式の超ノルムを、レベル $N$ や重み $k$ の関数として評価する問題です。
• 現状: 高次群（特にシンプレクティック群 $GSp(2)$）における超ノルム問題は未開拓な分野です。既存の結果は主に重み$k$ に関するものや、コンパクトな制限下でのものに限られていました。
• 対象: 本論文では、次数 2 のシゲル尖点形式のなかに含まれる**斎藤・黒川リフト（SK リフト）**に焦点を当てます。これらは、楕円曲線形式（またはヤコビ形式）から関手的に得られる形式です。
• 課題: SK リフト空間の正確なサイズ（Bergman kernel の supremum）は未知であり、また、新しい形式（newform）と古い形式（oldform）の区別、特にレベルが合成数の場合の古典的な記述が不足していました。

2. 手法とアプローチ

論文は大きく 2 つの部分に分かれています。

第 1 部：古典的な new-oldform 理論の再構築

• L2 ノルムに基づく行列のランク解析:
  • 従来の Atkin-Lehner 理論（フーリエ展開に基づく）は、異なる尖点（cusp）での展開が必要となり、SK リフトの古い形式の扱いにおいて困難を伴います。
  • 著者らは、内積行列 $M_p$（その成分が $L^2$ ノルム $\langle F|_{R_i}, F|_{R_j} \rangle$ で構成される）のランクを調べるという新しいアプローチを提案しました。ここで $R_i$ はレベル $N$ から $Np$ への古い形式を生成する作用素（恒等写像、Atkin-Lehner 作用素 $W_p$、$U_S(p)$ など）です。
  • この行列 $M_p$ のランクが 3 であることと、形式が SK リフトであることが同値であることを示しました（定理 1.2）。
• ヘッケ代数における計算:
  • 内積の関係を導出するために、ヘッケ代数内の双剰余類（double cosets）の積と作用素の関係を厳密に計算しました。これにより、固有値 $\lambda_F(p)$ と $\lambda_F(p^2)$ の間の関係式（Maaß-Ibukiyama 関係）が、SK リフトを特徴づける条件として導かれました。
• 古い形式の構造の解明:
  • 従来の Eichler-Zagier-Ibukiyama (EZI) 写像は、SK リフトの新しい形式をすべて記述しますが、古い形式の一部（特に $W_p$ 作用素に関連するもの）を記述しきれていないことを示しました。
  • 古い形式空間の直交基底を構成し、特に $W_p$ 不変な基底を明示的に構成しました。

第 2 部：超ノルム評価と Bergman kernel のサイズ

• 領域の分割: 基本領域を、$Y \gg 1$（Type 0）、$Y \gg 1/p$ かつ $Y$ が小さい領域（Type 1, 2）に分割し、それぞれ異なる手法で評価を行いました。
  • Type 0: フーリエ展開を用いた評価。
  • Type 1: フーリエ・ヤコビ展開（Fourier-Jacobi expansion）を用い、ヤコビ形式のサイズ問題に帰着。
  • Type 2: 最も困難な領域。行列の個数論的カウント（counting argument）と Bergman kernel の幾何学的側面を利用。
• ヤコビ形式への帰着:
  • SK リフトの超ノルム評価を、指数 1 のヤコビ形式 $J^{cusp}_{k,1}(N)$ の超ノルム評価に帰着させました。
  • ヤコビ形式の超ノルムについて、半整数重みの形式への帰着（Theta 分解）を行い、Kiral の結果などを活用して評価を行いました。

3. 主要な貢献と結果

A. 理論的貢献（new-oldform 理論）

1. SK リフトの同値条件:
   • 形式 $F$ が SK リフトであることと、内積行列 $M_p$ のランクが 3 であること、あるいは固有値が特定の多項式関係（Maaß-Ibukiyama 関係）を満たすことが同値であることを証明しました（定理 1.2）。
   • これにより、非 SK リフトの古い形式空間が 4 次元であるのに対し、SK リフトの古い形式空間は 3 次元であることが明確になりました。
2. EZI リフトの特性化:
   • SK リフト空間の中で、EZI リフト（Jacobi 形式からのリフト）のみが満たす「Maaß-Ibukiyama 関係」を特定し、これが EZI リフトを特徴づけることを示しました（定理 4.12）。
3. 直交基底の構成:
   • 古い形式空間に対して、$W_p$ 作用素の固有ベクトルとなる直交基底を明示的に構成しました。これは超ノルム評価において、関数の集中する領域を特定する際に不可欠でした。

B. 解析的貢献（超ノルム評価）

1. ヤコビ形式の超ノルム評価:
   • 指数 1 のヤコビ形式空間 $J^{cusp}_{k,1}(N)$ のサイズについて、$\sup(J^{cusp}_{k,1}(N)) \asymp 1$ という予想を立て、少なくとも $N^{1/2}$ のオーダーの上限を示しました（定理 1.4）。
   • 個々の固有形式 $\phi$ に対して、非自明な超ノルム評価 $\|\phi\|_\infty \ll N^{-1/36+\epsilon}$ を証明しました（定理 1.6）。これは、Theta 級数の振る舞いを巧妙に制御することで達成されました。
2. SK リフトのサイズ評価:
   • 新しい形式: 素数レベル $p$ において、$\sup(SK^{new}_k(p)) \gg p^{-2}$ という下限を証明しました（Waldspurger の公式と中央 L 値の平均値を用いる）。
   • 古い形式: 古い形式空間のサイズが $O(p^{-2})$ であることを示しました。
   • 総合的な予想: これらの結果に基づき、SK リフト空間全体のサイズについて以下の予想を提案しました（予想 1.9）：
     $$\sup(SK_k(N)) \asymp_k N^{-2}$$
     また、個々の新しい SK リフト $F$ に対して $\|F\|_\infty \ll N^{-3/2}$ という予想（予想 1.10）も提示しました。
3. レベル 1 の楕円形式への結果:
   • 付録において、レベル $N$ の楕円形式空間 $S_k(N)$ について、$k > 2$ の場合、$\sup(S_k(N)) \asymp 1$ であることを証明しました（定理 1.11）。これは半整数重みを含む一般化された結果です。

4. 意義と将来への展望

• 高次群における超ノルム問題の進展: 次数 2 のシゲル形式、特に SK リフトという具体的な部分空間に対して、レベル $N$ 依存の超ノルム評価を初めて体系的に扱いました。
• 古典的手法の再評価: 表現論的なアプローチ（CAP 表現など）が主流である中で、フーリエ展開や内積計算といった「古典的」な手法が、古い形式の構造解明や超ノルム評価において非常に有効であることを示しました。
• 手法の一般化: 内積行列のランクを用いた new-oldform 理論の構成法は、他のモジュラー形式空間（エルミート形式など）への応用が期待されます。
• 今後の課題: 提案された予想（$\sup(SK_k(N)) \asymp N^{-2}$）の完全な証明、および非素数レベル（平方因子を持つレベル）への一般化が今後の課題となります。

まとめ

この論文は、斎藤・黒川リフトの構造を L2 ノルムに基づく行列解析によって古典的に再構築し、その結果を用いてレベル依存の超ノルム評価を精密に行うという、理論と解析の両面で重要な成果を上げています。特に、古い形式の扱いにおける新しい基底構成と、ヤコビ形式の超ノルム評価への帰着は、高次モジュラー形式の解析において画期的な手法を提供しています。