For any distinct two primes $p_1\equiv p_2\equiv 3$ $(\text{mod }4)$, let $h(-p_1)$, $h(-p_2)$ and $h(p_1p_2)$ be the class numbers of the quadratic fields $\mathbb{Q}(\sqrt{-p_1})$, $\mathbb{Q}(\sqrt{-p_2})$ and $\mathbb{Q}(\sqrt{p_1p_2})$, respectively. Let $ω_{p_1p_2}:=(1+\sqrt{p_1p_2})/2$ and let $Ψ(ω_{p_1p_2})$ be the Hirzebruch sum of $ω_{p_1p_2}$. We show that $h(-p_1)h(-p_2)\equiv h(p_1p_2)Ψ(ω_{p_1p_2})/n$ $(\text{mod }8)$, where $n=6$ (respectively, $n=2$) if $\min\{p_1,p_2\}>3$ (respectively, otherwise). We also consider the real quadratic order with conductor $2$ in $\mathbb{Q}(\sqrt{p_1p_2})$.
We give an improvement of a result of J. Martinet on Stickelberger's congruences for the absolute norms of relative discriminants of number fields, by using classical arguments of class field theory.
The equidistribution of roots of quadratic congruences with prime moduli depends crucially upon effective bounds for a special Weyl linear form. Duke, Friedlander and Iwaniec discovered a strong estimate for this Weyl linear form when the quadratic polynomial has negative discriminant. Tóth established an analogous but weaker bound when the quadratic polynomial has positive discriminant. We obtain a stronger estimate for the Weyl linear form for quadratics of positive discriminants.
Let F be the cubic field of discriminant -23 and let O be its ring of integers. By explicitly computing cohomology of congruence subgroups of GL(2,O), we computationally investigate modularity of elliptic curves over F.
We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).
We find and prove a class of congruences modulo 4 for Andrews' partition with certain ternary quadratic form. We also discuss distribution of $\overline{\mathcal{EO}}(n)$ and further prove that $\overline{\mathcal{EO}}(n)\equiv0\pmod4$ for almost all $n$. This study was inspired by similar congruences modulo 4 in the work by the second author and Garvan.
We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2 and the discriminant kernels of special orthogonal groups SO 0 (2, n), n = 3, 4, 6. The proof is based on an application of linear algebra adapted to the number theoretical needs.
We determine the normalizer in $SL_{2}(\mathbb{R})$ of several families of congruence subgroups of $SL_{2}(\mathbb{Z})$. In addition, we show how these tools can be used to evaluate the groups of automorphisms and the discriminant kernels of a large family of isotropic lattices of signature (2,1).
Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.
Let $\mathrm{pod}(n)$ denote the number of partitions of $n$ with odd parts distinct, and ${{r}_{k}}(n)$ be the number of representations of $n$ as sum of $k$ squares. We find the following two arithmetic relations: for any integer $n\ge 0$, \[\mathrm{pod}(3n+2)\equiv 2{{(-1)}^{n+1}}{{r}_{5}}(8n+5) \pmod{9}, \] and \[\mathrm{pod}(5n+2)\equiv 2{{(-1)}^{n}}{{r}_{3}}(8n+3) \pmod{5}.\] From which we deduce many interesting congruences including the following two infinite families of Ramanujan-type congruences: for $a \in \{11, 19\}$ and any integers $α\ge 1$ and $n \ge 0$, we have \[\mathrm{pod}\B…
For a radical extension K of odd prime degree the ring O_K of integers is constructed as a product of subrings with the following property: for all prime divisors q of the discriminant of O_K there is a q-maximal factor. The discriminant of O_K is the greatest common divisor of the discriminants of all factors. The results are applied to give a criterion for the monogeneity of K where the opposite is not true.
Partitions wherein the even parts appear in two different colours are known as cubic partitions. Recently, Merca introduced and studied the function $A(n)$, which is defined as the difference between the number of cubic partitions of $n$ into an even number of parts and the number of cubic partitions of $n$ into an odd number of parts. In particular, using Smoot's \textsf{RaduRK} Mathematica package, Merca proved the following congruences by finding the exact generating functions of the respective functions. For all $n\ge0$, \begin{align*}A(9n+5)\equiv 0\pmod 3,\\ A(27n+26)\equiv 0\pmod 3. \en…
Let $p$ and $q$ be two distinct prime numbers, and $X^{pq}/w_q$ be the quotient of the Shimura curve of discriminant $pq$ by the Atkin-Lehner involution $w_q$. We describe a way to verify in wide generality a criterion of Parent and Yafaev to prove that if $p$ and $q$ satisfy some explicite congruence conditions, known as the conditions of the non ramified case of Ogg, and if $p$ is large enough compared to $q$, then the quotient $X^{pq}/w_q$ has no rational point, except possibly special points.
Using quasimodular forms with respect to $Γ_0(4)$ we find exact relations between the M2-rank for partitions without repeated odd parts and three residual cranks. From these identities we are able to deduce various congruences mod 3 and 5 between the rank and crank moments. In turn, these congruences give congruences for $M2spt(n)$, the number of occurrences of smallest parts in the partitions of $n$ with smallest part even and without repeated odd parts, and for the higher order analog $M2spt_2(n)$.
We investigate Ramanujan congruences for the function which counts the overpartitions of n with restricted odd differences. In particular, we show that only one such congruence exists. Our method involves using the theory of modular forms to prove a more general theorem which bounds the number of primes possible for Ramanujan congruences in certain eta-quotients. This generalizes work done by Jonah Sinick. We also provide two congruences modulo 5 for this function.
We establish a congruence formula between $p$-adic logarithms of Heegner points for two elliptic curves with the same mod $p$ Galois representation. As a first application, we use the congruence formula when $p=2$ to explicitly construct many quadratic twists of analytic rank zero (resp. one) for a wide class of elliptic curves $E$. We show that the number of twists of $E$ up to twisting discriminant $X$ of analytic rank zero (resp. one) is $\gg X/\log^{5/6}X$, improving the current best general bound towards Goldfeld's conjecture due to Ono--Skinner (resp. Perelli--Pomykala). We also prove th…
Arithmetic Properties modulo powers of $2$ and $3$ for Overpartition $k$-Tuples with Odd Parts
Department of Mathematics, B. Borooah College（博罗阿学院数学系）；Mathematical and Physical Sciences division, School of Arts and Sciences, Ahmedabad University（艾哈迈达巴德大学文理学院数理科学部）；Department of Basic Sciences and Humanities, Assam Skill University（阿萨姆技能大学基础科学与人文学院）
For an odd positive integer $n\ge 5$, assuming the truth of the $abc$ conjecture, we show that for a positive proportion of pairs $(a,b)$ of integers the trinomials of the form $t^n+at+b (a,b\in \mathbb Z)$ are irreducible and their discriminants are squarefree.
Let $n$ be a squarefree positive odd integer. We will show that there exist infinitely many imaginary quadratic number fields with discriminant divisible by $n$ and-at the same time-having an element of order $n$ in the class group. We then apply our result to prove that for a given squarefree positive odd integer $n$ there exist infinitely many $N$ such that $n$ divides both $N$ and $r(N)$, where $r(N)$ is the representation number of $N$ as sums of three squares.
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups Γ_0 (pq) with p and q distinct odd primes, giving an answer to a question of Merel in these cases. We also compute the winding elements explicitly for these congruence subgroups. Our results are explicit versions of the Manin-Drinfeld Theorem.
We give an ergodic theoretic proof of a theorem of Duke about equidistribution of closed geodesics on the modular surface. The proof is closely related to the work of Yu. Linnik and B. Skubenko, who in particular proved this equidistribution under an additional congruence assumption on the discriminant. We give a more conceptual treatment using entropy theory, and show how to use positivity of the discriminant as a substitute for Linnik's congruence condition.
Let K be the totally real cubic field of discriminant 49, let O be its ring of integers, and let p be the prime over 7. Let Gamma (p)\subset Gamma = SL_2(O) be the principal congruence subgroup of level p. This paper investigates the geometry of the Hilbert modular threefold attached to Gamma (p) and some related varieties. In particular, we discover an octic in P^3 with 84 isolated singular points of type A_2.
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.
For a prime power $q$, we show that the discriminants of monic polynomials in $\mathbb{F}_q[x]$ of a fixed degree $m$ are equally distributed if $\gcd(q-1,m(m-1))=2$ when $q$ is odd and $\gcd(q-1,m(m-1))=1$ if $q$ is even. A theorem in the converse direction is proved when $q-1$ is squarefree.
Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also pose 13 conjectures on supercongruences.
In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} Z(p^{r})\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where $ Z(n)=\sum\limits_{i+j+k=n\atop{i,j,k\in\mathcal{P}_{n}}}\frac{1}{ijk}$ and $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we obtain a congruence for distinct odd primes $p,~q$ and positive integers $α,~β$, \begin{equation*} Z(p^αq^β)\equiv 2(2-q)(1-\frac{1}{q^{3}})p^{α-1}q^{β-1}B_{p-3}\pmod{p^α} \end{equation*} and the necessary and sufficient co…
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups $Γ_0(N)$ with $N$ odd square-free. We also compute the winding elements explicitly for these congruence subgroups. This gives an answer to a question of Merel in these cases. Our results are explicit versions of the Manin-Drinfeld Theorem [Thm. 6]. These results are the generalization of the paper [1] results to odd square-free level.
Let F be the imaginary quadratic field of discriminant -3 and OF its ring of integers. Let Gamma be the arithmetic group GL_3 (OF), and for any ideal n subset OF let Gamma_0 (n) be the congruence subgroup of level n consisting of matrices with bottom row (0,0,*) bmod n. In this paper we compute the cohomology spaces H^{nu - 1} (Gamma_0 (n); C) as a Hecke module for various levels n, where nu is the virtual cohomological dimension of Gamma. This represents the first attempt at such computations for GL_3 over an imaginary quadratic field, and complements work of Grunewald--Helling--Mennicke and …
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 …
For various positive integers $k$, the sums of $k$th powers of the first $n$ positive integers, $S_k(n+1)=1^k+2^k+...+n^k$, have got to be some of the most popular sums in all of mathematics. In this note we prove that for each $k\ge 2 $$ 2S_{2k+1}(n)- (2k+1)nS_{2k}(n)\equiv \{{array}{ll} 0\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\,even\,\,or}\,\, n\,\, {\rm is\,\, odd} & {\rm or} \,\, n\equiv 0\,(\bmod{\,4}) \frac{n^3}{2}\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\, odd} &,\,{\rm and}\,\, n\equiv 2\,(\bmod{\,4}). {array}.$$ The above congruence allows us to state an equivalent formulati…
Zagier in [4] discusses a construction of a function $F_{k,D}(x)$ defined for an even integer $k \geq 2$, and a positive discriminant $D$. This construction is intimately related to half-integral weight modular forms. In particular, the average value of this function is a constant multiple of the $D$-th Fourier coefficient of weight $k+1/2$ Eisenstein series constructed by H. Cohen in \cite{Cohen}. In this note we consider a construction which works both for even and odd positive integers $k$. Our function $F_{k,D,d}(x)$ depends on two discriminants $d$ and $D$ with signs sign$(d)=$ sign$(D)=(…
Let $Q(x,y)$ be a quadratic form with discriminant $D\neq 0$. We obtain non trivial upper bound estimates for the number of solutions of the congruence $Q(x,y)\equivλ\pmod{p}$, where $p$ is a prime and $x,y$ lie in certain intervals of length $M$, under the assumption that $Q(x,y)-λ$ is an absolutely irreducible polynomial modulo $p$. In particular we prove that the number of solutions to this congruence is $M^{o(1)}$ when $M\ll p^{1/4}$. These estimates generalize a previous result by Cilleruelo and Garaev on the particular congruence $xy\equiv λ\pmod{p}$.
In 2003, Zhao discovered a curious congruence involving harmonic series and Bernoulli numbers: for any odd prime $p$, $$\sum_{\substack{i,j,k\ge 1\\\gcd(ijk,p)=1\ı+j+k=p}}\frac{1}{ijk}\equiv -2B_{p-3} \pmod{p},$$ where $B_n$ is the $n$-th Bernoulli number. This congruence was generalized by Wang and Cai in 2014, and Cai, Shen and Jia in 2017 by replacing the odd prime $p$ in the summation and modulus with an odd prime power, and a product of two odd prime powers, respectively. In particular, Cai, Shen and Jia proposed a conjectural congruence: for any positive integer $n$ with an odd prime fac…
Let $ped(n)$ denote the number of partitions of $n$ wherein even parts are distinct (and odd parts are unrestricted). We show infinite families of congruences for $ped(n)$ modulo $8$. We also examine the behavior of $ped_{-2}(n)$ modulo $8$ in detail where $ped_{-2}(n)$ denotes the number of bipartitions of $n$ with even parts distinct. As a result, we find infinite families of congruences for $ped_{2}(n)$ modulo $8$.
Let $q$ be an odd prime and $f(x)$, $g(x)$ be polynomials with integer coefficients. If the system of congruences $f(x) \equiv g(x) \equiv 0 \pmod{q}$ has $\ell$ solutions, then $R\left(f(x),g(x)\right)\equiv 0 \pmod{q^\ell}$, where $R\left(f(x),g(x)\right)$ is the resultant of the polynomials. Using this result we give new proofs of some known congruences involving the Lucas sequences.
We study the properties of the odd Catalan numbers, C_n, modulo 2^k for k >= 2. We show that there exist only k - 1 different congruences of the odd Catalan numbers modulo 2^k. Moreover, these congruences can be obtained by C_{2^m - 1} (mod 2^k) for m = 1, 2, ..., k - 1.
In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) = 4a^2-2p mod p, if p = a^2+b^2 (where a is odd). Later, Zagier found some generalizations of Apery numbers, so called sporadic sequences, and recently Osburn and Straub proved similar congruences for all but one of the six Zagier's sporadic sequences (three cases were already known to be true) and conjectured the congruence for the sixth sequence. In this paper…
We consider the simplest quartic number fields $\mathbb{K}_m$ defined by the irreducible quartic polynomials $$x^4-mx^3-6x^2+mx+1,$$ where $m$ runs over the positive rational integers such that the odd part of $m^2+16$ is squarefree. In this paper, we study the common index divisor $I(\mathbb K_m)$ and determine explicitly the prime ideal decomposition for any prime number in any simplest quartic number fields $\mathbb{K}_m$. On the other hand, we establish an asymptotic formula for the number of simplest quartic fields with discriminant $\leq x$ and given index.
Let $h(-n)$ be the class number of the imaginary quadratic field with discriminant $-n$. We establish an asymtotic formula for correlations involving $h(-n)$ and $h(-n-l)$, over fundamental discriminants that avoid the congruence class $1\pmod{8}$. Our result is uniform in the shift $l$, and the proof uses an identity of Gauss relating $h(-n)$ to representations of integers as sums of three squares. We also prove analogous results on correlations involving $r_Q(n)$, the number of representations of an integer $n$ by an integral positive definite quadratic form $Q$.
Recently, Amdeberhan and Merca proved some arithmetic properties of the crank parity function $C(n)$ defined as the difference between the number of partitions of $n$ with even cranks and those with odd cranks and the sequence $a(n)$ whose generating function is the reciprocal of that of $C(n)$. The function $C(n)$ was first studied by Choi, Kang, and Lovejoy. In this note, we give new elementary proofs of some of their main results and extend them. In particular, we establish Ramanujan-type congruences modulo $5$ and $25$ for certain finite sums involving $C(n)$ and $a(n)$. Our proofs employ …
Let $\mathrm{pod}_{-4}(n)$ denote the number of partition quadruples of $n$ where the odd parts in each partition are distinct. We find many arithmetic properties of $\mathrm{pod}_{-4}(n)$ involving the following infinite family of congruences: for any integers $α\ge 1$ and $n \ge 0$, \[\mathrm{pod}_{-4}\Big({{3}^{α+1}}n+\frac{5\cdot {{3}^{α}}+1}{2}\Big)\equiv 0 \pmod{9}.\] We also establish some internal congruences and some congruences modulo 2, 5 and 8 satisfied by $\mathrm{pod}_{-4}(n)$.
Recently, Lin introduced two new partition functions PD$_t(n)$ and PDO$_t(n)$, which count the total number of tagged parts over all partitions of $n$ with designated summands and the total number of tagged parts over all partitions of $n$ with designated summands in which all parts are odd. Lin also proved some congruences modulo 3 and 9 for PD$_t(n)$ and PDO$_t(n)$, and conjectured some congruences modulo 8. Very recently, Adansie, Chern, and Xia found two new infinite families of congruences modulo 9 for PD$_t(n)$. In this paper, we prove the congruences modulo 8 conjectured by Lin and also…
Suppose that $p$ is an odd prime and $m$ is an integer not divisible by $p$. Sun and Tauraso [Adv. in Appl. Math., 45(2010), 125--148] gave $\sum_{k=0}^{n-1}\binom{2k}{k+d}/m^k$ and $\sum_{k=0}^{n-1}\binom{2k}{k+d}/(km^k)$ modulo $p$ for all $d=0,1, \ldots n$ and $n= p^a$, where $a$ is a positive integer. In this paper, we present some $q$-analogues of these congruences in the cases $m=2, 4$ for any positive integer $n$.
We consider the problem of classifying all positive-definite integer-valued quadratic forms that represent all positive odd integers. Kaplansky considered this problem for ternary forms, giving a list of 23 candidates, and proving that 19 of those represent all positive odds. (Jagy later dealt with a 20th candidate.) Assuming that the remaining three forms represent all positive odds, we prove that an arbitrary, positive-definite quadratic form represents all positive odds if and only if it represents the odd numbers from 1 up to 451. This result is analogous to Bhargava and Hanke's celebrated…
Let t be any integer and fix an odd prime ell. Let Phi(x) = T_ell^n(x)-t denote the n-fold composition of the Chebyshev polynomial of degree ell shifted by t. If this polynomial is irreducible, let K = bbq(theta), where theta is a root of Phi. A theorem of Dedekind's gives a condition on t for which K is monogenic. For other values of t, we apply the Montes algorithm to obtain a formula for the discriminant of K and to compute basis elements for the ring of integers O_K.
