On the algebraic independence of certain numbers connected with the exponential and the elliptic functions
type: Item
instance of: scholarly article
title: On the algebraic independence of certain numbers connected with the exponential and the elliptic functions
zbMATH Open document ID: 0606.10030
author: Masanori Toyoda
author: Takeshi Yasuda
published in: Tokyo Journal of Mathematics
publication date: 1986-01-01T00:00:00Z
review text: At least two of the four numbers \(\pi\), log \(\pi\), \(\sum_{n\geq 0}\pi^{-n^ 2}\), \(\sum_{n\geq 0}(-1)^ n \pi^{-n^ 2}\) are algebraically independent, and at least two of the four numbers \(\pi\), log 2, \(\sum_{n\geq 0}2^{-n^ 2}\), \(\sum_{n\geq 0}(-1)^ n 2^{- n^ 2}\) are algebraically independent. These results as well as a few other nice ones in the same vein, follow from the main theorem of this paper, which is the following. Let \(\wp\) be a Weierstrass elliptic function with invariants \(g_ 2\), \(g_ 3\), and a pair of fundamental periods \((\omega_ 1,\omega_ 2)\); let \(\alpha\) be any non-zero complex number, and let K be a field of transcendence type \(<7/3\). Then at least one of the seven numbers \(\alpha\), \(g_ 2\), \(g_ 3\), \(\omega_ 1\), \(\omega_ 2\), \(e^{\alpha \omega_ 1}\), \(e^{\alpha \omega_ 2}\) is transcendental over K. \{Reviewer's remark. The main result (not the corollaries) had been already stated by \textit{G. V. Chudnovsky} [Contributions to the theory of transcendental numbers (Math. Surv. Monogr., No.19) (1984; Zbl 0594.10024); see Chapter 7, {\S} 4, theorem 4.1]. However some of the other results announced by Chudnovsky in the same section of his book are not clear - for instance his theorem 4.8, where he considers ''algebraic points'' of elliptic functions without assuming that the invariants are algebraic. On the other hand, in the result quoted above, \textit{R. Tubbs} has shown that it is possible to replace the assumption on the transcendence type by the condition that K has transcendence degree at most 1 over \({\mathbb{Q}}\), using the method of his paper [Algebraic groups and small transcendence degree. I, J. Number Theory 25, 279-307 (1987)].\}
Mathematics Subject Classification ID: 11J85
Mathematics Subject Classification ID: 11J81
Mathematics Subject Classification ID: 14H52
zbMATH DE Number: 3979168
zbMATH Keywords: algebraic independence
zbMATH Keywords: transcendental numbers
zbMATH Keywords: exponential function
zbMATH Keywords: transcendence type
zbMATH Keywords: elliptic functions
reviewed by: Michel Waldschmidt
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3836/tjm/1270150973
OpenAlex ID: W1991271899
DOI: 10.3836/TJM/1270150973
Recommended article: Q4724710
Recommended article: On algebraic independence of certain functions related to the elliptic modular function
Recommended article: On the measure of algebraic independence of certain values of elliptic functions
Recommended article: Q4025978
Recommended article: On a measure of algebraic independence of values of an elliptic function
Recommended article: Algebraic independence of values of elliptic functions
Recommended article: On the measure of algebraic independence of the values of an elliptic function at algebraic points
Recommended article: On a measure of algebraic independence of values of Jacobi elliptic functions
Recommended article: Q5430951
description: scientific article; zbMATH DE number 3979168