skip to main content
10.1145/3597066.3597111acmotherconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
research-article

Hyperelliptic Integrals to Elliptic Integrals

Published: 24 July 2023 Publication History

Abstract

Consider a hyperelliptic integral, with . When S is of degree ≤ 4, such integral can be calculated in terms of elementary functions and elliptic integrals of three kinds . When S is of higher degree, it is typically non elementary, but it is sometimes possible to obtain an expression of I using also elliptic integrals when the Jacobian of y2 = S(x) has elliptic factors. We present an algorithm searching for elliptic factors and a modular criterion for their existence. Then, we present an algorithm for computing an expression of I using elliptic integrals, which always succeed in the completely decomposable Jacobian case.

References

[1]
Reinier Bröker, Kristin Lauter, and Andrew Sutherland. 2012. Modular polynomials via isogeny volcanoes. Math. Comp. 81, 278 (2012), 1201–1231.
[2]
JE Cremona. 2001. Classical invariants and 2-descent on elliptic curves. Journal of Symbolic Computation 31, 1-2 (2001), 71–87.
[3]
William Gilespie. 1900. On the Reduction of Hyperelliptic Integrals (p= 3) to Elliptic Integrals by Transformations of the Second and Third Degrees. American Journal of Mathematics 22, 3 (1900), 259–278.
[4]
E Goursat. 1885. Sur la réduction des intégrales hyperelliptiques. Bulletin de la Société Mathématique de France 13 (1885), 143–162.
[5]
P.A. Griffiths. 1989. Introduction to Algebraic Curves. Amer Mathematical Society. https://books.google.fr/books?id=yWceInduaV8C
[6]
Ki-ichiro Hashimoto and Naoki Murabayashi. 1995. Shimura curves as intersections of Humbert surfaces and defining equations of QM-curves of genus two. Tohoku Mathematical Journal, Second Series 47, 2 (1995), 271–296.
[7]
Santosh B Joshi and Daniele Ritelli. 2020. Hypergeometric Identities Related to Roberts Reductions of Hyperelliptic Integrals. Results in Mathematics 75, 4 (2020), 1–26.
[8]
Kiran S Kedlaya. 2004. Computing zeta functions via p-adic cohomology. In International Algorithmic Number Theory Symposium. Springer, 1–17.
[9]
George Labahn and Mark Mutrie. 1997. Reduction of elliptic integrals to legendre normal form. University of Waterloo, Computer Science Department.
[10]
Derek F Lawden. 2013. Elliptic functions and applications. Vol. 80. Springer Science & Business Media.
[11]
Davide Lombardo, Elisa Lorenzo García, Christophe Ritzenthaler, and Jeroen Sijsling. 2021. Decomposing jacobians via galois covers. Experimental Mathematics (2021), 1–23.
[12]
John Hector McDonald. 1906. A problem in the reduction of hyperelliptic integrals. Trans. Amer. Math. Soc. 7, 4 (1906), 578–587.
[13]
Jennifer Paulhus. 2008. Decomposing Jacobians of curves with extra automorphisms. Acta Arith 132, 3 (2008), 231–244.
[14]
Jennifer Paulhus and Anita M Rojas. 2017. Completely decomposable Jacobian varieties in new genera. Experimental Mathematics 26, 4 (2017), 430–445.
[15]
Michael Roberts. 1871. A Tract on the Addition of Elliptic and Hyper-elliptic Integrals. Cornell University Library.
[16]
Barry M Trager. 2022. Integration of algebraic functions. In Integration in Finite Terms: Fundamental Sources. Springer, 230–286.
[17]
Frederik Vercauteren. 2002. Computing zeta functions of hyperelliptic curves over finite fields of characteristic 2. In Annual International Cryptology Conference. Springer, 369–384.
[18]
Yuri G Zarhin. 2000. Hyperelliptic jacobians without complex multiplication. Mathematical Research Letters 7, 1 (2000), 123–132.

Index Terms

  1. Hyperelliptic Integrals to Elliptic Integrals

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
    July 2023
    567 pages
    ISBN:9798400700392
    DOI:10.1145/3597066
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 24 July 2023

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Elliptic factors
    2. Jacobians
    3. Symbolic Integration

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    ISSAC 2023

    Acceptance Rates

    Overall Acceptance Rate 395 of 838 submissions, 47%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 39
      Total Downloads
    • Downloads (Last 12 months)12
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    HTML Format

    View this article in HTML Format.

    HTML Format

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media