Strong minimality and the j-function

We show that the order three algebraic differential equation over ${\mathbb Q}$satisfiedbytheanalytic$j$-functiondefinesanon-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of differentially closed fields of characteristic zero answering a long-standing open problem about the existence of such sets. The theorem follows from Pila’s modular Ax-Lindemann-Weierstrass with derivatives theorem using Seidenberg’s embedding 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 $S{L}_2(\mathbb{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$isanynon-identityautomorphismoftheprojectivelineand$t \in {\mathbb A}^1({\mathbb C}) \smallsetminus {\mathbb A}^1({\mathbb Q}^$\text{alg}$)$,thenthesetof$s \in {\mathbb A}^1({\mathbb C})$ for which the elliptic curve with $j$-invariant $s$ is isogenous to the elliptic curve with $j$-invariant $t$ and the elliptic curve with $j$-invariant $\psi (s)$ is isogenous to the elliptic curve with $j$-invariant $\psi (t)$ has size at most ${36}^7$. In general, we prove that if $V$ is a Kolchin-closed subset of ${\mathbb{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$.