Related papers: An effective Chabauty-Kim theorem

We give an alternative proof of Faltings's theorem (Mordell's conjecture): a curve of genus at least two over a number field has finitely many rational points. Our argument utilizes the set-up of Faltings's original proof, but is in spirit…

We consider families of smooth projective curves of genus 2 with a single point removed and study their integral points. We show that in many such families there is a dense set of fibres for which the integral points can be effectively…

Clemens' conjecture states that the the number of rational curve in a generic quintic threefold is finite. If it is false we prove that certain periods of rational curves in such a quintic threefold must vanish. Our method is based on a…

We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any…

We prove the following form of the Clemens conjecture in low degree. Let $d\le9$, and let $F$ be a general quintic threefold in $\IP^4$. Then (1)~the Hilbert scheme of rational, smooth and irreducible curves of degree $d$ on $F$ is finite,…

Let X be a projective variety which is covered by a family of rational curves of minimal degree. The classic bend-and-break argument of Mori asserts that if x and y are two general points, then there are at most finitely many curves in that…

Currently, the best upper bounds on the number of rational points on an absolutely irreducible, smooth, projective algebraic curve of genus g defined over a finite field F_q come either from Serre's refinement of the Weil bound if the genus…

We determine the quadratic Chabauty set for integral points on elliptic curves of rank $2$ defined over imaginary quadratic fields using quadratic Chabauty. This builds on the work of Bianchi and Balakrishnan et al. We give the first…

By constructing an infinite dimensional KAM theorem of the normal frequencies being dense at finite-point, we show that some shallow water equations such as Benjamin-Bona-Mahony equation and the generalized $d$-Dim. Pochhammer-Chree…

Polylogarithms are those multiple polylogarithms that factor through a certain quotient of the de Rham fundamental group of the thrice punctured line known as the polylogarithmic quotient. Building on work of Dan-Cohen, Wewers, and Brown,…

Let $X$ be the product of two projective spaces and consider the general CICY threefold $Y$ in $X$ with configuration matrix $A$. We prove the finiteness part of the analogue of the Clemens' conjecture for such a CICY in low bidegrees. More…

We explain how recent work on 3-descent and 4-descent for elliptic curves over Q can be combined to search for generators of the Mordell-Weil group of large height. As an application we show that every elliptic curve of prime conductor in…

We describe how one can use the "Selmer group Chabauty" method developed by the author to show that certain hyperelliptic curves of the form $$ C \colon y^2 = x^N + h(x)^2 \,, $$ where $N = 2g + 1$ is odd, $h \in \mathbb{Z}[x]$ with…

We provide in this paper an upper bound for the number of rational points on a curve defined over a one variable function field over a finite field. The bound only depends on the curve and the field, but not on the Jacobian variety of the…

Baker's method, relying on estimates on linear forms in logarithms of algebraic numbers, allows one to prove in several situations the effective finiteness of integral points on varieties. In this article, we give a generalisation of…

Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…

Let $X$ be a quotient of the modular curve $X_0(N)$ whose Jacobian $J_X$ is a simple factor of $J_0(N)^{new}$ over $\mathbb{Q}$. Let $f$ be the newform of level $N$ and weight 2 associated with $J_X$; assume $f$ has analytic rank 1. We give…

Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

In this paper we elucidate the advantage of examining the connections between Hilbert-Kamke equations and geometric designs, or Chebyshev-type quadrature, for classical orthogonal polynomials. We first establish that if a $5$-design with…