--- title: Arithmetic Root Systems url: https://www.emergentmind.com/topics/arithmetic-root-systems type: topic --- # Arithmetic Root Systems Arithmetic root systems are root-theoretic structures in which the ambient arithmetic datum—such as a number field, a lattice, a Dedekind domain, a bicharacter, or a congruence condition on heights—enters essentially into the definition of roots, reflections, or multiplicities. The phrase does not designate a single uniform object across the literature. It is used for classical finite root systems realized inside rings of integers of number fields [1808.01136], for the finite root systems attached to Cartan graphs and Weyl groupoids of Nichols algebras of diagonal type [2412.20786], and for the \(\mathbb Z_k\)-root systems introduced for finite complex reflection groups, for which the term “cyclotomic root systems” is proposed [1704.03779]. Closely related arithmetic variants include arithmetic Tutte theory for pairs \((\Phi,\Lambda)\) [1305.6621], congruence-defined subsystems \(R(m)\) cut out by root heights [2504.09204], and Lorentzian hyperbolic systems of arithmetic type in the sense of Gritsenko–Nikulin [1209.0022]. ## 1. Terminological scope and conceptual distinctions In the number-field setting, an arithmetic root system is an ordinary finite root system placed inside \(\mathscr O_K\), the ring of integers of a number field \(K\), with the Weyl action constrained to come from field automorphisms and multiplication operators [1808.01136]. In arithmetic Tutte theory, by contrast, the arithmetic datum is not a new class of roots but the choice of ambient lattice \(\Lambda\), encoded by multiplicities \(m(B)\) in the arithmetic Tutte polynomial \(M_A(x,y)\) [1305.6621]. In the Nichols algebra literature, “finite arithmetic root systems” arise from diagonal braidings, reflections, Cartan graphs, and Weyl groupoids; there the root system is attached to a tuple of one-dimensional Yetter–Drinfeld modules and its finiteness is equivalent to finiteness of the associated Weyl groupoid [2412.20786]. In the theory of complex reflection groups, roots become rank-one projective \(\mathcal O_k\)-modules on reflecting lines, with dual data and cyclotomic integrality conditions, yielding \(\mathbb Z_k\)-root systems or “cyclotomic root systems” [1704.03779]. These usages are not interchangeable. The number-field paper explicitly distinguishes its notion from the Nichols algebra and Weyl groupoid usage [1808.01136], while the cyclotomic theory is designed as an arithmetic extension of Bourbaki root systems for complex reflection groups rather than a Nichols algebra construction [1704.03779]. Related frameworks such as quotient root systems and generalized root systems extend positive-root combinatorics or restriction theory, but they are not arithmetic root systems in the Nichols algebra sense [2310.16767; 2404.00278]. This suggests that “arithmetic root systems” functions as a context-dependent umbrella term rather than a single canonical definition. ## 2. Root systems over number fields For a number field \(K\) of degree \(n=[K:\mathbf Q]\), viewed as an \(n\)-dimensional \(\mathbf Q\)-vector space, the ambient arithmetic symmetry group is \[ \mathcal L(K)=\langle {\rm Aut}(K),\,{\rm mult}(K^*)\rangle \subset {\rm GL}_{\mathbf Q}(K), \] with semidirect product decomposition \[ \mathcal L(K)={\rm mult}(K^*)\rtimes {\rm Aut}(K). \] A type \({\sf R}\) admits a realization in \(K\) if \([K:\mathbf Q]={\rm rk}({\sf R})\), there exists a subset \(R\subset \mathscr O_K\) of that rank forming a root system of type \({\sf R}\), and its Weyl group satisfies \(W(R)\subseteq \mathcal L(K)\) [1808.01136]. The classification is extremely restrictive. For reduced root systems of rank \(n\), the Weyl group can be isomorphic to a subgroup of \(\mathcal L(K)\) for some number field \(K\) of degree \(n\) only for \[ {\sf A}_1,\ {\sf A}_2,\ {\sf B}_2,\ {\sf G}_2,\ 2{\sf A}_1,\ 2{\sf A}_1\dot{+}{\sf A}_2,\ {\sf A}_2\dot{+}{\sf B}_2. \] However, actual realizability inside \(\mathscr O_K\) is stricter: a root-system type, reduced or not, admits such an arithmetic realization if and only if its rank is \(1\) or \(2\) [1808.01136]. In particular, the two reducible rank-\(4\) types allowed abstractly at the Weyl-group level do not occur as root systems in rings of integers. The proof is driven by arithmetic constraints on finite subgroups \(G\subset \mathcal L(K)\). If \(G\) is finite, there is an exact sequence \[ 1\to H\xrightarrow{\rm mult} G\xrightarrow{\psi}\psi(G)\to 1 \] with \(H\subset \mu_K\) cyclic, implying \[ |G|=|H|\cdot |\psi(G)|,\qquad \varphi(|H|)\mid n,\qquad |\psi(G)|\mid |{\rm Aut}(K)|\mid n. \] Additional bounds, \[ \nu_p(|G|)\le 2\nu_p(n)+1,\qquad |G|\mid n\,\exp(G), \] combined with Weyl-group order data and the lower estimate \[ \nu_2(|W(R)|)\ge \left[\frac{{\rm rk}(R)+1}{2}\right], \] force \(n\in\{1,2,4\}\), and the rank-\(4\) realizations are then excluded by further arguments [1808.01136]. All realizable cases are constructed explicitly. In rank \(1\), \({\sf A}_1\) and the nonreduced \({\sf A}_1'\) occur in \(K=\mathbf Q\). In rank \(2\), \(\mathbf Q(\sqrt{-3})\) realizes \({\sf A}_2\) and \({\sf G}_2\), while \(\mathbf Q(i)\) realizes \(2{\sf A}_1\), \({\sf B}_2\), \({\sf BC}_2\), \(2{\sf A}_1'\), and \({\sf A}_1\dot{+}{\sf A}_1'\) [1808.01136]. The construction uses the reflection formula \[ r_a={\rm mult}(-a\overline a^{-1})\,c \] in the Gaussian and Eisenstein examples. ## 3. Arithmetic lattices, toric arrangements, and arithmetic Tutte theory A second major arithmetic use of root systems treats them as lattice vector configurations. For a configuration \(A\subset \Lambda\), the arithmetic Tutte polynomial is \[ M_A(x,y)=\sum_{B\subseteq A} m(B)(x-1)^{r(A)-r(B)}(y-1)^{|B|-r(B)}, \] where \[ m(B)=\big[(\operatorname{span} B)\cap \Lambda:\mathbf ZB\big]. \] This refines the ordinary Tutte polynomial by recording the arithmetic saturation of subsets inside the ambient lattice [1305.6621]. For the classical root systems \(A,B,C,D\), the arithmetic data depend on whether the roots are placed in the integer lattice, root lattice, or weight lattice. The paper computes the corresponding arithmetic Tutte generating functions in all three cases [1305.6621]. The distinction is substantive: the same root configuration can have different arithmetic Tutte polynomials in \(\mathbf Z^v\), \(\Lambda_R\), and \(\Lambda_W\). Type \(A\) is unimodular in the integer and root lattices, so arithmetic and ordinary Tutte polynomials coincide there, whereas the weight-lattice case is subtler because \([\Lambda_W:\Lambda_R]=n\). Types \(B,C,D\) already exhibit nontrivial multiplicities over \(\mathbf Z^n\). The arithmetic Tutte polynomial governs several invariants of toric and hypertoric arrangements. For the toric arrangement \(T(A)=\{T_a:a\in A\}\) in \(T=\operatorname{Hom}(\Lambda,F^*)\), it controls region counts, Poincaré polynomials, zonotope volumes, Ehrhart data, and the dimensions of Dahmen–Micchelli and De Concini–Procesi–Vergne spaces: \[ \#\{\text{regions of }R(A)\}=|M_A(1,0)|, \] \[ \operatorname{vol} Z(A)=M_A(1,1),\qquad \dim DM(A)=M_A(1,1),\qquad \dim DPV(A)=M_A(2,1). \] A finite-field method gives \[ \sum_{p\in T} t^{h(p)}=(t-1)^r q^{n-r}M_A\!\left(\frac{q+t-1}{t-1},t\right), \] provided \(m(B)\mid q\) for all \(B\subseteq A\) [1305.6621]. The computational apparatus is also root-system specific. For types \(B,C,D\), subsets of roots are encoded by signed graphs with six parameters \((c_+,c_-,c_0,l,e,v)\), and the arithmetic multiplicities become graph-theoretic: \[ m(B_G)=2^{c_-(G)} \text{ for type }B,\qquad m(C_G)=2^{c_-(G)+c_0(G)} \text{ for type }C. \] In this line of work, arithmetic root theory is best understood as the study of the pair \((\Phi,\Lambda)\), rather than of a new intrinsic root-system class [1305.6621]. ## 4. Finite arithmetic root systems in Nichols algebras In the Nichols algebra framework, arithmetic root systems arise from braided vector spaces of diagonal type over a field \(\Bbbk\) of characteristic \(p>0\). With basis \(\{x_i\}_{i\in I}\), the braiding is \[ c(x_i\otimes x_j)=q_{ij}\,x_j\otimes x_i. \] The generalized Dynkin diagram records the vertex labels \(q_{ii}\) and the symmetric edge labels \(q_{ij}q_{ji}\) [2412.20786]. Reflections are defined through braided adjoint nilpotency. If \(M=(\Bbbk x_1,\dots,\Bbbk x_\theta)\) is \(i\)-finite, then \[ a_{ij}^M= \begin{cases} 2,& j=i,\\ -\max\{m\in \mathbb N_0\mid (\operatorname{ad}_c x_i)^m(x_j)\neq 0\},& j\neq i, \end{cases} \] and the reflected tuple \(R_i(M)\) is built from the vectors \((\operatorname{ad}_c x_i)^{-a_{ij}^M}(x_j)\) [2412.20786]. These data generate a semi-Cartan graph \(\mathcal C(M)\), and the corresponding Weyl groupoid acts on \(\mathbf Z^I\) by \[ s_i^X(\alpha_j)=\alpha_j-a_{ij}^X\alpha_i. \] In this setting, the arithmetic root system attached to \(M\) is the root system \(\mathcal R(M)\) of the Cartan graph \(\mathcal C(M)\). Its root sets are extracted from the PBW decomposition of the Nichols algebra, and finiteness is decisive. The central theorem states that, assuming \(M\) admits all reflections, the following are equivalent: \(\Delta^{[M]}\) is finite, \(\mathcal C(M)\) is a finite Cartan graph, \(\mathcal W(M)\) is finite, and \(\mathcal R(M)\) is finite. In that case \(\mathcal R(M)\) is the unique root system of type \(\mathcal C(M)\) [2412.20786]. Positive characteristic enters through the quantum-integer criterion \[ (m+1)_{q_{ii}}\big(q_{ii}^m q_{ij}q_{ji}-1\big)=0, \] with \((n)_q=1+q+\cdots+q^{n-1}\). Because \((n)_1=0\) may occur when \(p\mid n\), the set of admissible Cartan integers and hence the possible finite arithmetic root systems depend on \(p\) [2412.20786]. The paper classifies all finite-dimensional Nichols algebras of diagonal type of ranks \(5,6,7\) over fields of positive characteristic, using “good \(A_5\),” “good \(A_6\),” and “good \(A_7\)” neighborhoods as local models for finite connected indecomposable Cartan graphs. ## 5. Cyclotomic root systems for complex reflection groups For finite complex reflection groups, arithmetic root theory takes a Dedekind-domain form. Let \(k\subseteq \mathbf C\) be a number field stable under complex conjugation, with ring of integers \(\mathcal O_k\), and let \((V,W)\) be dual \(k\)-vector spaces with a nondegenerate Hermitian pairing. A \(\mathbb Z_k\)-root is a triple \[ \mathfrak r=(I,J,\zeta), \] where \(I\subset V\) and \(J\subset W\) are rank-one finitely generated \(\mathcal O_k\)-modules, \(\zeta\) is a nontrivial root of unity, and \[ IJ=(1-\zeta)\mathcal O_k. \] The associated reflection is \[ x\mapsto x-xw\,v \] for \(v\in kI\), \(w\in kJ\) with \(vw=1-\zeta\) [1704.03779]. A \(\mathbb Z_k\)-root system is a finite set of such roots satisfying three axioms: the \(I\)-modules generate \(V\), the system is stable under the attached reflections, and the Cartan pairings \[ \mathfrak r_1\mathfrak r_2:=I_1J_2 \] lie in \(\mathcal O_k\) [1704.03779]. This arithmetic integrality condition replaces the usual crystallographic condition. Because \(I\) and \(J\) may be nonfree rank-one projective modules, class-group effects and ideal factorizations become intrinsic to the theory. The resulting theory extends Bourbaki root systems to complex reflection groups. It supports root and coroot lattices, \[ Q_{\mathfrak R}=\sum_{\mathfrak r\in\mathfrak R} I_{\mathfrak r},\qquad Q_{\mathfrak R}^\vee=\sum_{\mathfrak r\in\mathfrak R} J_{\mathfrak r}, \] weight and coweight lattices, Cartan matrices in the principal case, parabolic restriction, and connection indices [1704.03779]. For irreducible reflection groups over their field of definition, the paper classifies genera of root systems in the imprimitive families \(G(de,e,r)\) and for the primitive exceptional groups. It also generalizes the notion of bad primes: for an irreducible well-generated complex reflection group \(G\) of rank \(r\), the bad prime ideals are those dividing \[ \frac{|G|}{c_G r!}, \] where \(c_G\) is the connection index [1704.03779]. The authors explicitly propose the term “cyclotomic root systems” for this framework. That terminology is important because it distinguishes this module-theoretic arithmetic extension of classical root data from the Weyl-groupoid-based arithmetic root systems of Nichols algebra theory [1704.03779]. ## 6. Congruence constructions, Lorentzian arithmeticity, and related boundaries A different arithmetic construction imposes a congruence on heights. For a reduced irreducible root system \(R\) with fixed positive system and Coxeter number \(h\), and for \(1\le m