On the rationality of a paramodular Siegel Eisenstein series

Basic Information

• Paper ID: 2510.22762
• Title: On the rationality of a paramodular Siegel Eisenstein series
• Author: Erin Pierce
• Classification: math.NT (Number Theory)
• Publication Date: October 26, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.22762

Abstract

This paper investigates the rationality of Fourier coefficients of a special class of paramodular Siegel Eisenstein series. For paramodular Siegel Eisenstein series of level $N^2$ and weight $k\geq 4$, the author proves that the Fourier coefficients lie in a number field and provides a precise characterization of this number field.

Research Background and Motivation

Research Problem

The central question addressed in this paper is: in which number field do the Fourier coefficients of paramodular Siegel Eisenstein series lie? This is a fundamental problem in the theory of modular forms.

Significance of the Problem

1. Theoretical significance: The arithmetic properties of Fourier coefficients are central objects of study in modular form theory, intimately connected with L-functions, Galois representations, and other profound theories
2. Historical context: Siegel proved in 1939 that the Fourier coefficients of the classical Eisenstein series $E_k(Z)$ are rational numbers
3. Value of generalization: Extending from the classical case to the paramodular group setting with level structure requires overcoming significant technical difficulties

Limitations of Existing Methods

1. Shimura's general results (see Lemma 10.5 in 6 and Lemma 6.10 in 5) show that for principal congruence subgroups $\Gamma(N)$, appropriately normalized weight $k$ modular forms have Fourier coefficients contained in some number field, but do not provide a precise characterization of this field
2. For non-congruence subgroups like the paramodular group, general theory cannot be directly applied

Research Motivation

Using the explicit formula for Fourier coefficients obtained by the author in 4, the paper provides more refined results than general theory, explicitly characterizing the number field containing the Fourier coefficients.

Core Contributions

The main contributions of this paper include:

1. Precise field characterization (Theorem 1.1(i)): The Fourier coefficients of $E_{k,\eta}$ are shown to lie in the number field $\mathbb{Q}(i, \eta, \zeta_N)$, where $\eta$ is a primitive Dirichlet character and $\zeta_N$ is a primitive $N$-th root of unity
2. Refined rank-dependent decomposition (Theorem 1.1(ii)):
   • For rank 1 matrices $T$: the coefficient $a(T) \in \mathbb{Q}(\eta, G(\eta))$ (the field generated by the values of $\eta$ and the Gauss sum)
   • For rank 2 matrices $T$: the coefficient $a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i)$, which is typically a proper subfield of $\mathbb{Q}(\eta, \zeta_N, i)$
3. Key technical results:
   • Proof of rationality of local factors $K(k, T, \chi_p)$ (Proposition 5.1)
   • Establishment of relationships between Gauss sums and roots of unity (Proposition 6.2)

Detailed Methodology

Task Definition

Input:

• Integer $k \geq 4$ (weight)
• Primitive Dirichlet character $\eta$ with conductor $N$
• Positive semi-definite matrix $T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix}$ satisfying $N^2 | m$

Output: Determine the number field containing the Fourier coefficient $a(T)$

Constraints: $n, r, m$ are integers with $r^2 - 4nm = Df^2$, where $D$ is the fundamental discriminant and $f$ is an integer

Theoretical Framework

1. Definition of Paramodular Siegel Eisenstein Series

The paramodular group is defined as: $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}$

The Eisenstein series is defined as: $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))$

where $C_0(x) = \begin{bmatrix} 1 & & & \\ & 1 & & \\ x & & 1 & \\ & x & & 1 \end{bmatrix}$

2. Fourier Expansion

According to Theorem 6.1 (from 4), $E_{k,\eta}(Z)$ has the Fourier expansion: $E_{k,\eta}(Z) = \delta_{\eta=1} + \sum_{T\neq 0} a(T)e^{2\pi i\text{tr}(TZ)}$

where:

• Rank 0: $a(T) \in \{0,1\}$
• Rank 1: When $m > 0$ and $r_N = (2m)_N/N$, $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}$
• Rank 2: $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{(local factors)}$

Technical Innovations

1. Rationality of Local Factors (Proposition 5.1)

The key is to prove: $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)$

Proof strategy:

• When $s=k$, $p^{2-s}$ is rational
• Prove that the sum is finite (only finitely many terms are nonzero)
• Two cases:
  1. The set $S(j+1, n_p)$ is nonempty for only one value of $j$
  2. When $\chi_p$ is ramified, the integral vanishes for sufficiently large $j$

