Abstract
We investigate the interaction between the product of invariant types and domination–equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is.
To a sufficiently saturated model of a firstorder theory one can associate a semigroup, that of global invariant types with the tensor product\(\otimes \). This can be endowed with two equivalence relations, called domination–equivalence and equidominance. This paper studies the resulting quotients, starting from sufficient conditions for \(\otimes \) to be welldefined on them. We show, correcting a remark in [3], that this need not be always the case.
Let \(S(\mathfrak U)\) be the space of types in any finite number of variables over a model \(\mathfrak U\) of a firstorder theory that is \(\kappa \)saturated and \(\kappa \)strongly homogeneous for some large \(\kappa \). For any set \(A\subseteq \mathfrak U\), one has a natural action on \(S(\mathfrak U)\) by the group \({{\,\mathrm{Aut}\,}}(\mathfrak U/A)\) of automorphisms of \(\mathfrak U\) that fix A pointwise. The space \(S^{\mathrm {inv}}(\mathfrak U)\) of global invariant types consists of those elements of \(S(\mathfrak U)\) which, for some smallA, are fixed points of the action \({{\,\mathrm{Aut}\,}}(\mathfrak U/A)\mathrel {\curvearrowright }S(\mathfrak U)\). Each of these types has a canonical extension to bigger models \(\mathfrak U_1\succ \mathfrak U\), namely the unique one which is a fixed point of the action \({{\,\mathrm{Aut}\,}}(\mathfrak U_1/A)\mathrel {\curvearrowright }S(\mathfrak U_1)\), and this allows us to define an associative product \(\otimes \) on \(S^{\mathrm {inv}}(\mathfrak U)\). This is the semigroup which we are going to quotient.
We say that a global type pdominates a global type q when p together with a small set of formulas entails q. This is a preorder, and we call the induced equivalence relation domination–equivalence. We also look at equidominance, the refinement of domination–equivalence obtained by requiring that domination of p by q and of q by p can be witnessed by the same set of formulas. These notions have their roots in the work of Lascar, who in [9] generalised the Rudin–Keisler order on ultrafilters to types of a theory; his preorder was subsequently generalised to domination between stationary types in a stable theory.
Equidominance reached its current form in [3], where it was used to prove a result of Ax–Kochen–Ershov flavour; namely, that in the case of algebraically closed valued fields one can compute the quotient of the semigroup of global invariant types by equidominance, and it turns out to be commutative and to decompose in terms of value group and residue field. It was also claimed, without proof, that such a semigroup is also welldefined and commutative in any complete firstorder theory. The starting point of this research was to try to fill this gap by proving these claims. After trying in vain to prove welldefinedness of the quotient semigroup, the author started to investigate sufficient conditions for it to hold. Eventually, a counterexample arose:
There is a ternary, \(\omega \)categorical, supersimple theory of SUrank 2 with degenerate algebraic closure in which neither domination–equivalence nor equidominance are congruences with respect to \(\otimes \).
The paper is organised as follows. In Sect. 1 we define the main object of study, namely the quotient \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) of the semigroup of global invariant types modulo domination–equivalence, provide some sufficient conditions for it to be welldefined and investigate its most basic properties. In Sect. 2 we prove the theorem above, which shows that \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) need not be welldefined in general; we also show (Corollary 2.12) that in the theory of the Random Graph \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is not commutative. In Sect. 3 we prove that definability, finite satisfiability, generic stability (Theorem 3.5) and weak orthogonality to a type (Proposition 3.13) are preserved downwards by domination. This is useful in explicit computations of \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) and yields as a byproduct (Corollary 3.11) that another, smaller object based on generically stable types is instead welldefined in full generality. In Sect. 4 we explore whether and how much \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) depends on \(\mathfrak U\); we show (Corollary 4.7) that its independence from the choice of \(\mathfrak U\) implies NIP. Section 5 gathers some previously known results from classical stability theory and explores their consequences in the context of this paper (e.g. Theorem 5.11). Sections from 2 to 4 depend on Sect. 1 but can be read independently of each other; Sect. 5 contains references to all previous sections but can in principle be read after Sect. 1.
1 Definition and welldefinedness
1.1 Setup
Notations and conventions are standard, and we now recall some of them.
We work in an arbitrary complete theory T, in a firstorder language L, with infinite models. As customary, all mentioned inclusions between models of T are assumed to be elementary maps, and we call models of T which are \(\kappa \)saturated and \(\kappa \)strongly homogeneous for a large enough \(\kappa \) “monster” models; we denote them by \(\mathfrak U\), \(\mathfrak U_0\), etc. Saying that \(A\subseteq \mathfrak U\) is small means that \(\mathfrak U\) is \(A ^+\)saturated and \(A ^+\)strongly homogeneous, and is sometimes denoted by \(A\mathrel {\subset ^+}\mathfrak U\), or \(A\mathrel {\prec ^+}\mathfrak U\) if additionally \(A\prec \mathfrak U\). Large means “not small”. The letters A and M usually represent, respectively, a small subset and a small elementary substructure of \(\mathfrak U\).
Parameters and variables are tacitly allowed to be finite tuples unless otherwise specified, and we abuse the notation by writing e.g. \(a\in \mathfrak U\) instead of \(a\in \mathfrak U^{a }\). Coordinates of a tuple are indicated with subscripts, starting with 0, so for instance \(a=(a_0,\ldots , a_{a 1})\). To avoid confusion, indices for a sequence of tuples are written as superscripts, as in \(\langle a^i\mid i\in I \rangle \). The letters x, y, z, w, t denote tuples of variables, the letters a, b, c, d, e, m denote tuples of elements of a model.
A global type is a complete type over \(\mathfrak U\). “Type over B” means “complete type over B”. We say “partial type” otherwise. We sometimes write e.g. \(p_x\) in place of p(x) and denote with \(S_x(B)\) the space of types in variables x.
When mentioning realisations of global types, or supersets of a monster, we implicitly think of them as living inside a bigger monster model, which usually goes unnamed. Similarly, implications are to be understood modulo the elementary diagram \({\textsc {ed}}(\mathfrak U_*)\) of an ambient monster model \(\mathfrak U_*\), e.g. if \(c\in \mathfrak U_*\succ \mathfrak U\) and \(p\in S(\mathfrak Uc)\) then \((p\upharpoonright \mathfrak U)\vdash p\) is a shorthand for \((p\upharpoonright \mathfrak U)\cup {\textsc {ed}}(\mathfrak U_*)\vdash p\). We sometimes take deductive closures implicitly, as in “\(\lbrace x=a \rbrace \in S_x(\mathfrak U)\)”.
If we define a property a theory may have, and then we say that a structure has it, we mean that its complete theory does. When we say “Lformula”, we mean without parameters; for emphasis, we sometimes write \(L(\emptyset )\), with the same meaning as L. In formulas, (tuples of) variables will be separated by commas or semicolons. The distinction is purely cosmetic, to help readability, and usually it means we regard the variables on the left of the semicolon as “object variables” and the ones on the right as “parameter variables”, e.g. we may write \(\varphi (x,y;w)\in L\), \(\varphi (x,y;d)\in p(x)\otimes q(y)\).
1.1.1 Products of invariant types
We briefly recall some standard results on invariant types and fix some notation. For proofs, see e.g. [15, Section 2.2] or [13, Chapter 12].
Definition 1.1
Let \(A\subseteq B\). A type \(p\in S_x(B)\) is Ainvariant iff for all \(\varphi (x;y)\in L\) and \(a\equiv _A b\) in \(B^{y }\) we have \(p(x)\vdash \varphi (x;a)\leftrightarrow \varphi (x;b)\). A global type \(p\in S_x(\mathfrak U)\) is invariant iff it is Ainvariant for some small A.
Equivalently, a global \(p\in S_x(\mathfrak U)\) is Ainvariant iff it is a fixed point of the usual action of \({{\,\mathrm{Aut}\,}}(\mathfrak U/A)\) on \(S_x(\mathfrak U)\) defined by \(f(p)\,:=\,\lbrace \varphi (x; f(a))\mid \varphi (x; y)\in L(\emptyset ), \varphi (x;a)\in p \rbrace \). Note that if p is Ainvariant and \(A_1\supseteq A\), then p is automatically \(A_1\)invariant. This will be used tacitly throughout.
Notation
We denote by \(S^{\mathrm {inv}}_x(\mathfrak U, A)\) the space of global Ainvariant types in variables x, with A small, and with \(S^{\mathrm {inv}}_x(\mathfrak U)\) the union of the \(S^{\mathrm {inv}}_x(\mathfrak U, A)\) as A varies among small subsets of \(\mathfrak U\). We denote by \(S_{<\omega }(B)\), or just by S(B), the union for \(n<\omega \) of the spaces of complete types in n variables over B. Similarly for, say, \(S^{\mathrm {inv}}_{<\omega }(\mathfrak U)\).
If \(p\in S_x(\mathfrak U)\) is Ainvariant and \(\varphi (x;y)\in L\), write
If \(p(x),q(y)\in S(B)\) and \(A\subseteq B\), we write
In situations like the one above, we implicitly assume, for convenience and with no loss of generality, that x and y share no common variable.
Proposition 1.2
[15, p. 19] Let A be small. Given an Ainvariant type \(p\in S_x(\mathfrak U)\) and a set of parameters \(B\supseteq \mathfrak U\) there is a unique extension \(p\mid B\) of p to an Ainvariant type over B, and it is given by requiring, for all \(\varphi (x;y)\in L\) and \(b\in B\),
Moreover, if \(p\in S^{\mathrm {inv}}_x(\mathfrak U, A)\), \(\varphi (x,y;w)\in L(\emptyset )\), \(d\in \mathfrak U\) and \(q\in S_y(\mathfrak U)\), then the following are equivalent:
 1.
For some (equivalently, all) \(b\vDash q\) we have that \(\varphi (x,b;d)\in p\mid \mathfrak Ub\).
 2.
For some (equivalently, all) \(b\in \mathfrak U\) such that \(b\vDash q\upharpoonright Ad\) we have that \(\varphi (x,b;d)\in p\).
 3.
\(q\in \pi ^{1}\bigl ((d_p\varphi (x,y;d))(y)\bigr )\), for \(\pi :S_y(\mathfrak U)\rightarrow S_y(Ad)\) the restriction map.
Also note that if \(A_1\supseteq A\) is another small set then \(p\mid B\) is also the unique \(A_1\)invariant extension of p. All this ensures that the following operation is welldefined, i.e. does not depend on \(b\vDash q\) and on whether we regard p as Ainvariant or \(A_1\)invariant.
Definition 1.3
Let \(p\in S^{\mathrm {inv}}_x(\mathfrak U,A)\) and \(q\in S_y(\mathfrak U)\). Define \(p(x)\otimes q(y)\in S_{xy}(\mathfrak U)\) as follows. Fix \(b\vDash q\). For each \(\varphi (x,y)\in L(\mathfrak U)\), define
We also define inductively \(p^{(1)}\,:=\,p(x^0)\) and \(p^{(n+1)}\,:=\,p(x^n)\otimes p^{(n)}(x^{n1},\ldots , x^0)\).
Fact 1.4
[15, Fact 2.19 and Fact 2.20] The product of two Ainvariant global types is still Ainvariant, and \(\otimes \) is associative on \(S^{\mathrm {inv}}(\mathfrak U)\).
Example 1.5
If T is stable then \(S^{\mathrm {inv}}(\mathfrak U)=S(\mathfrak U)\) and \(p\otimes q={{\,\mathrm{tp}\,}}(a,b/\mathfrak U)\) where \(a\vDash p\), \(b\vDash q\) and . If \(T=\textsf {DLO}\) and \(p(x)={{\,\mathrm{tp}\,}}(+\infty /\mathfrak U)\), then \(p(x)\otimes p(y)=p(x)\cup p(y)\cup \lbrace x>y \rbrace \).
1.1.2 Domination
Definition 1.6
Let \(p\in S_x(\mathfrak U)\) and \(q\in S_y(\mathfrak U)\).
 1.
We say that pdominatesq and write \(p\mathrel {\ge _{\mathrm {D}}}q\) iff there are some small A and some \(r\in S_{xy}(A)\) such that
\(r\in S_{pq}(A)\), and
\(p(x)\cup r(x,y)\vdash q(y)\).
 2.
We say that p and q are domination–equivalent and write \(p\mathrel {\sim _{\mathrm {D}}}q\) iff \(p\mathrel {\ge _{\mathrm {D}}}q\) and \(q\mathrel {\ge _{\mathrm {D}}}p\).
 3.
