The second pole of Witten zeta functions and exact evaluations in types F4 and D5

Abstract: Let Phi be an irreducible reduced crystallographic root system of rank r at least 2, let N = |Phi^+| be the number of positive roots, and let h be its Coxeter number. For the normalized Witten zeta function xi_Phi, we determine the first distinct pole below the leading pole 2/h. It is located at q_2(Phi) = (r-1)/(N-1) = 2(r-1)/(rh-2), is simple, and receives contributions precisely from the codimension-one faces of the dominant chamber. Its residue is zeta_R(q_2)/(N-1) times the sum of the corresponding wall periods, where zeta_R denotes the Riemann zeta function. These periods are finite and positive, so the residue is strictly negative. We also prove a Stokes relation for projective hyperplane-arrangement periods. Let A be an essential central real arrangement in R^n with weights lambda_H strictly between 0 and 1. Suppose that the sum of lambda_H over all H in A equals n, and that for every nonzero proper intersection flat X the sum of lambda_H over those H containing X is strictly less than the codimension of X. Then the vector of positive chamber periods lies in the kernel of the Varchenko matrix with weights exp(pi i lambda_H). Applying this relation, we evaluate the relevant wall periods in types F4 and D5. A two-orbit reduction and Dixon's 3F2(1) summation give a gamma-product evaluation in type F4, while a four-orbit reduction and Selberg's integral give a gamma-product evaluation of the complete wall sum in type D5. Consequently, we obtain exact formulas for the normalized and ordinary Witten zeta residues at 3/23 and 4/19.

• The paper proves that every irreducible crystallographic root system of rank at least two has a simple second pole at q₂=(r−1)/(N−1), arising exclusively from codimension-one walls with a strictly negative residue.
• It develops a Stokes-type identity identifying positive chamber periods as a null vector of the Varchenko matrix, enabling symmetry-based evaluation of otherwise difficult hyperplane-arrangement integrals.
• It derives exact gamma-product residue formulas for F₄ at s=3/23 and D₅ at s=4/19, supported by exact combinatorial calculations and high-precision numerical checks, while leaving analogous E₆–E₈ evaluations open.

Overview and main result

This paper determines the first distinct pole of the Witten zeta function $\xi_\Phi(s)=\sum_{m\in\mathbb N^r}P_\Phi(m)^{-s}$ below the abscissa of convergence $2/h$, uniformly for every irreducible reduced crystallographic root system of rank $r\ge2$. The central claim is that the second pole occurs at

$q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$

where $N=|\Phi^+|$, that it is simple, and that its residue is an explicit finite sum of wall periods multiplied by $\zeta_{\mathrm R}(q_2)$:

$$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$

The negativity is structural: each wall period is a positive integral, while the eta-function representation shows $\zeta_{\mathrm R}(q)<0$ on $(0,1)$, so no cancellation is possible. This gives a complete qualitative description of the next-to-leading singularity of representation zeta functions in every type, complementing the leading-pole theory at $s=2/h$.

The paper's second contribution is methodological. The author proves a Stokes-type identity stating that, under a critical homogeneity condition $2/h$0 together with strict flat-integrability inequalities, the vector of positive projective chamber periods of a weighted hyperplane arrangement is a null vector of the associated Varchenko matrix $2/h$1. Applied in types $2/h$2 and $2/h$3, this relation transfers one explicitly evaluable chamber period across symmetry orbits and produces closed gamma-product formulas for the residues at $2/h$4 and $2/h$5 respectively.

Normalization and candidate poles

Working with the coroot system $2/h$6 and Weyl's dimension formula, the normalized function $2/h$7 sums over $2/h$8 with weight polynomial $2/h$9. A multivariable Mellin--Barnes argument assigns to each proper support $r\ge2$0 the candidate value $r\ge2$1, where $r\ge2$2 counts positive coroots meeting $r\ge2$3, with shifted candidates $r\ge2$4. The residue contribution of a regular unshifted face factors as a simplex period times a complementary root-system zeta function, and a higher-order diagonal pole can arise only from a strict chain of nested incident supports. Full-support shifted candidates are shown not to occur.

