To each i, j belonging to some set of integers, attach the integer a(i,j). Are there integers x(i) such that x(j)-x(i) is congruent to a(i,j) mod (i,j)? A necessary condition is that a(i,j)+a(j,k) be congruent to a(i,k) mod (i,j,k). This condition is sufficient.
Given a prime $p$ and cusp forms $f_1$ and $f_2$ on some $Γ_1(N)$ that are eigenforms outside $Np$ and have coefficients in the ring of integers of some number field $K$, we consider the problem of deciding whether $f_1$ and $f_2$ have the same eigenvalues mod ${\mathfrak p}^m$ (where ${\mathfrak p}$ is a fixed prime of $K$ over $p$) for Hecke operators $T_{\ell}$ at all primes $\ell\nmid Np$. When the weights of the forms are equal the problem is easily solved via an easy generalization of a theorem of Sturm. Thus, the main challenge in the analysis is the case where the forms have different …
Under relatively mild and natural conditions, we establish an integral period relations for the (real or imaginary) quadratic base change of an elliptic cusp form. This answers a conjecture of Hida regarding the {\it congruence number} controlling the congruences between this base change and other eigenforms which are not base change. As a corollary, we establish the Bloch-Kato conjecture for adjoint modular Galois representations twisted by an even quadratic character. In the odd case, we formulate a conjecture linking the degree two topological period attached to the base change Bianchi modu…
We describe some new general constructions of $p$-adic $L$-functions attached to certain arithmetically defined complex $L$-functions coming from motives over $\bold Q$ with coefficiens in a number field $T$, with $[T:\bold Q]<\infty$. These constructions are equivalent to proving some generalized Kummer congruences for critical special values of these complex $L$-functions.
We prove that Ramanujan-type congruences for integral weight modular forms away from the level and the congruence prime are equivalent to specific congruences for Hecke eigenvalues. In particular, we show that Ramanujan-type congruences are preserved by the action of the shallow Hecke algebra. More generally, we show for weakly holomorphic modular forms of integral weight, that Ramanujan-type congruences naturally occur for shifts in the union of two square-classes as opposed to single square-classes that appear in the literature on the partition function. We also rule out the possibility of s…
Let $E$ be a level 1, vector valued Eisenstein series of half-integral weight, normalized so that the coefficients are all in $\mathbb{Z}$. We show that there is a level one vector valued cusp form $f$ with the same weight as $E$ and with coefficients in $\mathbb{Z}$, which is congruent to $E$ modulo the constant term of $E$.
We use the Jacquet-Langlands correspondence to generalize well-known congruence results of Mazur on Fourier coefficients and L-values of elliptic modular forms for prime level in weight 2 both to nonsquare level and to Hilbert modular forms.
We consider a system of homogeneous quadratic forms with congruence conditions in $n\geq 3$ variables and prove the existence of two linearly independent integral solutions of bounded height. We also show the existence of small height integral zeros of this system avoiding a given set of hyperplanes.
Serre obtained the p-adic limit of the integral Fourier coefficient of modular forms on $SL_2(\mathbb{Z})$ for $p=2,3,5,7$. In this paper, we extend the result of Serre to weakly holomorphic modular forms of half integral weight on $Γ_{0}(4N)$ for $N=1,2,4$. A proof is based on linear relations among Fourier coefficients of modular forms of half integral weight. As applications we obtain congruences of Borcherds exponents, congruences of quotient of Eisentein series and congruences of values of $L$-functions at a certain point are also studied. Furthermore, the congruences of the Fourier coeff…
Suppose that $\ell \geq 5$ is prime. For a positive integer $N$ with $4 \mid N$, previous works studied properties of half-integral weight modular forms on $Γ_0(N)$ which are supported on finitely many square classes modulo $\ell$, in some cases proving that these forms are congruent to the image of a single variable theta series under some number of iterations of the Ramanujan $Θ$-operator. Here, we study the analogous problem for modular forms of half-integral weight on $\operatorname{SL}_{2}(\mathbb{Z})$. Let $η$ be the Dedekind eta function. For a wide range of weights, we prove that every…
In this paper we study special bases of certain spaces of half-integral weight weakly holomorphic modular forms. We establish a criterion for the integrality of Fourier coefficients of such bases. By using recursive relations between Hecke operators, we derive relations of Fourier coefficients of each basis element and obtain congruences of the Fourier coefficients, which extend known congruences for traces of singular moduli.
In this paper, we are interested in the interplay between integral ternary quadratic forms and class numbers. This is partially motivated by a question of Petersson.
We address a question posed by Ono, prove a general result for powers of an arbitrary prime, and provide an explanation for the appearance of higher congruence moduli for certain small primes. One of our results coincides with a recent result of Edixhoven, and we hope that the comparison of the methods, which are entirely different, may reveal a connection between the p-adic geometry and the arithmetic of half-integral weight Hecke operators.
In this article, we consider the estimation of exponential sums along the points of the reduction mod $p^{m}$ of a $p$-adic analytic submanifold of $ \mathbb{Z}_{p}^{n}$. More precisely, we extend Igusa's stationary phase method to this type of exponential sums. We also study the number of solutions of a polynomial congruence along the points of the reduction mod $% p^{m}$ of a $p$-adic analytic submanifold of $\mathbb{Z}_{p}^{n}$. In addition, we attach a Poincare series to these numbers, and establish its rationality. In this way, we obtain geometric bounds for the number of solutions of the…
Deligne proved that the weights of Siegel modular forms on any congruence subgroup of the Siegel modular group of genus g>1 must be integral or half integral. We give a different proof for this. It uses Mennicke's result that subgroups of finite index of the Siegel modular group are congruence subgroups and some techniques from a paper of Bass-Milnor-Serre.
In this paper, near-miss identities for the number of representations of some integral ternary quadratic forms with congruence conditions are found and proven. The genus and spinor genus of the corresponding lattice cosets are then classified. Finally, a complete genus and spinor genus classification for all conductor 2 lattice cosets of 2-adically unimodular lattices is given.
Let $[x]$ be the integral part of $x$, $n>1$ be a positive integer and $χ_n$ denote the trivial Dirichlet character modulo $n$. In this paper, we use an identity established by Z. H. Sun to get congruences of $T_{m,k}(n)=\sum_{x=1}^{[n/m]}\frac{χ_n(x)}{x^k}\left(\bmod n^{r+1}\right)$ for $r\in \{1,2\}$, any positive integer $m $ with $n \equiv \pm 1 \left(\bmod m \right)$ in terms of Bernoulli polynomials. As its an application, we also obtain some new congruences involving binomial coefficients modulo $n^4$ in terms of generalized Bernoulli numbers.
Let $Q(x,y,z)$ be an integral quadratic form with determinant coprime to some modulus $q$. We show that $q\mid Q$ for some non-zero integer vector $(x,y,z)$ of length $O(q^{5/8+\varepsilon})$, for any fixed $\varepsilon>0$. Without the coprimality condition on the determinant one could not achieve an exponent below $2/3$. The proof uses a bound for short character sums involving binary quadratic forms, which extends a result of Chang.
Let $f$ be a newform of weight $2$ on $Γ_0(N)$ with Fourier $q$-expansion $f(q)=q+\sum_{n\geq 2} a_n q^n$, where $Γ_0(N)$ denotes the group of invertible matrices with integer coefficients, upper triangular mod $N$. Let $p$ be a prime dividing $N$ once, $p\parallel N$, a Steinberg prime. Then, it is well known that $a_p\in\{1,-1\}$. We denote by $K_f$ the field of coefficients of $f$. Let $λ$ be a finite place in $K_f$ not dividing $2p$ and assume that the mod $λ$ Galois representation attached to $f$ is irreducible. In this paper we will give necessary and sufficient conditions for the existe…
For each positive integer $n$, let $g_Δ(n)$ be the smallest positive integer $g$ such that every complete quadratic polynomial in $n$ variables which can be represented by a sum of odd squares is represented by a sum of at most $g$ odd squares. In this paper, we analyze $g_Δ(n)$ by studying representations of integral quadratic forms by sums of squares with certain congruence condition. We prove that the growth of $g_Δ(n)$ is at most an exponential of $\sqrt{n}$, which is the same as the best known upper bound on the $g$-invariants of the original quadratic Waring's problem. We also determine …
Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational polynomials (taking only integral values) and the function giving the least common multiple of $1,2,\ldots,k$. The tool used to obtain these characterizations is "lifting": if $π\colon X\to Y$ is a surjective morphism, and $f$ a function on $Y$ a lifting of $f$ is a function $F$ on $X$ such that $π\circ F=f\circπ$. In this paper we relate the finite and infinite noti…
Let Gamma be a congruence subgroup of the Picard modular group of an imaginary number field k, and let D be the associated symmetric space. We describe a method to compute the integral cohomology of the locally symmetric space Gamma\D. The method is implemented for the case k=Q(i) and k=Q(sqrt(-3)), and the cohomology is computed for various Gamma.
We give a survey of Denef's rationality theorem on $p$-adic integrals, its uniform in $p$ versions, the relevant model theory, and a number of applications to counting subgroups of finitely generated nilpotent groups and conjugacy classes in congruence quotients of Chevalley groups over rings of integers of local fields. We then state results on analytic properties of Euler products of such $p$-adic integrals over all $p$, and an application to counting conjugacy classes in congruence quotients of certain algebraic groups over the rationals. We then briefly discuss zeta functions arising from …
Let $m$ be a square-free positive integer, $m\equiv 2,3 \; (\bmod \; 4)$. We show that the number field $K=Q(i,\sqrt[4]{m})$ is non-monogene, that is it does not admit any power integral bases of type $\{1,α,\ldots,α^7\}$. In this infinite parametric family of Galois octic fields we construct an integral basis and show non-monogenity using only congruence considerations. Our method yields a new approach to consider monogenity or to prove non-monogenity in algebraic number fields. It is well applicable in parametric families of number fields. We calculate the index of elements as polynomials de…
Recently Ritter and Weiss introduced an equivariant "main conjecture" than generalizes and refines the Main Conjecture of Iwasawa theory. In this paper, we show that, for the prime 2 and a dihedral extension of order 8 over Q, this conjecture is equivalent to a congruence condition on the coefficients of a power series with 2-adic integral coefficients constructed using the 2-adic L-series associated to the extension. We then verify that this congruence condition holds for the first coefficients in a large number of examples.
Let $λ$ be an integer, and $f(z)=\sum_{n\gg-\infty} a(n)q^n$ be a weakly holomorphic modular form of weight $λ+\frac 12$ on $Γ_0(4)$ with integral coefficients. Let $\ell\geq 5$ be a prime. Assume that the constant term $a(0)$ is not zero modulo $\ell$. Further, assume that, for some positive integer $m$, the Fourier expansion of $(f|U_{\ell^m})(z) = \sum_{n=0}^\infty b(n)q^n$ has the form \[ (f|U_{\ell^m})(z) \equiv b(0) + \sum_{i=1}^{t}\sum_{n=1}^{\infty} b(d_i n^2) q^{d_i n^2} \pmod{\ell}, \] where $d_1, \ldots, d_t$ are square-free positive integers, and the operator $U_\ell$ on formal pow…
Let g be a cubic polynomial with integer coefficients and n>9 variables, and assume that the congruence g=0 modulo p^k is soluble for all prime powers p^k. We show that the equation g=0 has infinitely many integer solutions when the cubic part of g defines a projective hypersurface with singular locus of dimension <n-10. The proof is based on the Hardy-Littlewood circle method.
In a recent study of sign-balanced, labelled posets Stanley [13], introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' the conjugate of pi. In [1] Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0, 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partiti…
In a recent study of sign-balanced, labelled posets Stanley, introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0; 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enume…