We say that p and q are equidominant and write \(p\mathrel {\equiv _{\mathrm {D}}}q\) iff there are some small A and some \(r\in S_{xy}(A)\) such that
\(r\in S_{pq}(A)\),
\(p(x)\cup r(x,y)\vdash q(y)\), and
\(q(y)\cup r(x,y)\vdash p(x)\).
So \(p\mathrel {\equiv _{\mathrm {D}}}q\) if and only if both \(p\mathrel {\ge _{\mathrm {D}}}q\) and \(q\mathrel {\ge _{\mathrm {D}}}p\) hold, and both statements can be witnessed by the same r. To put it differently, a direct definition of \(p\mathrel {\sim _{\mathrm {D}}}q\) can be obtained by replacing, in the last clause of the definition of \(p\mathrel {\equiv _{\mathrm {D}}}q\), the small type r with another small type \(r'\), possibly different from r. That the last two relations are in general distinct can be seen for instance in DLO together with a densecodense predicate; see Example 1.11.
Note that we are not requiring \(p\cup r\) to be complete; in other words, domination is “smalltype semiisolation”, as opposed to “smalltype isolation”. The finer relation of semiisolation, also known as the global RKorder,^{Footnote 1} was studied for instance in [16].
Proposition 1.7
\(\mathrel {\ge _{\mathrm {D}}}\) and \(\mathrel {\equiv _{\mathrm {D}}}\) are respectively a preorder and an equivalence relation on \(S_{<\omega }(\mathfrak U)\). Consequently, \(\mathrel {\sim _{\mathrm {D}}}\) is an equivalence relation as well.
Proof
The only nonobvious thing is transitivity. We prove it for \(\mathrel {\equiv _{\mathrm {D}}}\) first, as the proof for \(\mathrel {\ge _{\mathrm {D}}}\) is even easier. Suppose that \(r(x,y)\in S_{p_0p_1}(A_r)\) witnesses that \(p_0(x)\mathrel {\equiv _{\mathrm {D}}}p_1(y)\) and that \(s(y,z)\in S_{p_1p_2}(A_s)\) witnesses \(p_1(y)\mathrel {\equiv _{\mathrm {D}}}p_2(z)\). Up to taking a larger A and then completing r, s to types with parameters from A, we can assume \(A_r=A_s=A\). By hypothesis and compactness, for every formula \(\varphi (z)\in p_2\) there are formulas \(\psi (y,z)\in s\), \(\theta (y)\in p_1\) and \(\chi (x,y)\in r\) such that \(p_0\cup \lbrace \chi (x,y) \rbrace \vdash \theta (y)\) and \(\lbrace \theta (y)\wedge \psi (y,z) \rbrace \vdash \varphi (z)\). If we let \(\sigma _\varphi (x,z)\,:=\,\exists y\; (\chi (x,y)\wedge \psi (y,z))\), then \(p_0(x)\cup \lbrace \sigma _\varphi (x,z) \rbrace \vdash \varphi (z)\). Moreover, we have \(\sigma _\varphi (x,z)\in L(A)\). Analogously, for each \(\delta (x)\in p_0\) we can find \(\rho _\delta (z,x)\in L(A)\) such that \(p_2(z)\cup \lbrace \rho _\delta (z,x) \rbrace \vdash \delta (x)\), obtained in the same way mutatis mutandis. It is now enough to show that the set
is consistent, as this will in particular entail consistency of
which will therefore have a completion to a type in \(S_{p_0p_2}(A)\) witnessing \(p_0\mathrel {\equiv _{\mathrm {D}}}p_2\). To see that \(\Phi \) is consistent, in a larger monster \(\mathfrak U_1\) let \((a,b)\vDash p_0\cup r\) and \(({\tilde{b}}, {\tilde{c}})\vDash p_1\cup s\). Since \({{\,\mathrm{tp}\,}}(b/\mathfrak U)=p_1={{\,\mathrm{tp}\,}}({\tilde{b}}/\mathfrak U)\), there is \(f\in {{\,\mathrm{Aut}\,}}(\mathfrak U_1/\mathfrak U)\) such that \(f({\tilde{b}})=b\), and then \((a,b,f({\tilde{c}}))\vDash \Phi \).
The proof for \(\mathrel {\ge _{\mathrm {D}}}\) is exactly the same, except we do not need to consider the \(\rho _\delta \) formulas. \(\square \)
As we are interested in the interaction of these notions with \(\otimes \), we restrict our attention to quotients of \(S^{\mathrm {inv}}(\mathfrak U)\). Note that, by the following lemma, whether or not \(p\in S^{\mathrm {inv}}(\mathfrak U)\) only depends on its equivalence class.
Lemma 1.8
If \(p\in S^{\mathrm {inv}}_x(\mathfrak U, A)\) and \(r\in S_{xy}(B)\) are such that \(p\cup r\) is consistent and \(p\cup r\vdash q\in S_y(\mathfrak U)\), then q is invariant over AB.
Proof
The set of formulas \(p\cup r\) is fixed by \({{\,\mathrm{Aut}\,}}(\mathfrak U/AB)\) and implies q. As q is complete, the conclusion follows. \(\square \)
Anyway, q will not be in general Ainvariant: for instance, by the proof of point 3 of Proposition 1.19, for every p and every realised q we have \(p\mathrel {\ge _{\mathrm {D}}}q\), and it is enough to take q realised in \(\mathfrak U{\setminus } {{\,\mathrm{dcl}\,}}(A)\) to get a counterexample.
Definition 1.9
Let \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) be the quotient of \(S^{\mathrm {inv}}(\mathfrak U)\) by \(\mathrel {\sim _{\mathrm {D}}}\), and \({\overline{{\text {Inv}}}}(\mathfrak U)\) the quotient of \(S^{\mathrm {inv}}(\mathfrak U)\) by \(\mathrel {\equiv _{\mathrm {D}}}\).
Note that, if \(p\cup r\vdash q\), by passing to a suitable extension of r there is no harm in enlarging its domain, provided it stays small. This sort of manipulation will from now on be done tacitly.
Remark 1.10
In [3], the name domination–equivalence is used to refer to \(\mathrel {\equiv _{\mathrm {D}}}\) (no mention is made of \(\mathrel {\ge _{\mathrm {D}}}\) and \(\mathrel {\sim _{\mathrm {D}}}\)). The reason for this change in terminology is to ensure consistency with the notions with the same names classically defined for stable theories, which coincide with the ones just defined (see Sect. 5). As \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) carries a poset structure, and is in some sense better behaved than \({\overline{{\text {Inv}}}}(\mathfrak U)\), we mostly focus on the former.
Example 1.11

1.
It is easy to see that, in any strongly minimal theory, two global types are domination–equivalent, equivalently equidominant, precisely when they have the same dimension over \(\mathfrak U\).

2.
In DLO, if p(x) is the type at \(+\infty \), then \(p(x)\mathrel {\equiv _{\mathrm {D}}}p(y)\otimes p(z)\), as can be easily seen by using some r containing the formula \(x=z\).

3.
The two equivalence relations differ in the theory DLOP of a DLO with a densecodense predicate P. In this case, if p(x) is the type at \(+\,\infty \) in P, and q(y) is the type at \(+\,\infty \) in \(\lnot P\), then \(p(x)\mathrel {\ge _{\mathrm {D}}}q(y)\) (resp. \(p(x)\mathrel {\le _{\mathrm {D}}}q(y)\)) can be witnessed by any r containing \(y>x\) (resp. \(y<x\)). To show , take any \(r\in S_{pq}(A)\). Since \((p(x)\upharpoonright \emptyset )\cup (q(y)\upharpoonright \emptyset )\vdash P(x)\wedge \lnot P(y)\) we have \(r\vdash x\ne y\), and since A is small there is \(b\in \mathfrak U\) such that \(b>A\). It follows from quantifier elimination that, if for instance \(r\vdash x>y\), then , and a fortiori . The reason the two equivalence relations may differ is, simply, that even if there are \(r_0\) and \(r_1\) such that \(p\cup r_0\vdash q\) and \(q\cup r_1\vdash p\), we may still have that the union \(r_0\cup r_1\) is inconsistent.

4.
The two equivalence relations may differ even in a stable theory, as shown by [17, Example 5.2.9] together with the fact (Proposition 5.4) that the classical definitions via forking (see Definition 5.3) in stable theories coincide with the ones in Definition 1.6.
1.1.3 Interaction with \(\otimes \)
We start our investigation of the compatibility of \(\otimes \) with \(\mathrel {\ge _{\mathrm {D}}}\) and \(\mathrel {\equiv _{\mathrm {D}}}\) with two easy lemmas. While the first one will not be needed until later, the second one will be used repeatedly.
Lemma 1.12
If \(A\subseteq B\subseteq C\), \(p_x,q_y\in S(C)\) and \(r\in S_{pq}(A)\) is such that \(p\cup r\vdash q\), then \((p\upharpoonright B)\cup r\vdash q\upharpoonright B\).
Proof
Let \(\psi (y) \in q\upharpoonright B\). By hypothesis and compactness there is \(\chi (x,y)\in r\) such that \(p \vdash \forall y\; (\chi (x,y)\rightarrow \psi (y))\). As \(A\subseteq B\), this formula is in \(p\upharpoonright B\). \(\square \)
Lemma 1.13
If \(p_x,q_y\in S^{\mathrm {inv}}(\mathfrak U, A)\) and \(r\in S_{pq}(A)\) is such that \(p\cup r\vdash q\), then for all sets of parameters \(B\supseteq \mathfrak U\) we have \((p\mid B)\cup r\vdash q\mid B\).
Proof
Let \(\varphi (y;w)\) be an \(L(\emptyset )\)formula and \(b\in B\) be such that \(\varphi (y;b)\in q\mid B\). Pick any \({\tilde{b}}\in \mathfrak U\) such that \({\tilde{b}}\equiv _A b\). By definition of \(q\mid B\) we have \(\varphi (y;{\tilde{b}})\in q\), so by hypothesis and compactness there is an L(A)formula \(\psi (x,y)\in r(x,y)\) such that \(p\vdash \forall y\; \bigl (\psi (x,y)\rightarrow \varphi (y;{\tilde{b}})\bigr )\). But then, by definition of \(p\mid B\) and the fact that \(\psi \in L(A)\) we have \(p\mid B\vdash \forall y\; \bigl (\psi (x,y)\rightarrow \varphi (y; b)\bigr )\), and since \(\psi \in r\) we get \((p\mid B)\cup r\vdash \varphi (y;b)\). \(\square \)
Notation
We adopt from now on the following conventions. The letter A continues to denote a small set. The symbols p, q, possibly with subscripts, denote global Ainvariant types, and r stands for an element of, say, \(S_{pq}(A)\) witnessing domination or equidominance.
The first use we make of Lemma 1.13 is to prove the following statement, which generalises [9, Corollaire 11].
Lemma 1.14
Suppose \(p_0(x)\cup r(x,y)\vdash p_1(y)\), and let \(s\,:=\,r(x,y)\cup \lbrace z=w \rbrace \). Then \((p_0(x)\otimes q(z))\cup s\vdash p_1(y)\otimes q(w)\). In particular if \(p_0\mathrel {\ge _{\mathrm {D}}}p_1\) then \(p_0\otimes q\mathrel {\ge _{\mathrm {D}}}p_1\otimes q\), and the same holds replacing \(\mathrel {\ge _{\mathrm {D}}}\) with \(\mathrel {\equiv _{\mathrm {D}}}\).
Proof
Choose any \(b\vDash q(z)\). For any \(\varphi (y,z;t)\in L(\emptyset )\) and \(d\in \mathfrak U\) such that \(\varphi (y,z;d)\in p_1(y)\otimes q(z)\) we have, by definition of \(\otimes \), that \(p_1(y)\mid \mathfrak Ub\vDash \varphi (y, b; d)\). By Lemma 1.13 there is some L(A)formula \(\psi (x,y)\in r(x,y)\) such that \(p_0(x)\mid \mathfrak Ub\vDash \forall y\; \bigl (\psi (x,y)\rightarrow \varphi (y, b; d)\bigr )\), hence \(p_0(x)\otimes q(z)\vDash \forall y\; \bigl (\psi (x,y)\rightarrow \varphi (y, z; d)\bigr )\). In particular, since \(\psi \in r\), we have \((p_0(x)\otimes q(z))\cup r\vdash \varphi (y,z;d)\). Therefore any completion of \(s\cup \bigl ((p_0(x)\otimes q(z))\upharpoonright A\bigr )\cup \bigl ((p_1(y)\otimes q(w))\upharpoonright A\bigr )\) witnesses that \(p_0(x)\otimes q(z)\mathrel {\ge _{\mathrm {D}}}p_1(y)\otimes q(w)\).
In the special case where the same r also witnesses \(p_1\mathrel {\ge _{\mathrm {D}}}p_0\), for the same s we have that \(s\cup \bigl ((p_0(x)\otimes q(z))\upharpoonright A\bigr )\cup \bigl ((p_1(y)\otimes q(w))\upharpoonright A\bigr )\) witnesses \(p_1\otimes q\mathrel {\ge _{\mathrm {D}}}p_0\otimes q\), and we get \(p_1\otimes q\mathrel {\equiv _{\mathrm {D}}}p_0\otimes q\). \(\square \)
One may expect a similar result to hold when multiplying on the left by p a relation of the form \(q_0\mathrel {\ge _{\mathrm {D}}}q_1\), and indeed it was claimed (without proof) in [3] that \(\mathrel {\equiv _{\mathrm {D}}}\) is a congruence with respect to \(\otimes \). Unfortunately, this turns out not be true in general: we will see in Sect. 2 that it is possible to have \(q_0\mathrel {\equiv _{\mathrm {D}}}q_1\) and simultaneously. For the time being, we assume this does not happen as an hypothesis and explore some of its immediate consequences.
Definition 1.15
For a theory T, we say that \(\otimes \)respects (or is compatible with) \(\mathrel {\ge _{\mathrm {D}}}\) (resp. \(\mathrel {\equiv _{\mathrm {D}}}\)) iff for all global invariant types p, \(q_0\), \(q_1\), if \(q_0\mathrel {\ge _{\mathrm {D}}}q_1\) (resp. \(q_0\mathrel {\equiv _{\mathrm {D}}}q_1\)) then \(p\otimes q_0\mathrel {\ge _{\mathrm {D}}}p\otimes q_1\) (resp. \(p\otimes q_0\mathrel {\equiv _{\mathrm {D}}}p\otimes q_1\)).
Corollary 1.16

1.
\(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\) if and only if \((S^{\mathrm {inv}}(\mathfrak U), \otimes , \mathrel {\ge _{\mathrm {D}}})\) is a preordered semigroup. In this case \(\mathrel {\sim _{\mathrm {D}}}\) is a congruence with respect to \(\otimes \), and the latter induces on \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \mathrel {\ge _{\mathrm {D}}})\) the structure of a partially ordered semigroup.

