[Indépendance algébrique de -fonctions et congruences « à la Lucas » ]
We develop a new method for proving algebraic independence of -functions. Our approach rests on the following observation: -functions do not always come with a single linear differential equation, but also sometimes with an infinite family of linear difference equations associated with the Frobenius that are obtained by reduction modulo prime ideals. When these linear difference equations have order one, the coefficients of the corresponding -functions satisfy congruences reminiscent of a classical theorem of Lucas on binomial coefficients. We use this to derive a Kolchin-like criterion for algebraic independence. We show the relevance of this criterion by proving that many classical families of -functions turn out to satisfy congruences “à la Lucas”.
Nous développons une nouvelle méthode pour démontrer l'indépendance algébrique de -fonctions. Notre approche repose sur l'observation suivante : une -fonction est toujours solution d'une équation différentielle linéaire mais elle est aussi parfois solution d'une infinité d'équations aux différences linéaires associées au Frobenius que l'on obtient par réduction modulo des idéaux premiers. Lorsque ces équations aux différences linéaires sont d'ordre un, les coefficients de la -fonction correspondante satisfont des congruences rappelant un théorème classique de Lucas sur les coefficients binomiaux. Nous utilisons cette propriété pour en déduire un critère d'indépendance algébrique “à la Kolchin”. Nous montrons que ce critère est pertinent en démontrant que de nombreuses familles classiques de -fonctions satisfont des congruences “à la Lucas”.
Keywords: Algebraic independence, $G$-functions, congruences, $p$-Lucas property, Kolchin's theorem, asymptotic
Mots-clés : Indépendance algébrique, $G$-fonctions, congruences, propriété $p$-Lucas, théorème de Kolchin, asymptotique
@article{ASENS_2019__52_3_515_0,
author = {Adamczewski, Boris and Bell, Jason P. and Delaygue, \'Eric},
title = {Algebraic independence of~$G$-functions and congruences {\textquotedblleft}\`a la {Lucas{\textquotedblright}}},
journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
pages = {515--559},
year = {2019},
publisher = {Soci\'et\'e Math\'ematique de France. Tous droits r\'eserv\'es},
volume = {Ser. 4, 52},
number = {3},
doi = {10.24033/asens.2392},
mrnumber = {3982874},
zbl = {1450.11075},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.24033/asens.2392/}
}
TY - JOUR AU - Adamczewski, Boris AU - Bell, Jason P. AU - Delaygue, Éric TI - Algebraic independence of $G$-functions and congruences “à la Lucas” JO - Annales scientifiques de l'École Normale Supérieure PY - 2019 SP - 515 EP - 559 VL - 52 IS - 3 PB - Société Mathématique de France. Tous droits réservés UR - http://geodesic.mathdoc.fr/articles/10.24033/asens.2392/ DO - 10.24033/asens.2392 LA - en ID - ASENS_2019__52_3_515_0 ER -
%0 Journal Article %A Adamczewski, Boris %A Bell, Jason P. %A Delaygue, Éric %T Algebraic independence of $G$-functions and congruences “à la Lucas” %J Annales scientifiques de l'École Normale Supérieure %D 2019 %P 515-559 %V 52 %N 3 %I Société Mathématique de France. Tous droits réservés %U http://geodesic.mathdoc.fr/articles/10.24033/asens.2392/ %R 10.24033/asens.2392 %G en %F ASENS_2019__52_3_515_0
Adamczewski, Boris; Bell, Jason P.; Delaygue, Éric. Algebraic independence of $G$-functions and congruences “à la Lucas”. Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 52 (2019) no. 3, pp. 515-559. doi: 10.24033/asens.2392
Cité par Sources :