Twisted periods of modular forms

技術要約：モジュラー形式のねじれ周期（Twisted Periods）

問題提起
本論文は、重さ $k$、レベル1のカスプ形式の空間 $S_k$ に関連する「ねじれ周期（twisted periods）」の線形独立性を調査している。古典的なアイラー・シムラ理論は、周期が $S_k^*$ の双対空間を生成することを確立しているが、これらの周期は多数の線形従属関係（アイラー・シムラ関係式）を満たすため、線形独立ではない。福原、Leiらによる先行研究では、奇数または偶数の周期の特定の部分集合の線形独立性が扱われてきた。本論文は、これらの問いを、原始的なディリクレ文字 $\chi$（法 $D$）および整数 $0 \le n \le k-2$ に対して定義されるねじれ周期：
$$r_{n,\chi}(f) := \int_0^{i\infty} f_\chi(z) z^n dz = \frac{n!}{(-2\pi i)^{n+1}} L(f, \chi, n+1),$$
（ここで $f_\chi$ はカスプ形式 $f$ のねじれである）へと拡張する。中心となる問題は、ねじれ周期の集合が線形独立となる条件を決定することである。具体的には、著者らは以下の2つのシナリオに対処している：

1. 固定された文字、異なる指数： 固定された $\chi$ と異なる指数 $\ell_i$ に対して、周期の集合 $\{r_{\ell_i-1, \chi}\}$（または $\{r_{\ell_i, \chi}\}$）は線形独立か？
2. 固定された指数、異なる文字： 固定された指数 $\ell$ と異なる原始的文字 $\chi_i$（法 $D$）に対して、周期の集合 $\{r_{\ell-1, \chi_i}\}$（または $\{r_{\ell, \chi_i}\}$）は線形独立か？

手法
著者らは、ランキン・セレベルグ法と核関数の研究に基づき、ねじれされていない周期に関する最近の研究と同様の手法を用いている。論理構成の核心は以下の通りである：

1. 核形式の構成： ねじれ周期 $r_{n,\chi}(f)$ は、ペテルソン内積 $\langle f, K_{n,\chi} \rangle$ として実現される。超越的なフーリエ係数を持つ核 $K_{n,\chi}$ を直接分析する代わりに、著者らはこれらの周期に関連する $S_K$ 内の明示的なカスプ形式 $F_{K,\ell,\chi}$ および $G_{K,\ell,\chi}$ を構成する。

   • 奇数周期（指数 $\ell-1$）の場合、$F_{K,\ell,\chi}$ はアイゼンシュタイン級数の積のトレースのカスプ射影 $\text{Tr}_1^D(G_{\ell,\chi} G_{K-\ell,\chi})$ から導かれる。
   • 偶数周期（指数 $\ell$）の場合、$G_{K,\ell,\chi}$ はアイゼンシュタイン級数のランキン・コーエン・ブラケット $\text{Tr}_1^D([G_{\ell,\chi}, G_{K-2-\ell,\chi}]_1)$ から導かれる。

2. 独立性の同値性： ランキン・セレベルグの畳み込み公式を用いて、ねじれ周期の集合の線形独立性が、対応するカスプ形式の集合 $\{F_{K,\ell_i,\chi}\}$ または $\{G_{K,\ell,\chi_i}\}$ の線形独立性と同値であることを証明する。

3. フーリエ係数の解析： カスプ形式の線形独立性を証明するために、それらのフーリエ係数を解析する。著者らは、トレース写像の下でのアイゼンシュタイン級数の積およびランキン・コーエン・ブラケットの明示的な係数公式を導出する。

   • 指数およびレベル $D$ に対して重さ $K$ が十分に大きくなる場合の、これらの係数の漸近的挙動を確立する。
   • 具体的には、これらのカスプ形式の正規化された $q^{2j}$ フーリエ係数が、$\sigma_{\ell-1,\chi}(2^j)$（$F$ の場合）、および $2^j \sigma_{\ell-1,\chi}(2^j)$（$G$ の場合）のように漸近的に振る舞い、誤差項は $K \to \infty$ において消滅することを示す。

4. 行列の非特異性： カスプ形式の線形独立性は、これらのフーリエ係数によって形成される行列の非特異性へと還元される。

   • 固定された文字と変化する指数の場合、関連する行列は $\chi(2)$ の冪を含むヴァンデルモンド型行列の摂動として示される。
   • 固定された指数と変化する文字の場合、行列は $\chi_i(2)$ の冪を含む。
   • 誤差項を境界づけ、摂動された行列の行列式を主項と比較することで（ヴァンデルモンド行列の性質を用いて）、$K$ が十分に大きいときにこれらの行列が非特異であることを示す。

主な貢献と結果
本論文は、$D$ が奇数の平方フリー整数であり、$K$ が $n$ および $D$ に対して十分に大きいと仮定して、ねじれ周期の線形独立性に関する4つの主要な定理を確立している：

• 定理 1.1 & 1.2： 固定された原始的文字 $\chi$ に対して、同じねじれを持ち異なる指数（奇数または偶数のいずれかの型）を持つ任意の $n$ 個のねじれ周期は線形独立である。
• 定理 1.3 & 1.4： 固定された指数に対して、異なる原始的文字 $\chi_i$（$\chi_i(-1) = (-1)^\ell$ を満たし、固定された素数、例えば $\chi_i(2)$ において異なる値を持つもの）を持つ任意の $n$ 個のねじれ周期は線形独立である。

応用
著者らは、彼らの手法の2つの応用例を示している：

1. 畳み込み和： 捻じれた約数関数の畳み込み和を、一般化されたベルヌーイ数を用いて評価する明示的な恒等式を導出する。これらの恒等式は、$\dim S_K = 0$ となる特定の重さにおいて、構成されたカスプ形式が消滅しなければならないことから、フーリエ係数の間に関係が生じることに由来する。
2. L関数の非消滅： 遍真予想（特に、ヘッケ固有形式のガロア共役が $S_K$ を生成するという内容）を仮定すると、正規化されたヘッケ固有形式 $f$ に対して、中央値 $L(f, \chi, K/2)$ が $K \ge 10D + 2$ のとき非消滅であることを示す。これは、関連する核形式 $F_{K, K/2, \chi}$ が恒等的にゼロではないことを証明することに基づいている。

意義と主張
本論文は、ねじれされていない周期に関する先行研究をねじれの設定へと拡張し、ねじれ周期の線形独立性に関する最初の体系的な証拠を提供したと主張している。著者らは、ねじれ周期が $S_k^*$ 全体を生成するかどうか、およびそれらに対するアイラー・シムラ型の関係が存在するかどうかという問いは、本研究の範囲外であると明記しているが、特定の条件下でねじれ周期が実際に $S_k^*$ を生成することを示唆する予想（予想 6.1–6.4）を提示している。結果は重さ $K$ が「十分に大きい」ことに依存しており、著者らは小規模な重さ（$K, D \le 40$）における数値的な検証を行い、彼らの予想を支持している。本研究は、L値の算術、モジュラー形式の構造、およびディリクレ文字の性質を、線形代数的なフーリエ係数の観点から結びつけている。