Some congruence property of modular forms (Q1382627)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some congruence property of modular forms |
scientific article |
Statements
Some congruence property of modular forms (English)
0 references
16 August 1998
0 references
The author discusses the existence of a Siegel modular form \(F\) of degree \(n\) and weight \(p-1\) satisfying \(F\equiv 1\pmod p\) componentwise in the Fourier expansion. If \(p>n+2\) is a regular prime, i.e. \(p\) does not divide the class number of \(\mathbb{Q} (e^{2 \pi i/p})\), then the Siegel-Eisenstein series \(E^{(n)}_{p-1}\) possesses this property. The author shows that \(p=16\;843\) and \(p=2\;124\;679\) are the only primes in the range \(3\leq p<4 \cdot 10^6\) satisfying \(E^{(2)}_{p-1} \not\equiv 1\pmod p\). In these two cases he constructs a different Siegel modular form \(F\) of degree 2 and weight \(p-1\) satisfying \(F\equiv 1\pmod p\). These particular \(F\) arise from the Siegel-Eisenstein series as a Hermitian modular form for \(\mathbb{Q} (\sqrt{-3})\) by restricting the domain of definition to the Siegel half-space. The last section refers to applications to mod \(p\) modular forms.
0 references
Fourier coefficients
0 references
Bernoulli numbers
0 references
congruence properties
0 references
mod \(p\) modular forms
0 references
Siegel modular form
0 references
Siegel-Eisenstein series
0 references
0 references