We study the connection between Gabor frames for quasicrystals, the topology of the hull of a quasicrystal Λ, and the K-theory of the twisted groupoid C * -algebra A σ arising from a quasicrystal. In particular, we construct a finitely generated projective module H Λ over A σ related to time-frequency analysis, and any multiwindow Gabor frame for Λ can be used to construct an idempotent in M N (A σ ) representing H Λ in K 0 (A σ ). We show for lattice subsets in dimension two, this element corresponds to the Bott element in K 0 (A σ ), allowing us to prove a twisted version of Bellissard's gap labeling theorem.
Preliminaries
Topology of QuasicrystalsThe main objects of our investigation are quasicrystals, so we begin with a review of the topological and dynamical properties of a quasicrystal, as well as properties of the associated operator algebras. We will state the basic definitions and theorems for even dimensional quasicrystals since it will be simplify notation later, however the same definitions and theorems apply in any dimension. We will always think of R 2d ∼ = R d ×R d as time-frequency space, and elements z ∈ R 2d will be written as z = (x, ω) when it is necessary to emphasize this point of view.Definition 1. Let Λ ⊂ R 2d be a discrete set.