Vector-Valued Period Polynomials and Zeta Values of Quadratic Fields

技術要約：ベクトル値周期多項式と二次体のゼータ値

問題提起
本論文は、ゼータ関数の特殊値、特に実二次体 $\mathbb{Q}(\sqrt{D})$ のデデキント・ゼータ関数 $\zeta_{\mathbb{Q}(\sqrt{D})}(s)$ の算術に焦点を当てている。モジュラー形式とゼータ値の間の関連性は（ヘッケの基礎的な研究を通じて）確立されているが、著者らはレベル構造（$\Gamma_0(N)$）が存在する場合において、これらの関連性をいかに明示的にするかという課題に取り組んでいる。中心となる問題は、二元二次形式から構成されるカスプ形式に関連するベクトル値周期多項式の理論を用いて、整数引数におけるゼータ値の閉じた形式の式を導出することである。具体的には、これらの値の代数的成分と超越的成分を分離し、$4N$ を法とする判別式の平方根の異なる選択に対応するゼータ値の差を評価することを目的としている。

手法
著者らは、モジュラー形式、二元二次形式、および周期多項式の理論を統合して用いている。その手法は以下のステップで進行する：

1. カスプ形式の構成： 整数 $k \ge 2, N \ge 1$ および、正の整数 $D$（$4N$ を法として平方数であるものとし、固定された平方根 $\rho$ を持つ）に対し、著者らは $\Gamma_0(N)$ 上の明示的な重さ $2k$ のカスプ形式 $f^{\pm}_{k,N,D,\rho}$ を定義する。これらの形式は、二元二次形式の集合 $Q_{N,D,\rho}$（判別式 $D$ を持ち、中間の係数が特定の合同条件 $b \equiv \rho \pmod{2N}$ を満たす $[Na, b, c]$ の集合）に関する重み付き和として定義される。
2. ベクトル値周期多項式： 著者らは、これらのカスプ形式に関連するベクトル値周期多項式 $r_f$ を調査する。スカラー値の周期多項式とは異なり、ベクトル値版は $\Gamma_0(N) \backslash \text{SL}_2(\mathbb{Z})$ の剰余類を追跡するため、スカラーの設定では不可視となる算術的寄与の分離を可能にする。分析には、これらの多項式を偶部分（$r_f^+$）と奇部分（$r_f^-$）に分解するプロセスが含まれる。
3. 積分表示と極限： 中核となる技術的メカニズムは、積分 $\int (f|_{2k}A)(z)(X-z)^{2k-2} dz$ の評価である。カスプ形式を二次形式の和として表現することにより、著者らはこれらの積分を、二次形式のパラメータ（例：$a>0>c$ 対 $a<0<c$）の特定の領域からの和の極限へと変換する。彼らは、複素積分と留数計算を利用して、二次形式のパラメータの特定の領域からの寄与を孤立させる。
4. 対称性と関数等式： 著者らは、フリッケ・イボリューション（Fricke involution）$W_N$ と $L$ 関数の付随する関数等式を活用する。周期多項式の挙動をこれらのイボリューションの下で分析することにより、周期多項式の係数とゼータ値との間の関係を導出する。

主要な貢献と結果

• ベクトル値周期多項式の閉じた公式（定理 2.1）： 主要な結果は、ベクトル値周期多項式 $r^+_{f^+} + r^-_{f^-}$ に関する明示的な閉じた公式である。この公式の恒等成分は特に重要であり、以下の2つの異なる部分に分離される：

  • 特定の符号条件（$a>0>c$ および $a<0<c$）を満たす二元二次形式の有限和から生じる代数的成分。
  • $\Gamma_0(N)$ 同値類から構成される部分ゼータ関数 $\zeta_{N,D,\rho}(s)$ の $s=k$ における値を含むゼータ成分。
    これは、「レベル $N$ 周期–ゼータ接続」を確立し、周期多項式の係数を二次形式の和と正規化されたゼータ値によって明示的に表現するものである。

• ゼータ値の差の評価（定理 2.2）： 奇数 $k$ に対して、著者らは差 $\zeta_{N,D,\rho}(k) - \zeta_{N,D,-\rho}(k)$ に関する閉じた公式を導出する。この結果は、合同条件 $\rho$ の寄与を孤立させ、フリッケの対称性と周期の偶・奇分解がいかに非自明な算術的恒等式へと翻訳されるかを示している。この差は、ベルヌーイ数、二次形式の有限和、および $N$ と $D$ の冪を用いて明示的に表現される。

• デデキント・ゼータ値の有限約数和公式（定理 2.3）： 低レベルにおけるフリッケ不変カスプ形式の消失条件（具体的には、すべての $N$ の約数 $d$ に対して $S^+_{2k}(N/d) = \{0\}$ であると仮定する）の下で、本論文は偶数 $k$ におけるデデキント・ゼータ値 $\zeta_{\mathbb{Q}(\sqrt{D})}(k)$ の明示的な有限約数和公式を提供する。この公式は、合同条件と二次形式の中間係数に関する条件を組み込むことで、古典的なヘッケ型の評価を洗練させ、ゼータ値を約数関数 $\sigma_{k-1}$ と二次形式の中間係数に関する合同条件を用いた和として表現する。

意義と主張

本論文は、モジュラー形式、二元二次形式、および数体の代数的不変量の間の関連性を明示的にすることを主張している。ベクトル値周期多項式を閉じた形式で計算することにより、著者らは、ゼータ値の対称性を明らかにする明示的な式を生成するメカニメントを提供している。

著者らは、自身の研究を既存の理論の洗練として位置づけている：

• レベル構造を効果的に扱うために、周期多項式の古典的な理論をベクトル値の設定へと拡張している。
• 固定された判別式を持つ二元二次形式の和を用いることで、ザギエの研究に基づき、算術的量に関する明示的な公式を得られることを示している。
• 導出された $\zeta_{\mathbb{Q}(\sqrt{D})}(k)$ の公式は、レベル構造が存在する場合における周期法の強さを例証する、計算可能な表現として提示されている。

本論文は、提案された有限約数和公式を用いて、低レベルのカスプ形式の消失条件が、導出された定理を用いた $\zeta_{\mathbb{Q}(\sqrt{17})}(2)$ および $\zeta_{\mathbb{Q}(\sqrt{145})}(2)$ の明示的な計算を可能にすることを実証するために、具体的な例（$\zeta_{\mathbb{Q}(\sqrt{17})}(2)$ および $\zeta_{\mathbb{Q}(\sqrt{145})}(2)$ の評価）を提供して締めくくられている。