Let $C\; : \;y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega _{\mathcal{C}/O_K}$.

In this work, we study the Humbert-Edge curves of type 5, defined as a complete intersection of four diagonal quadrics in ${\mathbb{P}}^5$. We characterize them using Kummer surfaces, and using the geometry of these surfaces, we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert-Edge curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we show how this argument can be generalized to state an isomorphism between the moduli space of hyperelliptic curves of genus $g=\frac{n-1}{2}$ and the moduli space of Humbert-Edge curves of type $n\geq 5$ where $n$ is an odd number.

We prove that $164\, 634\, 913$ is the smallest positive integer that is a sum of two rational sixth powers, but not a sum of two integer sixth powers. If $C_{k}$ is the curve $x^{6} + y^{6} = k$ , we use the existence of morphisms from $C_{k}$ to elliptic curves, together with the Mordell–Weil sieve, to rule out the existence of rational points on $C_{k}$ for various k.

We study smoothing of pencils of curves on surfaces with normal crossings. As a consequence we show that the canonical divisor of $\overline {\mathcal {M}}_{g,n}$ is not pseudoeffective in some range, implying that $\overline {\mathcal {M}}_{12,6}$, $\overline {\mathcal {M}}_{12,7}$, $\overline {\mathcal {M}}_{13,4}$ and $\overline {\mathcal {M}}_{14,3}$ are uniruled. We provide upper bounds for the Kodaira dimension of $\overline {\mathcal {M}}_{12,8}$ and $\overline {\mathcal {M}}_{16}$. We also show that the moduli space of $(4g+5)$-pointed hyperelliptic curves $\overline {\mathcal {H}}_{g,4g+5}$ is uniruled. Together with a recent result of Schwarz, this concludes the classification of moduli of pointed hyperelliptic curves with negative Kodaira dimension.

Yoshikawa in [Invent. Math. 156 (2004), 53–117] introduces a holomorphic torsion invariant of $K3$ surfaces with involution. In this paper we completely determine its structure as an automorphic function on the moduli space of such $K3$ surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds’ conjecture.

The generalized Soulé character was introduced by H. Nakamura and Z. Wojtkowiak and is a generalization of Soulé’s cyclotomic character. In this paper, we prove that certain linear sums of generalized Soulé characters essentially coincide with the image of generalized Beilinson elements in K-groups under Soulé’s higher regulator maps. This result generalizes Huber–Wildeshaus’ theorem, which is a cyclotomic field case of our results, to an arbitrary number fields.

We give a bound on the primes dividing the denominators of invariants of Picard curves of genus 3 with complex multiplication. Unlike earlier bounds in genus 2 and 3, our bound is based, not on bad reduction of curves, but on a very explicit type of good reduction. This approach simultaneously yields a simplification of the proof and much sharper bounds. In fact, unlike all previous bounds for genus 3, our bound is sharp enough for use in explicit constructions of Picard curves.

In this paper we discuss a relationship between the spectral asymmetry and the surface symmetry. More precisely, we show that for every automorphism of a Hurwitz surface with the automorphism group $\text{PSL}(2,\mathbb{F}_{q})$, the $\unicode[STIX]{x1D702}$-invariant of the corresponding mapping torus vanishes if $q$ is sufficiently large.

We describe the construction of a database of genus-$2$ curves of small discriminant that includes geometric and arithmetic invariants of each curve, its Jacobian, and the associated $L$-function. This data has been incorporated into the $L$-Functions and Modular Forms Database (LMFDB).

A conjecture of Scharaschkin and Skorobogatov states that there is a Brauer–Manin obstruction to the existence of rational points on a smooth geometrically irreducible curve over a number field. In this paper, we verify the Scharaschkin–Skorobogatov conjecture for explicit families of generalized Mordell curves. Our approach uses standard techniques from the Brauer–Manin obstruction and the arithmetic of certain threefolds.

We exhibit a numerical method to compute three-point branched covers of the complex projective line. We develop algorithms for working explicitly with Fuchsian triangle groups and their finite-index subgroups, and we use these algorithms to compute power series expansions of modular forms on these groups.

