Skip to main content
main-content
Top

Hint

Swipe to navigate through the chapters of this book

2021 | OriginalPaper | Chapter

Efficient Computation of BSD Invariants in Genus 2

share
SHARE

Abstract

Recently, all Birch and Swinnerton-Dyer invariants, except for the order of https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-80914-0_6/510803_1_En_6_IEq1_HTML.gif , have been computed for all curves of genus 2 contained in the L-functions and Modular Forms Database [LMFDB]. This report explains the improvements made to the implementation of the algorithm described in [vBom19] that were needed to do the computation of the Tamagawa numbers and the real period in reasonable time. We also explain some of the more technical details of the algorithm, and give a brief overview of the methods used to compute the special value of the L-function and the regulator.
Literature
[Art86]
go back to reference M. Artin, Lipmans Proof of Resolution of Singularities for Surfaces. In: G. Cornell, J. H. Silverman (eds), Arithmetic Geometry. Springer, New York, NY, 1986. M. Artin, Lipmans Proof of Resolution of Singularities for Surfaces. In: G. Cornell, J. H. Silverman (eds), Arithmetic Geometry. Springer, New York, NY, 1986.
[BiSw65]
go back to reference B. J. Birch, H. P. F. Swinnerton-Dyer. Notes on elliptic curves. II. J. Reine Angew. Math. 218 (1965), 79–108. B. J. Birch, H. P. F. Swinnerton-Dyer. Notes on elliptic curves. II. J. Reine Angew. Math. 218 (1965), 79–108.
[BBCLPS]
go back to reference Jonathan W. Bober, Andrew R. Booker, Edgar Costa, Min Lee, David J. Platt, Andrew Sutherland, Computing motivic L-functions, in preparation. Jonathan W. Bober, Andrew R. Booker, Edgar Costa, Min Lee, David J. Platt, Andrew Sutherland, Computing motivic L-functions, in preparation.
[Blo80]
go back to reference Spencer Bloch, A note on height pairings, Tamagawa numbers, and the Birch and Swinnerton-Dyer conjecture. Invent. math. 58, no. 1 (1980): 65–76. MathSciNetCrossRef Spencer Bloch, A note on height pairings, Tamagawa numbers, and the Birch and Swinnerton-Dyer conjecture. Invent. math. 58, no. 1 (1980): 65–76. MathSciNetCrossRef
[BHM20]
go back to reference Raymond van Bommel, David Holmes, J. Steffen Müller, Explicit arithmetic intersection theory and computation of Néron-Tate heights. Math. Comp. 89 (2020), no. 321, 395–410. Raymond van Bommel, David Holmes, J. Steffen Müller, Explicit arithmetic intersection theory and computation of Néron-Tate heights. Math. Comp. 89 (2020), no. 321, 395–410.
[Boo06]
go back to reference Andrew R. Booker, Artin’s conjecture, Turing’s method, and the Riemann hypothesis. Exp. Math. 15 (2006), no. 4, 385–408. CrossRef Andrew R. Booker, Artin’s conjecture, Turing’s method, and the Riemann hypothesis. Exp. Math. 15 (2006), no. 4, 385–408. CrossRef
[BSSVY]
go back to reference A. R. Booker, A. V. Sutherland, J. Voight, D. Yasaki, A database of genus-2 curves over the rational numbers. LMS Journal of Computation and Mathematics 19, no. A (2016), 235–254. MathSciNetCrossRef A. R. Booker, A. V. Sutherland, J. Voight, D. Yasaki, A database of genus-2 curves over the rational numbers. LMS Journal of Computation and Mathematics 19, no. A (2016), 235–254. MathSciNetCrossRef
[BoLi99]
go back to reference S. Bosch, Q. Liu, Rational points of the group of components of a Néron model. Manuscripta Math. 98 (1999), no. 3, 275–293. MathSciNetCrossRef S. Bosch, Q. Liu, Rational points of the group of components of a Néron model. Manuscripta Math. 98 (1999), no. 3, 275–293. MathSciNetCrossRef
[Bru04]
[BrFl06]
go back to reference N. Bruin, E. V. Flynn, Exhibiting SHA[2] on hyperelliptic Jacobians. J. Number Theory 118 (2006), no. 2, 266–291. MathSciNetCrossRef N. Bruin, E. V. Flynn, Exhibiting SHA[2] on hyperelliptic Jacobians. J. Number Theory 118 (2006), no. 2, 266–291. MathSciNetCrossRef
[CrMa00]
go back to reference John E. Cremona, Barry Mazur, Visualizing elements in the Shafarevich-Tate group. Experiment. Math. 9 (2000), no. 1, 13–28. MathSciNetCrossRef John E. Cremona, Barry Mazur, Visualizing elements in the Shafarevich-Tate group. Experiment. Math. 9 (2000), no. 1, 13–28. MathSciNetCrossRef
[Creu18]
go back to reference Brendan Creutz, Improved rank bounds from 2-descent on hyperelliptic Jacobians. Int. J. Number Theory 14 (2018), no. 6, 1709–1713. MathSciNetCrossRef Brendan Creutz, Improved rank bounds from 2-descent on hyperelliptic Jacobians. Int. J. Number Theory 14 (2018), no. 6, 1709–1713. MathSciNetCrossRef
[FLSSSW]
go back to reference E. V. Flynn, F. Leprévost, E. F. Schaefer, W. A. Stein, M. Stoll, J. Wetherell, Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves. Math. Comp. 70 (2001), no. 236, 1675–1697. MathSciNetCrossRef E. V. Flynn, F. Leprévost, E. F. Schaefer, W. A. Stein, M. Stoll, J. Wetherell, Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves. Math. Comp. 70 (2001), no. 236, 1675–1697. MathSciNetCrossRef
[Gol03]
go back to reference David M. Goldschmidt, Algebraic functions and projective curves. Graduate Texts in Mathematics, 215. Springer-Verlag, New York, 2003. David M. Goldschmidt, Algebraic functions and projective curves. Graduate Texts in Mathematics, 215. Springer-Verlag, New York, 2003.
[Gro82]
go back to reference B. H. Gross, On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication. Number theory related to Fermat’s last theorem (Cambridge, Mass., 1981), 219–236, Progr. Math., 26, Birkhäuser. Boston, Mass., 1982. B. H. Gross, On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication. Number theory related to Fermat’s last theorem (Cambridge, Mass., 1981), 219–236, Progr. Math., 26, Birkhäuser. Boston, Mass., 1982.
[Hol12]
go back to reference David Holmes, Computing Néron-Tate heights of points on hyperelliptic Jacobians. J. Number Theory 132 (2012), no. 6, 1295–1305. MathSciNetCrossRef David Holmes, Computing Néron-Tate heights of points on hyperelliptic Jacobians. J. Number Theory 132 (2012), no. 6, 1295–1305. MathSciNetCrossRef
[Lip78]
[Mil86]
go back to reference J. S. Milne, Jacobian varieties. Arithmetic geometry (Storrs, Conn., 1984), 167–212. Springer, New York, 1986. J. S. Milne, Jacobian varieties. Arithmetic geometry (Storrs, Conn., 1984), 167–212. Springer, New York, 1986.
[MN19]
go back to reference Pascal Molin, Christian Neurohr, Computing period matrices and the Abel-Jacobi map of superelliptic curves. Math. Comp. 88 (2019), no. 316, 847–888. MathSciNetCrossRef Pascal Molin, Christian Neurohr, Computing period matrices and the Abel-Jacobi map of superelliptic curves. Math. Comp. 88 (2019), no. 316, 847–888. MathSciNetCrossRef
[Mül14]
go back to reference J. Steffen Müller, Computing canonical heights using arithmetic intersection theory. Math. Comp. 83 (2014), no. 285, 311–336. MathSciNetCrossRef J. Steffen Müller, Computing canonical heights using arithmetic intersection theory. Math. Comp. 83 (2014), no. 285, 311–336. MathSciNetCrossRef
[MüSt16]
go back to reference Jan Steffen Müller, Michael Stoll, Canonical heights on genus-2 Jacobians. Algebra Number Theory 10 (2016), no. 10, 2153–2234. Jan Steffen Müller, Michael Stoll, Canonical heights on genus-2 Jacobians. Algebra Number Theory 10 (2016), no. 10, 2153–2234.
[PoSt99]
go back to reference B. Poonen, M. Stoll, The Cassels-Tate pairing on polarized abelian varieties. Ann. of Math. 150 (1999), no. 3, 1109–1149. MathSciNetCrossRef B. Poonen, M. Stoll, The Cassels-Tate pairing on polarized abelian varieties. Ann. of Math. 150 (1999), no. 3, 1109–1149. MathSciNetCrossRef
[Sto01]
go back to reference Michael Stoll, Implementing 2-descent for Jacobians of hyperelliptic curves. Acta Arith. 98 (2001), no. 3, 245–277. MathSciNetCrossRef Michael Stoll, Implementing 2-descent for Jacobians of hyperelliptic curves. Acta Arith. 98 (2001), no. 3, 245–277. MathSciNetCrossRef
[Suth19]
go back to reference A. V. Sutherland, A database of nonhyperelliptic genus 3 curves over Q, Thirteenth Algorithmic Number Theory Symposium (ANTS XIII), Open Book Series 2 (2019), 443–459. CrossRef A. V. Sutherland, A database of nonhyperelliptic genus 3 curves over Q, Thirteenth Algorithmic Number Theory Symposium (ANTS XIII), Open Book Series 2 (2019), 443–459. CrossRef
[Tate66]
go back to reference J. Tate, On the conjectures of Birch and Swinnerton-Dyer and a geometric analog. Séminaire Bourbaki, Vol. 9 (1964–1966), Exp. No. 306, 415–440, Soc. Math. France, Paris, 1995. J. Tate, On the conjectures of Birch and Swinnerton-Dyer and a geometric analog. Séminaire Bourbaki, Vol. 9 (1964–1966), Exp. No. 306, 415–440, Soc. Math. France, Paris, 1995.
[vWam06]
go back to reference Paul B. van Wamelen, Computing with the analytic Jacobian of a genus 2 curve. Discovering mathematics with Magma, 117–135. Algorithms Comput. Math., 19, Springer, Berlin, 2006. Paul B. van Wamelen, Computing with the analytic Jacobian of a genus 2 curve. Discovering mathematics with Magma, 117–135. Algorithms Comput. Math., 19, Springer, Berlin, 2006.
[Witt04]
go back to reference A. Wittkopf, Algorithms and implementations for differential elimination. PhD dissertation, 2004. A. Wittkopf, Algorithms and implementations for differential elimination. PhD dissertation, 2004.
Metadata
Title
Efficient Computation of BSD Invariants in Genus 2
Author
Raymond van Bommel
Copyright Year
2021
DOI
https://doi.org/10.1007/978-3-030-80914-0_6

Premium Partner