Geometric aspects on Humbert-Edge curves of type 5, Kummer surfaces and hyperelliptic curves of genus 2

Abstract In this work, we study the Humbert-Edge curves of type 5, defined as a complete intersection of four diagonal quadrics in 
${\mathbb{P}}^5$
 . We characterize them using Kummer surfaces, and using the geometry of these surfaces, we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert-Edge curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we show how this argument can be generalized to state an isomorphism between the moduli space of hyperelliptic curves of genus 
$g=\frac{n-1}{2}$
 and the moduli space of Humbert-Edge curves of type 
$n\geq 5$
 where 
$n$
 is an odd number.


Introduction
W.L. Edge began the study of Humbert's curves in [5]; such curves are defined as canonical curves in P 4 that are the complete intersection of three diagonal quadrics.A natural generalization of Humbert's curve was later introduced by Edge in [7]: irreducible, non-degenerated, and non-singular curves on P n that are the complete intersection of n − 1 diagonal quadrics.One important feature of Humbert-Edge curves of type n noted by Edge in [7] is that each one admits a normal form.Indeed, we can assume that the n − 1 quadrics in P n are given by where a j ∈ C for all j ∈ {0, . . ., n} and a j = a k if j = k, and here, a i j denotes the ith power of the a j .We say that a curve satisfying this conditions is a Humbert-Edge curve of type n.Note that in the case of a Humbert's curve X, i.e. when n = 4, this form of the equations implies directly that X is contained in a degree four Del Pezzo surface.
The Humbert-Edge curves of type n for n > 4 has been studied in just a few works.Carocca, González-Aguilera, Hidalgo, and Rodríguez studied in [3] the Humbert-Edge curves from the point of view of uniformization and Klenian groups.Using a suitable form of the quadrics, Hidalgo presented in [11] and [12] a family of Humbert-Edge curves of type 5 whose fields of moduli are contained in R but none of their fields of definition are contained in R. Frías-Medina and Zamora presented in [9] a characterization of Humbert-Edge curves using certain abelian groups of order 2 n and presented specializations admitting larger automorphism subgroups.Carvacho, Hidalgo, and Quispe determined in [4] the decomposition of the Jacobian of generalized Fermat curves and as a consequence for Humbert-Edge curves.Auffarth, Lucchini Arteche, and Rojas described in [1] the decomposition of the Jacobian of a Humbert-Edge curve more precisely given the exact number of factors in the decomposition and their corresponding dimensions.
In the case n = 5, the normal form for these curves implies that they are contained in a special K3 surface, a Kummer surface.In this work, we study the Humbert-Edge curves of type 5 and determine some properties using the geometry of Kummer surfaces.
Recall that an algebraic (complex) K3 surface is a complete non-singular projective (compact connected complex) surface S such that ω S ∼ = O S and H 1 (S, O S ) = 0. Classically, a (singular) Kummer surface is a surface in P 3 of degree 4 with 16 nodes and no other singularities.An important fact about Kummer surfaces is that are determined by the set of their nodes.One can take the resolution of singularities of a Kummer surface, and the obtained non-singular surface is a K3 surface.For our purposes, these non-singular models will be called Kummer surfaces.
The Kummer surfaces that we will take for our study are those coming from a hyperelliptic curve of genus 2. In such case, an important feature shared by Humbert-Edge curves of type 5 and Kummer surfaces is that they admit the automorphism subgroup generated by the natural involutions of P 5 that change the ith coordinate by its negative: These automorphisms along with Knutsen's result [14] on the existence of a K3 surface of degree 2n in P n+1 containing a smooth curve of genus g and degree d will enable us to characterize the Humbert-Edge curves of type 5 using the geometry of a Kummer surface.This work is organized as follows.In Section 2, we review the construction of a Kummer surface from a two-dimensional torus and the conditions that ensure when a Kummer surface is projective.Later, we focus on the case of Kummer surfaces obtained from hyperelliptic curves of genus 2. Section 3 is split into three parts.First, in Section 3.1, we review the basic properties of Humbert-Edge curves of type 5 and characterize them using the geometry of the Kummer surface.Later, in Section 3.2, we present the construction of some odd theta characteristic on a Humbert-Edge curve of type 5 using the automorphisms σ i 's and some vanishing thetanulls using the Rosenhain tetrahedra associated with the Kummer surface.Finally, in Section 3.3 we use the embedding given in [3] to construct an isomorphism between the moduli space HE 5 of Humbert-Edge curves of type 5 and the moduli space H 2 of hyperelliptic curves of genus 2, and as a consequence, we obtain that H 2 is a three-dimensional closed subvariety of M 17 .Moreover, we generalized this argument to show that there is an isomorphism between the moduli space HE n of Humbert-Edge curves of type n, where n ≥ 5 is an odd number, and the moduli space H g of hyperelliptic curves of genus g = n−1 2 .

