arXiv++ Combinatorics

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. We develop the algorithm for finding all the tilings for fixed number of tiles and present the calculation for tilings of surfaces of small genus by two tiles. We also discuss the number of distinct edge lengths in multiple tile tilings.

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. One extreme of the finite problem is single tile tilings. We develop the algorithm for finding all the single tile tilings and present the results for surfaces of small genus.

The edge-to-edge tilings of the sphere by congruent polygons, where all edges are straight, have been completely classified. We classify the curvilinear version of the similar triangular tilings, where the edges may not be straight, and find that these are the modifications of the straight triangular tilings.

By computing all cyclotomic points on some algebraic varieties, we get an independent and efficient way to find all rational $a^3b$-monotiles for the sphere, thereby completing the classification of edge-to-edge monohedral quadrilateral tilings. Both of the previous classifications \cite{lw2} and \cite{cl} depended on many old works of different authors while quite a few typos and gaps were found.

Since the thesis of K. Reinhardt in 1918, it is well known that there are exactly three types of convex hexagons that can tile the plane. However, the proof of the fact is far from being complete. We prove this fact, under an assumption much weaker than the convexity.

We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with rational angles in degree: they are a one-parameter family of symmetric $a^4b$-pentagonal subdivisions of the tetrahedron with $12$ tiles; a sequence of unique symmetric $a^4b$-pentagons admitting a symmetric $3$-layer earth map tiling by $4m$ tiles for any $m\ge4$, among which each odd $m$ case admits two standard flip modifications; and a unique non-symmetric and degenerate $a^4b$-pentagon admitting a non-symmetric $3$-layer earth map tiling and its standard flip modification with $20$ tiles. The full classification from this series and all induced non-edge-to-edge quadrilateral tilings from degenerate pentagons are summarized with their 3D pictures.

We develop the basic and new tools for classifying non-side-to-side tilings of the sphere by congruent triangles. Then we prove that, if the triangle has any irrational angle in degree, such tilings are: a sequence of 1-parameter families of triangles each admitting many 2-layer earth map tilings with $2n$($n\geq3$) tiles, together with rotational modifications for even $n$; a 1-parameter family of triangles each admitting a unique tiling with $8$ tiles; and a sporadic triangle admitting a unique tiling with $16$ tiles. Then a scheme is outlined to classify the case with all angles being rational in degree, justified by some known and new examples.

We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with any irrational angle in degree: they are three $1$-parameter families of pentagonal subdivisions of the Platonic solids, with $12, 24$ and $60$ tiles; and a sequence of $1$-parameter families of pentagons admitting non-symmetric $3$-layer earth map tilings together with their various rearrangements under extra conditions. Their parameter moduli and geometric data are all computed in both exact and numerical form. The total numbers of different tilings for any fixed such pentagon are counted explicitly. As a byproduct, the degenerate pentagons produce naturally many new non-edge-to-edge quadrilateral tilings. A sequel of this paper will handle $a^4b$-pentagons with all angles being rational in degree by solving some trigonometric Diophantine equations, to complete our full classification of edge-to-edge tilings of the sphere by congruent pentagons.

Convex hexagons that can tile the plane have been classified into three types. For the generic cases (not necessarily convex) of the three types and two other special cases, we classify tilings of the plane under the assumption that all vertices have degree $3$. Then we use the classification to describe the corresponding hexagonal tilings of flat tori and their moduli spaces.

All edge-to-edge tilings of the sphere by congruent regular triangles and congruent rhombi are classified as: (1) a $1$-parameter family of protosets each admitting a unique $(2a^3,3a^4)$-tiling like a triangular prism; (2) a $1$-parameter family of protosets each admitting 2 different $(8a^3,6a^4)$-tilings like a cuboctahedron and a triangular orthobicupola respectively; (3) a sequence of protosets each admitting a unique $(2a^3,(6n-3)a^4)$-tiling like a generalized anti-triangular prism for each $n\ge3$; (4) 26 sporadic protosets, among which nineteen admit a unique tiling, one admits 3 different tilings, one admits 5 different tilings, three admit 2 different tilings, two admit too many tilings to count. The moduli of parameterized tilings and all geometric data are provided.

Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This last one classifies the case of $a^3b$-quadrilaterals with some irrational angle: there are a sequence of $1$-parameter families of quadrilaterals admitting $2$-layer earth map tilings together with their basic flip modifications under extra condition, and $5$ sporadic quadrilaterals each admitting a special tiling. A summary of the full classification is presented in the end.

Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This second one applies the powerful tool of trigonometric Diophantine equations to classify the case of $a^3b$-quadrilaterals with all angles being rational degrees. There are $12$ sporadic and $3$ infinite sequences of quadrilaterals admitting the $2$-layer earth map tilings together with their modifications, and $3$ sporadic quadrilaterals admitting $4$ exceptional tilings. Among them only $3$ quadrilaterals are convex. New interesting non-edge-to-edge triangular tilings are obtained as a byproduct.

The edge-to-edge tilings of the sphere by congruent quadrilaterals of Type $a^2bc$ are classified as $3$ classes: a sequence of two-parameter families of $2$-layer earth map tilings with $2n$ $(n\ge3)$ tiles, a one-parameter family of quadrilateral subdivisions of the octahedron with $24$ tiles together with a flip modification for a special parameter, and a sequence of $3$-layer earth map tilings with $8n$ $(n\ge2)$ tiles together with two flip modifications for odd $n$. We also describe the moduli and calculate the geometric data.

Pentagonal subdivision gives three families of edge-to-edge tilings of the sphere by congruent pentagons. Each family forms a two dimensional moduli. We describe the moduli in detail.

There are exactly eight edge-to-edge tilings of the sphere by congruent equilateral pentagons: three pentagonal subdivision tilings with 12, 24, 60 tiles; four earth map tilings with 16, 20, 24, 24 tiles; and one flip modification of the earth map tiling with 20 tiles.