Related papers: Siegel's theorem via the Lawrence-Venkatesh method

We present here quantitative versions in 1 dimension of Faltings'theorem according to which the set of the K-rational points (where K is a given number field) of an abelian variety A definied over K, which are close (with respect to a…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the…

We prove formulas for power moments for point counts of elliptic curves over a finite field $k$ such that the groups of $k$-points of the curves contain a chosen subgroup. These formulas express the moments in terms of traces of Hecke…

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…

In this expository paper, we review the formula of Chowla and Selberg for the periods of elliptic curves with complex multiplication, and discuss two methods of proof. One uses Kronecker's limit formula and the other uses the geometry of a…

Between his arrival in Frankfurt in $1922$ and and his proof of his famous finiteness theorem for integral points in $1929$, Siegel had no publications. He did, however, write a letter to Mordell in $1926$ in which he explained a proof of…

In this note, we give an alternative proof of uniform boundedness of the number of integral points of smooth projective curves over a fixed number field with good reduction outside of a fixed set of primes. We use that due to…

We obtain explicit formulas for the number of non-isomorphic elliptic curves with a given group structure (considered as an abstract abelian group). Moreover, we give explicit formulas for the number of distinct group structures of all…

We apply the local removable singularity theorem for minimal laminations and the local picture theorem on the scale of topology to obtain two descriptive results for certain possibly singular minimal laminations of $\mathbb{R}^3$. These two…

We study the \Q_p-unipotent Albanese map for curves over local fields with residue characteristic different from p and show that it has finite image. As a corollary, we deduce a simple `pi_1'-proof of Siegel's theorem for rank 1 elliptic…

Let A be an abelian variety over a number field K. An identity between the L-functions L(A/K_i,s) for extensions K_i of K induces a conjectural relation between the Birch-Swinnerton-Dyer quotients. We prove these relations modulo finiteness…

Let k be a number field, let E/k be an elliptic curve, and let S be a finite set of places of k contianing the archimedean places. Let F be an algebraic closure of k. We prove that if a point P in E(F) is nontorsion, then there are only…

The Sylvester-Gallai theorem says that for any finite set of non-collinear points in $\R^2$, there is some line passing through exactly two points of the set. Over the complex numbers, this theorem fails: there are finite configurations…

Let $E/F$ be an elliptic curve over a number field $F$ with complex multiplication by the ring of integers in an imaginary quadratic field $K$. We give a complete proof of the conjecture of Birch and Swinnerton-Dyer for $E/F$, as well as…

We proved a new Siegel-Weil formula for orthogonal and symplectic groups, which will be used later to prove a generalization of Siegel-Weil formula for loop groups.

We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erd\"os-Simonovits and…

We prove Larsen's conjecture for elliptic curves over $\mathbb{Q}$ with analytic rank at most $1$. Specifically, let $E/\mathbb{Q}$ be an elliptic curve over $\mathbb{Q}$. If $E/\mathbb{Q}$ has analytic rank at most $1$, then we prove that…

It is conjectured that there exist finitely many isomorphism classes of simple endomorphism algebras of abelian varieties of GL_2-type over \Q of bounded dimension. We explore this conjecture when particularized to quaternion endomorphism…

The Sylvester-Gallai theorem states that for a finite set of points in the plane, if every line determined by any two of these points also contains a third, then the set is necessarily made of collinear points. In this paper, we first…