×

Linear algebra algorithms for divisors on an algebraic curve. (English) Zbl 1095.14057

Summary: We use an embedding of the symmetric \(d\) th power of any algebraic curve \(C\) of genus \(g\) into a Grassmannian space to give algorithms for working with divisors on \(C\), using only linear algebra in vector spaces of dimension \(O(g)\), and matrices of size \(O(g^2)\times O(g)\). When the base field \(k\) is finite, or if \(C\) has a rational point over \(k\), these give algorithms for working on the Jacobian of \(C\) that require \(O(g^4)\) field operations, arising from the Gaussian elimination. Our point of view is strongly geometric, and our representation of points on the Jacobian is fairly simple to deal with; in particular, none of our algorithms involves arithmetic with polynomials. We note that our algorithms have the same asymptotic complexity for general curves as the more algebraic algorithms in Florian Hess’ 1999 Ph.D. thesis, which works with function fields as extensions of \(k[x]\). However, for special classes of curves, Hess’ algorithms are asymptotically more efficient than ours, generalizing other known efficient algorithms for special classes of curves, such as hyperelliptic curves (Cantor 1987), superelliptic curves (Galbraith, Paulus, and Smart 2002), and \(C_{ab}\) curves (Harasawa and Suzuki 2000); in all those cases, one can attain a complexity of \(O(g^2)\).

MSC:

14Q05 Computational aspects of algebraic curves
14H40 Jacobians, Prym varieties
11G20 Curves over finite and local fields
11Y16 Number-theoretic algorithms; complexity

References:

[1] E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris, Geometry of algebraic curves. Vol. I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 267, Springer-Verlag, New York, 1985. · Zbl 0559.14017
[2] Leonard M. Adleman, Jonathan DeMarrais, and Ming-Deh Huang, A subexponential algorithm for discrete logarithms over the rational subgroup of the Jacobians of large genus hyperelliptic curves over finite fields, Algorithmic number theory (Ithaca, NY, 1994) Lecture Notes in Comput. Sci., vol. 877, Springer, Berlin, 1994, pp. 28 – 40. · Zbl 0829.11068 · doi:10.1007/3-540-58691-1_39
[3] Siegfried Bosch, Werner Lütkebohmert, and Michel Raynaud, Néron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 21, Springer-Verlag, Berlin, 1990. · Zbl 0705.14001
[4] David G. Cantor, Computing in the Jacobian of a hyperelliptic curve, Math. Comp. 48 (1987), no. 177, 95 – 101. · Zbl 0613.14022
[5] Phillip Griffiths and Joseph Harris, Principles of algebraic geometry, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1994. Reprint of the 1978 original. · Zbl 0836.14001
[6] S. D. Galbraith, S. M. Paulus, and N. P. Smart, Arithmetic on superelliptic curves, Math. Comp. 71 (2002), no. 237, 393 – 405. · Zbl 1013.11026
[7] Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52. · Zbl 0367.14001
[8] Florian Hess, Zur Divisorenklassengruppenberechnung in globalen Funktionenkörpern, Ph.D. thesis, Technische Universität Berlin, 1999, may be downloaded from the web at http://www.math.tu-berlin.de/ kant/publications/diss/diss_FH.ps.gz. · Zbl 0982.11059
[9] Florian Hess, Computing Riemann-Roch spaces in algebraic function fields and related topics, J. Symbolic Comput. 33 (2002), no. 4, 425-445. · Zbl 1058.14071
[10] Ming-Deh Huang and Doug Ierardi, Efficient algorithms for the Riemann-Roch problem and for addition in the Jacobian of a curve, J. Symbolic Comput. 18 (1994), no. 6, 519 – 539. · Zbl 0842.68041 · doi:10.1006/jsco.1994.1063
[11] Ryuichi Harasawa and Joe Suzuki, Fast Jacobian group arithmetic on \?_{\?\?} curves, Algorithmic number theory (Leiden, 2000) Lecture Notes in Comput. Sci., vol. 1838, Springer, Berlin, 2000, pp. 359 – 376. · Zbl 1032.11025 · doi:10.1007/10722028_21
[12] Robert Lazarsfeld, A sampling of vector bundle techniques in the study of linear series, Lectures on Riemann surfaces (Trieste, 1987) World Sci. Publ., Teaneck, NJ, 1989, pp. 500 – 559. · Zbl 0800.14003
[13] Gary Cornell and Joseph H. Silverman , Arithmetic geometry, Springer-Verlag, New York, 1986. Papers from the conference held at the University of Connecticut, Storrs, Connecticut, July 30 – August 10, 1984. · Zbl 0596.00007
[14] Emil J. Volcheck, Computing in the Jacobian of a plane algebraic curve, Algorithmic number theory (Ithaca, NY, 1994) Lecture Notes in Comput. Sci., vol. 877, Springer, Berlin, 1994, pp. 221 – 233. · Zbl 0826.14040 · doi:10.1007/3-540-58691-1_60
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.