Since the study by Jacobi and Hecke, Hecke-type series have received a lot of attention. Unlike such series associated with indefinite quadratic forms, identities on Hecke-type series associated with definite quadratic forms are quite rare in the literature. Motivated by the works of Liu, we first establish many parameterized identities with two parameters by employing different $q$-transformation formulas and then deduce various Hecke-type identities associated with definite quadratic forms by specializing the choice of these two parameters. As applications, we utilize some of these Hecke-type identities to establish families of inequalities for several partition functions. Our proofs heavily rely on some formulas from the work of Zhi-Guo Liu.
We investigate the structure of the Hecke algebras related to the unimodular and modular group over hermitian fields and definite quaternion algebras. In particular we show that in general there is no decomposition into primary components. We can give a set of generators and in some special cases we deduce the law of interchange of the Siegel $Φ$-operator.
In this paper, we study solutions to $h=af^2+bfg+g^2$, where $f,g,h$ are Hecke newforms with respect to $Γ_1(N)$ of weight $k>2$ and $a,b\neq 0$. We show that the number of solutions is finite for all $N$. Assuming Maeda's conjecture, we prove that the Petersson inner product $\langle f^2,g\rangle$ is nonzero, where $f$ and $g$ are any nonzero cusp eigenforms for $SL_2(\mathbb{Z})$ of weight $k$ and $2k$, respectively. As a corollary, we obtain that, assuming Maeda's conjecture, identities between cusp eigenforms for $SL_2(\mathbb{Z})$ of the form $X^2+\sum_{i=1}^n α_iY_i=0$ all are forced by …
We obtain two-variable Hecke-Rogers identities for three universal mock theta functions. This implies that many of Ramanujan's mock theta functions, including all the third order functions, have a Hecke-Rogers-type double sum representation. We find new generating function identities for the Dyson rank function, the overpartition rank function, the M2-rank function and related spt-crank functions. Results are proved using the theory of basic hypergeometric functions.
Recently, Garvan obtained two-variable Hecke-Rogers identities for three universal mock theta functions $g_2(z;q),\,g_3(z;q),\,K(z;q)$ by using basic hypergeometric functions, and he proposed a problem of finding direct proofs of these identities by using Bailey pair technology. In this paper, we give proofs of Garvan's identities by applying Bailey's transform with the conjugate Bailey pair of Warnaar and three Bailey pairs deduced from two special cases of $_6ψ_6$ given by Slater. In particular, we obtain a compact form of two-variable Hecke-Rogers identity related to $g_3(z;q)$, which imply…
We prove that amongst all real quadratic fields and all spaces of Hilbert modular forms of full level and of weight $2$ or greater, the product of two Hecke eigenforms is not a Hecke eigenform except for finitely many real quadratic fields and finitely many weights. We show that for $\mathbb Q(\sqrt 5)$ there are exactly two such identities.
We study two aspects of Hecke symmetry in this note: first, we conjecture a generalization of the Ramanujan identities to the case of automorphic forms of Hecke groups; second, we conjecture a generalization of an inversion formula from the theory of elliptic functions.
By developing a connection between partial theta functions and Appell-Lerch sums, we find and prove a formula which expresses Hecke-type double sums in terms of Appell-Lerch sums and theta functions. Not only does our formula prove classical Hecke-type double sum identities such as those found in work Kac and Peterson on affine Lie Algebras and Hecke modular forms, but once we have the Hecke-type forms for Ramanujan's mock theta functions our formula gives straightforward proofs of many of the classical mock theta function identities. In particular, we obtain a new proof of the mock theta conj…
In a handwritten manuscript published with his lost notebook, Ramanujan stated without proofs forty identities for the Rogers-Ramanujan functions. We observe that the functions that appear in Ramanujan's identities can be obtained from a Hecke action on a certain family of eta products. We establish further Hecke-type relations for these functions involving binary quadratic forms. Our observations enable us to find new identities for the Rogers-Ramanujan functions and also to use such identities in turn to find identities involving binary quadratic forms.
We prove that Cohen's Maass wave form and Li-Ngo-Rhoades' Maass wave form are Hecke eigenforms with respect to certain Hecke operators. As a corollary, we find new identities of the $p$th coefficients of these Maass wave forms in terms of $p$th root of unities.
Building on the works of S. Bochner on equivalence of modular relation with functional equation associated to the Dirichlet series, K. Chandrasekharan and R. Narasimhan obtained new equivalences between the functional equation and some arithmetical identities. Sister Ann M. Heath considered the functional equation in the Hawkins and Knopp context and showed its equivalence to two arithmetical identities associated with entire modular cusp integrals involving rational period functions for the full modular group. In this paper we use techniques of Chandrasekharan and Narasimhan and extend the re…
We prove an algebraic property of the elements defining Hecke operators on period polynomials associated with modular forms, which implies that the pairing on period polynomials corresponding to the Petersson scalar product of modular forms is Hecke equivariant. As a consequence of this proof, we derive two indefinite theta series identities which can be seen as analogues of Jacobi's formula for the theta series associated with the sum of four squares.
We derive explicit formulas for the action of the Hecke operator $T(p)$ on the genus theta series of a positive definite integral quadratic form and prove a theorem on the generation of spaces of Eisenstein series by genus theta series. We also discuss connections of our results with Kudla's matching principle for theta integrals.
We obtain four Hecke-type double sums for three of Ramanujan's third order mock theta functions. We discuss how these four are related to the new mock theta functions of Andrews' work on $q$-orthogonal polynomials and Bringmann, Hikami, and Lovejoy's work on unified Witten-Reshetikhin-Turaev invariants of certain Seifert manifolds. We then prove identities between these new mock theta functions by first expressing them in terms of the universal mock theta function.
We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series of the forms $$\sum_{n=1}^{\infty}\frac{a(n)}{λ_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{μ_n^{s}},$$ satisfying a familiar functional equation involving the gamma function $Γ(s)$. A general identity is established. Appearing on one side is an infinite series involving $a(n)$ and modified Bessel functions $K_ν$, wherein on the other side is an infinite series involving $b(n)$ that is an analogue of the Hurwitz zeta function. Seven special cases, including $a(n)=τ(n)$ and $a(n)=r_k(n)$…
We generalize bounds of Liu-Wan-Xiao for slopes in eigencurves for definite unitary groups of rank $2$ to slopes in eigenvarieties for definite unitary groups of any rank. We show that for a definite unitary group of rank $n$, the Newton polygon of the characteristic power series of the $U_p$ Hecke operator has exact growth rate $x^{1+\frac2{n(n-1)}}$, times a constant proportional to the distance of the weight from the boundary of weight space. The proof goes through the classification of forms associated to principal series representations. We also give a consequence for the geometry of thes…
We study various relations governing quasi-automorphic forms associated to discrete subgroups of ${\rm SL}(2,\mathbb{R}) $ called Hecke groups. We show that the Eisenstein series associated to a Hecke group ${\rm H}(m)$ satisfy a set of $m$ coupled linear differential equations, which are natural analogues of the well-known Ramanujan identities for quasi-modular forms of ${\rm SL}(2,\mathbb{Z})$. Each Hecke group is then associated to a (hyper-)elliptic curve, whose coefficients are determined by an anomaly equation. For the $m=3$ and $4$ cases, the Ramanujan identities admit a natural geometr…
In this article, we establish an average behaviour of the normalised Fourier coefficients of the Hecke eigenforms supported at the integers represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$. We also obtain a quantitative result for the number of sign changes of the sequence of the normalised Fourier coefficients $λ_{f}(n)$ of the Hecke eigenforms $f$ where $n$ is represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$ in…
We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we investigate endoscopy using theta series and a theorem of Rallis. Along the way, we exhibit many examples and pose several conjectures. As a first application, we express counts of Kneser neighbours in terms of coefficients of classical or Siegel modular forms, complementing work of Chenevier-Lannes. As a second application, we prove new instances of Eisenstein co…
Waldspurger's formula gives an identity between the norm of a torus period and an L-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding L-functions agree, (the norms of) these periods---which occur on different quaternion algebras---are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.
It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev pol…
In this paper, we prove some interesting identities, among average representation numbers (associated to definite quaternion algebras) and `degree' of Hecke correspondences on Shimura curves (associated to indefinite quaternion algebras).
Borisov and Gunnells observed in 2001 that certain linear relations between products of two holomorphic weight 1 Eisenstein series had the same structure as the relations between periods of modular forms; a similar phenomenon exists in higher weights. We give a conceptual reason for this observation in arbitrary weight. This involves an unconventional way of expanding the Rankin-Selberg convolution of a cusp form with an Eisenstein series. We also prove a partial result towards understanding the action of a Hecke operator on a product of two Eisenstein series.
We work out the exact relationship between algebraic modular forms for a two-by-two general unitary group over a definite quaternion algebra, and those arising from genera of positive-definite quinary lattices, relating stabilisers of local lattices with specific open compact subgroups, paramodular at split places, and with Atkin-Lehner operators. Combining this with the recent work of Rösner and Weissauer, proving conjectures of Ibukiyama on Jacquet-Langlands type correspondences (mildly generalised here), provides an effective tool for computing Hecke eigenvalues for Siegel modular forms of …
Let $q:=e^{2 πiz}$, where $z \in \mathbb{H}$. For an even integer $k$, let $f(z):=q^h\prod_{m=1}^{\infty}(1-q^m)^{c(m)}$ be a meromorphic modular form of weight $k$ on $Γ_0(N)$. For a positive integer $m$, let $T_m$ be the $m$th Hecke operator and $D$ be a divisor of a modular curve with level $N$. Both subjects, the exponents $c(m)$ of a modular form and the distribution of the points in the support of $T_m. D$, have been widely investigated. When the level $N$ is one, Bruinier, Kohnen, and Ono obtained, in terms of the values of $j$-invariant function, identities between the exponents $c(m)$…
In the workshop of the July 2016 Building Bridges 3 conference in Sarajevo, I presented the results from a joint article with W. Raji (Mathematische Annalen 2017, preprint arXiv:1402.1854). That article gave a proof of various linear relations between products of two Eisenstein series on $Γ(N)$, including an interesting identity related to the action of a Hecke operator on such a product. The real proofs involve some care to deal with issues of convergence. In this note we give "fake" proofs for these identities, ignoring the convergence issues; some of these fake proofs appeared in the worksh…
In this paper, we study a family of rank two false theta series associated to the root lattice of type $A_2$. We show that these functions appear as Fourier coefficients of a meromorphic Jacobi form of negative definite matrix index. Hypergeometric $q$-series identities are also obtained.
We find two combinatorial identities on the theta series of the root lattices of the finite-dimensional simple Lie algebras of type $D_{4n}$ and the cosets in their integral duals, in terms of the well-known Essenstein series $E_4(z)$ and Ramanujan series $\Dlt_{24}(z)$. Using these two identities, we determine the theta series of certain infinite families of postive definite even unimodular lattices obtained by gluing finite copies of the root lattices of the finite-dimensional simple Lie algebras of type $D_{2n}$. It turns out that these theta series are weighted symmetric polynomials of two…
We study the relations governing the ring of quasiautomorphic forms associated to triangle groups with a single cusp, thereby extending our earlier results on Hecke groups. The Eisenstein series associated to these triangle groups are shown to satisfy Ramanujan-like identities. These identities in turn allow us to associate a nonlinear differential equation to each triangle group. We show that they are solved by the quasiautomorphic weight-2 Eisenstein series associated to the triangle group and its orbit under the group action. We conclude by discussing the Painlevé property of these nonlinea…
The theta series of the two unimodular even positive definite lattices of rank 16 are known to be linearly dependent in degree at most 3 and linearly independent in degree 4. In this paper we consider the next case of the 24 Niemeier lattices of rank 24. The associated theta series are linearly dependent in degree at most 11 and linearly independent in degree 12. The resulting Siegel cusp form of degree 12 and weight 12 is a Hecke eigenform which seems to have interesting properties.
Hurwitz class number relations and mock modular forms
University of Cologne（科隆大学）；Soochow University（东吴大学）；The University of Hong Kong（香港大学）；RWTH Aachen University（亚琛工业大学）；National Taiwan University（台湾大学）；National Center for Theoretical Sciences（国家理论科学中心）
We introduce a smooth variance sum associated to a pair of positive definite symmetric integral matrices $A_{m\times m}$ and $B_{n\times n}$, where $m\geq n$. By using the oscillator representation, we give a formula for this variance sum in terms of a smooth sum over the square of a functional evaluated on the $B$-th Fourier coefficients of the vector valued holomorphic Siegel modular forms which are Hecke eigenforms and obtained by the theta transfer from $O_{A_{m\times m}}$. By using the Ramanujan bound on the Fourier coefficients of the holomorphic cusp forms, we give a sharp upper bound o…
In earlier work, the first named author generalized the construction of Darmon-style $\mathcal{L}$-invariants to cuspidal automorphic representations of semisimple groups of higher rank, which are cohomological with respect to the trivial coefficient system and Steinberg at a fixed prime. In this paper, assuming that the Archimedean component of the group has discrete series we show that these automorphic $\mathcal{L}$-invariants can be computed in terms of derivatives of Hecke-eigenvalues in $p$-adic families. Our proof is novel even in the case of modular forms, which was established by Bert…
