Rational spanning sets of level-one cusp forms from Eisenstein series at prime levels

技術的要約：アイゼンシュタイン級数から得られる素数レベルの有理スパン集合

問題設定
本論文は、重さ $k$、レベル1のカスプ形式の空間 $S_k$ に対する明示的な有理スパン集合の構成に取り組んでいる。$S_k$ がレベル1のアイゼンシュタイン級数の積（例：$E_l \cdot E_{k-l} - E_k$）によって生成されることは確立されているが、これらの形式から明示的な基底を見つけることは困難である。近年の研究では、レベル1のアイゼンシュタイン級数のランキン・コーエン・ブラケットを用いたスパン集合が提供されている。本研究の動機となった中心的な問いは、低次重さのレベル1のアイゼンシュタイン級数に依存するのではなく、**高次レベル（具体的には素数レベル）**のアイゼンシュタイン級数のみを用いて、 $S_k$ の明示的な有理スパン部分集合を構成できるか、というものである。

手法
著者は、トレース写像とランキン・コーアン・ブラケットを用いて、高次レベルの形式をレベル1の空間へと持ち上げる戦略を採用している。核心となる手法は以下の通りである：

1. 形式の構成： 本論文では、レベル $p$（$p$ は奇素数、$\chi_p$ はルジャンドル記号）の2つのアイゼンシュタイン級数 $G_{k_1, \chi_p}$ と $G_{k_2, \chi_p}$ の $c$ 次ランキン・コーアン・ブラケットをとることにより、一族のモジュラー形式 $F_{p, k_1, k_2, c}(z)$ を定義する。これらの形式は、トレース写像 $\text{Tr}_1^p$ を用いてレベル1の空間へと引き下げられる。
2. ランキン・セルベルグ畳み込み： 構築されたこれらの形式とカスプ形式との関係は、ランキン・セルベルグ畳み込みを通じて確立される。具体的には、正規化されたヘッケ固有形式 $f \in S_k$ と $F_{p, k_1, k_2, c}$ とのペテルソン内積は、中心的な $L$ 値とねじれられた $L$ 値の積 $L(f, k_1+k_2+c-1)L(f, \chi_p, k_2+c)$ に比例することが示される。
3. 非中心的 $L$ 値による決定： 証明は、カスプ形式が（関連する係数がすべて消滅する場合にゼロであることは）特定の算術級数における素数 $p$ に対する非中心的二次ねじれ $L$ 値 $L(f, \chi_p, s)$ によって一意に決定されるという、新しい結果（定理3.2）に基づいている。この結果は以下を利用している：
   • 素数にわたる平均化のための、ディリクレ指標の直交性とシーゲル・ヴィリッシュの定理。
   • ねじれられた $L$ 値を平方フリーな指数のフーリエ係数に関連付けるための、対称二乗 $L$ 関数の性質。
   • 平方フリーなフーリエ係数がすべてゼロであるカスプ形式は恒等的にゼロであるという Anamby と Das による補題。

主要な貢献と結果

• 定理 1.1 (主結果)： 本論文は、集合 $\{F_{p, k_1, k_2, c}(z)\}_{p \in P_{4, (-1)^{k_1}}}$ が空間 $S_{k_1+k_2+2c}$ 全体を生成することを証明している。ここで、$P_{4, (-1)^{k_1}}$ は剰余類 $(-1)^{k_1} \pmod 4$ に属する素数の集合を表す。これは、変動する素数レベルのアイゼンシュタイン級数のみからレベル1のカスプ形式の有理スパン集合を構成するという、動機付けられた問いに対する肯定的な回答を与えるものである。
• 定理 3.2 (決定定理)： 重要な中間結果として、もし $f \in S_k$ が、すべての素数 $p$（ただし $p$ は4を法とする固定された剰余類に属し、$\text{Re}(s) > k + 1/2$）に対して $L(f, \chi_p, s) = 0$ を満たすならば、$f$ は必ずゼロ形式でなければならないことを確立している。これは、中心的な $L$ 値や一般的なカスプ形式に関する先行研究を、非中心的な値および一般的なカスプ形式へと一般化したものである。
• 数値的証拠と予想： 論文では、$S_{24}$ の例（異なる素数 $p_1, p_2$ に対して $F_{p_1}$ と $F_{p_2}$ が線形独立であること）を示す数値的な証拠を提供している。これに基づき、著者は予想 1.4 を提唱しており、正しい剰余類に含まれる相異なる素数からなる $d = \dim S_k$ 個の形式の任意の部分集合が $S_k$ の基底を形成することを示唆している。

意義と主張
本論文は、レベル1のカスプ形式の有理スパン集合を、高次のアイゼンシュタイン級数のみから派生させた最初の明示的な構成法を提供すると主張している。低次重さのレベル1のアイゼンシュタイン級数に依存する従来の構成法とは異なり、この手法はアイゼンシュタイン級数の指数を固定したまま、レベルを変化させるものである。

本研究の意義は以下の点にある：

1. 明示的な構成： トレースされたランキン・コーアン・ブラケットのアイゼンシュタイン級数から派生した、 $S_k$ を生成する具体的かつ計算可能な有理形式を提供する。
2. 理論的進展： 中心的な $L$ 値に依存する手法よりも技術的に単純な、非中心的二次ねじれ $L$ 値によるカスプ形式の決定手法を導入した。
3. ねじれた周期への接続： 第5節の議論において、これらの結果をねじれた周期（twisted periods）の理論へと結びつけ、固定された指数を持ちながら二次指標を変化させた場合に、ねじれた周期が双対空間 $S_k^*$ を生成するかどうかという特定の問いに答えている。

著者は、スパン集合の有限性については控えめな姿勢をとっている。定理は無限の素数の集合が空間を生成することを保証しているが、これらの中から有限個の素数の部分集合が基底を形成するのに十分であることは証明しておらず、数値データはその可能性が高いことを示唆しているに留まっている。