Dedekind eta function

The Dedekind eta function is a function defined on the upper half plane of complex numbers whose imaginary part is positive. For any such complex number [itex]\tau[itex], we define the nome q = eiπτ, and define the eta function by

[itex]\eta(\tau) = q^{1/12} \prod_{n=1}^{\infty} (1-q^{2n})[itex]

The eta function is holomorphic on the upper half plane but cannot be continued analytically beyond it.

Missing image
Q-euler.jpeg
Modulus of Euler phi on the unit disc, colored so that black=0, red=4
Missing image
Discriminant_real_part.jpeg
The real part of the modular discriminant as a function of the nome q.

The eta function satisfies the functional equations

[itex]\eta(\tau+1) = \exp(2 \pi i/24)\eta(\tau)[itex]
[itex]\eta(-1/\tau) = \sqrt {-i\tau} \eta(\tau)[itex]

More generally,

[itex]\eta \left( \frac{a\tau+b}{c\tau+d} \right) =

\epsilon (a,b,c,d) \left( -i(c\tau+d) \right)^{1/2} \eta(z)[itex] where a,b,c,d are integers, with ad-bc=1, and thus being a transform belonging to the modular group, and

[itex]\epsilon (a,b,c,d)=\exp i\pi \left(

\frac{a+d}{12c} + s(-d,c) \right) [itex] and s(h,k) is the Dedekind sum

[itex]s(h,k)=\sum_{n=1}^{k-1} \frac{n}{k}

\left( \frac{hn}{k} - \left\lfloor \frac{hn}{k} \right\rfloor -\frac{1}{2} \right)[itex]

Because of these functional equations the eta function is a modular form of weight 1/2, and can be used to define other modular forms. In particular the modular discriminant of Weierstrass can be defined as

[itex]\Delta(\tau) = (2 \pi)^{12} \eta(\tau)^{24}[itex]

and is a modular form of weight 12. Because the eta function is easy to compute, it is often helpful to express other functions in terms of it when possible, and products and quotients of eta functions, called eta quotients, can be used to express a great variety of modular forms.

The picture on this page shows the modulus of the Euler function

[itex]\phi(z) = \prod_{n=1}^{\infty} \left(1-z^n\right)[itex]

where [itex]z=q^2[itex]. Note that the additional factor of [itex]z^{1/12}[itex] between this and the Dedekind eta makes almost no visual difference whatsoever (it only introduces a tiny pinprick at the origin). Thus, this picture can be taken as a picture of eta as a function of q.

Note that the Jacobi triple product implies that the eta is (up to a factor) a Jacobi theta function for special values of the arguments.

References

• Art and Cultures
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Space and Astronomy