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.     

On additive polynomials and certain maximal curves

We show that a maximal curve over F_q² given by an equation A(X)=F(Y), where A(X)∈F_q²[X] is additive and separable and where F(Y)∈F_q²[Y] has degree m prime to the characteristic p, is such that all roots of A(X) belong to F_q². In the particular case where F(Y)=Y^m, we show that the degree m is a divisor of q+1.     

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.     

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.     

Valuations,intersections et fonctions de Belyi-quelques remarques sur la construction des hauteurs

We present in this article several possibilities to approach the height of an algebraic curve defined over a number field: as an intersection number via the Arakelov theory, as a limit point of the heights of its algebraic points and, finally, using the minimal degree of Belyi functions.     

A remark on the moduli field of a curve

We give a purely algebro-geometric proof of the fact that every nonsingular projective curve can be defined over a finite extension of its moduli field. This extends a result byWolfart [7] to curves over fields of arbitrary characteristic. Received: 30 November 2001     

Finding rational points on bielliptic genus 2 curves

We discuss a technique for trying to find all rational points on curves of the form Y ²=f ₃ X ⁶+f ₂ X ⁴+f ₁ X ²+f ₀, where the sextic has nonzero discriminant. This is a bielliptic curve of genus 2. When the rank of the Jacobian is 0 or 1, Chabauty's Theorem may be applied. However, we shall concentrate on the situation when the rank is at least 2. In this case, we shall derive an associated family of elliptic curves, defined over a number field ℚα. If each of these elliptic curves has rank less than the degree of ℚα : ℚ, then we shall describe a Chabauty-like technique which may be applied to try to find all the points (x,y) defined over ℚα) on the elliptic curves, for which x∈ℚ. This in turn allows us to find all ℚ-rational points on the original genus 2 curve. We apply this to give a solution to a problem of Diophantus (where the sextic in X is irreducible over ℚ), which simplifies the recent solution of Wetherell. We also present two examples where the sextic in X is reducible over ℚ. Received: 27 November 1998 / Revised version: 4 June 1999     

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.     

On the torsion of Jacobians of principal modular curves of level 3<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We demonstrate that the 3-power torsion points of the Jacobians of the principal modular curves X(3ⁿ) are fixed by the kernel of the canonical outer Galois representation of the pro-3 fundamental group of the projective line minus three points. The proof proceeds by demonstrating the curves in question satisfy a two-part criterion given by Anderson and Ihara. Two proofs of the second part of the criterion are provided; the first relies on a theorem of Shimura, while the second uses the moduli interpretation. Received: 30 September 2005     

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.     

Double coverings of hyperelliptic real algebraic curves

We consider double and (possibly) branched coverings π:X→X^′ between real algebraic curves where X is hyperelliptic. We are interested in the topology of such coverings and also in describing them in terms of algebraic equations. In this article we completely solve these two problems. We first analyse the topological features and ramification data of such coverings. Second, for each isomorphism class of these coverings we then describe a representative, with defining polynomial equations for X and for X^′, a formula for the involution that generates the covering transformation group, and a rational formula for the covering projection π:X→X^′.     

A polar de Rham theorem

We prove an analogue of the de Rham theorem for polar homology; that the polar homology HP_q(X) of a smooth projective variety X is isomorphic to its H^n,n−q Dolbeault cohomology group. This analogue can be regarded as a geometric complexification where arbitrary (sub)manifolds are replaced by complex (sub)manifolds and de Rham's operator d is replaced by Dolbeault's .     

Proprieétés du degré des morphismes de Belyi

Properties of the degree of Belyi functions. A famous theorem of Belyi characterizes the curves defined over a number field by the existence of an element of its function field with certain ramification properties. In this article we are interested in the degree of these functions. We define the Belyi degree of a curve defined over a number field and the Belyi degree of a point on such a curve. We prove finiteness results concerning these invariants. We give an explicit upper bound for the Belyi degree of a point on the projective line, depending on the height and on the degree of its field of definition.     

Self-linked curves and normal bundle

We give necessary conditions on the degree and the genus of a smooth, integral curve C⊂P³$C\subset {\mathbb{P}}^3$ to be self-linked (i.e. locus of simple contact of two surfaces). We also give similar results for set theoretically complete intersection curves with a structure of multiplicity three (i.e. locus of 2-contact of two surfaces).     

Height difference bounds for elliptic curves over number fields

Let E be an elliptic curve over a number field K. Let h be the logarithmic (or Weil) height on E and be the canonical height on E. Bounds for the difference are of tremendous theoretical and practical importance. It is possible to decompose as a weighted sum of continuous bounded functions Ψ_υ:E(K_υ)→R over the set of places υ of K. A standard method for bounding , (due to Lang, and previously employed by Silverman) is to bound each function Ψ_υ and sum these local ‘contributions’.In this paper, we give simple formulae for the extreme values of Ψ_υ for non-archimedean υ in terms of the Tamagawa index and Kodaira symbol of the curve at υ.For real archimedean υ a method for sharply bounding Ψ_υ was previously given by Siksek [Rocky Mountain J. Math. 25(4) (1990) 1501]. We complement this by giving two methods for sharply bounding Ψ_υ for complex archimedean υ.