Computing in the jacobian of a plane algebraic curve

We describe an algorithm which extends the classical method of adjoints due to Brill and Noether for carrying out the addition operation in the Jacobian variety (represented as the divisor class group) of a plane algebraic curve defined over an algebraic number field K with arbitrary singularities. By working with conjugate sets of Puiseux expansions, we prove this method is rational in the sense that the answers it produces are defined over K. Given a curve with only ordinary multiple points and allowing precomputation of singular places, the running time of addition using this algorithm is dominated by M7 coefficient operations in a field extension of bounded degree, where M is the larger of the degree and the genus of the curve.

[1]  Rida T. Farouki,et al.  Singular Points of Algebraic Curves , 1990, J. Symb. Comput..

[2]  R. Loos.  Computing in Algebraic Extensions , 1983 .

[3]  Joe Harris,et al.  Schemes : the language of modern algebraic geometry , 1992 .

[4]  M. Noether,et al.  Rationale Ausführung der Operationen in der Theorie der algebraischen Functionen , 1884 .

[5]  C. Chevalley,et al.  Introduction to the theory of algebraic functions of one variable , 1951 .

[6]  V. D. Goppa.  Geometry and Codes , 1988 .

[7]  D. Cantor.  Computing in the Jacobian of a hyperelliptic curve , 1987 .

[8]  Jeremy Teitelbaum,et al.  The computational complexity of the resolution of plane curve singularities , 1990 .

[9]  Lars Langemyr.  Algorithms for a Multiple Algebraic Extension II , 1991 .

[10]  John F. Canny,et al.  Some algebraic and geometric computations in PSPACE , 1988, STOC '88.

[11]  Lars Langemyr.  Algorithms for a Multiple Algebraic Extension II , 1991, AAECC.

[12]  Ming-Deh A. Huang,et al.  Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve , 1994, J. Symb. Comput..

[13]  James H. Davenport,et al.  On the Integration of Algebraic Functions , 1979, Lecture Notes in Computer Science.

[14]  R. Risch.  The problem of integration in finite terms , 1969 .

[15]  R. J. Walker.  Algebraic curves , 1950 .

[16]  Ming-Deh A. Huang,et al.  Primality Testing and Abelian Varieties over Finite Fields , 1992 .

[17]  D. Duval.  Rational Puiseux expansions , 1989 .

[18]  M. Nöther,et al.  Ueber die algebraischen Functionen und ihre Anwendung in der Geometrie , 1874 .

[19]  Phillip A. Griffiths,et al.  Introduction to Algebraic Curves , 1989 .

[20]  S. G. Vladut,et al.  Algebraic-Geometric Codes , 1991 .

[21]  Emil J. Volcheck.  Noether's S-transformation simplifies curve singularities rationally: a local analysis , 1993, ISSAC '93.