Construction from a two-dimensional torus
In this paper, the ground field is the complex numbers.In this section, we recall the construction of the Kummer surface associated with a two-dimensional torus.
Let T be a two-dimensional torus.Consider the involution ι : T → T which sends a → −a and takes the quotient surface T/ ι .The surface T/ ι is known as the singular Kummer surface of T. It is wellknown that this surface has 16 ordinary singularities, and by resolving them, we obtain a K3 surface called the Kummer surface of T and denoted by Km(T) (see e.g., [10,Theorem 3.4]).This procedure is called the Kummer process.Note that by construction, Km(T) has 16 disjoint smooth rational curves; indeed, they correspond to the singular points of the quotient surface.Nikulin proved in [15] the converse: Theorem 2.1.If a K3 surface S contains 16 disjoint smooth rational curves, then there exists a unique complex torus, up to isomorphism, such that S and the rational curves are obtained by the Kummer process.In particular, S is a Kummer surface.
Note that the above construction holds true for any two-dimensional torus, not necessarily a projective one.In particular, with this process it is possible to construct K3 surfaces that are not projective.However, there is an equivalence between the projectivity of the torus and the associated K3 surface (see [2,Theorem 4.5.4]):Theorem 2.2.Let T be a two-dimensional torus.T is an abelian surface if and only if Km(T) is projective.Now, if A is a principally polarized abelian surface, then A is one of the following (see [2,Corollary 11.8.2]): (a) The Jacobian of a smooth hyperelliptic curve of genus 2 or (b) The canonical polarized product of two elliptic curves.
As we will see next, Case (a) is the one of our interest.

