2026/07/21 by Jonas Matuzas
Mathematics · #math.RT #math.NT
Let Φ be an irreducible crystallographic root system, and let ZΦ(s) denote the untwisted Komori-Matsumoto-Tsumura zeta function with one exponent for each positive coroot. For a nonempty set S of simple nodes, let HS,ℓ be the hyperplane on which the exponents of the roots meeting S sum to |S|-ℓ. We prove that every proper-support hyperplane HS,ℓ is a genuine polar divisor at a generic point, whereas exact homogeneity leaves only the unshifted full-support divisor. The residue on HS,ℓ is expressed as a finite Taylor-jet sum of reduced projective periods and polynomially weighted complementary root-system zeta functions. On the maximal support wonderful model, boundary terms are indexed by strict decorated flags. We derive recursive flag residues, component-mass gamma factors, and an incidence-complete formula for the Laurent coefficients on any transverse affine slice. In particular, the pole order is determined by the first nonzero aggregate coefficient, not by the largest order of an individual flag. The general formulas recover the classical A2 and A3 singular data, Zhao's Euler-Zagier residues, and the rank-two C2 and G2 residue functions. For B3 and C3 we derive the carrier geometry and the lower-rank factorizations of the positive residues, identify the three-term cancellation at s=1/8, and show that negative half-integers are the only possible locations of double poles. The known B3 double coefficient at -1/2 is recovered in the flag normalization.