Toronto, December 6 - 9, 2019
In 2010, Giol and Kerr published a construction of a minimal dynamical system whose associated crossed product has positive radius of comparison. Subsequently, Phillips and Toms conjectured that the radius of comparison of a crossed product should be roughly half the mean dimension of the underlying system. Upper bounds were obtained by Phillips, Hines-Phillips-Toms and very recently by Niu, however there were no results concerning lower bounds aside for the examples of Giol and Kerr. In the non-dynamical context, work of Elliott and Niu suggests that the right notion of dimension to consider is cohomological dimension, rather than covering dimension (notions which coincide for CW complexes). Motivated by this insight, we introduce an invariant which we call "mean cohomological independence dimension" (more precisely, a sequence of such invariants), for actions of countable amenable groups on compact metric spaces, which are related to mean dimension, and obtain lower bounds for the radius of comparison for crossed products in terms of this invariant.
However, the property was in many ways unsatisfactory due to a disconnect between what the property CPoU says and what it is really used for. I will discuss a model-theoretic analysis, which allows us to establish an equivalent* property (*: up to a small technicality), which captures much better how one should think of CPoU.