Diagonals of Rational Functions: From Differential Algebra to Effective Algebraic Geometry

We show that the results we had previously obtained on diagonals of 9- and 10-parameter families of rational functions in three variables x, y, and z, using creative telescoping, yielding modular forms expressed as pullbacked 2F1 hypergeometric functions, can be obtained much more efficiently by cal...

Full description

Saved in:
Bibliographic Details
Published in:Symmetry (Basel) 2022-07, Vol.14 (7), p.1297
Main Authors: Abdelaziz, Youssef, Boukraa, Salah, Koutschan, Christoph, Maillard, Jean-Marie
Format: Article
Language:English
Subjects:
Algebra
Automorphisms
Codes
creative telescoping
Curves
diagonal of a rational function
Differential geometry
Geometry
Hauptmodul
Hypergeometric functions
Mathematical analysis
modular form
Parameters
Pedagogy
pullbacked hypergeometric function
Rational functions
Statistical mechanics
telescoper
Telescoping
Variables
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We show that the results we had previously obtained on diagonals of 9- and 10-parameter families of rational functions in three variables x, y, and z, using creative telescoping, yielding modular forms expressed as pullbacked 2F1 hypergeometric functions, can be obtained much more efficiently by calculating the j-invariant of an elliptic curve canonically associated with the denominator of the rational functions. These results can be drastically generalized by changing the parameters into arbitrary rational functions of the product p=xyz. In other cases where creative telescoping yields pullbacked 2F1 hypergeometric functions, we extend this algebraic geometry approach to other families of rational functions in three or more variables. In particular, we generalize this approach to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, or foliations in elliptic curves. We also extend this approach to rational functions in three variables when the denominator is associated with a 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 2F1 hypergeometric solutions, because the denominator corresponds to an algebraic variety that has a selected elliptic curve.
ISSN:2073-8994
2073-8994
DOI:10.3390/sym14071297