Skip to main content

2021 | OriginalPaper | Buchkapitel

Efficient Computation of BSD Invariants in Genus 2

verfasst von : Raymond van Bommel

Erschienen in: Arithmetic Geometry, Number Theory, and Computation

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
[Art86]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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.
[vBom19]
[Blo80]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat 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]
Zurück zum Zitat A. Wittkopf, Algorithms and implementations for differential elimination. PhD dissertation, 2004. A. Wittkopf, Algorithms and implementations for differential elimination. PhD dissertation, 2004.
Metadaten
Titel
Efficient Computation of BSD Invariants in Genus 2
verfasst von
Raymond van Bommel
Copyright-Jahr
2021
DOI
https://doi.org/10.1007/978-3-030-80914-0_6