Second-pole wall periods for Witten zeta functions in the classical families

Abstract: Let Phi be an irreducible reduced crystallographic root system of rank r, and let N be the number of positive coroots. A previous theorem (arXiv:2608.16363, Theorem 3.3) identifies the first pole below 2/h as q_2 = (r-1)/(N-1) and expresses its residue as a sum of periods attached to the simple walls of the dominant chamber. We evaluate that wall-period sum for all four classical families. The identity q_2 (N-1) = r-1 removes the radial variable from every wall integral. The resulting projective integrals reduce to mixed Dotsenko-Fateev chambers in type A_r, to those chambers together with a Selberg endpoint in types B_r and C_r, and to a single chamber family in type D_r. The chamber recurrences give explicit sine weights in types A, B, and C. In type D, a terminating basic-hypergeometric sum at a root of unity reduces to a finite cyclotomic product. We also show that the corresponding exceptional wall restrictions are not reflection arrangements, so this particular reduction does not extend directly to the exceptional types.

• The paper establishes a consistent methodology for computing residues at the second pole of the Witten zeta function
• Identified a unified radial-reduction theorem enabling wall-period summation for four classical root systems
• Types A, B, C, and D had divergent pole locations determined by unique Weyl-coroot counts

Overview

This paper evaluates the residue at the second pole of the Witten zeta function for all four classical families of irreducible reduced crystallographic root systems. The Witten zeta function $$\zeta_\Phi(s)=\sum_{\lambda\in P_+}(\dim V_\lambda)^{-s}$$ has abscissa of convergence $2/h$, where $h$ is the Coxeter number, and its leading residue admits a uniform Macdonald–Mehta–Opdam evaluation (Matuzas, 14 Jul 2026). A companion result, cited as Theorem 3.3 of (Matuzas, 17 Aug 2026), identifies the first distinct pole below the abscissa: it is simple, located at $q_2=(r-1)/(N-1)$, where $r$ is the rank and $N$ the number of positive coroots, with a residue given by a sum of "wall periods" attached to the simple walls of the dominant chamber. The present work computes that wall-period sum explicitly in types $A_r$, $B_r$, $C_r$, and $D_r$, reducing each family to classical Selberg-type integrals.

The paper's contribution is positioned carefully: no new Selberg evaluation or chamber recurrence is claimed; rather, the exact identification and normalization of the Witten wall periods in each family, and the resulting closed-form residues, constitute the new mathematics. The input consists of Selberg's integral, mixed Dotsenko–Fateev chambers and their recurrence, the $2/h$0 squaring substitution, Forrester–Rains connection formulas, and terminating $2/h$1-Chu–Vandermonde identities evaluated at roots of unity.

Homogeneity as the unifying mechanism

The technical core that makes a uniform treatment possible is a radial-reduction theorem: exactly one positive coroot (the defining simple coroot) vanishes on the relative interior of any simple wall, so the restricted product $2/h$2 has degree $2/h$3. At the second-pole location $2/h$4, the density $2/h$5 is homogeneous of degree $2/h$6, matching minus the wall dimension. Consequently every wall integral factors as $2/h$7 times a well-defined projective density on $2/h$8, independent of the choice of positive section. This single homogeneity identity underlies all four family computations; convergence itself is inherited from the earlier paper rather than reproved here.

The resulting pole locations differ sharply across families: $2/h$9 in type $h$0 ($h$1), $h$2 in types $h$3 and $h$4 ($h$5), and $h$6 in type $h$7 ($h$8). These values follow from the coroot counts in each family.

Type $h$9: sine weights over a gamma endpoint

In type $q_2=(r-1)/(N-1)$0, using cumulative coordinates, a simple wall fuses two adjacent points into one point of doubled incidence. Scaling by the fused coordinate converts the wall period to an unordered mixed Dotsenko–Fateev chamber with parameters $q_2=(r-1)/(N-1)$1 at $q_2=(r-1)/(N-1)$2. Convergence of the chamber is verified by a singular-degree estimate showing each collision block contributes degree below its dimension. The Dotsenko–Fateev recurrence then yields ratios between adjacent walls that telescope to explicit sine weights,

$q_2=(r-1)/(N-1)$3

with the endpoint value $q_2=(r-1)/(N-1)$4 a product of Gamma functions at rational arguments. The full wall sum evaluates to $q_2=(r-1)/(N-1)$5 times this endpoint, giving the residue

$q_2=(r-1)/(N-1)$6

At $q_2=(r-1)/(N-1)$7 the coefficient of the endpoint product is $q_2=(r-1)/(N-1)$8, which matches Au's independently published second residue (Au, 2024) — a nontrivial consistency check against prior computation.

Types $q_2=(r-1)/(N-1)$9 and $r$0: collision walls plus one Selberg boundary

Types $r$1 and $r$2 share $r$3, $r$4, and $r$5, hence the same pole location $r$6, but their short/long coroot scalars ($r$7, $r$8) differ, and the paper keeps the two wall geometries separate. In chamber coordinates the coroot product takes the form $r$9, giving $N$0 collision walls $N$1 and one coordinate wall $N$2.

