Abstract
We extend Igusa’s description of the relation between invariants of binary sextics and Siegel modular forms of degree 2 to a relation between covariants and vector-valued Siegel modular forms of degree 2. We show how this relation can be used to effectively calculate the Fourier expansions of Siegel modular forms of degree 2.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In his 1960 papers Igusa explained the relation between the invariant theory of binary sextics and scalar-valued Siegel modular forms of degree (or genus) 2. The relation stems from the fact that the moduli space \({{\mathcal {M}}}_{2}\) of curves of genus 2 admits two descriptions. The moduli space \({{\mathcal {M}}}_{2}\) has a classical description in terms of the invariant theory of binary sextics. But via the Torelli morphism \({{\mathcal {M}}}_{2}\) is an open part of a Shimura variety, the moduli space \({{\mathcal {A}}}_{2}\) of principally polarized abelian surfaces. Therefore we have two descriptions of natural vector bundles on our moduli space and thus two descriptions of their sections. The purpose of this paper is to extend the correspondence given by Igusa between invariants of binary sextics and scalar-valued Siegel modular forms of degree 2 to a correspondence between covariants and vector-valued Siegel modular forms of degree 2. We give a description of vector-valued Siegel modular forms of degree 2 in terms of covariants of the action of \(\mathrm{SL}(2,{{\mathbb {C}}})\) on the space of binary sextics.
Since the complement of the Torelli image of \({{\mathcal {M}}}_2\) in \({{\mathcal {A}}}_2\) is the space \({{\mathcal {A}}}_{1,1}\) of decomposable abelian surfaces (products of elliptic curves) we have to analyze the orders of modular forms described by covariants along this locus. The scalar-valued modular forms \(\chi _{10}\) and its square root \(\chi _5\) that vanish with multiplicity 2 and 1 along this locus play a key role.
We shall see that the ‘first’ vector-valued modular form that appears on \({\mathrm {Sp}}({4},{{\mathbb {Z}}})\), the form \(\chi _{6,8}\) of weight (6, 8), corresponds in some sense to the ‘universal’ binary sextic. The relation between covariants and modular forms allows us to use constructions from representation theory to construct vector-valued Siegel modular forms. In fact, we shall show that up to multiplication by a suitable power of \(\chi _{10}\), every vector-valued Siegel modular form of degree 2 can be obtained by applying a representation-theoretic construction to the form \(\chi _{6,8}\). In this sense, our form \(\chi _{6,8}\) may be called the ‘universal vector-valued Siegel modular form of degree 2’. In fact, in practice we work with the form \(\chi _{6,3}=\chi _{6,8}/\chi _{5}\) which is a modular form with a character.
We show that our constructions can be used to efficiently calculate the Fourier expansions of vector-valued Siegel modular forms. We illustrate this with a number of significant examples where we use these Fourier expansions to calculate eigenvalues of Hecke operators and check instances of Harder type congruences.
Similar ideas will be worked out for the case of genus 3 in a forthcoming paper.
2 Siegel modular forms
The Siegel modular group \(\Gamma _g={\mathrm {Sp}}({2g},{{\mathbb {Z}}})\) of degree (or genus) g acts on the Siegel upper half-space
of degree g by
A scalar-valued Siegel modular form of degree \(g>1\) and weight k is a holomorphic function \(f :{\mathfrak {H}}_g \rightarrow {{\mathbb {C}}}\) satisfying
for all \(\gamma \in \Gamma _g\). (For \(g=1\) we also need a growth condition at infinity.) If W is a finite-dimensional complex vector space and \(\rho : {\mathrm {GL}({g},{{\mathbb {C}}})} \rightarrow \mathrm{GL}(W)\) a representation, then a vector-valued Siegel modular form of degree \(g>1\) and weight \(\rho \) is a holomorphic map \(f: {\mathfrak {H}}_g \rightarrow W\) such that
for all \(\gamma \in \Gamma _g\). Siegel modular forms can be interpreted as sections of vector bundles. The moduli space \({{\mathcal {A}}}_{g}({{\mathbb {C}}})=\Gamma _g \backslash {\mathfrak {H}}_g\) of complex principally polarized abelian varieties of dimension g carries an orbifold vector bundle of rank g, the Hodge bundle \({{\mathbb {E}}}\), defined by the factor of automorphy given by
Its determinant \(L=\det ({{\mathbb {E}}})\) defines a line bundle. A scalar-valued Siegel modular form of degree g and weight k can be seen as a section of \(L^{\otimes k}\). A vector-valued Siegel modular form of weight \(\rho \) can be viewed as a section of the vector bundle \({{\mathbb {E}}}_{\rho }\) that is defined by the factor of automorphy \(j(\gamma ,\tau )=\rho (c\tau +d)\). The vector bundle \({{\mathbb {E}}}\) and the bundles \({{\mathbb {E}}}_{\rho }\) extend in a canonical way to toroidal compactifications of \({{\mathcal {A}}}_{g}\) and the Koecher principle says that their sections do so too.
We are interested in the case \(g=2\). An irreducible representation of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) is of the form \({\mathrm {Sym}}^j(V)\otimes \det (V)^{\otimes k}\) for \((j,k)\in {{\mathbb {Z}}}_{\ge 0}\times {{\mathbb {Z}}}\) with V the standard representation of \({\mathrm {GL}({2},{{\mathbb {C}}})}\). We denote the corresponding vector space of Siegel modular forms by \(M_{j,k}(\Gamma _2)\) or simply by \(M_{j,k}\). It contains a subspace of cusp forms denoted by \(S_{j,k}(\Gamma _2)\) or simply by \(S_{j,k}\). The scalar-valued modular forms correspond to the case where \(j=0\).
The scalar-valued modular forms of degree 2 form a ring \(R=\oplus _k M_{0,k}(\Gamma _2)\). Igusa showed in [14] that R is generated by modular forms \(E_4,E_6,\chi _{10}, \chi _{12}\) and \(\chi _{35}\) of weight 4, 6, 10, 12 and 35. The subring \(R^\mathrm{ev}\) of modular forms of even weight is the pure polynomial ring generated by \(E_4,E_6,\chi _{10}\) and \(\chi _{12}\), and the form \(\chi _{35}\) satisfies a quadratic equation over \(R^\mathrm{ev}\) expressing \(\chi _{35}^2\) as a polynomial in \(E_4,E_6,\chi _{10}\) and \(\chi _{12}\).
The bi-graded R-module \(M=\oplus _{j,k} M_{j,k}\) can also be made into a ring by using the canonical projections \({\mathrm {Sym}}^{j_1}(V) \otimes {\mathrm {Sym}}^{j_2}(V) \rightarrow {\mathrm {Sym}}^{j_1+j_2}(V)\) defined by multiplying homogeneous polynomials of degree \(j_1\) and \(j_2\) in two variables to define the multiplication.
The ring M of vector-valued modular forms is not finitely generated as shown by Grundh, see [9, p. 234].
3 Invariants and covariants of binary sextics
Let V be a 2-dimensional vector space (over \({{\mathbb {C}}}\)), generated by elements \(x_1\) and \(x_2\). We will denote by \(\mathrm{Sym}^6(V)\) the space of binary sextics, where we write a binary sextic as
The group \({\mathrm {GL}({2},{{\mathbb {C}}})}\) acts on V via \((x_1,x_2) \mapsto (ax_1+bx_2, cx_1+dx_2)\) for \((a,b;c,d) \in {\mathrm {GL}({2},{{{\mathbb {C}}}})}\). This induces an action of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) on \(\mathrm{Sym}^6(V)\), and similarly actions of \({\mathrm {PGL}({2},{{\mathbb {C}}})}\) and \({\mathrm {SL}}({2},{{\mathbb {C}}})\) on \({\mathcal X}={{\mathbb {P}}}(\mathrm{Sym}^6(V))\). We take \((a_0:a_1: \ldots :a_6)\) as coordinates on the projectivized space \({{\mathcal {X}}}\).
The space \({{\mathcal {X}}}\) carries the natural ample line bundle \({{\mathcal {L}}}={{\mathcal {O}}}_{{\mathbb {P}}({\mathrm {Sym}}^6(V))}(1)\). On \({{\mathcal {L}}}\) we have an action of the group \({\mathrm {SL}}({2},{{\mathbb {C}}})\) that is compatible with the action on the projectivized space \({{\mathcal {X}}}\) of binary sextics, see [21]. We can retrieve \({{\mathcal {X}}}\) as the projective scheme \(\mathrm{Proj} (\oplus _n \mathrm{H}^0({\mathcal X},{{\mathcal {L}}}^n))\).
The ring of invariants is defined as the graded ring
Thus an invariant can be seen as a polynomial in the coefficients \(a_i\) of f that is invariant under the action of \({\mathrm {SL}}({2},{{\mathbb {C}}})\). The ring of these invariants was determined in the 19th century by work of Clebsch and Bolza [3, 5]. It is generated by elements A, B, C, D and E of degrees 6, 12, 18, 30 and 45 in the roots of the binary sextic. We normalize their degree by taking the degree in the roots divided by 3 and this is then the degree in the \(a_i\). The invariant D is the discriminant and E satisfies a quadratic equation expressing \(E^2\) in the even invariants.
Given the representation of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) on V and on \({\mathrm {Sym}}^6(V)\) we look at equivariant inclusions of \({\mathrm {GL}({2},{{\mathbb {C}}})}\)-representations
with A a \({\mathrm {GL}({2},{{\mathbb {C}}})}\)-module, or equivalently at equivariant inclusions
The image \(\varphi (1)\) is denoted \(\Phi =\Phi (\varphi )\) and called a covariant.
If \(A=A[\lambda ]\) is the irreducible representation of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) of highest weight \(\lambda =(\lambda _1,\lambda _2)\) with \(\lambda _1 \ge \lambda _2\) then the covariant \(\Phi \) can be viewed as a form of degree d in the variables \(a_0,\ldots ,a_6\), of degree \(\lambda _1-\lambda _2\) in \(x_1\) and \(x_2\).
Example 3.1
The tautological f. As a first example we consider the (tautological) case where \(d=1\) and \(A={\mathrm {Sym}}^6(V)\) and we take \(\iota _A=\mathrm{id}_{{\mathrm {Sym}}^6(V)}\). Then the covariant \(\Phi =\varphi (1)\) can be viewed as the universal binary sextic \(f=\sum _J a_J x^J\) given by (1).
Example 3.2
As a second example we look at \(d=2\). We have the isotypical decomposition
We can view the covariant associated to A[12, 0] as the square of the tautological f given by (1), while the covariant associated to A[10, 2] is the Hessian of the polynomial f given by \(f_{x_1x_1}f_{x_2x_2}-f_{x_1x_2}^2\) or equivalently (up to a scalar) by
The covariant corresponding to A[8, 4] is given by
Moreover, the covariant associated to A[6, 6] is an invariant equal to \(a_0a_6-6\, a_1a_5+15\, a_2a_4-10\, a_3^2\) and coincides (up to a multiplicative scalar) with the invariant \(A \in I\).
The covariants of the action of \({\mathrm {SL}}({2},{{\mathbb {C}}})\) form a graded ring C. This ring can be identified with the ring of invariants
where we write \(V_i={\mathrm {Sym}}^i(V)\), see [23, p. 55]. It was shown in the 19th century by Clebsch and others that the ring C is generated by 26 elements (5 invariants and 21 other covariants) [5, p. 296]. Covariants corresponding to an irreducible representation \(A[\lambda ]\) with \(\lambda _1+\lambda _2=6 \, d\) can be calculated by the so-called symbolic method. We refer to [10, p. 156], [4] and [22, p. 214].
4 Covariants and Siegel modular forms
The moduli space of curves of genus 2 admits two different descriptions. First, using the Torelli morphism t we can view \({{\mathcal {M}}}_{2}\) as an open subspace of the moduli space \({{\mathcal {A}}}_{2}\) of principally polarized abelian surfaces. The complement of the image \(t({{\mathcal {M}}}_{2})\) in \({{\mathcal {A}}}_{2}\) is the divisor \({{\mathcal {A}}}_{1,1}\) of products of elliptic curves. Over the complex numbers we can view \({{\mathcal {M}}}_{2}({{\mathbb {C}}})\) as an open suborbifold of the orbifold \({{\mathcal {A}}}_{2}({{\mathbb {C}}})=\Gamma _2\backslash {\mathfrak {H}}_2\).
The second description of \({{\mathcal {M}}}_{2}\) is as the GIT quotient associated to the action of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) on the space \(X={\mathrm {Sym}}^6(V)\) of binary sextics. A binary sextic \(f(x_1,x_2)\) with non-vanishing discriminant determines a curve C of genus 2 with affine equation \(y^2={\tilde{f}}(x)\) with \({\tilde{f}}(x)=f(x,1)\). Moreover, the curve C comes with a basis of the space of differentials given by xdx / y and dx / y.
We let the group \({\mathrm {GL}({2},{{\mathbb {C}}})}\) act on the pairs (x, y) by
This gives an action \(dx \mapsto (ad-bc) \, dx /(cx+d)^2\) and hence an action by \(\det (A) \, A\) on our basis xdx / y, dx / y.
Using this we can identify the moduli space \({{\mathcal {M}}}_{2}\) with the algebraic stack \([Y/{\mathrm {GL}({2},{{\mathbb {C}}})}]\) with Y the algebraic stack of curves with a framed Hodge bundle: the objects of Y are pairs \((\pi ,\alpha )\) with \(\pi : C \rightarrow S\) a curve of genus 2 and an isomorphism \(\alpha : {{\mathcal {O}}}_S^{\oplus 2} {\buildrel \sim \over \longrightarrow } \pi _*\omega _{\pi }\). The group \({\mathrm {GL}({2},{{\mathbb {C}}})}\) acts via \((\pi ,\alpha )\mapsto A \cdot (\pi ,\alpha )=(\pi , \det (A)\, A\circ \alpha )\). We thus have (see [24])
Let \(X^0\subset X\) be the complement of the discriminant locus. We have a natural identification of Y with \(X^0\) such that the above action of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) on Y corresponds to the action of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) on X given by \(A \circ f = f(ax_1+bx_2,cx_1+dx_2)\). This implies the following corollary.
Corollary 4.1
The pullback of the Hodge bundle \({{\mathbb {E}}}\) on \({{\mathcal {M}}}_{2}\) to \(X^0\cong Y\) is the \({\mathrm {GL}({2},{{\mathbb {C}}})}\)-equivariant bundle \(V\otimes \det (V)\).
This can be extended to include the locus of binary sextics with at least five distinct zeros. We write a binary sextic with five zeros as \((x-\alpha )^2f_4\) with \(f_4\) a binary quartic with non-zero discriminant and \(f_4(\alpha )\ne 0\). To this we associate the nodal curve C which is obtained by associating to \(f_4\) the genus 1 curve \(C_1\) given by \(w^2=\tilde{f}_4\) with \(\tilde{f}_4=f_4(x,1)\) and identifying the two points of \(C_1\) lying over \(x=\alpha \). It comes with two differential forms dx / w and \(dx/(x-\alpha )w\); the latter form has poles with opposite residues in the two points of \(C_1\) lying over \(x=\alpha \). The connection with the case of sextics with non-vanishing discriminant is given by setting \(y=w (x-\alpha )\). In this way we can associate to a binary sextic with at least five zeros a nodal curve with a frame of the Hodge bundle. The group \({\mathrm {GL}({2},{{\mathbb {C}}})}\) acts by
The identification \([Y/{\mathrm {GL}({2},{{\mathbb {C}}})}] \cong {{\mathcal {M}}}_{2}\) can be extended if we include for Y the case of irreducible nodal curves of arithmetic genus 2 with one node and replace \({{\mathcal {M}}}_{2}\) by \(\overline{{\mathcal {M}}}_2-\Delta _1\) with \(\Delta _1\) the locus of reducible curves. The conclusion of Corollary 4.1 is still valid. In a similar way it can be extended to the case of binary sextics all of whose zeros have multiplicity \(\le 2\). We denote by \(X^s\) the open subset of X of stable sextics, that is, binary sextics none of whose zeros have multiplicity \(\ge 3\).
A scalar-valued Siegel modular form F of weight k on \(\Gamma _2\) is by definition a section of the line bundle \(L^k\) with \(L=\det ({{\mathbb {E}}})\) on \(\tilde{{\mathcal {A}}}_2\), the standard toroidal compactification (equal to \(\overline{{\mathcal {M}}}_2\)), and its pullback to \(X^s\) will give rise to an invariant section of \(\det (V)^{3k}\) on \(X^s\), that is, an invariant \(i_F\), hence an invariant on all of X. This gives a map from the ring of scalar-valued Siegel modular forms R to the ring of invariants
Igusa defined this injective map in a slightly different way in [16]. By Igusa’s map we can view I as a ring of meromorphic Siegel modular forms. The generators \(E_4,E_6,\chi _{10}, \chi _{12}\) and \(\chi _{35}\) of R correspond to non-zero multiples of \(B, AB-3C, D, AD\) and \(D^2E\) (see [16, p. 848]). We see that every invariant defines a meromorphic modular form F such that \(\chi _{10}^m F\) is holomorphic for an appropriate power m. In other words we have inclusions
where \(R_{\chi _{10}}\) is obtained by inverting \(\chi _{10}\). Moreover, the ideal of R of cusp forms maps to (D), the ideal generated by the discriminant (cf. [16, p. 845]).
The relation between invariants and scalar-valued Siegel modular forms can be extended to a relation between covariants and vector-valued Siegel modular forms. A section F of \(\mathrm{Sym}^j({{\mathbb {E}}})\otimes {\det }({{\mathbb {E}}})^k\) will by pullback under q give rise to a section of \(\mathrm{Sym}^{j}(V) \otimes \det (V)^{j+3k}\), hence to a covariant of the action of \(\mathrm{SL}(2,{{\mathbb {C}}})\) on \(\mathrm{Sym}^6(V)\). We get inclusions similar to those above
with \(M_{\chi _{10}}=M \otimes _R R_{\chi _{10}}\) fitting into a commutative diagram
Recall that the ring M of vector-valued modular forms is not finitely generated, but the ring C of covariants is. Any covariant defines a meromorphic Siegel modular form the polar locus of which is either empty or the divisor \({{\mathcal {A}}}_{1,1}\). A covariant, that is, an equivariant section of \(\mathrm{Sym}^p (V) \otimes \det (V)^q\) with \(\lambda =(p+q,q)\), defines a section F of
on \({{\mathcal {A}}}_2-{{\mathcal {A}}}_{1,1}\). If F extends to a holomorphic section of some \(\mathrm{Sym}^j({{\mathbb {E}}}) \otimes \det ({{\mathbb {E}}})^k\) on \({{\mathcal {A}}}_2\), then it extends as a section of that bundle to all of \(\tilde{{\mathcal {A}}}_2\) by the Koecher principle. If the section F has order \(-\nu (F)\) along the divisor \({\mathcal A}_{1,1}\) then multiplying F with \(\chi _{10}^{\lceil {\nu (F)}/2 \rceil }\) makes it into a holomorphic section. Similarly, multiplication with \(\chi _5^{\nu (F)}\) makes it into a holomorphic modular form with character of weight \((p, (q-p)/3+5\nu (F))\), see the next section. In particular, we can apply this to the universal binary sextic f given in Example 3.1. It thus defines a meromorphic Siegel modular form of weight \((6,-2)\).
5 The forms \(\chi _{10}\) and \(\chi _{6,8}\)
In this paper two modular forms (and two closely related ones) will play a central role. The modular forms are \(\chi _{10}\) and \(\chi _{6,8}\) and the related ones are \(\chi _5\) and \(\chi _{6,3}\). Up to a normalization the modular form \(\chi _{5}\) is defined as the product of the ten even theta constants and \(\chi _{10}=\chi _5^2\) is its square. The form \(\chi _5\) can be seen as a cusp form of weight 5 on the principal congruence subgroup \(\Gamma _2[2]\) of level 2 which is invariant under the alternating group \({\mathfrak {A}}_6 \subset {\mathfrak {S}}_6={\mathrm {Sp}}({4},{{\mathbb {Z}}/2{\mathbb {Z}}})\); alternatively it can be seen as a modular form on \(\Gamma _2\) with character \(\epsilon \). (The abelianization of \(\Gamma _2\) is \({{\mathbb {Z}}}/2{{\mathbb {Z}}}\), see [19, Satz 3], [20].) The Fourier expansion of \(\chi _5\) follows from its definition and starts with
where we write \(\tau \in {\mathfrak {H}}_2\) as
and use \(Q_1=e^{\pi i \tau _1}, Q_2=e^{\pi i \tau _2}\) and \(R=e^{\pi i \tau _{12}}\). The Fourier expansion of \(\chi _{10}\) thus starts with
where \(q_1=e^{2\pi i \tau _1}, q_2=e^{2\pi i \tau _2}\) and \(r=e^{2\pi i \tau _{12}}\).
We will be interested in the expansion of \(\chi _5\) and \(\chi _{10}\) along the locus \({\mathfrak {H}}_1\times {\mathfrak {H}}_1\subset {\mathfrak {H}}_2\) given by \(\tau _{12}=0\). Note that the pullback to \({{\mathcal {A}}}_1 \times {{\mathcal {A}}}_1\) of the normal bundle along \({{\mathcal {A}}}_{1,1}\) is the dual of the product \({{\mathbb {E}}} \boxtimes {{\mathbb {E}}}\) of the (pullbacks of the) Hodge bundles of the two factors, see [6, p. 23].
We need the concept of a quasi-modular form and refer to [18] and to [25]. For even \(k\ge 2\), we will denote the Eisenstein series of weight k on \({\mathrm {SL}}({2},{{\mathbb {Z}}})\) by \(e_k\). Its Fourier expansion is given by
with \(B_k\) the kth Bernoulli number, \(\sigma _r(n)=\sum _{d|n} d^r\) and \(q=e^{2\pi i \tau }\). For a subgroup \(\Gamma \) of finite index of the full modular group \({\mathrm {SL}}({2},{{\mathbb {Z}}})\) we denote by \(M_{*}(\Gamma )=\oplus _k M_k(\Gamma )\) the graded ring of modular forms and by \( \widetilde{M_*}(\Gamma )=\oplus _k \widetilde{M_k}(\Gamma ) \) the graded ring of quasi-modular forms on \(\Gamma \). We have a differential operator
that sends quasi-modular forms to quasi-modular forms. We refer to [18] for the following facts.
Lemma 5.1
We have \(\widetilde{M_*}(\Gamma )=M_*(\Gamma )\otimes {\mathbb {C}}[e_2]\). Furthermore, for even \(k > 0\) we have
We develop \(\chi _{10}\) as a Taylor series in the normal direction of \({\mathfrak {H}}_1 \times {\mathfrak {H}}_1\) inside \({\mathfrak {H}}_2\) with coordinate \(t=2\pi i \, \tau _{12}\)
Since sections of the Hodge bundle on \(\tilde{{\mathcal {A}}}_1\) are modular forms and since we know that the operator D sends the ring of quasi-modular forms on \(\mathrm{SL}(2,{{\mathbb {Z}}})\) to itself, it follows that the terms in the Taylor series of \(\chi _{10}\) on \({\mathfrak {H}}_2\) along \({\mathfrak {H}}_1\times {\mathfrak {H}}_1\) are quasi-modular forms. Using the definition in terms of even theta constants we can calculate the expansions of \(\chi _{10}\) and \(\chi _5\).
Lemma 5.2
We have \(\xi _m=0\) for every odd m. The first three non-zero coefficients of \(\chi _{10}=\sum _{m=0}^{\infty } \xi _m \, t^m/m!\) are
and
Here we use the shorthand \(f \otimes g\) instead of \(f(\tau _1)\otimes g(\tau _2)\).
Similarly, for the development of \(\chi _5\) as a Taylor series in the normal direction we need the square root of \(\Delta \) which is the modular form
of weight 6 on the congruence subgroup \(\Gamma _1(2)\). If we use \(s=\pi i \tau _{12}\) as the normal coordinate then we find the development
The second form that plays a central role is the form \(\chi _{6,8}\) (and its relative \(\chi _{6,3}\)). We defined this vector-valued Siegel modular form of weight (6, 3) with character \(\epsilon \) on \(\Gamma _2\) in the paper [7, Example 16.1] using the gradients of the six odd theta series \(\vartheta _{m_i}(\tau ,z)\) (\(i=1,\ldots ,6)\) with characteristics in degree 2:
here the constant \(c\in {\mathbb {C}}^*\) is chosen such that the Fourier expansion of \(\chi _{6,3}\) starts with
where \(Q_1=e^{i\pi \tau _1}, Q_2=e^{i\pi \tau _2}\) and \(R=e^{i\pi \tau _{12}}\). The form \(\chi _{6,3}\) is a modular form of weight (6, 3) with character \(\epsilon \) on \(\Gamma _2\). (For the coordinates chosen on \(\mathrm{Sym}^6\) we refer to the beginning of Section 3.) Alternatively, it can be viewed as a form on the level 2 principal congruence subgroup \(\Gamma _2[2]\) that is invariant under the action of the alternating group \({\mathfrak {A}}_6\). We define \(\chi _{6,8}\in S_{6,8}(\Gamma _2)\) as the product \(\chi _{6,3} \chi _5\).
Using the definition with the gradients we find the Taylor expansion of \(\chi _{6,3}\) in the normal direction along \({\mathfrak {H}}_1 \times {\mathfrak {H}}_1\) with \(s=\pi i \tau _{12}\) as coordinate:
This gives then the Taylor development of \(\chi _{6,8}\) in the normal direction with coordinate \(t=2 \pi i \tau _{12}\):
The modular form \(\chi _{6,8}\) was first given by Ibukiyama using theta series with pluri-harmonic coefficients, see [12]. It is the first vector-valued (non scalar-valued) modular form if one orders them according to Deligne weight (\(=j+2k-3\)).
6 Modular forms associated to covariants
Recall from Sect. 4 the inclusions
We wish to describe the map c explicitly. For this we consider the meromorphic modular form \(\chi _{6,3}/\chi _{5}\) of weight \((6,-2)\) (without character). It is holomorphic on \(\widetilde{{\mathcal {A}}}_{2}-{{\mathcal {A}}}_{1,1}\), hence defines by Corollary 4.1 under pullback a covariant, a section of \({\mathrm {Sym}}^6(V)\). Up to a non-zero multiplicative scalar r we thus find the tautological f (see Example 3.1), hence
We will discard the factor r and assume that \(r=1\) by normalizing f appropriately. But every covariant can be constructed from f. In fact, let h be a covariant associated to the irreducible representation \(A[p+q,q]\) in \({\mathrm {Sym}}^d({\mathrm {Sym}}^6(V))\). It can be viewed as a form of degree d in \(a_0,\ldots ,a_6\), the coefficients of f, and of degree p in the coordinates \(x_1\) and \(x_2\), or simply as a vector of length \(p+1\) with entries which are polynomials of degree d in \(a_0,\ldots ,a_6\).
Now write the Fourier expansion of \(\chi _{6,3}\) as a vector \((\alpha _0,6\, \alpha _1,15\, \alpha _2, 20\, \alpha _3, \ldots , \alpha _6)^t\), or more symbolically as
where \(\alpha _i\) is a Fourier series in \(Q_1,Q_2\) and R and \(R^{-1}\), and the \(X^{6-i}Y^i\) indicate the coordinate places. Define a map
where \(F_h\) is obtained by substituting \(\alpha _i\) for \(a_i\) in h. When h is viewed as a vector of length \(p+1\) this gives the \(p+1\) entries of a holomorphic vector-valued modular form \(F_h\) of weight \((p,q+3d)\). In particular, we have
and we see that the order of c(h) along \({\mathfrak {H}}_1^2\) is \(\ge -d\). Using the expansion of \(\chi _{6,3}\) and \(\chi _5\) along \({\mathfrak {H}}_1^2\) given in Section 5 we can calculate the order \(\nu (F_h)\) of \(F_h\) along \({\mathfrak {H}}_1^2\). Division by \(\chi _5^{\nu (F_h)}\) yields a holomorphic modular form on \(\Gamma _2\) (with or without a character) of weight \((p,q+3d-5\nu (F_h))\).
Conclusion 6.1
Every vector-valued modular form of given weight on \(\Gamma _2\) can be constructed from a covariant by substituting the Fourier coefficients of \(\chi _{6,3}\) and by multiplying with an appropriate power of \(\chi _5\). The same holds for modular forms on \(\Gamma _2\) with a character.
We shall see in the next sections that this gives a very effective way of constructing the Fourier expansions of vector-valued modular forms of degree 2. In fact, we can calculate the Fourier expansion of \(\chi _{6,3}\) and \(\chi _5\) easily as these are given in terms of theta functions.
Remark 6.2
The central role that \(\chi _{6,3}\) plays can be explained as follows. It is well-known that for a smooth curve C of genus 2 there are six symmetric translates of the theta divisor, each isomorphic to C, in the Jacobian \(\mathrm{Jac}(C)\) passing through the origin. The tangents to these six curves give six points in the projectivized tangent space at the origin, that is, six points on \({{\mathbb {P}}}^1\). That is the way to retrieve the sextic as was remarked by Bolza, see [3, p. 481]. In terms of odd theta characteristics this means that if we write the Taylor expansion of the odd theta functions as
then we get the form \(\chi _{6,3}\) up to a normalization as the product of these linear terms
7 Construction of modular forms
In this section we give examples of constructions of vector-valued and scalar-valued modular forms using covariants. Our point of departure is the Fourier expansion of \(\chi _{6,3}\) that we calculated as in (4) as a series in \(Q_1\) and \(Q_2\) up to \(Q_1^aQ_2^b\) with \(a+b \le 170\).
We start with \(d=2\), see Example 3.2. Covariants associated to the isotypical decomposition
provide by the construction given above modular forms in \(S_{12,6}, S_{8,8}, S_{4,10}\) and \(S_{0,12}\). Notice that all the latter spaces are one dimensional. The modular form in \(S_{12,6}\) is the square of \(\chi _{6,3}\) and this gives us its Fourier expansion immediately.
The covariant corresponding to A[10, 2] is (up to a scalar) the Hessian and we thus find a modular form \(\chi _{8,8} \in S_{8,8}\) with coordinates (symmetric in the sense that interchanging \(\alpha _i\) and \(\alpha _{6-i}\) reverses the vector)
which we normalize such that its Fourier expansion starts with:
where as before \(q_1=e^{2 i\pi \tau _1}, q_2=e^{2 i\pi \tau _2}\) and \(r=e^{2 i\pi \tau _{12}}\). By restriction along \({\mathfrak {H}}_1 \times {\mathfrak {H}}_1\) we find a non-zero multiple of the transpose of \( (0,\ldots ,0,\Delta \otimes \Delta ,0,\ldots ,0) \) which shows that \(\chi _{8,8}\) is not divisible by \(\chi _5\). Similarly, the covariant yielding a modular form in \(S_{4,10}\) has coordinates that are reversed under interchanging \(\alpha _i\) and \(\alpha _{6-i}\)
We normalize the resulting form \(\chi _{4,10}\) such that
Its restriction to \({\mathfrak {H}}_1\times {\mathfrak {H}}_1\) is a non-zero multiple of \((0,0,\Delta \times \Delta ,0,0)^t\), and we thus cannot divide by \(\chi _5\). Finally, we get a non-zero form in \(S_{0,12}\) by taking
which we normalize so that it starts with \(\chi _{12}(\tau )=(r+10+1/r)q_1q_2+ \cdots \). One immediately gets the Fourier expansion of \(\chi _{12}\).
In all these cases we checked the Fourier expansion by calculating Hecke eigenvalues for the Hecke operators T(p) for primes \(p\le 23\) and verified that these fit with the values provided by [8] and [1]. We give the Hecke eigenvalues for \(\chi _{8,8}\) and \(\chi _{12,6}\) in a table in Section 10.
In this case we have the isotypical decomposition
which by the procedure of the last section leads to modular forms of weights (18, 9), (14, 11), (12, 12), (10, 13), (8, 14), (6, 15) and (2, 17) on the group \(\Gamma _2\) with a character. If these forms are divisible by \(\chi _5\) or \(\chi _{10}\) we will find forms of smaller weight. Note that in the case of weight (6, 15) we find a 2-dimensional space of modular forms. In the cases of weight (18, 9), (14, 11), (10, 13), (2, 17) the restriction of the corresponding form to \({\mathfrak {H}}_1 \times {\mathfrak {H}}_1\) is a non-zero multiple of the transpose of a vector of the form
and thus gives non-zero modular forms and these forms are not divisible by \(\chi _5\). We analyze the remaining three cases. In the case of weight (12, 12) our form vanishes with order 2 on \({\mathfrak {H}}_1^2\); dividing by \(\chi _{10}\) yields a form \(\chi _{12,2}\) on \(\Gamma _2\) with character whose Fourier expansion starts with
Note that its square \(\mathrm{Sym}^2 \chi _{12,2}\) is the generator of the space \(S_{24,4}\). Similarly, in the case of weight (8, 14) our form vanishes with order 2 along \({\mathfrak {H}}_1^2\) and by dividing by \(\chi _{10}\) we find a form of weight (8, 4) with character.
The representation A[12, 6] occurs with multiplicity 2 in \({\mathrm {Sym}}^3({\mathrm {Sym}}^6(V))\) and we thus can find two linearly independent covariants, say \(h_1\) and \(h_2\). The general linear combination of these two gives a modular form that upon restriction to \({\mathfrak {H}}_1^2\) yields a non-zero multiple of the transpose of
The linear combination that vanishes along \({\mathfrak {H}}_1^2\) vanishes with multiplicity 2 and by division by \(\chi _{10}\) we find the cusp form that generates the space of cusp forms of weight (6, 5) with character and its Fourier expansion starts with
8 Further examples
Here we look at a few cases with \(d=4\) and \(d=5\).
We have the isotypical decomposition
We then use the covariants to construct modular forms from \(\chi _{6,3}\). By calculating the behavior along \({\mathfrak {H}}_1^2\) we can deduce the orders of vanishing along \({\mathfrak {H}}_1^2\).
We claim that the following table gives the orders of the corresponding modular forms along \({\mathfrak {H}}_1^2\). If the multiplicity \(\mu _{m,n}\) is greater than 1 we list the orders of vanishing occurring in the \(\mu _{m,n}\)-dimensional space of covariants.
[m, n] | \(\mu _{m,n}\) | weight | order |
---|---|---|---|
[24,0] | 1 | (24,12) | 0 |
[22,2] | 1 | (20,14) | 0 |
[21,3] | 1 | (18,15) | 2 |
[20,4] | 2 | (16,16) | 0,2 |
[19,5] | 1 | (14,17) | 2 |
[18,6] | 3 | (12,18) | 0,2,3 |
[17,7] | 1 | (10,19) | 2 |
[16,8] | 3 | (8,20) | 0,2,3 |
[15,9] | 1 | (6,21) | 2 |
[14,10] | 2 | (4,22) | 0,2 |
[12,12] | 2 | (0,24) | 2,4 |
From this table one can read off what modular forms can be constructed. For example, for the representation A[18, 6] (resp. A[16, 8]) we find multiplicity 3, hence a 3-dimensional space of cusp forms of weight (12, 18) (resp. weight (8, 20)). We can calculate generating modular forms using the expressions for the covariants and observe that in both cases there is a 2-dimensional subspace of forms vanishing with order 2 along \({\mathfrak {H}}_1^2\). Dividing these forms by \(\chi _{10}\) yields a 2-dimensional space of cusp forms of weight (12, 8) (resp. (8, 10)). By analyzing their behavior along \({\mathfrak {H}}_1^2\) we see that there is a 1-dimensional subspace vanishing along \({\mathfrak {H}}_1^2\) and division by \(\chi _5\) leads to a cusp form of weight (12, 3) (resp. (8, 5)) with character. Alternatively, from the vanishing/non-vanishing of spaces of cusp forms (with/without a character) one can read off the orders of vanishing.
We give the details for A[16, 8]. We find a 3-dimensional space of cusp forms \(\gamma (h)\) in M as h ranges over the space of covariants associated to \(d=4\) and A[16, 8]. The generic element yields \([0,\ldots ,0,\Delta ^2\otimes \Delta ^2,0,\ldots ,0]\) when restricted to \({\mathfrak {H}}_1^2\) and there is a 2-dimensional space of forms of weight (8, 10) vanishing at least doubly on \({\mathfrak {H}}_1^2\). Division by \(\chi _{10}\) gives the 2-dimensional space of cusp forms of weight (8, 10) and it is generated by \(G_1\) and \(G_2\) with Fourier expansions
The action of the Hecke operator \(T_2\) on \(G_1\) and \(G_2\) is as follows:
We get two Hecke eigenforms in \(S_{8,10}\), namely \(\chi _{8,10}^{(\pm )}=(37\pm \sqrt{2185})G_1-34\,G_2\), on which the Hecke operator \(T_2\) acts with eigenvalues \((3720 \pm 120\sqrt{2185})\).
For the case of A[18, 6], leading to modular forms of weight (12, 18) and after division by \(\chi _{10}\) to the 2-dimensional space of cusp forms of weight (12, 8), the story is very similar and we can calculate the Fourier expansions and Hecke eigenvalues as well. We list these eigenvalues for weight (8, 10) and (12, 8) in the following table.
q | \(\lambda _q(\chi _{8,10}^{\pm })\) | \(\lambda _{q}(\chi _{12,8}^{\pm })\) |
---|---|---|
2 | \(3720 \pm 120 \sqrt{2185}\) | \(-768 \pm 192\sqrt{1381}\) |
3 | \(674280 \mp 18720\sqrt{2185}\) | \(86616 \pm 20736\sqrt{1381}\) |
4 | \(-945536 \mp 28800\sqrt{2185}\) | \(790528 \mp 147456\sqrt{1381}\) |
5 | \(-70706100 \pm 8188800\sqrt{2185}\) | \(362491500 \mp 5145600\sqrt{1381}\) |
7 | \(-11441284400 \mp 446644800\sqrt{2185}\) | \(14252364592 \mp 459468288\sqrt{1381}\) |
The restriction of \(G_1\) (resp. \(G_2\)) to \({\mathfrak {H}}_1^2\) is 52 (resp. 96) times the transpose of
so \(G_1/52-G_2/96\) vanishes on \({\mathfrak {H}}_1^2\) and dividing it by \(\chi _{5}\) gives the unique cusp form of weight (8, 5) on \(\Gamma _2[2]\) which is \({\mathfrak {S}}_6\)-anti-invariant.
Finally, in the case of A[12, 12] we find a 2-dimensional space of cusp forms of weight (0, 24). Every modular form in this space restricts to a multiple of \(\Delta ^2\otimes \Delta ^2\) and there is a linear combination that vanishes on \({\mathfrak {H}}_1^2\) and it is a multiple of \(E_4 \, \chi _{10}^2\). Thus we see that by dividing by \(\chi _{10}^2\) we get the Eisenstein series of weight 4.
We list the irreducible representations occurring in the isotypical decomposition for \(d=5\) in a table together with their multiplicities, the weight of the corresponding modular forms and the orders of vanishing along \({\mathfrak {H}}_1^2\).
[m, n] | \(\mu _{m,n}\) | weight | order | [m, n] | \(\mu _{m,n}\) | weight | order |
---|---|---|---|---|---|---|---|
[30,0] | 1 | (30,15) | 0 | [22,8] | 4 | (14,23) | 0,2,3,4 |
[28,2] | 1 | (26,17) | 0 | [21,9] | 3 | (12,24) | 2,3,4 |
[27,3] | 1 | (24,18) | 2 | [20,10] | 4 | (10,25) | 0,2,3,4 |
[26,4] | 2 | (22,19) | 0,2 | [19,11] | 2 | (8,26) | 2,3 |
[25,5] | 2 | (20,20) | 2,3 | [18,12] | 4 | (6,27) | 0,2,3,4 |
[24,6] | 3 | (18,21) | 0,2,3 | [17,13] | 1 | (4,28) | 2 |
[23,7] | 2 | (16,22) | 2,3 | [16,14] | 2 | (2,29) | 0,4 |
We give the details for the case of \(\lambda =(18,12)\), where the 4-dimensional space of covariants produces modular forms of weight (6, 27) with character. We find a 2-dimensional subspace of modular forms vanishing with multiplicity \(\ge 3\), and dividing these by \(\chi _5^3\) produces a basis of \(S_{6,12}\) which is of dimension 2. The two basis elements \(G_1\) and \(G_2\) have Fourier expansions starting with
One calculates the action of the Hecke operator \(T_2\) and finds
and obtains eigenforms \(\chi _{6,12}^{(\pm )}=(-41\pm \sqrt{601})\, G_1+756\,G_2\).
In a similar way one finds a basis for the 2-dimensional spaces of cusp forms \(S_{14,8}, S_{12,9}\) and \(S_{10,10}\). One thus can calculate Hecke eigenvalues from the Fourier expansions. We give the results in the tables in Sect. 10.
The cusp form \(G_2\) vanishes identically along \({\mathfrak {H}}_1^2\) and \(G_2/\chi _{5}\) generates the 1-dimensional space \(S_{6,7}(\Gamma _2,\epsilon )\).
9 A final example: the space \(S_{4,16}\)
In this section we illustrate the effectivity of our approach and show how one can use covariants to construct a basis for the 3-dimensional space \(S_{4,16}\) and use this to calculate eigenvalues for the Hecke operators.
In the decomposition of \({\mathrm {Sym}}^8({\mathrm {Sym}}^6(V))\) the irreducible representation A[26, 22] of \({\mathrm {GL}({2},{{\mathbb {C}}})}\) occurs with multiplicity 7. By the construction of Section 6 this leads to a 7-dimensional subspace of \(S_{4,46}\) vanishing with multiplicity \(\ge 8\) at the divisor at infinity. All restrictions to \({\mathfrak {H}}_1^2\) of the cusp forms associated to the corresponding covariants are multiples of the transpose of \([0,0,\Delta ^4\otimes \Delta ^4,0,0]\). In fact, we find a 6-dimensional subspace of forms vanishing with order \(\ge 2\) along \({\mathfrak {H}}_1^2\). Dividing these forms by \(\chi _{10}\) leads to a 6-dimensional space of cusp forms of weight (4, 36). These forms restrict to multiples of the transpose of \([e_4\, \Delta ^3 \otimes \Delta ^3, 0, 0, 0, \Delta ^3 \otimes e_4 \, \Delta ^3]\). Thus there is a 5-dimensional subspace of forms of weight (4, 36) vanishing along \({\mathfrak {H}}_1^2\) and these all vanish with multiplicity \(\ge 2\) along \({\mathfrak {H}}_1^2\). We divide again by \(\chi _{10}\) to get a 5-dimensional space of cusp forms of weight (4, 26). All the forms in this space restrict to multiples of the transpose of \([0,0,e_4\Delta ^2 \otimes e_4 \Delta ^2,0,0]\) along \({\mathfrak {H}}^2_1\). This leads to a 4-dimensional space of cusp forms vanishing with multiplicity \(\ge 1\) along \({\mathfrak {H}}_1^2\) and we divide these by \(\chi _5\) to find a 4-dimensional space of cusp forms of weight (4, 21) with character. Since all these forms restrict to a multiple of the transpose of \([0, e_6 \delta \Delta \otimes e_4\delta \Delta , 0, e_4\delta \Delta \otimes e_6 \delta \Delta ,0]\) it contains a 3-dimensional subspace of cusp forms vanishing along \({\mathfrak {H}}_1^2\). Division by \(\chi _5\) leads to the 3-dimensional space of cusp forms of weight (4, 16). We normalize these forms such that their Fourier expansion starts with
The restrictions of the \(E_i\) along the diagonal are the transposes of \(12 \, [e_4^2\Delta \otimes e_4\Delta ,0,0,0,e_4\Delta \otimes e_4^2\Delta ], 12 \, [e_4^2\Delta \otimes e_4\Delta ,0,-3e_6\Delta \otimes e_6\Delta ,0, e_4^2\Delta \otimes e_4\Delta ]\) and \(6\, [19 e_4^2\Delta \otimes e_4\Delta ,0,-18 e_6\Delta \otimes e_6\Delta ,0, 19 e_4^2\Delta \otimes e_4\Delta ]\). So the orders of vanishing along \({\mathfrak {H}}_1^2\) in the 7-dimensional space of cusp forms of weight (4, 46) that is the image under the map \(\gamma \) of the covariants given by A[26, 22] are \(\{ 0, 2, 4, 5, 6, 7 \} \). Finally we remark that the form \((E_1/12+E_2/26-E_3/78)/\chi _{5}\) gives a cusp form that generates the space of cusp forms of weight (6, 11) with character.
Using the Fourier expansions that we got we can calculate Hecke eigenvalues. Let \(\alpha \) be a root of the irreducible polynomial \(P=x^3-1042\, x^2+215915\, x +6800500\) in \({{\mathbb {Q}}}[x]\). This field has discriminant 43803704 and a basis of the ring of integers of \(K={{\mathbb {Q}}}(\alpha )\) is given by 1, \(\alpha \) and \(\beta =(1/16785)\alpha ^2+(1062/1865)\, \alpha +3007/3357\). Then a Hecke eigenform \(\chi _{4,16}=\chi _{4,16}^{(\alpha )}\) with integral Fourier coefficients is given by
The Hecke eigenvalues generate the totally real field \({{\mathbb {Q}}}(\alpha )\) of degree 3 over \({{\mathbb {Q}}}\) of discriminant 43803704. We give some Hecke eigenvalues for this form.
q | \(\lambda _{q}(\chi _{4,16})\) |
---|---|
2 | \(192 \, \alpha \) |
3 | \(-497664 \, \alpha +311040 \,\beta + 103935960\) |
4 | \(157261824\,\alpha -230584320\,\beta -11214073856\) |
5 | \(-15895326720\, \alpha +27887846400\, \beta -41100006690\) |
7 | \(-7428303065088 \, \alpha +12024244661760\, \beta + 44274749992240\) |
9 | \(160404429828096\,\alpha -252069882854400\,\beta -377719068915351\) |
Harder predicted in [11] congruences between elliptic modular forms and Siegel modular forms. In the case at hand, the critical value at \(s=20\) of the L-series \(\Gamma (s)(2\pi )^{-s} L(f,s)\) of a Hecke eigenform \(f=\sum _n a(n) q^n\) of weight 34 for \({\mathrm {SL}}({2},{{\mathbb {Z}}})\) is divisible by the prime 1571 and therefore we expect for every prime p a congruence of the form
where \(\ell \) is a prime dividing 1571 in the composite of the fields \({{\mathbb {Q}}}(\alpha )\) and \({{\mathbb {Q}}}(\sqrt{2356201})\) of eigenvalues \(\lambda _p(\chi _{4,16})\) of \(\chi _{4,16}\) and a(p) of f for appropriate choices of the eigenforms \(\chi _{4,16}^{(\alpha )}\) and f. One checks that the norm of \(\lambda _p(\chi _{4,16})-( p^{14}+a(p)+p^{19})\) is indeed divisible by 1571 for \(p=2,3,5\) and 7. More precisely, we let \(f_{a}\in S_{34}(\Gamma _1)\) be the form
with a being a root of \(Q=x^2+121680\, x-8513040384\). The minimal polynomials P and Q of a and \(\alpha \) split in \({{\mathbb {F}}}_{1571}[x]\) as \((x-851)(x-7)\) and \((x-63)(x-1146)(x-1404)\). One sees that the congruence is satisfied for the modular forms \(f_a\) and \(\chi _{4,16}=\chi _{4,16}^{(\alpha )}\) for \(p=2, 3, 5\) and 7 for the pair \((a,\alpha )\) corresponding to \((851,63) \bmod 1571\) only.
10 Tables
In this section we give the Hecke eigenvalues of some modular forms constructed above using covariants. We checked that these eigenvalues are consistent with the results of [1, 2, 8]. The form \(\chi _{8,8}\) generates \(S_{8,8}\) and \(\chi _{12,6}\) generates \(S_{12,6}\). The forms \(\chi ^{+}_{6,12}, \chi _{6,12}^{-}\) form a basis of the 2-dimensional space \(S_{6,12}\); similar notation is used for weights (10, 10), (12, 9) and (14, 8).
q | \(\lambda _{q}(\chi _{8,8})\) | \(\lambda _{q}(\chi _{12,6})\) |
---|---|---|
2 | 1344 | \(-\)240 |
3 | \(-\)6408 | 68040 |
4 | 28672 | 1118464 |
5 | \(-\)30774900 | 1476510 |
7 | 451366384 | \(-\)334972400 |
9 | \(-\)3092097159 | \(-\)5279708871 |
11 | 13030789224 | 3580209624 |
13 | \(-\)328006712228 | 91151149180 |
17 | 5520456217764 | \(-\)11025016477020 |
19 | \(-\)28220918878760 | \(-\)22060913325080 |
23 | 79689608755152 | 195863810691120 |
q | \(\lambda _q(\chi _{6,12}^{\pm })\) | \(\lambda _{q}(\chi _{10,10}^{\pm })\) |
---|---|---|
2 | \(11184 \pm 336\sqrt{601}\) | \(11400 \pm 120\sqrt{11041}\) |
3 | \(-167832 \mp 157248\sqrt{601}\) | \(480600 \pm 4320\sqrt{11041}\) |
4 | \(-26121728 \pm 5451264\sqrt{601}\) | \(149854336 \pm 339840\sqrt{11041}\) |
5 | \(-554158500 \pm 77280000\sqrt{601}\) | \(-1325429700 \mp 25276800\sqrt{11041}\) |
7 | \(-28518281456 \pm 177641856\sqrt{601}\) | \(236903926000 \mp 658324800\sqrt{11041}\) |
q | \(\lambda _q(\chi _{12,9}^{\pm })\) | \(\lambda _{q}(\chi _{14,8}^{\pm })\) |
---|---|---|
2 | \(-6216 \pm 72\sqrt{25249}\) | \(-2016\pm 96\sqrt{9961}\) |
3 | \(1074168 \mp 16416\sqrt{25249}\) | \(2762568\pm 18432\sqrt{9961}\) |
4 | \(-40492928 \mp 784512\sqrt{25249}\) | \(-80611328\pm 1050624\sqrt{9961}\) |
5 | \(-1795354500 \pm 3600000\sqrt{25249}\) | \(-951372900\mp 12134400\,\sqrt{9961}\) |
7 | \(-147859080656 \mp 507187008\sqrt{25249}\) | \(87767118544\mp 804225024\,\sqrt{9961}\) |
Using these tables one can check Harder’s conjecture [11] on the existence of congruences between Siegel modular forms and elliptic modular forms. In [9, p. 240] one finds for the cases of weights (6, 12), (10, 10), (12, 9) and (14, 8) predicted congruences with the eigenform \(f_{28}^{\pm } \in S_{28}(\Gamma _1)\) modulo 823, 157, 4057 and 647. The congruence for the eigenvalues for \(T_2\) was checked in [9, p. 239] and one can verify that these congruences hold for the eigenvalues of \(T_3, T_5\) and \(T_7\) as well. For example for \((j,k)=(12,9)\), Harder predicts for every prime p a congruence
for the Hecke eigenvalues \(\lambda (p)\) and a(p) of a pair (F, f) with F equal to an eigenform in \(S_{12,9}(\Gamma _2)\) and f an eigenform in \(S_{28}(\Gamma _1)\), where \(\ell \) is a prime dividing 4057 in the composite of the fields of eigenvalues of \(f_{28}^{\pm }\) and \(\chi _{12,9}^{\pm }\). One checks that the norm of
in \({{\mathbb {Q}}}(\sqrt{25249},\sqrt{18209})\) is divisible by 4057.
References
Bergström, J., Faber, C., van der Geer, G.: Siegel modular forms of genus 2 and level 2: cohomological computations and conjectures. Int. Math. Res. Not. IMRN 2008, Art. ID rnn100, 20 p (2008)
Bergström, J., Faber, C., van der Geer, G.: Siegel modular forms of degree three and the cohomology of local systems. Selecta Math. (N.S.) 20(1), 83–124 (2014)
Bolza, O.: Darstellung der rationalen ganzen Invarianten der Binärform sechsten Grades durch die Nullwerte der zugehörigen \(\theta \)-Functionen. Math. Ann. 30, 478–495 (1887)
Chipalkatti, J.: Decomposable ternary cubics. Experiment. Math. 11, 69–80 (2002)
Clebsch, A.: Theorie der binären algebraischen Formen. Leipzig (1872)
Cléry, F., van der Geer, G.: Constructing vector-valued Siegel modular forms from scalar-valued Siegel modular forms. Pure and Applied Mathematics Quarterly 11(1), 21–47 (2015)
Cléry, F., van der Geer, G., Grushevsky, S.: Siegel modular forms of genus 2 and level 2. Int. J. Math. 26(05), 1550034, 51 p (2015)
Faber, C., van der Geer, G.: Sur la cohomologie des systèmes locaux sur les espaces des modules des courbes de genre 2 et des surfaces abéliennes, I, II. C.R. Acad. Sci. Paris, Sér. I 338, 381–384, 467–470 (2004)
van der Geer, G.: Siegel modular forms and their applications. In: J. Bruinier, G. van der Geer, G. Harder, D. Zagier: The 1-2-3 of modular forms. Universitext. Springer Verlag (2007)
Grace, J.H., Young, A.: The algebra of invariants. Cambridge University Press, Cambridge (1903)
Harder, G.: A congruence between a Siegel and an elliptic modular form. In: J. Bruinier, G. van der Geer, G. Harder, D. Zagier: The 1-2-3 of modular forms. Universitext. Springer Verlag (2007)
Ibukiyama, T.: An answer to van der Geer’s question: construction of the vector valued Siegel cusp form of \({\rm Sp}(2,{\mathbb{Z}})\) of weight \(\text{det}^8 {\rm Sym}^6\). Unpublished manuscript (2001)
Igusa, J.-I.: Arithmetic moduli for genus two. Annals of Math. 72, 612–649 (1960)
Igusa, J.-I.: On Siegel modular forms of genus two. Amer. J. of Math. 84, 175–200 (1962)
Igusa, J.-I.: On Siegel modular forms of genus two (II). Amer. J. of Math. 86, 392–412 (1964)
Igusa, J.-I.: Modular forms and projective invariants. Amer. J. Math. 89, 817–855 (1967)
Igusa, J.-I.: On the ring of modular forms of degree two over \({{\mathbb{Z}}}\). Amer. J. Math. 101, 149–183 (1979)
Kaneko, M., Zagier, D.: A generalized Jacobi theta function and quasimodular forms. In: The Moduli Space of Curves (R. Dijkgraaf, C. Faber, G. van der Geer, eds.), Prog. in Math. 129, Birkhäuser, Boston, pp. 165–172 (1995)
Klingen, H.: Zur Struktur der Siegelschen Modulgruppe. Math. Z. 136, 169–178 (1974)
Maass, H.: Die Multiplikatorsysteme zur Siegelschen Modulgruppe. Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II, pp. 125–135 (1964)
Mumford, D., Fogarty, J.: Geometric invariant theory. Ergebnisse der Mathematik und ihrer Grenzgebiete 34. 2nd edition, (1981)
Mumford, D., Suominen, K.: Introduction to the Theory of Moduli. In: Algebraic geometry, Oslo 1970 (Proc. Fifth Nordic Summer-School in Math.), pp. 171–222. Wolters-Noordhoff, Groningen, (1972)
Springer, T.A.: Invariant Theory. Lecture Notes in Mathematics 585, Springer Verlag (1977)
Vistoli, A.: The Chow ring of \({\cal{M}}_{2}\). Appendix to a paper by Edidin and Graham. Invent. Math. 131, 635–644 (1998)
Zagier, D.: Elliptic modular forms and their applications. In: J. Bruinier, G. van der Geer, G. Harder, D. Zagier: The 1-2-3 of modular forms. Universitext. Springer Verlag (2007)
Acknowledgements
The first author thanks the Max-Planck-Institut für Mathematik for the hospitality he is enjoying there and the third author thanks YMSC of Tsinghua University for its hospitality.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Toby Gee.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cléry, F., Faber, C. & van der Geer, G. Covariants of binary sextics and vector-valued Siegel modular forms of genus two. Math. Ann. 369, 1649–1669 (2017). https://doi.org/10.1007/s00208-016-1510-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-016-1510-2