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 $ _2F_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 $ _2F_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 $ _2F_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 $ _2F_1$ hypergeometric solution.

Modified Affine Arithmetic in Tensor Form for Trivariate Polynomial Evaluation and Algebraic Surface Plotting

Modified Affine Arithmetic in Tensor Form ⋆

Rational Quadratic Approximation to Real Algebraic Curves

Dynamic Evaluation of Exponential Polynomial Curves and Surfaces Via Basis Transformation

Modified Affine Arithmetic is More Accurate Than Centered Interval Arithmetic or Affine Arithmetic

Matrix Weighted Rational Curves and Surfaces

A Family of Spacial PH Curves Represented by Algebraic-Trigonometric Functions and Their Applications

Curvature tensor computation by piecewise surface interpolation

Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration

A sparse interpolation algorithm based on modular arithmetic coefficient parsing

Computing μ-bases of rational curves and surfaces using polynomial matrix factorization

Constructing Trivariate B-splines with Positive Jacobian by Pillow Operation and Geometric Iterative Fitting

Converting Triangular Bezier Surface into Optimal Trimmed Tensor-Product Bezier Surface

Determinantal tensor product surfaces and the method of moving quadrics

Construction and Application of 3-Point Tensor Product Scheme

Real-time Accurate Free-Form Deformation in Terms of Triangular Bézier Surfaces

An AI-aided algorithm for multivariate polynomial reconstruction on Cartesian grids and the PLG finite difference method

Cubic algebraic curves based on geometric constraints

Constructing Quartic Triangular Surfaces Over 3d Triangulations

Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension.

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