arxiv: 2605.05677 · v1 · submitted 2026-05-07 · 🧮 math.CO · math.RT

Recognition: unknown

Root systems constructed by folding of the extended Dynkin diagrams

Ryo Uchiumi

Authors on Pith no claims yet

Pith reviewed 2026-05-08 08:25 UTC · model grok-4.3

classification 🧮 math.CO math.RT

keywords root systemsDynkin diagramsextended affine Weyl groupsdiagram foldingfinite root systemsautomorphisms

0 comments

The pith

Folding extended Dynkin diagrams along automorphisms from the extended affine Weyl group stabilizer yields finite root systems.

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

The paper establishes a construction of finite root systems obtained by folding the extended Dynkin diagram. The extended affine Weyl group acts on the fundamental alcove, and its stabilizer subgroup induces automorphisms of the extended Dynkin diagram. Folding the diagram according to the orbits under this subgroup action produces the desired finite root system. This links the geometry of affine Weyl groups directly to the combinatorics of finite root systems through diagram operations. Readers interested in root system classifications or diagram automorphisms may see new ways to generate examples from known affine data.

Core claim

The stabilizer subgroup of the extended affine Weyl group with respect to the fundamental alcove induces a subgroup of automorphisms of the extended Dynkin diagram, and folding the diagram by the elements of this subgroup constructs a finite root system.

What carries the argument

Folding the extended Dynkin diagram by the subgroup of automorphisms induced by the stabilizer of the fundamental alcove in the extended affine Weyl group.

If this is right

The construction applies uniformly to any irreducible extended Dynkin diagram once the stabilizer subgroup is identified.
The resulting finite root system inherits symmetry properties from the original affine structure via the induced automorphisms.
This gives an explicit map from subgroups of extended affine Weyl groups to finite root systems.
Different choices of stabilizer subgroups can produce distinct finite root systems from the same extended diagram.

Where Pith is reading between the lines

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

The method may recover all finite root systems of a given type by varying the choice of extended diagram and subgroup.
It could extend to other diagram automorphisms beyond those coming from affine Weyl stabilizers, such as outer automorphisms.
Computations of root multiplicities or Weyl group orders in the finite case might simplify using the affine starting point.

Load-bearing premise

The automorphisms coming from the stabilizer subgroup must produce a folded diagram whose associated vectors satisfy the axioms of a finite root system, including closure under the Weyl group reflections.

What would settle it

An explicit computation for a low-rank case, such as an extended A_n diagram, where the folded vectors fail to be closed under reflections or violate the required integer inner-product conditions.

read the original abstract

The extended affine Weyl group of a root system is the semidirect product of the corresponding Weyl group by its coweight lattice. The stabilizer subgroup of the extended affine Weyl group with respect to the corresponding fundamental alcove induces a subgroup of automorphisms of the extended Dynkin diagram. In this paper, we construct a finite root system by folding by the elements of the subgroup.

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

The paper constructs finite root systems by folding extended Dynkin diagrams using the stabilizer of the fundamental alcove in the extended affine Weyl group, but the key preservation properties are not clearly verified.

read the letter

The main point is that this paper takes the stabilizer subgroup of the extended affine Weyl group relative to the fundamental alcove and uses it to induce automorphisms on the extended Dynkin diagram, then folds along those to produce a finite root system. The setup begins with the standard semidirect product description of the extended affine Weyl group and moves directly to the folding step via the subgroup elements. This framing ties the folding to a concrete group-theoretic object rather than arbitrary diagram symmetries, which gives the construction a uniform flavor that could cover cases previously handled separately. The abstract states the steps plainly, and the full text appears to follow with definitions of the action and the resulting folded objects. That is the part that works: it supplies a specific, reproducible recipe inside the narrow setting of affine extensions and diagram automorphisms. The soft spot is the missing verification that the folded roots actually form a root system. The stress-test concern is on target here: the paper does not appear to show explicitly that the orbit map preserves the inner product on the root lattice up to scaling, that the folded Cartan matrix remains integer-valued, or that the reflections generated by the folded simple roots produce a finite group rather than an affine one. Without concrete examples that compute the output Cartan matrix for a known case and confirm it matches a standard finite root system, or without a short argument that the bilinear form descends correctly, the central claim stays at the level of a definition rather than a checked construction. There are no free parameters or invented entities, which is positive, but the absence of those checks is the main gap. This is a narrow technical note aimed at people already working on combinatorial aspects of affine Weyl groups and root system foldings. A reader who needs a new uniform description of certain finite systems might extract something useful, but the work will not reach outside that circle. I would send it to peer review so that experts can request the missing preservation arguments and examples; the construction is specific enough that a referee can evaluate it directly.

Referee Report

2 major / 1 minor

Summary. The manuscript claims that the stabilizer subgroup of the extended affine Weyl group (with respect to the fundamental alcove) induces a subgroup of automorphisms of the extended Dynkin diagram, and that folding the diagram along the orbits of this subgroup yields a finite root system.

Significance. If rigorously established, the construction would give a uniform way to produce finite root systems from affine data via diagram folding, potentially linking affine Weyl group stabilizers to classical finite reflection groups. The manuscript supplies no examples, no explicit Cartan matrices, and no verification that the output satisfies the axioms of a root system, so the significance cannot yet be assessed.

major comments (2)

[Abstract / Introduction] The central claim (abstract and introduction) that folding produces a finite root system rests on the unproven assertion that the orbit map preserves the root lattice inner product and that the resulting set is closed under the reflections generated by the folded simple roots. No derivation or check of these properties appears anywhere in the text.
[Construction section (no numbered equations or tables provided)] The manuscript does not verify that the folded Cartan matrix is integer-valued or that the Weyl group generated by the folded simple roots is finite rather than affine. These two properties are load-bearing for the claim that a finite root system is obtained.

