A new p-adic method for proving irrationality and transcendence results

DOI10.2307/1971488MaRDI QIDQ1124627zbMATH OpenOpenAlexFDO

Authors J.-P. Bézivin, Philippe Robba

Publication date 1989

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1971488

zbMATH Keywords

\(p\)-adic criterion for rationalityLindemann-Weierstraß TheoremTaylor series with rational coefficients

Mathematics Subject Classification ID

Irrationality; linear independence over a field (11J72) Transcendence (general theory) (11J81) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Abstract differential equations (12H20)

Review text

This surprising note links a fairly technical \(p\)-adic criterion for rationality due to the authors [`Rational solutions of linear differential equations', J. Aust. Math. Soc., Ser. A 46, No. 2, 184--196 (1989; Zbl 0695.12019)] for which the special case required here is, however, fairly straightforward and is detailed independently, and the observation that the Lindemann-Weierstraß Theorem is entailed by the following result: Suppose \(u\) is a formal power series over \({\mathbb Q}\) and has nonzero radius of convergence. Then the rationality of \(w(x)=x^ 2u'(x)+(x-1)u(x)\) entails the rationality of \(u\). The apparently simple principle is that the Lindemann-Weierstraß Theorem asserts exactly that a finite sum \(\sum\) \(A_ i \exp \alpha_ ix\) with algebraic parameters does not vanish at \(x=1\) (except of course in trivial cases) and that such a sum is a divisor (in the ring of entire functions) of a Taylor series with rational coefficients. The fact that \(u\) be defined over \({\mathbb Q}\) is essential to the argument as detailed, though, of course, it suffices for the field of definition to be some number field. Subsequent to presentation of the argument it was pointed out by Beukers that its \(p\)-adic features are not of the essence. Nevertheless, it remains of significant interest to understand just what conditions are required on \(u\) to permit the argument to succeed and just what rôle is played by the \(p\)-adic features.

Recommendations

• Automata and the arithmetic of formal power series
• An Alternative Proof of the Lindemann-Weierstrass Theorem
• Convergence polygons for connections on nonarchimedean curves
• Some extensions of the Skolem-Mahler-Lech theorem
• scientific article; zbMATH DE number 4075189
• Note on Clark’s theorem for 𝑝-adic convergence
• Rational summation of \(p\)-adic series
• ON THE p-ADIC BINOMIAL SERIES AND A FORMAL ANALOGUE OF HILBERT'S THEOREM 90
• Differentially transcendental formal power series
• The Eisenstein constant

Cited in

(4)

• An irrationality criterion for p-adic binomial series
• An effective version of the Lindemann-Weierstrass theorem using algebraic independence methods
• On the linear independence of p-adic polygamma values
• E functions: what does transcendence have to do with the vibration modes of a drum?

This page was built for publication: A new \(p\)-adic method for proving irrationality and transcendence results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1124627)