arxiv: 2605.05695 · v2 · submitted 2026-05-07 · 🧮 math.CO · math.RT

Recognition: 2 theorem links

· Lean Theorem

Equivariant version of the characteristic quasi-polynomials of root systems

Ryo Uchiumi

Authors on Pith no claims yet

Pith reviewed 2026-05-11 00:43 UTC · model grok-4.3

classification 🧮 math.CO math.RT

keywords equivariant characteristic quasi-polynomialsroot systemsCoxeter arrangementspermutation charactersquasi-polynomialsDynkin diagramsfoldingWeyl groups

0 comments

The pith

Equivariant characteristic quasi-polynomials refine the standard versions for root systems by recording the action of the Weyl group on arrangement complements modulo q.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines an equivariant characteristic quasi-polynomial as the permutation character on the complement of the Coxeter arrangement taken modulo q. This object refines earlier characteristic quasi-polynomials by incorporating the group action explicitly. The author proves that several known properties of the ordinary versions lift to this equivariant setting and then computes the new quasi-polynomials explicitly for every irreducible reduced root system. A further discussion links the results to root systems obtained by folding extended Dynkin diagrams. Readers interested in hyperplane arrangements or representation theory of finite groups would see the refinement as a way to keep track of symmetry while counting points over finite fields.

Core claim

The equivariant characteristic quasi-polynomial is defined as the permutation character on the mod q complement of the corresponding Coxeter arrangement; this definition yields refinements of several properties previously known for ordinary characteristic quasi-polynomials, admits explicit formulas for all irreducible reduced root systems, and stands in a natural relation to root systems arising from folding of extended Dynkin diagrams.

What carries the argument

The equivariant characteristic quasi-polynomial, defined as the permutation character of the Weyl group acting on the complement of the Coxeter arrangement modulo q.

If this is right

Known identities and formulas for ordinary characteristic quasi-polynomials lift to equivariant versions that record the full Weyl-group action.
Explicit tables or formulas exist for every irreducible reduced root system.
The values are compatible with root systems produced by folding extended Dynkin diagrams.
The quasi-polynomial encodes the number of points in the complement fixed by each group element.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same construction could be applied to non-Coxeter arrangements that still admit a finite group action, potentially giving new invariants.
Comparing the equivariant quasi-polynomials across different root systems might reveal representation-theoretic patterns not visible in the ordinary counts.
The folding correspondence suggests a way to relate computations for non-simply-laced systems to those of simply-laced ones via diagram automorphisms.

Load-bearing premise

The definition of the equivariant characteristic quasi-polynomial via the permutation character on the mod q complement is well-defined and carries over the claimed refinements of the ordinary properties.

What would settle it

An explicit mismatch between the computed equivariant quasi-polynomial and the ordinary characteristic quasi-polynomial for one of the irreducible root systems, such as type E8 or F4, would show the refinement fails.

read the original abstract

An equivariant characteristic quasi-polynomial is a quasi-polynomial in $q$ consisting of the permutation character on the mod $q$ complement of the corresponding Coxeter arrangement. This concept is a refinement of the conventional characteristic quasi-polynomials of root systems. In this paper, we will show equivariant-theoretic refinements of the some properties of characteristic quasi-polynomials of root systems. Furthermore, we will explicitly compute equivariant characteristic quasi-polynomials of all irreducible reduced root systems and discuss the relationship with root systems constructed by the folding of the extended Dynkin diagrams.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives explicit equivariant characteristic quasi-polynomials for all irreducible reduced root systems via permutation characters on arrangement complements, plus some property refinements and folding checks, but the advance is mainly computational data.

read the letter

