A note on CM-triviality and the geometry of forking
A well-known problem in stability theory is the classification of the possible forking geometries. The easiest ones are locally modular (or one-based); a slightly more complicated case has been introduced by Hrushovski and called CM-trivial. In this short note the author introduces a whole hierarchy of geometrical conditions. He calls a theory \(n\)-ample if after naming some parameters there are \(a_0,\dots,a_n\) such that \(\bullet\) \(\text{acl}(a_0,\dots,a_i)\cap\text{acl} (a_0,\dots,a_{i-1},a_{i+1})=\text{acl}(a_0,\dots,a_{i-1})\) for all \(i<n\), \(\bullet\) \(a_n\) is independent of \((a_0,\dots,a_i)\) over \(a_i\) for all \(i<n\), and \(\bullet\) \(a_n\) forks with \(a_0\) over \(\emptyset\). The author remarks that failure of \(1\)-ampleness is equal to one-basedness, and shows that failure of \(2\)-ampleness corresponds to CM-triviality. Moreover, a theory of finite Lascar rank is \(n\)-ample if there is a type \(p\) of Lascar rank \(1\) which is \(n\)-ample (i.e.\ all the \(a_i\) in the definition can be taken from \(p^{\text{eq}}\)). In particular, a theory of finite Lascar rank coordinatized by CM-trivial types is itself CM-trivial. Lastly, he shows that a stable field is \(n\)-ample for all \(n\geq 0\). He conjectures that there are \(n\)-ample but not \((n+1)\)-ample strongly minimal sets for all \(n>0\) (this would generalize Hrushovski's counterexample to Zilber's conjecture), and that there is an infinite simple nonabelian group of finite Morley rank which is not \(3\)-ample (which would contradict Cherlin's conjecture).
- Comparing axiomatizations of free pseudospaces
- CM-triviality and relational structures
- _0-categorical structures with a predimension
- Mekler's construction preserves \(CM\)-triviality
- Forking geometry on theories with an independent predicate
- Building-like geometries of finite Morley rank
- A model-theoretic study of right-angled buildings
- Directed free pseudospaces
- On variants of CM-triviality
- An ample geometry of finite rank
- Ample Dividing
- The geometry of forking and groups of finite Morley rank
- A free pseudospace
- A (possibly new) structure without the canonical base property
- Supersimple structures with a dense independent subset
- Ample pairs
- Fields definable in the free group
- Ample thoughts
- Stable definability and generic relations
- Reducts of stable, CM-trivial theories
- CM-trivial structures without the canonical base property
- Fields interpretable in the free group
This page was built for publication: A note on CM-triviality and the geometry of forking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953232)
