The Burkhardt group and modular forms. II (Q1882511): Difference between revisions

Let \(\Gamma_2\) denote the Siegel modular group of genus \(2\), \(\Gamma_2[3]\) its principal congruence subgroup of level \(3\), and \(A(\Gamma_2[3])\) the graded algebra of modular forms an \(\Gamma_2[3]\). The Burkhardt group \(\text{Sp}_2(\mathbb F_3)/\{\pm E\}\), which is a simple group of order \(2^6\cdot 3^4\cdot 5\), acts on the algebra \(A(\Gamma_2[3])\). In the first part of this study [Transform. Groups 9, No. 1, 25--45 (2004; Zbl 1115.11026)] the authors proved that \(A(\Gamma_2[3])\simeq\mathbb{C}[A_1,\dots, A_5, C_1,\dots, C_5]/{\mathcal I}\), where \(A_\nu\) and \(C_\nu\) are modular forms of weight 1 resp. 3, and the ideal 1 of relations is generated by 20 modular forms of weights 5 and 6. Now, the authors consider the subgroup \(\Gamma_2'[3]\) of index 2 in \(\Gamma_2[3]\) which is the kernel of a certain non-trivial character of \(\Gamma_2[3]\). They show that the graded algebra \(A(\Gamma_2'[3])\) of modular forms an this subgroup is isomorphic to \(\mathbb C[A_11,\dots,A_5, B_1,\dots, B_5, C_1,\dots, C_5]/{\mathcal J}\), where the modular forms \(B_\nu\) have weight 2 and the ideal \({\mathcal J}\) of relations is generated by \({\mathcal I}\) and 40 more forms. The modular forms \(B_\nu\) are Borcherds lifts of elliptic modular forms and can be represented as Borcherds products.