On a collision wall, projectivization by the fused coordinate followed by $N$3 produces a mixed Dotsenko–Fateev chamber with parameters $N$4. Radial convergence holds since the governing exponent $N$5 is negative for all cluster sizes. On the coordinate wall the same substitution folds directly to a Selberg integral, yielding a distinct boundary period. The chamber recurrence telescopes to the same sine-weight law as in type $N$6, now with $N$7, and the complete wall sum is

$N$8

where both prefactors are exact quotients of Gamma products differing only through $N$9. Notably, the paper observes that the boundary-to-collision quotient is generally not cyclotomic — a contrast with types $A_r$0 and $A_r$1, where all ratio fields are real cyclotomic. This is a substantive structural claim about arithmetic behavior across families, not merely a computational remark.

Type $A_r$2: a finite cyclotomic product from a root-of-unity hypergeometric sum

Type $A_r$3 is the most intricate case and also the most striking result. There is no coordinate wall; the simple walls are chain collisions and the two fork walls, which share the same restricted product after deleting the vanishing coroot. Squaring gives one Dotsenko–Fateev chamber family with $A_r$4 (exactly the squaring Jacobian), $A_r$5, $A_r$6, and $A_r$7. By the diagram automorphism exchanging fork nodes, the two fork periods are equal and together contribute one copy of the $A_r$8 endpoint chamber.

The remaining task is summing the finite chain of chamber weights $A_r$9, $B_r$0. The specialized recurrence rewrites as a product of sines and cosines at $B_r$1 with $B_r$2. Rewriting these binomially produces a terminating $B_r$3 polynomial evaluated at powers of $B_r$4, a root of unity of order $B_r$5 or $B_r$6. Two terminating $B_r$7-Chu–Vandermonde evaluations supply boundary values at $B_r$8 and $B_r$9; a three-term $C_r$0-difference equation then determines $C_r$1 by linear elimination. Because the series terminates and $C_r$2, no denominator factor vanishes and no nonterminating convergence theorem is invoked at the root of unity — the argument remains entirely within finite algebra. The outcome is a clean cyclotomic factor:

$C_r$3

so the complete type-$C_r$4 wall sum is $C_r$5 with $C_r$6 a Selberg gamma product. That a terminating basic-hypergeometric sum at a root of unity collapses to a finite tangent product is the strongest closed-form statement in the paper.

Consistency checks and numerical agreement

The low-rank cases serve as normalization checks only: after projectivization a rank-two wall is a point, so no integral remains. Exact values recorded include the $C_r$7 common collision ratio $C_r$8, recovered independently by Gauss–Jacobi quadrature, and the $C_r$9 orbit-sum ratio $D_r$0. In type $D_r$1, triality forces the three outer walls to be equal, and the central-to-outer ratio lies in $D_r$2 with trigonometric expression $D_r$3 satisfying the quintic $D_r$4 (discriminant $D_r$5). Higher-rank numerical residues for $D_r$6 ($D_r$7) and $D_r$8 ($D_r$9) from the companion paper agree with the present normalizations to high precision. These checks corroborate the framework but, as the author concedes, do not exercise the higher-rank integral machinery itself.

Scope: why exceptional types resist this reduction

The reduction strategy does not extend directly to the exceptional families. Using the restriction theorem for Weyl arrangements (freeness with the largest exponent deleted), the paper computes the restricted exponent multisets on simple walls:

Type	Restricted exponents
$2/h$00	$2/h$01
$2/h$02	$2/h$03
$2/h$04	$2/h$05
$2/h$06	$2/h$07

None coincides with the exponent multiset of a real reflection arrangement of the same rank (each list contains exactly one exponent equal to 1, forcing irreducibility, and no irreducible reflection arrangement matches). Hence the classical reduction to ordinary Selberg/Dotsenko–Fateev chambers breaks down. The claim is deliberately narrow: it excludes only this particular reduction, not exact exceptional evaluation by other means — indeed the $2/h$08 wall sum was already evaluated via a two-orbit Dixon reduction in the companion paper, and its orbit ratio shows that a uniform cyclotomic field bound cannot hold across multiply-laced types.

Limitations and open questions

Three limitations are stated plainly. First, the rank-two formulas are normalization checks only; they do not test the projective-integral argument. Second, in type $2/h$09 the six-orbit Varchenko block has nullity 2, leaving four linear relations among six wall periods and a single undetermined ratio $2/h$10; direct quadrature gives eleven digits, $2/h$11, but membership in $2/h$12 is unresolved. Resolving it would require either an exact reduction or substantially higher-precision numerics. Third, in type $2/h$13 the product proves $2/h$14 is a cyclotomic $2/h$15-unit, and computed norms exhibit parity patterns at prime conductor, but the first composite case ($2/h$16, $2/h$17) already shows norm $2/h$18, and a conceptual formula for prime-ideal exponents at general composite $2/h$19 is open.

Conclusion

The paper completes the evaluation of the second-pole residue for Witten zeta functions across all classical root-system families, driven by a single homogeneity identity $2/h$20 that strips the radial variable from every wall integral. The reductions land on standard Selberg theory in types $2/h$21, $2/h$22, and $2/h$23, while type $2/h$24 requires a genuinely different device — a terminating basic-hypergeometric sum at a root of unity that collapses to a finite cyclotomic product. The residual open problems are concrete: the undetermined $2/h$25 period ratio and the arithmetic of composite-conductor norms in type $2/h$26.