A generalization of Iseki Formula and the transformation of $θ_1(z, τ)$

Maher Me'meh,Ali Saraeb
DOI: https://doi.org/10.46298/hrj.2023.10912
2022-09-02
Abstract:In this paper we give a generalization of Iseki's formula and use it to prove the transformation law of $\theta_1(z, \tau)$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the Iseki formula and prove the transformation law of $\theta_1(z,\tau)$. Specifically, the author hopes to simplify and improve the proof of the transformation law of the Jacobi theta function $\theta_1(z,\tau)$ under the modular group $\Gamma$ by generalizing the Iseki formula. ### Main problems: 1. **Generalize the Iseki formula**: The author hopes to generalize the Iseki formula from the Dedekind eta function to a more general function form, especially the Jacobi theta function $\theta_1(z,\tau)$. 2. **Prove the transformation law of $\theta_1(z,\tau)$**: Use the generalized Iseki formula to prove the transformation law of $\theta_1(z,\tau)$ under the modular group $\Gamma$. ### Background information: - **Dedekind eta function**: It is defined as \[ \eta(\tau) = e^{\pi i \tau / 12} \prod_{n = 1}^{\infty}(1 - e^{2\pi i n \tau}) \] and its transformation law under the modular group $\Gamma$ is \[ \eta(A\tau)=\epsilon(A)(-i(c\tau + d))^{1/2}\eta(\tau) \] where $\epsilon(A)$ is the Dedekind eta - character and can be represented by the Dedekind sum as \[ \epsilon(A)=\exp\left(\frac{\pi i (a + d)}{12c}-s(d,c)\right) \] - **Jacobi theta function $\theta_1(z,\tau)$**: It is defined as \[ \theta_1(z,\tau)=-i w q^{1/4}\prod_{n = 1}^{\infty}(1 - q^{2n})(1 - w^2 q^{2n})(1 - w^{-2}q^{2n - 2}) \] where $w = e^{\pi i z}$ and $q = e^{\pi i \tau}$, $z\in\mathbb{C}$ and $\tau\in\mathcal{H}$ (the upper half - plane). ### Main contributions of the paper: - **Generalize the Iseki formula**: The author generalizes the Iseki formula from two variables to four variables and proves it using the Fourier analysis method. - **Prove the transformation law of $\theta_1(z,\tau)$**: Using the generalized Iseki formula, the author proves the transformation law of $\theta_1(z,\tau)$ under the modular group $\Gamma$: \[ \theta_1\left(\frac{z}{c\tau + d},\frac{a\tau + b}{c\tau + d}\right)=\epsilon_1(A)(-i(c\tau + d))^{1/2}e^{\pi i c z^2/(c\tau + d)}\theta_1(z,\tau) \] where $\epsilon_1(A)$ is associated with the Dedekind eta - character. Through these works, the author not only simplifies the proof of the transformation law of $\theta_1(z,\tau)$, but also provides new tools and methods for further research on the Jacobi theta function and other related functions.