Some remarks on CM-triviality (Q1030014)

CM-triviality is a property isolated by Hrushovski to describe the geometry of the strongly minimal sets he constructed as counterexamples to Zilber's trichotomy conjecture. Though Hrushovski's definition can (and has been) generalised to various contexts, it is, essentially, a property of finite-dimensional (stable) theories, and may behave in strange ways in other settings, as the paper under review shows. In the paper, the author investigates the behaviour of CM-triviality in the context of rosy theories -- a joint generalisation of stability, o-minimality and -- under reasonable assumptions -- simple theories. As can be deduced from Fact 2.2 of the current paper, this is the most general setting in which CM-triviality still fits reasonably well. The author shows that CM-triviality in rosy theories implies the existence of weak canonical bases. Following analogous works in more restrictive contexts, the author also shows that super-rosy fields of monomial U-thorn-rank are not CM-trivial. He concludes by showing that without assuming elimination of imaginaries, CM-triviality is not well behaved even in o-minimal theories (e.g., it is not preserved under taking reducts).