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.     

Dyson's theorem for curves

Let K be a number field and X₁ and X₂ two smooth projective curves defined over it. In this paper we prove an analogue of the Dyson theorem for the product X₁×X₂. If Xi=P₁ we find the classical Dyson theorem. In general, it will imply a self contained and easy proof of Siegel theorem on integral points on hyperbolic curves and it will give some insight on effectiveness. This proof is new and avoids the use of Roth and Mordell-Weil theorems, the theory of Linear Forms in Logarithms and the Schmidt subspace theorem.     

Further examples of maximal curves

It is shown that the curve over F_q²ⁿ with n≥3 odd, that generalizes Serre’s curve y⁴+y=x³ over F₆₄, is also maximal. We also investigate a family of maximal curves over F_q²ⁿ and provide isomorphisms between these curves.     

Admissible metrics for line bundles on curves and abelian varieties over non-archimedean local fields

Following the approach in the archimedean case, we introduce the notion of admissible metrics for line bundles on curves and abelian varieties over non-archimedean local fields. Several properties of admissible metrics are considered and we show that this approach yields the same notion of admissible metrics over curves as doing harmonic analysis on the reduction graph of the curve. Received: 9 September 2002     

On Chow and Brauer groups of a product of Mumford curves

Let C₁,···,C_d be Mumford curves defined over a finite extension of and let X=C₁×···×C_d. We shall show the following: (1) The cycle map CH₀(X)/n → H^2d(X, μ_n^⊗d) is injective for any non-zero integer n. (2) The kernel of the canonical map CH₀(X)→Hom(Br(X),) (defined by the Brauer-Manin pairing) coincides with the maximal divisible subgroup in CH₀(X).     

Gauss sums for symplectic groups over a finite field

For a nontrivial additive character and a multiplicative character of the finite field withq elements, the Gauss sums (trg) overgSp(2n,q) and (detg)(trg) overgGSp(2n, q) are considered. We show that it can be expressed as a polynomial inq with coefficients involving powers of Kloosterman sums for the first one and as that with coefficients involving sums of twisted powers of Kloosterman sums for the second one. As a result, we can determine certain generalized Kloosterman sums over nonsingular matrices and generalized Kloosterman sums over nonsingular alternating matrices, which were previously determined by J. H. Hodges only in the case that one of the two arguments is zero.Supported in part by Basic Science Research Institute program, Ministry of Education of Korea, BSRI 95-1414 and KOSEF Research Grant 95-K3-0101 (RCAA)Dedicated to my father, Chang Hong Kim     

Fully maximal and fully minimal abelian varieties

We introduce and study a new way to categorize supersingular abelian varieties defined over a finite field by classifying them as fully maximal, mixed or fully minimal. The type of A depends on the normalized Weil numbers of A and its twists. We analyze these types for supersingular abelian varieties and curves under conditions on the automorphism group. In particular, we present a complete analysis of these properties for supersingular elliptic curves and supersingular abelian surfaces in arbitrary characteristic, and for a one-dimensional family of supersingular curves of genus 3 in characteristic 2.     

The integral monodromy of hyperelliptic and trielliptic curves

We compute the and monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the monodromy of the moduli space of hyperelliptic curves of genus g is the symplectic group . We prove that the monodromy of the moduli space of trielliptic curves with signature (r,s) is the special unitary group . Rachel Pries was partially supported by NSF grant DMS-04-00461.     

Newton stratification for polynomials: The open stratum

In this paper we consider the Newton polygons of L-functions coming from additive exponential sums associated to a polynomial over a finite field Fq. These polygons define a stratification of the space of polynomials of fixed degree. We determine the open stratum: we give the generic Newton polygon for polynomials of degree d?2 when the characteristic p?3d, and the Hasse polynomial over Fp, i.e. the equation defining the hypersurface complementary to the open stratum.     

Complete classification of torsion of elliptic curves over quadratic cyclotomic fields

Text

In a previous paper Najman (in press) [9], the author examined the possible torsions of an elliptic curve over the quadratic fields Q(i) and . Although all the possible torsions were found if the elliptic curve has rational coefficients, we were unable to eliminate some possibilities for the torsion if the elliptic curve has coefficients that are not rational. In this note, by finding all the points of two hyperelliptic curves over Q(i) and , we solve this problem completely and thus obtain a classification of all possible torsions of elliptic curves over Q(i) and .

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=VPhCkJTGB_o.     

Rational places in extensions and sequences of function fields of Kummer type

In this paper we prove results on the number of rational places in extensions of Kummer type over finite fields and give sufficient conditions for non-trivial lower bounds on the number of rational places at each step of sequences of function fields over a finite field, that we call (a, b)-sequences. In the case of a prime field, we apply these results to the study of rational places in certain sequences of function fields of Kummer type.     

Divisibility of L-polynomials for a family of Artin–Schreier curves

In this paper we consider the curves $C_k^{(p,a)}:y^p?y=x^{p^k+1}+ax$ defined over ${\mathbb{F}}_p$ and give a positive answer to a conjecture about a divisibility condition on L-polynomials of the curves $C_k^{(p,a)}$. Our proof involves finding an exact formula for the number of ${\mathbb{F}}_{p^n}$-rational points on $C_k^{(p,a)}$ for all n, and uses a result we proved elsewhere about the number of rational points on supersingular curves.     

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 maximal curves in characteristic two

The genus g of an q-maximal curve satisfies g=g ₁≔q(q−1)/2 or . Previously, q-maximal curves with g=g ₁ or g=g ₂, q odd, have been characterized up to q-isomorphism. Here it is shown that an q-maximal curve with genus g ₂, q even, is q-isomorphic to the non-singular model of the plane curve ∑ _{i =1}} ^t y ^{q /2 i} =x ^{q +1}, q=2 ^t , provided that q/2 is a Weierstrass non-gap at some point of the curve. Received: 3 December 1998     

Application of covering techniques to families of curves

Much success in finding rational points on curves has been obtained by using Chabauty's Theorem, which applies when the genus of a curve is greater than the rank of the Mordell-Weil group of the Jacobian. When Chabauty's Theorem does not directly apply to a curve , a recent modification has been to cover the rational points on by those on a covering collection of curves , obtained by pullbacks along an isogeny to the Jacobian; one then hopes that Chabauty's Theorem applies to each . So far, this latter technique has been applied to isolated examples. We apply, for the first time, certain covering techniques to infinite families of curves. We find an infinite family of curves to which Chabauty's Theorem is not applicable, but which can be solved using bielliptic covers, and other infinite families of curves which even resist solution by bielliptic covers. A fringe benefit is an infinite family of Abelian surfaces with non-trivial elements of the Tate-Shafarevich group killed by a bielliptic isogeny.