Related papers: Explicit quadratic Chabauty over number fields

In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekov\'a\v{r}) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local…

The paper presents a classification of quadratic extension algebras, also known as algebras of degree 2, as well as several characterizations of quaternion algebras over a field (of characteristic not 2). The presentation is not restricted…

We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of…

In this paper we study quadratic points on the non-split Cartan modular curves $X_{ns}(p)$, for $p = 7, 11,$ and $13$. Recently, Siksek proved that all quadratic points on $X_{ns}(7)$ arise as pullbacks of rational points on $X_{ns}^+(7)$.…

Combining $2$-descent techniques with Riemann-Roch and B\'ezout's theorems, we give an upper bound on the number of rational points of bounded height on elliptic and hyperelliptic curves over function fields of characteristic $\neq 2$. We…

Conditionally on the Tate--Shafarevich and Bloch--Kato Conjectures, we give an explicit upper bound on the size of the $p$-adic Chabauty--Kim locus, and hence on the number of rational points, of a smooth projective curve $X/\mathbb{Q}$ of…

There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability…

We prove new theorems which are higher-dimensional generalizations of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from $\mathbb{C}$ to affine curves. These include results on…

Building on work of Balakrishnan, Dogra, and of the first author, we provide some improvements to the explicit quadratic Chabauty method to compute rational points on genus $2$ bielliptic curves over $\mathbb{Q}$, whose Jacobians have…

Let $C$ be a hyperelliptic curve defined over $\mathbb{Q}$, whose Weierstrass points are defined over extensions of $\mathbb{Q}$ of degree at most three, and at least one of them is rational. Generalizing a result of R. Soleng (in the case…

Let $C$ be a smooth projective absolutely irreducible curve of genus $g \geq 2$ over a number field $K$ of degree $d$, and denote its Jacobian by $J$. Denote the Mordell--Weil rank of $J(K)$ by $r$. We give an explicit and practical…

We extend methods of Greenberg and the author to compute in the cohomology of a Shimura curve defined over a totally real field with arbitrary class number. Via the Jacquet-Langlands correspondence, we thereby compute systems of Hecke…

A general scheme for determining and studying integrable deformations of algebraic curves is presented. The method is illustrated with the analysis of the hyperelliptic case. An associated multi-Hamiltonian hierarchy of systems of…

In this article we give an algorithm for the computation of the number of rational points on the Jacobian variety of a generic ordinary hyperelliptic curve defined over a finite field of cardinality $q$ with time complexity $O(n^{2+o(1)})$…

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to…

In this article, we present a method for computing rational points on hyperelliptic curves of genus~3 and isolated quadratic points on hyperelliptic curves of genus~2 and~3 whose Jacobians have rank~0. Our approach begins by computing the…

We use the method of quadratic Chabauty on the quotients $X_0^+(N)$ of modular curves $X_0(N)$ by their Fricke involutions to provably compute all the rational points of these curves for prime levels $N$ of genus four, five, and six. We…

Given a smooth cubic hypersurface $X$ over a finite field of characteristic greater than 3 and two generic points on $X$, we use a function field analogue of the Hardy-Littlewood circle method to obtain an asymptotic formula for the number…

We construct explicit families of hyperelliptic curves over $\QQ$ whose Jacobians admit complex multiplication (CM). Each curve in these families is defined by \[ v^2 = (u+2)\,\varphi_d(u), \quad d = 2^e \text{ or } d=p \geq 3 \text{…

In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in…