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 (Number Theory)发表时间 : 2025年10月26日 (arXiv预印本)论文链接 : https://arxiv.org/abs/2510.22762 本文研究一类特殊的paramodular Siegel Eisenstein级数的Fourier系数的有理性问题。对于水平为N 2 N^2 N 2 k ≥ 4 k\geq 4 k ≥ 4
本文研究的核心问题是：paramodular Siegel Eisenstein级数的Fourier系数在哪个数域中？这是模形式理论中的一个基本问题。
理论意义 ：Fourier系数的算术性质是模形式理论的核心研究对象，与L-函数、Galois表示等深刻理论密切相关历史背景 ：Siegel在1939年就证明了经典Eisenstein级数E k ( Z ) E_k(Z) E k ( Z ) 推广价值 ：从经典情况推广到带水平结构的paramodular群情形，需要克服显著的技术困难Shimura的一般性结果（见6 的Lemma 10.5和5 的Lemma 6.10）表明，对于主同余子群Γ ( N ) \Gamma(N) Γ ( N ) k k k 对于paramodular群这样的非同余子群，一般理论不能直接应用 利用作者在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 本原Dirichlet特征η \eta η N N N 正半定矩阵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
paramodular群定义为：
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 证明求和是有限的（只有有限项非零） 两种情况：
集合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给出了类似的一般性结果本文研究的paramodular 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 , η
精确的数域刻画 ：首次明确给出了paramodular Siegel Eisenstein级数Fourier系数所在的数域秩依赖的精细结果 ：证明了不同秩的Fourier系数位于不同的（通常更小的）子域中与一般理论的关系 ：本文结果是Shimura等人一般理论的精细化，给出了数域的显式构造权重限制 ：要求k ≥ 4 k \geq 4 k ≥ 4 水平限制 ：只考虑了N 2 N^2 N 2 特定构造 ：只研究了通过Dirichlet特征构造的特定Eisenstein级数，不是所有paramodular模形式论文没有明确提出未来研究方向，但自然的推广包括：
推广到更一般的水平结构 考虑其他类型的模形式（如尖点形式） 研究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表示等更深层理论的联系未展开 例子和验证 ：缺少具体的数值例子来说明定理的应用 没有与已知特殊情况的比较 对领域的贡献 ：填补了paramodular模形式理论中的一个空白 为进一步研究paramodular模形式的算术性质提供了基础 实用价值 ：对于需要计算paramodular Eisenstein级数Fourier系数的研究者有直接价值 为数值验证Langlands纲领的相关猜想提供了理论支持 可复现性 ：理论证明可以验证 但命题5.1的完整证明需要参考尚未发表的博士论文 理论研究 ：研究paramodular模形式的算术性质 构造Galois表示 研究L-函数的特殊值 计算应用 ：需要精确计算Fourier系数的数值实验 验证模形式相关的算术猜想 推广方向 ：可以作为研究其他类型模形式（如Klingen Eisenstein级数）有理性的模板 方法可能推广到更高维的情形 论文引用的关键文献包括：
2 Neukirch4 Pierce-Schmidt5 Pitale-Saha-Schmidt6 Shimura7,8 Siegel9 Tateε \varepsilon ε 总体评价 ：这是一篇技术性很强的数论论文，在paramodular模形式理论中取得了精细的结果。虽然方法依赖于显式公式，但证明过程展现了作者对模形式、L-函数、局部理论等多方面的深刻理解。结果的精确性和证明的技巧性是论文的主要亮点，为该领域的进一步研究奠定了基础。
