Misplaced Pages

Kronecker limit formula

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Kronecker Limit Formula)

In mathematics, the classical Kronecker limit formula describes the constant term at s = 1 of a real analytic Eisenstein series (or Epstein zeta function) in terms of the Dedekind eta function. There are many generalizations of it to more complicated Eisenstein series. It is named for Leopold Kronecker.

First Kronecker limit formula

The (first) Kronecker limit formula states that

E ( τ , s ) = π s − 1 + 2 π ( γ − log ⁡ ( 2 ) − log ⁡ ( y | η ( τ ) | 2 ) ) + O ( s − 1 ) , {\displaystyle E(\tau ,s)={\pi \over s-1}+2\pi (\gamma -\log(2)-\log({\sqrt {y}}|\eta (\tau )|^{2}))+O(s-1),}

where

  • E(τ,s) is the real analytic Eisenstein series, given by
E ( τ , s ) = ∑ ( m , n ) ≠ ( 0 , 0 ) y s | m τ + n | 2 s {\displaystyle E(\tau ,s)=\sum _{(m,n)\neq (0,0)}{y^{s} \over |m\tau +n|^{2s}}}

for Re(s) > 1, and by analytic continuation for other values of the complex number s.

So the Eisenstein series has a pole at s = 1 of residue π, and the (first) Kronecker limit formula gives the constant term of the Laurent series at this pole.

This formula has an interpretation in terms of the spectral geometry of the elliptic curve E τ {\displaystyle E_{\tau }} associated to the lattice Z + Z τ {\displaystyle \mathbb {Z} +\mathbb {Z} \tau } : it says that the zeta-regularized determinant of the Laplace operator Δ {\displaystyle \Delta } associated to the flat metric 1 y | d z | 2 {\displaystyle {\frac {1}{y}}|dz|^{2}} on E τ {\displaystyle E_{\tau }} is given by 4 y | η ( τ ) | 4 {\displaystyle 4y|\eta (\tau )|^{4}} . This formula has been used in string theory for the one-loop computation in Polyakov's perturbative approach.

Second Kronecker limit formula

The second Kronecker limit formula states that

E u , v ( τ , 1 ) = − 2 π log ⁡ | f ( u − v τ ; τ ) q v 2 / 2 | , {\displaystyle E_{u,v}(\tau ,1)=-2\pi \log |f(u-v\tau ;\tau )q^{v^{2}/2}|,}

where

  • u and v are real and not both integers.
  • q = e and q = e
  • p = e and p = e
  • E u , v ( τ , s ) = ∑ ( m , n ) ≠ ( 0 , 0 ) e 2 π i ( m u + n v ) y s | m τ + n | 2 s {\displaystyle E_{u,v}(\tau ,s)=\sum _{(m,n)\neq (0,0)}e^{2\pi i(mu+nv)}{y^{s} \over |m\tau +n|^{2s}}}

for Re(s) > 1, and is defined by analytic continuation for other values of the complex number s.

  • f ( z , τ ) = q 1 / 12 ( p 1 / 2 − p − 1 / 2 ) ∏ n ≥ 1 ( 1 − q n p ) ( 1 − q n / p ) . {\displaystyle f(z,\tau )=q^{1/12}(p^{1/2}-p^{-1/2})\prod _{n\geq 1}(1-q^{n}p)(1-q^{n}/p).}

See also

References

External links

Categories:
Kronecker limit formula Add topic