Fundamental group of tiles associated to quadratic canonical number systems
AbstractIf A is a 2 × 2 expanding matrix with integral coefficients, and ⊂ ℤ2 a complete set of coset representatives of ℤ2/Aℤ2 with |det(A)| elements, then the set ℐ defined by Aℐ = ℐ + is a self-affine plane tile of ℝ2, provided that its two-dimensional Lebesgue measure is positive.It was shown by Luo and Thuswaldner that the fundamental group of such a tile is either trivial or uncountable.To a quadratic polynomial x 2 + Ax + B, A, B ∈ ℤ such that B ≥ 2 and −1 ≤ A ≤ B, one can attach a tile ℐ. Akiyama and Thuswaldner proved the triviality of the fundamental group of this tile for 2A < B + 3, by showing that a tile of this class is homeomorphic to a closed disk. The case 2A ≥ B + 3 is treated here by using the criterion given by Luo and Thuswaldner.