Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This interesting little fellow 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)}$.

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

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

4) partition function of a microscopic black-hole in a 5-Dim D-brane

5) 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)}.$$

6) 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)

7) 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."

8) 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)$ ....”

9) 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.

share|improve this question
    
Do you consider conformal field theory covered in your question? ...because this is not entirely unrelated to the Ising model. –  Steve Huntsman Dec 3 '12 at 2:27
    
Well, you'll find it discussed in Nash. Gannon also discusses a boson on a circle. –  Steve Huntsman Dec 3 '12 at 3:58
5  
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 3 '12 at 16:52
add comment

1 Answer

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": http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183533964

share|improve this answer
    
Nice examples. Thank you. –  Tom Copeland Aug 8 '13 at 23:35
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.