arxiv: v2 [math.ag] 23 Sep 2015

Transcription

1 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS SARA PERNA Università degli Studi di Roma La Sapienza, Dipartimento di Matematica Guido Castelnuovo, Piazzale A. Moro 5, 00185, Roma, Italia. arxiv: v [math.ag] 3 Sep 015 Abstract. The present paper is motivated by Mukai s Igusa quartic and Steiner surfaces. There he proved that the Satake compactification of the moduli space of principally polarized abelian surfaces with a level two structure has a degree 8 endomorphism. This compactification can be viewed as a Siegel modular threefold. The aim of this paper is to show that this result can be extended to other modular threefolds. The main tools are Siegel modular forms and Satake compactifications of arithmetic quotients of the Siegel upper-half space. Indeed, the construction of the degree 8 endomorphism on suitable modular threefolds is done via an isomorphism of graded rings of modular forms. By studying the action of the Fricke involution one gets a further extension of the previous result to other modular threefolds. The possibility of a similar situation in higher dimensions is discussed at the end of the paper. Keywords. Theta functions, Graded rings of modular forms, Siegel modular varieties, Rationality problems. Introduction The Satake compactification of the moduli space of principally polarized abelian varieties with level structure is known to be a quartic hypersurface in P 4. It is called the Igusa quartic. Recently this space has been characterized as a Steiner hyperquartic, as such it has a degree 8 endomorphism. By means of this characterization the Satake compactification of the moduli space of principally polarized abelian varieties with Göpel triples is isomorphic to the Igusa quartic [10]. These compactifications can be thought as Siegel modular threefolds and the latter isomorphism can be given by means of Siegel modular forms (cf. [1, section 11]. The aim of this paper is to show that this result can be extended to other modular threefolds. The construction of a degree 8 endomorphism on suitable Siegel modular threefolds will be done via an isomorphism of graded rings of Siegel modular forms and a degree 8 map between two given Siegel modular threefolds. Set H g := { τ M g g (C t τ = τ, Imτ > 0 }. Since H 1 is the upper-half plane of complex numbers with positive imaginary part, H g is usually called the Siegel upperhalf space of degree, or genus, g. It is a complex manifold of dimension g(g +1/. As a generalization of Möbius transformation on the complex plane, preserving the upper-half plane, the group of integral symplectic matices Γ g acts on H g as follows: ( (1 γ τ = (Aτ +B(Cτ +D 1 A B, γ = Γ g, C D address: perna@mat.uniroma1.it. 1

2 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS where A, B, C, D are g g matrices satisfying suitable equations. This block notation for an element of the integral symplectic group will be used throughout the paper. Let Γ be a subgroup of finite index in Γ g. It still acts on H g by the same formula (1. The orbit space H g /Γ is called an arithmetic quotient of the Siegel upper-half space. It is smooth if Γ acts freely, and it has at most finite quotient singularities in any case. Arithmetic quotients of H g arise naturally in the study of principally polarized abelian varieties over C of a given dimension. For example the arithmetic quotient of H g with respect to the full integral symplectic group is known to be the moduli space of principally polarized abelian varieties of dimension g. A singular compactification of these arithmetic quotients is done by means of Siegel modular forms (cf. section 1., whose space can be given the structure of a graded ring. Roughly speaking Siegel modular forms are holomorphic functions on H g that behave nicely under the action of the integral symplectic group or its subgroups. This kind of compactification is known as Satake compactification. Let us outline the structure of the paper. First we will consider the rings of Siegel modular forms (with multiplier with respect to the following two congruence subgroups of level 4 of the integral symplectic group: ( Γ (,4 = {γ Γ γ 1 4 (mod, diag(b diag(c 0 (mod 4}, and (3 Γ (,4 = {γ Γ γ ( (mod, diag(b diag(c 0 (mod 4}, where1 n is the n n identity matrix and diag(m denotes the diagonal of the matrix M. The computation of such rings will led to the interpretation of the degree 8 map (4 P 3 P 3 [x 0,x 1,x,x 3 ] [x 0,x 1,x,x 3 ] as a map between the modular varieties related to these two groups: (5 ψ : Proj(A(Γ (,4 Proj(A(Γ (,4. This is the part that will give the right degree of the desired self map between some given modular threefolds. The other part, that is the isomorphism of suitable rings of modular forms, involves two more groups, namely the level subgroups (6 (7 Γ 0 ( = {γ Γ C 0 (mod }, Γ ( = {γ Γ C B 0 (mod }. We shall prove that there is indeed an isomorphism Γ 0 (/Γ (,4 = Γ (/Γ (,4, equivariant with respect to the action of the groups on the two copies of P 3 in (5. Denoting this group by G we ll establish the following theorem. Theorem. For any subgroup H G there exists an isomorphism of graded rings of modular forms Φ H : A(Γ A(Γ, where Γ (,4 Γ Γ (, Γ (,4 Γ Γ 0 ( and the quotients Γ/Γ (,4 and Γ /Γ (,4 are both isomorphic to H. With a suitable choice of the subgroup H one can actually recover Mukai s result. Indeed by the above theorem and the modular interpretation of the map(4 the following corollary follows.

3 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 3 Corollary. For any subgroup Γ (,4 Γ Γ ( the modular variety Proj(A(Γ has a map of degree 8 onto itself. The previous corollary turns out to be true also for other modular threefolds. This will be achieved by means of the action of the Fricke involution J = 1 ( The last section of the paper is dedicated to the case of genus three, with a view toward the situation in higher dimensions. The arguments exploited in genus two do not generalize directly. 1. Siegel modular varieties In this section we recall the definition and properties of Siegel modular forms and modular varieties in order to fix notations. For a survey article on Siegel modular varieties we refer to [7] Congruence subgroups of the integral symplectic group. Set g N, g > 1. Let (8 Sp(g,R = { γ M g g (R t γjγ = J } ( 0 1g, where J = 1 g 0, be the symplectic group of degree g. The subgroup Γ g := Sp(g,Z = Sp(g,R M g g (Z is called the integral symplectic group of degree g. We will use a standard block notation for the elements of the integral symplectic group, that is γ = ( A B C D Γg, where A, B, C, D M g g (Z. With these notations it is easily checked that the blocks of a symplectic matrix satisfy the relations A t B = B t A, t AC = t CA, (9 C t D = D t C, ; A t D B t t BD = t DB,. C = 1 t g AD t CB = 1 g In the theory of Siegel modular forms the following subgroups of Γ g are quite remarkable. The principal congruence subgroup of level n of Γ g (the kernel of reduction modulo n is denoted by Γ g (n. A subgroup Γ Γ g such that Γ g (n Γ for some n N is called a congruence subgroup of level n. Examples of level n subgroups are given by the groups Γ g (n,n = {γ Γ g (n diag( t AC diag( t BD 0 (modn}. For even values of the level there is a simpler description of such subgroups. It is easily seen that for γ Γ g (m { diag( t AC diag(c (mod4m diag( t, BD diag(b (mod4m hence Γ g (m,4m = {γ Γ g (m diag(b diag(c 0 (mod4m}. Furthermore, for any m N, Γ g (m,4m is a normal subgroup of Γ g.

4 4 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 1.. Siegel modular forms with multiplier and modular varieties. Throughout the paper we will study rings of Siegel modular forms with multiplier with respect to some congruence subgroups of Γ g. For a positive integer k, a multiplier system of weight k/ for a congruence subgroup Γ is a map v: Γ C such that if we define ϕ : Γ H g C then it satisfies the cocycle condition (γ,τ ϕ(γ,τ := v(γdet(cτ +D k/, ϕ(γβ,τ = ϕ(γ,β τϕ(β,τ for all γ, β Γ and τ H g. A multiplier system of integral weight is a character for Γ. A Siegel modular form of weight k/ with respect to Γ and the multiplier system v is a holomorphic function f: H g C such that Equivalently, where f(γ τ = v(γdet(cτ +D k/ f(τ, γ Γ. f γ,k/,v (τ = f(τ, γ Γ, τ H g, (10 f γ,k/,v (τ = v(γ 1 det(cτ +D k/ f(γ τ. Sometimes, to ease notation, the multiplier system and the weight will be omitted in(10. The set [Γ,k/,v] of such functions is known to be a finite dimensional vector space. If v is a multiplier system of weight 1/, the ring of Siegel modular forms with respect to the group Γ and the multiplier system v is the graded ring A(Γ,v = k N[Γ,k/,v k ]. In addition, A(Γ,v is known to be a normal integral domain of finite type over C. The complex projective variety Proj(A(Γ, v is called the modular variety associated to Γ. It contains the arithmetic quotient H g /Γ as a Zariski open set, so it is natural to define its compactification as H g /Γ = Proj(A(Γ,v. This is also known as the Satake compactification of the arithmetic quotient H g /Γ. This compactification does not depend on the multiplier system chosen and if we let A(Γ,v (d = [Γ,k/,v k ], then Proj(A(Γ,v = Proj(A(Γ,v (d. k 0(modd 1.3. Theta constants. Theta constants with characteristics are classical examples of modular forms with multiplier if we consider their transformation under the action of suitable congruence subgroups of the integral symplectic group. Given a theta characteristic, that is a column vector m = [ ] m m F g, the theta function with characteristic ϑ m : H g C g C is defined by the series ϑ m (τ,z = ( 1 e t (n+m /τ(n+m /+ t (n+m /(z +m /, n Z g where e( = e πi(. It is a classical result that such a series defines an holomorphic function on H g C g (cf. []. The theta function is an even (odd function of z if

5 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 5 t m m 0 (mod ( t m m 1 (mod, and so the parity of a theta characteristic is defined as e(m = ( 1 t m m, and a theta characteristic [ m m ] is called even if e(m = 1 and odd if e(m = 1. There are g 1 ( g + 1 even characteristics and g 1 ( g 1 odd ones. Evaluating the theta function at z = 0 we get a holomorphic function on the Siegel upper-half space, not identically zero if and only if the related theta characteristic is even. These functions are usually called theta constants and are denoted by ϑ [ m m ] (τ = ϑ [ m m ] (τ,0. Whenconvenient, wewilldenotebyϑ m thethetaconstant withcharacteristic m = [ ] m m. The integral symplectic group acts not only on the Siegel upper-half space by (1 but also on the set of theta characteristics. We will see that via these actions the integral symplectic group acts on theta constants. For γ Γ g the action on theta characteristics is defined as follows. Let (11 γ [ m m ] = [( D C B A ( m m + ( diag(c t ] D diag(a t B (mod. The action defined in this way is neither linear nor transitive. Indeed, the action preserves the parity of the characteristics. An important property of theta constants is the classical transformation formula (cf [9], namely theta constants with characteristics satisfy the identity (1 ϑ γ m (γ τ = κ(γdet(cτ +D 1/ e(ϕ m (γϑ m (τ, where κ(γ is a primitive 8 th root of unity depending on γ and (13 ϕ m (γ = 1 8 (t m t BDm + t m t ACm t m t BCm + 1 t diag(a t B(Dm Cm. 4 An explicit expression is known for suitable powers of κ. For example, (14 (15 κ(γ 4 = ( 1 Tr(tBC, γ Γ g, ( κ(γ = ( 1 Tr A Ig, γ Γ g (. The transformation rule for theta constants under the action of an element γ Γ g can be easily derived from (1. That is ϑ m (γ τ = κ(γdet(cτ +D 1/ e(ϕ γ 1 m(γϑ γ 1 m(τ. If γ Γ g (4,8 it is easy to see that γ 1 m = m and e(ϕ γ 1 m(γ = 1. Thus, theta constants with characteristic are modular forms of weight 1/ with respect to Γ g (4,8 and the multiplier system v ϑ (γ := κ(γ. The modular forms we will be mainly interested in are the second order theta constants. For any a F g, define Θ[a](τ = ϑ[ a 0](τ. By the above formula we can immediately deduce the transformation rule for these functions under the action of an element γ Γ g. For any γ Γ g, let γ Γ g be the matrix such that (γ τ = γ τ, namely γ =. Note that γ Γ g if and only ( A B C/ D if C 0 (mod. Therefore we get the following transformation rule: Θ[a](γ τ = κ( γdet(cτ +D 1/ e(ϕ γ 1 [ a 0] ( γθ[a ](τ, γ Γ g,0 (,

6 6 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS where a = ( γ 1 [ a 0] and Γ g,0 ( = {γ Γ g C 0(mod}. Then it is easily seen that second order theta constants are modular forms of weight 1/ with respect to the group Γ g (,4 and the multiplier system v Θ (γ = κ( γ. Riemann s addition formula relates theta constants and second order theta constants(cf. [, Appendix II to Chapter II]. Proposition 1 (Riemann s addition formula. Given two g-characteristics [ ε ε ], [ ] δ δ, for any z, w C g and τ H g we have ϑ [ ε z+w ε ] (τ, ϑ [ ] δ z w δ (τ, = [ ε+δ ] [ ϑ σ ε δ ] (τ, zϑ ε +δ +σ (τ,w. ε δ σ F g By the above proposition the following well known identities can be derived: (16 Θ[σ](τΘ[σ +ε](τ = 1 g ( 1 σt ε ϑ [ ε ε ] (τ, (17 ε F g ϑ [ ε ] ε (τ = ( 1 σt ε Θ[σ](τΘ[σ +ε](τ. σ F g A first consequence of these relations is that κ( γ = κ(γ. Hence the square of v Θ is a non-trivial multiplier system on Γ g (,4. Moreover, it also follows that the vector space of modular forms spanned by {Θ[a] } a F g coincides with the one spanned by {ϑ [ ] 0 }b F g. From now on we set the notation ϑ b b := ϑ [ ] 0 b Differential forms and vector-valued modular forms. Let (ρ,v ρ be an irreducible rational representation of GL(g, C on a finite dimensional complex vector space V ρ. Let Γ be a congruence subgroup of Γ g. A holomorphic function f : H g V ρ is called a vector valued modular form with respect to Γ and the representation ρ if f γ,ρ (τ := ρ(cτ +D 1 f(γ τ = f(τ, γ Γ. The space of such functions will be denoted by [Γ, ρ]. The representation ρ is uniquely identified by its highest weight (λ 1,...,λ g Z g with λ 1 λ g. The weight of the vector valued modular form is defined to be equal to λ g. Siegel modular forms with trivial multiplier of section 1. are vector valued modular forms with respect to the representation det k, for a suitable k. For any complex manifoldx denoteby Ω n (X thesections of thesheaf of holomorphic differential forms on X of degree n. For a congruence subgroup Γ denote by XΓ 0 the set of regular points of H g /Γ and by X Γ a desingularization of H g /Γ. If N is the dimension of H g, by [3] every holomorphic differential form ω Ω n (XΓ 0 of degree n < N extends holomorphically to X Γ. Moreover, if g and n < N there is a natural isomorphism Ω n (X 0 Γ = Ω n (H g Γ, where Ω n (H g Γ is the space of Γ-invariant holomorphic differential forms on H g of degree n. Forsuitabledegrees, dependingonlyong, someofthesespacesareknowntobetrivial. The non-trivial Γ-invariant holomorphic differential forms have a precise description in terms of vector-valued modular forms (cf [13].

7 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 7 In this paper we will be mainly interested in holomorphic differential forms of degree N 1. On H g, define dˇτ ij = ± e ij dτ kl ; e ij = 1+δ ij, 1 k l g (k,l (i,j wherethesign is sochosen thatdˇτ ij dτ ij = e ij 1 k l g dτ kl. Thenany ω Ω N 1 (H g Γ can be written in the form (18 ω = Tr(f(τdˇτ = f ij (τdˇτ ij, where 1 i,j g f(γ τ = det(cτ +D g+1 t (Cτ +D 1 f(τ(cτ +D 1. Equivalently, f is a vector valued modular form with respect to Γ and the irreducible representation ρ 1 with highest weight (g +1,...,g +1,g 1.. Isomorphic Siegel modular threefolds with a degree 8 endomorphism In this section we will focus our attention on the case g =. We will show that many modular threefolds share with the Igusa quartic the property of having a degree 8 endomorphism. To be precise, this is the result of Corollary 4 and Corollary 6. For this purpose we will construct isomorphism of graded rings of Siegel modular forms giving isomorphisms of the related modular varieties. We will be mostly interested in the four second order theta constants in genus. It is shown in [11] that f 00 := Θ[00], f 01 := Θ[01], f 10 := Θ[10], f 11 := Θ[11]. (19 A(Γ (,4, v Θ = C[f 00,f 01,f 10,f 11 ]. Hence the modular threefold associated to this ring is isomorphic to P Degree 8 map between two different modular threefolds. Any symmetric integer matrix S determines an element γ S Γ, namely ( 1 S γ S =. 0 1 In particular, if we put B 1 = ( 0, B = ( 0, B 3 = ( , then the matrices M i := γ Bi belong to Γ (,4, and the M i belong to its index 8 normal subgroup Γ (,4. By taking {M 1,M,M 3 } as a basis we thus identify Γ (,4/Γ (,4 with F 3. We will discuss the action of this group on the second order theta constants f a and the functions ϑ b with a, b F, in order to find generators for the ring of modular forms with respect to Γ (,4 and a suitable multiplier system. First focus on the action of the matrices M i on theta constants. From [11, p. 59] we have ϑ [ ] m m (γs τ = ϑ [ ] [ m m (τ +S = ε t m (Sm +diag(s ϑ m m +Sm +diag(s ] (τ, with ε = 1+i a primitive 8 th root of unity. For the second order theta constants this gives Θ[a](γ S τ = i t asa Θ[a](τ.

8 8 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS Thus, for a = (a 1,a F it follows that f a (M 1 τ = ( 1 a 1 f a (τ, f a (M τ = ( 1 a f a (τ, f a (M 3 τ = ( 1 a 1a f a (τ. So the group Γ (,4/Γ (,4 acts by changes of sign on f a if a 00. Therefore it acts trivially on the f a and also on the ϑ b. Proposition. The ring C[f00,...,f 11 ] is equal to the subring A N(Γ (,4, v Θ A(Γ (,4, v Θ of modular forms with integer weight. Proof. We have just seen that C[fa] A N (Γ (,4, v Θ. For the opposite inclusion, since both rings are integrally closed it is enough to show that they have the same field of fractions. This is also immediate, because we have already seen that they both have C(f a as an extension of degree 8. Thus the degree 8 endomorphism of P 3 given by [x 0,...,x 3 ] [x 0,...,x 3 ] can be seen as a map between the two modular varieties ψ : Proj(A(Γ (,4 Proj(A(Γ (,4. Here we omit the multipliers since the modular variety is independent of the choice of the multiplier system... Isomorphisms of modular threefolds, the main result. It is easily checked thatthegroupsγ (,4 andγ (,4arenormalsubgroupsofΓ 0 (andγ (respectively (see (6, (7, (9. Moreover [Γ 0 (: Γ (,4] = 96 and the quotient group is isomorphic to the semidirect product F 4 S 3 where S 3 is the symmetric group of order 3. We can construct an isomorphism, ϕ: Γ 0 (/Γ (,4 Γ (/Γ (,4, as follows. For a class γ Γ 0 (/Γ (,4 we can choose a representative (which we also call γ of the form γ ( A B C D = ( 1 0 CA ( A 0 ( 1 A 1 0 t A 1 B 0 1. Define ϕ(γ = ( ( 1 0 A 0 ( 1 A 1 CA 1 B 1 0 t A Roughly speaking, the map ϕ sends B to B. Set G := Γ 0 (/Γ (,4 = Γ (/Γ (,4. If S is a symmetric matrix with integer coefficients, then from [4, section ] we know that Γ 0 ( is generated by matrices of the form t γ S, γ = ( A 0 0 t A and 1 γs. The classes of these matrices are then generators for the group Γ 0 (/Γ (,4 and their images under ϕ are generators for the group Γ (/Γ (,4. Omitting the weight and the multiplier in the notation of (10, by an easy computation it follows that f a tγs = fa diag(s, f a tγs = f a diag(s. f a γ = f Aa, f a γ = f Aa, f a γs = i t asa f a, f a γs = i t asa f a.

9 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 9 This shows that via the isomorphism ϕ the action of the group G on the two polynomial rings is the same and the map f a f a is an isomorphism of G-modules. Theorem 3. For any subgroup H G there exist two groups Γ, Γ such that Γ (,4 Γ Γ (, Γ (,4 Γ Γ 0 ( and the quotients Γ/Γ (,4 and Γ /Γ (,4 are both isomorphic to H via the map induced by ϕ. It is also induced an isomorphism Φ H : A(Γ,v Θ A N (Γ,v Θ, which doubles the weights. If f [Γ,k/,v Θ ] then Φ H (f [Γ,k,v Θ ]. As an immediate consequence we have the following corollary: Corollary 4. For every subgroup Γ such that Γ (,4 Γ Γ ( the projective variety Proj(A(Γ has a map of degree 8 onto itself...1. Degree 8 endomorphism of the Igusa quartic. H /Γ ( is the coarse moduli space of principally polarized abelian surfaces with a level structure. Igusa[8] proved that the Satake compactification H /Γ ( is a quartic hypersurface in P 4 given by the equation (x 0 x 1 +x 0 x +x 1 x x 3 4x 0 x 1 x (x 0 +x 1 +x +x 3 +x 4 = 0. Since Γ (,4 Γ ( Γ (, one recovers the result in [10] that the Igusa quartic has a degree 8 endomorphism as a special case of Corollary An isomorphism between the Satake compactifications of two moduli spaces of abelian surfaces. As another application of Theorem 3 we will give a different proof of the isomorphism between the Igusa quartic and the Satake compactification of the moduli space of principally polarized abelian surfaces with a Göpel structure studied in [10, 1]. This moduli space is H /Γ 1 (, where Γ 1 ( = {γ Γ A D 1 (mod, C 0 (mod }. It is readily seen that both Γ (/Γ (,4 and Γ 1 (/Γ (,4 are isomorphicto the group H generated by M 1, M, t M 1 and t M. Therefore the isomorphism ϕ H of Theorem 3 induces an isomorphism between H /Γ ( and H /Γ 1 (..3. Action of the Fricke involution. The Fricke involution on H g is the involution given by the matrix ( J = 1 0 1g Sp(4,R. 1 g 0 The action of the real symplectic group on H g is defined as in (1, then for τ H g we have that J τ = 1 τ. We are interested in the case g = and the action of J on the functions f a with a F. Although formula (11 does not define an action of Sp(g, R on theta characteristics, it is still possible to use the classical transformation formula for theta functions to compute the action of the matrix J on theta constants. An easy computation shows that f a (J τ = v Θ (J det(τ 1/ ϑ a (τ, where we define v Θ (J to be equal to v ϑ (J with J as in (8. Therefore (0 f a J,1/,v Θ = ϑ a.

10 10 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS For any γ Sp(4,R we write γ J for the conjugate J γj 1 (. Then (1 γ J D C/ =, γ Γ B A. In particular, if γ Γ, then γ J Γ if and only if C 0 (mod. From (1 we can compute that whereas and Γ (,4J = Γ (,4 and Γ 0( J = Γ 0 (, Γ (J = Γ 0 (4 := {γ Γ C 0 (mod 4}, A D 1 (mod, Γ (,4 J = γ Γ s.t. C 0 (mod 4, diag(c 0 (mod 8,. diag(b 0 (mod We can exploit this action to compute the ring of modular forms with respect to the group Γ (,4 J. From (19 and (0 it follows that A(Γ (,4 J,v ϑ = C[ϑ b ]. Moreover, since the are linear combination of the ϑ b and vice-versa, by (16 and (17, the polynomial ring C[fa] = C[ϑ b ] is invariant under the action of the Fricke involution. Thus, we have another modular interpretation of the endomorphism (4 of P 3. Set G := Γ 0 (4/Γ (,4 J. With the same arguments that led us to Theorem 3, we have an isomorphism ϕ : Γ 0 (/Γ (,4 Γ 0(4/Γ (,4 J such that via this isomorphism the action of the group G on the rings C[ϑ b ] and C[ϑ b ] is the same and the map ϑ b ϑ b is an isomorphism of G -modules. Theorem 5. For any subgroup H G there exist two groups, such that Γ (,4 J Γ 0 (4, Γ (,4 Γ 0 (, and the quotients /Γ (,4 J and /Γ (,4 are both isomorphic to H. This isomorphism is induced by ϕ. Therefore it is also induced an isomorphism of graded ring of modular forms Ψ H : A(,v ϑ A N (,v ϑ such that if f [,k/,v ϑ ] then Ψ H (f [,k,v ϑ ]. Note that since the groups Γ (,4 and Γ 0( are fixed by the Fricke involution the set of groups between them is also fixed, but the individual groups need not be. Corollary 6. For every subgroup such that Γ (,4 J Γ 0 (4 the projective variety Proj(A( has a degree 8 endomorphism. 3. Higher dimensions, the genus 3 case The arguments of Section do not generalize directly to the genus three case. The first key point in the genus two case is that there is a map ψ : H /Γ (,4 H /Γ (,4 which is actually the endomorphism of P 3 given by [x 0,x 1,x,x 3 ] [x 0,x 1,x,x 3 ]. Similar to what we have done in genus two, we define the group Γ 3 (,4 = {γ Γ 3 γ ( (mod, diag(b diag(c 0 (mod 4}.

11 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 11 We will show that both H 3 /Γ 3 (,4 and H 3 /Γ 3 (,4 are not unirational, therefore a map between these two modular varieties is not a map between two projective spaces. A necessary condition for unirationality is that there are no non-trivial holomorphic differential forms in any degree. Exploiting the construction of holomorphic differential forms by means of gradients of odd theta functions introduced in [1], we will show that Ω 5 (H 3 Γ3(,4 and Ω 5 (H 3 Γ 3 (,4 are not trivial. Given a matrix M = (m 1,...,m g 1 M g (g 1 of odd theta characteristics with m i m j for 1 i < j g 1 define W(M(τ = π g+ (ψ m1 (τ ψ mg 1 (τ t (ψ m1 (τ ψ mg 1 (τ, where ψ mi (τ = grad z θ mi (τ,0, 1 i g 1. The form W(M(τ does not vanish identically becauseofthenon-vanishingofthejacobiandeterminantψ m1 (τ ψ mg (τ whenever we deal with distinct odd characteristics m i (cf. [1]. For γ Γ g the following transformation formula holds: W(γ M(γ τ = χ M (γdet(cτ +D g+1 t (Cτ +D 1 W(M(τ(Cτ +D 1, where ( χ M (γ = κ(γ g e g 1 i=1 ϕ m i (γ, with e(t = e πit and ϕ mi (γ defined as in (13. Denoting by ρ 1 the irreducible representation of GL(g,C with highest weight (g+1,...,g +1,g 1 (cf. Section 1.4, it is easily seen that W(M is in [Γ g (,4,ρ 1 ] for g odd while it is in [Γ g(,4,ρ 1 ] for g even, where Γ g(,4 := { γ Γ g (,4 κ(γ = 1 }. By means of thedescription of a holomorphicdifferential formof degree N 1in terms of a suitable vector valued modular form given in formula (18, it follows in particular that Ω 5 (H 3 Γ3(,4 is non-trivial and so H 3 /Γ 3 (,4 is not unirational. Actually in this way one can build at least ( 8 = 378 non-trivial holomorphic differential forms on H3 invariant under the action of Γ 3 (,4, each coming from a W(M where M is a matrix of two distinct odd characteristics. Theorem 7. The space Ω 5 (H 3 Γ 3 (,4 is not trivial and so H 3 /Γ 3 (,4 is not unirational. Proof. A way to construct vector valued modular forms that can be used to define holomorphicdifferentialformsonh 3 invariantunderγ 3 (,4 istosymmetrizesuitablew(m and check that the resulting vector valued modular form does not vanish identically. Given M = (m 1,m M 6, (F, consider ( Φ(M(τ = = γ Γ 3 (,4/Γ 3(,4 γ Γ 3 (,4/Γ 3(,4 W(M γ,ρ1 (τ κ(γ 4 e(ϕ n1 (γ+ϕ n (γw(n(τ, where N = (n 1,n with n i = γ 1 m i, i = 1,. If well defined and not identically zero, Φ(M is a vector valued modular form with respect to Γ 3 (,4 and the representation ρ 1 by construction. From section 1.3 we know that κ(γ 4 = ( 1 Tr(tBC for γ Γ g. It is easily seen that a set of generators for the quotient is given by the classes of the matrices M 1,...,M 6,

12 1 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS ( 13 B i where M i = and B 1 = B 4 = ( 0 0 ( , B =, B 5 = ( ( 1 0 1, B 3 =, B 6 = ( 0 0 ( Thus, the sum in ( is finite and Φ(M is well defined. Moreover, from the set of generators we can explicitly construct the group Γ 3 (,4/Γ 3(,4 and compute ( in order to see if there are choices of the matrix M such that Φ(M does not vanish identically. A direct computation in Mathematica shows that there are only 4 (from the 378 we started with choices of the matrix M such that Φ(M(τ does not vanish identically, exactly the ones such that if M = then where N 1 = M and N = ( m 1 m m 1 m M = Φ(M(τ = , N 3 =,. then m 1 = m. For instance, take 0 1, 4 W(N i (τ, i=1 0 1, N 4 = In fact, it is not even possible to construct a map by squaring coordinates as in the genus two case. We will show that the coordinate ring of H 3 /Γ 3 (,4 is not generated by squares of elements of the coordinate ring of H 3 /Γ 3 (,4. The main difference from the genus two case is that in genus three there is a nontrivial algebraic relation between second order theta constants. Indeed by [11] we know that A(Γ 3 (,4,v Θ = C[f a ]/(R 16, where 1 0. R 16 = P 8 (f 000,...,f 111 +q Q 4(f 000,...,f 111, with P 8 and Q 4 polynomials in the fa of degree 8 and 4 respectively and q = a F 3 f a. Its expression is simpler in terms of theta constants, namely R 16 = (. 3 ϑ 16 m(τ ϑm(τ 8 m even m even One can move from one expression to the other by means of the identities (16 and (17, recovering in this way the explicit expression of the polynomials P 8 and Q 4. It is easily checked that q A(Γ 3 (,4,v Θ so this ring contains R := C[f a,q]/(p 8 +q Q 4,q = a f a. By Serre s criterion [6] it is easy to show that R is normal. Since R is a complete intersection ring it is Cohen-Macaulay, so all that remains is to verify that it is regular

13 ON ISOMORPHISMS BETWEEN SIEGEL MODULAR THREEFOLDS 13 in codimension 1, which we do by computer using Macaulay [5]. So we conclude that A(Γ 3 (,4,v Θ is not generated by squares of elements of A(Γ 3(,4,v Θ. In genera higher than three many algebraic relations appear between second order theta constants, so a possible interpretation of the map that squares the coordinates of a projective space of suitable dimension would need a deeper analysis. We can see how the genus two case is peculiar from this point of view, since the principal results of this paper cannot be generalized directly to higher genera. References [1] Cléry, F., van der Geer, G., Grushevsky, S.: Siegel modular forms of genus and level Internat. J. Math. 6 (015 [] Farkas, H., Rauch, H.: Theta functions with applications to Riemann surfaces. The Williams& Wilkins Co., Baltimore, Md., [3] Freitag, E., Pommerening, K: Reguläre Differentialformen des Körpers der Siegelschen Modulfunktionen. J. Reine Angew. Math. 331, 07-0 (198. [4] Freitag, E., Salvati Manni, R.: Some Siegel threefolds with a Calabi-Yau model II. Kyungpook Math. J. 53, (013. [5] Grayson, D., Stillman, M.: Macaulay, a software system for research in algebraic geometry, Available at [6] Grothendieck, A.: lments de gomtrie algbrique. IV. tude locale des schmas et des morphismes de schmas. II, Inst. Hautes tudes Sci. Publ. Math. No. 4 (1965. [7] Hulek, K., Sankaran, G. K.: The geometry of Siegel modular varieties. Adv. Stud. Pure Math., 35, Math. Soc. Japan, Tokyo, 00. [8] Igusa, J.-I.: On Siegel modular forms of genus two (II. Amer. J. Math. 86, (1964. [9] Igusa, J.-I.: Theta functions. Die Grundlehren der mathematischen Wissenschaften, Band 194. Springer-Verlag, New York-Heidelberg, 197. [10] Mukai, S.: Igusa quartic and Steiner surfaces. In Compact Moduli Spaces and Vector Bundles: Conference on Compact Moduli and Vector Bundles, October 1-4, 010, University of Georgia, Athens, Georgia. Vol American Mathematical Soc., 01. [11] Runge, B.: On Siegel modular forms, I. J. Reine Angew. Math. 436, (1993. [1] Salvati Manni, R.: Holomorphic differential forms of degree N-1 invariant under Γ g. J. Reine Angew. Math, 38, (1987. [13] Weissauer, R.: Vektorwertige Siegelsche Modulformen Kleinen Gewichtes. J. Reine Angew. Math, 343, (1983.