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). Note that in, Witten zeta functions do not appear as explicit objects in their own right.

Definition

If $G$ is a compact semisimple Lie group, the associated Witten zeta function is (the meromorphic continuation of) the series
:$\zeta_G(s)=\sum_\rho\frac,$

where the sum is over equivalence classes of irreducible representations of $G$.

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

:$\sum_\prod_\frac,$

where $\Phi^+$ denotes the set of positive roots, $\$ is a set of simple roots and $r$ is the rank.

Examples

* $\zeta_(s)=\zeta(s)$, the Riemann zeta function.
* $\zeta_(s)=\sum_^\sum_^\frac.$

Abscissa of convergence

If $G$ is simple and simply connected, the abscissa of convergence of $\zeta_G(s)$ is $r/\kappa$, where $r$ is the rank and $\kappa=, \Phi^,$. This is a theorem due to Alex Lubotzky and Michael Larsen. A new proof is given by Jokke Häsä and Alexander Stasinski

which 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

$\sum_^\frac,$

where $P(x_1,\dots,x_r)$ is a product of linear polynomials with non-negative real coefficients.

Singularities and values of the Witten zeta function associated to SU(3)

$\zeta_$ is absolutely convergent in $\$, and it can be extended meromorphicaly in $\mathbb$. Its singularities are in $\Bigl\ \cup \Bigl\,$ and all of those singularities are simple poles. In particular, the values of $\zeta_(s)$ are well defined at all integers, and have been computed by Kazuhiro Onodera.

At $s=0$, we have $\zeta_(0) = \frac,$ and $\zeta_'(0)=\log(2^\pi).$

Let $a \in \mathbb^*$ be a positive integer. We have

$\zeta_(a)=\frac \sum_^ \zeta(2k) \zeta(3a-k).$

If a is odd, then $\zeta_$ has a simple zero at $s=-a,$ and

$\zeta_'(-a)=\frac \zeta'(-3a-1) + 2^ \sum_^ \zeta(-a-2k) \zeta'(-2a+2k).$

If a is even, then $\zeta_$ has a zero of order $2$ at $s=-a,$ and

$\zeta_''(-a)=2^\sum_^ \zeta'(-a-2k)\zeta'(-2a+2k).$

References

Zeta and L-functions

{{algebra-stub