The structure of C*-algebras of free minimal actions of
Let be a compact metric space with finite covering dimension, and equipped with a free minimal action of When a fair amount is understood about the transformation group C*-algebra but for very little is known about it except when is the Cantor set. We describe how to prove, under an additional technical condition, that has strict comparison for positive elements. This condition says, roughly speaking, that the order on the Cuntz semigroup of is determined by the tracial states on which in this case all come from invariant probability measures on~ We use this result to deduce the more familiar condition, that the order on projections over is determined by the tracial states. However, we do not know how to prove this result without using the Cuntz semigroup. The technical condition is satisfied whenever is a smooth manifold and the action is via diffeomorphisms. In this talk, I will focus on the part of the proof involving the Cuntz semigroup, and how the Cuntz semigroup of a suitable ''large'' subalgebra of can be used to obtain information about the Cuntz semigroup of itself.