Technical details: Through completing the square and refined analysis of $p$-adic valuations, one shows that for sufficiently large $j$, the character in the integral integrates to zero on the unit group.

2. Relationship between Gauss Sums and Roots of Unity (Proposition 6.2)

Prove: $G(\alpha)\sqrt{|D|} \in \mathbb{Q}(\eta, \zeta_N, i)$

where $\alpha$ is the primitive character corresponding to $\chi_D\eta$.

Proof outline:

• Use the relationship between Gauss sums and local $\varepsilon$-factors (Proposition 3.1): $\prod_{p<\infty} \varepsilon(\tfrac{1}{2}, \chi_p, \psi_p) = \frac{\eta(-1)G(\eta)}{\sqrt{N}}$
• Define local quantities $A_p := \sqrt{p^{v_p(a)}p^{v_p(|D|)}}\varepsilon(\tfrac{1}{2}, \chi_p\sigma_p, \psi_p)$
• For each prime $p|a$, prove case by case that $A_p \in \mathbb{Q}(\eta, \zeta_N, i)$:
  • $p \nmid N, p||D$: Use that $\chi_p$ is unramified
  • $p|N, p\nmid |D|$: Use that $\psi_p$ takes values in $\langle\zeta_{p^{v_p(N)}}\rangle$ on $\mathbb{Z}_p^\times$
  • $p|N, p||D|$, $\chi_p^2 \neq 1$: Use Gauss's result $\sqrt{p} \in \mathbb{Q}(\zeta_p, i)$
  • $p|N, p||D|$, $\chi_p^2 = 1$: Use properties of quadratic characters

3. Arithmetic Properties of L-function Special Values

Use the classical formula for Dirichlet L-functions at positive integers (from Neukirch 2): $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!}$

where $B_{k,\eta}$ is the generalized Bernoulli number, $\epsilon = 0$ (if $\eta(-1)=1$) or $1$ (if $\eta(-1)=-1$).

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments or computational verification. All results are obtained through rigorous mathematical proof.

Experimental Results

Statement of Main Theorem

Theorem 1.1: Let $E_{k,\eta}$ be as defined in (3), where $\eta$ is a primitive Dirichlet character with conductor $N$.

(i) The Fourier coefficients of $E_{k,\eta}$ lie in the number field $\mathbb{Q}(i, \eta, \zeta_N)$.

(ii) For a fixed $T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix}$, let $r^2 - 4nm = Df^2$, where $D$ is the fundamental discriminant and $f$ is an integer. Let $\alpha$ be the primitive character corresponding to $\chi_D\eta$, and $\beta$ be the primitive character corresponding to $\eta^2$. Consider the Fourier coefficient $a(T)$ in Theorem 6.1:

• (a) If $\text{rank}(T) = 1$, then $a(T) \in \mathbb{Q}(\eta, G(\eta))$
• (b) If $\text{rank}(T) = 2$, then $a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i)$

Concrete Examples

The paper provides an illustrative example: if $\eta^2 = 1$ and $\alpha = \chi_D\eta$ is primitive, then $L = \mathbb{Q}(\sqrt{N}, i) \subseteq \mathbb{Q}(\zeta_N, i)$ This shows that in many cases, $L$ is indeed a proper subfield of $\mathbb{Q}(\zeta_N, i)$.

Key Steps of the Proof

Rank 1 case (Formula 53): $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)$

because $\sigma_{k-1,\eta}, B_{k,\bar{\eta}} \in \mathbb{Q}(\eta)$ and $k+\epsilon$ is always even.

Rank 2 case (Formula 57): The key is to prove $(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)$

By converting the L-function ratio into expressions involving L-functions of primitive characters and Gauss sums, and using Proposition 6.2, the proof is completed.

Related Work

Classical Results

1. Siegel (1939) 8: Provided the Fourier coefficient formula for the classical Eisenstein series $E_k(Z)$, proving they are rational
2. Shimura 6: Lemma 10.5 gives a general result: for principal congruence subgroups, appropriately normalized modular forms have Fourier coefficients in some number field
3. Pitale-Saha-Schmidt 5: Lemma 6.10 provides similar general algebraicity results

Generalizations in This Paper

The paramodular Eisenstein series $E_{k,\eta}$ studied in this paper is a generalization of Siegel's classical Eisenstein series:

• From no level to level $N^2$
• From the symplectic group $\text{Sp}(4,\mathbb{Z})$ to the paramodular group $K(N^2)$
• Introduction of the Dirichlet character $\eta$

Related Work