2.
\(\otimes \) respects \(\mathrel {\equiv _{\mathrm {D}}}\) if and only if \(\mathrel {\equiv _{\mathrm {D}}}\) is a congruence with respect to \(\otimes \).
Proof
Everything follows at once from Lemma 1.14. \(\square \)
Lemma 1.17
Suppose that \(p,q\in S^{\mathrm {inv}}(\mathfrak U)\) and p is realised. The following are equivalent: 1. \(p\mathrel {\equiv _{\mathrm {D}}}q\). 2. \(p\mathrel {\sim _{\mathrm {D}}}q\). 3. \(p\mathrel {\ge _{\mathrm {D}}}q\). 4. q is realised.
Proof
The implications \(1\Rightarrow 2\Rightarrow 3\) are true by definition, even when p is not realised. Let \(p={{\,\mathrm{tp}\,}}(a/\mathfrak U)\), where \(a\in \mathfrak U\).
For \(3\Rightarrow 4\) suppose that \(r\in S_{pq}(A)\) is such that \(p\cup r\vdash q\). Since \(\lbrace x=a \rbrace \vdash p\), we have \(\lbrace x=a \rbrace \cup r\vdash q\). But since \(\lbrace x=a \rbrace \cup r\) is a small type, it is realised in \(\mathfrak U\) by some (a, b), and clearly \(b\vDash q\).
For \(4\Rightarrow 1\) suppose that for some \(b\in \mathfrak U\) we have \(q={{\,\mathrm{tp}\,}}(b/\mathfrak U)\) and let A be any small set containing a and b. Clearly, \((x=a)\wedge (y=b)\) implies a complete type \(r\in S_{xy}(A)\) containing \((p\upharpoonright A)\cup (q\upharpoonright A)\), and since \(r(x,y)\vdash p(x)\cup q(y)\) we have that r witnesses \(p\mathrel {\equiv _{\mathrm {D}}}q\). \(\square \)
Lemma 1.18
Suppose that \(p_x, q_y\in S^{\mathrm {inv}}(\mathfrak U)\) and that p is realised by \(a\in \mathfrak U\). Then \(\lbrace x=a \rbrace \cup q(y)\vdash p(x)\cup q(y)\vdash p(x)\otimes q(y)=q(y)\otimes p(x)\). Moreover, \(p(x)\otimes q(y)\mathrel {\equiv _{\mathrm {D}}}q(y)\).
Proof
The first part is clear. It follows that, if q is Ainvariant and \(a\in A\), in order to show that \(p(x)\otimes q(y)\mathrel {\equiv _{\mathrm {D}}}q(z)\) it suffices to take as r the type \(\lbrace x=a \rbrace \cup \lbrace y=z \rbrace \cup (q(y)\upharpoonright A)\cup (q(z)\upharpoonright A)\). \(\square \)
Notation
When quotienting by \(\mathrel {\sim _{\mathrm {D}}}\) or \(\mathrel {\equiv _{\mathrm {D}}}\) we denote by \(\llbracket p \rrbracket \) the class of p, with the understanding that the equivalence relation we are referring to is clear from context. We write \(\llbracket 0 \rrbracket \) for the class of realised types.^{Footnote 2}
Proposition 1.19
Suppose that \(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\) (resp. \(\mathrel {\equiv _{\mathrm {D}}}\)). Then:
 1.
\(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes )\) (resp. \(({\overline{{\text {Inv}}}}(\mathfrak U), \otimes )\)) has neutral element \(\llbracket 0 \rrbracket \);
 2.
no element different from \(\llbracket 0 \rrbracket \) is invertible;
 3.
in \({\widetilde{{\text {Inv}}}}(\mathfrak U)\), \(\llbracket 0 \rrbracket \) is the minimum of \(\mathrel {\ge _{\mathrm {D}}}\).
Proof

1.
Let \(p={{\,\mathrm{tp}\,}}(a/\mathfrak U)\) and \(q\in S^{\mathrm {inv}}(\mathfrak U)\), where \(a\in \mathfrak U\). Apply Lemma 1.18 and note that \(p\otimes q\mathrel {\equiv _{\mathrm {D}}}q\) implies \(p\otimes q\mathrel {\sim _{\mathrm {D}}}q\).

2.
By the previous point if \(\llbracket p \rrbracket \) is invertible then there is some \(q\in S^{\mathrm {inv}}(\mathfrak U)\) such that \(p\otimes q\) is realised. In particular, p is realised as well.

3.
We have to show that for every p(x) and every realised q(y) we have \(p\mathrel {\ge _{\mathrm {D}}}q\). If q is realised by \(b\in \mathfrak U\), it is sufficient to put in r the formula \(y=b\). \(\square \)
1.2 Some sufficient conditions
We proceed to investigate sufficient conditions for \(\otimes \) to respect \(\mathrel {\ge _{\mathrm {D}}}\) and \(\mathrel {\equiv _{\mathrm {D}}}\). These conditions are admittedly rather artificial, but we show they are a consequence of other properties that are easier to test directly, such as stability.
In what follows, types will be usually assumed to have no realised coordinates and no duplicate coordinates, i.e. we will assume, for all \(i<j<x \) and \(a\in \mathfrak U\), to have \(p(x)\vdash (x_i\ne a)\wedge (x_i\ne x_j)\). Up to domination–equivalence, and even equidominance, no generality is lost, as justified by Lemma 1.18 and by the fact that, for example, if \(p(x_0)\) is any 1type and \(q(y_0,y_1)\vdash p(y_0)\cup \lbrace y_0=y_1 \rbrace \), setting \(x_0=y_0=y_1\) shows \(p\mathrel {\equiv _{\mathrm {D}}}q\).
We usually abuse the notation and indicate e.g. \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes , \mathrel {\le _{\mathrm {D}}})\) simply with \({\widetilde{{\text {Inv}}}}(\mathfrak U)\).
Definition 1.20
Let \(p,q_0,q_1\in S^{\mathrm {inv}}(\mathfrak U)\) and \(r\in S_{q_0q_1}(A)\). Let \(\mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U\) and \(b,c\in \mathfrak U_1\) be such that \((b,c)\vDash q_0\cup r\cup q_1\), and let \(a\vDash p(x)\mid \mathfrak U_1\). Define
We say that T has stationary domination (resp. stationary equidominance) iff whenever \(p,q_0,q_1\in S^{\mathrm {inv}}(\mathfrak U)\) and \(q_0\mathrel {\ge _{\mathrm {D}}}q_1\) (resp. \(q_0\mathrel {\equiv _{\mathrm {D}}}q_1\)), there are \(A\mathrel {\subset ^+}\mathfrak U\) and \(r\in S_{q_0q_1}(A)\) such that
\(p(x),q_0(y),q_1(z)\) are Ainvariant,
\(q_0\cup r\vdash q_1\) (resp. \(q_0\cup r\vdash q_1\) and \(q_1\cup r\vdash q_0\)), and
for all \(\mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U\), all \(b,c\in \mathfrak U_1\) such that \((b,c)\vDash q_0\cup r\) and all \(a\vDash p(x)\mid \mathfrak U_1\), we have
$$\begin{aligned} (p(x)\otimes q_0(y))\cup r[p]\vdash p(w)\otimes q_1(z) \end{aligned}$$(resp. \((p(x)\otimes q_0(y))\cup r[p]\vdash p(w)\otimes q_1(z)\) and \((p(w)\otimes q_1(z))\cup r[p]\vdash p(x)\otimes q_0(y)\)).
Proposition 1.21
If T has stationary domination, then \(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\). If T has stationary equidominance, then \(\otimes \) respects \(\mathrel {\equiv _{\mathrm {D}}}\).
Proof
Immediate from the definitions. \(\square \)
Definition 1.22
We say that \(q_1\)is algebraic over\(q_0\) iff there are \(b\vDash q_0\) and \(c\vDash q_1\) such that \(c\in {{\,\mathrm{acl}\,}}(\mathfrak Ub)\). We say that T has algebraic domination iff \(p\mathrel {\ge _{\mathrm {D}}}q\) if and only if q is algebraic over p.
Proposition 1.23
Suppose that \(q_1\) is algebraic over \(q_0\). Then for all \(p\in S^{\mathrm {inv}}(\mathfrak U)\) we have \(p\otimes q_0\mathrel {\ge _{\mathrm {D}}}p\otimes q_1\), and this is witnessed by a type r[p] as in the definition of stationary domination. In particular, algebraic domination implies stationary domination.
Proof
Let \(b,c\in \mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U\) witness algebraicity of \(q_1\) over \(q_0\). Suppose \(\psi (y,z)\) is an \(L(\mathfrak U)\)formula such that \(\psi (b,z)\) isolates \({{\,\mathrm{tp}\,}}(c/\mathfrak Ub)\), and let \(s{\,:=\,}\lbrace x=w \rbrace \cup \lbrace \psi (y,z) \rbrace \). If A is such that \(p\in S^{\mathrm {inv}}(\mathfrak U, A)\) and \(\psi (y,z)\in L(A)\), let \(r\,:=\,q_0(y)\upharpoonright A\cup \lbrace \psi (y,z) \rbrace \). Then \(s\subseteq r[p]\), so it is enough to show that \(p(x)\otimes q_0(y)\cup s\vdash p(w)\otimes q_1(z)\). In some \(\mathfrak U_2\mathrel {^+\!\!\succ }\mathfrak U_1\), let \(a\vDash p\mid \mathfrak U_1\) and let \(\varphi (w, z)\in p(w)\otimes q_1(z)\). This means that \(\varphi (w,z)\in L(\mathfrak U)\) and \(\varphi (w, c)\in {{\,\mathrm{tp}\,}}(a/\mathfrak Uc)=p\mid \mathfrak Uc\).
By hypothesis, there are only finitely many \({\tilde{c}}\equiv _{\mathfrak Ub} c\), which must be contained in any model containing \(\mathfrak Ub\) and, by invariance of \(p\mid \mathfrak U_1\), for all such \({\tilde{c}}\in \mathfrak U_1\) we have \(p\mid \mathfrak U_1\vdash \varphi (x, {\tilde{c}})\). It follows that \({{\,\mathrm{tp}\,}}(a/\mathfrak U_2)\vdash \forall z\; \bigl (\psi (b,z)\rightarrow \varphi (w,z)\bigr )\). As the latter is an \(L(\mathfrak Ub)\)formula, it is contained in \(p\mid \mathfrak Ub\), and it follows that \((p(x)\otimes q_0(y))\cup s\vdash p(w)\otimes q_1(z)\). \(\square \)
Corollary 1.24
Suppose that \(q_1\) is the pushforward \(f_*(q_0)\) of \(q_0\), for some definable function f. Then, for all \(p\in S^{\mathrm {inv}}(\mathfrak U)\), we have \(p\otimes q_0\mathrel {\ge _{\mathrm {D}}}p\otimes q_1\).
Proposition 1.25
Let T be stable. Then T has stationary domination and stationary equidominance. Moreover \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) and \({\overline{{\text {Inv}}}}(\mathfrak U)\) are commutative.
Proof
Let r witness \(q_0(y)\mathrel {\ge _{\mathrm {D}}}q_1(z)\). By Lemma 1.14\((q_0(y)\otimes p(x))\cup r(y,z)\cup \lbrace x=w \rbrace \vdash q_1(z)\otimes p(w)\). As \(r\cup \lbrace x=w \rbrace \subseteq r[p]\) and T is stable if and only if \(\otimes \) is commutative, we have stationary domination and commutativity of \({\widetilde{{\text {Inv}}}}(\mathfrak U)\). For stationary equidominance and commutativity of \({\overline{{\text {Inv}}}}(\mathfrak U)\), argue analogously starting with any r witnessing \(q_0(y)\mathrel {\equiv _{\mathrm {D}}}q_1(z)\). \(\square \)
Definition 1.26
T is weakly binary iff whenever a, b are tuples from some \(\mathfrak U_1\succ \mathfrak U\) and \({{\,\mathrm{tp}\,}}(a/\mathfrak U)\) and \({{\,\mathrm{tp}\,}}(b/\mathfrak U)\) are invariant there is \(A\mathrel {\subset ^+}\mathfrak U\) such that
Lemma 1.27
If T is weakly binary and \({{\,\mathrm{tp}\,}}(a/\mathfrak U)\), \({{\,\mathrm{tp}\,}}(b/\mathfrak U)\) are both invariant, then so is \({{\,\mathrm{tp}\,}}(ab/\mathfrak U)\).
Proof
If (1) holds and \({{\,\mathrm{tp}\,}}(a/\mathfrak U)\) and \({{\,\mathrm{tp}\,}}(b/\mathfrak U)\) are Binvariant then the lefthand side of (1) is fixed by \({{\,\mathrm{Aut}\,}}(\mathfrak U/AB)\). As \({{\,\mathrm{tp}\,}}(a,b/\mathfrak U)\) is complete, it is ABinvariant. \(\square \)
Example 1.28
Every binary theory T, i.e. where every formula is equivalent modulo T to a Boolean combination of formulas with at most two free variables, is weakly binary. This follows from the fact that T is binary if and only if for any B and tuples a, b
An example of a weakly binary theory which is not binary is the theory of a dense circular order, or any other nonbinary theory that becomes binary after naming some constants. A weakly binary theory which does not become binary after adding constants can be obtained by considering a structure (M, E, R) where E is an equivalence relation with infinitely many classes, on each class R(x, y, z) is a circular order, and \(R(x,y,z)\rightarrow E(x,y)\wedge E(x,z)\). The generic 3hypergraph and \(\textsf {ACF}_0\) are not weakly binary.
We thank Jan Dobrowolski for pointing out the relationship between binarity and weak binarity, therefore also implicitly suggesting a name for the latter.
Lemma 1.29
T is weakly binary if and only if for every \(n\ge 2\) we have the following. If \(a^0,\ldots ,a^{n1}\) are such that for all \(i<n\) we have \({{\,\mathrm{tp}\,}}(a^i/\mathfrak U)\in S^{\mathrm {inv}}(\mathfrak U)\), then there is \(A\mathrel {\subset ^+}\mathfrak U\) such that
Proof
For the nontrivial direction, assume T is weakly binary. For notational simplicity we will only show the case \(n=3\), and leave the easy induction to the reader. Let a, b, c be tuples with invariant global type. By Lemma 1.27\({{\,\mathrm{tp}\,}}(bc/\mathfrak U)\) is still invariant, so we can let A witness weak binarity for b, c and for a, bc simultaneously, where bc is considered now as a single tuple. Then \({{\,\mathrm{tp}\,}}(b/\mathfrak U)\cup {{\,\mathrm{tp}\,}}(c/\mathfrak U)\cup {{\,\mathrm{tp}\,}}(a,b,c/A)\vdash {{\,\mathrm{tp}\,}}(b,c/\mathfrak U)\), and by applying weak binarity to a, bc we get
\(\square \)
Corollary 1.30
Every weakly binary theory has stationary domination and stationary equidominance.
Proof
Let \(p(x),q_0(y), q_1(z)\) be \(A_0\)invariant and \(r\in S_{q_0q_1}(A_0)\) be such that \(q_0\cup r\vdash q_1\). In some \(\mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U\) choose \((b,c)\vDash q_0 \cup r\), then choose \(a\vDash p\mid \mathfrak U_1\). By the case \(n=3\) of (2) there is some \(A\mathrel {\subset ^+}\mathfrak U\), which without loss of generality includes \(A_0\), such that
Let \(r[p]{\,:=\,} {{\,\mathrm{tp}\,}}_{xyz}(abc/A)\cup \lbrace x=w \rbrace \) and note that \(r\subseteq r[p]\). Therefore \((p\otimes q_0)\cup r[p]\vdash q_0\cup r\vdash q_1={{\,\mathrm{tp}\,}}(c/\mathfrak U)\). Combining this with (3), and observing that \({{\,\mathrm{tp}\,}}(ab/\mathfrak U)=p\otimes q_0\), that \({{\,\mathrm{tp}\,}}(ac/\mathfrak U)=p\otimes q_1\) and that \(r[p]\vdash x=w\), we have
This proves stationary domination. For stationary equidominance, start with an r witnessing \(q_0\mathrel {\equiv _{\mathrm {D}}}q_1\) and prove analogously that in addition \((p(w)\otimes q_1(z))\cup r[p]\vdash p(x)\otimes q_0(y)\). \(\square \)
We now give some examples of \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes , \mathrel {\ge _{\mathrm {D}}})\). These characterisations can be proven with easy ad hoc arguments but, as such computations are made almost immediate by results like Proposition 3.13 or Theorem 5.11, we state them without proof. We postpone the investigation of further examples to a future paper.
Example 1.31
If T is a strongly minimal theory (see Example 1.11), then \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes , \mathrel {\ge _{\mathrm {D}}})\cong ({\mathbb {N}}, +, \ge )\).
Example 1.32
Let T be the theory of an equivalence relation E with infinitely many classes, all of which are infinite. Since T is \(\omega \)stable, by Proposition 1.25 and Proposition 1.21\(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\), and moreover by [13, Theorem 14.2] for every \(\kappa \) there is a \(\kappa \)saturated \(\mathfrak U\vDash T\) of size \(\kappa \). For such \(\mathfrak U\) we have \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes , \mathrel {\ge _{\mathrm {D}}})\cong \bigoplus _{\kappa } {\mathbb {N}}\), where each copy of \({\mathbb {N}}\) is equipped with the usual \(+\) and \(\ge \), and \(\oplus \) is the direct sum of ordered monoids.
To spell this out and give a little extra information on \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) for T, fix a choice of representatives \(\langle b_i\mid 0<i<\kappa \rangle \) for \(\mathfrak U/E\) and let \(\pi _E:\mathfrak U\rightarrow \mathfrak U/E\) be the projection to the quotient. Then an element \(\llbracket p \rrbracket \in {\widetilde{{\text {Inv}}}}(\mathfrak U)\) corresponds to a \(\kappa \)sequence \((n_i)_{i<\kappa }\) of natural numbers with finite support where, for any \(c\vDash p\), \(n_0=\pi _E c{\setminus }\pi _E \mathfrak U \) and, for positive i, \(n_i=\lbrace c_j\in c\mid E(c_j, b_i) \rbrace {\setminus } E(\mathfrak U, b_i) \), i.e. \(n_0\) counts the new equivalence classes represented in p and, when i is positive, \(n_i\) counts the number of new points in the equivalence class of \(b_i\). Addition is done componentwise and \((n_i)_{i<\kappa }\le (m_i)_{i<\kappa }\) iff \(\forall i<\kappa \; n_i\le m_i\).
As we will see in Sect. 5, the fact that \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) has the previous forms follows from the stabilitytheoretic properties of the theories above: Theorem 5.11 applies to both and, in the case of Example 1.31, Corollary 5.19 tells us directly that \({\widetilde{{\text {Inv}}}}(\mathfrak U)\cong {\mathbb {N}}\).
Example 1.33
As DLO is binary, \(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\). We have already seen an example of two domination–equivalent types in this theory in Example 1.11. To describe \({\widetilde{{\text {Inv}}}}(\mathfrak U)\), call a cut in \(\mathfrak U\)invariant iff it has small cofinality on exactly one side, and let \({\text {IC}}\mathfrak U\) be the set of all such. The domination–equivalence class of an invariant type in DLO is determined by the (necessarily invariant) cuts in which it concentrates and, writing \({{\mathscr {P}}}_{\mathrm {fin}}(X)\) for the set of finite subsets of X, we have \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes , \mathrel {\ge _{\mathrm {D}}})\cong ({{\mathscr {P}}}_{\mathrm {fin}}({\text {IC}}\mathfrak U), \cup , \supseteq )\).
2 Counterexamples
In [3, p. 18] it was claimed without proof that \({\overline{{\text {Inv}}}}(\mathfrak U)\) is welldefined and commutative in every firstorder theory. This section contains counterexamples to the statements above.
2.1 Welldefinedness
This subsection is dedicated to the proof of the following result.
Theorem 2.1
There is a ternary, \(\omega \)categorical, supersimple theory of SUrank 2 with degenerate algebraic closure in which neither \(\mathrel {\sim _{\mathrm {D}}}\) nor \(\mathrel {\equiv _{\mathrm {D}}}\) are congruences with respect to \(\otimes \).
In Proposition 2.3, we present the promised theory as a Fraïssé limit (see [4, Theorem 7.1.2]) and provide an explicit axiomatisation. We then show in Proposition 2.5 that in this theory \(\otimes \) does not respect \(\mathrel {\ge _{\mathrm {D}}}\), nor \(\mathrel {\equiv _{\mathrm {D}}}\).
Denote by \(S_3\) the group of permutations of \(\lbrace 0,1,2 \rbrace \).
Definition 2.2
Let L be the relational language \(L{\,:=\,}\lbrace E^{(2)}, R_2^{(2)}, R_3^{(3)} \rbrace \), where arities of symbols are indicated as superscripts, and define \(\Lambda \,:=\,\Lambda _0\wedge \Lambda _1\), where
Let K be the class of finite Lstructures where
 1.
