Orthogonality and domination in o-minimal expansions of ordered groups

Abstract

We analyse domination between invariant types in o-minimal expansions of ordered groups, showing that the domination poset decomposes as the direct product of two posets: the domination poset of an o-minimal expansion of a real closed field, and one derived from a linear o-minimal structure. We prove that if the Morley product is well-defined on the former poset, then the same holds for the poset computed in the whole structure. We establish our results by employing the `short closure' pregeometry ($\mathrm{scl}$) in semi-bounded o-minimal structures, showing that types of $\mathrm{scl}$-independent tuples are weakly orthogonal to types of short tuples. As an application we prove that, in an o-minimal expansion of an ordered group, every definable type is domination-equivalent to a product of 1-types. Furthermore, there are precisely two or four classes of definable types up to domination-equivalence, depending on whether a global field is definable or not.