Cardona and Lario [‘Twists of the genus 2 curve $y^2 = x^6+1$’, J. Number Theory 209 (2020), 195–211] gave a complete classification of the twists of the curve $y^2 = x^6+1$. In this paper, we study the twists of the curve whose automorphism group is defined over a biquadratic extension of the rationals. If the twists are of type B or C in the Cardona–Lario classification, we find a pair of elliptic curves whose product is isogenous with the Jacobian of the twist.

Twisted étale groupoid algebras have recently been studied in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups, and we show that they are classified by Lausch’s second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists.

We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.

In this paper, we study bounds for the number of rational points on twists $C'$ of a fixed curve $C$ over a number field ${\mathcal K}$, under the condition that the group of ${\mathcal K}$-rational points on the Jacobian $J'$ of $C'$ has rank smaller than the genus of $C'$. The main result is that with some explicitly given finitely many possible exceptions, we have a bound of the form $2r + c$, where $r$ is the rank of $J'({\mathcal K})$ and $c$ is a constant depending on $C$. For the proof, we use a refinement of the method of Chabauty–Coleman: the main new ingredient is to use it for an extension field of ${\mathcal K}_v$, where $v$ is a place of bad reduction for $C'$.

This paper develops an analytic theory of Dirichlet series in several complex variables which possess sufficiently many functional equations. In the first two sections it is shown how straightforward conjectures about the meromorphic continuation and polar divisors of certain such series imply, as a consequence, precise asymptotics (previously conjectured via random matrix theory) for moments of zeta functions and quadratic L-series. As an application of the theory, in a third section, we obtain the current best known error term for mean values of cubes of cent ral values of Dirichlet L-series. The methods utilized to derive this result are the convexity principle for functions of several complex-variables combined with a knowledge of groups of functional equations for certain multiple Dirichlet series.