Related papers: A p-adic quasi-quadratic point counting algorithm

Let E_G be a family of hyperelliptic curves over F2^(alg cl) with general Weierstrass equation given over a very small field F. We describe in this paper an algorithm to compute the zeta function of E_g for g in a degree n extension field…

We give a completely explicit upper bound for integral points on (standard) affine models of hyperelliptic curves, provided we know at least one rational point and a Mordell-Weil basis of the Jacobian. We also explain a powerful refinement…

We describe a provably quasi-polynomial algorithm to compute discrete logarithms in the multiplicative groups of finite fields of small characteristic, that is finite fields whose characteristic is logarithmic in the order. We partially…

The Chabauty--Coleman--Kim method, under favourable circumstances, describes the set of integral points of a hyperelliptic curve inside the $p$-adic zeroes of certain transcendental functions. For an elliptic curve of Mordell--Weil rank…

We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility…

Determining all rational points on a curve of genus at least 2 can be difficult. Chabauty's method (1941) is to intersect, for a prime number p, in the p-adic Lie group of p-adic points of the jacobian, the closure of the Mordell-Weil group…

In this paper, we obtain bounds for the Mordell-Weil ranks over cyclotomic extensions of a wide range of abelian varieties defined over a number field $F$ whose primes above $p$ are totally ramified over $F/\mathbb{Q}$. We assume that the…

A simple algorithm with quasi-linear time complexity and linear space complexity for the evaluation of the hypergeometric series with rational coefficients is constructed. It is shown that this algorithm is suitable in practical informatics…

The Birch and Swinnerton-Dyer conjecture predicts that the parity of the algebraic rank of an abelian variety over a global field should be controlled by the expected sign of the functional equation of its $L$-function, known as the global…

We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by…

Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg…

We generalize the group law of curves of degree three by chords and tangents to the Jacobi variety of a hyperelliptic curve. In the case of genus 2 we accomplish the construction by a cubic parabola. We derive explicit rational formulas for…

The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what…

Results in $p$-adic transcendence theory are applied to two problems in the Chabauty-Coleman method. The first is a question of McCallum and Poonen regarding repeated roots of Coleman integrals. The second is to give lower bounds on the…

Given asymptotic counts in number theory, a question of Venkatesh asks what is the topological nature of lower order terms. We consider the arithmetic aspect of the inertia stack of an algebraic stack over finite fields to partially answer…

Let C/Q be a curve of genus three, given as a double cover of a plane conic. Such a curve is hyperelliptic over the algebraic closure of Q, but may not have a hyperelliptic model of the usual form over Q. We describe an algorithm that…

We prove hypergeometric type summation identities for a function defined in terms of quotients of the $p$-adic gamma function by counting points on certain families of hyperelliptic curves over $\mathbb{F}_{q}$. We also find certain special…

Let $K$ be a number field and let $C/K$ be a curve of genus 2 with Jacobian variety $J$. In this paper, we study the canonical height $\hat{h} \colon J(K) \to \mathbb R$. More specifically, we consider the following two problems, which are…

It was shown by Faltings and Hriljac that the N\'eron-Tate height of a point on the Jacobian of a curve can be expressed as the self-intersection of a corresponding divisor on a regular model of the curve. We make this explicit and use it…

This paper presents algorithmic approaches to study superspecial hyperelliptic curves. The algorithms proposed in this paper are: an algorithm to enumerate superspecial hyperelliptic curves of genus $g$ over finite fields $\mathbb{F}_q$,…