Affine Coxeter Systems Overview

• Affine Coxeter systems are infinite reflection groups defined by generators subject to specific relations and characterized by affine Cartan matrices and Dynkin diagrams.
• They comprise distinct real and imaginary root systems, where the geometry of lattices and tilings is crucial for classification and combinatorial analysis.
• Their structure underpins applications in tessellations, cluster algebras, and affine Deligne–Lusztig varieties, linking algebra, geometry, and mathematical physics.

Affine Coxeter systems are infinite reflection groups that generalize finite Coxeter systems, typically arising from the tesselation of Euclidean spaces or as Weyl groups of affine Kac–Moody algebras. They form a central class of objects in the theory of reflection groups, representation theory, mathematical physics, and the geometry of lattices and tilings.

1. Fundamental Structure of Affine Coxeter Systems

Affine Coxeter systems are defined by a pair $(W,S)$, where $W$ is a group generated by involutive elements $S=\{s_0,s_1,\dots,s_n\}$ subject to relations of the form $(s_i s_j)^{m_{ij}}=1$ with $m_{ii}=1$, $m_{ij}=m_{ji}\geq2$, and the Coxeter matrix $M=(m_{ij})$ determined by the Dynkin diagram. The system is called affine if the associated root system lives in an $n$-dimensional real vector space $V$ with a symmetric bilinear form having signature $(n,1)$, i.e., it is positive semi-definite of corank 1 (Felikson et al., 2013).

The classical irreducible affine Coxeter diagrams are:

• $\widetilde{A}_n$: cycle graph, order $n+1$
• $\widetilde{B}_n, \widetilde{C}_n, \widetilde{D}_n$: extensions attached by extra nodes to the finite types
• $$\widetilde{E}_6, \widetilde{E}_7, \widetilde{E}_8, \widetilde{F}_4, \widetilde{G}_2$$: unique extensions

The generators act as affine reflections $s_i(v) = v - 2B(v, \alpha_i)\alpha_i$, where the $\alpha_i$ are the simple roots and $B$ is the corresponding bilinear form (Fu et al., 2019). The system's root structure decomposes into real roots (those in the span orthogonal to the null root $\delta$) and imaginary roots (integer multiples of $\delta$, the unique nontrivial kernel vector of the bilinear form).

2. Root Systems, Cartan Matrices, and Dynkin Diagrams

Each affine Coxeter system is parametrized by an affine Cartan matrix $C = (C_{ij})$ of size $n+1$ satisfying:

• $C_{ii} = 2$
• $C_{ij} \leq 0$ for $i \neq j$
• $\det C = 0$ but every proper principal minor is positive

The corresponding Dynkin diagram encodes the off-diagonal entries via edge multiplicities and orientations (Damianou et al., 2014). The real root system is given explicitly as $$\{\alpha = \beta + k\delta \mid \beta \in \Phi^{\mathrm{fin}}, k \in \mathbb{Z}\}$$, and the imaginary roots are integer multiples of the null root $\delta$ (Reading et al., 2018).

Characteristic polynomials of affine Cartan matrices and adjacency matrices can be expressed in terms of Chebyshev polynomials, and the affine Coxeter polynomial factors as a product of cyclotomic polynomials. The affine exponents $m_j$ and affine Coxeter number $h$ (order of a Coxeter element) can be determined analytically from these factorisations (Damianou et al., 2014).

3. Orbit Structure, Coxeter Elements, and Classification Theorems

A Coxeter element in an affine Coxeter system is the product of the simple reflections in some order. The action of a Coxeter element $c$ on the root system exhibits a rich stratification:

• There are exactly $2n$ infinite orbits, each corresponding to a transversal constructed from the chain of simple roots.
• All imaginary roots $k\delta$ are fixed by $c$.
• The set of real roots splits into those with finite $c$-orbits (restricted to a specific hyperplane determined by a generalized 1-eigenvector and the null root) and those with infinite orbits.
• The finite real root orbits correspond to type-A finite subsystems embedded in the affine system, with explicit parametrizations and lengths determined by component Coxeter numbers (Reading et al., 2018).

