We consider the rationality of the Fourier coefficients of a particular paramodular Siegel Eisenstein series of level $N^2$ with weight $k\geq 4$. We show that the coefficients lie in a number field.
論文ID : 2510.22762タイトル : On the rationality of a paramodular Siegel Eisenstein series著者 : Erin Pierce分類 : math.NT (数論)発表日時 : 2025年10月26日 (arXiv プレプリント)論文リンク : https://arxiv.org/abs/2510.22762 本論文は、特殊なパラモジュラーSiegel Eisenstein級数のFourier係数の有理性問題を研究する。水準がN 2 N^2 N 2 k ≥ 4 k\geq 4 k ≥ 4
本論文の中心的問題は、パラモジュラーSiegel Eisenstein級数のFourier係数がどの数体に属するかということである。これはモジュラー形式論における基本的な問題である。
理論的意義 ：Fourier係数の算術的性質はモジュラー形式論の中心的研究対象であり、L-関数、Galois表現などの深い理論と密接に関連している歴史的背景 ：Siegelは1939年に古典的Eisenstein級数E k ( Z ) E_k(Z) E k ( Z ) 一般化の価値 ：古典的な場合からパラモジュラー群への水準構造を持つ場合への一般化には、顕著な技術的困難を克服する必要があるShimuraの一般的結果（6 のLemma 10.5および5 のLemma 6.10を参照）は、主合同部分群Γ ( N ) \Gamma(N) Γ ( N ) k k k パラモジュラー群のような非合同部分群に対しては、一般理論を直接適用することはできない 著者が4 で得たFourier係数の明示公式を利用して、一般理論よりも精密な結果を与え、Fourier係数が属する数体を明確に特性付けすること。
本論文の主な貢献は以下の通りである：
正確な数体の特性付け （定理1.1(i)）：E k , η E_{k,\eta} E k , η Q ( i , η , ζ N ) \mathbb{Q}(i, \eta, \zeta_N) Q ( i , η , ζ N ) η \eta η ζ N \zeta_N ζ N N N N より精密なランク分解結果 （定理1.1(ii)）：ランク1の行列T T T a ( T ) ∈ Q ( η , G ( η ) ) a(T) \in \mathbb{Q}(\eta, G(\eta)) a ( T ) ∈ Q ( η , G ( η )) η \eta η ランク2の行列T T T a ( T ) ∈ Q ( η , ∣ D ∣ G ( α ) , G ( β ) , i ) a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i) a ( T ) ∈ Q ( η , ∣ D ∣ G ( α ) , G ( β ) , i ) Q ( η , ζ N , i ) \mathbb{Q}(\eta, \zeta_N, i) Q ( η , ζ N , i ) 重要な技術的結果 ：局所因子K ( k , T , χ p ) K(k, T, \chi_p) K ( k , T , χ p ) Gauss和と単位根の関係を確立した（命題6.2） 入力 ：
整数k ≥ 4 k \geq 4 k ≥ 4 導子がN N N η \eta η 正半定値行列T = [ n r / 2 r / 2 m ] T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix} T = [ n r /2 r /2 m ] N 2 ∣ m N^2 | m N 2 ∣ m 出力 ：Fourier係数a ( T ) a(T) a ( T )
制約条件 ：n , r , m n, r, m n , r , m r 2 − 4 n m = D f 2 r^2 - 4nm = Df^2 r 2 − 4 nm = D f 2 D D D f f f
パラモジュラー群は以下のように定義される：
K ( M ) = Sp ( 4 , Q ) ∩ [ Z M Z Z Z Z Z Z M − 1 Z Z M Z Z Z M Z M Z M Z Z ] K(M) = \text{Sp}(4,\mathbb{Q}) \cap \begin{bmatrix} \mathbb{Z} & M\mathbb{Z} & \mathbb{Z} & \mathbb{Z} \\ \mathbb{Z} & \mathbb{Z} & \mathbb{Z} & M^{-1}\mathbb{Z} \\ \mathbb{Z} & M\mathbb{Z} & \mathbb{Z} & \mathbb{Z} \\ M\mathbb{Z} & M\mathbb{Z} & M\mathbb{Z} & \mathbb{Z} \end{bmatrix} K ( M ) = Sp ( 4 , Q ) ∩ Z Z Z M Z M Z Z M Z M Z Z Z Z M Z Z M − 1 Z Z Z
Eisenstein級数は以下のように定義される：
E k , η ( Z ) = 1 2 ∑ b ∈ ( Z / N Z ) × η ( b ) E k ( Z , K ( N 2 ) , C 0 ( b N ) ) E_{k,\eta}(Z) = \frac{1}{2}\sum_{b\in(\mathbb{Z}/N\mathbb{Z})^\times} \eta(b)E_k(Z, K(N^2), C_0(bN)) E k , η ( Z ) = 2 1 ∑ b ∈ ( Z / N Z ) × η ( b ) E k ( Z , K ( N 2 ) , C 0 ( b N ))
ここでC 0 ( x ) = [ 1 1 x 1 x 1 ] C_0(x) = \begin{bmatrix} 1 & & & \\ & 1 & & \\ x & & 1 & \\ & x & & 1 \end{bmatrix} C 0 ( x ) = 1 x 1 x 1 1
定理6.1（4 から）によれば、E k , η ( Z ) E_{k,\eta}(Z) E k , η ( Z ) E k , η ( Z ) = δ η = 1 + ∑ T ≠ 0 a ( T ) e 2 π i tr ( T Z ) E_{k,\eta}(Z) = \delta_{\eta=1} + \sum_{T\neq 0} a(T)e^{2\pi i\text{tr}(TZ)} E k , η ( Z ) = δ η = 1 + ∑ T = 0 a ( T ) e 2 πi tr ( TZ )
ここで：
ランク0 ：a ( T ) ∈ { 0 , 1 } a(T) \in \{0,1\} a ( T ) ∈ { 0 , 1 } ランク1 ：m > 0 m > 0 m > 0 r N = ( 2 m ) N / N r_N = (2m)_N/N r N = ( 2 m ) N / N a ( T ) = ( − 2 π i ) k ( k − 1 ) ! ⋅ σ k − 1 , η ( e N ^ ) L ( k , η ) ⋅ η ( r N ^ ) η ( 2 N ^ ) e N k − 1 a(T) = \frac{(−2\pi i)^k}{(k−1)!} \cdot \frac{\sigma_{k-1,\eta}(e_{\hat{N}})}{L(k,\eta)} \cdot \frac{\eta(r_{\hat{N}})}{\eta(2_{\hat{N}})}e_N^{k-1} a ( T ) = ( k − 1 )! ( − 2 πi ) k ⋅ L ( k , η ) σ k − 1 , η ( e N ^ ) ⋅ η ( 2 N ^ ) η ( r N ^ ) e N k − 1 ランク2 ：
a ( T ) = ( 4 π ) 2 k − 1 det ( T ) k − 3 / 2 2 ( 2 k − 2 ) ! N 2 − 2 k f N ^ 3 − 2 k η ( f N ^ 2 ) H ~ D , k , η ( e N ^ , f N ^ ) ⋅ L ( k − 1 , χ D η ) L ( k , η ) L ( 2 k − 2 , η 2 ) G ( η ) ⋅ (局所因子) a(T) = \frac{(4\pi)^{2k-1}\det(T)^{k-3/2}}{2(2k-2)!}N^{2-2k}f_{\hat{N}}^{3-2k}\eta(f_{\hat{N}}^2)H̃_{D,k,\eta}(e_{\hat{N}}, f_{\hat{N}}) \cdot \frac{L(k-1,\chi_D\eta)}{L(k,\eta)L(2k-2,\eta^2)}G(\eta) \cdot \text{(局所因子)} a ( T ) = 2 ( 2 k − 2 )! ( 4 π ) 2 k − 1 d e t ( T ) k − 3/2 N 2 − 2 k f N ^ 3 − 2 k η ( f N ^ 2 ) H ~ D , k , η ( e N ^ , f N ^ ) ⋅ L ( k , η ) L ( 2 k − 2 , η 2 ) L ( k − 1 , χ D η ) G ( η ) ⋅ ( 局所因子 ) 重要なのは以下を証明することである：
K ( k , T , χ p ) : = ∑ j = 1 − n p ∞ p j ( 2 − k ) ∫ S ( j + 1 , n p ) χ p ( n μ − 1 + r p − n p + m μ p − 2 n p ) d μ ∈ Q ( η ) K(k, T, \chi_p) := \sum_{j=1-n_p}^\infty p^{j(2-k)}\int_{S(j+1,n_p)} \chi_p(n\mu^{-1} + rp^{-n_p} + m\mu p^{-2n_p})d\mu \in \mathbb{Q}(\eta) K ( k , T , χ p ) := ∑ j = 1 − n p ∞ p j ( 2 − k ) ∫ S ( j + 1 , n p ) χ p ( n μ − 1 + r p − n p + m μ p − 2 n p ) d μ ∈ Q ( η )
証明戦略 ：
s = k s=k s = k p 2 − s p^{2-s} p 2 − s 和が有限であることを証明する（非ゼロ項は有限個） 2つの場合：
集合S ( j + 1 , n p ) S(j+1, n_p) S ( j + 1 , n p ) j j j χ p \chi_p χ p j j j 技術的詳細 ：配方とp p p j j j
以下を証明する：
G ( α ) ∣ D ∣ ∈ Q ( η , ζ N , i ) G(\alpha)\sqrt{|D|} \in \mathbb{Q}(\eta, \zeta_N, i) G ( α ) ∣ D ∣ ∈ Q ( η , ζ N , i )
ここでα \alpha α χ D η \chi_D\eta χ D η
証明の考え方 ：
Gauss和と局所ε \varepsilon ε ∏ p < ∞ ε ( 1 2 , χ p , ψ p ) = η ( − 1 ) G ( η ) N \prod_{p<\infty} \varepsilon(\tfrac{1}{2}, \chi_p, \psi_p) = \frac{\eta(-1)G(\eta)}{\sqrt{N}} ∏ p < ∞ ε ( 2 1 , χ p , ψ p ) = N η ( − 1 ) G ( η ) 局所量A p : = p v p ( a ) p v p ( ∣ D ∣ ) ε ( 1 2 , χ p σ p , ψ p ) A_p := \sqrt{p^{v_p(a)}p^{v_p(|D|)}}\varepsilon(\tfrac{1}{2}, \chi_p\sigma_p, \psi_p) A p := p v p ( a ) p v p ( ∣ D ∣ ) ε ( 2 1 , χ p σ p , ψ p ) 各素数p ∣ a p|a p ∣ a A p ∈ Q ( η , ζ N , i ) A_p \in \mathbb{Q}(\eta, \zeta_N, i) A p ∈ Q ( η , ζ N , i ) p ∤ N , p ∣ ∣ D ∣ p \nmid N, p||D| p ∤ N , p ∣∣ D ∣ χ p \chi_p χ p p ∣ N , p ∤ ∣ D ∣ p|N, p\nmid |D| p ∣ N , p ∤ ∣ D ∣ ψ p \psi_p ψ p Z p × \mathbb{Z}_p^\times Z p × ⟨ ζ p v p ( N ) ⟩ \langle\zeta_{p^{v_p(N)}}\rangle ⟨ ζ p v p ( N ) ⟩ p ∣ N , p ∣ ∣ D ∣ p|N, p||D| p ∣ N , p ∣∣ D ∣ χ p 2 ≠ 1 \chi_p^2 \neq 1 χ p 2 = 1 p ∈ Q ( ζ p , i ) \sqrt{p} \in \mathbb{Q}(\zeta_p, i) p ∈ Q ( ζ p , i ) p ∣ N , p ∣ ∣ D ∣ p|N, p||D| p ∣ N , p ∣∣ D ∣ χ p 2 = 1 \chi_p^2 = 1 χ p 2 = 1 Dirichlet L-関数の正の整数点での古典的公式を利用する（Neukirch 2 から）：
L ( k , η ) = ( − 1 ) 1 + k − ϵ 2 G ( η ) 2 i ϵ ( 2 π m ) k B k , η ˉ k ! L(k, \eta) = (-1)^{1+\frac{k-\epsilon}{2}}\frac{G(\eta)}{2i^\epsilon}\left(\frac{2\pi}{m}\right)^k \frac{B_{k,\bar{\eta}}}{k!} L ( k , η ) = ( − 1 ) 1 + 2 k − ϵ 2 i ϵ G ( η ) ( m 2 π ) k k ! B k , η ˉ
ここでB k , η B_{k,\eta} B k , η ϵ = 0 \epsilon = 0 ϵ = 0 η ( − 1 ) = 1 \eta(-1)=1 η ( − 1 ) = 1 1 1 1 η ( − 1 ) = − 1 \eta(-1)=-1 η ( − 1 ) = − 1
本論文は純粋な理論数学論文であり、数値実験や計算検証は含まれない。すべての結果は厳密な数学的証明を通じて得られている。
定理1.1 ：E k , η E_{k,\eta} E k , η η \eta η N N N
(i) E k , η E_{k,\eta} E k , η Q ( i , η , ζ N ) \mathbb{Q}(i, \eta, \zeta_N) Q ( i , η , ζ N )
(ii) 固定されたT = [ n r / 2 r / 2 m ] T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix} T = [ n r /2 r /2 m ] r 2 − 4 n m = D f 2 r^2 - 4nm = Df^2 r 2 − 4 nm = D f 2 D D D f f f α \alpha α χ D η \chi_D\eta χ D η β \beta β η 2 \eta^2 η 2 a ( T ) a(T) a ( T )
(a) rank ( T ) = 1 \text{rank}(T) = 1 rank ( T ) = 1 a ( T ) ∈ Q ( η , G ( η ) ) a(T) \in \mathbb{Q}(\eta, G(\eta)) a ( T ) ∈ Q ( η , G ( η )) (b) rank ( T ) = 2 \text{rank}(T) = 2 rank ( T ) = 2 a ( T ) ∈ Q ( η , ∣ D ∣ G ( α ) , G ( β ) , i ) a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i) a ( T ) ∈ Q ( η , ∣ D ∣ G ( α ) , G ( β ) , i ) 論文は説明的な例を与える：η 2 = 1 \eta^2 = 1 η 2 = 1 α = χ D η \alpha = \chi_D\eta α = χ D η L = Q ( N , i ) ⊆ Q ( ζ N , i ) L = \mathbb{Q}(\sqrt{N}, i) \subseteq \mathbb{Q}(\zeta_N, i) L = Q ( N , i ) ⊆ Q ( ζ N , i ) L L L Q ( ζ N , i ) \mathbb{Q}(\zeta_N, i) Q ( ζ N , i )
ランク1の場合 （公式53）：
a ( T ) = ( − 1 ) − 1 + k + ϵ 2 2 k i k + ϵ m k σ k − 1 , η ( e N ^ ) G ( η ) B k , η ˉ ⋅ η ( r N ^ ) η ( 2 N ^ ) e N k − 1 ∈ Q ( η , ζ N ) a(T) = \frac{(-1)^{-1+\frac{k+\epsilon}{2}}2^k i^{k+\epsilon}m^k \sigma_{k-1,\eta}(e_{\hat{N}})}{G(\eta)B_{k,\bar{\eta}}} \cdot \frac{\eta(r_{\hat{N}})}{\eta(2_{\hat{N}})}e_N^{k-1} \in \mathbb{Q}(\eta, \zeta_N) a ( T ) = G ( η ) B k , η ˉ ( − 1 ) − 1 + 2 k + ϵ 2 k i k + ϵ m k σ k − 1 , η ( e N ^ ) ⋅ η ( 2 N ^ ) η ( r N ^ ) e N k − 1 ∈ Q ( η , ζ N )
なぜならσ k − 1 , η , B k , η ˉ ∈ Q ( η ) \sigma_{k-1,\eta}, B_{k,\bar{\eta}} \in \mathbb{Q}(\eta) σ k − 1 , η , B k , η ˉ ∈ Q ( η ) k + ϵ k+\epsilon k + ϵ
ランク2の場合 （公式57）：重要なのは以下を証明することである
( 4 π ) 2 k − 1 det ( T ) k − 3 / 2 ⋅ L ( k − 1 , χ D η ) L ( k , η ) L ( 2 k − 2 , η 2 ) G ( η ) ∈ Q ( η , ζ N , i ) (4\pi)^{2k-1}\det(T)^{k-3/2} \cdot \frac{L(k-1,\chi_D\eta)}{L(k,\eta)L(2k-2,\eta^2)}G(\eta) \in \mathbb{Q}(\eta, \zeta_N, i) ( 4 π ) 2 k − 1 det ( T ) k − 3/2 ⋅ L ( k , η ) L ( 2 k − 2 , η 2 ) L ( k − 1 , χ D η ) G ( η ) ∈ Q ( η , ζ N , i )
L-関数の比を原始特性のL-関数とGauss和の表現に変換し、命題6.2を利用することで証明を完成させる。
Siegel (1939) 8 ：古典的Eisenstein級数E k ( Z ) E_k(Z) E k ( Z ) Shimura 6 ：Lemma 10.5は主合同部分群に対する一般的結果を与える：適切に正規化されたモジュラー形式のFourier係数はある数体に属するPitale-Saha-Schmidt 5 ：Lemma 6.10は類似の一般的結果を与える本論文で研究されるパラモジュラーEisenstein級数E k , η E_{k,\eta} E k , η
水準なしから水準N 2 N^2 N 2 辛群Sp ( 4 , Z ) \text{Sp}(4,\mathbb{Z}) Sp ( 4 , Z ) K ( N 2 ) K(N^2) K ( N 2 ) Dirichlet特性η \eta η Pierce-Schmidt 4 ：E k , η E_{k,\eta} E k , η
正確な数体の特性付け ：パラモジュラーSiegel Eisenstein級数のFourier係数が属する数体を初めて明確に与えたランク依存の精密結果 ：異なるランクのFourier係数が異なる（通常はより小さい）部分体に属することを証明した一般理論との関係 ：本論文の結果はShimuraなどの一般理論の精密化であり、数体の明示的構成を与える重さの制限 ：k ≥ 4 k \geq 4 k ≥ 4 水準の制限 ：N 2 N^2 N 2 特定の構成 ：Dirichlet特性を通じて構成された特定のEisenstein級数のみを研究し、すべてのパラモジュラーモジュラー形式ではない論文は将来の研究方向を明示的には提案していないが、自然な一般化には以下が含まれる：
より一般的な水準構造への一般化 他の種類のモジュラー形式（尖点形式など）の考察 Fourier係数のより精密な算術的性質（整性、合同性質など）の研究 理論的深さ ：モジュラー形式論、Dirichlet L-関数、Gauss和、局所ε \varepsilon ε 証明技術は精密であり、特に命題5.1と6.2の証明には深いp p p 結果の精密性 ：一般的な存在性結果に満足せず、数体の明示的特性付けを与える ランク分解の結果は著者が問題を深く理解していることを示す 記述の明確性 ：記号体系が完全である（第2節） 背景知識の説明が充分である（第3-4節） 証明の構造が明確で、重要なステップが強調されている 技術的貢献 ：命題5.1の局所因子有理性の証明は技術的に強い貢献である 命題6.2はGauss和と単位根の間の正確な関係を確立する 方法の限界 ：4 の明示公式に大きく依存しており、明示公式を持たないモジュラー形式には適用できない証明方法は項ごとの検証であり、統一的な概念的枠組みに欠ける 結果の完全性 ：命題5.1の証明は説明的な例のみを与え、完全な証明は著者の博士論文3 に延期されている k < 4 k < 4 k < 4 応用と意義 ：論文はこれらの有理性結果の応用について議論していない 算術幾何学、Galois表現などのより深い理論との関連は展開されていない 例と検証 ：定理の応用を説明する具体的な数値例に欠ける 既知の特殊な場合との比較がない 分野への貢献 ：パラモジュラーモジュラー形式論における空白を埋める パラモジュラーモジュラー形式の算術的性質のさらなる研究の基礎を提供する 実用的価値 ：パラモジュラーEisenstein級数のFourier係数の計算が必要な研究者に直接的な価値がある Langlands綱領に関連する予想の数値検証を支援する理論的支援を提供する 再現性 ：理論的証明は検証可能である しかし命題5.1の完全な証明はまだ発表されていない博士論文を参照する必要がある 理論研究 ：パラモジュラーモジュラー形式の算術的性質の研究 Galois表現の構成 L-関数の特殊値の研究 計算応用 ：Fourier係数の正確な計算が必要な数値実験 モジュラー形式関連の算術予想の検証 一般化の方向 ：他の種類のモジュラー形式（Klingen Eisenstein級数など）の有理性研究のテンプレートとして機能できる 方法はより高次元の場合への一般化の可能性がある 論文が引用する重要な文献には以下が含まれる：
2 Neukirch4 Pierce-Schmidt5 Pitale-Saha-Schmidt6 Shimura7,8 Siegel9 Tateε \varepsilon ε 総合評価 ：これは技術的に強い数論論文であり、パラモジュラーモジュラー形式論において精密な結果を達成している。方法は明示公式に依存しているが、証明過程はモジュラー形式、L-関数、局所理論などの複数の側面に対する著者の深い理解を示している。結果の精密性と証明の技巧性は論文の主な強みであり、この分野のさらなる研究の基礎を提供している。