The universal theorem via parabolic density

The proof rests on a single strict inequality: for any proper standard parabolic subsystem of rank $r\ge2$5 with $r\ge2$6 positive roots,

$r\ge2$7

This "strict parabolic density" lemma is proved by convexity for the classical families and by direct substitution from a table of maximal parabolic root counts for the exceptional types; duality exchanges only $r\ge2$8 and $r\ge2$9. Its consequences are twofold:

1. Location: maximizing $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$0 over supports forces $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$1, so exactly the codimension-one walls (complements of single simple nodes) carry the second pole.
2. Convergence: the same strict inequality is precisely the integrability condition $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$2 at every boundary stratum of the wall simplex under iterated real blow-up, so each wall period $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$3 is finite and positive.

Since the maximizing supports are pairwise incomparable and the gap $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$4 precludes collision with the leading pole, no flag raises the order: the pole is exactly simple. Specializing the formula gives, e.g., $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$5 for $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$6, $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$7 for $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$8, $q_2(\Phi)=\frac{r-1}{N-1}=\frac{2(r-1)}{rh-2},$9 for $N=|\Phi^+|$0, $N=|\Phi^+|$1 for $N=|\Phi^+|$2, and $N=|\Phi^+|$3 for $N=|\Phi^+|$4.

A notable subtlety is emphasized: the abstract weighted arrangement does not determine $N=|\Phi^+|$5; the marking (positive chamber, primitive lattice scalars, affine section, measure) matters. An explicit $N=|\Phi^+|$6 computation exhibits two linearly equivalent arrangements whose marked periods differ by the factor $N=|\Phi^+|$7. Geometrically, the wall periods admit spherical forms involving the restricted Weyl Jacobian $N=|\Phi^+|$8 and determinant bridges $N=|\Phi^+|$9 between simple-coroot coordinates and Euclidean Cartan coordinates, and the wall sum tiles over Weyl orbits as $\zeta_{\mathrm R}(q_2)$0, where $\zeta_{\mathrm R}(q_2)$1 is the stabilizer of the coroot.

The Stokes relation and the Varchenko kernel

The key analytic tool is the following. Let $\zeta_{\mathrm R}(q_2)$2 be an essential central real arrangement in $\zeta_{\mathrm R}(q_2)$3 with weights $\zeta_{\mathrm R}(q_2)$4 satisfying the critical balance $\zeta_{\mathrm R}(q_2)$5 and the strict inequalities $\zeta_{\mathrm R}(q_2)$6 on every nonzero flat. Then every projective chamber period $\zeta_{\mathrm R}(q_2)$7 converges, and

$\zeta_{\mathrm R}(q_2)$8

where $\zeta_{\mathrm R}(q_2)$9 is the Varchenko matrix recording separating-hyperplane products. The proof closes a translated complex ball $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$0 avoiding all hyperplanes, applies Stokes to the closed form $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$1 (closed because the Lie derivative vanishes under the balance condition), passes $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$2 via dominated convergence — integrability following from the wonderful-model blow-up analysis — and computes boundary phases chamber by chamber; antipodal chambers convert inverse-weight relations into the stated kernel identity. Relative to Varchenko's determinant formula and Falk--Varchenko's projective contravariant form, the specific new identification is that the vector of positive real chamber periods itself is an explicit null vector at the critical parameter.

Exact evaluations in types F4 and D5

Type $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$3. The rank-three restriction has two chamber orbits ($$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$4 chambers total, characteristic polynomial $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$5), interchanged by an exact linear change of variables carrying an orbit-duality factor $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$6. One orbit reduces, after beta integration, to a well-poised $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$7 summed by Dixon's theorem. The two-orbit block of the Varchenko matrix reduces modulo $$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$8 to a one-dimensional invariant kernel with transfer ratio

