On a ring of modular forms related to the theta gradients map in genus \(2\) (Q2438907)

Let \(\mathcal{A}_g^{\Gamma'}\) denote the quotient of the Siegel upper half space of degree \(g\) by the congruence subgroup \(\Gamma'\). In [\textit{S. Grushevsky} and \textit{R. Salvati Manni}, J. Reine Angew. Math. 573, 45--59 (2004; Zbl 1113.14032)], it is shown that the \(2^{g-1}(2^g -1)\) gradients of Igusa's theta functions associated to odd characteristic provide a mapping \(\mathcal{A}_g^{\Gamma_g(4,8)}\) into the Grassmannian \(\text{Gr}_\mathbb C(g,2^{g-1}(2g-1))\) for \(g \geq 3\), where \(\Gamma_g(4,8)\) is the so-called Igusa group. However, in the case of \(g = 2\), this mapping is not injective. In this paper, a new mapping from \(\mathcal{A}^{\Gamma}\) to the projective space \(\mathbb{P}^{14}\) is defined by using the gradients ans this mapping is injective. Further, the author determines the structure of the graded ring of modular forms with respect to \(\Gamma\), and the ideal generated by the cusp forms with respect to \(\Gamma\). Finally, the congruence subgroup \(\Gamma\) contains \(\Gamma_2(4,8)\), and is contained in \(\Gamma_2(2,4)\).