Algebraic Curves (mainly over finite fields) in Sage

People

Relevant Papers

Slides from Talks

Relevant Source Code

Tasks

Stage 1: Computing Some Riemann-Roch Spaces

Stage 2: Fleshing it out

Stage 3: Speed

Some motivating remarks

Michael Stoll and I recently did some computations to classify torsion orders for elliptic curves over quartic fields. We did part in Sage, but ran into serious trouble, which forced us to switch to Magma. Here's Michael's assessment of what would need to be in Sage to make this computation possible:

affine/projective schemes
  (essentially an interface to the Gröbner basis machinery).
  For example, I define the curve X_1(29) as an intersection of a bunch of
quadrics in P^21 (IIRC), or its genus 8 quotient in a similar way in P^7,
together with the map from the former to the latter.

 * for curves in particular:
  + function field
  + places and divisors (also in terms of points on the curve)
  + Riemann-Roch spaces (==> reduction of divisors, ...)
  + class groups (including discrete logs)
  + differentials (necessary for Chabauty, for example)

Some parts of the computation you can probably easily emulate in SAGE without
all the machinery at hand, like finding the F_{11^e}-points on X_1(29) and
their images on the genus 8 curve. What is likely to be hard is to get the
class group over F_11 of the genus 8 curve, to determine the image of the
cuspidal group and to find the image of the prime divisors of degree at most
4 on X_1(29)/F_11 (the latter two use the discrete log in the class group).

One could get by without the class group and discrete logs, if one can at
least determine the 2-torsion in the class group [or else show that J_1(29)
(Q) is purely cuspidal], and one can do computations with divisors. Then one
could just make a list of divisors representing the cuspidal subgroup (plus
the 2-torsion), and then check for each candidate image of a prime divisor of
degree at most 4 on X_1(29)/F_11 that it is not linearly equivalent to one of
the divisors representing the group. That would be a lot less efficient, but
that's maybe not the point. For this, you need Florian's function fields and
Riemann-Roch spaces, since you need to work with divisors and test them for
linear equivalence.

(I'm focusing on 29, beacuse that is the hardest case. 19 and 23 don't need
much; you only have to check that there are no elliptic curves over F_16 with
exactly 19 or 23 points, which I assume SAGE can do easily. 31 requires
computations of a similar nature as 29, but less involved.)

Project: Computation of Riemann-Roch spaces

Correct wrapping of the "Brill Noether" algorithm from Singular. This may be just a matter of reading documentation carefully. See trac #8997.

From William Stein: After talking with Florian Hess for a while, I'm now convinced that using Singular Brill-Noether implementation is not a good idea anyways, since Florian's algorithm is simply much nicer. The current plan is simply to implement Florian's algorithm from scratch in Sage.

daysff/curves (last edited 2010-07-06 12:19:11 by was)