A criterion of algebraic independence of values of modular functions and an application to infinite products involving Fibonacci and Lucas numbers

Fibonacci and Lucas numbers and polynomials and generalizations (11B39) Modular and automorphic functions (11F03) Dedekind eta function, Dedekind sums (11F20) Algebraic independence; Gel'fond's method (11J85)

Review text

Let \(\mathbb H\) be a upper-half plane and \(N\) be a positive integer. Set \(G(N)=\{ M\in \mathrm{SL}_2(\mathbb Z); M \equiv U \pmod N, \, U \text{ is unit } \in \mathrm{SL}_2(\mathbb Z)\}\). Then the authors prove the following result. Let \(f_1(x)\) and \(f_2(x)\) be non-zero modular functions of weights \(k_1\) and \(k_2\), respectively, for \(G(N)\) whose Fourier expansion with respect \(e^{2\pi ix/N}\) have coefficients in \(\mathbb Q(e^{2\pi i/N})\). Let \(x_0\in\mathbb H\) be neither a zero not a pole of the functions of \(f_1(x)\) and \(f_2(x)\) such that the number \(e^{\pi ix_0}\) is algebraic. Then the two numbers \(f_1(x_0)\) and \(f_2(x_0)\) are algebraically independent over \(\mathbb Q\) if and only if \(f_1^{k_2}/f_2^{k_1}\) is not constant. As a consequence we obtain that any two infinite products from the set \(\{ \prod_{n=1}^\infty (1+\frac 1{F_n}), \prod_{n=3}^\infty (1-\frac 1{F_n}), \prod_{n=1}^\infty (1+\frac 1{L_n}), \prod_{n=2}^\infty (1-\frac 1{L_n}) \}\) are algebraically independent over \(\mathbb Q\) while any three are not. Here \((F_n)\) and \((L_n)\) are Fibonacci and Lucas sequences, respectively.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: A criterion of algebraic independence of values of modular functions and an application to infinite products involving Fibonacci and Lucas numbers

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