minor comments (1)

[Abstract] The abstract and introduction use the phrase 'folding by the elements of the subgroup' without defining the precise orbit map or the induced action on the coroot lattice.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The points raised correctly identify places where the manuscript would benefit from additional explicit verifications and examples. We will revise the paper to supply these details while preserving the original construction.

read point-by-point responses

Referee: [Abstract / Introduction] The central claim (abstract and introduction) that folding produces a finite root system rests on the unproven assertion that the orbit map preserves the root lattice inner product and that the resulting set is closed under the reflections generated by the folded simple roots. No derivation or check of these properties appears anywhere in the text.

Authors: We agree that the current text states the construction without supplying the requested derivations. In the revised version we will add a short subsection immediately following the definition of the folding map. This subsection will prove that the orbit map preserves the inner product on the root lattice (by invariance of the form under the extended affine Weyl group action) and that the image set is closed under the reflections generated by the folded simple roots (by showing that each such reflection lifts to an element of the original Weyl group that stabilizes the orbit). revision: yes
Referee: [Construction section (no numbered equations or tables provided)] The manuscript does not verify that the folded Cartan matrix is integer-valued or that the Weyl group generated by the folded simple roots is finite rather than affine. These two properties are load-bearing for the claim that a finite root system is obtained.

Authors: The referee is right that these verifications are missing. We will insert explicit arguments: the folded Cartan matrix entries are integers because the automorphism induced by the stabilizer permutes the original simple roots and the Cartan integers are constant on orbits; the generated group is finite because it is isomorphic to the Weyl group of the finite root system obtained by the classical folding construction for the corresponding finite Dynkin diagram. We will also add a table of explicit folded Cartan matrices for the low-rank cases A_n, D_n and E_6 together with the corresponding finite root systems. revision: yes

Circularity Check

0 steps flagged

No circularity: direct construction from group action on diagrams

full rationale

The paper defines a finite root system explicitly as the image of the folding map induced by the stabilizer subgroup of the extended affine Weyl group acting on the extended Dynkin diagram. This is a definitional construction: the root system is taken to be the set of folded roots, with the claim that it satisfies the root system axioms following from the group action and diagram automorphisms. No step reduces a derived quantity back to a fitted parameter, self-citation, or renamed input; the abstract and description present the folding as the primary operation without invoking prior results by the same author as load-bearing uniqueness theorems. The derivation chain is therefore self-contained as a mathematical construction rather than a prediction or equivalence by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified from the provided information.

pith-pipeline@v0.9.0 · 5340 in / 906 out tokens · 67098 ms · 2026-05-08T08:25:20.541491+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Equivariant version of the characteristic quasi-polynomials of root systems
math.CO 2026-05 unverdicted novelty 6.0

Equivariant characteristic quasi-polynomials are defined and computed explicitly for all irreducible reduced root systems, refining ordinary versions and relating to Dynkin diagram folding.
Equivariant version of the characteristic quasi-polynomials of root systems
math.CO 2026-05 unverdicted novelty 6.0

Equivariant characteristic quasi-polynomials refine the standard ones via permutation characters on Coxeter arrangement complements, with explicit formulas computed for all irreducible reduced root systems.

Reference graph

Works this paper leans on

9 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

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
[2]

R. W. Carter, Lie algebras of finite and affine type, Cambridge studies in advanced mathematics, no. 96, Cambridge University Press, 2005

2005
[3]

Coelho, New perspectives on folding a ffine Lie algebras by Dynkin diagram automorphisms , 2025, Ph.D.thesis, Rutgers, The State University of New Jersey

T. Coelho, New perspectives on folding a ffine Lie algebras by Dynkin diagram automorphisms , 2025, Ph.D.thesis, Rutgers, The State University of New Jersey

2025
[4]

Felikson, P

A. Felikson, P. Tumarkin, and E. Yıldırım,Polytopal realizations of non-crystallographic associahedra, Algebraic Combinatorics 8 (2025), no. 1, 17–28

2025
[5]

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
[6]

S. P. Khastgir and R. Sasaki, Non-Canonical Folding of Dynkin Diagrams and Reduction of A ffine Toda Theories, Progress of Theoretical Physics 95 (1996), no. 3, 503–518

1996
[7]

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

1984
[8]

J. R. Stembridge, Folding by Automorphisms, Unpublished manuscript, 2008

2008
[9]

Zuber, Generalized Dynkin Diagrams and Root Systems and Their Folding , Topological Field Theory, Primitive Forms and Related Topics, Birkh¨auser Boston, 1998, pp

J.-B. Zuber, Generalized Dynkin Diagrams and Root Systems and Their Folding , Topological Field Theory, Primitive Forms and Related Topics, Birkh¨auser Boston, 1998, pp. 453–493. 31 Aℓ (ℓ ≥ 1) α1 α2 α3 αℓ−2 αℓ−1 αℓ 1 1 1 1 1 1 Bℓ (ℓ ≥ 2) α1 α2 α3 αℓ−2 αℓ−1 αℓ 1 2 2 2 2 2 > Cℓ (ℓ ≥ 3) α1 α2 α3 αℓ−2 αℓ−1 αℓ 2 2 2 2 2 1 < Dℓ (ℓ ≥ 4) α1 α2 α3 αℓ−2 αℓ−1 αℓ 1 2...

1998