Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Abstract

We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked ${}_2{F}_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked ${}_2{F}_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also generalise this result to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, foliation in elliptic curves. We also extend these results to rational functions in three variables when the denominator is associated with a {\em genus-two curve such that its Jacobian is a split Jacobian} corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked ${}_2{F}_1$ hypergeometric solutions, the denominator corresponding to an algebraic variety being not simply foliated in elliptic curves, but having a selected elliptic curve in the variety explaining the pullbacked ${}_2{F}_1$ hypergeometric solution.

arXiv comment51 pages

References in corpus (23)

• Tables of Calabi--Yau equations
• On Rationally Parametrized Modular Equations
• Elliptic fibrations on a generic Jacobian Kummer surface
• Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
• High order Fuchsian equations for the square lattice Ising model: ${\tilde{\chi }}^{(5)}$
• The Ising model: from elliptic curves to modular forms and Calabi-Yau equations
• Shimura curves of genus at most two
• Singularities of $n$-fold integrals of the Ising class and the theory of elliptic curves
• Three lectures on elliptic surfaces and curves of high rank
• Genus 2 fields with degree 3 elliptic subfields
• Hilbert modular surfaces for square discriminants and elliptic subfields of genus 2 function fields
• Calabi-Yau manifolds realizing symplectically rigid monodromy tuples
• Real multiplication through explicit correspondences
• Algebraic models and arithmetic geometry of Teichmüller curves in genus two
• Telescopers for Rational and Algebraic Functions via Residues
• Modular forms, Schwarzian conditions, and symmetries of differential equations in physics
• Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms (unabrigded version)
• Calabi--Yau Operators
• Minimal Genus One Curves
• Explicit transformation of an intersection of two quadrics to an elliptic curve in Weierstrass form
• Genus 2 curves with (3,3)-split Jacobian and large automorphism group
• Symmetric cubic surfaces and G_2 character varieties
• An explicit algebraic family of genus-one curves violating the Hasse principle