Related papers: Explicit quadratic Chabauty over number fields

We give new improvements to the Chudnovsky-Chudnovsky method that provides upper bounds on the bilinear complexity of multiplication in extensions of finite fields through interpolation on algebraic curves. Our approach features three…

For an elliptic curve $E$ defined over a field $k\subset \mathbb C$, we study iterated path integrals of logarithmic differential forms on $E^\dagger$, the universal vectorial extension of $E$. These are generalizations of the classical…

We consider heights of horizontal irreducible divisors on an arithmetic surface with respect to some hermitian line bundle. We obtain both lower and upper bounds for these heights. The results are different and sometimes stronger that those…

We give explicit numerical estimates for the generalized Chebyshev functions. Explicit results of this kind are useful for estimating of computational complexity of algorithms which generates special primes. Such primes are needed to…

We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To that end, we study the arithmetic of such…

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 show how to speed up the computation of isomorphisms of hyperelliptic curves by using covariants. We also obtain new theoretical and practical results concerning models of these curves over their field of moduli.

We use the method of Faltings (Arakelov, Par\v{s}in, Szpiro) in order to explicitly study integral points on a class of varieties over $\mathbb Z$ called Hilbert moduli schemes. For instance, integral models of Hilbert modular varieties are…

In this article, we classify the characters associated to algebraic points on Shimura curves of $\Gamma_0(p)$-type, and over a quadratic field we show that there are at most elliptic points on such a Shimura curve for every sufficiently…

We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty…

In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this…

In this paper, we study additively indecomposable quadratic forms over real biquadratic and simplest cubic fields. In particular, we show that over these fields, we can always find such a classical form in 2 variables, which differs from…

We present an algorithm for determining the set of $S$-integral points on an affine curve based on the Affine Chabauty method developed in the first part of this series. We achieve this by constructing explicit logarithmic differentials…

We study the existence of some irreducible projective plane curves of degree~$8$ with some prescribed topological type of singularities in the algebraic and symplectic worlds.

We consider the problem of bounding the dimension of the linear system of curves in ${\bf P}^2$ of degree $d$ with prescribed multiplicities $m_1,...,m_n$ at $n$ general points (\cite{Hir1},\cite{Hir2}). We propose a new method, based on…

We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…

This paper studies hyperelliptic curves $\cH_d$ corresponding to $y^2=\varphi_d(x)$ over finite fields, with $\varphi_d(x)$ a Chebyshev polynomial. Starting from the case where $d=\ell$ is an odd prime number, new cases $(d,q)$ are…

We construct \'etale generalized Heisenberg group covers of hyperelliptic curves over number fields. We use these to produce infinite families of quadratic extensions of cyclotomic fields that admit everywhere unramified generalized…

We study a class of semistable ordinary hyperelliptic curves over 2-adic fields and the special fibre of their minimal regular model. We show that these curves can be controlled using `cluster pictures', similarly to the case of odd residue…

Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym-variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian…