Related papers: Diophantine problems and $p$-adic period mappings
We prove that arboreal Galois extensions of number fields are never abelian for post-critically finite rational maps and non-preperiodic base points. For polynomials, this establishes a new class of known cases of a conjecture of…
We prove a completely explicit and effective upper bound for the N\'eron--Tate height of rational points of curves of genus at least $2$ over number fields, provided that they have enough automorphisms with respect to the Mordell--Weil rank…
Let $X$ be a smooth, projective, geometrically irreducible curve of genus at least two defined over a number field $K$. We prove that there is an algorithm that determines whether $X$ has a $K$-rational point if Grothendieck's section…
A conjecture of Coleman implies that only finitely many quaternion algebras over the rational numbers can be the endomorphism $\mathbf{Q}$-algebras of abelian surfaces over the complex numbers which can be defined over $\mathbf{Q}$. One may…
For a prime number p>2, we give a direct proof of Breuil's classification of killed by p finite flat group schemes over the valuation ring of a p-adic field with perfect residue field. As application we prove that the Galois modules of…
We provide new upper bounds on N_q(g), the maximum number of rational points on a smooth absolutely irreducible genus-g curve over F_q, for many values of q and g. Among other results, we find that N_4(7) = 21 and N_8(5) = 29, and we show…
We study unramified sections of the fundamental group sequence of smooth projective curves of genus $\geq 2$ over $p$-adic fields together with an integral model. We are particularly interested in the induced specialized sections of the…
Motivated by a uniform boundedness conjecture of Morton and Silverman, we study the graphs of pre-periodic points for maps in three families of dynamical systems, namely the collections of rational functions of degree two having a periodic…
We give new bounds for the number of integral points on elliptic curves. The method may be said to interpolate between approaches via diophantine techniques ([BP], [HBR]) and methods based on quasiorthogonality in the Mordell-Weil lattice…
We produce new explicit examples of genus-2 curves over the rational numbers whose Jacobian varieties have rational torsion points of large order. In particular, we produce a family of genus-2 curves over Q whose Jacobians have a rational…
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian…
We use geometry of the wonderful compactification to obtain a new proof of the relation between Deligne-Lusztig (or Alvis-Curtis) duality for $p$-adic groups and the homological duality. This provides a new way to introduce an involution on…
We show that there exist genus one curves of every index over the rational numbers, answering affirmatively a question of Lang and Tate. The proof is "elementary" in the sense that it does not assume the finiteness of any Shafarevich-Tate…
Using the theory of pro-p groups and relative Poincar\'{e} duality, we define a type of cobordism category well suited to arithmetic topology. We completely classify topological quantum field theories on these two-dimensional versions of…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…
We present experimental evidence to support the widely held belief that one half of all elliptic curves have infinitely many rational points. The method used to gather this evidence is a refinement of an algorithm due to the author which is…
We show that a genus $2$ curve over a number field whose jacobian has complex multiplication will usually have stable bad reduction at some prime. We prove this by computing the Faltings height of the jacobian in two different ways. First,…
We prove a certain transcendence property of the unipotent Albanese map of a smooth variety, conditional on the Ax-Schanuel conjecture for variations of mixed Hodge structure. We show that this property allows the Chabauty-Kim method to be…
We consider generalizations of Szpiro's classical discriminant conjecture to hyperelliptic curves over a number field $K$, and to smooth, projective and geometrically connected curves $X$ over $K$ of genus at least one. The main results…
We prove that infinite p-adically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then…