Abstract:We give explicit expressions for MacMahon's generalized sums-of-divisors $q$-series $A_r$ and $C_r$ by relating them to (odd) multiple Eisenstein series. Recently, these sums-of-divisors have been studied in the context of quasimodular forms, vertex algebras, $N=4$ $SU(N)$ Super-Yang-Mills theory, and the study of congruences of partitions. We relate them to a broader mathematical framework and give explicit expressions for both $q$-series in terms of Eisenstein series and their odd variants.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to give explicit expressions between MacMahon's generalized divisor sum $q$-series $A_r(q)$ and $C_r(q)$ and (odd) multiple Eisenstein series. Specifically, the author studies the following two $q$-series:
\[
A_r(q)=\sum_{m_1>\cdots>m_r>0}\frac{q^{m_1+\cdots+m_r}}{(1 - q^{m_1})^2\cdots(1 - q^{m_r})^2}, \quad (r\geq1),
\]
and its "odd variant"
\[
C_r(q)=\sum_{m_1>\cdots>m_r>0, \, m_1,\ldots,m_r \text{ odd}}\frac{q^{m_1+\cdots+m_r}}{(1 - q^{m_1})^2\cdots(1 - q^{m_r})^2}, \quad (r\geq1).
\]
These series can be regarded as generalizations of divisor sums and have recently received attention in the study of quasimodular forms, vertex algebras, \(N = 4\) \(SU(N)\) super - Yang - Mills theory and partition congruences. The author relates them to a broader mathematical framework and gives explicit expressions of these two \(q\)-series in terms of Eisenstein series and their odd variants.
The main results of the paper are stated in the following theorems:
**Theorem 1.1**:
\[
1+\sum_{r\geq1}A_r(q)X^{2r}=\frac{2}{X}\arcsin\left(\frac{X}{2}\right)\exp\left(\sum_{j\geq1}\frac{(-1)^{j - 1}}{j}G_{2j}(q)\left(2\arcsin\left(\frac{X}{2}\right)\right)^{2j}\right),
\]
\[
1+\sum_{r\geq1}C_r(q)X^{2r}=\exp\left(\sum_{j\geq1}\frac{(-1)^{j - 1}}{j}G_{o,2j}(q)\left(2\arcsin\left(\frac{X}{2}\right)\right)^{2j}\right).
\]
By relating the \(q\)-series \(A_r\) and \(C_r\) to (odd) multiple Eisenstein series and their Fourier expansions, the author proves the above theorems. In addition, this work also provides linear combinations of \(A_r\) that are quasimodular forms with uniform weight.
In summary, this paper aims to provide a deeper understanding of MacMahon's generalized divisor sum \(q\)-series by introducing and studying multiple Eisenstein series and to provide non - recursive explicit expressions for these series.