Rational self-affine tiles associated to standard and nonstandard digit systems

Abstract

We consider digit systems $(A,\mathcal{D})$, where $ A \in \mathbb{Q}^{n\times n}$ is an expanding matrix and the digit set $\mathcal{D}$ is a suitable subset of $\mathbb{Q}^n$. To such a system, we associate a self-affine set $\mathcal{F} = \mathcal{F}(A,\mathcal{D})$ that lives in a certain representation space $\mathbb{K}$. If $A$ is an integer matrix, then $\mathbb{K} = \mathbb{R}^n$, while in the general rational case $\mathbb{K}$ contains an additional solenoidal factor. We give a criterion for $\mathcal{F}$ to have positive Haar measure, i.e., for being a rational self-affine tile. We study topological properties of $\mathcal{F}$ and prove some tiling theorems. Our setting is very general in the sense that we allow $(A,\mathcal{D})$ to be a nonstandard digit system. A standard digit system $(A,\mathcal{D})$ is one in which we require $\mathcal{D}$ to be a complete system of residue class representatives w.r.t. a certain naturally chosen residue class ring. Our tools comprise the Frobenius normal form and character theory of locally compact abelian groups.

Figures (1)

• Figure 1: The tile $\mathcal{F}(A,\widetilde{\mathcal{D}}).$

Theorems & Definitions (49)

• Definition 2.1: Digit system
• Proposition 2.2
• proof
• Definition 2.3: $B$-adic series
• Remark 2.4
• Definition 2.5: The representation space
• Remark 2.6
• Lemma 2.7
• proof
• Lemma 2.8