The one thing to know is that Uchiumi has worked out the full set of explicit formulas for the equivariant versions of these quasi-polynomials across every irreducible reduced root system and connected them to the folding of extended Dynkin diagrams. The definition takes the permutation character of the Weyl group action on the complement of the Coxeter arrangement over F_q, which is a direct lift of the usual setup in arrangement theory. From there the paper shows that several standard properties carry over to the equivariant setting and then computes the actual quasi-polynomials case by case for types A through the exceptions. The folding discussion checks consistency with diagram automorphisms, which is a reasonable sanity test. The computations are finite and rest on counting orbits or fixed points, so they are in principle reproducible without hidden parameters or circular steps. That is the concrete contribution: usable tables and formulas rather than a new general theorem. The soft spots are proportionate. The refinements apply only to some properties, so the theoretical lift is limited and does not reorganize the subject or answer long-standing questions. The work stays firmly in the case-by-case lane, which is acceptable in this area but means the paper functions more as a data reference than a structural advance. No internal contradictions appear in the construction, and the method is standard enough that errors would be arithmetic rather than conceptual. This paper is for specialists in reflection groups, hyperplane arrangements, or algebraic combinatorics who need the equivariant data or want to see how the quasi-polynomials behave under group actions. A reader hunting for broad new theorems will find little, but someone who can use the explicit values or the folding relations will get direct value. It deserves a serious referee because the claims are verifiable, the computations are complete for the classification, and the literature benefits from having these formulas recorded. I would send it to peer review.

Referee Report

0 major / 4 minor

Summary. The paper defines an equivariant characteristic quasi-polynomial for a root system as the permutation character of the Weyl group action on the complement of the associated Coxeter arrangement over the finite field F_q. It establishes equivariant refinements of several known properties of the ordinary characteristic quasi-polynomials, supplies explicit formulas for all irreducible reduced root systems, and examines the behavior under folding of extended Dynkin diagrams.

Significance. If the claimed refinements and explicit formulas are correct, the work supplies a finer invariant that records the full Weyl-group representation on the complement rather than merely its dimension. The complete list of formulas for all irreducible types is a concrete, verifiable contribution that can be used for further computations in arrangement theory and representation theory. The folding discussion links the construction to a standard operation on Dynkin diagrams and may clarify how equivariant data behaves under diagram automorphisms.

minor comments (4)

The definition of the equivariant quasi-polynomial (presumably in §2) should include an explicit statement that the action is free on the complement for q larger than the Coxeter number, to make the permutation-character interpretation immediate.
In the explicit formulas for the exceptional types (E6, E7, E8, F4, G2), the quasi-polynomials are given as lists of coefficients; adding a short table comparing the constant term with the ordinary characteristic quasi-polynomial would make the refinement visible at a glance.
The discussion of folding (§4 or §5) refers to “the corresponding folded root system” without a precise reference to the source of the folded diagram; a single sentence citing the standard construction (e.g., via the automorphism of the extended Dynkin diagram) would remove ambiguity.
A few typographical inconsistencies appear in the notation for the Weyl group (sometimes W, sometimes W(Φ)); uniform use of W_Φ would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No specific major (or minor) comments appear in the report, so we have no individual points requiring point-by-point rebuttal or clarification. We will prepare a revised manuscript addressing any typographical or presentational issues that may be identified during copy-editing.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper opens by defining the equivariant characteristic quasi-polynomial directly as the permutation character of the Weyl-group action on the complement of the Coxeter arrangement over F_q. All subsequent claims—refinements of known properties and explicit formulas for every irreducible reduced root system—are presented as consequences of this definition together with finite, in-principle-verifiable computations on the root systems themselves. No equation is shown to reduce to a fitted parameter renamed as a prediction, no uniqueness theorem is imported from the same author’s prior work, and no ansatz is smuggled via self-citation. The construction is therefore independent of the results it derives.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard theory of root systems, Coxeter arrangements, and quasi-polynomials; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

standard math Standard properties of finite root systems, Weyl groups, and their associated Coxeter hyperplane arrangements
The definition and refinements presuppose the usual combinatorial and representation-theoretic facts about these objects.

pith-pipeline@v0.9.0 · 5381 in / 1267 out tokens · 51351 ms · 2026-05-11T00:43:47.656203+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