Pierce-Schmidt 4: Provides an explicit formula for the Fourier coefficients of $E_{k,\eta}$ (Theorem 6.1 of this paper), which is the foundation for this paper's proof

Conclusions and Discussion

Main Conclusions

1. Precise field characterization: For the first time, explicitly determines the number field containing the Fourier coefficients of paramodular Siegel Eisenstein series
2. Rank-dependent refined results: Proves that Fourier coefficients of different ranks lie in different (typically smaller) subfields
3. Relationship to general theory: The results of this paper refine Shimura's and others' general theory, providing explicit construction of the number field

Limitations

1. Weight restriction: Requires $k \geq 4$, as this is necessary to use special value formulas for L-functions at positive integers
2. Level restriction: Only considers paramodular groups of level $N^2$; more general level structures are not addressed
3. Specific construction: Only studies specific Eisenstein series constructed via Dirichlet characters, not all paramodular modular forms

Future Directions

The paper does not explicitly propose future research directions, but natural generalizations include:

1. Extension to more general level structures
2. Consideration of other types of modular forms (such as cusp forms)
3. Investigation of finer arithmetic properties of Fourier coefficients (such as integrality and congruence properties)

In-Depth Evaluation

Strengths

1. Theoretical depth:
   • Skillfully combines modular form theory, Dirichlet L-functions, Gauss sums, local $\varepsilon$-factors, and other tools
   • The proof techniques are refined, particularly the proofs of Propositions 5.1 and 6.2 require deep $p$-adic analysis
2. Precision of results:
   • Goes beyond general existence results to provide explicit characterization of the number field
   • The rank-dependent decomposition demonstrates the author's deep understanding of the problem
3. Clarity of exposition:
   • Complete system of notation (Section 2)
   • Sufficient background material (Sections 3-4)
   • Clear proof structure with key steps highlighted
4. Technical contributions:
   • The proof of Proposition 5.1 on rationality of local factors is a technically strong contribution
   • Proposition 6.2 establishes precise relationships between Gauss sums and roots of unity

Weaknesses

1. Limitations of the method:
   • Heavily dependent on the explicit formula from 4; not applicable to modular forms without explicit formulas
   • The proof method is term-by-term verification, lacking a unified conceptual framework
2. Completeness of results:
   • The proof of Proposition 5.1 only provides illustrative examples; the complete proof is deferred to the author's doctoral dissertation 3
   • The case $k < 4$ is not discussed
3. Applications and significance:
   • The paper does not discuss applications of these rationality results
   • Connections to deeper theories such as arithmetic geometry and Galois representations are not developed
4. Examples and verification:
   • Lacks concrete numerical examples illustrating the application of the theorem
   • No comparison with known special cases

Impact

1. Contribution to the field:
   • Fills a gap in the theory of paramodular modular forms
   • Provides a foundation for further research on arithmetic properties of paramodular modular forms
2. Practical value:
   • Directly valuable for researchers needing to compute Fourier coefficients of paramodular Eisenstein series
   • Provides theoretical support for numerical verification of conjectures related to the Langlands program
3. Reproducibility:
   • Theoretical proofs can be verified
   • However, the complete proof of Proposition 5.1 requires reference to an unpublished doctoral dissertation

Applicable Scenarios

1. Theoretical research:
   • Study of arithmetic properties of paramodular modular forms
   • Construction of Galois representations
   • Investigation of special values of L-functions
2. Computational applications:
   • Numerical experiments requiring precise computation of Fourier coefficients
   • Verification of arithmetic conjectures related to modular forms
3. Directions for generalization:
   • Can serve as a template for studying rationality of other types of modular forms (such as Klingen Eisenstein series)
   • Methods may generalize to higher-dimensional cases

References

Key references cited in the paper include:

1. 2 Neukirch: Algebraic number theory textbook, providing classical formulas for L-function special values
2. 4 Pierce-Schmidt: Provides the explicit Fourier expansion of the Eisenstein series studied in this paper
3. 5 Pitale-Saha-Schmidt: Provides general algebraicity results
4. 6 Shimura: Classical work on arithmetic theory of modular forms
5. 7,8 Siegel: Foundational work on Siegel modular form theory
6. 9 Tate: Classical literature on $\varepsilon$-factors

Overall Assessment: This is a technically sophisticated number theory paper that achieves refined results in the theory of paramodular modular forms. While the method relies on explicit formulas, the proof process demonstrates the author's deep understanding of modular forms, L-functions, and local theory across multiple areas. The precision of the results and the sophistication of the proof techniques are the main highlights of the paper, establishing a foundation for further research in this field.