This classification extends to a uniform, eigenvalue-based account of affine root $c$-orbits, based on the structure of the associated Cartan matrix and eigenspace decompositions.

4. Reflection Subgroups, Limit Roots, and Geometric Characterizations

Affine Coxeter systems admit nontrivial affine reflection subgroups precisely when a standard parabolic subgroup is of affine type. For any infinite Coxeter group of finite rank, there exists a subset $J$ of the generators so that the parabolic $W_J$ is of affine type if and only if the system contains an affine reflection subgroup. The normalised isotropic cone and limit root set in the projective geometry of the root system provide a geometric means of identifying affine components: for irreducible systems, the set of normalized limit roots is a singleton if and only if the system is affine (Fu et al., 2019).

In the structure of arbitrary infinite Coxeter groups, the set of limit roots arising from affine subsystems is precisely the intersection $Z_1 \cap Q$, where $Z_1$ is the closure of the imaginary cone in the projective root hyperplane. Each affine subsystem’s real roots cluster onto a unique projective null root, and this clustering distinguishes affine configurations from hyperbolic or more general non-affine infinite cases.

5. Coxeter Orders, Reflection Orders, and Combinatorial Criteria

Affine Coxeter systems can be combinatorially characterized by properties of their reflection orders. For an irreducible infinite Coxeter system of finite rank, affineness is equivalent to every total reflection order being scattered, to the existence of a reflection order of type $\omega + \omega^\ast$, and to all intervals in the reflection orders on dihedral subgroups being finite (Wang et al., 14 Jan 2026).

Geometrically, this is reflected in the discreteness of the set of projectivized normalized roots (in sharp contrast to the presence of dense order-type substructures—$(\mathbb{Q},<)$—in non-affine infinite types).

6. Subgroups, Foldings, and Extensions by Non-Crystallographic Groups

Affine Coxeter groups exhibit a rich hierarchy of subgroups and can often be constructed as "folded" subgroups of higher-rank or more symmetric groups with the same Coxeter number (Koca et al., 2024). For example, the affine $C_n$ arises from folding $A_{2n-1}$, and affine $F_4$ is obtained by folding $E_6$; similarly, non-crystallographic affine Coxeter groups such as $H_3$ and $H_4$ emerge as projections/foldings of extended diagrams of $D_6$ or $E_8$ (Dechant et al., 2011).

Within this folding framework, the root systems, fundamental weights, and lattice constructions for both parent and folded groups are made explicit, and the associated Delone/Voronoi cells are described. Purely non-crystallographic affine extensions for $H_2$, $H_3$, and $H_4$ can be constructed, with Cartan matrices over rings such as $\mathbb{Z}[\tau]$, capturing the "Fibonacci" scaling phenomena of quasicrystals and icosahedral symmetries (Dechant et al., 2011).

7. Applications, Generalizations, and Connections

The framework of affine Coxeter systems encompasses both crystallographic (ADE) and non-crystallographic families, with applications ranging across representation theory, geometry, cluster algebra theory, and mathematical physics.

• Cluster algebras provide an alternative presentation framework for affine Coxeter groups, with generators and relations arising from cluster mutation classes. Explicit presentations can be obtained for all affine types and for generalized quotients related to surface and orbifold theory (Felikson et al., 2013).
• Affine Weyl group elements with finite or positive Coxeter part have direct implications for the geometry of affine Deligne-Lusztig varieties, with connections to the explicit parametrization of irreducible components in moduli problems in the arithmetic of algebraic groups (He et al., 2012, Schremmer et al., 2023).
• The classification and explicit realization of non-crystallographic affine extensions via projection or folding from ADE types suggest applications in quasicrystal tilings, icosahedral packings, and new directions in Coxeter–Kac–Moody algebra theory, including rational conformal field theory (Dechant et al., 2011, Dechant et al., 2011).

Affine Coxeter systems thus serve as a unifying structure underlying the geometry and combinatorics of Euclidean reflection groups, their orbit structures, subgroup lattices, projective and lattice-theoretic geometry, and various higher-level applications in mathematics and physics.