# Dedekind eta function

In mathematics, the Dedekind eta function, named after Richard Dedekind, is a modular form of weight 1/2 and is a function defined on the upper half-plane of complex numbers, where the imaginary part is positive. It also occurs in bosonic string theory.

## Definition

For any complex number ${\displaystyle \tau }$ with ${\displaystyle \mathrm {Im} (\tau )>0}$, let ${\displaystyle q=e^{2\pi i\tau }}$, then the eta function is defined by,

${\displaystyle \eta (\tau )=e^{\frac {\pi {\rm {{i}\tau }}}{12}}\prod _{n=1}^{\infty }(1-e^{2n\pi {\rm {{i}\tau }}})=q^{\frac {1}{24}}\prod _{n=1}^{\infty }(1-q^{n}).}$

The notation ${\displaystyle q\equiv e^{2\pi {\rm {{i}\tau }}}\,}$ is now standard in number theory, though many older books use q for the nome ${\displaystyle e^{\pi {\rm {{i}\tau }}}\,}$. Raising the eta equation to the 24th power and multiplying by (2π)12 gives

${\displaystyle \Delta (\tau )=(2\pi )^{12}\eta ^{24}(\tau )}$

where Δ is the modular discriminant. The presence of 24 can be understood by connection with other occurrences, such as in the 24-dimensional Leech lattice.

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

The eta function satisfies the functional equations[1]

${\displaystyle \eta (\tau +1)=e^{\frac {\pi {\rm {i}}}{12}}\eta (\tau ),\,}$
${\displaystyle \eta (-{\tfrac {1}{\tau }})={\sqrt {-{\rm {i}}\tau }}\eta (\tau ).\,}$

More generally, suppose a, b, c, d are integers with ad  bc = 1, so that

${\displaystyle \tau \mapsto {\frac {a\tau +b}{c\tau +d}}}$

is a transformation belonging to the modular group. We may assume that either c > 0, or c = 0 and d = 1. Then

${\displaystyle \eta \left({\frac {a\tau +b}{c\tau +d}}\right)=\epsilon (a,b,c,d)(c\tau +d)^{\frac {1}{2}}\eta (\tau ),}$

where

${\displaystyle \epsilon (a,b,c,d)=e^{\frac {b{\rm {i}}\pi }{12}}\quad (c=0,d=1);}$
${\displaystyle \epsilon (a,b,c,d)=e^{{\rm {i}}\pi [{\frac {a+d}{12c}}-s(d,c)-{\frac {1}{4}}]}\quad (c>0).}$

Here ${\displaystyle s(h,k)}$ is the Dedekind sum

${\displaystyle 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).}$

Because of these functional equations the eta function is a modular form of weight 1/2 and level 1 for a certain character of order 24 of the metaplectic double cover of the modular group, and can be used to define other modular forms. In particular the modular discriminant of Weierstrass can be defined as

${\displaystyle \Delta (\tau )=(2\pi )^{12}\eta (\tau )^{24}\,}$

and is a modular form of weight 12. (Some authors omit the factor of (2π)12, so that the series expansion has integral coefficients).

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

${\displaystyle \eta (\tau )=\sum _{n=1}^{\infty }\chi (n)\exp({\tfrac {1}{12}}\pi in^{2}\tau ),}$

where ${\displaystyle \chi (n)}$ is "the" Dirichlet character modulo 12 with ${\displaystyle \chi (\pm 1)=1}$, ${\displaystyle \chi (\pm 5)=-1}$. Explicitly,

${\displaystyle \eta (\tau )=e^{\tfrac {\pi i\tau }{12}}\vartheta ({\tfrac {\tau +1}{2}};3\tau ).}$
${\displaystyle \phi (q)=\prod _{n=1}^{\infty }\left(1-q^{n}\right),}$

related to ${\displaystyle \eta \,}$ by ${\displaystyle \phi (q)=q^{-1/24}\eta (\tau )\,}$, has a power series by the Euler identity:

${\displaystyle \phi (q)=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{(3n^{2}-n)/2}.}$

Because the eta function is easy to compute numerically from either power series, it is often helpful in computation 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: the additional factor of ${\displaystyle q^{1/24}}$ between this and 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.

## Combinatorial identities

