On the exponential local-global principle for meromorphic functions and algebraic functions (Q2510426): Difference between revisions

Let \(K\) be a number field and \(S\) a finite set of places of \(K\) containing all the Archimedean ones. Put \(\mathcal O_S =\big\{\alpha \in K : |\alpha_v| \leq 1 \text{ if }\;v \not\in S\big\}\) and \(\mathcal O^*_S =\big\{\alpha \in K : |\alpha_v| = 1 \text{ if }v \not\in S\big\}\). Let \(\lambda_1\), \dots, \(\lambda_m\) be non-zero elements in \(\mathcal O_S\) and \(\alpha_1\), \dots, \(\alpha_m\) be in \(\mathcal O^*S\). For any integer \(n\), set \[ A(n)= \lambda_1 \alpha_1^n + \cdots + \lambda_m \alpha_m^n. \] Then \textit{Th. Skolem}'s [Avh. Norske Vid. Akad. Oslo 1937, No. 12, 1--16 (1937; Zbl 0017.24606)] conjecture is: \smallskip Conjecture (exponential local-global principle). Assume that for every non-zero ideal \(I\) of \(\mathcal O_S\), there exists \(k\) such that \(A(k)\in I\). Then there exists an integer \(n\) for which \(A(n)=0\). This conjecture was recently proved by \textit{B. Bartolomé} et al. [Acta Arith. 159, No. 2, 101--111 (2013; Zbl 1330.11019)] for the case when the rank of the multiplicative group generated by the \(\alpha\)'s is \(1\). Here the authors prove the same result for algebraic functions and they discuss in detail the analog for meromorphic functions, where Nevanlinna theory is applied.