zbMATH — the first resource for mathematics

Classification and projective metric realizations of tile-transitive triangle tilings. (English) Zbl 1144.52021
Summary: The equivariance classification of tile-transitive triangle tilings (\(\mathcal T, \Gamma\)) is given by D-symbols (in honor of B. N. Delone, M. S. Delaney and A. W. M. Dress) and we have 13 non-isomorphic D-diagrams/graphs. Each of them describes an infinite series depending on the possible D-matrices, i.e., the rotation orders of the vertex classes of \(\Gamma\)-equivalence. If we have 1, 2, 3 vertex classes, then so-called D-morphisms distinguish the representant tilings (\({\mathcal T}, \Gamma= \operatorname{Aut}{\mathcal T}\)) for Family 1, 2, 3, respectively. Each representant series has the maximal group \(\Gamma= \operatorname{Aut}{\mathcal T}\) as a triangle reflection group, thus we have easy criterion to decide the metric realizability on the sphere \(\mathbf S^2\), in the Euclidean plane \(\mathbf E^2\) and in the Bolyai-Lobachevskyan hyperbolic plane \(\mathbf H^2\) just by the angle sum of the reflection triangle. We show further modified realizabilities in the other two projective metric geometries as in the Minkowski plane \(\mathbf M^2\) and in the Galilean (isotropic) plane \(\mathbf G^2\) as well. To this the projective sphere \({\mathcal{PS}}^2\) uniformly models the above planes, endowed by a specific polarity (line \(\to\) point mapping for orthogonality of lines). This polarity is called also projective metric by the classical analogies, however in a generalized sense here. In this paper we discuss the triangle reflection groups for the maximal representant families, where the reflection lines of triangles are non-isotropic, i.e., a reflection line is not incident to its pole. The other cases will be discussed elsewhere. Computer helps us in realizing these tilings on the screen. The results are summarized in Table 1 and in Figure-series 4, moreover, in Theorems 2.1 and 6.1.
52C20 Tilings in \(2\) dimensions (aspects of discrete geometry)
51F15 Reflection groups, reflection geometries
51N30 Geometry of classical groups
Full Text: Link