On Pisot's \(d\)-th root conjecture for function fields and related GCD estimates (Q2239163): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3176984624 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q113870355 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 2010.01896 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Torsion points on curves and common divisors of a<sup>k</sup>-1 and b<sup>k</sup>-1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized Büchi's problem for algebraic functions and meromorphic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vanishing sums in function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diophantine equations with power sums and universal Hilbert sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finiteness of integral values for the ratio of two linear recurrences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some cases of Vojta’s conjecture on integral points over function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Greatest common divisors with moving targets and consequences for linear recurrence sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3509888 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Greatest common divisors and Vojta's conjecture for blowups of algebraic tori / rank
 
Normal rank
Property / cites work
 
Property / cites work: Greatest common divisors of analytic functions and Nevanlinna theory on algebraic tori / rank
 
Normal rank
Property / cites work
 
Property / cites work: On some extensions of the Ailon-Rudnick theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Level curves of rational functions and unimodular points on rational curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Powerful values of polynomials and a conjecture of Vojta / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of Buchi's Higher Powers Problem to Positive Characteristic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An effective Roth's theorem for function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: An effective Schmidt's subspace theorem over function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof of Pisot's \(d\)th root conjecture / rank
 
Normal rank

Latest revision as of 01:18, 27 July 2024

scientific article
Language Label Description Also known as
English
On Pisot's \(d\)-th root conjecture for function fields and related GCD estimates
scientific article

    Statements

    On Pisot's \(d\)-th root conjecture for function fields and related GCD estimates (English)
    0 references
    0 references
    0 references
    0 references
    3 November 2021
    0 references
    In the article under review, the authors are motivated by Zannier's proof of Pisot's \(d\)th root conjecture, for linear recurrence sequences defined over number fields \textit{U.~Zannier} [Ann. Math. (2) 151, No.~1, 375--383 (2000; Zbl 0995.11007)]. Their main result establishes a function field analogue of Zannier's result. Specifically, in the present article, the authors consider the case of exponential polynomials \[b(n) = \sum_{i=1}^\ell B_i(n) \beta_i^n\text{,}\] where \(B_i \in K[T]\) and \(\beta_i \in K^*\text{,}\) for \(K = k(C)\) the function field of a smooth projective algebraic curve \(C\), defined over an algebraically closed characteristic zero field \(k\). To formulate the main result, let \(L\) be the smallest finite extension field of \(K\) that has the property that the roots \(\beta_1,\dots,\beta_\ell\) and the leading coefficient of the polynomial \(\sum_{i=1}^\ell B_i(T)\) all have \(d\)th roots in \(L\). Further, assume that the multiplicative subgroup of \(K^*\) that is generated by the roots \(\beta_1,\dots,\beta_\ell\) has trivial intersection with \(k^*\). Finally, assume that \(b(n)\) is a \(d\)th power in \(K\) for infinitely many natural numbers \(n\). Within this context, the authors establish existence of an exponential polynomial \[ a(m) = \sum_{i=1}^r A_i(m) \alpha_i^m \text{,} \] where \(A_i \in L[T]\) and \(\alpha_i \in \overline{L}^* \text{,}\) together with a polynomial \(R[T] \in k[T]\) for which \[b(m) = R(m) a(m)^d\text{,}\] for all natural numbers \(m\). The proof of this result is of an independent interest. The idea is to establish function field analogues for the generalized greatest common divisor results of \textit{A.~Levin} [Invent. Math. 215, No. 2, 493--533 (2019; Zbl 1437.11094)] and \textit{A.~Levin} and \textit{J.~T.~-Y. Wang} [J. Reine Angew. Math. 767, 77--107 (2020; Zbl 1454.14070)]. Another point involves an application of the main theorem for one variable function fields from \textit{H.~Pasten} and \textit{J.~T.~-Y. Wang} [Int. Math. Res. Not. 2015, No. 11, 3263-3297 (2015; Zbl 1375.11078)].
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Pisot's \(d\)-th root conjecture
    0 references
    function fields
    0 references
    linear recurrences
    0 references
    GCD estimates
    0 references
    0 references
    0 references
    0 references