Related papers: Generalised height pairings and the Albanese kerne…

Let $A$ be an abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and an effective horizontal divisor $\mathcal{D} \subset \mathcal{A}$. We study $(S,…

Based on ideas from recent joint work with Bjorn Poonen, we describe an algorithm that can in certain cases determine the set of rational points on a curve $C$, given only the $p$-Selmer group $S$ of its Jacobian (or some other abelian…

We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental…

The main point of the paper is to take the explicit motivic Chabauty-Kim method developed in papers of Dan-Cohen--Wewers and Dan-Cohen and the author and make it work for non-rational curves. In particular, we calculate the abstract form of…

We use Arakelov theory to define a height on divisors of degree zero on a hyperelliptic curve over a global field, and show that this height has computably bounded difference from the N\'eron-Tate height of the corresponding point on the…

We generalize the work of Dem'janenko and Silverman for the Fermat quartics, effectively determining the rational points on the curves $x^{2m}+ax^m+ay^m+y^{2m}=b$ whenever the ranks of some companion hyperelliptic Jacobians are at most one.…

First constructed by Beilinson for curves defined over an algebraically closed field; R\"ossler and Szamuely generalized Beilinson's height pairing to the higher dimensional setting. In this paper we study this pairing and relate it to the…

We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of…

We introduce a common generalization of essentially all known methods for explicit computation of Selmer groups, which are used to bound the ranks of abelian varieties over global fields. We also simplify and extend the proofs relating what…

We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian…

In this paper, we will give a uniform upper bound of the number of rational points of bounded height in non-singular curves by applying the global determinant method.

We express the kernel of Griffiths' Abel-Jacobi map by using the inductive limit of Deligne cohomology in the generalized sense (i.e. the absolute Hodge cohomology of A. Beilinson). This generalizes a result of L. Barbieri-Viale and V.…

We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis,…

We study the problem of describing local components of height functions on abelian varieties over characteristic $0$ local fields as functions on spaces of torsors under various realisations of a $2$-step unipotent motivic fundamental group…

Answering a question of Zureick-Brown, we determine the cubic points on the modular curves $X_0(N)$ for $N \in \{53,57,61,65,67,73\}$ as well as the quartic points on $X_0(65)$. To do so, we develop a "partially relative" symmetric Chabauty…

We give a method for the computation of integral points on a hyperelliptic curve of odd degree over the rationals whose genus equals the Mordell-Weil rank of its Jacobian. Our approach consists of a combination of the $p$-adic approximation…

We develop a theory of $p$-adic N\'eron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic…

We discuss the asymptotics of the Archimedean part of the Arakelov intersection number. The theorem is motivated by recent conjectures and their proof strategy by Gao and Zhang on the Northcott property of the Beilinson--Bloch height…

The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular…

We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to…