Witten zeta function

In mathematics, the Witten zeta function, is a function associated to a root system that encodes the degrees of the irreducible representations of the corresponding Lie group. These zeta functions were introduced by Don Zagier who named them after Edward Witten's study of their special values (among other things) in.[1][2] Note that Witten zeta functions do not appear as explicit objects in their own right in.[2]

Definition

If ${\displaystyle G}$ is a compact semisimple Lie group, the associated Witten zeta function is (the meromorphic continuation of) the series

${\displaystyle \zeta _{G}(s)=\sum _{\rho }{\frac {1}{(\dim \rho )^{s}}},}$

where the sum is over equivalence classes of irreducible representations of ${\displaystyle G}$.

In the case where ${\displaystyle G}$ is connected and simply connected, the correspondence between representations of ${\displaystyle G}$ and of its Lie algebra, together with the Weyl dimension formula, implies that ${\displaystyle \zeta _{G}(s)}$ can be written as

${\displaystyle \sum _{m_{1},\dots ,m_{r}>0}\prod _{\alpha \in \Phi ^{+}}{\frac {1}{\langle \alpha ^{\lor },m_{1}\lambda _{1}+\cdots +m_{r}\lambda _{r}\rangle ^{s}}},}$

where ${\displaystyle \Phi ^{+}}$ denotes the set of positive roots, ${\displaystyle \{\lambda _{i}\}}$ is a set of simple roots and ${\displaystyle r}$ is the rank.

Examples

• ${\displaystyle \zeta _{SU(2)}(s)=\zeta (s)}$, the Riemann zeta function.
• ${\displaystyle \zeta _{SU(3)}(s)=\sum _{x=1}^{\infty }\sum _{y=1}^{\infty }{\frac {1}{(xy(x+y)/2)^{s}}}.}$

Abscissa of convergence

If ${\displaystyle G}$ is simple and simply connected, the abscissa of convergence of ${\displaystyle \zeta _{G}(s)}$ is ${\displaystyle r/\kappa }$, where ${\displaystyle r}$ is the rank and ${\displaystyle \kappa =|\Phi ^{+}|}$. This is a theorem due to Alex Lubotzky and Michael Larsen.[3] A new proof is given by Jokke Häsä and Alexander Stasinski in.[4] The proof in [4] yields a more general result, namely it gives an explicit value (in terms of simple combinatorics) of the abscissa of convergence of any "Mellin zeta function" of the form

${\displaystyle \sum _{x_{1},\dots ,x_{r}=1}^{\infty }{\frac {1}{P(x_{1},\dots ,x_{r})^{s}}},}$

where ${\displaystyle P(x_{1},\dots ,x_{r})}$ is a product of linear polynomials with non-negative real coefficients.

References

1. Zagier, Don (1994), "Values of Zeta Functions and Their Applications", First European Congress of Mathematics Paris, July 6–10, 1992, Birkhäuser Basel, pp. 497–512, doi:10.1007/978-3-0348-9112-7_23, ISBN 9783034899123
2. Witten, Edward (October 1991). "On quantum gauge theories in two dimensions". Communications in Mathematical Physics. 141 (1): 153–209. doi:10.1007/bf02100009. ISSN 0010-3616.
3. Larsen, Michael; Lubotzky, Alexander (2008-06-30). "Representation growth of linear groups". Journal of the European Mathematical Society. 10 (2): 351–390. arXiv:math/0607369. doi:10.4171/JEMS/113. ISSN 1435-9855.
4. Häsä, Jokke; Stasinski, Alexander (2017). "Representation growth of compact linear groups". arXiv:1710.09112 [math.RT].