C*-algebras of minimal dynamical systems of the product of a Cantor set and an odd dimensional sphere

Let \beta : S^n \to S^n, for n = 2k + 1, k \geq 1, be one of the known examples of a non-uniquely ergodic minimal diffeomorphism of an odd dimensional sphere. For every such minimal dynamical system (S^n, \beta) there is a Cantor minimal system (X, \alpha) such that the corresponding product system (X x S^n, \alpha x \beta) is minimal and the resulting crossed product C*-algebra C(X x S^n) \rtimes_{\alpha x \beta} \mathbb{Z} is tracially approximately an interval algebra (TAI). This entails classification for such C*-algebras. Moreover, the minimal Cantor system (X, \alpha) is such that each tracial state on C(X x S^n) \rtimes_{\beta} \mathbb{Z} induces the same state on the K_0-group and such that the embedding of C(S^n) \rtimes_{\beta} \mathbb{Z} into C(X x S^n) \rtimes_{\alpha x \beta} \mathbb{Z} preserves the tracial state space. This implies C(S^n) \rtimes_{\beta} \mathbb{Z} is TAI after tensoring with the universal UHF algebra, which in turn shows that the C*-algebras of these examples of minimal diffeomorphisms of odd dimensional spheres are classified by their tracial state spaces.