1: \begin{abstract}
2: We prove a general likely intersections
3: theorem, a counterpart to the Zilber-Pink
4: conjectures,
5: under the assumption that the Ax-Schanuel
6: property and some mild additional conditions
7: are known to hold for a given
8: category of complex quotient spaces definable
9: in some fixed o-minimal expansion of the
10: ordered field of real numbers.
11:
12: For an instance of our general result, consider the case of
13: subvarieties of Shimura varieties. Let
14: $S$ be a Shimura variety. Let $\pi:D \to \Gamma \backslash D = S$ realize
15: $S$ as a quotient of
16: $D$, a homogeneous space for the action of
17: a real algebraic group $G$, by the action of $\Gamma < G$, an arithmetic subgroup.
18: Let $S' \subseteq S$ be a special subvariety of $S$ realized as $\pi(D')$
19: for $D' \subseteq D$ a homogeneous space for an algebraic subgroup of $G$.
20: Let $X \subseteq S$ be an irreducible subvariety of $S$ not contained
21: in any proper weakly special subvariety of $S$. Assume that the
22: intersection of $X$ with $S'$ is persistently likely meaning that whenever
23: $\zeta:S_1 \to S$ and $\xi:S_1 \to S_2$ are maps of Shimura varieties
24: (meaning regular maps of varieties induced by maps of the corresponding
25: Shimura data) with $\zeta$ finite, $\dim \xi \zeta^{-1} X + \dim \xi \zeta^{-1} S'
26: \geq \dim \xi S_1$. Then $X \cap \bigcup_{g \in G, \pi(g D') \text{ is special }} \pi(d D')$
27: is dense in $X$ for the Euclidean topology.
28: \end{abstract}
29: