REVIEW 3 major objections 3 minor 33 references
Vanishing of Witten zeta function at negative integers
T0 review · 3 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Witten zeta functions vanish to order at least rank at negative even integers
desk verdict Solid new vanishing theorem and a genuinely useful analytic method; the arithmetic leading-term theorem currently rests on a false induction lemma in the root-system combinatorics. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is an integral representation of the form $P_\Phi(s)\,\xi_\Phi(s) = ((2\pi i)^s/\Gamma(s))^r I_\Phi(s)$, where $I_\Phi(s)$ integrates products of Hurwitz zeta functions over the cube $[0,1]^{r-n}$ and $P_\Phi(s)$ is the Weyl group's Poincaré polynomial. An elementary lemma (Lemma 3.1) controls meromorphic continuation of simplex integrals of powers of linear forms: the pole order is at most the dimension $n$, and all poles lie at rational numbers. Applying this lemma to the triangulated Hurwitz-zeta integral bounds its pole order by $r-n$. On the arithmetic side, a triangulation of the cube whose vertices have denominators controlled by the levels of submatrices of the matrix $M_\Phi = ((\lambda_i, \alpha_j^\vee))$ reduces the leading coefficient to a finite sum of Hurwitz zeta products; a root-system-theoretic proposition identifies the resulting denominator set with $H(\Phi) \cup \{1\}$, the highest-root coefficients together with $1$.
What would settle it
For $\Phi = E_8$, exhaustively enumerate the levels of all invertible $8 \times 8$ submatrices of the $8 \times 16$ integral matrix $M_\Phi$; if any level lies outside $\{1,2,3,4,5,6\}$, then Proposition 7.7 is false and the set $T$ in Theorem 1.5 must be enlarged — alternatively, computing the actual order of vanishing of $\zeta_{E_8}(s)$ at $s=-2$ and finding it below $8$ would refute the rank bound of Theorem 1.2(a).
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the meromorphic behaviour of $\zeta_\Phi(s)$ at negative integers is controlled by a pole-counting comparison. When $s$ is a negative even integer, the prefactor $((2\pi i)^s/\Gamma(s))^r$ in the integral representation contributes a zero of order $r$, the number of positive roots, while the Hurwitz-zeta integral can have poles of order at most $r-n$, where $n$ is the rank; the quotient therefore vanishes to order at least $n$. The same comparison gives lower bounds at negative odd integers from the number of odd degrees of the Weyl group. For the leading coefficient, the paper shows that $\pi^{mr}\,\zeta_\Phi^{(n)}(-m)$ lies in the $\mathbb{Q}$-span of products of Hurwitz zeta values with parameters in $(0,1]$ whose denominators are elements of $H(\Phi)$, the set of coefficients of the highest root; for classical root systems this reduces to a polynomial in $\pi^2$ and odd Riemann zeta values.
Load-bearing premise
The proof depends on an unexpanded case check: for the exceptional root system $E_8$, only some of the eight subcases are shown explicitly, the rest being dismissed with 'checked exactly as before,' and a missed denominator outside $H(\Phi) \cup \{1\}$ would make the leading-coefficient theorem false.
Editorial extensions
If this is right
- The stated conjecture that $\zeta_G(-2)=0$ for every infinite compact group holds for all simply connected compact Lie groups, since the rank is at least $1$.
- Every negative even integer is a zero of $\zeta_\Phi$ of order at least the rank; for $A_n$, $D_n$ with odd $n \geq 5$, and $E_6$, the specified negative odd integers are also zeros.
- The leading coefficient of $\zeta_\Phi$ at a negative even integer $-m$, scaled by $\pi^{mr}$, is a $\mathbb{Q}$-linear combination of products of Hurwitz zeta values with second arguments from $H(\Phi)$.
- For the classical root systems $A_n$, $B_n$, $C_n$, $D_n$, the same coefficient is a polynomial in $\pi^2$ and the odd Riemann zeta values $\zeta(2j+1)$.
- The explicit formula for the $A_2$ leading coefficient is recovered as a special case, giving a conceptual proof of a result that previously stood alone.
Reading between the lines
- A likely extension of the method is to multivariable Witten zeta functions or twisted versions, wherever an integral representation with a gamma prefactor and a Hurwitz-zeta integrand exists; the same pole-counting should dictate vanishing orders.
- If Conjecture 1.3 (that the lower bounds on orders are exact) is true, Theorem 1.5 describes the actual first non-vanishing coefficient; if the orders are larger, the arithmetic description presumably applies to whatever coefficient is first non-zero, giving a family of invariants indexed by the discrepancy.
- The appearance of the highest-root coefficients as denominators may reflect a general pattern: for other families of representations, the denominator set of the leading coefficient could be governed by analogous lattice quotient exponents, a checkable hypothesis in explicit examples like minuscule weights.
- The only gap between the theorem as written and a fully verified statement is the $E_8$ case check in Proposition 7.7; a direct computer enumeration of the submatrix levels would settle it, and it is a short verification.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an analytic method for the Witten zeta function ζΦ(s) of a root system, based on an integral representation whose integrand is a product of Hurwitz zeta functions. The main analytic result, Theorem 1.2, gives a lower bound of rank on the order of vanishing at negative even integers, together with partial results at negative odd integers. The main arithmetic result, Theorem 1.5 (restated as Theorem 5.1 in the body), describes the leading Taylor coefficient at negative integers as a Q-linear combination of products of Hurwitz zeta values with parameters whose denominators divide elements of H(Φ), the coefficients of the highest root. The proof of Theorem 1.2 rests on an elementary pole-order lemma (Lemma 3.1) and on the factorization of the Poincaré polynomial of the Weyl group. The proof of Theorem 1.5 rests on a triangulation lemma (Lemma 7.3) and on a root-lattice exponent computation (Propositions 7.4 and 7.7).
Significance. If the arguments are completed, the paper would settle the Kurokawa–Ochiai conjecture in a strong form for Witten zeta functions of compact simply connected Lie groups and would give the first general arithmetic description of the leading coefficient at negative integers. The analytic lemma is elementary, self-contained, and potentially useful beyond this setting; the derivation of Onodera's A2 formula from the general method is a nice illustration. The paper is clearly written and honestly credits prior and independent work, including Onodera's unpublished results. However, the arithmetic theorem depends on a combinatorial root-system statement whose proof currently contains a load-bearing gap.
major comments (3)
- [Section 7.1, E8 step of Proposition 7.7] The isomorphism asserted in Eq. (7.4) is false in general. The quotient L(Φ)/SpanZ(S) is the cokernel of the block matrix M = [[A,0],[v,q]], and it is not generally isomorphic to Z/qZ ⊕ Z^{n-1}/AZ^{n-1}. For example, take n=2, A=[2], v=[1], q=2. Then M has Smith normal form diag(1,4), so the quotient is Z/4Z, whereas the claimed right-hand side is Z/2Z ⊕ Z/2Z; the exponent is 4, not lcm(q, level(A)) = 2. This is load-bearing: the induction bound E_i(Φ) = {LCM(q,e)} in Eq. (7.3) is not justified by the given argument. For E8, the cases i=7 and i=8 can produce exponents 9 and 8 respectively, both outside H(E8) = {2,3,4,5,6}, so Theorem 5.1 and hence Theorem 1.5 are not established as written.
- [Section 7, Lemma 7.3] The E8 verification in the proof of Proposition 7.7 is incomplete even apart from Lemma 7.10. The text gives details for i=4,5,7 and says 'One checks exactly as before' for the remaining cases. The dangerous cases i=7 (q=3, E(E6×A1) contains 3) and i=8 (q=2, E(E7) contains 4) are exactly the ones where the invalid splitting in Eq. (7.4) would matter. A correct proof of E(Φ)=H(Φ)∪{1} needs either a valid induction step or a direct computation of D(Φ) for the exceptional root systems; the current manuscript provides neither.
- [Section 7, Lemma 7.3] The proof of Lemma 7.3 contains an assertion that is not justified and is in fact false for some maximal triangulations. The text claims that in a maximal triangulation with vertices in P, all faces are of the form l_k(x) ∈ Z. This is not true: for B = [[1,0,1],[0,1,1]] and the triangulation of [0,1]^2 by the diagonal from (0,0) to (1,1), the diagonal edge is not contained in any hyperplane l_k ∈ Z, and the hyperplane l_3 = x+y = 1 meets the interior of one triangle without providing a new vertex in P for a refinement. The lemma may be true (for example, via the standard polyhedral subdivision by the hyperplanes l_i ∈ Z), but the supplied maximal-triangulation argument does not prove it. Since Lemma 7.3 is used to control the denominators in Proposition 7.4, this proof gap is load-bearing for Theorem 5.1 as well.
minor comments (3)
- [Section 1, paragraph after Theorem 1.2] There are corrupted characters in the manuscript, for example 'Leftr⫯g⊸tl⫯ne⇒' in the display after the definition of E(Φ); these should be fixed to normal implication arrows.
- [Section 7, Example 6.5] The sentence 'even in rank 2, it already yields deep conclusions' is followed by a display with several identities; it would help the reader if the variables n, m, and the coefficient extraction notation were defined immediately before the display rather than partly in the text afterward.
- [Throughout] In the B2 example, the triangulation is depicted but not explicitly derived from Lemma 7.3; a short comment on how the vertices with denominator 2 arise from D(B) would improve readability.
Circularity Check
No significant circularity: the integral-representation derivation and arithmetic leading-term description are self-contained; self-citations are motivational only.
full rationale
The derivation chain is self-contained. Proposition 2.2 builds the integral representation from the standard Hurwitz zeta Fourier expansion (Lemma 2.1) without importing the paper's conclusions. Lemma 3.1 is proved by an elementary induction on dimension with contour integrals; Corollary 3.2 and the zero/pole count in Theorem 1.2 use only this lemma and standard Weyl-group degree tables. For Theorem 1.5, Proposition 7.4 reduces the leading coefficient to the denominator set D(Φ) of the matrix M_Φ; the subsequent equalities D(Φ)=E(Φ∨) and E(Φ)=H(Φ)∪{1} are independent root-system statements (Proposition 7.6 and Proposition 7.7) proved by linear algebra and Dynkin-diagram induction, not by assuming the target arithmetic-span statement. The only self-citation, [3], is used to illustrate consequences ('in [3, Section 4], it was shown that vanishing ... are equivalent to ...') and is never a premise in any proof; no fitted parameter is renamed as a prediction and no uniqueness theorem is imported from the author's prior work. The abbreviated E8 check in Section 7.1 ('One checks exactly as before') and the asserted splitting in Lemma 7.10 are potential correctness or completeness issues, but they are not circularity.
Assumptions & free parameters
assumptions (6)
- domain assumption Weyl dimension formula for irreducible representations of a compact simply connected Lie group: dim(lambda) = prod_{alpha in Phi^+} (lambda+delta, alpha^v) / prod_{alpha in Phi^+} (delta, alpha^v).
- standard math Factorization of the Poincare polynomial of the Weyl group: P_Phi(s) = sum_{sigma in W} e^{i pi l(sigma) s} = prod_{k=1}^n (e^{i pi s d_k} - 1)/(e^{i pi s} - 1), where d_k are the degrees of W.
- standard math Hurwitz zeta function identities: zeta(1-s, a) = Gamma(s)/(2 pi i)^s F(s,a) for 0<a<1, and zeta(1-s, x) = zeta(1-s, 1+x) + x^{s-1}.
- standard math Barycentric subdivision triangulates an n-simplex into finitely many n-simplexes with the property that each face of the original simplex either contains the distinguished vertex of each piece or is disjoint from it.
- domain assumption Classification of irreducible root systems and tables of highest-root coefficients H(Phi) (e.g., Humphreys [16, Section 12]).
- standard math Every base of a sub-root system extends to a base of the ambient root system, and the Weyl group acts transitively on bases.
Cite this review
Pith. "Pith review of Vanishing of Witten zeta function at negative integers." pith.science (2026). https://pith.science/paper/P64TERKG
@misc{pith2026241211879,
author = {Pith},
title = {Pith review of: Vanishing of Witten zeta function at negative integers},
year = {2026},
howpublished = {\url{https://pith.science/paper/P64TERKG}},
note = {Machine review of arXiv:2412.11879}
}
abstract
We introduce a new analytic method for studying Witten zeta function of a root system $\Phi$, based on a refined manipulation of an integral representation involving the Hurwitz zeta function. As an application, we prove high-order vanishing at negative even integers. This technique also describes non-trivially, the arithmetic nature of the leading term, in which the highest root of $\Phi$ makes a surprising appearance.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[2]
Apostol.Introduction to analytic number theory
Tom M. Apostol.Introduction to analytic number theory. Springer Science & Business Media, 2013
work page 2013
-
[1]
Takashi Agoh and Karl Dilcher. Convolution identities and lacunary recurrences for Bernoulli numbers.Journal of Number Theory, 124(1):105–122, 2007
work page 2007
-
[3]
On single-variable Witten zeta functions of rank two and three.arXiv preprint arXiv:2412.17196, 2024
Kam Cheong Au. On single-variable Witten zeta functions of rank two and three.arXiv preprint arXiv:2412.17196, 2024
-
[4]
Joseph Bernshtein. Feasibility of the analytic continuationfλ + for certain polynomialsf.Functional Analysis and Its Applications, 2:85–87, 1968
work page 1968
-
[5]
Nicolas Bourbaki.Lie Groups and Lie Algebras. Chapters 4–6. Elements of Mathematics. Springer-Verlag, Berlin Heidelberg, 2002
work page 2002
-
[6]
WalterBridges, BenjaminBrindle, KathrinBringmann, andJohannFranke.Asymptoticexpansionsforpartitions generated by infinite products.Mathematische Annalen, pages 1–40, 2024
work page 2024
-
[7]
Polynomials associated to Lie algebras.arXiv preprint arXiv:2507.00326, 2025
Matías Bruna, Alex Capuñay, and Eduardo Friedman. Polynomials associated to Lie algebras.arXiv preprint arXiv:2507.00326, 2025
- [8]
Show all 33 references
-
[9]
Singularité de séries de Dirichlet associées à des polynômes de plusieurs variables et applications en théorie analytique des nombres
Driss Essouabri. Singularité de séries de Dirichlet associées à des polynômes de plusieurs variables et applications en théorie analytique des nombres. InAnnales de l’institut Fourier, volume 47, pages 429–483, 1997
1997
-
[10]
Values at non-positive integers of partially twisted mul- tiple zeta-functions ii.arXiv preprint arXiv:2506.20150, 2025
Driss Essouabri, Kohji Matsumoto, and Simon Rutard. Values at non-positive integers of partially twisted mul- tiple zeta-functions ii.arXiv preprint arXiv:2506.20150, 2025
2025 arXiv
-
[11]
Shintani–Barnes zeta and gamma functions.Advances in Mathemat- ics, 187(2):362–395, 2004
Eduardo Friedman and Simon Ruijsenaars. Shintani–Barnes zeta and gamma functions.Advances in Mathemat- ics, 187(2):362–395, 2004
2004
-
[12]
The representation zeta function of a FAb compactp-adic Lie group vanishes at−2.Bulletin of the London Mathematical Society, 46(2):239–244, 2014
Jon González-Sánchez, Andrei Jaikin-Zapirain, and Benjamin Klopsch. The representation zeta function of a FAb compactp-adic Lie group vanishes at−2.Bulletin of the London Mathematical Society, 46(2):239–244, 2014
2014
-
[13]
Cambridge University Press, 2002
Allen Hatcher.Algebraic Topology. Cambridge University Press, 2002
2002
-
[14]
Number 26
Haruzo Hida.Elementary theory of L-functions and Eisenstein series. Number 26. Cambridge University Press, 1993
1993
-
[15]
Number 29
James E Humphreys.Reflection groups and Coxeter groups. Number 29. Cambridge university press, 1992
1992
-
[16]
Springer Science & Business Media, 2012
James E Humphreys.Introduction to Lie algebras and representation theory, volume 9. Springer Science & Business Media, 2012
2012
-
[17]
B-functions and holonomic systems.Inventiones mathematicae, 38(1):33–53, 1976
Masaki Kashiwara. B-functions and holonomic systems.Inventiones mathematicae, 38(1):33–53, 1976
1976
-
[18]
American Mathematical Soc., 2003
Masaki Kashiwara.D-modules and microlocal calculus, volume 217. American Mathematical Soc., 2003
2003
-
[19]
On Witten multiple zeta-functions associated with semisimple Lie algebras II.Journal of the Mathematical Society of Japan, 62(2):355–394, 2010
Yasushi Komori, Kohji Matsumoto, and Hirofumi Tsumura. On Witten multiple zeta-functions associated with semisimple Lie algebras II.Journal of the Mathematical Society of Japan, 62(2):355–394, 2010
2010
-
[20]
On Witten multiple zeta-functions associated with semisimple Lie algebras III.Multiple Dirichlet series, L-functions and automorphic forms, pages 223–286, 2012
Yasushi Komori, Kohji Matsumoto, and Hirofumi Tsumura. On Witten multiple zeta-functions associated with semisimple Lie algebras III.Multiple Dirichlet series, L-functions and automorphic forms, pages 223–286, 2012
2012
-
[21]
On Witten multiple zeta-functions associated with semi-simple Lie algebras V.Glasgow Mathematical Journal, 57(1):107–130, 2015
Yasushi Komori, Kohji Matsumoto, and Hirofumi Tsumura. On Witten multiple zeta-functions associated with semi-simple Lie algebras V.Glasgow Mathematical Journal, 57(1):107–130, 2015
2015
-
[22]
Zeta-functions of root systems and Poincaré poly- nomials of Weyl groups.Tohoku Mathematical Journal, Second Series, 72(1):87–126, 2020
Yasushi Komori, Kohji Matsumoto, and Hirofumi Tsumura. Zeta-functions of root systems and Poincaré poly- nomials of Weyl groups.Tohoku Mathematical Journal, Second Series, 72(1):87–126, 2020. V ANISHING OF WITTEN ZETA FUNCTION AT NEGATIVE INTEGERS 27
2020
-
[23]
Springer, 2023
Yasushi Komori, Kohji Matsumoto, and Hirofumi Tsumura.The Theory of Zeta-functions of Root Systems. Springer, 2023
2023
-
[24]
Zeros of Witten zeta functions and absolute limit.Kodai Mathematical Journal, 36(3):440–454, 2013
Nobushige Kurokawa and Hiroyuki Ochiai. Zeros of Witten zeta functions and absolute limit.Kodai Mathematical Journal, 36(3):440–454, 2013
2013
-
[25]
On Witten multiple zeta-functions associated with semisimple Lie algebras I
Kohji Matsumoto and Hirofumi Tsumura. On Witten multiple zeta-functions associated with semisimple Lie algebras I. InAnnales de l’institut Fourier, volume 56, pages 1457–1504, 2006
2006
-
[26]
A functional relation for the Tornheim double zeta function.Acta Arithmetica, 125(3):257– 263, 2006
Takashi Nakamura. A functional relation for the Tornheim double zeta function.Acta Arithmetica, 125(3):257– 263, 2006
2006
-
[27]
A functional relation for Tornheim’s double zeta functions.Acta Arithmetica, 162(4):337–354, 2014
Kazuhiro Onodera. A functional relation for Tornheim’s double zeta functions.Acta Arithmetica, 162(4):337–354, 2014
2014
-
[28]
On multiple Hurwitz zeta function of Mordell–Tornheim type.International Journal of Number Theory, 17(10):2327–2360, 2021
Kazuhiro Onodera. On multiple Hurwitz zeta function of Mordell–Tornheim type.International Journal of Number Theory, 17(10):2327–2360, 2021
2021
-
[29]
On the number ofn-dimensional representations ofSU(3), the Bernoulli numbers, and the Witten zeta function.Acta Arithmetica, 180(2):111–159, 2017
Dan Romik. On the number ofn-dimensional representations ofSU(3), the Bernoulli numbers, and the Witten zeta function.Acta Arithmetica, 180(2):111–159, 2017
2017
-
[30]
Values and derivative values at nonpositive integers of generalized multiple Hurwitz zeta functions, applications to Witten zeta functions.arXiv preprint arXiv:2312.04725, 2023
Simon Rutard. Values and derivative values at nonpositive integers of generalized multiple Hurwitz zeta functions, applications to Witten zeta functions.arXiv preprint arXiv:2312.04725, 2023
2023 arXiv
-
[31]
T. A. Springer and R. Steinberg.Conjugacy classes, pages 167–266. Springer Berlin Heidelberg, Berlin, Heidel- berg, 1970
1970
-
[32]
On quantum gauge theories in two dimensions.Communications in Mathematical Physics, 141(1):153–209, 1991
Edward Witten. On quantum gauge theories in two dimensions.Communications in Mathematical Physics, 141(1):153–209, 1991
1991
-
[33]
University of Cologne, Department of Mathematics and Computer Science, Weyertal 86-90, 50931 Cologne, Germany Email address:kau1@smail.uni-koeln.de
DonZagier.Valuesofzetafunctionsandtheirapplications.InFirst European Congress of Mathematics, volume2, 1994. University of Cologne, Department of Mathematics and Computer Science, Weyertal 86-90, 50931 Cologne, Germany Email address:kau1@smail.uni-koeln.de
1994
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.