English

Algebraic integers as special values of modular units

Number Theory 2010-08-10 v2

Abstract

Let φ(τ)=η((τ+1)/2)2/2πeπi4η(τ+1)\varphi(\tau)=\eta((\tau+1)/2)^2/\sqrt{2\pi}e^\frac{\pi i}{4}\eta(\tau+1) where η(τ)\eta(\tau) is the Dedekind eta-function. We show that if τ0\tau_0 is an imaginary quadratic number with Im(τ0)>0\mathrm{Im}(\tau_0)>0 and mm is an odd integer, then mφ(mτ0)/φ(τ0)\sqrt{m}\varphi(m\tau_0)/\varphi(\tau_0) is an algebraic integer dividing m\sqrt{m}. This is a generalization of Theorem 4.4 given in [B. C. Berndt, H. H. Chan and L. C. Zhang, Ramanujan's remarkable product of theta-functions, Proc. Edinburgh Math. Soc. (2) 40 (1997), no. 3, 583-612]. On the other hand, let KK be an imaginary quadratic field and θK\theta_K be an element of KK with Im(θK)>0\mathrm{Im}(\theta_K)>0 which generators the ring of integers of KK over Z\mathbb{Z}. We develop a sufficient condition of mm for mφ(mθK)/φ(θK)\sqrt{m}\varphi(m\theta_K)/\varphi(\theta_K) to become a unit.

Keywords

Cite

@article{arxiv.1008.0473,
  title  = {Algebraic integers as special values of modular units},
  author = {Ja Kyung Koo and Dong Hwa Shin and Dong Sung Yoon},
  journal= {arXiv preprint arXiv:1008.0473},
  year   = {2010}
}
R2 v1 2026-06-21T15:56:16.871Z