The theory of the algebraic characters of the affine Lie algebras gives rise to a large class of previously unknown identities for the eta function. These identities follow from the Weyl–Kac character formula, and more specifically from the so-called "denominator identities". The characters themselves allow the construction of generalizations of the Jacobi theta function which transform under the modular group; this is what leads to the identities. An example of one such new identity[2] is

${\displaystyle \eta (8\tau )\eta (16\tau )=\sum _{m,n\in \mathbb {Z} \atop m\leq |3n|}(-1)^{m}q^{(2m+1)^{2}-32n^{2}}}$

where ${\displaystyle q=\exp 2\pi i\tau }$ is the q-analog or "deformation" of the highest weight of a module.

## Special values

The above connection with the Euler function together with the special values of the latter, it can be easily deduced that

${\displaystyle \eta (i)={\frac {\Gamma \left({\frac {1}{4}}\right)}{2\pi ^{3/4}}}}$
${\displaystyle \eta \left({\tfrac {1}{2}}i\right)={\frac {\Gamma \left({\frac {1}{4}}\right)}{2^{7/8}\pi ^{3/4}}}}$
${\displaystyle \eta (2i)={\frac {\Gamma \left({\frac {1}{4}}\right)}{2^{{11}/8}\pi ^{3/4}}}}$
${\displaystyle \eta (3i)={\frac {\Gamma \left({\frac {1}{4}}\right)}{2(3^{1/3})(3+2{\sqrt {3}})^{1/12}\pi ^{3/4}}}}$
${\displaystyle \eta (4i)={\frac {{\sqrt[{4}]{-1+{\sqrt {2}}}}\;\Gamma \left({\frac {1}{4}}\right)}{2^{{29}/16}\pi ^{3/4}}}}$
${\displaystyle \eta (e^{2\pi i/3})=e^{-{\frac {\pi i}{24}}}{\frac {{\sqrt[{8}]{3}}\Gamma \left({\frac {1}{3}}\right)^{3/2}}{2\pi }}}$

## Eta quotients

Eta quotients are defined by quotients of the form

