This paper is an updated version of ANT-0372 (2002 dec 4) with the same title. Several errors are corrected in this version.
An example of the kind of results obtained is: Let K/\Q be an abelian extension with N = [K:\Q] > 1, N odd. Let h(K) be the class number of K. Suppose that h(K) > 1. Let p be a prime dividing h(K). Let r_p be the rank of the p-class group of K. Then p \times (p^{r_p}-1) and N are not coprime.
The paper is at elementary level and contains a lot of numerical examples.
The congruences for Jacobi sums of some lower orders has been treated by many authors in the literature. In this paper we establish the congruences for Jacobi sums of order 2l^2 with odd prime l. These congruences are useful to obtain algebraic and arithmetic characterizations for Jacobi sums of order 2l^2 .
We present a primality criterium based on congruences for cyclotomic polynomials, and point out a way to generalize our result in order to obtain a family of similar criteria. No practical use is aimed however.
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.
A prime number $p$ is said to be a Wolstenholme prime if it satisfies the congruence ${2p-1\choose p-1} \equiv 1 \,\,(\bmod{\,\,p^4})$. For such a prime $p$, we establish the expression for ${2p-1\choose p-1}\,\,(\bmod{\,\,p^8})$ given in terms of the sums $R_i:=\sum_{k=1}^{p-1}1/k^i$ ($i=1,2,3,4,5,6)$. Further, the expression in this congruence is reduced in terms of the sums $R_i$ ($i=1,3,4,5$). Using this congruence, we prove that for any Wolstenholme prime, $$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} -2p^2\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^7}. $$ Moreover, using a recent…
Prime Geodesic Theorem for Arithmetic Compact Surfaces: Principal Congruence Case
Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of the Chinese Academy of Sciences（中国科学院大学）；Hangzhou International Innovation Institute, Beihang University（北京航空航天大学杭州创新研究院）；Qiuzhen College, Tsinghua University（清华大学求真学院）；School of Mathematical Sciences, University of Scinece and Technology of China（中国科学技术大学数学科学学院）
We demonstrate the existence of a congruence class bias in the distribution of supersingular primes on average for elliptic curves over $\Q$. For example, we show that on average there are twice as many supersingular primes congruent to 2 mod 3 as there are congruent to 1 mod 3. Our result is obtained using the averaging approach of Fouvry-Murty along with ideas of David-Pappalardi.
We establish Ramanujan-style congruences modulo certain primes $\ell$ between an Eisenstein series of weight $k$, prime level $p$ and a cuspidal newform in the $\varepsilon$-eigenspace of the Atkin-Lehner operator inside the space of cusp forms of weight $k$ for $Γ_0(p)$. Under a mild assumption, this refines a result of Gaba-Popa. We use these congruences and recent work of Ciolan, Languasco and the third author on Euler-Kronecker constants, to quantify the non-divisibility of the Fourier coefficients involved by $\ell.$ The degree of the number field generated by these coefficients we invest…
Recently, Chan and Wang (Fractional powers of the generating function for the partition function. Acta Arith. 187(1), 59--80 (2019)) studied the fractional powers of the generating function for the partition function and found several congruences satisfied by the corresponding coefficients. In this paper, we find some new families of congruences modulo powers of primes. We also find analogous results for the coefficients of the fractional powers of the generating function for the 2-color partition function.
We prove congruences between cuspidal newforms and Eisenstein series of prime level, which generalize Ramanujan's congruence. Such congruences were recently found by Billerey and Menares, and we refine them by specifying the Atkin-Lehner eigenvalue of the newform involved. We show that similar refinements hold for the level raising congruences between cuspidal newforms of different levels, due to Ribet and Diamond. The proof relies on studying the new subspace and the Eisenstein subspace of the space of period polynomials for the congruence subgroup $Γ_0(N)$, and on a version of Ihara's lemma.
We obtain new results about the representation of almost all residues modulo a prime $p$ by a product of a small integer and also an element of small multiplicative subgroup of $({\mathbb Z}/p{\mathbb Z})^*$. These results are based on some ideas, and their modifications, of a recent work of J. Cilleruelo and M. Z. Garaev (2014),
In this research paper, relationship between every Mersenne prime and certain Natural numbers is explored. We begin by proving that every Mersenne prime is of the form {4n + 3,for some integer 'n'} and generalize the result to all powers of 2. We also tabulate and show their relationship with other whole numbers up to 10. A number of minor results are also proved. Based on these results, approaches to determine the cardinality of Mersenne primes are discussed.
We show that if $E/\mathbb{Q}$ is an elliptic curve with a rational $p$-torsion for $p=2$ or $3$, then there is a congruence relation between Ramanujan's tau function and $E$ modulo $p$. We make use of such congruences to compute the Iwasawa invariants of $2$-adic and $3$-adic Mazur--Tate elements attached to Ramanujan's tau function. We also investigate numerically the Iwasawa invariants of the Mazur--Tate elements attached to an elliptic curve with additive reduction at a fixed prime number.
This paper is a contribution to the description of some congruences on the odd prime factors of the class number of the number fields. An example of results obtained is: Let L/Q be a finite Galois solvable extension with [L:Q]=N, where N > 1 is odd. Let h(L) be the class number of L. Suppose that h(L) > 1. Let p be a prime dividing h(L). Let r be the rank of the p-class group of L. Then the product p\times (p^r-1)\times(p^{r-1}-1)\times ....\times (p-1) and N are not coprime. The proofs are elementary.
Recently, Romik determined in [9] the Taylor expansion of the Jacobi theta constant θ_3, around the point x = 1. He discovered a new integer sequence, (d(n))_0^\infty=1, 1, -1, 51, 849, -26199, \dots, from which the Taylor coefficients are built, and conjectured that the numbers d(n) satisfy certain congruences modulo various primes. In this paper, we prove some of these conjectures, for example that d(n)\equiv (-1)^{n+1}(mod 5) for all n\geq 1,and that for any prime p\equiv 3 (mod 4), d(n) vanishes modulo p for all large enough n.
A classical result in number theory is Dirichlet's theorem on the density of primes in an arithmetic progression. We prove a similar result for numbers with exactly k prime factors for k>1. Building upon a proof by E.M. Wright in 1954, we compute the natural density of such numbers where each prime satisfies a congruence condition. As an application, we obtain the density of squarefree n not greater than x with k prime factors such that a fixed quadratic equation has exactly 2^k solutions modulo n.
We prove a general family of congruences for Bernoulli numbers whose index is a polynomial function of a prime, modulo a power of that prime. Our family generalizes many known results, including the von Staudt--Clausen theorem and Kummer's congruence.
We prove several Ramanujan-type congruences modulo powers of $5$ for partition $k$-tuples with $5$-cores, for $k=2, 3, 4$. We also prove some new infinite families of congruences modulo powers of primes for $k$-tuples with $p$-cores, where $p$ is a prime.
In the paper, we establish a new estimate for Kloosterman sum over primes with respect to an arbitrary modulus $q$. This estimate together with some recent results of the second author are applied to the problem of solvability of the congruence \[ g(p_{1})\, + \,\ldots\, + \,g(p_{k}) \,\equiv\, m\pmod{q} \] in prime variables $p_{1},\ldots, p_{k}\le N$, $N\le q^{1-δ}$. Here $g(x)\,\equiv\,a\overline{x}+bx\pmod{q}$, where $a,b,m$ and $k\ge 3$ are arbitrary integers, $(ab,q)=1$. The main result of the paper gives an asymptotic formula for the number of solutions for the case when $q$ is coprime …
Let $p$ be a large prime number and $g$ be any integer of multiplicative order $T$ modulo $p$. We obtain a new estimate of the double exponential sum $$ S=\sum_{n\in \mathcal{N}}\left|\sum_{m\in \mathcal{M} }e_p(an g^{m})\right|, \quad \gcd (a,p)=1, $$ where $\mathcal{N}$ and $\mathcal{M}$ are intervals of consecutive integers with $|\mathcal{N}|=N$ and $|\mathcal{M}|=M<T$ elements. One representative example is the following consequence of the main result: if $N=M\approx p^{1/3}$, then $|S|< N^{2-1/8 + o(1)}$. We then apply our estimate to obtain new results on additive congruences involving …
By making use of only simple facts about congruence, we first show that every even Markoff number is congruent to 2 modulo 32, and then, generalizing an earlier result of Baragar, establish the uniqueness for those Markoff numbers c where one of 3c - 2 and 3c + 2 is a prime power, 4 times a prime power, or 8 times a prime power.
Let $\ell$ be any fixed prime number. We define the $\ell$-Genocchi numbers by $G_n:=\ell(1-\ell^n)B_n$, with $B_n$ the $n$-th Bernoulli number. They are integers. We introduce and study a variant of Kummer's notion of regularity of primes. We say that an odd prime $p$ is $\ell$-Genocchi irregular if it divides at least one of the $\ell$-Genocchi numbers $G_2,G_4,\ldots, G_{p-3}$, and $\ell$-regular otherwise. With the help of techniques used in the study of Artin's primitive root conjecture, we give asymptotic estimates for the number of $\ell$-Genocchi irregular primes in a prescribed arithm…
In this paper we provide a sufficient condition for a prime to be a congruence prime for an automorphic form $f$ on the unitary group $U(n,n)(A_F)$ for a large class of totally real fields $F$ via a divisibility of a special value of the standard $L$-function associated to $f$. We also study $\ell$-adic properties of the Fourier coefficients of an Ikeda lift $I_ϕ$ (of an elliptic modular form $ϕ$) on $U(n,n)(A_{\mathbf{Q}})$ proving that they are $\ell$-adic integers which do not all vanish modulo $\ell$. Finally we combine these results to show that the condition of $\ell$ being a congruence …
We show that for any prime prime $p\not=2$ $$\sum_{k=1}^{p-1} {(-1)^k\over k}{-{1\over 2} \choose k} \equiv -\sum_{k=1}^{(p-1)/2}{1\over k} \pmod{p^3}$$ by expressing the l.h.s. as a combination of alternating multiple harmonic sums.
Given a prime $p \ge 5$ and an abstract odd representation $ρ_n$ with coefficients modulo $p^n$ (for some $n \ge 1$) and big image, we prove the existence of a lift of $ρ_n$ to characteristic $0$ whenever local lifts exist (under some technical conditions). Moreover, we can chose the inertial type of our lift at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. In particular, our method shows that given a modular eigenform $f$ witho…
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/n$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$, $$ \sum_{k=1}^{p-1}\frac{H_k}{k^2}\equiv \sum_{k=1}^{p-1}\frac{H_k^2}{k} \equiv\frac{3}{2p}\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^2}. $$ Notice that the first part of this congruence is recently proposed by R. Tauraso as a problem in Amer. Math. Monthly. In our elementary proof of the second part of the above congruence we use certain classical congruences modulo a prime and the square of a prime, some congruences involving harmonic numbers and a combinatorial i…
We construct certain subgroups of hyperbolic triangle groups which we call "congruence" subgroups. These groups include the classical congruence subgroups of SL_2(ZZ), Hecke triangle groups, and 19 families of arithmetic triangle groups associated to Shimura curves. We determine the field of moduli of the curves associated to these groups and thereby realize the groups PSL_2(q) and PGL_2(q) regularly as Galois groups.
Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0<i_1<...<i_n<p}(i_1/3)(-1)^{i_1}/(i_1...i_n)=0 (mod p).$$
We develop a framework to investigate conjectures on congruences between the algebraic part of special values of $L$-functions of congruent motives. We show that algebraic local Euler factors satisfy precise interpolation properties in $p$-adic families of motives and that algebraic $p$-adic $L$-functions exist in quite large generality for $p$-adic families of automorphic motives. We formulate two conjectures refining (and correcting) the currently existing formulation of the Equivariant Tamagawa Number Conjecture with coefficients in Hecke algebras and pointing out the links between conjectu…
In this paper we present several finite families of congruences between cusp forms and Eisenstein series of higher weights at powers of prime ideals. We formulate a conjecture which describes properties of the prime ideals and their relation to the weights. We check the validity of the conjecture on several numerical examples.
Let $p$ be a prime and ${\mathcal{P}_{p}}$ the set of positive integers which are prime to $p$. We establish the following interesting congruence \[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{{{(-1)}^{i}}}{ijk}}\equiv \frac{{{p}^{r-1}}}{2}{{B}_{p-3}}\, (\bmod \, {{p}^{r}}).\]
The Fishburn numbers $ξ(n)$ are defined by the formal power series \[ \sum_{n \geq 0} ξ(n) q^n = \sum_{n \geq 0} \prod_{j = 1}^n (1 - (1 - q)^j). \] Recently, G. Andrews and J. Sellers discovered congruences of the form $ξ(p m + j) \equiv 0$ modulo $p$, valid for all $m \geq 0$. These congruences have then been complemented and generalized to the case of $r$-Fishburn numbers by F. Garvan. In this note, we answer a question of Andrews and Sellers regarding an extension of these congruences to the case of prime powers. We show that, under a certain condition, all these congruences indeed extend …
For a prime $p\equiv 3$ $(\text{mod }4)$, let $h(-8p)$ and $h(8p)$ be the class numbers of $\mathbb{Q}(\sqrt{-2p})$ and $\mathbb{Q}(\sqrt{2p})$, respectively. Let $Ψ(ξ)$ be the Hirzebruch sum of a quadratic irrational $ξ$. We show that $h(-8p)\equiv h(8p)\Big(Ψ(2\sqrt{2p})/3-Ψ\big((1+\sqrt{2p})/2\big)/3\Big)$ $(\text{mod }16)$. Also, we show that $h(-8p)\equiv 2h(8p)Ψ(2\sqrt{2p})/3$ $(\text{mod }8)$ if $p\equiv 3$ $(\text{mod }8)$, and $h(-8p)\equiv \big(2h(8p)Ψ(2\sqrt{2p})/3\big)+4$ $(\text{mod }8)$ if $p\equiv 7$ $(\text{mod }8)$.
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.
We continue the study of strong, weak, and $dc$-weak eigenforms introduced by Chen, Kiming, and Wiese. We completely determine all systems of Hecke eigenvalues of level $1$ modulo $128$, showing there are finitely many. This extends results of Hatada and can be considered as evidence for the more general conjecture formulated by the author together with Kiming and Wiese on finiteness of systems of Hecke eigenvalues modulo prime powers at any fixed level. We also discuss the finiteness of systems of Hecke eigenvalues of level $1$ modulo $9$, reducing the question to the finiteness of a single e…
Congruences of $p$-adic $L$-functions of modular forms at non-ordinary primes
Institute of Mathematics University of the Philippines Diliman（菲律宾大学达曼数学研究所）；Department of Mathematics and Statistics University of Ottawa（渥太华大学数学与统计系）
Let $p(n)$ be the ordinary partition function. In the 1960s Atkin found a number of examples of congruences of the form $p( Q^3 \ell n+β)\equiv0\pmod\ell$ where $\ell$ and $Q$ are prime and $5\leq \ell\leq 31$; these lie in two natural families distinguished by the square class of $1-24β\pmod\ell$. In recent decades much work has been done to understand congruences of the form $p(Q^m\ell n+β)\equiv 0\pmod\ell$. It is now known that there are many such congruences when $m\geq 4$, that such congruences are scarce (if they exist at all) when $m=1, 2$, and that for $m=0$ such congruences exist onl…
Let $\ell \geq 5$ be prime. For the partition function $p(n)$ and $5 \leq \ell \leq 31$, Atkin found a number of examples of primes $Q \geq 5$ such that there exist congruences of the form $p(\ell Q^{3} n+β) \equiv 0 \pmod{\ell}.$ Recently, Ahlgren, Allen, and Tang proved that there are infinitely many such congruences for every $\ell$. In this paper, for a wide range of $c \in \mathbb{F}_{\ell}$, we prove congruences of the form $p(\ell Q^{3} n+β_{0}) \equiv c \cdot p(\ell Q n+β_{1}) \pmod{\ell}$ for infinitely many primes $Q$. For a positive integer $r$, let $p_{r}(n)$ be the $r$-colored par…
The following congruence for power sums, $S_n(p)$, is well known and has many applications: $1^n+2^n +\dots +p^n \equiv\begin{cases} -1 \text{ mod } p, & \text{ if } \ p-1 \ | \ n; 0 \text{ mod } p, & \text{ if } \ p-1 \ \not| \ n, \end{cases}$ where $n\in{\mathbb N}$ and $p$ is prime. We extend this congruence, in particular, to the case when $p$ is any power of a prime. We also show that the sequence $(S_n(m) \text{ mod } k )_{m \geq 1}$ is periodic and determine its period.
Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in \mathbf{Z}$, we study the set $\bigcap_{i=1}^{n}\lbrace p\in\mathcal{P}-Σ_{X}, N_{X}(p)\neq a_{i}\ [\bmod\ p]\rbrace$ where $Σ_{X}$ is the finite set of primes of bad reduction for $X$. In case $\dim X\leq 3$, we show the set is either empty or has positive lower-density. We also address the question of the size of the smallest prime in that set. Using sieve method…
Prime and Touchard Congruences of Mixed-Type Bell Numbers
Department of Computer science, University of Torbat-e Jam（托尔巴特-贾姆大学计算机科学系）；Department of Pure Mathematics, Faculty of Mathematical Sciences, Ferdowsi University of Mashhad（马什哈德费尔多西大学数学科学学院纯数学系）
本文建立混合型斯特林数与贝尔数的组合算术框架，连通分拆结构、Touchard 多项式与素幂同余式，结合 p 进赋值理论证明相关同余式，推广组合序列经典算术性质。
In this paper we prove some transformation formulae for congruences modulo a prime and deduce some congruences for Domb numbers and Almkvist-Zudilin numbers. We also pose some conjectures on congruences modulo prime powers.
We remove logarithmic factors in error term estimates in asymptotic formulas for the number of solutions of a class of additive congruences modulo a prime number.
Let $p$ be a prime. In this paper, we present a detailed $p$-adic analysis to factorials and double factorials and their congruences. We give good bounds for the $p$-adic sizes of the coefficients of the divided universal Bernoulli number ${{\hat B_n}\over n}$ when $n$ is divisible by $p-1$. Using these we then establish the universal Kummer congruences modulo powers of a prime $p$ for the divided universal Bernoulli numbers ${{\hat B_n}\over n}$ when $n$ is divisible by $p-1$.
For a positive integer $t\geq 2$, let $b_{t}(n)$ denote the number of $t$-regular partitions of a nonnegative integer $n$. In a recent paper, Keith and Zanello investigated the parity of $b_{t}(n)$ when $t\leq 28$. They discovered new infinite families of Ramanujan type congruences modulo 2 for $b_{21}(n)$ involving every prime $p$ with $p\equiv 13, 17, 19, 23 \pmod{24}$. In this paper, we investigate the parity of $b_{21}(n)$ involving the primes $p$ with $p\equiv 1, 5, 7, 11 \pmod{24}$. We prove new infinite families of Ramanujan type congruences modulo 2 for $b_{21}(n)$ involving the odd pr…
Let $p>5$ be a fixed prime and assume that $α_1,α_2,α_3$ are coprime to $p$. We study the asymptotic behavior of small solutions of congruences of the form $α_1x_1^2+α_2x_2^2+α_3x_3^2\equiv 0\bmod{q}$ with $q=p^n$, where $\max\{|x_1|,|x_2|,|x_3|\}\le N$ and $(x_1x_2x_3,p)=1$. (In fact, we consider a smoothed version of this problem.) If $α_1,α_2,α_3$ are fixed and $n\rightarrow \infty$, we establish an asymptotic formula (and thereby the existence of such solutions) under the condition $N\gg q^{1/2+\varepsilon}$. If these coefficients are allowed to vary with $n$, we show that this formula hol…
In this paper we apply results from the theory of congruences of modular forms (control of reducible primes, level-lowering), the modularity of elliptic curves and Q-curves, and a couple of Frey curves of Fermat-Goldbach type, to show the existence of newforms of weight 2 and trivial nebentypus with coefficient fields of arbitrarily large degree and square-free or almost square-free level. More precisely, we prove that for any given numbers t and B, there exists a newform f of weight 2 and trivial nebentypus whose level N is square-free (almost square-free), N has exactly t prime divisors (t o…
Let $p$ be a prime, and let $k,n,m,n_0$ and $m_0$ be nonnegative integers such that $k\ge 1$, and $_0$ and $m_0$ are both less than $p$. K. Davis and W. Webb established that for a prime $p\ge 5$ the following variation of Lucas' Theorem modulo prime powers holds $$ {np^k +n_0 \choose mp^k+m_0}\equiv{np^{\lfloor(k-1)/3\rfloor} \choose mp^{\lfloor(k-1)/3\rfloor}} {n_0 \choose m_0} \pmod{p^k}. $$ In the proof the authors used their earlier result that present a generalized version of Lucas' Theorem. In this paper we present a a simple inductive proof of the above congruence. Our proof is based o…
