cb55caadad039d27.tex
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: