Triangle groups, Fuchsian groups, and the wild symmetries of hyperbolic space
The symmetries of a hyperbolic tiling form a Fuchsian group — a discrete subgroup of the isometry group of the hyperbolic plane. The simplest family is the triangle groups Δ(p, q, r), generated by reflections in the sides of a hyperbolic triangle with angles π/p, π/q, π/r. Whenever 1/p + 1/q + 1/r < 1 the triangle is hyperbolic, and the group tiles the disk with infinitely many reflected copies.
This page lets you build triangle group tilings, explore the Cayley graph of the free group F2 embedded hyperbolically, pack fundamental domains, and see how word metrics reveal exponential growth — the defining feature of hyperbolic groups.
Choose parameters p, q, r satisfying 1/p + 1/q + 1/r < 1 to generate the Coxeter triangle group tiling. The fundamental triangle is reflected across its edges, producing a kaleidoscopic pattern that fills the entire Poincare disk. Triangles are colored in an alternating pattern so the reflection symmetry is visible.
Try it: Select different (p, q, r) triples. Notice how smaller values produce larger triangles, while larger values pack many tiny triangles into the disk.
The free group on two generators, F2, has a Cayley graph that is a regular 4-valent tree. In Euclidean space this tree is impossibly tangled, but the hyperbolic plane has enough room to embed it with all edges as geodesic arcs. Vertices are colored by word length from the identity, revealing the exponential growth of the group.
A regular octagon in the Poincare disk serves as the fundamental domain for a genus-2 surface group. Applying group elements — reflections and translations — generates copies that tile the disk without overlap or gaps, with alternating colors showing the group structure.
Try it: Increase the depth slider to see more copies of the fundamental domain filling the disk. Each copy corresponds to a distinct group element.
In a finitely generated group, the word metric counts the minimum number of generators needed to reach an element from the identity. For hyperbolic groups the number of elements at distance n grows exponentially, in stark contrast to the polynomial growth of Euclidean lattices. The side graph compares these growth rates.
Left: Cayley graph of F2 with vertices colored by word distance. Right: the number of group elements at each distance n. The bars grow exponentially (~3n), matching the pink reference curve. The grey line shows polynomial growth for comparison (e.g., Z2).