Related papers: Explicit quadratic Chabauty over number fields

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…

Let k be a quadratic field. We give an explicit formula for the Dirichlet series enumerating cubic fields whose quadratic resolvent field is isomorphic to k. Our work is a sequel to previous work of Cohen and Morra, where such formulas are…

Elliptic curves have a well-known and explicit theory for the construction and application of endomorphisms, which can be applied to improve performance in scalar multiplication. Recent work has extended these techniques to hyperelliptic…

We find a closed formula for the number $\operatorname{hyp}(g)$ of hyperelliptic curves of genus $g$ over a finite field $k=\mathbb{F}_q$ of odd characteristic. These numbers $\operatorname{hyp}(g)$ are expressed as a polynomial in $q$ with…

We develop explicit techniques to investigate algebraic quasi-hyperbolicity of singular surfaces through the constraints imposed by symmetric differentials. We apply these methods to prove that rational curves on Barth's sextic surface,…

We design efficient algorithms to evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields or finite fields using complex approximations. Their output is provably correct when the associated graded ring…

We discuss continued fractions on real quadratic number fields of class number 1. If the field has the property of being 2-stage euclidean, a generalization of the euclidean algorithm can be used to compute these continued fractions.…

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational…

We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the…

We derive explicit defining equations for a number of irreducible maximizing plane sextics with double singular points only. For most real curves, we also compute the fundamental group of the complement; all groups found are abelian. As a…

In this paper, we study the computation of curvatures at the singular points of algebraic curves and surfaces. The idea is to convert the problem to compute the curvatures of the corresponding regular parametric curves and surfaces, which…

This paper introduces explicit Galois cohomological methods for determining the ranks of Bloch--Kato Selmer groups associated to the Tate twists of the 2-adic second \'etale cohomology of the Jacobian of a hyperelliptic curve with a…

In this paper we study a family of curves obtained by fibre products of hyperelliptic curves. We then exploit this family to construct examples of curves of given genus g over a finite field Fq with many rational points. The results…

Following the work of Mestre, we use Weil's explicit formulas to compute explicit lower bounds on the conductors of elliptic curves and abelian varieties over number fields. Moreover, we obtain bounds for the conductor of elliptic curves…

A superspecial curve is a (non-singular) curve over a field of positive characteristic whose Jacobian variety is isomorphic to a product of supersingular elliptic curves over the algebraic closure. It is known that for given genus and…

We classify completely the intersections of the Hermitian curve with parabolas in the affine plane. To obtain our results we employ well-known algebraic methods for finite fields and geometric properties of the curve automorphisms. In…

Let G be a reductive algebraic group over a number field k. It is shown how Emerton's methods may be applied to the problem of p-adically interpolating the metaplectic forms on G, i.e. the automorphic forms on metaplectic covers of G, as…

We transfer the algebro-geometric method of construction of solutions of the discrete KP equation to the finite field case. We emphasize role of the Jacobian of the underlying algebraic curve in construction of the solutions. We illustrate…

We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We…