E is an equivalence relation,
 2.
\(R_2\) is symmetric, irreflexive and Eequivariant, i.e. \((E(x_0, x_1)\wedge E(y_0,y_1))\rightarrow (R_2(x_0, y_0)\leftrightarrow R_2(x_1, y_1))\),
 3.
\(R_3\) is a symmetric relation, i.e. \(R_3(x_0,x_1, x_2)\rightarrow \bigwedge _{\sigma \in S_3} R_3( x_{\sigma 0}, x_{\sigma 1}, x_{\sigma 2})\), and
 4.
\(R_3(x_0,x_1,x_2)\rightarrow \Lambda (x_0,x_1, x_2)\) is satisfied.
Note that in particular \(R_2\) is still symmetric irreflexive on the quotient by E. We do not add an imaginary sort for this quotient; it will be notationally convenient to mention it anyway but, formally, every reference to the quotient by E, the relative projection, etc, is to be understood as a mere shorthand.
Proposition 2.3
 1.
K is a Fraïssé class with strong amalgamation.
Let T be the theory of the Fraïssé limit of K.
 2.
T is \(\omega \)categorical, eliminates quantifiers in L and has degenerate algebraic closure, i.e. for all sets \(X\subseteq M\vDash T\) we have \({{\,\mathrm{acl}\,}}X=X\).
 3.
T is ternary, i.e. in T every formula is equivalent to a Boolean combination of formulas with at most 3 free variables.
 4.
T can be axiomatised as follows:
 (I)
E is an equivalence relation with infinitely many classes, all of which are infinite.
 (II)
Whether \(R_2(x_0,x_1)\) holds only depends on the Eclasses of \(x_0\), \(x_1\); moreover, the structure induced by \(R_2\) on the quotient by E is elementarily equivalent to the Random Graph.
 (III)
T satisfies \(R_3(x_0,x_1,x_2)\rightarrow \Lambda (x_0,x_1, x_2)\), i.e. if \(R_3(x_0,x_1,x_2)\) holds then between the \(x_i\) there are precisely two \(R_2\)edges and their Eclasses are pairwise distinct.
 (IV)
Denote by \([x_i]_E\) the Eclass of \(x_i\). If \(\Lambda (x_0, x_1, x_2)\) holds, then \(R_3\upharpoonright [x_0]_E\times [x_1]_E\times [x_2]_E\) is a symmetric generic tripartite 3hypergraph, i.e. for any \(i<j<3\) and \(k\in \lbrace 0,1,2 \rbrace {\setminus } \lbrace i,j \rbrace \), if \(U, V\subseteq [x_i]_E\times [x_j]_E\) and \(U\cap V=\emptyset \) then there is \(z\in [x_k]_E\) such that for every \((x,y)\in U\) we have \(R_3(x,y,z)\) and for every \((x,y)\in V\) we have \(\lnot R_3(x,y,z)\).
 (I)
 5.
T is supersimple of SUrank 2.
Proof

1.
Routine, left to the reader.

2.
This is standard, see e.g. [4, Theorem 7.1.8 and Corollary 7.3.4].

3.
T eliminates quantifiers in a ternary relational language.

4.
Easy backandforth between the Fraïssé limit of K and any model of (I)–(IV).

5.
Denote by \(\pi \) the projection to the quotient by E. A routine application of the Kim–Pillay Theorem (see [8, Theorem 4.2]) shows that T is simple and forking is given by , from which we immediately see that the SUrank of any 1type in T is at most 2; finding a 1type of SUrank 2 is easy. \(\square \)
Definition 2.4
In T, define the global types
These three types are complete by quantifier elimination and the axioms of T: for instance, in the case of \(q_1\), the condition \(E(z_0, z_1)\) together with the restriction of \(q_1\) to \(z_0\) decides all the \(R_2\)edges of \(z_1\), and for all \(a,b\in \mathfrak U\) we have \(\lnot \Lambda _0(z_1, a,b)\), hence \(\lnot R_3(z_1, a,b)\). Moreover, it follows easily from their definition that p, \(q_0\) and \(q_1\) are all \(\emptyset \)invariant.
Proposition 2.5
\(q_0\mathrel {\equiv _{\mathrm {D}}}q_1\) and in particular \(q_0\mathrel {\sim _{\mathrm {D}}}q_1\). Nonetheless, .
Proof
Let A be any small set and let \(r(y,z_0, z_1)\in S_{q_0q_1}(A)\) contain the formula \(y=z_0\). Clearly, \(q_1(z)\cup r(y,z)\vdash q_0(y)\). Moreover, since \(E(z_0, z_1)\wedge z_0\ne z_1\in (q_1\upharpoonright \emptyset )\subseteq r\) we have the first part of the conclusion.
Note that \(p(x)\otimes q_0(y)\) is axiomatised by
and similarly \(p(w)\otimes q_1(z)\) is axiomatised by
Let A be any small set and \(r(x,y,w,z)\in S_{p\otimes q_0, p\otimes q_1}(A)\), then pick any \(a\in \mathfrak U{\setminus } A\) and \(i<2\) such that \((p(x)\otimes q_0(y))\cup r\vdash y\ne z_i\). By genericity of \(R_2\), the set
is consistent,^{Footnote 3} and by genericity of \(R_3\) so is \(\Phi \cup \lbrace R_3(w, z_i, a) \rbrace \) (as well as \(\Phi \cup \lbrace \lnot R_3(w, z_i, a) \rbrace \)). This shows that
\(\square \)
As an aside, note that anyway \(p(x)\otimes q_0(y) \mathrel {\le _{\mathrm {D}}}p(w)\otimes q_1(z)\) by Corollary 1.24, the map f being the projection on the coordinates \((w,z_0)\).
Remark 2.6
An inspection of the proof shows that in fact \(q_0\) and \(q_1\) are “equidominancesemiisolated” over each other (strongly RKequivalent in the terminology of [16]), i.e. there is a formula \(\varphi (y,z)\) consistent with \(q_0(y)\cup q_1(z)\) such that \(q_0(y)\cup \lbrace \varphi (y,z) \rbrace \vdash q_1(z)\) and \(q_1(z)\cup \lbrace \varphi (y,z) \rbrace \vdash q_0(y)\); in this case we can take \(\varphi \,:=\,y=z_0\wedge E(z_0, z_1)\wedge z_0\ne z_1\). Therefore the same counterexample also works with this finer equivalence relation.
Question 2.7
Is \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) welldefined in every NIP theory?
2.2 Commutativity
In this subsection we prove that in the theory of the Random Graph \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) coincides with \({\overline{{\text {Inv}}}}(\mathfrak U)\) and is not commutative. To begin with, note that this theory is binary, hence \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is welldefined by Corollary 1.30 and Proposition 1.21. This also follows from the characterisation of domination we are about to give in Proposition 2.11.
Definition 2.8
Let \(L_0\) be the “empty” language, containing only equality. We say that T has degenerate domination iff whenever \(p(x)\mathrel {\ge _{\mathrm {D}}}q(y)\) there is a small set \(r_0\) of \(L_0(\mathfrak U)\)formulas with free variables included in xy and consistent with p such that \(p\cup r_0\vdash q\).
Remark 2.9
It is easy to see that, if there is \(r_0\) as above, then q is included in p up to removing realised and duplicate coordinates and renaming the remaining ones.
Lemma 2.10
Suppose T has degenerate domination. Then T has algebraic domination, and in particular \(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\). Moreover for global types p and q the following are equivalent:
 1.
