Elliptic subcovers of hyperelliptic curves

The main result of this paper states that if C is a hyperelliptic curve of even genus over an arbitrary field K , then there is a natural bijection between the set of equivalence classes of elliptic subcovers of and the set of elliptic subgroups of its Jacobian .     

Explicit Mumford isomorphism for hyperelliptic curves

Using an explicit version of the Mumford isomorphism on the moduli space of hyperelliptic curves we derive a closed formula for the Arakelov-Green function of a hyperelliptic Riemann surface evaluated at its Weierstrass points.     

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

On unramified normal coverings of hyperelliptic curves

It is well known that the number of unramified normal coverings of an irreducible complex algebraic curve C with a group of covering transformations isomorphic to Z₂⊕Z₂ is (2^4g−3⋅2^2g+2)/6. Assume that C is hyperelliptic, say . Horiouchi has given the explicit algebraic equations of the subset of those covers which turn out to be hyperelliptic themselves. There are of this particular type. In this article, we provide algebraic equations for the remaining ones.     

Singular hyperelliptic curves

Singular curves with a morphism of degree two onto a projective line should be classified into two types according as the equipped morphism is separable or not; we call a curve with a separable one a hyperelliptic curve of separable type, and the other a hyperelliptic curve of inseparable type. We give concrete expressions of a hyperelliptic curve of separable type by means of its global “equation” and a hyperelliptic curve of inseparable type by means of its local rings. Furthermore, we discuss about Weierstrass points of a hyperelliptic curve of inseparable type. Received: 26 March 1997 / Revised version: 21 May 1998     

Counting hyperelliptic curves

We find a closed formula for the number hyp(g) of hyperelliptic curves of genus g over a finite field k=Fq of odd characteristic. These numbers hyp(g) are expressed as a polynomial in q with integer coefficients that depend on g and the set of divisors of q−1 and q+1. As a by-product we obtain a closed formula for the number of self-dual curves of genus g. A hyperelliptic curve is defined to be self-dual if it is k-isomorphic to its own hyperelliptic twist.     

Classification of real moduli spaces over genus 2 curves

We classify, in terms of simple algebraic equations, the fixed point sets of the moduli space of stable bundles over genus 2 curves with anti-holomorphic involutions.Research supported by SRF of University of Missouri.     

A note on families of hyperelliptic curves

We give a stack-theoretic proof for some results on families of hyperelliptic curves. Received: 5 February 2008     

Imaginary automorphisms on real hyperelliptic curves

A real hyperelliptic curve X is said to be Gaussian if there is an automorphism such that , where [-1] denotes the hyperelliptic involution on X. Gaussian curves arise naturally in several contexts, for example when one studies real Jacobians. In the present paper, we study the properties of Gaussian curves and we describe their moduli spaces.     

Places of algebraic function fields in arbitrary characteristic

We consider the Zariski space of all places of an algebraic function field F|K of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime divisors, places of maximal rank, zero-dimensional discrete places) lie dense in this topology. Further, we give several equivalent characterizations of fields that are large, in the sense of F. Pop's Annals paper Embedding problems over large fields. We also study the question whether a field K is existentially closed in an extension field L if L admits a K-rational place. In the appendix, we prove the fact that the Zariski space with the Zariski topology is quasi-compact and that it is a spectral space.     

Isomorphism classes of hyperelliptic curves of genus 2 over finite fields with characteristic 2

In this paper we study the computation of the number of isomorphism classes of hyperelliptic curves of genus 2 over finite fields Fq with q even. We show the formula of the number of isomorphism classes, that is, for q = 2m, if 4 m, then the formula is 2q3 q2 - q; if 4 | m, then the formula is 2q3 q2 - q 8. These results can be used in the classification problems and the hyperelliptic curve cryptosystems.     

Higher syzygies of hyperelliptic curves

Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P¹ be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f^∗O_P¹(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L.     

Adjoint divisors on algebraic curves

Let C be a numerically connected curve lying on a smooth algebraic surface. We show that if is an ample invertible sheaf satisfying some technical numerical hypotheses then is normally generated. As a corollary we show that the sheaf ω_C^⊗2 on a numerically connected curve C of arithmetic genus p_a?3 is normally generated if ω_C is ample and does not exist a subcurve B⊂C such that p_a(B)=1=B(C−B).     

The minimal degree of plane models of double covers of smooth curves

If X is a smooth curve such that the minimal degree of its plane models is not too small compared with its genus, then X has been known to be a double cover of another smooth curve Y under some mild condition on the genera. However there are no results yet for the minimal degrees of plane models of double covers except some special cases. In this paper, we give upper and lower bounds for the minimal degree of plane models of the double cover X in terms of the gonality of the base curve Y and the genera of X and Y. In particular, the upper bound equals to the lower bound in case Y is hyperelliptic. We give an example of a double cover which has plane models of degree equal to the lower bound.     

The generalized Verschiebung map for curves of genus 2

Let C be a smooth curve, and M _r (C) the coarse moduli space of vector bundles of rank r and trivial determinant on C. We examine the generalized Verschiebung map induced by pulling back under Frobenius. Our main result is a computation of the degree of V ₂ for a general C of genus 2, in characteristic p > 2. We also give several general background results on the Verschiebung in an appendix.This paper was partially supported by fellowships from the National Science Foundation and Japan Society for the Promotion of Sciences.     

A criterion for ample vector bundles over a curve in positive characteristic

Let X be a smooth projective curve defined over an algebraically closed field of positive characteristic. We give a necessary and sufficient condition for a vector bundle over X to be ample. This generalizes a criterion given by Lange in [Math. Ann. 238 (1978) 193-202] for a rank two vector bundle over X to be ample.     

Remarks on families of singular curves with hyperelliptic normalizations

We give restrictions on the existence of families of curves on smooth projective surfaces S of nonnegative Kodaira dimension all having constant geometric genus p_g ? 2 and hyperelliptic normalizations. In particular, we prove a Reider-like result that relies on deformation theory and bending-and-breaking of rational curves in Sym²(S). We also give examples of families of such curves.