Dice Question Streamline Icon: https://streamlinehq.com

Module structure question for multiple \wp-functions over multiple Eisenstein series

Determine whether for all integers r \ge 1 and k_1,\dots,k_r \ge 2, the product G_{k_1,\dots,k_r}(\tau)\,\wp_{2}(z;\tau) lies in the Q-linear space generated by multiple \wp-functions together with multiple Eisenstein series (denoted by the authors as {}), which is equivalent to establishing that this space forms a module over \mathcal{E}.

Information Square Streamline Icon: https://streamlinehq.com

Background

Motivated by analogies with multitangent functions, the authors ask whether the space spanned by multiple \wp-functions (augmented by multiple Eisenstein series) carries a natural \mathcal{E}-module structure. They indicate that this is equivalent to checking that all products of multiple Eisenstein series with \wp_2 lie in the same space.

Resolving this would clarify the algebraic relationship between multiple \wp-functions and multiple Eisenstein series and potentially enable module-theoretic techniques to analyze reductions and relations within the combined space.

References

Does ${G}{k_1,\dots,k_r}(\tau)\wp{2}(z;\tau)\in{}$ hold for any integers $k_1,\dots,k_r\geq 2$? For example, for any integers $k\geq 2$, we have ${G}_k\wp_2\in$ by \cref{thm:depth-2-wp-formula}. However, we have not yet been able to compute a sufficient number of examples to support this question.

Multiple $\wp$-Functions and Their Applications (2507.14118 - Kanno et al., 18 Jul 2025) in Section 4 (The algebra of multiple \wp-functions), concluding paragraphs