On the monomials of Poincar\'e Series of negative index

Divyanshu Kala

In the authors' words

It is well known that an Eisenstein series $E_{k}$ cannot be written as a product of two lower-weight Eisenstein series, except for $E_{14} = E_{4} E_{10} = E_{4}^{2} E_{6} = E_{6} E_{8}$ . A similar result is also known for the Hecke eigenforms. It is also known that equalities among the monomials of the Eisenstein series can be reduced to the above-mentioned identities. Recently, the present author, along with E. Saha studied the possible monomial relations of the Poincar\'e cusp forms of index $1$ . So far, the problem of studying the monomial relations has been restricted to the setup of holomorphic modular forms. For an even integer $k \geq 4$ and a negative integer $m$ , the Poincar\'e series $G_{k} (z, m)$ of weight $k$ and index $m$ is a weakly holomorphic modular form having a pole of order $- m$ at $ι \infty$ . It is immediate that the Poincar\'e series $G_{k} (z, m)$ for $m < 0$ can not be written as a product of two lower-weight Poincar\'e series of the same index $m$ . In this article, we investigate the possible equalities among the monomials of the Poincar\'e series $G_{k} (z, m)$ for arbitrary $m < 0$ . In particular, we show that for any $m < 0$ such that $0.06 \leq {- 2 mπ} \leq 0.99$ , two monomials composed of $G_{k} (z, m)$ of the weights $k \geq 50$ are never equal, where ${x}$ denotes the fractional part of a real number $x$ . In view of Weyl's equidistribution criterion, at least $93$ of $m < 0$ satisfies the above inequality.

Main resultLimitation the authors admit

On the monomials of Poincar\'e Series of negative index

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials