Algebraic independence properties of values of Hecke-Mahler series (Q2484535)

F. Pellarin présente dans cette Note un très joli résultat d'indépendance algébrique sur les valeurs de séries de Hecke-Mahler en des points algébriques. La série de Hecke-Mahler associée à un élément d'un corps réel quadratique \(0<\theta<1\) s'écrit \(f(u,v):= \sum^\infty_{\ell =1}\sum^{[\ell\theta]}_{h=1}u^\ell v^h\) et définit une fonction sur le domaine \({\mathcal D}\) des \((u,v)\in\mathbb{C}^2\) satisfaisant \(|u|<1\) et \(|u||v|^\theta<1\). Pellarin ramène la question de l'indépendance algébrique sur \(\mathbb{Q}\) des valeurs \(f(u_1,v_1),\dots, f(u_m,v_m)\), où \((u_1,v_1),\dots,(u_m,v_m)\in \overline\mathbb{Q}^2\cap {\mathcal D}\), à une propriété de semi-liberté du \(m\)-uplet \(((u_1, v_1),\dots,(u_m,v_m))\), totalement explicite. En particulier, si les points \((u_1,v_1),\dots,(u_m,v_m)\) appartiennent tous à un même sous-groupe algébrique de \(\mathbb{G}^2_m\), de dimension 1, cette condition se réduit à ce que les points \((u_i,v_i)\) soient deux à deux distincts.