1: \begin{abstract}

2: We show that the order three algebraic differential equation over $\QQ$ satisfied by the

3: analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial

4: forking geometry relative to the theory of differentially closed fields of characteristic zero

5: answering a long-standing open problem about the existence of such sets.   The theorem follows

6: from Pila's modular Ax-Lindemann-Weierstrass with derivatives theorem using Seidenberg's embedding

7: theorem and a theorem of Nishioka on the differential equations satisfied by automorphic functions. As a by product of this analysis, we obtain a more general version of the modular Ax-Lindemann-Weierstrass theorem, which, in particular, applies to automorphic functions for arbitrary arithmetic subgroups of $SL_2 (\m Z)$. We then apply the results to prove effective finiteness results for intersections of subvarieties of products of modular curves with isogeny classes. For example, we show that if $\psi:{\mathbb P}^1 \to {\mathbb P}^1$ is any non-identity automorphism of the

8: projective line and $t \in {\mathbb A}^1(\CC) \smallsetminus {\mathbb A}^1({\mathbb Q}^\text{alg})$, then

9: the set of $s \in {\mathbb A}^1(\CC)$ for which the elliptic curve with $j$-invariant $s$ is isogenous to the elliptic curve

10: with $j$-invariant $t$ and the elliptic curve with $j$-invariant $\psi(s)$ is isogenous to the elliptic curve with $j$-invariant

11: $\psi(t)$ has size at most $36^7$.  In general, we prove that if $V$ is a Kolchin-closed subset of $\m A^n$, then the Zariski closure of the intersection of $V$ with the isogeny class of a tuple of transcendental elements is a finite union of weakly special subvarieties. We bound the sum of the degrees of the irreducible components of this union by a function of the degree and order of $V$. 

12: \end{abstract}

13: