English

Algebraic independence results for values of Jacobi theta-constants

Number Theory 2016-09-14 v1

Abstract

Let θ3(τ)=1+2ν=1qν2\theta_3(\tau)=1+2\sum_{\nu=1}^{\infty} q^{\nu^2} with q=eiπτq=e^{i\pi \tau} and (τ)>0\Im (\tau)>0 denote the Thetanullwert of the Jacobi theta function θ(zτ)=ν=eπiν2τ+2πiνz.\theta(z|\tau) \,=\,\sum_{\nu=-\infty}^{\infty} e^{\pi i\nu^2\tau + 2\pi i\nu z} \,. Moreover, let θ2(τ)=2ν=0q(ν+1/2)2\theta_2(\tau)=2\sum_{\nu=0}^{\infty} q^{{(\nu+1/2)}^2} and θ4(τ)=1+2ν=1(1)νqν2\theta_4(\tau)=1+2\sum_{\nu=1}^{\infty} {(-1)}^{\nu}q^{\nu^2}. For every even integer n6n\geq 6, which is not a power of two, we prove constructively the existence of a nontrivial integer polynomial Qn(X,Y)Q_n(X,Y) such that Qn(θ34(nτ)θ34(τ),θ24(τ)θ34(τ))=0Q_n\Big( \,\frac{\theta_3^4(n\tau)}{\theta_3^4(\tau)},\frac{\theta_2^4(\tau)}{\theta_3^4(\tau)}\, \Big) \,=\, 0 holds for all complex numbers τ\tau from the upper half plane of C\mathbb{C}. These polynomials are used to prove the algebraic independence of θ3(nτ)\theta_3(n\tau) and θ3(τ)\theta_3(\tau) for all algebraic numbers q=eiπτq=e^{i\pi \tau} with 0<q<10<|q|<1. Combining this with former results of the authors, it is shown that for such algebraic qq the numbers θ3(nτ)\theta_3(n\tau) and θ3(τ)\theta_3(\tau) are algebraically independent over Q\mathbb{Q} for every integer n2n\geq 2. A result on the algebraic dependence over Q\mathbb{Q} of the three numbers θ3(τ)\theta_3(\ell\tau), θ3(mτ)\theta_3(m\tau), and θ3(nτ)\theta_3(n\tau) for integers ,m,n1\ell,m,n\geq 1 is also presented.

Keywords

Cite

@article{arxiv.1609.03660,
  title  = {Algebraic independence results for values of Jacobi theta-constants},
  author = {Carsten Elsner and Yohei Tachiya},
  journal= {arXiv preprint arXiv:1609.03660},
  year   = {2016}
}

Comments

19 pages