There is a small set \(r_0\) of \(L_0(\mathfrak U)\)formulas consistent with \(p\cup q\) such that \(p\cup r_0\vdash q\) and \(q\cup r_0\vdash p\).
 2.
\(p\mathrel {\equiv _{\mathrm {D}}}q\).
 3.
\(p\mathrel {\sim _{\mathrm {D}}}q\).
In particular, \(\otimes \) respects \(\mathrel {\equiv _{\mathrm {D}}}\) too.
Proof
By Remark 2.9 degenerate domination implies algebraic domination. The implications \(1\Rightarrow 2\Rightarrow 3\) are trivial and hold in any theory. To prove \(3\Rightarrow 1\) suppose \(p(x)\mathrel {\sim _{\mathrm {D}}}q(y)\), and let \(r_1\) and \(r_2\) be small sets of \(L_0(\mathfrak U)\)formulas with free variables included in xy and consistent with \(p\cup q\) such that \(p\cup r_1\vdash q\) and \(q\cup r_2\vdash p\). It follows easily from Remark 2.9 that we may find \(r_0\) satisfying the same restrictions as \(r_1\) and \(r_2\) and such that \(p\cup r_0\vdash q\) and \(q\cup r_0\vdash p\) hold simultaneously. \(\square \)
Proposition 2.11
The Random Graph has degenerate domination.
Proof
Suppose that \(r\in S_{pq}(A)\) witnesses \(p(x)\mathrel {\ge _{\mathrm {D}}}q(y)\) and assume that q has no realised or duplicate coordinates. Up to a permutation of the \(y_j\), assume that r identifies \(y_0,\ldots , y_{n1}\) with some variables in x and for all j such that \(n\le j<y \) and all \(i<x \) we have \(r\vdash x_i\ne y_j\). If \(n=y \) then we can let \(r_0\) be a suitable restriction of r and we are done, so assume that \(n<y \), hence for every \(i<x \) we have \(r\vdash y_n\ne x_i\). Pick any \(b\in \mathfrak U{\setminus } A\); by the Random Graph axioms \(p\cup r\) is consistent with both \(E(y_n, b)\) and \(\lnot E(y_n, b)\), contradicting \(p\cup r \vdash q\). \(\square \)
Corollary 2.12
In the theory of the Random Graph, \({\widetilde{{\text {Inv}}}}(\mathfrak U)(={\overline{{\text {Inv}}}}(\mathfrak U))\) is not commutative.
Proof
Consider the global types \(p(x){\,:=\,} \lbrace \lnot E(x, a)\mid a\in \mathfrak U \rbrace \) and \(q(y){\,:=\,} \lbrace E(y, a)\mid a\in \mathfrak U \rbrace \). Both are clearly \(\emptyset \)invariant, and it follows straight from the definitions that \(p(x)\otimes q(y)\vdash \lnot E(x,y)\) and \(q(y)\otimes p(x)\vdash E(x,y)\). The conclusion now follows from degenerate domination and Remark 2.9. \(\square \)
Other easy consequences of Proposition 2.11 are that in the theory of the Random graph
 1.
