|
Asymptotically fast group operations on Jacobians of general curves
Author(s):
Kamal
Khuri-Makdisi.
Journal:
Math. Comp.
76
(2007),
2213-2239.
MSC (2000):
Primary 11Y16, 14Q05, 14H40, 11G20
Posted:
April 23, 2007
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
Let be a curve of genus over a field . We describe probabilistic algorithms for addition and inversion of the classes of rational divisors in the Jacobian of . After a precomputation, which is done only once for the curve , the algorithms use only linear algebra in vector spaces of dimension at most , and so take field operations in , using Gaussian elimination. Using fast algorithms for the linear algebra, one can improve this time to . This represents a significant improvement over the previous record of field operations (also after a precomputation) for general curves of genus .
References:
-
- [Abr96]
-
Dan Abramovich, A linear lower bound on the gonality of modular curves, Internat. Math. Res. Notices (1996), no. 20, 1005-1011. MR 1422373 (98b:11063) - [AHU75]
- Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman, The design and analysis of computer algorithms, Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1975. MR 0413592 (54:1706)
- [And02]
- Greg W. Anderson, Abeliants and their application to an elementary construction of Jacobians, Adv. Math. 172 (2002), no. 2, 169-205. MR 1942403 (2004c:14056)
- [BCS97]
- Peter Bürgisser, Michael Clausen, and M. Amin Shokrollahi, Algebraic complexity theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 315, Springer-Verlag, Berlin, 1997. MR 1440179 (99c:68002)
- [BG04]
- Joel Brawley and Shuhong Gao, On density of primitive elements for field extensions, 2004 preprint, may be electronically downloaded from the web at the URL
http://www.math.clemson.edu/~sgao/pub.html - [BW93]
- Thomas Becker and Volker Weispfenning, Gröbner bases, Graduate Texts in Mathematics, vol. 141, Springer-Verlag, New York, 1993. MR 1213453 (95e:13018)
- [Can87]
- David G. Cantor, Computing in the Jacobian of a hyperelliptic curve, Math. Comp. 48 (1987), no. 177, 95-101. MR 866101 (88f:11118)
- [Cho54]
- Wei-Liang Chow, The Jacobian variety of an algebraic curve, Amer. J. Math. 76 (1954), 453-476. MR 0061421 (15:823a)
- [CW90]
- Don Coppersmith and Shmuel Winograd, Matrix multiplication via arithmetic progressions, J. Symbolic Comput. 9 (1990), no. 3, 251-280. MR 1056627 (91i:68058)
- [DGP99]
- Wolfram Decker, Gert-Martin Greuel, and Gerhard Pfister, Primary decomposition: algorithms and comparisons, Algorithmic algebra and number theory (Heidelberg, 1997), Springer, Berlin, 1999, pp. 187-220. MR 1672046 (99m:13049)
- [EG00]
- W. Eberly and M. Giesbrecht, Efficient decomposition of associative algebras over finite fields, J. Symbolic Comput. 29 (2000), no. 3, 441-458. MR 1751390 (2001a:16079)
- [GH94]
- Phillip Griffiths and Joseph Harris, Principles of algebraic geometry, Wiley Classics Library (reprint of 1978 edition), John Wiley & Sons Inc., New York, 1994. MR 1288523 (95d:14001)
- [Har77]
- Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics, No. 52. MR 0463157 (57:3116)
- [Hes99]
- 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 - [Hes02]
- -, Computing Riemann-Roch spaces in algebraic function fields and related topics, J. Symbolic Comput. 33 (2002), no. 4, 425-445. MR 1890579 (2003j:14032)
- [HI94]
- 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. MR 1334660 (96h:14077)
- [Kem02]
- Gregor Kemper, The calculation of radical ideals in positive characteristic, J. Symbolic Comput. 34 (2002), no. 3, 229-238. MR 1935080 (2003j:13039)
- [KM04a]
- -, Linear algebra algorithms for divisors on an algebraic curve, Math. Comp. 73 (2004), no. 245, 333-357 (electronic),
math.NT/0105182. MR 2034126 (2005a:14081) - [KM04b]
- Kamal Khuri-Makdisi, Asymptotically fast group operations on Jacobians of general curves (previous draft, version 2), 2004 preprint, may be electronically downloaded from the web at the URL
http://arxiv.org/abs/math.NT/0409209v2 - [Laz89]
- Robert Lazarsfeld, A sampling of vector bundle techniques in the study of linear series, Lectures on Riemann surfaces (Trieste, 1987) (M. Cornalba, X. Gomez-Mont, and A. Verjovsky, eds.), World Sci. Publishing, Teaneck, NJ, 1989, pp. 500-559. MR 1082360 (92f:14006)
- [PARI]
- The PARI Group, Bordeaux, PARI/GP, may be downloaded from the web at the URL
http://pari.math.u-bordeaux.fr/ - [Ste04]
- W. Stein, Modular Forms Database, http://modular.math.washington.edu/Tables
- [Vol94]
- Emil J. Volcheck, Computing in the Jacobian of a plane algebraic curve, Algorithmic number theory ``ANTS-I'' (Ithaca, NY, 1994) (Leonard M. Adleman and Ming-Deh Huang, eds.), Lecture Notes in Comput. Sci., vol. 877, Springer, Berlin, 1994, pp. 221-233. MR 1322725 (96a:14033)
Similar Articles:
Retrieve articles in Mathematics of Computation
with MSC
(2000):
11Y16, 14Q05, 14H40, 11G20
Retrieve articles in all Journals with MSC
(2000):
11Y16, 14Q05, 14H40, 11G20
Additional Information:
Kamal
Khuri-Makdisi
Affiliation:
Mathematics Department and Center for Advanced Mathematical Sciences, American University of Beirut, Bliss Street, Beirut, Lebanon
Email:
kmakdisi@aub.edu.lb
DOI:
10.1090/S0025-5718-07-01989-8
PII:
S 0025-5718(07)01989-8
Received by editor(s):
July 3, 2006
Received by editor(s) in revised form:
August 20, 2006
Posted:
April 23, 2007
Copyright of article:
Copyright
2007,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|