arXiv++ Combinatorics

We summarize known results on how to generate an infinite family of integer sequences from the root lattices of rank 2 Kac--Moody algebras. We compute and tabulate the first twenty entries of a number of these sequences. This provides an overarching framework for a large class of Fibonacci-type integer sequences, evaluations of Chebyshev S and U-polynomials and others.

Let $Δ$ be a rank 2 hyperbolic root system. Then $Δ$ has generalized Cartan matrix $H(a,b)= \left(\begin{smallmatrix} ~2 & -b\\ -a & ~2 \end{smallmatrix}\right)$ indexed by $a,b\in\mathbb{Z}$ with $ab\geq 5$. If $a\neq b$, then $Δ$ is non-symmetric and is generated by one long simple root and one short simple root; whereas if $a= b$, $Δ$ is symmetric and is generated by two long simple roots. We prove that if $a\neq b$, then $Δ$ contains an infinite family of symmetric rank 2 hyperbolic root subsystems $H(k,k)$ for certain $k\geq 3$, generated by either two short or two long simple roots. We also prove that $Δ$ contains non-symmetric rank 2 hyperbolic root subsystems $H(a',b')$, for certain $a',b'\in\mathbb{Z}$ with $a'b'\geq 5$. One of our tools is a characterization of the types of root subsystems that are generated by a subset of roots. We classify these types of subsystems in rank 2 hyperbolic root systems.

We construct and classify all groups, given by triangular presentations associated to the smallest thick generalized quadrangle, that act simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. Our classification shows 23 non-isomorphic torsion free groups (obtained in an earlier work) and 168 non-isomorphic torsion groups acting on one of two possible buildings with the smallest thick generalized quadrangle as the link of each vertex. In analogy with the Euclidean case, we find both torsion and torsion free groups acting on the same building.