# Hyperelliptic curve

Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
Citable Version  [?]

This editable, developed Main Article is subject to a disclaimer.

In algebraic geometry and in the theory of Riemann surfaces a hyperelliptic curve is an algebraic curve  of genus greater than 1, which admits a double cover . These curves are among the simplest algebraic curves: they are all birationally equivalent to curves of the form  in the affine plane, where  is a polynomial in , and the degree of  is either twice the genus of the curve plus 2, or twice the genus of the curve plus one.

If a double cover  exists, then it is the unique double cover , and it is called the "hyperelliptic double cover". The involution induced on the curve  by interchanging between the two "sheets" of the double cover is called the "hyperelliptic involution". The divisor class of a fiber of the hyperelliptic double cover is called the "hyperelliptic class".

## Weierstrass points

By the Riemann-Hurwitz formula the hyperelliptic double cover has exactly  branch points. For each branch point  we have . Hence these points are all Weierstrass points. Moreover, we see that for each of these points , and thus the Weierstrass weight of each of these points is at least . However, by the second part of the Weierstrass gap theorem, the total weight of Weierstrass points is , and thus the Weierstrass points of  are exactly the branch points of the hyperelliptic double cover.

Given a set  of  distinct points on , there is a unique double cover of  whose branch divisor is the set . From an algebro-geometric point of view one can construct the curve  by taking the  of the sheaf whose sections  over an open subset  satisfy .

## The plane model

A plane model for a hyperelliptic curve of genus 3. Two Weierstrass points have non-real coordinates, and one is at infinity.

If the  branch points of a hyperelliptic double cover  are  then C is birational to the plane curve , where if one of the branch points is infinity, we omit the corresponding term in the product. The closure of this curve in the projective plane has a singularity on the line .

## Curves of genus 2

If the genus of  is 2, then the degree of the canonical class  is 2, and . Hence the canonical map is a double cover. The Jacobian variety of such a curve is an Abelian surface.

## The canonical system

If  is a rational point on a hyperelliptic curve, then for all  we have . Hence we must have . However, by Riemann-Roch this implies that the divisor  is rationally equivalent to the canonical class . Hence the canonical class of  is  times the hyperelliptic class of , and the canonical image of  is a rational curve of degree .

### Level 2 structure

If  is a set of at most  Weierstrass points of  such that  is even, then  is a theta characteristic of ; i.e.  is in the Picard group of . Moreover, it can be shown that , and if there are two such sets , then either  or  is the set of all Weierstrass points on .

Every theta characteristics may be obtained in this way: Indeed if we count each set  together with its complementary set in the set of Weierstrass points (and then divide by 2) then the combinatorial description above tells us that any partition of the set of Weierstrass points into two sets such that the difference between the cardinalities is divisible by 4, induces a theta characteristic. In this way we count a total of  distinct theta characteristics . This combinatorial sum is  which is the number of theta characteristics on a curve of genus . Hence our description exhausts all the theta characteristics.

a family of bitangents to canonical curves of genus 3 degenerate to a line connecting images of two Weierstrass points of a canonical image of a hyperelliptic curve of genus 3
• In genus 2, there are 6 Weierstrass points. Each of them is an odd theta characteristic. There are  three-tuples of distinct Weierstrass points, and hence there are  odd theta characteristics, as expected. It is interesting to understand the geometrical meaning of pairs of Weierstrass points: if  are two distinct Weierstrass points on  then  is a 2-torsion point on the Jacobian of , in this way we can express all the  non-trivial 2-torsion points on this Jacobian. Moreover, if  is another (and different) 2-torsion point, then the  between the two 2-torsion points is given by .
• In genus 3, there are 8 Weierstrass points. The even theta characteristics are given by the empty set and by partitions of these 8 points into two distinct sets - hence we get  even theta characteristics. The odd theta characteristics are given by the  pairs of Weierstrass points. The canonical map in this case maps the curve  to a double cover of a plane conic. Consider a family of canonically embedded genus 3 curves with parameter  given by , where we identify the double conic  with the canonical image of  and where the Weierstrass points are the intersection points of . Then it can be shown that the "limit" of the bitangents of the curves in the family (which are the odd theta characteristics) are the lines connecting pairs of images of Weierstrass points on .

## Moduli of hyperelliptic curves

Since for any set  of  points on  there is a unique double cover  with branch divisor , the coarse moduli space of hyperelliptic curves of genus  is isomorphic to the moduli of  points on , up to projective transformations. However, as there are more than three points in , there is a finite non-empty subset of  that sends three of the points in  to . Thus, the moduli of space which parametrizes  distinct points on  up to projective transformations, is a finite quotient of the space of distinct  points on . Specifically this space is an irreducible affine scheme of dimension .

### Compactifications of the moduli

There are two standard "natural" compactifications of the moduli of  distinct points on . One is the binary forms compactification : the GIT quotient of homogeneous polynomials of degree  in two variables by the group  acting on the linear span of the variables. The second compactification is the Deligne-Mumford compactification of the moduli of pointed curves . For the case  Avritzer and Lange constructed a surjective morphism , thus relating these compactifications in the hyperelliptic case. Finally, the closure of the locus of hyperelliptic curves in the moduli stack  of curves of genus , is a degree  cover of .

## References

• E. Arbarello, M. Cornalba, P. Griffiths, J. Harris: Geometry of Algebraic Curves, I. Grund. series, vol. 267, Springer. ISBN 0387909974 (theta characteristics on hyperelliptic curves)
• D. Avritzer, H. Lange The moduli spaces of hyperelliptic curves and binary forms Math Z. Volume 242, Number 4, 2002
• I. Dolgachev Invariant theory ISBN 0521525489 (binary forms compactification)
• J. Harris and D. Morison Moduli of curves ISBN 0387984291 (degeneration of bitangents)