D-finiteness, rationality, and height

Bell, Jason; Nguyen, Khoa; Zannier, Umberto

doi:10.1090/tran/8046

D-finiteness, rationality, and height
HTML articles powered by AMS MathViewer

by Jason P. Bell, Khoa D. Nguyen and Umberto Zannier PDF

Trans. Amer. Math. Soc. 373 (2020), 4889-4906 Request permission

Abstract:

Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic $0$ is D-finite and its coefficients belong to a finite set, then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coefficients of a univariate D-finite power series “look like” the coefficients of a rational function, then the power series is rational. Our work relies on the theory of Weil heights, the Manin–Mumford theorem for tori, an application of the Subspace Theorem, and various combinatorial arguments involving heights, power series, and linear recurrence sequences.

References

Jason P. Bell and Shaoshi Chen, Power series with coefficients from a finite set, J. Combin. Theory Ser. A 151 (2017), 241–253. MR 3663496, DOI 10.1016/j.jcta.2017.05.002
Enrico Bombieri and Walter Gubler, Heights in Diophantine geometry, New Mathematical Monographs, vol. 4, Cambridge University Press, Cambridge, 2006. MR 2216774, DOI 10.1017/CBO9780511542879
E. Bombieri and U. Zannier, Algebraic points on subvarieties of $\mathbf G^n_m$, Internat. Math. Res. Notices 7 (1995), 333–347. MR 1350686, DOI 10.1155/S1073792895000250
Pietro Corvaja and Umberto Zannier, Finiteness of integral values for the ratio of two linear recurrences, Invent. Math. 149 (2002), no. 2, 431–451. MR 1918678, DOI 10.1007/s002220200221
Pietro Corvaja and Umberto Zannier, Some new applications of the subspace theorem, Compositio Math. 131 (2002), no. 3, 319–340. MR 1905026, DOI 10.1023/A:1015594913393
Pietro Corvaja and Umberto Zannier, On the rational approximations to the powers of an algebraic number: solution of two problems of Mahler and Mendès France, Acta Math. 193 (2004), no. 2, 175–191. MR 2134865, DOI 10.1007/BF02392563
Bernard Dwork, Giovanni Gerotto, and Francis J. Sullivan, An introduction to $G$-functions, Annals of Mathematics Studies, vol. 133, Princeton University Press, Princeton, NJ, 1994. MR 1274045
Jan-Hendrik Evertse and Hans Peter Schlickewei, A quantitative version of the absolute subspace theorem, J. Reine Angew. Math. 548 (2002), 21–127. MR 1915209, DOI 10.1515/crll.2002.060
Jan-Hendrik Evertse, On sums of $S$-units and linear recurrences, Compositio Math. 53 (1984), no. 2, 225–244. MR 766298
Jan-Hendrik Evertse, An improvement of the quantitative subspace theorem, Compositio Math. 101 (1996), no. 3, 225–311. MR 1394517
Marc Hindry and Joseph H. Silverman, Diophantine geometry, Graduate Texts in Mathematics, vol. 201, Springer-Verlag, New York, 2000. An introduction. MR 1745599, DOI 10.1007/978-1-4612-1210-2
Liang-Chung Hsia and Joseph H. Silverman, A quantitative estimate for quasiintegral points in orbits, Pacific J. Math. 249 (2011), no. 2, 321–342. MR 2782672, DOI 10.2140/pjm.2011.249.321
Avinash Kulkarni, Niki Myrto Mavraki, and Khoa D. Nguyen, Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier, Trans. Amer. Math. Soc. 371 (2019), no. 6, 3787–3804. MR 3917208, DOI 10.1090/tran/7316
Michel Laurent, Équations diophantiennes exponentielles, Invent. Math. 78 (1984), no. 2, 299–327 (French). MR 767195, DOI 10.1007/BF01388597
L. Lipshitz, $D$-finite power series, J. Algebra 122 (1989), no. 2, 353–373. MR 999079, DOI 10.1016/0021-8693(89)90222-6
Yves Pourchet, Solution du problème arithmétique du quotient de Hadamard de deux fractions rationnelles, C. R. Acad. Sci. Paris Sér. A-B 288 (1979), no. 23, A1055–A1057 (French, with English summary). MR 541979
Robert Rumely, Notes on van der Poorten’s proof of the Hadamard quotient theorem. I, II, Séminaire de Théorie des Nombres, Paris 1986–87, Progr. Math., vol. 75, Birkhäuser Boston, Boston, MA, 1988, pp. 349–382, 383–409. MR 990517
Wolfgang M. Schmidt, Simultaneous approximation to algebraic numbers by rationals, Acta Math. 125 (1970), 189–201. MR 268129, DOI 10.1007/BF02392334
Hans Peter Schlickewei, The quantitative subspace theorem for number fields, Compositio Math. 82 (1992), no. 3, 245–273. MR 1163217
Wolfgang M. Schmidt, Heights of points on subvarieties of $\textbf {G}^n_m$, Number theory (Paris, 1993–1994) London Math. Soc. Lecture Note Ser., vol. 235, Cambridge Univ. Press, Cambridge, 1996, pp. 157–187. MR 1628798, DOI 10.1017/CBO9780511662003.008
R. P. Stanley, Differentiably finite power series, European J. Combin. 1 (1980), no. 2, 175–188. MR 587530, DOI 10.1016/S0195-6698(80)80051-5
R. P. Stanley, Enumerative combinatorics, volume 2, Cambridge University Press, Cambridge, 1999.
Alfred J. van der Poorten, Solution de la conjecture de Pisot sur le quotient de Hadamard de deux fractions rationnelles, C. R. Acad. Sci. Paris Sér. I Math. 306 (1988), no. 3, 97–102 (French, with English summary). MR 929097
A. J. van der Poorten and I. E. Shparlinski, On linear recurrence sequences with polynomial coefficients, Glasgow Math. J. 38 (1996), no. 2, 147–155. MR 1397169, DOI 10.1017/S0017089500031372
Umberto Zannier, A proof of Pisot’s $d$th root conjecture, Ann. of Math. (2) 151 (2000), no. 1, 375–383. MR 1745008, DOI 10.2307/121122
Umberto Zannier, Basics on the theory of heights and its applications to certain Diophantine problems, Expo. Math. 36 (2018), no. 1, 1–31. MR 3780026, DOI 10.1016/j.exmath.2017.08.008