Search arXivSearch

arXiv · 2407.08437

Derivatives of theta functions as Traces of Partition Eisenstein series

Abstract

In his "lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of "partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_λ(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $ϕ: \mathcal{P}\mapsto \mathbb{C}$ on partitions, the weight $2n$ partition Eisenstein trace is $$ \text{Tr}_n(ϕ;q):=\sum_{λ\vdash n} ϕ(λ)E_λ(q). $$ For all $t$, we prove that $U_{2t}(q)=\text{Tr}_t(ϕ_U;q)$ and $V_{2t}(q)=\text{Tr}_t(ϕ_V;q),$ where $ϕ_U$ and $ϕ_V$ are natural partition weights, giving the first explicit quasimodular formulas for these series.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tewodros Amdeberhan, Ken Ono, Ajit Singh. 2024-09-03. Derivatives of theta functions as Traces of Partition Eisenstein series. https://arxiv.org/abs/2407.08437

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On vector valued automorphic forms for the Weil representation

We develop a theory of vector valued automorphic forms associated to the Weil representation $ω_f$ and corresponding to vector valued modular forms transforming with the ``finite'' Weil representation $ρ_L$. For each prime $p$ we determine the structure of a vector valued spherical Hecke algebra depending on $ω_f$, which acts on the space of automorphic forms.

math.NT

Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields

Via a novel application of Iwasawa theory, we study Hilbert's tenth problem for number fields occurring in $\mathbb{Z}_p$-towers of imaginary quadratic fields $K$. For a odd prime $p$, the lines $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ are identified with $\mathbb{Z}_p$-extensions $ K_{a,b}/K $. Under certain conditions on $ K $ that involve explicit elliptic curves, we identify a line $(a_0,b_0) \in \mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ such that for all $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ with $(a, b)\not\equiv (a_0, b_0)\pmod{p}$, Hilbert's tenth problem has a negative answer in all finite layers of $ K_{a,b} $. Using results of Bhargava et al., we prove unconditionally that a positive proportion of imaginary quadratic fields meet our criterion when $p=3$. For $p=11,13,31,37$, the analogous conclusions obtained from the rank-zero twist families of Kriz--Li are conditional on the vanishing of the $p$-primary Tate--Shafarevich groups for a positive relative proportion of those twists.

math.NT

The standard $L$-function attached to a vector valued modular form

We define two $L$-functions associated to a common vector valued eigenform $f$ transforming with the ``finite'' Weil representation. The first one can be seen as a standard zeta function defined by the eigenvalues of $f$. The second one can be interpreted as standard $L$-function defined as an Euler product where each $p$-factor is a rational function in terms of two unramified characters of the $p$-adic field $\Q_p$. We show that both $L$-functions are related and prove further that they both can be continued meromorphically to the whole complex $s$-plane.

math.NT