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).[1][2] Note that in,[2] Witten zeta functions do not appear as explicit objects in their own right.
Definition
If [math]\displaystyle{ G }[/math] is a compact semisimple Lie group, the associated Witten zeta function is (the meromorphic continuation of) the series
- [math]\displaystyle{ \zeta_G(s)=\sum_\rho\frac{1}{(\dim\rho)^s}, }[/math]
where the sum is over equivalence classes of irreducible representations of [math]\displaystyle{ G }[/math].
In the case where [math]\displaystyle{ G }[/math] is connected and simply connected, the correspondence between representations of [math]\displaystyle{ G }[/math] and of its Lie algebra, together with the Weyl dimension formula, implies that [math]\displaystyle{ \zeta_G(s) }[/math] can be written as
- [math]\displaystyle{ \sum_{m_1,\dots,m_r\gt 0}\prod_{\alpha\in \Phi^+}\frac{1}{\langle\alpha^\lor, m_1\lambda_1+\cdots+m_r\lambda_r\rangle^{s}}, }[/math]
where [math]\displaystyle{ \Phi^+ }[/math] denotes the set of positive roots, [math]\displaystyle{ \{\lambda_i\} }[/math] is a set of simple roots and [math]\displaystyle{ r }[/math] is the rank.
Examples
- [math]\displaystyle{ \zeta_{SU(2)}(s)=\zeta(s) }[/math], the Riemann zeta function.
- [math]\displaystyle{ \zeta_{SU(3)}(s)=\sum_{x=1}^{\infty}\sum_{y=1}^{\infty}\frac{1}{(xy(x+y)/2)^s}. }[/math]
Abscissa of convergence
If [math]\displaystyle{ G }[/math] is simple and simply connected, the abscissa of convergence of [math]\displaystyle{ \zeta_G(s) }[/math] is [math]\displaystyle{ r/\kappa }[/math], where [math]\displaystyle{ r }[/math] is the rank and [math]\displaystyle{ \kappa=|\Phi^{+}| }[/math]. This is a theorem due to Alex Lubotzky and Michael Larsen.[3] A new proof is given by Jokke Häsä and Alexander Stasinski [4] 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
[math]\displaystyle{ \sum_{x_1,\dots,x_r=1}^{\infty}\frac{1}{P(x_1,\dots,x_r)^s}, }[/math]
where [math]\displaystyle{ P(x_1,\dots,x_r) }[/math] is a product of linear polynomials with non-negative real coefficients.
Singularities and values of the Witten zeta function associated to SU(3)
[math]\displaystyle{ \zeta_{SU(3)} }[/math] is absolutely convergent in [math]\displaystyle{ \{ s \in \mathbb{C}, \Re(s)\gt 2/3 \} }[/math], and it can be extended meromorphicaly in [math]\displaystyle{ \mathbb{C} }[/math]. Its singularities are in [math]\displaystyle{ \Bigl\{ \frac{2}{3} \Bigr\} \cup \Bigl\{ \frac{1}{2}-k, k \in \mathbb{N} \Bigr\}, }[/math] and all of those singularities are simple poles.[5] In particular, the values of [math]\displaystyle{ \zeta_{SU(3)}(s) }[/math] are well defined at all integers, and have been computed by Kazuhiro Onodera.[6]
At [math]\displaystyle{ s=0 }[/math], we have [math]\displaystyle{ \zeta_{SU(3)}(0) = \frac{1}{3}, }[/math] and [math]\displaystyle{ \zeta_{SU(3)}'(0)=\log(2^{4/3}\pi). }[/math]
Let [math]\displaystyle{ a \in \mathbb{N}^* }[/math] be a positive integer. We have
[math]\displaystyle{ \zeta_{SU(3)}(a)=\frac{2^{a+2}}{1+(-1)^a 2} \sum_{k=0}^{[a/2]} {2a-2k-1 \choose a-1} \zeta(2k) \zeta(3a-k). }[/math]
If a is odd, then [math]\displaystyle{ \zeta_{SU(3)} }[/math] has a simple zero at [math]\displaystyle{ s=-a, }[/math] and
[math]\displaystyle{ \zeta_{SU(3)}'(-a)=\frac{2^{-a+1} (a!)^2}{(2a+1)!} \zeta'(-3a-1) + 2^{-a+2} \sum_{k=0}^{(a-1)/2} {a \choose 2k} \zeta(-a-2k) \zeta'(-2a+2k). }[/math]
If a is even, then [math]\displaystyle{ \zeta_{SU(3)} }[/math] has a zero of order [math]\displaystyle{ 2 }[/math] at [math]\displaystyle{ s=-a, }[/math] and
[math]\displaystyle{ \zeta_{SU(3)}''(-a)=2^{-a+2}\sum_{k=0}^{a/2} {a \choose 2k} \zeta'(-a-2k)\zeta'(-2a+2k). }[/math]
References
- ↑ 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.0 2.1 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. http://projecteuclid.org/euclid.cmp/1104248198.
- ↑ Larsen, Michael; Lubotzky, Alexander (2008). "Representation growth of linear groups". Journal of the European Mathematical Society 10 (2): 351–390. doi:10.4171/JEMS/113. ISSN 1435-9855.
- ↑ Häsä, Jokke; Stasinski, Alexander (2019). "Representation growth of compact linear groups". Transactions of the American Mathematical Society 372 (2): 925–980. doi:10.1090/tran/7618.
- ↑ Romik, Dan (2017). "On the number of $n$-dimensional representations of $\operatorname{SU}(3)$, the Bernoulli numbers, and the Witten zeta function" (in en). Acta Arithmetica 180 (2): 111–159. doi:10.4064/aa8455-3-2017. ISSN 0065-1036. http://www.impan.pl/get/doi/10.4064/aa8455-3-2017.
- ↑ Onodera, Kazuhiro (2014). "A functional relation for Tornheim's double zeta functions" (in en). Acta Arithmetica 162 (4): 337–354. doi:10.4064/aa162-4-2. ISSN 0065-1036. http://journals.impan.pl/cgi-bin/doi?aa162-4-2.
 |  |