$$\operatorname*{Res}_{s=q_2}\xi_\Phi(s)=\frac{\zeta_{\mathrm R}(q_2)}{N-1}\sum_{i=1}^{r}\mathcal P_i(q_2)<0.$$9

a degree-$\zeta_{\mathrm R}(q)<0$0 cyclotomic integer verified by exact polynomial remainders. Combining Dixon's evaluation with the orbit transfer yields a pure gamma product

$\zeta_{\mathrm R}(q)<0$1

where $\zeta_{\mathrm R}(q)<0$2 is the full period and $\zeta_{\mathrm R}(q)<0$3 is an explicit quotient of ten Gamma values at rational arguments with denominator $\zeta_{\mathrm R}(q)<0$4, and consequently

$\zeta_{\mathrm R}(q)<0$5

numerically $\zeta_{\mathrm R}(q)<0$6. Independent tanh--sinh quadrature agrees with the closed form at relative error below $\zeta_{\mathrm R}(q)<0$7; these decimals are checks only, not part of the proof. The computed wall sum $\zeta_{\mathrm R}(q)<0$8 confirms the positivity demanded by the universal residue theorem.

Type $\zeta_{\mathrm R}(q)<0$9. On the node-one wall, the restricted degree-$(0,1)$0 multiarrangement has $(0,1)$1 chambers in four orbits of sizes $(0,1)$2, classified by the rank of $(0,1)$3 among the four absolute coordinate values. One chamber evaluates exactly via Selberg's three-variable integral $(0,1)$4 after a substitution that cancels all powers of $(0,1)$5 because $(0,1)$6. A four-by-four orbit row-sum block has determinant divisible by $(0,1)$7 exactly once with nonzero principal minor, giving the one-dimensional kernel vector $(0,1)$8 with $(0,1)$9; the transfer coefficients also admit clean sine quotients such as $s=2/h$0. The complete wall sum becomes

$s=2/h$1

equivalently a pure gamma product, yielding $s=2/h$2, again confirmed by high-precision quadrature.

For reducible semisimple systems, the paper establishes the valuation rule $s=2/h$3 and argues that no formula depending only on total rank and root count can describe second poles of arbitrary products, since zeros may cancel poles away from the rightmost singularity.

Scope, verification status, and open questions

The author is careful about claims. The novelty assertion regarding the Stokes null-vector relation is limited to what a targeted literature audit could establish, and the statement that no prior uniform theorem or $s=2/h$4/$s=2/h$5 evaluations were found is explicitly described as a report of a search rather than a priority claim. The paper does not provide gamma-product formulas for general wall periods beyond these cases, makes no transcendence or algebraic-independence assertions, and notes that a full Riemannian orbit-volume formulation might carry an additional reference-orbit volume constant. Rank-two results are included strictly as normalization checks against Au's published formulas; Au's independent $s=2/h$6 second residue is recorded as prior art rather than used as confirmation. All combinatorial input — root counts, intersection lattices, chamber decompositions, cyclotomic kernel reductions, gamma identities — is certified by exact finite calculations reproduced in appendices and accompanying scripts, with floating point confined to numerical checks.

Two questions are left open: the evaluation of the corresponding wall sums in types $s=2/h$7, $s=2/h$8, and $s=2/h$9, where the restrictions have more chamber orbits; and the classification of those weighted restrictions admitting a chamber-orbit relation strong enough to reduce all periods to classical beta, Dixon, or Selberg integrals.

Conclusion

The paper establishes that the first distinct subleading pole of every irreducible Witten zeta function lies at $2/h$00, is simple, is carried exclusively by the simple-root walls, and carries a strictly negative, explicitly representable residue. Its proof reduces a global analytic question to a strict comparison of parabolic root densities, and the accompanying Stokes/Varchenko relation converts symmetry-reduced chamber data into exact gamma-product evaluations in types $2/h$01 and $2/h$02. The combination supplies both a uniform qualitative theorem and the first closed higher-rank residue formulas of this kind, while leaving the exceptional $2/h$03-types and the general applicability of the orbit-transfer method unresolved.