${\displaystyle \prod _{0

Where ${\displaystyle d}$ is a non-negative integer and ${\displaystyle r_{d}}$ is any integer. Linear combinations of eta quotients at imaginary quadratic arguments may be algebraic, while combinations of eta quotients may even be integral. For example, define,

${\displaystyle j(\tau )={\Big (}{\big (}{\tfrac {\eta (\tau )}{\eta (2\tau )}}{\big )}^{8}+2^{8}{\big (}{\tfrac {\eta (2\tau )}{\eta (\tau )}}{\big )}^{16}{\Big )}^{3}}$
${\displaystyle j_{2A}(\tau )={\Big (}{\big (}{\tfrac {\eta (\tau )}{\eta (2\tau )}}{\big )}^{12}+2^{6}{\big (}{\tfrac {\eta (2\tau )}{\eta (\tau )}}{\big )}^{12}{\Big )}^{2}}$
${\displaystyle j_{3A}(\tau )={\Big (}{\big (}{\tfrac {\eta (\tau )}{\eta (3\tau )}}{\big )}^{6}+3^{3}{\big (}{\tfrac {\eta (3\tau )}{\eta (\tau )}}{\big )}^{6}{\Big )}^{2}}$
${\displaystyle j_{4A}(\tau )={\Big (}{\big (}{\tfrac {\eta (\tau )}{\eta (4\tau )}}{\big )}^{4}+4^{2}{\big (}{\tfrac {\eta (4\tau )}{\eta (\tau )}}{\big )}^{4}{\Big )}^{2}={\Big (}{\tfrac {\eta ^{2}(2\tau )}{\eta (\tau )\,\eta (4\tau )}}{\Big )}^{24}}$

with 24th power of the Weber modular function ${\displaystyle {\mathfrak {f}}(\tau )}$. Then,

${\displaystyle j{\Big (}{\tfrac {1+{\sqrt {-163}}}{2}}{\Big )}=-640320^{3},\quad e^{\pi {\sqrt {163}}}\approx 640320^{3}+743.99999999999925\dots }$
${\displaystyle j_{2A}{\Big (}{\tfrac {\sqrt {-58}}{2}}{\Big )}=396^{4},\qquad \quad e^{\pi {\sqrt {58}}}\approx 396^{4}-104.00000017\dots }$
${\displaystyle j_{3A}{\Big (}{\tfrac {1+{\sqrt {-89/3}}}{2}}{\Big )}=-300^{3},\quad e^{\pi {\sqrt {89/3}}}\approx 300^{3}+41.999971\dots }$
${\displaystyle j_{4A}{\Big (}{\tfrac {\sqrt {-7}}{2}}{\Big )}=2^{12},\qquad \quad \quad e^{\pi {\sqrt {7}}}\approx 2^{12}-24.06\dots }$

and so on, values which appear in Ramanujan–Sato series.

Eta Quotients may also be a useful tool for describing bases of modular forms, which are notoriously difficult to compute and express directly. In 1993 Basil Gordon and Kim Hughes proved that if an eta quotient ${\displaystyle \eta _{g}}$ of the form ${\displaystyle \prod _{0 satisfies

${\displaystyle \sum _{0
${\displaystyle \sum _{0

then ${\displaystyle \eta _{g}}$ is a weight ${\displaystyle k}$ modular form for the congruence subgroup ${\displaystyle \Gamma _{0}(N)}$ (up to holomorphicity) where

${\displaystyle k={\frac {1}{2}}\sum _{0[3]

This result was extended in 2019 such that the converse holds for cases when ${\displaystyle N}$ is coprime to ${\displaystyle 6}$, and it remains open that the original theorem is sharp for all integers ${\displaystyle N}$.[4] This also extends to state that any modular eta quotient for any level ${\displaystyle n}$ congruence subgroup must also be a modular form for the group ${\displaystyle \Gamma (N)}$. While these theorems characterize modular eta quotients, the condition of holomorphicity must be checked separately using a theorem that emerged from the work of Gérard Ligozat[5] and Yves Martin[6]:

If ${\displaystyle \eta _{g}}$ is an eta quotient satisfying the above conditions for the integer ${\displaystyle N}$ and ${\displaystyle c}$ and ${\displaystyle d}$ are coprime integers, then the order of vanishing at the cusp ${\displaystyle {\frac {c}{d}}}$ relative to ${\displaystyle \Gamma _{0}(N)}$ is

${\displaystyle {\frac {N}{24}}\sum _{0<\delta |N}{\frac {\gcd(d,\delta )^{2}r_{\delta }}{\gcd(d,{\frac {N}{\delta }})d\delta }}}$.

These theorems provide an effective means of creating holomorphic modular eta quotients, however this may not be sufficient to construct a basis for a vector space of modular forms and cusp forms. A useful theorem for limiting the number of modular eta quotients to consider states that a holomorphic weight ${\displaystyle k}$ modular eta quotient on ${\displaystyle \Gamma _{0}(N)}$ must satisfy

${\displaystyle \sum _{0

where ${\displaystyle {\text{ord}}_{p}(N)}$ denotes the largest integer ${\displaystyle m}$ such that ${\displaystyle p^{m}\mid N}$.[7] These results lead to several characterizations of spaces of modular forms that can be spanned by modular eta quotients.[8] Using the graded ring structure on the ring of modular forms, we can compute bases of vector spaces of modular forms composed of ${\displaystyle \mathbb {C} }$-linear combinations of eta-quotients. For example, if we assume ${\displaystyle N=pq}$ is a semiprime then the following process can be used to compute an eta-quotient basis of ${\displaystyle M_{k}(\Gamma _{0}(N))}$.[9]

Step 1: Fix a semiprime ${\displaystyle N=pq}$ which is coprime to 6. We know that any modular eta quotient may be found using the above theorems, therefore it is reasonable to algorithmically to compute them.

Step 2: Compute the dimension ${\displaystyle D}$ of ${\displaystyle M_{k}(\Gamma _{0}(N))}$. This tells us how many linearly independent modular eta quotients we will need to compute to form a basis.

Step 3: Reduce the number of eta quotients to consider. For semiprimes we can reduce the number of partitions using the bound on

${\displaystyle \sum _{0

and by noticing that the sum of the orders of vanishing at the cusps of ${\displaystyle \Gamma _{0}(N)}$ must equal

${\displaystyle S:={\frac {(p+1)(q+1)}{6}}}$.[10]

Step 4: Find all partitions of ${\displaystyle S}$ into 4-tuples (there are 4 cusps of ${\displaystyle \Gamma _{0}(N)}$), and among these consider only the partitions which satisfy Gordon and Hughes' conditions (we can convert orders of vanishing into exponents). Each of these partitions corresponds to a unique eta quotient.

Step 5: Determine the minimum number of terms in the q-expansion of each eta quotient required to identify elements uniquely (this uses a result known as Sturm's Bound). Then use linear algebra to determine a maximal independent set among these eta quotients.

Step 6: Assuming that we have not found ${\displaystyle D}$ many linearly independent eta quotients. Find an appropriate vector space ${\displaystyle M_{k'}(\Gamma _{0}(N))}$ such that ${\displaystyle k'}$ and ${\displaystyle M_{k'}(\Gamma _{0}(N))}$ is spanned by (weakly holomorphic) eta quotients,[11] and ${\displaystyle M_{k'-k}(\Gamma _{0}(N))}$ contains an eta quotient ${\displaystyle \eta _{g}}$.

Step 7: Take a weight ${\displaystyle k}$ modular form ${\displaystyle f}$ not in the span of our computed eta-quotients and compute ${\displaystyle f\eta _{g}}$ as a linear combination of eta-quotients in ${\displaystyle M_{k'}(\Gamma _{0}(N))}$ and then divide out by ${\displaystyle \eta _{g}}$. The result will be an expression of ${\displaystyle f}$ as a linear combination of eta quotients as desired. Repeat this until a basis is formed.

## References

1. Siegel, C.L. (1954). "A Simple Proof of ${\displaystyle \eta (-1/\tau )=\eta (\tau ){\sqrt {\tau /{\rm {i}}}}\,}$". Mathematika. 1: 4. doi:10.1112/S0025579300000462.
2. Fuchs, Jurgen (1992), Affine Lie Algebras and Quantum Groups, Cambridge University Press, ISBN 0-521-48412-X
3. Basil Gordon and Kim Hughes. Multiplicative properties of η-products. II. In A tribute to Emil Grosswald: number theory and related analysis, volume 143 of Contemp. Math., pages 415–430. Amer. Math. Soc., Providence, RI, 1993.
4. Michael Allen et al. “Eta-quotients of Prime or Semiprime Level and Elliptic Curves”. In: arXiv e-prints, arXiv:1901.10511 (Jan. 2019), arXiv:1901.10511. arXiv:1901.10511 [math.NT].
5. G. Ligozat. Courbes modulaires de genre 1. U.E.R. Mathématique, Université Paris XI, Orsay, 1974. Publication Mathématique d’Orsay, No. 75 7411.
6. Yves Martin. Multiplicative η-quotients. Trans. Amer. Math. Soc., 348(12):4825–4856, 1996.
7. Jeremy Rouse and John J. Webb. On spaces of modular forms spanned by eta-quotients. Adv. Math., 272:200–224, 2015.
8. Jeremy Rouse and John J. Webb. On spaces of modular forms spanned by eta-quotients. Adv. Math., 272:200–224, 2015.
9. Michael Allen et al. “Eta-quotients of Prime or Semiprime Level and Elliptic Curves”. In: arXiv e-prints, arXiv:1901.10511 (Jan. 2019), arXiv:1901.10511. arXiv:1901.10511 [math.NT].
10. Michael Allen et al. “Eta-quotients of Prime or Semiprime Level and Elliptic Curves”. In: arXiv e-prints, arXiv:1901.10511 (Jan. 2019), arXiv:1901.10511. arXiv:1901.10511 [math.NT].
11. Jeremy Rouse and John J. Webb. On spaces of modular forms spanned by eta-quotients. Adv. Math., 272:200–224, 2015.
• Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (2 ed), Graduate Texts in Mathematics 41 (1990), Springer-Verlag, ISBN 3-540-97127-0 See chapter 3.
• Neal Koblitz, Introduction to Elliptic Curves and Modular Forms (2 ed), Graduate Texts in Mathematics 97 (1993), Springer-Verlag, ISBN 3-540-97966-2