Hyperelliptic curves of genus 2 and Kummer surfaces
We are interested in K3 surfaces that are a smooth complete intersection of type (2, 2, 2) in P 5 , i.e. that are a complete intersection of three quadrics.Moreover, we restrict to the case in which the quadrics are diagonal.The interest of having diagonal quadrics defining the K3 surface is that they enable us to work with hyperelliptic curves of genus 2.
Indeed, let C be the hyperelliptic curve of genus 2 given by the affine equation where a 0 , . . ., a 5 ∈ C and a i = a j if i = j.We can consider the jacobian surface J(C) associated with C, and applying the Kummer process, we obtain that the K3 surface Km(J(C)) is isomorphic to the surface in P 5 defined by the complete intersection of the 3 diagonal quadrics by [16,Theorem 2.5]: In order to obtain a hyperelliptic curve of genus 2 beginning with a smooth K3 surface S in P 5 given by the complete intersection of three diagonal quadrics, we may assume an additional hypothesis.Edge studied in [6] the Kummer surfaces defined by (2).One of his results establishes that whenever a surface X given by the intersection of three linearly independent quadrics has a common self-polar simplex in P 5 and contains a line in general position, then the equations defining X can be written with the form (2). Observe that this fact is equivalent to requiring that X contains 16 disjoint lines; indeed, using the natural involutions of P 5 one can obtain the other lines.
Then, let S be a smooth K3 surface in P 5 given by the complete intersection of the quadrics where a ij ∈ C for i = 0, 1, 2 and j = 0, . . ., 5 and assume that S contains 16 disjoint lines.As a consequence, we may assume that S is given by the quadrics in (2) for some a i ∈ C where a i = a j if i = j.By [15, Theorem 1] there exists a unique (up to isomorphism) two-dimensional torus that gives rise to the surface S. Taking the hyperelliptic curve C given by the equation we obtain that S is isomorphic to Km(J(C)).
From now on, we say that a Kummer surface is a smooth surface in P 5 given by the complete intersection of three diagonal quadrics as in (2).
For a Kummer surface S given by ( 2), it is possible to give the parametric form of the 32 lines contained in S. Indeed, in [6] Edge noted that the equation of a line contained in S is given in the following parametric form: Recall that the natural automorphisms σ i : x i → −x i of P 5 act on S. Denote by E the group σ 0 , . . ., σ 5 .
Applying each element of E to the line , we obtain the other 32 lines on S. The identity gives the line and the remaining elements give the other 31 lines: It is well-known that a singular Kummer surface K is birational to a Weddle surface W (see e.g., [17, Proposition 1]).A Weddle surface is a quartic surface in P 3 with six nodes.The 32 lines on S have a geometric interpretation in both K and W as Edge pointed in [6].Indeed, the projection π of S from is a Weddle surface W and it occurs: is the line in the intersection of the plane generated by k i , k j , k h with the complementary plane, for different indices i, j, h ∈ {0, . . ., 5}, and • π ( ) is the cubic on W through the six nodes k i 's.
On the other hand, since S is the resolution of singularities of K it occurs: • The 16 nodes of K correspond to the 16 lines i and ijk , and • The conics of contact of K with its 16 tropes correspond to the 16 lines and ij .
A trope is a plane which intersects the quartic along a conic.The nodes and the tropes of a singular Kummer surface provide an interesting configuration on it.Gonzalez-Dorrego classified in [10] the non-degenerate (16, 6)-configurations and used them to classify the singular Kummer surfaces.Given a singular Kummer surface, the nodes and the tropes establish a non-degenerate (16, 6)-configuration (see [10,Corollary 2.18]), and conversely, given a (16, 6)-configuration, there exists a singular Kummer surface whose associated (16, 6)-configuration is the given one (see [10,Theorem 2.20]).(16,6)-configuration is a set of 4 points and 4 planes such that each plane contains exactly 3 points and each point belongs to exactly 3 planes.The 4 points are the vertices of the tetrahedron.An edge is a pair of vertices, and a face is a triple of vertices.

Definition 2.4. A Rosenhain tetrahedron in an abstract
Rosenhain tetrahedra always exist in a singular Kummer surface; in fact, there exist 80 of them ([10, Corollary 3.21]).Moreover, these tetrahedra are relevant because using them we can construct divisors that are linearly equivalent and whose class induces the closed embedding to P 5 (see [10, Proposition 3.22 and Remark 3.24]): Proposition 2.5.Given a Rosenhain tetrahedron on a singular Kummer surface K, let D be the divisor on the associated Kummer surface S given by the sum of proper transforms of the 4 conics in which the planes meet on K and the 4 exceptional divisors corresponding to the 4 nodes.Then, the linear equivalence class of D is independent of the choice of the Rosenhain tetrahedron.In addition, D 2 = 8, dim|D| = 5, and the linear system |D| induces a closed embedding of S in P 5 as the complete intersection of three quadrics.These divisors will be used in the next section to construct vanishing thetanulls on Humbert-Edge curves of type 5.

Properties and characterization
Here, we review the main properties of the Humbert-Edge curves of type 5 and present a characterization using the lines lying on a Kummer surface.Definition 3.1.An irreducible, non-degenerate, and non-singular curve X 5 ⊆ P 5 is a Humbert-Edge curve of type 5 if it is the complete intersection of 4 diagonal quadrics Q 0 , . . ., Q 3 : The basic properties of a Humbert-Edge curve of type 5 are stated below.
Lemma 3.2.Let X 5 ⊂ P 5 be a Humbert-Edge curve of type 5.The following hold: 1. X 5 is a curve of degree 16.
2. The genus of X 5 is equal to g(X 5 ) = 17.

