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 $$\lambda=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_{\lambda}(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $\phi : \mathcal{P}\mapsto \mathbb{C}$ on partitions, the weight $2n$ partition Eisenstein trace is $$ \text{Tr}_n(\phi;q):=\sum_{\lambda \vdash n} \phi(\lambda)E_{\lambda}(q). $$ For all $t$, we prove that $U_{2t}(q)=\text{Tr}_t(\phi_U;q)$ and $V_{2t}(q)=\text{Tr}_t(\phi_V;q),$ where $\phi_U$ and $\phi_V$ are natural partition weights, giving the first explicit quasimodular formulas for these series.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the quasimodular form properties of the two q - series sequences \( U_{2t}(q) \) and \( V_{2t}(q) \) proposed by Ramanujan in his "Lost Notebook", and to give explicit formulas for these sequences. Specifically, Ramanujan claimed that these two sequences are quasimodular forms and can be expressed as polynomial forms of the classical Eisenstein series \( E_2(q) \), \( E_4(q) \), and \( E_6(q) \). However, although previous work has proven this property, no explicit formulas have been provided.
The main contributions of the paper are as follows:
1. **Explicit formulas**: The author gives explicit formulas for \( U_{2t}(q) \) and \( V_{2t}(q) \) for the first time. These formulas represent these two sequences as the traces of "partition Eisenstein series".
2. **Generating functions**: By using the Dedekind eta function and the Jacobi - Kronecker quadratic character, the author derives the generating functions of \( U_{2t}(q) \) and \( V_{2t}(q) \).
3. **Definition of traces**: The author defines the traces of partition Eisenstein series and expresses \( U_{2t}(q) \) and \( V_{2t}(q) \) through these traces.
### Formula summary
1. **Partition Eisenstein series**:
\[
E_\lambda(q) := E_2(q)^{m_1} E_4(q)^{m_2} \cdots E_{2n}(q)^{m_n}
\]
where \(\lambda=(1^{m_1}, 2^{m_2}, \ldots, n^{m_n}) \vdash n\).
2. **Partition Eisenstein trace**:
\[
\text{Tr}_n(\phi; q) := \sum_{\lambda \vdash n} \phi(\lambda) E_\lambda(q)
\]
3. **Trace representations of \( U_{2t}(q) \) and \( V_{2t}(q) \)**:
\[
U_{2t}(q)=\text{Tr}_t(\phi_U; q)
\]
\[
V_{2t}(q)=\text{Tr}_t(\phi_V; q)
\]
where \(\phi_U\) and \(\phi_V\) are natural partition weight functions.
### Generating functions
1. **Generating function of \( U_{2t}(q) \)**:
\[
\sum_{t \geq 0} (-1)^t U_{2t}(q) \cdot \frac{X^{2t + 1}}{(2t+1)!}=\frac{1}{2} \eta(q)^3 \cdot \sum_{n \in \mathbb{Z}} \chi_{- 4}(n) q^{n^2/8} \sin(nX)
\]
2. **Generating function of \( V_{2t}(q) \)**:
\[
\sum_{t \geq 0} (-1)^t V_{2t}(q) \cdot \frac{X^{2t}}{(2t)!}=\frac{1}{2} \eta(q) \cdot \sum_{n \in \mathbb{Z}} \chi_{12}(n) q^{n^2/24} \cos(nX)
\]
### Examples
1. **\( U_6(q) \)**:
\[
U_6=\frac{1}{9}(35 E_2^3 - 42 E_2 E_4 + 16 E_6)
\]
2. **\( V_8(q) \)**: