English

Algebraic independence results for values of Theta-constants, II

Number Theory 2016-03-16 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} 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 algebraic numbers qq with 0<q<10<|q|<1 and for any j{2,3,4}j\in \{ 2,3,4\} we prove the algebraic independence over Q\mathbb{Q} of the numbers θj(nτ)\theta_j(n\tau) and θj(τ)\theta_j(\tau) for all odd integers n3n\geq 3. Assuming the same conditions on qq and τ\tau as above, we obtain sufficient conditions by use of a criterion involving resultants in order to decide on the algebraic independence over Q\mathbb{Q} of θj(2mτ)\theta_j(2m\tau) and θj(τ)\theta_j(\tau) (j=2,3,4)(j=2,3,4) and of θ3(4mτ)\theta_3(4m\tau) and θ3(τ)\theta_3(\tau) with odd positive integers mm. In particular, we prove the algebraic independence of θ3(nτ)\theta_3(n\tau) and θ3(τ)\theta_3(\tau) for even integers nn with 2n222\leq n\leq 22. The paper continues the work of the first-mentioned author, who already proved the algebraic independence of θ3(2mτ)\theta_3(2^m\tau) and θ3(τ)\theta_3(\tau) for m=1,2,m=1,2,\dots.

Keywords

Cite

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

Comments

15 pages