Skip to main content
5 of 5
deleted 1612 characters in body
Bruce Bartlett
  • 1.8k
  • 13
  • 17

How can one express the Dedekind eta function as a sum over the lattice?

The Dedekind eta function $\eta(\tau)$ can be regarded as a formula which assigns a number to a lattice $L \subset \mathbb{C}$. The algorithm is: rotate the lattice so that one of its basis vectors lies along the real axis, then pick another basis vector $\tau$ in the upper half plane, then compute the usual formula $$ \eta(\tau) = q^\frac{1}{24} \prod_{n=1}^\infty (1-q^n) $$ where $q=e^{2 \pi i \tau}$. It would be nice if there were a more "canonical" way to compute it directly from the lattice $L$ (i.e. without this rotate-and-pick-a-basis-vector story which breaks symmetry). I'm looking for a formula similar to that of the Eisenstein series where one sums over all points of the lattice: $$ G_n (L) = \sum_{\omega \in L, \omega \neq 0} \frac{1}{\omega^n} $$ We have the theorem of Jacobi that the 24th power of $\eta$ computes as the discriminant of the lattice, $$ (2\pi)^{12} \eta(\tau)^{24} = 20G_4(\mathbb{Z} + \tau \mathbb{Z})^3 -49 G_6 (\mathbb{Z} + \tau \mathbb{Z})^2, $$ which is great, since it shows that the 24th power of $\eta$ can be defined canonically via a sum over the lattice points... but how about $\eta$ itself?

Bruce Bartlett
  • 1.8k
  • 13
  • 17