\({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is not generated by the classes of the ntypes for any fixed \(n<\omega \),
 2.
\({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is not generated by any family of classes of pairwise weakly orthogonal types (see Definition 3.12), and
 3.
for any nonrealised p the submonoid generated by \(\llbracket p \rrbracket \) is infinite.
Question 2.13
Let T be NIP and assume \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is welldefined. Is it necessarily commutative?
The analogous question for \({\overline{{\text {Inv}}}}(\mathfrak U)\) has a negative answer. We are grateful to E. Hrushovski for pointing out the following counterexample and allowing us to include it.
Let DLOP be as in Example 1.11. It eliminates quantifiers in \(\lbrace <, P \rbrace \), it is NIP, and it is binary, hence \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) and \({\overline{{\text {Inv}}}}(\mathfrak U)\) are welldefined by Corollary 1.30 and Proposition 1.21.
Proposition 2.14
(Hrushovski) In \(\textsf {DLOP}\), \({\overline{{\text {Inv}}}}(\mathfrak U)\) is not commutative.
Proof
Let p be the type at \(+\infty \) in the predicate P and q the type at \(+\infty \) in \(\lnot P\), and note that both types are \(\emptyset \)invariant. Let \(r\in S_{p\otimes q, q}(\emptyset )\) contain the formula \(y=z\). Then r witnesses \(p_x\otimes q_y\mathrel {\equiv _{\mathrm {D}}}q_z\), and similarly one shows that \(q\otimes p\mathrel {\equiv _{\mathrm {D}}}p\). As shown in Example 1.11, p and q are not equidominant, and therefore we have . \(\square \)
This counterexample exploits crucially \(\mathrel {\equiv _{\mathrm {D}}}\), as opposed to \(\mathrel {\sim _{\mathrm {D}}}\). In fact, in DLOP\({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is the same as in the restriction of \(\mathfrak U\) to \(\lbrace < \rbrace \), and in DLO\({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is commutative. A further analysis also shows that \(({\overline{{\text {Inv}}}}(\mathfrak U), \otimes )\) cannot be endowed with any order \(\le \) compatible with \(\otimes \) in which \(\llbracket 0 \rrbracket \) is the minimum. In fact, if p and q are as above, then we have already shown that . If we had an order \(\le \) as above then we would get
contradicting \(\llbracket p \rrbracket \ne \llbracket q \rrbracket \).
3 Properties preserved by domination
In this section we show that some properties are preserved downwards by domination. These invariants also facilitate computations of \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) and \({\overline{{\text {Inv}}}}(\mathfrak U)\) for specific theories; an immediate consequence is for instance Corollary 3.8, that such monoids may change when passing to \(T^\mathrm {eq}\).
The next results are related to the ones in [16], which contains a study of weak orthogonality and the global RKorder (similar to domination) in the case of generically stable regular types. Of particular interest are [16, Proposition 3.6], to which Theorem 3.5 is related, and [16, Theorem 4.4].
3.1 Finite satisfiability, definability, generic stability
Definition 3.1
Let \(p\in S^{\mathrm {inv}}_x(\mathfrak U, A)\). A Morley sequence of p over A is an Aindiscernible sequence \(\langle a^i\mid i\in I \rangle \), indexed on some totally ordered set I, such that for any \({i}_{0}<\cdots <{i}_{n1}\) in I we have \({{\,\mathrm{tp}\,}}(a^{i_{n1}},\ldots , a^{i_0}/A)=p^{(n)}\upharpoonright A\) [sic]^{Footnote 4}.
Definition 3.2
Let \(M\mathrel {\prec ^+}\mathfrak U\) and \(A\mathrel {\subset ^+}\mathfrak U\).
 1.
A partial type \(\pi \) is finitely satisfiable inM iff for every finite conjunction \(\varphi (x)\) of formulas in \(\pi \) there is \(m\in M\) such that \(\vDash \varphi (m)\).
 2.
A global type \(p\in S_x(\mathfrak U)\) is definable overA iff it is Ainvariant and for every \(\psi (x;y)\in L\) the set \(d_p\psi \) is clopen, i.e. of the form \(\lbrace q\in S_y(A)\mid \varphi \in q \rbrace \) for a suitable \(\varphi \in L(A)\).
 3.
A global type \(p\in S_x(\mathfrak U)\) is generically stable overA iff it is Ainvariant and for every ordinal \(\alpha \ge \omega \) and Morley sequence \((a^i\mid i<\alpha )\) of p over A, the set of formulas \(\varphi (x)\in L(\mathfrak U)\) true of all but finitely many \(a^i\) is a complete global type.
We say that p is definable iff it is definable over A for some small A, and similarly for the other two notions.
The definition of generic stability we use is that of [1, Definition 1.6].
It is wellknown (see [13, Lemma 12.10]) that every partial type which is finitely satisfiable in M extends to a global type still finitely satisfiable in M, and that if \(p\in S(\mathfrak U)\) is finitely satisfiable in M then p is Minvariant (see [13, Theorem 12.13]). Moreover all the notions above are monotone: for instance if p is generically stable over A and \(A\subseteq B\), then p is generically stable over B, as Morley sequences over B are in particular Morley sequences over A.
Fact 3.3
[14, Proposition 1(ii)] If p is generically stable over a model M, then p is finitely satisfiable in M.
Lemma 3.4
Suppose \(p\in S^{\mathrm {inv}}_x(\mathfrak U)\) is finitely satisfiable in M and \(r\in S_{xy}(M)\) is consistent with p. Then \(p\cup r\) is finitely satisfiable in M.
Proof
Pick any \(\varphi (x)\in p\) and \(\rho (x,y)\in r\). As \(p\cup r\) is consistent, we have \(p\vdash \exists y\; (\varphi (x)\wedge \rho (x,y))\), and as p is finitely satisfiable in M there is \(m^0\in M\) such that \(\vDash \exists y\; (\varphi (m^0)\wedge \rho (m^0,y))\). In particular, \(\vDash \exists y\; \rho (m^0, y)\), and since \(\rho (m^0, y)\in L(M)\) and M is a model there is \(m^1\in M\) such that \(\vDash \rho (m^0, m^1)\), so \((m^0, m^1)\vDash \varphi (x)\wedge \rho (x,y)\). \(\square \)
We can now prove the main result of this section. Part 3 can be seen as a generalisation of [16, Proposition 3.6]; the missing step to formally call it a generalisation would be to know that for a regular type p the equivalence \(p\mathrel {\not \perp ^\mathrm {w}}q\Leftrightarrow p\mathrel {\le _{\mathrm {D}}}q\) held. To the best of the author’s knowledge, this is currently only known for strongly regular generically stable types, or under additional assumptions such as stability. See [16] for the definitions of regularity and strong regularity in this context, and the next subsection for \(\mathrel {\perp ^\mathrm {w}}\).
Theorem 3.5
Suppose A is a small set such that \(p_x,q_y\in S^{\mathrm {inv}}(\mathfrak U, A)\) and \(r\in S_{pq}(A)\) is such that \(p\cup r\vdash q\).
 1.
If \(A=M\) is a model and p is finitely satisfiable in M, then so is q.
 2.
If p is definable over A, then so is q.
 3.
If \(A=M\) is a model and p is generically stable over M, then so is q.
Proof
Let \(\psi (y)\in q\), and let by hypothesis and compactness \(\varphi (x)\in p\) and \(\rho (x,y)\in r\) be such that \(\vDash \forall x,y\;\bigl ((\varphi (x)\wedge \rho (x,y))\rightarrow \psi (y)\bigr )\). Lemma 3.4 ensures the existence of \(m^0, m^1\in M\) such that \(\vDash \varphi (m^0)\wedge \rho (m^0, m^1)\), and in particular \(\vDash \psi (m^1)\).
Work in L(A). We want to show that for every \(\psi (y;z^1)\in L(A)\) the set \(d_q\psi \subseteq S_{z^1}(A)\) is clopen; it is sufficient to show that \(d_q\psi \) is open, as since \(\psi \) is arbitrary then the complement \(d_q(\lnot \psi )\) of \(d_q\psi \) will be open as well. Fix d such that \(q\vdash \psi (y;d)\); we are going to find a formula \(\delta (z^1)\in {{\,\mathrm{tp}\,}}(d/A)\) such that every element of \(S_{z^1}(A)\) satisfying \(\delta \) lies in \(d_q\psi \), proving that \({{\,\mathrm{tp}\,}}(d/A)\) is in the interior of \(d_q\psi \).
Let \(z{\,:=\,} z^0z^1\) and take \(\varphi (x;z^0)\in L(A)\), \(e\in \mathfrak U\) and \(\rho (x,y)\in r\) such that
As \(\theta (x;z)\) is an L(A)formula and p is definable over A, the formula \(\delta (z^1){\,:=\,} (\exists z^0\;d_p\theta )(z^1)\) is as well over A. Suppose \({\tilde{d}}\in \mathfrak U\) is such that \(\vDash \delta ({\tilde{d}})\), and let \(\tilde{e}\in \mathfrak U\) be such that \(\vDash d_p\theta (\tilde{e}, \tilde{d})\). By construction we have
and it follows that \(p\cup \lbrace \rho \rbrace \vdash \psi (y,{\tilde{d}})\); therefore \(\psi (y,{\tilde{d}})\in q\). As \(\delta (z^1)\in {{\,\mathrm{tp}\,}}(d/A)\), we are done.
Assume that q is not generically stable over M, as witnessed by an L(M)formula \(\psi (y; w)\), some \({\tilde{d}}\in \mathfrak U^{w }\), an ordinal \(\alpha \) and a Morley sequence \(\langle {\tilde{b}}^i\mid i<\alpha \rangle \) of q over M such that both \(I\,:=\,\lbrace i<\alpha \mid \vDash \lnot \psi ({\tilde{b}}^i; \tilde{d}) \rbrace \) and \(\alpha {\setminus } I\) are infinite and \(\psi (y;{\tilde{d}})\in q(y)\).
By Fact 3.3 and Lemma 3.4\(p\cup r\) is finitely satisfiable in M. Since \(p\cup r\vdash q\), the partial type \(p\cup r\cup q\) is finitely satisfiable in M as well, and therefore extends to some \({\hat{r}}\in S(\mathfrak U)\) which is, again, finitely satisfiable in M, and in particular Minvariant; take a Morley sequence \(\langle (a^i, b^i)\mid i\in I \rangle \) of \({\hat{r}}\) over M, let \(f\in {{\,\mathrm{Aut}\,}}(\mathfrak U/M)\) be such that \(f(\langle {\tilde{b}}^i\mid i\in I \rangle )=\langle b^i\mid i\in I \rangle \), and set \(d\,:=\,f({\tilde{d}})\). Note that p, q, r and \(\psi (y;w)\) are fixed by f.
Now let J be a copy of \(\omega \) disjoint from I and let \(\langle a^j\mid j\in J \rangle \) realise a Morley sequence of p over \(Md\lbrace a^i\mid i\in I \rbrace \). We want to show that the concatenation of \(\langle a^i\mid i\in I \rangle \) with \(\langle a^j\mid j\in J \rangle \) contradicts generic stability of p over M. By construction this is a Morley sequence over M, and if we find \(\chi (x;d)\) such that \(\vDash \chi (a^i;d)\) holds for \(i\in J\) but for no \(i\in I\) then we are done, since I and J are infinite.
As \(\psi (y;d)\in q\) by Minvariance of q, there is by hypothesis \(\varphi (x,y)\in r\) such that \(p(x)\vdash \forall y\; \bigl (\varphi (x,y)\rightarrow \psi (y;d)\bigr )\). Let \(\chi (x;d)\) be the last formula. By hypothesis, for \(i\in J\) we have \(\vDash \chi (a^i; d)\). On the other hand, for \(i\in I\) we have \((a^i,b^i)\vDash \varphi (a^i, b^i)\wedge \lnot \psi (b^i; d)\), and in particular for all \(i\in I\) we have \(\vDash \lnot \chi (a^i;d)\). \(\square \)
Remark 3.6
We are assuming that p, q are Ainvariant. It is not true that if p is finitely satisfiable/definable/generically stable in/over some \(B\subseteq A\) then q must as well be such, for the same B. Even when \(B=N\prec M=A\) are models, a counterexample can easily be obtained by taking q to be the realised type of a point in \(M{\setminus } N\).
Question 3.7
Is it true that in the setting of Remark 3.6q is domination–equivalent to a type finitely satisfiable/definable/generically stable in/over N?
Corollary 3.8
There is a theory T where \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) changes when passing to \(T^\mathrm {eq}\).
Proof
As generic stability is preserved by domination, this happens in any theory where T does not have any nonrealised generically stable type but \(T^\mathrm {eq}\) does, as such a type cannot be domination–equivalent to any type with all variables in the home sort. An example of such a theory is that of a structure \((M, <, E)\) where \((M,<)\vDash \textsf {DLO}\) and E is an equivalence relation with infinitely many classes, all of which are dense. \(\square \)
Such a thing cannot happen when passing from a stableT to \(T^\mathrm {eq}\); see Remark 5.6.
Proposition 3.9
Generically stable types commute with every invariant type.
Proof
The proof of [15, Proposition 2.33] goes through even without assuming NIP provided the definition of “generically stable” is the one above. \(\square \)
Even if \(({\widetilde{{\text {Inv}}}}(\mathfrak U), \otimes )\) need not be welldefined in general, a smaller object is.
Definition 3.10
Let \({\widetilde{{\text {Inv}}}^\mathrm {gs}}\!\!(\mathfrak U)\) be the quotient by \(\mathrel {\sim _{\mathrm {D}}}\) of the space of types which are products of generically stable types.
Corollary 3.11
\(({\widetilde{{\text {Inv}}}^\mathrm {gs}}\!\!(\mathfrak U), \otimes , \mathrel {\ge _{\mathrm {D}}})\) is a welldefined, commutative ordered monoid.
Proof
It follows immediately from Lemma 1.14 and Proposition 3.9 that, when restricting to the set of products of generically stable types, \(\mathrel {\sim _{\mathrm {D}}}\) is a congruence with respect to \(\otimes \). As the generators of \({\widetilde{{\text {Inv}}}^\mathrm {gs}}\!\!(\mathfrak U)\) commute, so does every pair of elements from it. \(\square \)
The reason we defined \({\widetilde{{\text {Inv}}}^\mathrm {gs}}\!\!(\mathfrak U)\) as above is that generic stability is not preserved under products: the type p in [1, Example 1.7] is generically stable but \(p\otimes p\) is not.
\({\widetilde{{\text {Inv}}}^\mathrm {gs}}\!\!(\mathfrak U)\) may be significantly smaller than \({\widetilde{{\text {Inv}}}}(\mathfrak U)\), and even be reduced to a single point; this happens for instance in the Random Graph, or in DLO.
3.2 Weak orthogonality
Another property preserved by domination is weak orthogonality to a type. This generalises (by Proposition 5.4) a classical result in stability theory, see e.g. [10, Proposition C.13’’’(iii)].
Definition 3.12
We say that \(p\in S_x(\mathfrak U)\) and \(q\in S_y(\mathfrak U)\) are weakly orthogonal, and write \(p\mathrel {\perp ^\mathrm {w}}q\), iff \(p\cup q\) is a complete global type.
Note that if p is invariant then \(p\mathrel {\perp ^\mathrm {w}}q\) is equivalent to \(p\cup q\vdash p\otimes q\), or in other words to the fact that for any \(c\vDash q\) in some \(\mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U\) we have \(p\vdash p\mid \mathfrak Uc\).
In the literature the name orthogonality is sometimes (e.g. [15, p. 136] or [16, p. 310]) used to refer to the restriction of weak orthogonality to global invariant types. We will not adopt this convention here.
Proposition 3.13
Suppose that \(p_0, p_1\in S^{\mathrm {inv}}(\mathfrak U)\) are such that \(p_0\mathrel {\ge _{\mathrm {D}}}p_1\) and \(p_0\mathrel {\perp ^\mathrm {w}}q\). Then \(p_1\mathrel {\perp ^\mathrm {w}}q\).
Proof
Fix \(\mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U\), work in its elementary diagram and suppose \(p_0(x)\cup r(x,y)\vdash p_1(y)\). We have to show that for any \(c\in \mathfrak U_1\) realising q we have \(p_1\vdash p_1\mid \mathfrak Uc\). By hypothesis, \(p_0\vdash p_0\mid \mathfrak Uc\), and by Lemma 1.13 we have \((p_0\mid \mathfrak Uc)\cup r \vdash p_1\mid \mathfrak Uc\), therefore \(p_0 \cup r \vdash p_1\mid \mathfrak Uc\). This means that, for any \(\psi (y,z)\in L(\mathfrak U)\) such that \(\psi (y,c)\in p_1\mid \mathfrak Uc\), there are \(\varphi (x)\in p_0\) and \(\rho (x,y)\in r\) such that \(\mathfrak U_1\vDash \forall x,y\; \bigl ((\varphi (x)\wedge \rho (x,y))\rightarrow \psi (y,c)\bigr )\), therefore
As \(p_1(y)\cup r(x,y)\) is consistent, since it is satisfied by any realisation of \(p_0(x)\cup r(x,y)\) by hypothesis, we have \(p_1(y)\vdash \exists x\; (\varphi (x)\wedge \rho (x,y))\), and the conclusion follows. \(\square \)
This entails the following slight generalisation of [13, Theorem 10.23].
Corollary 3.14
Let \(p_x,q_y\in S^{\mathrm {inv}}(\mathfrak U)\). If \(p\mathrel {\ge _{\mathrm {D}}}q\) and \(p\mathrel {\perp ^\mathrm {w}}q\), then q is realised.
Proof
From \(p\mathrel {\ge _{\mathrm {D}}}q\) and \(p\mathrel {\perp ^\mathrm {w}}q\) the previous proposition gives \(q\mathrel {\perp ^\mathrm {w}}q\). But this can only happen if q is realised, otherwise \(q(x)\cup q(y)\cup \lbrace x=y \rbrace \) and \(q(x)\cup q(y)\cup \lbrace x\ne y \rbrace \) are both consistent. \(\square \)
Remark 3.15
Tanović has proved in [16, Theorem 4.4] that if p is strongly regular (see [16, Definition 2.2]) and generically stable then p is \(\le _{\mathrm {RK}}\)minimal among the nonrealised types, and for all invariant q we have \(p\mathrel {\not \perp ^\mathrm {w}}q\iff p\le _{\mathrm {RK}} q\). An immediate consequence of his result and of the previous corollary is that such types are also \(\mathrel {\le _{\mathrm {D}}}\)minimal among the nonrealised types.
We conclude this section by remarking that a lot of properties are not preserved by domination–equivalence, nor by equidominance. For instance, there is an \(\omega \)stable theory with two equidominant types of different Morley rank, namely \(T^\mathrm {eq}\) where T is the theory of an equivalence relation with infinitely many classes, all of which are infinite. Another property that is not preserved is having the same dprank, a counterexample being DLO, where if p is, say, the type at \(+\infty \) we have \(p\mathrel {\equiv _{\mathrm {D}}}p\otimes p\) even if the former has dprank 1 and the latter has dprank 2.
4 Dependence on the monster model
In strongly minimal theories (see Example 1.31) \({\widetilde{{\text {Inv}}}}(\mathfrak U)\cong {\mathbb {N}}\) regardless of \(\mathfrak U\) while in, say, the Random Graph, \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is very close to \(S^{\mathrm {inv}}(\mathfrak U)\) by Proposition 2.11 and the subsequent discussion: the former is obtained from the latter by identifying types that only differ because of realised, duplicate, or permuted coordinates. It is natural to ask whether and how much the quotient \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) depends on \(\mathfrak U\), and the question makes sense even when \(\otimes \) does not respect \(\mathrel {\ge _{\mathrm {D}}}\). This section investigates this matter.
4.1 Theories with IP
The preorder \(\mathrel {\ge _{\mathrm {D}}}\) is the result of a series of generalisations that began in [9] with starting point the Rudin–Keisler order on ultrafilters. It is not surprising therefore that some classical arguments involving the latter object generalise as well. We show in this subsection (Proposition 4.6) that, in the case of theories with IP (see [15, Chapter 2]), one of them is the abundance of pairwise Rudin–Keisler inequivalent ultrafilters on \({\mathbb {N}}\); the classical proof goes through for \(\mathrel {\sim _{\mathrm {D}}}\) as well, and shows that even the cardinality of \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) depends on \(\mathfrak U\).
In this subsection \(\llbracket p \rrbracket \) stands for the \(\mathrel {\sim _{\mathrm {D}}}\)class of p. Even if we state everything for \(\mathrel {\sim _{\mathrm {D}}}\) and its quotient \({\widetilde{{\text {Inv}}}}(\mathfrak U)\), the same arguments work if we replace \(\mathrel {\sim _{\mathrm {D}}}\) by \(\mathrel {\equiv _{\mathrm {D}}}\), \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) by \({\overline{{\text {Inv}}}}(\mathfrak U)\) and interpret \(\llbracket p \rrbracket \) as the class of p modulo \(\mathrel {\equiv _{\mathrm {D}}}\).
The following result is classical, see e.g. [4, Exercise 4(a) of Section 10.1 and Theorem 10.2.1].
Fact 4.1
Let T be any theory and \(\lambda \ge T \). Then T has a \(\lambda ^+\)saturated and \(\lambda ^+\)strongly homogeneous model of cardinality at most \(2^\lambda \).
For the rest of this subsection, let \(\mathfrak U\) be \(\lambda ^+\)saturated and \(\lambda ^+\)strongly homogeneous of cardinality at most \(2^{\lambda }\), let \(\sigma \) be the least cardinal such that \(\mathfrak U\) is not \(\sigma ^{+}\)saturated, and let \(\kappa =\mathfrak U \). Thus \(\lambda ^+\le \sigma \le \kappa \le 2^\lambda \).
Lemma 4.2
In the notations above, for every \(p\in S^{\mathrm {inv}}(\mathfrak U)\) we have \(\llbracket p \rrbracket \le \lbrace q\mid q\mathrel {\le _{\mathrm {D}}}p \rbrace \le \kappa ^{<\sigma }\).
Proof
Clearly \(\llbracket p \rrbracket \subseteq \lbrace q\mid q\mathrel {\le _{\mathrm {D}}}p \rbrace \). For every \(q\mathrel {\le _{\mathrm {D}}}p\), there is some small \(r_q\) such that \(p\cup r_q\vdash q\). If \(r_q=r_{q'}\) then \(q=q'\), and therefore \(\lbrace q\mid q\mathrel {\le _{\mathrm {D}}}p \rbrace \) is bounded by the number of small types. As “small” means of cardinality strictly less than \(\sigma \), the number of such types is at most the size of \(\bigcup _{A\subset \mathfrak U, A <\sigma }S(A)\), which cannot exceed \(\kappa ^{<\sigma }\cdot 2^{<\sigma }=\kappa ^{<\sigma }\). \(\square \)
Corollary 4.3
The same bound applies to sets of the form \(\lbrace \llbracket q \rrbracket \mid \llbracket q \rrbracket \mathrel {\le _{\mathrm {D}}}\llbracket p \rrbracket \rbrace \), for a fixed p.
Lemma 4.4
If T has IP, then \(2^\lambda =\kappa =2^{<\sigma }=\kappa ^{<\sigma }\).
Proof
If \(\varphi (x;y)\) witnesses IP, then over a suitable model of cardinality \(\lambda \), which we may assume to be embedded in \(\mathfrak U\), there are \(2^\lambda \)many \(\varphi \)types, and a fortiori types. This gives the first equality, and the same argument with any \(\mu \) such that \(\lambda \le \mu <\sigma \) gives the second one. The third one follows by cardinal arithmetic. \(\square \)
Recall the following property of theories with IP.
Fact 4.5
If T has IP, then for every \(\lambda \ge T \) there is a type p over some \(M\vDash T\) such that \(M =\lambda \) and p has \(2^{2^\lambda }\)many Minvariant extensions. Moreover, such extensions can be chosen to be over any \(\lambda ^+\)saturated model.
Proof
This is [13, Theorem 12.28]. The “moreover” part follows from the proof in the referenced source: in its notation, it is enough to realise the ftypes of the \(b_w\) over \(\lbrace a_\alpha \mid \alpha < \lambda \rbrace \). \(\square \)
Proposition 4.6
If T has IP and \(\mathfrak U\) is \(\lambda ^+\)saturated and \(\lambda ^+\)strongly homogeneous of cardinality \(2^\lambda \), then \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) has size \(2^{\mathfrak U }\).
Proof
Since \(\lambda ^+\)saturation implies \(\lambda ^+\)universality, we may assume that the M given by Fact 4.5 is an elementary submodel of \(\mathfrak U\), and by the “moreover” part of Fact 4.5 we have \(S^{\mathrm {inv}}(\mathfrak U) \ge 2^{2^\lambda }\). But then by Lemma 4.2
Using Lemma 4.4 we obtain \(2^{\kappa }\le {\widetilde{{\text {Inv}}}}(\mathfrak U) \cdot \kappa \), and therefore \({\widetilde{{\text {Inv}}}}(\mathfrak U) =2^{\kappa }\). \(\square \)
Corollary 4.7
If T has IP then \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) depends on \(\mathfrak U\).
Proof
If \(\mathfrak U_1\) is, say, \(\mathfrak U_0 ^+\)saturated of cardinality \(2^{\mathfrak U_0 }\), then \({\widetilde{{\text {Inv}}}}(\mathfrak U_1) =2^{2^{\mathfrak U_0 }}\). \(\square \)
Question 4.8
Is there an unstable NIP theory where \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) does not depend on \(\mathfrak U\)? Is there one where \({\overline{{\text {Inv}}}}(\mathfrak U)\) does not depend on \(\mathfrak U\)?
Question 4.9
Can \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) or \({\overline{{\text {Inv}}}}(\mathfrak U)\) be finite?
By the results above and Proposition 5.20^{Footnote 5} it is enough to consider the NIP unstable case.
4.2 The map \({\mathfrak {e}}\)
Let \(\mathfrak U_1 \mathrel {^+\!\!\succ }\mathfrak U_0\). The map \(p\mapsto p\mid \mathfrak U_1\) shows that, for every tuple of variables x, a copy of \(S^{\mathrm {inv}}_x(\mathfrak U_0)\) sits inside \(S^{\mathrm {inv}}_x(\mathfrak U_1)\); for instance, if T is stable, this is nothing more than the classic identification of types over \(\mathfrak U_0\) with types over \(\mathfrak U_1\) that do not fork over \(\mathfrak U_0\).
Definition 4.10
If \(\mathfrak U_0\mathrel {\prec ^+}\mathfrak U_1\), we define the map \({\mathfrak {e}}:\widetilde{{\text {Inv}}}(\mathfrak U_0)\rightarrow \widetilde{{\text {Inv}}}(\mathfrak U_1)\) as \(\mathfrak e(\llbracket p \rrbracket )\,:=\,\llbracket * \rrbracket {p\mid \mathfrak U_1}\).
Proposition 4.11
The map \(\mathfrak e\) is welldefined and weakly increasing. If moreover \(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\), then \({\mathfrak {e}}\) is also a homomorphism of monoids.
Proof
If \(p\mathrel {\ge _{\mathrm {D}}}q\), as witnessed by r, by Lemma 1.13 we have \((p\mid \mathfrak U_1)\cup r\vdash (q\mid \mathfrak U_1)\), and the first part follows.
Suppose now that \(\otimes \) respects \(\mathrel {\ge _{\mathrm {D}}}\) and denote for brevity \(p\mid \mathfrak U_1\) with \({\widetilde{p}}\). Recall that, if \(\varphi (x,y)\in L(\mathfrak U_0)\), then \(\varphi \in p_x\otimes q_y\) if and only if for any\(b\vDash q\) we have \(\varphi (x,b)\in p\mid \mathfrak U_0b\). This in particular holds for any \(b\vDash {\widetilde{q}}\) and shows that \(({\widetilde{p}}\otimes \widetilde{q})\upharpoonright \mathfrak U_0=p\otimes q\), or in other words \((p\otimes q)\mid \mathfrak U_1={\tilde{p}}\otimes {\tilde{q}}\). Therefore
so \(\mathfrak e\) is a homomorphism of semigroups. As \(\mathfrak e\) clearly sends \(\llbracket 0 \rrbracket \) to \(\llbracket 0 \rrbracket \), because an extension of a realised type is realised, we have the conclusion. \(\square \)
Lemma 4.12
Suppose that every time \(p,q\in S(\mathfrak U_1)\) are \(A_0\)invariant for some \(A_0\mathrel {\subset ^+}\mathfrak U_0\) and \(p\mathrel {\ge _{\mathrm {D}}}q\) then this can be witnessed by some \(r'\in S(A')\) such that \(\mathfrak U_0\) is \(A' ^+\)saturated and \(A' ^+\)strongly homogeneous.^{Footnote 6} Then \(\mathfrak e\) is injective and \({\mathfrak {e}}(\llbracket p \rrbracket )\mathrel {\ge _{\mathrm {D}}}{\mathfrak {e}}(\llbracket q \rrbracket )\) implies \(\llbracket p \rrbracket \mathrel {\ge _{\mathrm {D}}}\llbracket q \rrbracket \).
Proof
We have to check that, in the previous notations, if \({\widetilde{p}}\mathrel {\ge _{\mathrm {D}}}{\widetilde{q}}\) then \(p\mathrel {\ge _{\mathrm {D}}}q\). If \({\widetilde{p}}\mathrel {\ge _{\mathrm {D}}}{\widetilde{q}}\) can be witnessed by some r with parameters in some \(A\mathrel {\subset ^+}\mathfrak U_0\), then we are done: by Lemma 1.12\(p\cup r\vdash q\).
As \(\mathfrak U_0\) is \(A_0\cup A' ^+\)saturated and \(A_0\cup A' ^+\)strongly homogeneous, up to taking unions we may assume \(A'\supseteq A_0\), and by hypothesis we can find an \(A_0\)isomorphic copy A of \(A'\) inside \(\mathfrak U_0\). Let \(f\in {{\,\mathrm{Aut}\,}}(\mathfrak U_1/A_0)\) be such that \(A=f(A')\) and define
As \({\widetilde{p}}\) and \({\widetilde{q}}\) are \(A_0\)invariant they are fixed by f, so \(p'\subseteq {\widetilde{p}}\) and \(q'\subseteq {\widetilde{q}}\); by Lemma 1.12 we therefore have \(p'\cup r'\vdash q'\), and so \(r\,:=\,f(r')\) witnesses both \({\widetilde{p}}\mathrel {\ge _{\mathrm {D}}}{\widetilde{q}}\) and \(p\mathrel {\ge _{\mathrm {D}}}q\). \(\square \)
The hypotheses of the lemma are satisfied for instance if T has degenerate domination, or if T is stable by Corollary 5.5. Note that, should \({\mathfrak {e}}\) fail to be injective, we could still in principle have two monster models \(\mathfrak U_0\) and \(\mathfrak U_1\) of different cardinalities such that \({\widetilde{{\text {Inv}}}}(\mathfrak U_0) ={\widetilde{{\text {Inv}}}}(\mathfrak U_1) \). For instance, even in a theory with IP, the results of the previous subsection do not prevent this from happening in the case where \(\mathfrak U_0 \) and \(\mathfrak U_1 \) are, say, strongly inaccessible cardinals.
Question 4.13
Is the image of \({\mathfrak {e}}\) downward closed? More generally, if \(p\in S^{\mathrm {inv}}(\mathfrak U)\) is dominated by some Minvariant type, is p then domination–equivalent to some Minvariant type?
By standard results (see [15, Lemma 2.18] and [1, Fact 1.9(2)]), if Question 4.13 has a positive answer then so does Question 3.7; for instance, any Minvariant type finitely satisfiable in some small N is finitely satisfiable in M.
5 Stable theories
The domination preorder we defined generalises a notion from classical stability theory. For the sake of completeness, we collect in this section what is already known in the stable case. From now on, we will assume some knowledge of stability theory from the reader, and T will be stable unless otherwise stated; we repeat this assumption for emphasis. References for almost everything that follows can be found in e.g. [2, 12, 13].^{Footnote 7} In this section, we mention orthogonality of types, denoted by \(\perp \), which is a strengthening of weak orthogonality that can be defined in a stable theory for stationary types (see [12, Section 1.4.3]). For global types, it coincides with weak orthogonality.
5.1 The classical definition
In the following definition A is allowed to be a large set, e.g. we allow \(A=\mathfrak U\).
Definition 5.1
We say that aweakly dominatesboverA iff for all d we have . We say that adominatesboverA, written \(a\mathrel {\triangleright }_Ab\), iff for every \(B\supseteq A\) if then a weakly dominates b over B.
Fact 5.2
(See [12, Lemma 1.4.3.4] and [13, Lemma 19.18]) Suppose \(A\subseteq B\) and . Then \(a\mathrel {\triangleright }_B b\) if and only if \(a\mathrel {\triangleright }_A b\). Moreover, over a \(T ^+\)saturated model domination and weak domination are equivalent.
Definition 5.3
For stationary \(p,q\in S(A)\) we say that \(p\mathrel {\triangleright }q\) iff there are \(a\vDash p\) and \(b\vDash q\) such that \(a\mathrel {\triangleright }_A b\). If \(p\mathrel {\triangleright }q\mathrel {\triangleright }p\) we write \(p\mathrel {\bowtie }q\). If there are \(a\vDash p\) and \(b\vDash q\) such that \(a\mathrel {\triangleright }_A b\mathrel {\triangleright }_A a\) we write \(p\doteq q\).
Proposition 5.4
Suppose that T is stable and p, q are global types. Then
 1.
\(p\mathrel {\ge _{\mathrm {D}}}q\) if and only if \(p\mathrel {\triangleright }q\).
 2.
\(p\mathrel {\equiv _{\mathrm {D}}}q\) if and only if \(p\doteq q\).
 3.
If \(p\mathrel {\ge _{\mathrm {D}}}q\) then this is witnessed by some \(r\in S_{pq}(M)\) with \(M \le T \).
Proof sketch
If \(p\cup r\vdash q\), where \(r\in S(M)\), and \((a,b)\vDash r\), then it can be checked that a weakly dominates b over M, and if M is large enough this yields \(p\mathrel {\triangleright }q\). In the other direction, take \(a\vDash p\), \(b\vDash q\) witnessing domination and consider their type over some M of size at most \(T \) such that . The rest follows easily. For more details, see e.g. [12, Lemma 1.4.3.4 (iii)]. \(\square \)
More conceptual proofs of the first and last point can be obtained from the classical results that \(p\mathrel {\triangleright }q\) if and only if q is realised in the prime amodel containing a realisation of p, and that prime amodels are aatomic (see [12, Lemma 1.4.2.4]). Note that a consequence of this equivalence is that in a stable theory semiaisolation (i.e. \(\mathrel {\ge _{\mathrm {D}}}\) by point 3 of the previous Proposition) is the same as aisolation: if \(p\cup r\vdash q\) then r can be chosen such that \(p\cup r\) is complete, despite r being small.
Corollary 5.5
If T is stable, then \(\mathfrak e\) is injective and \({\mathfrak {e}}(\llbracket p \rrbracket )\mathrel {\ge _{\mathrm {D}}}{\mathfrak {e}}(\llbracket q \rrbracket )\) implies \(\llbracket p \rrbracket \mathrel {\ge _{\mathrm {D}}}\llbracket q \rrbracket \).
Proof
By point 3 of Proposition 5.4 we can apply Lemma 4.12. \(\square \)
Remark 5.6
While studying \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) in a stable T, there is no harm in passing to \(T^\mathrm {eq}\), which we see as a multisorted structure, for the following reason. Even without assuming stability, every type \(p\in S(\mathfrak U)\) in \(T^\mathrm {eq}\) is dominated by, and in particular (if it is nonrealised) not weakly orthogonal to, a type \(q\in S(\mathfrak U)\) with all variables in the home sort via the projection map. Suppose now that T is stable and let M be such that p and q do not fork over M. By (the proof of) [13, Lemma 19.21] there is a (possibly forking) extension of \(q\upharpoonright M\) which is equidominant with p. Trivially, this extension has all variables in the home sort. We would like to thank Anand Pillay for pointing this out.
Remark 5.7
Definition 5.1 makes sense also in simple theories, and more generally in rosy theories if we replace forking by þforking (see [11]). One can then give a definition of \(\mathrel {\triangleright }\) even for types that are not stationary but, in the unstable case, even for global types the relation \(\mathrel {\triangleright }\) need not coincide with \(\mathrel {\ge _{\mathrm {D}}}\). For instance, in the notation of Definition 2.4, let \((b,c)\vDash q_1\) and \(a\vDash p\mid \mathfrak Ubc\), and recall that in T forking is characterised as
It follows that, for all \(B\supseteq \mathfrak U\) such that , and for all d such that , we have , and therefore \(ab\mathrel {\triangleright }_\mathfrak Uabc\). Since \({{\,\mathrm{tp}\,}}(a,b/\mathfrak U)=p\otimes q_0\) and \({{\,\mathrm{tp}\,}}(a,bc/\mathfrak U)=p\otimes q_1\) this shows \(p\otimes q_0\mathrel {\triangleright }p\otimes q_1\), but by Proposition 2.5.
5.2 Thin theories
Recall that a stable theory is thin iff every complete type has finite weight (see [12, Section 1.4.4] for the definition of weight). For instance superstable theories are thin ([12, Corollary 1.4.5.8]) and so are theories with no dense forking chains ([12, Lemma 4.3.7]) or where every complete type has rudimentarily finite weight ([12, Proposition 4.3.10]). This hypothesis provides a structure theorem for \({\widetilde{{\text {Inv}}}}(\mathfrak U)\), namely Theorem 5.11. This result is implicit in the literature (see [12, Proposition 4.3.10]), but we need to state it is as done below for later use.
Fact 5.8
[12, Lemma 1.4.4.2] If p and q have both weight 1 then the following are equivalent: 1. . 2. \(p\mathrel {\sim _{\mathrm {D}}}q\). 3. \(p\mathrel {\equiv _{\mathrm {D}}}q\).
Fact 5.9
[2, Lemma 5.6.4 (iv)] Weight is preserved by domination–equivalence.
Lemma 5.10
If p has weight \(w(p)=1\), then the monoid generated by \(\llbracket p \rrbracket \) in \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is isomorphic to \({\mathbb {N}}\).
Proof
Since weight is additive over \(\otimes \) ([2, Proposition 5.6.5 (ii)]) we have \(w(p^{(n)})=n\) and we conclude by Fact 5.9 that the map \(n\mapsto \llbracket p^{(n)} \rrbracket \) is an isomorphism between \({\mathbb {N}}\) and the monoid generated by \(\llbracket p \rrbracket \). \(\square \)
Theorem 5.11
If T is thin, then there are a cardinal \(\kappa \), possibly depending on \(\mathfrak U\), and an isomorphism \(f:{\widetilde{{\text {Inv}}}}(\mathfrak U)\rightarrow \bigoplus _\kappa \mathbb N\). Moreover, \(p\perp q\) if and only if f(p) and f(q) have disjoint supports.
Proof
Let \(\langle \llbracket p_i \rrbracket \mid i<\kappa \rangle \) be an enumeration without repetitions of the \(\mathrel {\sim _{\mathrm {D}}}\)classes of types of weight 1. For such classes, define \(f(\llbracket p_i \rrbracket )\) to be the characteristic function of \(\lbrace i \rbrace \), then extend f to classes of products of weightone types by sending \(\llbracket p\otimes q \rrbracket \) to \(f(\llbracket p \rrbracket )+f(\llbracket q \rrbracket )\) and \(\llbracket 0 \rrbracket \) to the function which is constantly 0. It is easy to show using Fact 5.8 and Corollary 3.14 that f is welldefined, i.e. does not depend on the decomposition as product of weightone types, and that f is injective. By [12, Proposition 4.3.10] in a thin theory every type is domination–equivalent to a finite product of weightone types, so f is defined on the whole of \({\widetilde{{\text {Inv}}}}(\mathfrak U)\). By Lemma 5.10 if \(w(p)=1\) then the monoid generated by \(\llbracket p \rrbracket \) is isomorphic to \({\mathbb {N}}\) and this easily entails that f is surjective. It is also clear that f is an isomorphism of ordered monoids. Since two types of weight 1 are either weakly orthogonal or domination–equivalent by Fact 5.8 and, by [10, Proposition C.5(i)], in stable theories \(p\perp q_0\otimes q_1\) if and only if \(p\perp q_0\) and \(p\perp q_1\), the last statement follows. \(\square \)
Remark 5.12
Weight, which is preserved by domination–equivalence (Fact 5.9), can, in the thin case, be read off \(f({\widetilde{{\text {Inv}}}}(\mathfrak U))\) by taking “norms”. Specifically, if \(f(\llbracket p \rrbracket )=(n_i)_{i<\kappa }\), then \(w(p)=\sum _{i<\kappa } n_i\) (recall that every \((n_i)_{i<\kappa }\in \bigoplus _\kappa {\mathbb {N}}\) has finite support).
Proposition 5.13
If T is thin, then \(\mathrel {\equiv _{\mathrm {D}}}\) and \(\mathrel {\sim _{\mathrm {D}}}\) coincide.
Proof
By [7, Theorem 4.4.10] every type is in fact equidominant with a finite product of types of weight 1. The conclusion then follows from Fact 5.8 and the fact that, as T is stable, \(\otimes \) respects both \(\mathrel {\sim _{\mathrm {D}}}\) and \(\mathrel {\equiv _{\mathrm {D}}}\). \(\square \)
5.3 Dimensionality and dependence on the monster
At least in the thin case some classical results imply that independence of \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) from the choice of \(\mathfrak U\) is equivalent to dimensionality of T, also called nonmultidimensionality.
Definition 5.14
Let T be stable. We say that T is dimensional iff for every nonrealised global type p there is a global type q that does not fork over \(\emptyset \) and such that . We say that T is bounded iff \({\widetilde{{\text {Inv}}}}(\mathfrak U) <\mathfrak U \).
If T is thin, then T is dimensional if and only if it is bounded, as follows e.g. from Theorem 5.11 (alternatively, see the proof of [2, Lemma 7.1.2], but replace “superstable” with “thin” and “regular types” with “weightone types”). In this case the number of copies of \({\mathbb {N}}\) required is bounded by \(2^{T }\), and by \(T \) if T is totally transcendental, see e.g. [2, Corollary 7.1.1]. In fact, some sources define boundedness only for superstable theories, essentially as boundedness of the number of copies of \({\mathbb {N}}\) given by Theorem 5.11.
Conjecture 5.15
Let T be stable. The following are equivalent: 1. T is bounded. 2. T is dimensional. 3. \({\mathfrak {e}}\) is surjective.
\(1\Rightarrow 2\) follows from [2, Proposition 5.6.2] and \(3\Rightarrow 1\) is trivial, so it remains to prove \(2\Rightarrow 3\), namely that if there is a type over \(\mathfrak U_1\) not domination–equivalent to any type that does not fork over \(\mathfrak U_0\), then there is a type orthogonal to every type that does not fork over \(\emptyset \).
Proposition 5.16
If T is thin then Conjecture 5.15 holds.
Proof
Suppose \(\mathfrak U_0\mathrel {\prec ^+}\mathfrak U_1\) and let \(f_j:{\widetilde{{\text {Inv}}}}(\mathfrak U_j)\rightarrow \bigoplus _{\kappa _j} {\mathbb {N}}\), for \(j\in \lbrace 0,1 \rbrace \), be given by Theorem 5.11. Let
Since weight is preserved by nonforking extensions (e.g. by [2, Definition 5.6.6 (iii)]), \({\mathfrak {e}}\) sends types of weight 1 to types of weight 1. Therefore by Remark 5.12 we may decompose the codomain of g as
where the direct summand \(\bigoplus _{i<\kappa _0}{\mathbb {N}}\) may be assumed to coincide with \({{\,\mathrm{Im}\,}}g\). It then follows that if \({\mathfrak {e}}\) is not surjective then we can find \(\llbracket p \rrbracket \notin {{\,\mathrm{Im}\,}}{\mathfrak {e}}\) such that p has weight 1. Again by Theorem 5.11, such a p needs to be orthogonal to every type in the union of \({{\,\mathrm{Im}\,}}\mathfrak e\), which is the set of types that do not fork over \(\mathfrak U_0\). In particular, p is orthogonal to every type that does not fork over \(\emptyset \). \(\square \)
A possible attack in the general case could be, assuming \({\mathfrak {e}}\) is not surjective, to try to find a type of weight 1 outside of its image. This will be either orthogonal to every type that does not fork over \(\mathfrak U\), or dominated by one of them by [2, Corollary 5.6.5]. If we knew a positive answer to Question 4.13 at least in the stable case, and if we managed to find a type as above, then we would be done.
A possibly related notion is the strong compulsion property (see [6, Definition 2]); it implies that every type over \(\mathfrak U_1\mathrel {^+\!\!\succ }\mathfrak U_0\) is either orthogonal to \(\mathfrak U_0\) or dominates a type that does not fork over it. Whether all countable stable \(T^\mathrm {eq}\) have a weakening of this property is [6, Conjecture 18].
We conclude with two easy consequences of some classical results.
Definition 5.17
A stable theory T is unidimensional iff whenever \(p\perp q\) at least one between p and q is algebraic.
If T is totally transcendental then unidimensionality is the same as categoricity in every cardinality strictly greater than \(T \) (see [2, Proposition 7.1.1]). Unidimensional theories may still fail to be totally transcendental, e.g. \({{\,\mathrm{Th}\,}}({\mathbb {Z}},+)\) is such. Anyway, the following classical theorem by Hrushovski (see [5, Theorem 4]) tells us that the situation cannot be much worse than that.
Theorem 5.18
(Hrushovski) Every unidimensional theory is superstable.
Corollary 5.19
A stable T is unidimensional if and only if \({\widetilde{{\text {Inv}}}}(\mathfrak U)\cong \mathbb N\).
Proof
If T is unidimensional, by Hrushovski’s result we have the hypothesis of Theorem 5.11, and the conclusion then follows easily from the definition of unidimensionality. In the other direction, the hypothesis yields that any two types are \(\mathrel {\ge _{\mathrm {D}}}\)comparable, but if \(p\mathrel {\perp ^\mathrm {w}}q\) and \(p\mathrel {\ge _{\mathrm {D}}}q\) then q is realised by Corollary 3.14. \(\square \)
Compare the previous corollary with [9, Proposition 5]. Note that the hypothesis that T is stable is necessary: in the random graph if \(p\mathrel {\perp ^\mathrm {w}}q\) then one between p and q must be algebraic, but \({\widetilde{{\text {Inv}}}}(\mathfrak U)\) is not commutative by Corollary 2.12.
Proposition 5.20
If T is stable then \({\mathbb {N}}\) embeds in \({\widetilde{{\text {Inv}}}}(\mathfrak U)\).
Proof
By [13, Lemma 13.3 and p. 336] in any stable theory there is always a type p of Urank 1, and in particular of weight \(w(p)=1\) (see [13, before Theorem 19.9]). The conclusion follows from Lemma 5.10. \(\square \)
Notes
Strictly speaking, the original definition of the RKorder in [9, Définition 1] slightly differs from the relation that customarily bears the same name in the literature.
It is the class of the unique global 0type.
E.g. if \(r\vdash x=w\wedge y=z_0\) then we even have \(p(x)\otimes q_0(y)\cup r\vdash R_2(w,a)\wedge R_2(w,z_1)\wedge \lnot R_2(z_1, a)\).
E.g. \((a^1, a^0)\vDash (p(x^1)\otimes p(x^0))\upharpoonright A\). This awkwardness in notation is an unfortunate consequence of the order in which \(\otimes \) is written, i.e. realising the type on the right first.
...and the fact that we only consider theories with no finite models...
Note that \(A'\) need not be a subset of \(\mathfrak U_0\).
References
Adler, H., Casanovas, E., Pillay, A.: Generic stability and stability (2012). arXiv:1210.5957v1
Buechler, S.: Essential Stability Theory, volume 4 of Perspectives in Logic. Cambridge University Press, Cambridge (2017)
Haskell, D., Hrushovski, E., Macpherson, D.: Stable Domination and Independence in Algebraically Closed Valued Fields, volume 30 of Lecture Notes in Logic. Cambridge University Press, Cambridge (2008)
Hodges, W.: Model Theory, volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1993)
Hrushovski, E.: Unidimensional theories are superstable. Ann. Pure Appl. Log. 50, 117–137 (1990)
Hyttinen, T.: Remarks on structure theorems for \({\omega }_{1}\)saturated models. Notre Dame J. Form. Log. 36, 269–278 (1995)
Kim, B.: Simplicity Theory, volume 53 of Oxford Logic Guides. Oxford University Press, Oxford (2014)
Kim, B., Pillay, A.: Simple theories. Ann. Pure Appl. Log. 88, 149–164 (1997)
Lascar, D.: Généralisation de l’ordre de Rudin–Keisler aux types d’une théorie. In Colloques internationaux du CNRS, vol 249, pp. 73–81. Éd. du CNRS (1975)
Makkai, M.: A survey of basic stability theory, with particular emphasis on orthogonality and regular types. Isr. J. Math. 49, 181–238 (1984)
Onshuus, A., Usvyatsov, A.: Thorn orthogonality and domination in unstable theories. Fundam. Math. 214, 241–268 (2011)
Pillay, A.: Geometric Stability Theory, volume 32 of Oxford Logic Guides. Oxford University Press, Oxford (1996)
Poizat, B.: A Course in Model Theory. Universitext. Springer, Berlin (2000)
Pillay, A., Tanović, P.: Generic stability, regularity, and quasiminimality. In Models, Logics and Higherdimensional Categories, volume 53 of CRM Proceedings and Lecture Notes, pp. 189–212. American Mathematical Society (2009)
Simon, P.: A Guide to NIP Theories, volume 44 of Lecture Notes in Logic. Cambridge University Press, Cambridge (2015)
Tanović, P.: Generically stable regular types. J. Symb. Log. 80, 308–21 (2015)
Wagner, F.O.: Simple Theories, volume 503 of Mathematics and Its Applications. Kluwer Academic Publishers, Dordrecht (2000)
Acknowledgements
First of all, I would like to thank my supervisors, Dugald Macpherson and Vincenzo Mantova, whose guidance, suggestions and feedback have been more than invaluable. I am also indebted to Jan Dobrowolski for the useful discussions on binary theories, Ehud Hrushovski for his permission to include Proposition 2.14, and Anand Pillay for pointing out Remark 5.6. Part of this research was carried out while I was participating in the thematic trimester Model Theory, Combinatorics and Valued Fields held in Paris from January to April 2018. I would like to thank the organising committee for making the trimester possible, and the Institut Henri Poincaré, the Centre National de la Recherche Scientifique and the School of Mathematics of the University of Leeds for supporting financially my participation in it. This research is part of the author’s Ph.D. project, supported by a Leeds Anniversary Research Scholarship.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mennuni, R. Product of invariant types modulo domination–equivalence. Arch. Math. Logic 59, 1–29 (2020). https://doi.org/10.1007/s00153019006769
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153019006769
Keywords
 Domination
 Domination–equivalence
 Equidominance
 Product of invariant types
Mathematics Subject Classification
 03C45