Every 4-minor of the matrix
The diagonal form of the equations defining a Humbert-Edge curve X 5 of type 5 implies that it admits the action of the group E generated by the six involutions σ i : x i → −x i acting with fixed points and whose product is the identity.Moreover, these involutions establish a relation between the Humbert-Edge curves of type 5 and the Humbert's curves in P 4 .For every i = 0, . . ., 5, we can consider the covering π i : X 5 → X 5 / σ i induced by the involution σ i .This is a two-to-one covering ramified at 16 points obtained as the intersection points of X 5 with the hyperplane V(x i ).In addition, the quotient of X 5 / σ i is a Humbert's curve in P 4 .This double covering can be interpreted geometrically as the projection of X 5 with center e i onto the hyperplane V(x i ).
Next result shows that a Humbert-Edge curve of type 5 is always contained in a Kummer surface.It is a consequence of the fact noted by Edge in [7] that a Humbert-Edge curve of type n can be written in a normal form.Proposition 3.3.Let X 5 ⊂ P 5 be a Humbert-Edge curve of type 5.There exists a Kummer surface in P 5 which contains X 5 .
Proof.Assume that X 5 is given by the equations where a ij ∈ C. For each j = 0, . . ., 5, consider the coefficients a ij as the entries of the point p j = a 0j : a 1j : a 2j : a 3j in the projective space P 3 .We have six points p 0 , . . ., p 5 in P 3 that are in general position, so there exists a unique rational normal curve C ⊂ P 3 through these points.Finally, take a change of coordinates of P 3 such that C is in the standard parametric form, then we may assume that p j = 1 : a j : a 2 j : a 3 j for all j = 0, . . ., 5. Therefore, we obtain that X 5 is given by the equations with a j ∈ C, j = 0, . . ., 5 and a j = a k if j = k.The quadrics Q 0 , Q 1 , Q 2 define the Kummer surface associated with the hyperelliptic curve y 2 = 5 j=0 (x − a j ).Therefore, X 5 is contained in a Kummer surface.
Remark 3.4.Note that given a Humbert-Edge curve X 5 of type 5 in normal form (4), by the above proposition it is always possible to find a hyperelliptic curve C such that the Kummer surface Km(J(C)) contains X 5 .Reciprocally, given a hyperelliptic curve C of genus 2, by the discussion in Section 2.2, in a natural way the associated Kummer surface Km(J(C)) contains a Humbert-Edge curve of type 5 whose equations are in the normal form (4). Denote by M g the moduli space of smooth and irreducible curves of genus g.Note that Proposition 3.3 lets us see that Humbert-Edge curves of type 5 depend on three parameters in M 17 ; in fact in Section 3.3, we prove that the moduli space of Humbert-Edge curves of type 5 is isomorphic to the moduli space of hyperelliptic curves of genus 2.
Next we present a characterization for Humbert-Edge curves of type 5 using the lines on Kummer surfaces.Theorem 3.5.Let X ⊂ P 5 be an irreducible, non-degenerate, and non-singular curve of degree 16 and genus 17.The following statements are equivalent: (i) X is a Humbert-Edge curve of type 5. (ii) X admits six involutions σ 0 , . . ., σ 5 such that σ 0 , . . ., σ 5 ∼ = (Z/2Z) 5 , σ 0 • • • σ 5 = 1 and the quotient X/ σ i is a Humbert's curve for every i = 0, . . ., 5. (iii) There exists a Kummer surface S which contains X and such that the intersection of X with the 16 lines and ij is at most one point.(iv) There exists a Kummer surface S which contains X and such that the intersection of X with the 16 lines i and ijk is at most one point.
(i)⇒(iii) Assume that X is Humbert-Edge curve of type 5. Proposition 3.3 implies that X is contained in a Kummer surface S. So, we may assume the existence of different scalars a 0 , . . ., a 5 ∈ C such that X is given by the equations and S is given by the equations Q 0 , Q 1 , Q 2 .Consider the line in parametric form as in (3).A direct computation shows that for every t ∈ C, Therefore, X does not intersect the line and the diagonal form of the third equation implies that X also does not intersect the lines ij for every i, j ∈ {0, . . ., 5} with i = j.(iii)⇒(i) Assume that X is contained in a Kummer surface S defined by the equations where a j = a k if j = k, and such that X does not intersect the lines , jk in two different points for all j, k ∈ {0, . . ., 5} with j = k.We denote f (x) = 5 j=0 (x − a j ).Since S is a K3 surface of type (2, 2, 2) in P 5 containing X, our situation should be one of the cases determined by Knutsen in [14, Theorem 6.1 (3)].In fact, we are in Case a) of the latter, in Knutsen's notation we have n = 4, d = 16, g = 17, and g = d 2 /16 + 1.Moreover, such a result implies that X is the complete intersection of S and a hypersurface of degree d/8, i.e.X is the complete intersection of four quadrics.Denote the fourth quadric by Now, when we evaluate the quadric Q in the parametric form of we obtain a quadratic equation with parameter t with leading coefficient The hypothesis that Q does not intersect the line in two different points implies that such coefficient vanishes (the coefficient of t could vanish but in such case the constant term must be different from zero).This also occurs for all of the 15 lines jk by hypothesis, and then, we have 16 imposed conditions.The leading coefficient for the line jk can be deduced from the above one, in fact, since the line jk is obtained from by the application of σ j σ k , it is enough to add a negative sign to the coefficient of the terms d rs whenever r or s are equal to j or k.Solving the linear system in the variables d j 's and d jk 's, we obtain that all the d jk 's are equal to zero, that d 0 , d 1 , d 2 , d 3 , and d 4 are free parameters and Therefore, X is the complete intersection of four diagonal quadrics in P 5 and we conclude that it is a Humbert-Edge curve of type 5.
(iii)⇔(iv) As above, assuming that X is contained in a Kummer surface S defined by the equations where a j = a k if j = k, by [14, Theorem 6.1 (3)] we ensure that X is the complete intersection of S and a hypersurface of degree 2. Under the hypothesis of (iii) or (iv), when we solve the system of equations in the parameter t as we previously did, we obtain that the coefficient of every mixed term vanishes and d 5 has the form of ( 5).The remaining conditions, (iv) or (iii), respectively, do not impose new conditions on the coefficients.

