arXiv subjects
Publications and source records attributed to Christopher Daw.
We show that the Lang-Trotter conjecture for pairs of elliptic curves implies new cases of the Zilber-Pink conjecture for curves in $\mathcal{A}_3$. Unlike previous results for curves in $\mathcal{A}_g$, our result does not rely on any assumption on intersections with the boundary, and in particular applies to potentially compact curves. The argument is based on the $G$-functions method of Yves Andr\'e.
We prove the Zilber-Pink conjecture for curves in $Y(1)^3$ that intersect a modular curve in the boundary. We also give an unconditional result for unlikely intersection points having few places of supersingular reduction where they are close to a fixed base point. Both results are proved using the G-functions method for unlikely intersections.
The aim of this note is to provide a concise introduction to so-called problems of unlikely intersections for (pure) Shimura varieties and to review the current state-of-the-art. In the process, we will touch upon more general settings and some of the results in those contexts.
We establish the PEL type large Galois orbits conjecture for Hodge generic curves in $\mathcal{A}_g$ possessing multiplicative degeneration. Combined with our earlier works, this concludes the proof of the Zilber-Pink conjecture in $\mathcal{A}_2$ for such curves. We also deduce several new cases of Zilber-Pink in $\mathcal{A}_g$ for $g\geq 3$. Our proof uses Andr\'e's G-functions method, using formal and rigid uniformisation of semiabelian schemes to interpret the $p$-adic evaluations of the period G-functions.
We discuss the relationships between the Andr\'e-Oort, Andr\'e-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely intersections in Shimura varieties.
We prove the Zilber--Pink conjecture for curves in $Y(1)^n$ whose Zariski closure in $(\mathbb{P}^1)^n$ passes through the point $(\infty, \ldots, \infty)$, going beyond the asymmetry condition of Habegger and Pila. Our proof is based on a height bound following Andr\'e's G-functions method. The principal novelty is that we exploit relations between evaluations of G-functions at unboundedly many non-archimedean places.
This paper has two objectives. First, we study lattices with skew-Hermitian forms over division algebras with positive involutions. For division algebras of Albert types I and II, we show that such a lattice contains an "orthogonal" basis for a sublattice of effectively bounded index. Second, we apply this result to obtain new results in the field of unlikely intersections. More specifically, we prove the Zilber-Pink conjecture for the intersection of curves with special subvarieties of simple PEL type I and II under a large Galois orbits conjecture. We also prove this Galois orbits conjecture for certain cases of type II.
Ren and the second author established that the weakly optimal subvarieties (e.g. maximal weakly special subvarieties) of a subvariety $V$ of a Shimura variety arise in finitely many families. In this article, we refine this theorem by (1) constructing a finite collection of algebraic families whose fibers are precisely the weakly optimal subvarieties of $V$; (2) obtaining effective degree bounds on the weakly optimal locus and its individual members; (3) describing an effective procedure to determine the weakly optimal locus.
We prove quantitative versions of Borel and Harish-Chandra's theorems on reduction theory for arithmetic groups. Firstly, we obtain polynomial bounds on the lengths of reduced integral vectors in any rational representation of a reductive group. Secondly, we obtain polynomial bounds in the construction of fundamental sets for arithmetic subgroups of reductive groups, as the latter vary in a real conjugacy class of subgroups of a fixed reductive group. Our results allow us to apply the Pila--Zannier strategy to the Zilber--Pink conjecture for the moduli space of principally polarised abelian surfaces. Building on our previous paper, we prove this conjecture under a Galois orbits hypothesis. Finally, we establish the Galois orbits hypothesis for points corresponding to abelian surfaces with quaternionic multiplication, under certain geometric conditions.
In this paper we prove that the space of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space is compact. As an application, we explain some consequences for the distribution of weakly special subvarieties of Shimura varieties.
The Zilber-Pink conjecture predicts that an algebraic curve in $\mathcal{A}_2$ has only finitely many intersections with the special curves, unless it is contained in a proper special subvariety. Under a large Galois orbits hypothesis, we prove the finiteness of the intersection with the special curves parametrising abelian surfaces isogenous to the product of two elliptic curves, at least one of which has complex multiplication. Furthermore, we show that this large Galois orbits hypothesis holds for curves satisfying a condition on their intersection with the boundary of the Baily-Borel compactification of $\mathcal{A}_2$. More generally, we show that a Hodge generic curve in an arbitrary Shimura variety has only finitely many intersection points with the generic points of a Hecke-facteur family, again under a large Galois orbits hypothesis.
Let $Z$ be an algebraic subvariety of a Shimura variety. We extend results of the first author to prove an effective upper bound for the degree of a non-facteur maximal special subvariety of $Z$.
We conjecture that the set of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space $S=\Gamma\backslash G/K$ is compact. More precisely, given a sequence of homogeneous probability measures on $S$, we expect that any weak limit is homogeneous with support contained in precisely one of the boundary components (including $S$ itself). We introduce several tools to study this conjecture and we prove it in a number of cases, including when $G={\rm SL}_3(\mathbb{R})$ and $\Gamma={\rm SL}_3(\mathbb{Z})$.
Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field extension of $k$ of degree bounded independently of the subgroups. Moreover, if $k$ is a real number field, we show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over the field of real numbers $\mathbb{R}$ are actually conjugate over a finite real extension of $k$ of degree bounded independently of the subgroups.
Let s be a special point on a Shimura variety, and x a pre-image of s in a fixed fundamental set of the associated Hermitian symmetric domain. We prove that the height of x is polynomially bounded with respect to the discriminant of the centre of the endomorphism ring of the corresponding Z-Hodge structure. Our bound is the final step needed to complete a proof of the Andre-Oort conjecture under the conjectural lower bounds for the sizes of Galois orbits of special points, using a strategy of Pila and Zannier.
In 2014, Pila and Tsimerman gave a proof of the Ax-Schanuel conjecture for the $j$-function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimura variety. We refer to this generalization as the hyperbolic Ax-Schanuel conjecture. In this article, we show that the hyperbolic Ax-Schanuel conjecture can be used to reduce the Zilber-Pink conjecture for Shimura varieties to a problem of point counting. We further show that this point counting problem can be tackled in a number of cases using the Pila-Wilkie counting theorem and several arithmetic conjectures. Our methods are inspired by previous applications of the Pila-Zannier method and, in particular, the recent proof by Habegger and Pila of the Zilber-Pink conjecture for curves in abelian varieties.
We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{ω_1, ω}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this $\mathcal{L}_{ω_1, ω}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety.
The purpose of this article is to explain the Pila-Zannier strategy for proving the André-Oort conjecture. First, however, we will provide a brief introduction to the theory of Shimura varieties.