For every prime $p \geq 5$, we compute the $p$-th power of the Ramanujan vector field that arises from the differential relations discovered by Ramanujan for the Eisenstein series $E_2,E_4$ and $E_6$. Our method results in explicit equations for the $p$-th power and uses classical results of Serre and Swinnerton-Dyer about modular forms modulo $p$. From this, we verify that a general conjecture by Sheperd-Barron and Ekedahl is valid for the Ramanujan vector field. Furthermore, we consider the affine realization of a certain moduli space of elliptic curves where the Ramanujan vector field is defined, and describe - in characteristic $p$ - the locus given by supersingular elliptic curves in two ways: a classical one - using equations for the supersingular polynomial - and a new one as the singular set of some vector fields. Additionally, we prove that the Ramanujan vector field is transversal to this locus.
For any non-negative integer $n$ and non-zero integer $r$, let $p_r(n)$ denote Ramanujan's general partition function. By employing $q$-identities, we prove some new Ramanujan-type congruences modulo 5 for $p_r(n)$ for $r=-(5λ+1), -(5λ+3), -(5λ+4), -(25λ+1)$, $-(25λ+2)$, and any integer $λ$.
Let $B_{l,m}(n)$ denote the number of $(l,m)$-regular bipartitions of $n$. Recently, many authors proved several infinite families of congruences modulo $3$, $5$ and $11$ for $B_{l,m}(n)$. In this paper, using theta function identities to prove infinite families of congruences modulo $m$ for $(l,m)$-regular bipartitions, where $m\in\{7,3,11,13,17\}$.
The notion of cubic partitions is introduced by Hei-Chi Chan and named by Byungchan Kim in connection with Ramanujan's cubic continued fractions. Chan proved that cubic partition function has Ramanujan Type congruences modulo powers of $3$. In a recent paper, William Y.C. Chen and Bernard L.S. Lin studied the congruent property of the cubic partition function modulo $5$. In this note, we give Ramanujan type congruences for cubic partition function modulo powers of $5$.
Let $b_\ell(n)$ be the number of $\ell$-regular partitions of $n$. Recently, Hou et al established several infinite families of congruences for $b_\ell(n)$ modulo $m$, where $(\ell,m)=(3,3),(6,3),(5,5),(10,5)$ and $(7,7)$. In this paper, by the vanishing property given by Hou et al, we show an infinite family of congruence for $b_{11}(n)$ modulo $11$. Moreover, for $\ell= 3, 13$ and $25$, we obtain three infinite families of congruences for $b_{\ell}(n)$ modulo $3, 5$ and $13$ by the theory of Hecke eigenforms.
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.
We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured by Kanade-Russell in the spirit of Andrews-Schilling-Warnaar identities of the $A_2$ Rogers-Ramanujan type. We follow the footsteps of Kanade-Russell while we alter the computations heavily to accomplish our goals.
Congruences are found modulo powers of 5, 7 and 13 for Andrews' smallest parts partition function spt(n). These congruences are reminiscent of Ramanujan's partition congruences modulo powers of 5, 7 and 11. Recently, Ono proved explicit Ramanujan-type congruences for spt(n) modulo p for all primes p>3 which were conjectured earlier by the author. We extend Ono's method to handle the powers of 5, 7 and 13 congruences. We need the theory of weak Maass forms as well as certain classical modular equations for the Dedekind eta-function.
The notion of broken $k$-diamond partitions was introduced by Andrews and Paule. Let $Δ_k(n)$ denote the number of broken k-diamond partitions of $n$. They also posed three conjectures on the congruences of $Δ_2(n)$ modulo 2, 5 and 25. Hirschhorn and sellers proved the conjectures for modulo 2, and Chan proved cases of modulo 5. For the case of modulo 3, Radu and Sellers obtained an infinite family of congruences for $Δ_2(n)$. In this paper, we obtain two infinite families of congruences for $Δ_2(n)$ modulo 3 based on a formula of Radu and Sellers, the 3-dissection formula of the generating fu…
It is well known that Ramanujan conjectured congruences modulo powers of 5, 7 and and 11 for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of 5 for the crank parity function. The generating function for rank parity function is f(q), which is the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. We prove congruences modulo powers of 5 for the rank parity function.
Let $c_q(n)$ denote the Ramanujan sum modulo $q$, and let $x$ and $y$ be large reals, with $x = o(y)$. We obtain asymptotic formulas for the sums $$\sum_{n \le y}(\sum_{q \le x} c_q(n))^k \qquad (k = 1, 2).$$
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…
We present two new Ramanujan-type congruences modulo 5 for overpartition. We also give an affirmative answer to a conjecture of Dou and Lin, which includes four congruences modulo 25 for overpartition.
In 2015 Choi, Kim, and Lovejoy studied a weighted partition function, $A_1(m)$, which counted subpartitions with a structure related to the Rogers--Ramanujan identities. They conjectured the existence of an infinite class of congruences for $A_1(m)$, modulo powers of 5. We give an explicit form of this conjecture, and prove it for all powers of 5.
Let $τ(n)$ be the Ramanujan $τ$-function. We prove that for any integer $N$ the diophantine equation $$ \sum_{i=1}^{74000}τ(n_i)=N $$ has a solution in positive integers $n_1, n_2,..., n_{74000}$ satisfying the condition $$ \max_{1\le i\le 74000}n_i\ll |N|^{2/11}+1. $$ We also consider similar questions in the residue ring modulo a large prime $p.$
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…
We describe a higher dimensional generalization of Ramanujan's differential equations satisfied by the Eisenstein series $E_2$, $E_4$, and $E_6$. This will be obtained geometrically as follows. For every integer $g\ge 1$, we construct a moduli stack $\mathcal{B}_g$ over $\mathbf{Z}$ classifying principally polarized abelian varieties of dimension $g$ equipped with a suitable additional structure: a symplectic-Hodge basis of its first algebraic de Rham cohomology. We prove that $\mathcal{B}_g$ is a smooth Deligne-Mumford stack over $\mathbf{Z}$ of relative dimension $2g^2 + g$ and that $\mathca…
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.
Let $\overline{p}(n)$ denote the number of overpartitions of $n$. Hirschhorn and Sellers showed that $\overline{p}(4n+3)\equiv 0 \pmod{8}$ for $n\geq 0$. They also conjectured that $\overline{p}(40n+35)\equiv 0 \pmod{40}$ for $n\geq 0$. Chen and Xia proved this conjecture by using the $(p,k)$-parametrization of theta functions given by Alaca, Alaca and Williams. In this paper, we show that $\overline{p}(5n)\equiv (-1)^{n}\overline{p}(4\cdot 5n) \pmod{5}$ for $n \geq 0$ and $\overline{p}(n)\equiv (-1)^{n}\overline{p}(4n)\pmod{8}$ for $n \geq 0$ by using the relation of the generating function o…
Let $\overline{p}(n)$ denote the number of overpartitions of $n$. Recently, Fortin-Jacob-Mathieu and Hirschhorn-Sellers independently obtained 2-, 3- and 4-dissections of the generating function for $\overline{p}(n)$ and derived a number of congruences for $\overline{p}(n)$ modulo $4$, $8$ and $64$ including $\overline{p}(5n+2)\equiv 0 \pmod{4}$, $\overline{p}(4n+3)\equiv 0 \pmod{8}$ and $\overline{p}(8n+7)\equiv 0 \pmod{64}$. By employing dissection techniques, Yao and Xia obtained congruences for $\overline{p}(n)$ modulo $8, 16$ and $32$, such as $\overline{p}(48n+26) \equiv 0 \pmod{8}$, $\o…
Let $b_3(n)$ be the number of $3$-regular partitions of $n$. Recently, W. J. Keith and F. Zanello discovered infinite families of Ramanujan type congruences modulo $2$ for $b_3(2n)$ involving every prime $p$ with $p \equiv 13, 17, 19, 23 \pmod {24}$, and O. X. M. Yao provided new infinite families of Ramanujan type congruences modulo $2$ for $b_3(2n)$ involving every prime $p\geqslant 5$. In this paper, we introduce new infinite Ramanujan type congruences modulo $2$ for $b_3(2n)$. They complement naturally the results of Keith-Zanello and Yao and involve primes in $\mathcal P=\{p \text{ prime …
We describe higher dimensional generalizations of Ramanujan's classical differential relations satisfied by the Eisenstein series $E_2$, $E_4$, $E_6$. Such "higher Ramanujan equations" are given geometrically in terms of vector fields living on certain moduli stacks classifying abelian schemes equipped with suitable frames of their first de Rham cohomology. These vector fields are canonically constructed by means of the Gauss-Manin connection and the Kodaira-Spencer isomorphism. Using Mumford's theory of degenerating families of abelian varieties, we construct remarkable solutions of these dif…
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…
By applying Chinese remainder theorem for coprime polynomials and the "creative microscoping" method recently introduced by the author and Zudilin, we establish parametric generalizations of three $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. The original $q$-supercongruences then follow from these parametric generalizations by taking the limits as the parameter tends to $1$ (l'Hôpital's rule is utilized here). In particular, we prove a complete $q$-analogue of the (J.2) supercongruence of Van Hamme and a complete $q$-analogue of a "divergent" Ramanujan-type supercon…
We employ spectral methods of automorphic forms to establish a holomorphic projection operator for tensor products of vector-valued harmonic weak Maass forms and vector-valued modular forms. We apply this operator to discover simple recursions for Fourier series coefficients of Ramanujan's mock theta functions.
We work out a non-trivial example of lifting a so-called weak eigenform to a true, characteristic 0 eigenform. The weak eigenform is closely related to Ramanujan's tau function whereas the characteristic 0 eigenform is attached to an elliptic curve defined over ${\mathbb Q}$. We produce the lift by showing that the coefficients of the initial, weak eigenform (almost all) occur as traces of Frobenii in the Galois representation on the 4-torsion of the elliptic curve. The example is remarkable as the initial form is known not to be liftable to any characteristic 0 eigenform of level 1. We use th…
In the first part of this work, we have considered a moduli space $B_g$ classifying principally polarized abelian varieties of dimension $g$ endowed with a symplectic-Hodge basis, and we have constructed the higher Ramanujan vector fields $(v_{kl})_{1\le k\le l \le g}$ on it. In this second part, we study these objects from a complex analytic viewpoint. We construct a holomorphic map $φ_g : \mathbf{H}_g \to B_g(\mathbf{C})$, where $\mathbf{H}_g$ denotes the Siegel upper half-space of genus $g$, satisfying the system of differential equations $\frac{1}{2πi}\frac{\partial φ_g}{\partial τ_{kl}}=v…
Let $p_r(n)$ denote the number of $r$-component multipartitions of $n$, and let $S_{γ,λ}$ be the space spanned by $η(24z)^γϕ(24z)$, where $η(z)$ is the Dedekind's eta function and $ϕ(z)$ is a holomorphic modular form in $M_λ({\rm SL}_2(\mathbb{Z}))$. In this paper, we show that the generating function of $p_r(\frac{m^k n +r}{24})$ with respect to $n$ is congruent to a function in the space $S_{γ,λ}$ modulo $m^k$. As special cases, this relation leads to many well known congruences including the Ramanujan congruences of $p(n)$ modulo $5,7,11$ and Gandhi's congruences of $p_2(n)$ modulo 5 and $p…
We prove seven of the Rogers-Ramanujan type identities modulo $12$ that were conjectured by Kanade and Russell. Included among these seven are the two original modulo $12$ identities, in which the products have asymmetric congruence conditions, as well as the three symmetric identities related to the principally specialized characters of certain level $2$ modules of $A_9^{(2)}$. We also give reductions of four other conjectures in terms of single-sum basic hypergeometric series.
For a number field $K$ with ring of integers ${\mathcal O}_K$, we prove an analogue over finite rings of the form ${\mathcal O}_K/{\mathcal P}^m$ of the Fundamental Theorem on the Fourier transform of a relative invariant of prehomogeneous vector spaces, where ${\mathcal P}$ is a big enough prime ideal of ${\mathcal O}_K$ and $m>1$. In the appendix, F. Sato gives an application of the Theorems A, B and the Theorems A, B, C in J. Denef and A. Gyoja [\emph{Character sums associated to prehomogeneous vector spaces}, Compos. Math., \textbf{113} (1998) 237--346] to the functional equation of $L$-fu…
Ramanujan Complexes from Unitary Groups over Number Fields
Succinct Inc（Succinct公司）；University of Vienna, Fakultät für Mathematik（维也纳大学，数学学院）；Institute for Advanced Study in Mathematics of Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）
Let $π_1,π_2$ be a pair of cuspidal complex, or $\ell$-adic, representations of the general linear group of rank $n$ over a non-archimedean local field $F$ of residual characteristic $p$, different to $\ell$. Whenever the local Rankin-Selberg $L$-factor $L(X,π_1,π_2)$ is nontrivial, we exhibit explicit test vectors in the Whittaker models of $π_1$ and $π_2$ such that the local Rankin-Selberg integral associated to these vectors and to the characteristic function of $\mathfrak{o}_F^n$ is equal to $L(X,π_1,π_2)$. We give an initial application of the test vectors to reduction modulo $\ell$ of $\…
We give an explicit construction of vector-valued Yoshida lifts and derive a formula of the Bessel periods of Yoshida lifts, by which we prove the non-vanishing modulo a prime of Yoshida lifts attached to a pair of elliptic modular newforms. As a consequence, we obtain a new proof of the non-vanishing of Yoshida lifts.
We study the supersingular curves on Picard modular surfaces modulo a prime $p$ which is inert in the underlying quadratic imaginary field. We analyze the automorphic vector bundles in characteristic $p$, and as an application derive a formula relating the number of irreducible components in the supersingular locus to the second Chern class of the surface.
The partition function $ p_{[1^c11^d]}(n)$ can be defined using the generating function, \[\sum_{n=0}^{\infty}p_{[1^c{11}^d]}(n)q^n=\prod_{n=1}^{\infty}\dfrac{1}{(1-q^n)^c(1-q^{11 n})^d}.\] In this paper, we prove infinite families of congruences for the partition function $ p_{[1^c11^d]}(n)$ modulo powers of $11$ for any integers $c$ and $d$, which generalizes Atkin and Gordon's congruences for powers of the partition function. The proofs use an explicit basis for the vector space of modular functions of the congruence subgroup $Γ_0(11)$.
Given a matrix $A\in \mathrm{GL}_d(\mathbb{Z})$. We study the pseudorandomness of vectors $\mathbf{u}_n$ generated by a linear recurrent relation of the form $$ \mathbf{u}_{n+1} \equiv A \mathbf{u}_n \pmod {p^t}, \qquad n = 0, 1, \ldots, $$ modulo $p^t$ with a fixed prime $p$ and sufficiently large integer $t \geq 1$. We study such sequences over very short segments of length which is not accessible via previously used methods. Our technique is based on the method of N. M. Korobov (1972) of estimating double Weyl sums and a fully explicit form of the Vinogradov mean value theorem due to K. For…
We discuss the Bethe ansatz in the Gaudin model on the tensor product of finite-dimensional $sl_2$-modules over the field $F_p$ with $p$ elements, where $p$ is a prime number. We define the Bethe ansatz equations and show that if $(t^0_1,\dots,t^0_k)$ is a solution of the Bethe ansatz equations, then the corresponding Bethe vector is an eigenvector of the Gaudin Hamiltonians. We characterize solutions $(t^0_1,\dots,t^0_k)$ of the Bethe ansatz equations as certain two-dimensional subspaces of the space of polynomials $F_p[x]$. We consider the case when the number of parameters $k$ equals 1. In …
We study the qKZ difference equations with values in the $n$-th tensor power of the vector $sl_2$ representation $V$, variables $z_1,\dots,z_n$ and integer step $κ$. For any integer $N$ relatively prime to the step $κ$, we construct a family of polynomials $f_r(z)$ in variables $z_1,\dots,z_n$ with values in $V^{\otimes n}$ such that the coordinates of these polynomials with respect to the standard basis of $V^{\otimes n}$ are polynomials with integer coefficients. We show that the polynomials $f_r(z)$ satisfy the qKZ equations modulo $N$. Polynomials $f_r(z)$ are modulo $N$ analogs of the hyp…
