Related papers: Andr\'e-Oort for a Nonholomorphic Modular Function
In this short paper we discuss a number of effective and/or explicit results of Andre-Oort type for the nonholomorphic function "$\chi^*$", which I have discussed in a number of other papers. After working in a rather ad-hoc manner to get…
In the proofs of most cases of the Andr\'e-Oort conjecture, there are two different steps whose effectivity is unclear: the use of generalizations of Brauer-Siegel and the use of Pila-Wilkie. Only the case of curves in ${\bf C}^2$ is…
In unpublished notes, Pila discussed some theory surrounding the modular function $j$ and its derivatives. A focal point of these notes was the statement of two conjectures regarding $j$, $j'$ and $j"$: a Zilber-Pink type statement…
We state and investigate an integral analogue of the Andr\'e-Oort conjecture (in integral models of Shimura varieties). We establish an instance of this conjecture: the case of a modular curve, as a scheme over Z. It is a scheme of…
We prove, assuming the generalized Riemann hypothesis, the Andre-Oort conjecture for Hilbert modular surfaces. More precisely, let K be a real quadratic field and let S be the coarse moduli space of complex abelian surfaces with…
We give a proof of the Andr\'e-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the Colmez conjecture yields lower bounds…
Let $Z=X_1\times...\times X_n$ be a product of Drinfeld modular curves. We characterize those algebraic subvarieties $X \subset Z$ containing a Zariski-dense set of CM points, i.e. points corresponding to $n$-tuples of Drinfeld modules with…
Let X be a product of Drinfeld modular curves over a general base ring A of odd characteristic. We classify those subvarieties of X which contain a Zariski-dense set of CM points. This is an analogue of the Andr\'e-Oort conjecture. As an…
We establish an effective version of the Andr\'e-Oort conjecture for linear subspaces of $Y(1)^n_{\mathbb{C}} \approx \mathbb{A}_{\mathbb{C}}^n$. Apart from the trivial examples provided by weakly special subvarieties, this yields the first…
We provide an unconditional proof of the Andr\'e-Oort conjecture for the coarse moduli space $\mathcal{A}_{2,1}$ of principally polarized Abelian surfaces, following the strategy outlined by Pila-Zannier.
In their 2015 paper, Mertens and Rolen prove that for a certain level 6 "almost holomorphic" modular function $P$, the degree of $P(\tau)$ over $\mathbb{Q}$ for quadratic $\tau$ is as large as expected, settling a conjecture of Bruinier and…
We prove the Ax-Lindemann theorem for the coarse moduli space $\mathcal{A}_{g}$ of principally polarized abelian varieties of dimension $g\ge 1$, and affirm the Andr\'e-Oort conjecture unconditionally for $\mathcal{A}_{g}$ for $g\le 6$.
We prove an analogue of the classical Ax-Lindemann theorem in the context of compact Shimura varieties. Our work is motivated by J. Pila's strategy for proving the Andr\'e-Oort conjecture unconditionally
We consider the analogue of the Andr\'e-Oort conjecture for Drinfeld modular varieties which was formulated by Breuer. We prove this analogue for special points with separable reflex field over the base field by adapting methods which were…
We state and prove a variant of the Andr\'e-Oort conjecture for the product of 2 modular curves in positive characteristic, assuming GRH for quadratic fields.
We prove the Andre-Oort conjecture on special points of Shimura varieties for arbitrary products of modular curves, assuming the Generalized Riemann Hypothesis. More explicitly, this means the following. Let n be a positive integer, and let…
The purpose of this article is to explain the Pila-Zannier strategy for proving the Andr\'e-Oort conjecture. First, however, we will provide a brief introduction to the theory of Shimura varieties.
We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of…
We introduce the notion of quasi-Poisson modules over Lie-Rinehart pairs and prove that for the Lie-Rinehart pair $(\dot A,\dot\fk)$ in which $\dot A=\bbbc[t_1^{\pm1},\ldots,t_m^{\pm1}]\ot\Lam_n$ and $\dot\fk={\rm Der}(\dot A)$, there is a…
A (folklore?) conjecture states that no holomorphic modular form $F(\tau)=\sum_{n=1}^\infty a_nq^n\in q\mathbb Z[[q]]$ exists, where $q=e^{2\pi i\tau}$, such that its anti-derivative $\sum_{n=1}^\infty a_nq^n/n$ has integral coefficients in…