—   simple Lie algebra (a Cartan type of a complex simple Lie algebra, up to isomorphism)

—   half the zeta argument ($m\geq1$)

$Z_{A_1}(2m)=\zeta(2m)$, with $\zeta$ the Riemann zeta function.

$\displaystyle Z_{A_2}(2m)=2^{2m}\sum_{a,b\geq1}\frac{1}{[ab(a+b)]^{2m}}$ [1].

$\displaystyle Z_{B_2}(2m)=6^{2m}\sum_{a,b\geq1}\frac{1}{[ab(a+b)(a+2b)]^{2m}}$ [1].

$\displaystyle Z_{G_2}(2m)=120^{2m}\sum_{a,b\geq1}\frac{1}{[ab(a+b)(a+2b)(a+3b)(2a+3b)]^{2m}}$ [2].

$Z_{\mathfrak g}(2m)=c_{\mathfrak g,m}\pi^{2mN}$ with $c_{\mathfrak g,m}\in\mathbb Q_{>0}$, where $N$ is the number of positive roots. For $A_1,A_2,B_2,G_2$, the values of $N$ are $1,3,4,6$, respectively [1] [2].

$\displaystyle Z_{A_2}(2m)=\frac{4^{m+1}}{3}\sum_{\substack{0\leq i\leq2m\\i\;\mathrm{even}}}\binom{4m-i-1}{2m-1}\zeta(i)\zeta(6m-i)$, with $\zeta(0)=-1/2$ [1].

$\displaystyle Z_{A_1}(2)=\frac{\pi^2}{6},\quad Z_{A_2}(2)=\frac{4\pi^6}{2835},\quad Z_{B_2}(2)=\frac{\pi^8}{8400},\quad Z_{G_2}(2)=\frac{460\pi^{12}}{413756343}$ [1] [3] [2].

The trivial representation contributes once. Distinct irreducible representations of the same dimension contribute separately.

For compact groups, the convention is the simply connected form. In particular, $B_2=C_2$ denotes $\mathfrak{so}_5(\mathbb C)\simeq\mathfrak{sp}_4(\mathbb C)$, or $\operatorname{Spin}(5)\simeq\operatorname{Sp}(2)$, and occurs only once.

For $A_1=\mathfrak{sl}_2(\mathbb C)$, one irreducible representation has each positive integer dimension, so $Z_{A_1}(2m)$ is the Riemann zeta value $\zeta(2m)$. The compact forms of $A_1$ and $A_2$ are $SU(2)$ and $SU(3)$.

The positive integer variables $a,b$ in Formulas (2), (3) and (4) are shifted highest-weight coordinates. The corresponding representation dimensions are $ab(a+b)/2$, $ab(a+b)(a+2b)/6$ and $ab(a+b)(a+2b)(a+3b)(2a+3b)/120$ [1] [2]. For $G_2$, individual representation dimensions are also tabulated.

The root-system zeta functions of [2] omit the factors $2^{2m}$, $6^{2m}$ and $120^{2m}$ in the three rank-two sums. Those factors are included here, so the trivial representation contributes $1$ in every case.

The positive even special values occur in Witten volume formulas for moduli spaces of representations of surface fundamental groups [1] [2]. The entries are zeta values; a moduli-space volume also depends on its geometric normalization.

The types $A_1,A_2,B_2=C_2,G_2$ exhaust complex simple Lie algebras of rank at most two. The reducible rank-two system $A_1\times A_1$ is excluded [4].

Sage

# Install the numberdb client in SageMath once: sage -pip install numberdb
# Download this table's attached generate.py into the working directory.
# Run this code in SageMath from that directory.
from generate import WittenZeta
g = WittenZeta()
# Change algebra and m to request another positive even argument s = 2*m.
print(g.value({'algebra': 'G2', 'm': '5'}, 100))

J. Zhao, Witten volume formulas for semi-simple Lie algebras, preprint (2010), introduction, equation (1.1) and equation (2.1). (arXiv)

Y. Komori, K. Matsumoto and H. Tsumura, On Witten multiple zeta-functions associated with semisimple Lie algebras IV, Glasgow Mathematical Journal 53 (2011), 185-206, equations (1.2)-(1.4), (2.4), and Example 2.2. (arXiv) (doi)

J. Zhao, Alternating Euler sums and special values of Witten multiple zeta function attached to so(5), MPIM preprint 2009-42 (2009), Section 4, page 8. (arXiv)

MIT 18.745: Root systems, Lecture 21, Section 21.3

Values of the Riemann zeta function —   coincide with the $A_1$ values at the positive even arguments

Dimensions of exceptional Lie algebra representations —   provide individual dimensions that enter the $G_2$ representation sum

Entries are of type: real number

digits: 100 (Unknown key)

How well the digits are known: proven

Table is complete: no (it holds $A_1,A_2,B_2=C_2,G_2$ at every $m=1,2,3,4$, covering all simple complex Lie algebras of rank at most two up to isomorphism; the rank bound gives breadth across simply laced and non-simply-laced types, while the moment bound provides a low-order prefix of the even special-value family with independent exact examples for the harder rank-two types; both cutoffs are practical reference bounds)

How they were obtained:

Exact rational partial fractions of the Weyl-chamber lattice sum give the coefficient $c_{\mathfrak g,m}$ in Formula (5). Euler’s even-zeta formula is evaluated in exact rational arithmetic, and the final power of $\pi$ is enclosed with Arb ball arithmetic at 429 working bits. The smallest measured ball accuracy is 423 bits, exceeding the 100 significant digits written. The attached generate.py and derivation.md give the algorithm and its justification; numerical-evidence.json records the exact coefficients and enclosure checks.

more

All 16 coefficients agree exactly with independent formulas: the first four even-zeta values for $A_1$, equation (1.1) of [1] for $A_2$, the four examples in Section 4 of [3] for $B_2$, and Example 2.2 of [2] for $G_2$. Separate 600-bit evaluations check the stored decimal intervals. Positive representation sums over $1\leq a,b\leq256$, with explicit integral tail bounds, check all 12 rank-two values. Known-answer and perturbation controls precede these comparisons. The attached checks.py reproduces these checks.