23

This interesting little fellow (a nice introduction is the video "Mock Modular Forms are Everywhere" by Cheng and Felder) popped up in some operator algebra (Witt / Virasoro Lie algebra) I was exploring, so I've been curious about where else the Dedekind $\eta$-function makes a cameo appearance and found that in physics it's related to the

  1. statistical parameters of solvable Ising models

(See "The Reasonable and Unreasonable Effectiveness of Number Theory in Statistical Mechanics" by G. Andrews and "Introduction to Exactly Solvable models in Statistical Mechanics" by C. Tracy.)

The difference between the average local occupation densities of two sub-lattices of a hard hexagon model of a lattice gas given on pp. 368-371 of Tracy is $R(\tau)=\frac{n(\tau)\eta(5\tau)}{\eta^2(3\tau)}$.

  1. partition functions (statistical mechanics variety) for colored bosons moving on a line (1/24 is the associated Casimir energy) and one-color fermions

  2. operator traces (characters) for the infinite dimensional Lie algebras $\widehat{su}_n$, equivalent to 2-Dim current algebras

  3. partition function of a microscopic black-hole in a 5-Dim D-brane

  4. string theory guage corrections

(For 2-5, see "Nucleon Structure, Duality and Elliptic Theta Functions" by W. Scott. For item 2, see also "Vertex Operators and Modular Forms" by G. Mason and M. Tuite.)

From pg. 39 of "Fivebrane instantons ..." and on pg. 11 of "D3 instantons ...," a correction to the field basis (of the RR axion dual to D3-branes) in type IIB string perturbation theory related to the action of S-duality in ten dimensions:

$\tilde{c_a} \mapsto \tilde{c_a}-\tilde{c}_{2,a}\:\epsilon(g)$ where, with $g=\binom{a\:\:b}{c\:\:d}$,

$$\exp(2\pi i \epsilon(g))=\frac{\eta\left [ \frac{a\tau+b}{c\tau+d} \right ]}{\left ( c\tau+d \right )^{\frac{1}{2}}\eta(\tau)}.$$

  1. partition function in 2+1 dimensions and vanishing chemical potential of non-relativistic fermions in a constant magnetic field

("Nonrelativistic Fermions in Magnetic Fields: a Quantum Field Theory Approach" by O. Espinosa, J. Gamboa, S. Lepe, and F. Mendez)

  1. physics of gauge theories and the Dirac operator

(See "The Logarithm of the Dedekind $\eta$ Function" by M. Atiyah.)

Michael Atiyah even goes so far as to say, "It seems therefore timely to attempt to survey the whole development of the theory of $\log(\eta)$, putting results in their natural order and in the appropriate general context. This is the aim of the present paper, in which the emphasis will be strongly geometrical. In a sense we shall show that the latest ideas from physics [circa 1987] provide the key to a proper understanding of Dedekind's original results."

[ 7.5 Edit 1/18/21: The lecture "A geometric approach to the modular flow on the space of lattices" by Bruce Bartlett interleaves topics presented by Atiyah above and Ghys below.]

  1. knots and dynamics

(See "Knots and Dynamics" by E. Ghys, and Chapter 2 A New Twist in Knot Theory in Dana MacKenzie's book What's Happening in the Mathematical Sciences Vol. 7.)

Ghys presents the equation $$24\log\eta\left(\frac{a\tau+b}{c\tau+d}\right)=24\: \log(\eta(\tau))+6\: \log(-(c\tau+d)^{2})+2\pi i\:\mathfrak{R}\left(\binom{a\: b}{c\: d}\right) $$

where $\mathfrak{R}$ is the Rademacher function, which he relates to the linking number

between two knots related to modular/Lorenz flow: “For every hyperbolic element $A=\binom{a\: b}{c\: d}$ in $PSL(2,Z)$, the linking number between the [modular/Lorenz] knot $k_A$ and the trefoil knot $l$ is equal to $\mathfrak{R}(A)$ ....”

  1. string/brane partition functions, propagators, and metrics

In "String Theory" by S. Nibbelink, $\eta$ occurs in the denominator of string partition functions for fermionic and bosonic zero modes (pp. 163-7).

A coefficient in the 10-dim metric for a 7-brane is given as $e^{\phi}=\tau_2 \eta^2\bar{\eta}^2|\prod_{i=1}^{k}(z-z_i)^{-\frac{1}{12}}|^2$ on pg. 493 of "Supergravity vacua and solitons" by G. Gibbons.

In what other contexts in physics does the Dedekind $\eta$ function take a bow?

(Edit) Moreover, since this is a community wiki and not a test question with one best answer but an attempt to come to a better understanding of the $\eta$-function and associated math and physics, I invite people to expand on any of the items with specifics (e.g., exact formulas), more references, and/or insightful commentaries (e.g., what you believe are important aspects of the references).