Theta characteristics
In this section, we use the coverings given by the subgroups generated by involutions σ i 's and the Rosenhain tetrahedra of singular Kummer surfaces to construct theta characteristics on a Humbert-Edge curve of type 5.We recall the definition of a theta characteristic and a vanishing thetanull.
Definition 3.6.Let X be an algebraic curve.A line bundle L on X is a theta characteristic if L 2 ∼ K X .A theta characteristic L is even (respectively, odd) if h 0 (L) is even (respectively, odd).A vanishing thetanull is an even theta characteristic L such that h 0 (L) > 0.
Recall that given a Humbert-Edge curve X 5 of type 5, for every i = 0, . . ., 5 the double covering π i : X 5 → X 5 / σ i is ramified at 16 points obtained as the intersection points of X 5 with the hyperplane V(x i ).Denote by R i = p i1 + • • • + p i16 the ramification divisor for every i = 0, . . ., 5.
Proposition 3.7.Let X 5 ⊂ P 5 be a Humbert-Edge curve of type 5. X 5 admits 26 odd theta characteristics with 3 sections, 6 of them correspond to the line bundle associated with the ramification divisors, and the remaining 20 are induced by the coverings associated with the subgroups generated by three different involutions σ i , σ j and σ k for i, j, k ∈ {0, . . ., 5}.
Proof.For distinct i, j ∈ {0, . . ., 5}, consider the subgroup generated by the involutions σ i and σ j and take the induced covering of degree four π ij : X 5 → X 5 / σ i , σ j .This is a simply ramified covering with the 32 ramified points p i1 , . . ., p i16 , p j1 , . . ., p j16 .Since X 5 / σ i , σ j = E ij is an elliptic curve, it follows that So, K X 5 ∼ R i + R j for all i, j ∈ {0, . . ., 5}.Fix and index i ∈ {0, . . ., 5} and take j, k ∈ {0, . . ., 5}\{i} with j = k.Using the fact that we have that R i ∼ R j .Thus, K X 5 ∼ R i + R j ∼ 2R i and R i is a theta characteristic.Now, let i, j, k ∈ {0, . . ., 5} be different indices.The covering of degree eight π ijk : X 5 → X 5 / σ i , σ j , σ k is a simply ramified covering in the 48 points p i1 , . . ., p i16 , p j1 , . . ., p j16 , p k1 , . . ., p k16 .Note that X 5 / σ i , σ j , σ k ∼ = P 1 .Then, Therefore, we have that π * ijk ( − K P 1 ) ∼ R i and we conclude that To do so, we will use the fact that h 0 (π The covering π ijk is determined by a line bundle L on P 1 such that , and in addition, we have that . By the projection formula: From the equality , we get that the degree of L is equal to 6, and this implies that O P 1 (2) ⊗ L −n has no sections for every n = 1, . . ., 7. Therefore, Using the geometry of the Kummer surface, we can determine some vanishing thetanulls on a Humbert-Edge curve of type 5. Proposition 3.8.Let X 5 ⊂ P 5 be a Humbert-Edge curve of type 5. X 5 admits 80 vanishing thetanulls with 6 sections corresponding to Rosenhain tetrahedra of the associated singular Kummer surface K.
Proof.By Proposition 3.3, X 5 is contained in a Kummer surface S. Denote by K the singular Kummer surface associated with S. For a Rosenhain tetrahedron on K, let D be the associated divisor in S (see Proposition 2.5).By [14, Proposition 3.1], we have that X 5 and D are dependent in Pic(S); in fact, X 5 appears as an element in the linear system |2D|.Using the fact that the canonical bundle of S is trivial and that X 5 ∈ |2D|, the adjunction formula implies that Thus, the divisor D| X 5 is a theta characteristic.Only the calculation of h 0 (D| X 5 ) remains.Twisting the exact sequence of sheaves and therefore, we obtain the exact sequence in cohomology We have H 0 (S, −D) = 0 and since D is very ample, by Mumford vanishing theorem we obtain that H 1 (S, −D) = 0.Then, H 0 (S, D) = H 0 (X 5 , D| X 5 ) and from dim|D| = 5 it follows that h 0 (X 5 , D| X 5 ) = 6.We conclude the proof recalling that there are 80 Rosenhain tetrahedra associated with a singular Kummer surface (see Proposition 2.5).
We conclude this subsection with the following remarks: • The way to construct the vanishing thetanulls for a Humbert-Edge curve of type 5 using the geometry of a Kummer surface differs completely from the classical case: a Humbert's curve X admits exactly 10 vanishing thetanulls and can be constructed by taking the quotients of X by the subgroup generated by two involutions (see the proof of [9, Theorem 2.2]), the geometry of the Del Pezzo surface containing X is not involved in such process.• The procedure used in Proposition 3.8 to construct the vanishing thetanulls holds true for every smooth curve on degree 16 and genus 17 on a Kummer surface S. Indeed, if Y is any smooth curve of degree 16 and genus 17 contained in S, then using again [14, Proposition 3.1] we have that Y and D are dependent on Pic(S) and the previous argument holds.

Moduli space of Humbert-Edge curves of type 5
As we mention in Remark 3.4, given a Humbert-Edge curve of type 5 it is always possible to associate a hyperelliptic curve of genus 2 and vice versa.Here, we discuss about this fact, and using the results of Carocca, Gónzalez-Aguilera, Hidalgo, and Rodríguez [3], we prove that the moduli space of Humbert-Edge curves of type 5 is isomorphic to the moduli space of hyperelliptic curves of genus 2. Given a Humbert-Edge curve X 5 of type 5, using Edge's idea of considering the coefficients as points in P 3 and the unique rational normal curve in P 3 through them, one is able to write down the equations of X 5 in normal form (see the proof of Proposition 4): where a j ∈ C for j = 0, . . ., 5 and a j = a k if j = k.Note that since the rational normal curve that we are considering is constructed via the Veronese map ν : P 1 → P 3 , one can fix three points in P 1 , and therefore, X 5 depends only on three different complex numbers.Thus, we can assume that we are fixing the points 0, 1, and ∞, and then, we have three free different parameters λ 1 , λ 2 , and λ 3 defining the curve X 5 .Since this idea can be carried out in the general case of Humbert-Edge curves of type n, with this fact in mind in [3, Section 4.1] the authors found an embedding for Humbert-Edge curves of type n in P n in such way that the equations depend on n − 2 different parameters.In the particular case of the Humbert-Edge curve X 5 of type 5, the equations take the form = 0, where λ 1 , λ 2 , λ 3 ∈ C\{0, 1} are different complex numbers.To emphasize the dependence on the parameters λ 1 , λ 2 , λ 3 and considering that we are fixing 0, 1, ∞, we denote this curve as X 5 (λ 1 , λ 2 , λ 3 ).Also, note that if we consider the degree 32 map given by π (λ 1 ,λ 2 ,λ 3 ) : X 5 (λ 1 , λ 2 , λ 3 ) → P 1 (x 0 : . . .: is the branch locus of π (λ 1 ,λ 2 ,λ 3 ) .On the other hand, if C is a hyperelliptic curve of genus 2, then we can write the equation which defines C as where a j ∈ C for j = 0, . . ., 5 and a j = a k if j = k.Since there always exists an automorphism of P 1 which carries a tuple of different complex numbers (a 0 , a 1 , a 2 ) to (0, 1, ∞), we may assume that C is given by the equation where λ 1 , λ 2 , λ 3 ∈ C\{0, 1} are different.Similarly as before, we denote by C(λ 1 , λ 2 , λ 3 ) the hyperelliptic curve of genus 2 with parameters 0, 1, ∞, λ 1 , λ 2 and λ 3 .In addition, since C(λ 1 , λ 2 , λ 3 ) is a hyperelliptic curve of genus 2, there exists a degree 2 map ρ (λ 1 ,λ 2 ,λ 3 ) : C(λ 1 , λ 2 , λ 3 ) → P 1 whose branch locus is precisely given by (7).
In the case of hyperelliptic curves of genus 2, we have an analogous result (see [8, Section III.7.3]): On the other hand, in [3,Proposition 4.3] the authors proved that the map q 5 : HE 5 → M 17 is injective.Thus, using the isomorphism f 5 we obtain the following: Corollary 3.12.The moduli space H 2 of hyperelliptic curves of genus 2 is a three-dimensional closed algebraic variety in M 17 via the composition q 5 • f 5 : H 2 → M 17 .
Since we have an analogous of Proposition 3.9 for the general case (see [13,Section 2.3]), then the argument to construct the moduli space of Humbert-Edge curves of type 5 in fact holds true for the general case of Humbert-Edge curves of type n (see Section 4.2 of [3]).Therefore, we can consider the moduli space HE n of Humbert-Edge curves of type n, and we have a well-defined map q n : HE n → M gn where M gn is the moduli space of curves of genus g n = 2 n−2 (n − 3) + 1.
On the other hand, a hyperelliptic curve C(λ 1 , . . ., λ 2g−1 ) of genus g is given by the equation where H g denotes the moduli space of hyperelliptic curves of genus g = n−1 2 .Finally, applying the argument of Proposition 3.11 and using the fact that the natural map q n : HE n → M gn is injective (see [3,Proposition 4.3]) we conclude the following: Proposition 3.13.If n ≥ 5 is an odd number and n − 2 = 2g − 1 = d, then the map f d : H g → HE n is an isomorphism of moduli spaces.In particular, we have that H g is an (n − 2)-dimensional closed variety in M gn via the composition q n • f d : H g → M gn , where g n = 2 n−2 (n − 3) + 1.