arXiv subjects
Publications and source records attributed to Toshiyuki Kikuta.
We generalize the notion of mod $p^m$ singular Siegel modular forms of $p$-rank $r$ to the vector-valued case and we show that also in this case a congruence mod $(p-1)p^{m-1}$ between the scalar weight and the $p$-rank must hold. In some sense our proof is even simpler than the one we gave previously in the scaler valued case.
We construct a Siegel--Eisenstein series of level $p$ with a quadratic character mod $p$ which is a $U(p)$-eigenfunction with eigenvalue $1$, and calculate its Fourier coefficients explicitly. We show that this Siegel--Eisenstein series is a $p$-adic Siegel--Eisenstein series, i.e., it is a $p$-adic limit of a sequence of Siegel--Eisenstein series of level $1$. We prove also that the Siegel--Eisenstein series with a nonquadratic character mod $p$ constructed by Takemori is also a $p$-adic Siegel--Eisenstein series.
In a previous paper, the authors showed that two kinds of $p$-adic Siegel--Eisenstein series of degree $n$ coincide with classical modular forms of weight $k$ for $Γ_0(p)$, under the assumption that $p$ is a regular prime. The purpose of this paper is to show that this condition on $p$ can be removed if the degree $n$ is low compared with $k$, namely, $n\le 2k+1$.
We prove that weights of two Siegel modular forms of nonquadratic nebentypus should satisfy some congruence relations if these modular forms are congruent to each other. Applying this result, we prove that there are no mod $p$ singular forms of nonquadratic nebentypus. Here we consider the case where the Fourier coefficients of the modular forms are algebraic integers, and we emphasize that $p$ is a rational prime. Moreover, we construct some examples of mod $\frak{p}$ singular forms of nonquadratic nebentypus using the Eisenstein series studied by Takemori.
We show that the $p$-adic Siegel Eisenstein series of general degree attached to two kind of number sequences are both linear combinations of genus theta series of level $p$, by applying the theory of mod $p$-power singular forms. As special cases of this result, we derive the result of Nagaoka and Katsurada--Nagaoka.
We prove that all mod $p^m$ singular forms of level $N$, degree $n+r$, and $p$-rank $r$ with $n\ge r$ are congruent mod $p^m$ to linear combinations of theta series of degree $r$ attached to quadratic forms of some level. Moreover, we prove that, the levels of theta series are of the form ``$p\mbox{-power}\times N$''. Additionally, in some cases of mod $p$ singular forms with smallest possible weight, we prove that the levels of theta series should be $p$.
We determine the structure over $\mathbb{Z}$ of the ring of symmetric Hermitian modular forms with respect to $\mathbb{Q}(\sqrt{-1})$ of degree $2$ (with a character), whose Fourier coefficients are integers. Namely, we give a set of generators consisting of $24$ modular forms. As an application of our structure theorem, we give the Sturm bounds of such the modular forms of weight $k$ with $4\mid k$, in the case $p=2$, $3$. We remark that the bounds for $p\ge 5$ are already known.
The mod $p$ kernel of the theta operator is the set of modular forms whose image of the theta operator is congruent to zero modulo a prime $p$. In the case of Siegel modular forms, the authors found interesting examples of such modular forms. For example, Igusa's odd weight cusp form is an element of mod 23 kernel of the theta operator. In this paper, we give some examples which represent elements in the mod $p$ kernel of the theta operator in the case of Hermitian modular forms of degree 2.
We give some relations between the weights and the prime $p$ of elements of the mod $p$ kernel of the generalized theta operator $Θ^{[j]}$. In order to construct examples of the mod $p$ kernel of $Θ^{[j]}$ from any modular form, we introduce new operators $A^{(j)}(M)$ and show the modularity of $F|A^{(j)}(M)$ when $F$ is a modular form. Finally, we give some examples of the mod $p$ kernel of $Θ^{[j]}$ and the filtrations of some of them.
We correct the proof of the theorem in the previous paper presented by the first named author, which concerns Sturm bounds for Siegel modular forms of degree $2$ and of even weights modulo a prime number dividing $2\cdot 3$. We give also Sturm bounds for them of odd weights for any prime numbers, and we prove their sharpness. The results cover the case where Fourier coefficients are algebraic numbers.
In the case of Siegel modular forms of degree $n$, we prove that, for almost all prime ideals $\frak{p}$ in any ring of algebraic integers, mod $\frak{p}^m$ cusp forms are congruent to true cusp forms of the same weight. As an application of this property, we give congruences for the Klingen-Eisenstein series and cusp forms, which can be regarded as a generalization of Ramanujan's congruence. We will conclude by giving numerical examples.
We show that an elliptic modular form with integral Fourier coefficients in a number field $K$, for which all but finitely many coefficients are divisible by a prime ideal $\frak{p}$ of $K$, is a constant modulo $\frak{p}$. A similar property also holds for Siegel modular forms. Moreover, we define the notion of mod $\frak{p}$ singular modular forms and discuss some relations between their weights and the corresponding prime $p$. We discuss some examples of mod $\frak{p}$ singular modular forms arising from Eisenstein series and from theta series attached to lattices with automorphisms. Finally, we apply our results to properties mod $\frak{p}$ of Klingen-Eisenstein series.
A congruence relation satisfied by Igusa's cusp form of weight 35 is presented. As a tool to confirm the congruence relation, a Sturm-type theorem for the case of odd-weight Siegel modular forms of degree 2 is included.
We give congruences between the Eisenstein series and a cusp form in the cases of Siegel modular forms and Hermitian modular forms. We should emphasize that there is a relation between the existence of a prime dividing the $k-1$-th generalized Bernoulli number and the existence of non-trivial Hermitian cusp forms of weight $k$. We will conclude by giving numerical examples for each case.
We show that certain $p$-adic Eisenstein series for quaternionic modular groups of degree 2 become "real" modular forms of level $p$ in almost all cases. To prove this, we introduce a $U(p)$ type operator. We also show that there exists a $p$-adic Eisenstein series of the above type that has transcendental coefficients. Former examples of $p$-adic Eisenstein series for Siegel and Hermitian modular groups are both rational (i.e., algebraic).
Sturm obtained the bounds for the number of the first Fourier coefficients of elliptic modular form $f$ to determine vanishing of $f$ modulo a prime $p$. In this paper, we study analogues of Sturm's bound for Siegel modular forms of genus 2. We show the resulting bound is sharp. As an application, we study congruences involving Atkin's $U(p)$-operator for the Fourier coefficients of Siegel mdoular forms of genus 2.
We attempt to generalize a congruence property of elliptic modular forms proved by Sturm to that of Haupttypus of Siegel modular forms of degree 2 with level. Namely, we give an explicit bound of Fourier coefficients required to determine the congruence of modular forms. We give the analog of Sturm's theorem for Jacobi forms, which is required in the proof. In the case that Nebentypus of Siegel modular forms with prime level, in order to prove the congruence between two modular forms, we show that it suffices to check the congruence of the finitely many Fourier coefficients. Finally, we give two examples of our main theorem.
We show that all Siegel modular forms of non-real Nebentypus for $Γ_0^{(2)}(p)$ are $p$-adic Siegel modular forms by using a Maass lift.