We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and the advancement of efficient symbolic computation techniques have allowed for recent progress in this area. In this paper we focus on the genus three cases, comparing the two canonical classes of hyperelliptic and trigonal curves. We present new addition formulae, derive bases for the spaces of Abelian functions and discuss the differential equations such functions satisfy.

Supplementary materials are available with this article.

We discuss the Mordell–Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be obtained if one does not want to restrict to mod p information at primes of good reduction. We describe our implementation of the Mordell–Weil sieve algorithm and discuss its efficiency.

Supplementary materials are available with this article.

We give an explicit treatment of cubic function fields of characteristic at least five. This includes an efficient technique for converting such a field into standard form, formulae for the field discriminant and the genus, simple necessary and sufficient criteria for non-singularity of the defining curve, and a characterization of all triangular integral bases. Our main result is a description of the signature of any rational place in a cubic extension that involves only the defining curve and the order of the base field. All these quantities only require simple polynomial arithmetic as well as a few square-free polynomial factorizations and, in some cases, square and cube root extraction modulo an irreducible polynomial. We also illustrate why and how signature computation plays an important role in computing the class number of the function field. This in turn has applications to the study of zeros of zeta functions of function fields.

Let k be a field of characteristic other than 2. There can be an obstruction to a principally polarized abelian threefold (A,a) over k, which is a Jacobian over , being a Jacobian over k; this can be computed in terms of the rationality of the square root of the value of a certain Siegel modular form. We show how to do this explicitly for principally polarized abelian threefolds which are the third power of an elliptic curve with complex multiplication. We use our numerical results to prove or refute the existence of some optimal curves of genus 3.

In this paper, we prove that the unboundedness of ranks in families of Jacobian varieties of twisted Fermat curves is equivalent to the divergence of certain infinite series.

In this paper, we obtain algebraic equations for all genus 2 compact Riemann surfaces that admit a semi-regular (or uniform) covering of the Riemann sphere with more than two lifting symmetries. By a lifting symmetry, we mean an automorphism of the target surface which can be lifted to the covering. We restrict ourselves to the genus 2 surfaces in order to make computations easier and to make possible to find their algebraic equations as well. At the same time, the main ingredient (Main Proposition) depends neither on the genus, nor on the order of the group of lifting symmetries. Because of this, the paper can be thought as a generalisation for the non-normal case to the question of lifting automorphisms of a compact Riemann surface to a normal covering, treated, for instance, by E. Bujalance and M. Conder in a joint paper, or by P. Turbek solely.

In this paper we prove that most ropes of arbitrary multiplicity supported on smooth curves can be smoothed. By a rope being smoothable we mean that the rope is the flat limit of a family of smooth, irreducible curves. To construct a smoothing, we connect, on the one hand, deformations of a finite morphism to projective space and, on the other hand, morphisms from a rope to projective space. We also prove a general result of independent interest, namely that finite covers onto smooth irreducible curves embedded in projective space can be deformed to a family of 1:1 maps. We apply our general theory to prove the smoothing of ropes of multiplicity 3 on P1. Even though this paper focuses on ropes of dimension 1, our method yields a general approach to deal with the smoothing of ropes of higher dimension.

Let C be a smooth irreducible complete curve of genus g ≥ 2 over an algebraically closed field of characteristic 0. An ample K3 extension of C is a K3 surface with at worst rational double points which contains C in the smooth locus as an ample divisor.

In this paper, we prove that all smooth curve of genera. 2 ≤ g ≤ 8 have ample K3 extensions. We use Bertini type lemmas and double coverings to construct ample K3 extensions.

We study genus 5 curves C with a fixed point free involution. We give a geometrical (embedded) characterisation of these curves among all genus 5 curves: the points of the Prym variety associated to the involution give embeddings of the curve C in ${{\mathbb P}}_3$ so that C has infinitely many quadrisecant lines. Conversely, any genus 5 curve having such an embedding is endowed with a fixed point free involution and the embedding is given by a point of the Prym variety.