Other appearances: In Gliozzi's "The Infrared Limit of QCD Effective String" on pg. 14; Panero's "A numerical study of confinement in compact QED" on pg. 4; Zahed's "Holographic Pomeron and Primordial Viscosity" on pg. 1; Caselle and Pinn's "On the Universality of Certain Non-Renormalizable Contributions in Two-Dimensional Quantum Field Theory" on pg. 3; Billo, Casselle, and Pellegrini's "New numerical results and novel effective string predictions for Wilson loops" on pg. 6 and 15; and Basar, Kharzeev, Yee, and Zahed's "Holographic Pomeron and the Schwinger Mechanism" on pg. 7.

Tom Copeland
  • 9,937
  • Do you consider conformal field theory covered in your question? ...because this is not entirely unrelated to the Ising model. – Steve Huntsman Dec 03 '12 at 02:27
  • Well, you'll find it discussed in Nash. Gannon also discusses a boson on a circle. – Steve Huntsman Dec 03 '12 at 03:58
  • 10
    If your goal in asking this question goes beyond simply accumulating a list of interesting physics topics, I think it would be important to note how precisely $\eta$ appears, rather than simply pointing out that it is mentioned in a paper. For example, in many statistical partition functions and Fock space characters, it appears in the denominator, since the reciprocal of $\eta$ is a generating function that counts partitions of integers. – S. Carnahan Dec 03 '12 at 16:52
  • Related: "On determinant line bundles" by Freed. – Tom Copeland Dec 12 '16 at 22:03
  • Related "K3 Surfaces, N=4 Dyons, and the Mathieu Group M24" by Miranda Cheng http://arxiv.org/abs/1005.5415 – Tom Copeland Jan 04 '17 at 12:20
  • See also the same question on PhysicsOverflow with additional answers: https://www.physicsoverflow.org/17263 – Tom Copeland May 21 '17 at 22:37
  • See pg. 145 of "Signatures in algebra, topology and dynamics" by Ghys and Ranicki https://arxiv.org/abs/1512.09258 – Tom Copeland Aug 24 '19 at 19:55
  • See also "Lorenz and modular flows: a visual introduction" by Ghys and Leys http://www.josleys.com/articles/ams_article/Lorenz3.htm – Tom Copeland Aug 28 '19 at 15:51
  • And "The Modular Flow on the Space of Lattices" at the n-Category Cafe https://golem.ph.utexas.edu/category/2014/04/the_modular_flow_on_the_space.html – Tom Copeland Aug 28 '19 at 16:05
  • 1
    The characters of vertex algebras are often modular forms, for instance, the character of the Heisenberg/rank 1 free boson vertex algebra at a certain charge is $\eta(q)^{-1}$. Zhu proved a more precise result in ``Modular invariance of characters of vertex operator algebras''. This comment is probably just a mathematical rephrasing of some of the things already mentioned here already. – Pulcinella Dec 18 '19 at 15:17
  • Also Ooguri, "Lecture 9: Riemann surfaces, elliptic functions" https://ocw.u-tokyo.ac.jp/lecture_files/sci_03/9/notes/en/ooguri09.pdf – Tom Copeland Oct 01 '20 at 13:51
  • @S.Carnahan, isn't that rather obvious from the first examples in statistical physics which always relates statistical parameters such as the system's energy, entropy, temperature, etc. to averages over a distribution (relative count) of states? The papers devote rather large sections to the explanation of the exact connection of the Dedekind eta to a counting of the states involved. This is a question rather than a treatise. – Tom Copeland Jan 12 '21 at 17:19
  • Occurs in the denominator (under a theta function) of the determinant of a chiral Dirac operator in "Theta Functions, Modular Invariance, and Strings" by Alvarez-Gaume, Moore, and Vafa. – Tom Copeland Apr 03 '21 at 20:46
  • As Steve Huntsman noted, the Dedekind eta function occurs in Moonshine Beyond the Monster by Gannon. – Tom Copeland Sep 24 '21 at 00:40

1 Answers1

8

The Dedekind eta function shows up in three-dimensional quantum gravity: http://arxiv.org/abs/0712.0155 (Alexander Maloney, Edward Witten, Quantum Gravity Partition Functions in Three Dimensions). On page 17 a basic partition function $Z_{0,1}$ of the theory is calculated as $$Z_{0,1}(\tau)=\frac{1}{|\eta(\tau)|^2}|\bar q q|^{-(k-1/24)}|1-q|^2.$$ It also appears in the calculation of supergravity partition functions in sec.7.

The Dedekind eta function also enters in (supersymmetric) physics through mock modular forms: http://arxiv.org/abs/1208.4074 (Atish Dabholkar, Sameer Murthy, Don Zagier, Quantum Black Holes, Wall Crossing, and Mock Modular Forms).

A good review of mock modular forms is http://mathcs.emory.edu/~ono/publications-cv/pdfs/114.pdf (Ken Ono, Unearthing the visions of a master: harmonic Maass forms and number theory).

I first heared about Dedekind Eta Function in the physics context via Freeman Dyson's lovely essay "Missed opportunities".

Zurab Silagadze
  • 16,340
  • 1
  • 47
  • 92