Transcendence of polynomial canonical heights (Q6093596)

Let \(d\geq 2\) and \(r\geq 0\) be integers. Let \(f_1,\dots ,f_r\) be polynomials which are not linearly conjugate to \(z^d\) or ``plus-minus'' Chebychev polynomials of degree \(d\). For \(i=1,\dots ,r\) set \[\phi_{f_i}(z)= a_{1,i}+\frac 1z a_{-1,i}(z)+ \frac 1{z^2} a_{-2,i}+\dots \in z\mathbb C[\frac 1z]\] such that \(a_{1,i}\not= 0\) and \(\phi_{f_i}(f_i(z))=\phi_{f_i}(f_i(z))^d\). For every \(i=1,\dots ,r\) let \(a_i\) be algebraic number in the functional domain of convergence of \(\phi_{f_i}\). Let \(n_1,\dots ,r\) be integers. The author proves that if \(\alpha =\prod_{i=1}^r \phi_{f_i}(a_i)^{n_i}\) is algebraic \(\alpha\) is a root of unity.