# Tessellations of the Poincaré Disk

Written by Mara-Eliana Popescu.

If asked to think of a tiling of the Euclidean Plane, surely many of us would imagine the pattern on a chessboard and perhaps some might try picturing a Penrose tiling. Such tessellations are well-known beyond a mathematical setting, whereas tilings of the Hyperbolic Plane are not as easily correlated with familiar images. The target of this project was to visualize a great number of hyperbolic tessellations on the Poincaré Disk (the unit disk in $$\mathbb R^2$$) using certain triangles as tiles, so called Möbius triangles. Much like in the Euclidean Plane, a tessellation of the Poincaré Disk consists of a set of tiles (e.g. regular polygons) aligned so that they fill up the disk completely, they do not overlap and no corner of one tile lies along the edge of another. The tiles that one can use for this purpose, as well as how they get aligned within the disk make up the difference between Hyperbolic and Euclidean tessellations.

First, let’s consider how the tiles generally look like in the hyperbolic setting and then, more specific, how one can obtain a non-overlapping tiling using triangles. It is important to know, that “straight lines” (also named geodesics), are redefined in the hyperbolic plane. A geodesic of the Poincaré Disk is either a circle arc orthogonal to the boundary of the disk or a Euclidean line going through the midpoint of the disk. In order to obtain a polygonal tile, one can choose a set of vertices within the plane and a set of geodesics that connect the vertices. Intuitively, not all such tiles can be aligned so that they do not overlap. Möbius triangles are an example of polygons that can generate a non-overlapping tiling. These triangles are described by three whole numbers $$(p~q~r)$$, which represent the angles $$\pi/p$$, $$\pi/q$$ and $$\pi/r$$ at the vertices.