An equivariant characteristic quasi-polynomial is a quasi-polynomial in q consisting of the permutation character on the mod q complement of the corresponding Coxeter arrangement.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.7: χΦ,q = (−1)ℓ · δ · χΦ,h−q with δ(w) = (−1)ℓ−r(w)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 4 canonical work pages · 1 internal anchor

[1]

C. A. Athanasiadis, Characteristic Polynomials of Subspace Arrangements and Finite Fields, Advances in Mathematics 122 (1996), no. 2, 193–233

1996
[2]

3, 294–302

, Generalized Catalan Numbers, Weyl Groups and Arrangements of Hyperplanes, Bulletin of the London Mathematical Society 36 (2004), no. 3, 294–302

2004
[3]

Bourbaki, Lie Groups and Lie Algebras: Chapters 4-6, Springer-Verlag, BerlinHeidelberg-New York, 2002

N. Bourbaki, Lie Groups and Lie Algebras: Chapters 4-6, Springer-Verlag, BerlinHeidelberg-New York, 2002

2002
[4]

Garnier, Fundamental polytope for the Weyl group acting on a maximal torus of a compact Lie group, (2024), arXiv:2409.16483 [math]

A. Garnier, Fundamental polytope for the Weyl group acting on a maximal torus of a compact Lie group, (2024), arXiv:2409.16483 [math]

work page arXiv 2024
[5]

Higashitani, T

A. Higashitani, T. N. Tran, and M. Yoshinaga, Period Collapse in Characteristic Quasi-Polynomials of Hyperplane Arrangements, Inter- national Mathematics Research Notices 2023 (2023), no. 10, 8934–8963

2023
[6]

J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge University Press, 1990

1990
[7]

Kamiya, A

H. Kamiya, A. Takemura, and H. Terao, The characteristic quasi-polynomials of the arrangements of root systems and mid-hyperplane arrangements, (2007), arXiv:0707.1381v1 [math]

work page arXiv 2007
[8]

3, 317–330

, Periodicity of hyperplane arrangements with integral coe fficients modulo positive integers, Journal of Algebraic Combinatorics 27 (2008), no. 3, 317–330

2008
[9]

, Periodicity of Non-Central Integral Arrangements Modulo Positive Integers, Annals of Combinatorics 15 (2011), 449–464

2011
[10]

Komrakov and A.A

B.P. Komrakov and A.A. Premet, The fundamental domain of an extended a ffine Weyl group (in Russian), Vesci Akad. navuk BSSR, Ser. fiz.-mat. navuk (1984), no. 3, 18–22. 28 RYO UCHIUMI

1984
[11]

Orlik, L

P. Orlik, L. Solomon, and H. Terao, On coxeter arrangements and the coxeter number , Advanced studies in pure mathematics 8 (1987), 461–477

1987
[12]

Stapledon, Equivariant Ehrhart theory, Advances in Mathematics 226 (2011), no

A. Stapledon, Equivariant Ehrhart theory, Advances in Mathematics 226 (2011), no. 4, 3622–3654

2011
[13]

Suter, The Number of lattice Points in Alcoves and the Exponents of the Finite Weyl Groups , Mathematics of Computation 67 (1998), no

R. Suter, The Number of lattice Points in Alcoves and the Exponents of the Finite Weyl Groups , Mathematics of Computation 67 (1998), no. 222, 751–758

1998
[14]

Uchiumi, The characteristic quasi-polynomials of hyperplane arrangements with actions of finite groups , (2025), arXiv:2508.10236 [math]

R. Uchiumi, The characteristic quasi-polynomials of hyperplane arrangements with actions of finite groups , (2025), arXiv:2508.10236 [math]

work page arXiv 2025
[15]

, Root systems constructed by folding of the extended Dynkin diagrams, (2026), arXiv:2605.05677 [math]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[16]

Yoshinaga, Worpitzky partitions for root systems and characteristic quasi-polynomials , Tohoku Mathematical Journal (2018), no

M. Yoshinaga, Worpitzky partitions for root systems and characteristic quasi-polynomials , Tohoku Mathematical Journal (2018), no. 1, 39–63

2018