Date:

Thu, 22/10/202014:30-15:30

A power series f is said to satisfy a p-Mahler equation (p>1 a natural number) if it satisfies a functional equation of the form

a_n(x).f(x^{p^n}) + ... + a_1(x).f(x^p) + a_0(x).f(x) = 0

where the coefficients a_i(x) are polynomials. These functional equations were studied by Kurt Mahler with relation to transcendence theory.

In 2017 Adamczewski and Bell proved a 30-year old conjecture of Loxton and van der Poorten saying that a power series satisfying simultaneously a p-Mahler equation and a q-Mahler equation for multiplicatively independent natural numbers p and q, is (the Laurent expansion of) a rational function.

I will discuss a similar theorem where the coefficients are elliptic functions, and the Mahler operator x^p is replaced by an isogeny of the elliptic curve. Issues of periodicity and of classification of vector bundles over elliptic curves make this case distinctly different, but the resulting theorem has a similar flavor.

Recording link: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=f3183e3f-8d56-4516-abf8-ac5c00e567cc

a_n(x).f(x^{p^n}) + ... + a_1(x).f(x^p) + a_0(x).f(x) = 0

where the coefficients a_i(x) are polynomials. These functional equations were studied by Kurt Mahler with relation to transcendence theory.

In 2017 Adamczewski and Bell proved a 30-year old conjecture of Loxton and van der Poorten saying that a power series satisfying simultaneously a p-Mahler equation and a q-Mahler equation for multiplicatively independent natural numbers p and q, is (the Laurent expansion of) a rational function.

I will discuss a similar theorem where the coefficients are elliptic functions, and the Mahler operator x^p is replaced by an isogeny of the elliptic curve. Issues of periodicity and of classification of vector bundles over elliptic curves make this case distinctly different, but the resulting theorem has a similar flavor.

Recording link: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=f3183e3f-8d56-4516-abf8-ac5c00e567cc