For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control.
In the study of hyperelliptic curve cryptography, presentations of semi-reduced divisors on a hyperelliptic curve play important roles. In this note, we give an interpretation for such presentations from view points of Gröbner bases. As applications, (i) we give a method to construct weak $n$-contact curves and (ii) we study plane curves satisfying quasi-toric relations of type $(2, n, 2)$
We prove that k-th singular cohomology group of the complement of the theta divisor in a hyperelliptic Jacobian is isomorphic to the k-th fundamental representation of the symplectic group Sp(2g,C). This is one of the conjectures in our previous paper.
Let $\mathcal{M}_{g,2}$ be the moduli space of curves of genus $g$ with a level-2 structure. We prove here that there is always a non hyperelliptic element in the intersection of four thetanull divisors in $\mathcal{M}_{6,2}$. We prove also that for all $g\geqslant3$, each component of the hyperelliptic locus in $\mathcal{M}_{g,2}$ is a connected component of the intersection of $g-2$ thetanull divisors.
A group $H \cong {\mathbb Z}_{2}^{n}$, $n \geq 3$, of conformal automorphisms of a closed Riemann surface $S$ such that $S/H$ has genus zero and exactly $(n+1)$ cone points is called a generalized Humbert group of type $n$, in which case, $S$ is called a generalized Humbert curve of type $n$. It is known that a generalized Humbert curve $S$ of type $n \geq 4$ is non-hyperelliptic and that it admits a unique generalized Humbert group $H$ of type $n$. We describe those subgroups $K$ of $H$, acting freely on $S$, such that $S/K$ is hyperelliptic.
Let $X$ be the moduli space of semistable rank 2 vector bundles over a smooth curve C of genus $g \ge 2$ and $θ: X \to PH^0(L)^*$ be the map associated to the generalized theta divisor L on X. We prove that for C not hyperelliptic, the map $θ$ is injective and the differential of $θ$ is injective at smooth points of X.
For an (imaginary) hyperelliptic curve $\mathcal{H}$ of genus $g$, we determine a basis of the Riemann-Roch space $\mathcal{L}(D)$, where $D$ is a divisor with positive degree $n$, linearly equivalent to $P_1+\cdots+ P_j+(n-j)Ω$, with $0 \le j \le g$, where $Ω$ is a Weierstrass point, taken as the point at infinity. As an application, we determine a generator matrix of a Goppa code for $j=g=3$ and $n=4.$
Two problems are addressed: reduction of an arbitrary degree non-special divisor to the equivalent divisor of the degree equal to genus of a curve, and addition of divisors of arbitrary degrees. The hyperelliptic case is considered as the simplest model. Explicit formulas defining reduced divisors for some particular cases are found. The reduced divisors are obtained in the form of solution of the Jacobi inversion problem which provides the way of computing Abelian functions on arbitrary non-special divisors. An effective reduction algorithm is proposed, which has the advantage that it involve…
Buchstaber and Mikhailov introduced the polynomial dynamical systems in $\mathbb{C}^4$ with two polynomial integrals on the basis of commuting vector fields on the symmetric square of hyperelliptic curves. In our previous paper, we constructed the field of meromorphic functions on the sigma divisor of hyperelliptic curves of genus 3 and solutions of the systems for $g=3$ by these functions. In this paper, as an application of our previous results, we construct two parametric deformation of the KdV-hierarchy. This new system is integrated in the meromorphic functions on the sigma divisor of hyp…
We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained withi…
We present an efficient endomorphism for the Jacobian of a curve $C$ of genus 2 (hyperelliptic) for divisors having a Non disjoint support. This extends the work of Costello and Lauter in [12] who calculated explicit formulae for divisor doubling and addition of divisors with disjoint support in $\mathbb{J}(C)$ using only base field operations. Explicit formulae is presented for this third case and a slightly different approach for divisor doubling.
The field of meromorphic functions on a sigma divisor of a hyperelliptic curve of genus $3$ is described in terms of the gradient of it's sigma function. Solutions of corresponding families of polynomial dynamical systems in $\mathbb{C}^4$ with two polynomial integrals are constructed as an application. These systems were introduced in the work of V. M. Buchstaber and A. V. Mikhailov on the basis of commuting vector fields on the symmetric square of algebraic curves.
Let $(G, ω)$ be a hyperelliptic vertex-weighted graph of genus $g \geq 2$. We give a characterization of $(G, ω)$ for which there exists a smooth projective curve $X$ of genus $g$ over a complete discrete valuation field with reduction graph $(G, ω)$ such that the ranks of any divisors are preserved under specialization. We explain, for a given vertex-weighted graph $(G, ω)$ in general, how the existence of such $X$ relates the Riemann--Roch formulae for $X$ and $(G, ω)$, and also how the existence of such $X$ is related to a conjecture of Caporaso.
For an affine double plane defined by an equation of the form z^2 = f, we study the divisor class group and the Brauer group. Two cases are considered. In the first case, f is a product of n linear forms in k[x,y] and X is birational to a ruled surface P^1 x C, where C is rational if n is odd and hyperelliptic if n is even. In the second case, f is the equation of an affine hyperelliptic curve. On the open set where the cover is unramified, we compute the groups of divisor classes, the Brauer groups, the relative Brauer group, as well as all of the terms in he exact sequence of Chase, Harrison…
We prove a version of Clifford's theorem for metrized complexes. Namely, a metrized complex that carries a divisor of degree $2r$ and rank $r$ (for $0<r<g-1$) also carries a divisor of degree $2$ and rank $1$. We provide a structure theorem for hyperelliptic metrized complexes, and use it to classify divisors of degree bounded by the genus. We discuss a tropical version of Martens' theorem for metric graphs.
Equations of dispersionless Hirota type have been thoroughly investigated in the mathematical physics and differential geometry literature. It is known that the parameter space of integrable Hirota type equations in 3D is 21-dimensional and the action of the natural equivalence group Sp(6, R) on the parameter space has an open orbit. However the structure of the `master-equation' corresponding to this orbit remained elusive. Here we prove that the master-equation is specified by the vanishing of any genus 3 theta constant with even characteristic. The rich geometry of integrable Hirota type eq…
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
Let $\bar{G} = (G, ω)$ be a vertex-weighted graph, and $δ$ a divisor class on $G$. Let $r_{\bar{G}}(δ)$ denote the combinatorial rank of $δ$. Caporaso has introduced the algebraic rank $r_{\bar{G}}^{\operatorname{alg}}(δ)$ of $δ$, by using nodal curves with dual graph $\bar{G}$. In this paper, when $\bar{G}$ is hyperelliptic or of genus $3$, we show that $r_{\bar{G}}^{\operatorname{alg}}(δ) \geq r_{\bar{G}}(δ)$ holds, generalizing our previous result. We also show that, with respect to the specialization map from a non-hyperelliptic curve of genus $3$ to its reduction graph, any divisor on the…
The locus of genus-two curves with n marked Weierstrass points has codimension n inside the moduli space of genus-two curves with n marked points, for n<=6. It is well known that the class of the closure of the divisor obtained for n=1 spans an extremal ray of the cone of effective divisor classes. We generalize this result for all n: we show that the class of the closure of the locus of genus-two curves with n marked Weierstrass points spans an extremal ray of the cone of effective classes of codimension n, for n<=6. A related construction produces extremal nef curve classes in moduli spaces …
We study the theta divisor of the compactified jacobian of a nodal, possibly reducible, curve. We compute its irreducible components and give it a geometric interpretation consistent with the classical Brill-Noether theory of smooth curves. Some applications on hyperelliptic stable curves are appended.
We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty--Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method combined with the Mordell-Weil sieve. Additionally, for square-free levels $N$, we classify all $\mathbb{Q}$-rational points as cusps, CM points (including their CM field and $j$-invariants) and exceptional ones. We further indicate how to use this …
We show that there exists a surjection from the set of effective divisors of degree $g$ on a tropical curve of genus $g$ to its Jacobian by using a tropical version of the Riemann-Roch theorem. We then show that the restriction of the surjection is reduced to the bijection on an appropriate subset of the set of effective divisors of degree $g$ on the curve. Thus the subset of effective divisors has the additive group structure induced from the Jacobian. We finally realize the addition in Jacobian of a tropical hyperelliptic curve of genus $g$ via the intersection with a tropical curve of degre…
The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on weighted projective spaces and weighted blow-ups.
We discuss Weber's formula which gives the quotient of two Thetanullwerte for a plane smooth quartic in terms of the bitangents. In particular, we show how it can easily be derived from the Riemann-Jacobi formula.
We determine the rational divisor class group of the moduli spaces of smooth pointed hyperelliptic curves and of their Deligne-Mumford compactification, over the field of complex numbers.
We determine the rational Chow ring of the moduli space $\mathcal{H}_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$ when $n \leq 2g+6$. We also show that the Chow ring of the partial compactification $\mathcal{I}_{g,n}$, parametrizing $n$-pointed irreducible nodal hyperelliptic curves, is generated by tautological divisors. Along the way, we improve Casnati's result that $\mathcal{H}_{g,n}$ is rational for $n \leq 2g+8$ to show $\mathcal{H}_{g,n}$ is rational for $n \leq 3g+5$.
Let $C$ be a hyperelliptic curve of genus $g\geq 3$. In this paper we give a new geometric description of the theta map for moduli spaces of rank 2 semistable vector bundles on $C$ with trivial determinant. In order to do this, we describe a fibration of (a birational model of) the moduli space, whose fibers are GIT quotients $(\mathbb{P}^1)^{2g}//PGL(2)$. Then, we identify the restriction of the theta map to these GIT quotients with some explicit degree two osculating projection. As a corollary of this construction, we obtain a birational inclusion of a fibration in Kummer $(g-1)$-folds over …
We prove that if $m \ge n-3$ then every $S_m$-invariant F-nef divisor on the moduli space of stable $n$-pointed curves of genus zero is linearly equivalent to an effective combination of boundary divisors. As an application, we determine the Mori cone of the moduli spaces of stable curves of small genus with few marked points.
We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential …
Let $\{\infty^+, \infty^-\}$ be the two points above $\infty$ on the real hyperelliptic curve $H: y^2 = (x^2 - 1) \prod_{i=1}^{2g} (x - a_i)$. We show that the divisor $([\infty^+] - [\infty^-])$ is torsion in $\operatorname{Jac} J$ for a dense set of $(a_1, a_2, \ldots, a_{2g}) \in (-1, 1)^{2g}$. In fact, we prove by degeneration to a nodal $\mathbb{P}^1$ that an associated period map has derivative generically of full rank.
The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, we will study finite groups which act faithfully on $K3$ surfaces such that the quotient space are smooth. In particular, we will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a $K3$ surface to a Hirzebrunch surface such that the branch divisor is that effective divisor.…
S. Kondō used periods of $K3$ surfaces to prove that the moduli space of genus three curves is birational to an arithmetic quotient of a complex 6-ball. In this paper we study Heegner divisors in the ball quotient, given by arithmetically defined hyperplane sections of the ball. We show that the corresponding loci of genus three curves are given by: hyperelliptic curves, singular plane quartics and plane quartics admitting certain rational "splitting curves".
We introduce moduli spaces of quasi-admissible hyperelliptic covers with at worst A and D singularities. The stability conditions for these moduli spaces depend on two parameters describing allowable singularities. By varying these parameters, we interpolate between the stacks of stable limits of A and D singularities and the quotients of the versal deformation spaces of A and D singularities by a natural $\mathbb{G}_m$ action.
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
By constructing suitable Borcherds forms on Shimura curves and using Schofer's formula for norms of values of Borcherds forms at CM-points, we determine all the equations of hyperelliptic Shimura curves $X_0^D(N)$. As a byproduct, we also address the problem of whether a modular form on Shimura curves $X_0^D(N)/W_{D,N}$ with a divisor supported on CM-divisors can be realized as a Borcherds form, where $X_0^D(N)/W_{D,N}$ denotes the quotient of $X_0^D(N)$ by all the Atkin-Lehner involutions. The construction of Borcherds forms is done by solving certain integer programming problems.
It is known that the moduli space $\overline{\mathcal{H}}_{g,n}$ of genus $g$ stable hyperelliptic curves with $n$ marked points is uniruled for $n \leq 4g+5$. In this paper we consider the complementary case. We calculate the canonical divisor of $\overline{\mathcal{H}}_{g,n}$ and show that it is effective for $n=4g+6$ and big for $n\leq 4g+7$. This leads us to conjecture that $\overline{\mathcal{H}}_{g,n}$ has non-negative Kodaira dimension for $n = 4g+6$ and is of general type for $n \geq 4g+7$.
In this paper we obtain conditions on the divisors of the group order of the Jacobian of a hyperelliptic genus 2 curve, generated by the complex multiplication method described by Weng (2003) and Gaudry (2005). Examples, where these conditions imply that the Jacobian has a large cyclic subgroup, are given.
We give an algebraic method to compute the fourth power of the quotient of any even theta constants associated to a given non-hyperelliptic curve in terms of geometry of the curve. In order to apply the method, we work out non-hyperelliptic curves of genus 4, in particular, such curves lying on a singular quadric, which arise from del Pezzo surfaces of degree 1. Indeed, we obtain a complete 2-level structure of the curves by studying their theta characteristic divisors via exceptional divisors of the del Pezzo surfaces as the structure is required for the method.
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.
In this note we study Fano threefolds with noncyclic torsion in the divisor class group. Since they can all be obtained as quotients of Fano threefolds, we get also all examples that can be obtained as quotients of low codimension Fanos in the weighted projective space.
In this paper we produce a generating function for the number of hyperelliptic curves (up to translation) on a polarized Abelian surfaces using the crepant resolution conjecture and the Yau-Zaslow formula. We present a formula to compute these in terms of MacMahon's generalized sum-of-divisors functions, and prove that they are quasi-modular forms.
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 integer coefficients that depend on the set of divisors of $q-1$ and $q+1$. As a by-product we obtain a closed formula for the number of self-dual curves of genus $g$. A hyperelliptic curve is self-dual if it is $k$-isomorphic to its own hyperelliptic twist.
For a map $φ: \varGamma \rightarrow \varGamma^{\prime}$ between metric graphs and an isometric action on $\varGamma$ by finite group $K$, $φ$ is a $K$-Galois covering on $\varGamma^{\prime}$ if $φ$ is a morphism, the degree of $φ$ coincides with the order of $K$ and $K$ induces a transitive action on every fibre. We prove that for a metric graph $\varGamma$ with an isometric action by finite group $K$, there exists a rational map, from $\varGamma$ to a tropical projective space, which induces a $K$-Galois covering on the image. By using this fact, we also prove that for a hyperelliptic metric …
For the evaluation and inversion of abelian integrals we show that the image of the Abel-Jacobi map of genus less than 5 hyperelliptic curve in its Jacobian is the intersection of shifted theta divisors with specified shifts. Therefore the image is a solution of a (slightly overdetermined) set of equations in the Jacobian.
We consider the Chow ring with rational coefficients of the Jacobian of a curve. Assume D is a divisor in a base point free g^r_d of the curve such that the canonical divisor K is a multiple of the divisor D. We find relations between tautological cycles. We give applications for curves having a degree d covering of P^1 whose ramification points are all of order d, and then for hyperelliptic curves.
Let X_n := \bar M_{0,n}, the moduli space of n-pointed stable genus zero curves, and let X_{n,m} be the quotient of X_n by the action of the symmetric group S_{n-m} on the last n-m marked points. The cones of effective divisors of X_{n,m}, m = 0,1,2, are calculated. Using this, upper bounds for the cones Mov(X_{n,m}) generated by divisors with moving linear systems are calculated, m = 0,1, along with the induced bounds on the cones of ample divisors of \bar M_g and \bar M_{g,1}. As an application, the cone of effective divisors of \bar M_{2,1} is analyzed in detail.
The moduli space $\bar{M}_{0,n}$ of Deligne-Mumford stable n-pointed rational curves admits morphisms to spaces recently constructed by Giansiracusa, Jensen, and Moon that we call Veronese quotients. We study divisors on $\bar{M}_{0,n}$ associated to these maps and show that these divisors arise as first Chern classes of vector bundles of conformal blocks.
Given an action of a reductive group on a normal variety, we construct all invariant open subsets admitting a good quotient with a quasiprojective or a divisorial quotient space. Our approach extends known constructions like Mumford's Geometric Invariant Theory. We obtain several new Hilbert-Mumford type theorems, and we extend a projectivity criterion of Bialynicki-Birula and Swiecicka for varieties with semisimple group action from the smooth to the singular case.
We investigate the number and the geometry of smooth hyperelliptic curves on a general complex abelian surface. We show that the only possibilities of genera of such curves are $2,3,4$ and $5$. We focus on the genus 5 case. We prove that up to translation, there is a unique hyperelliptic curve in the linear system of a general $(1,4)$ polarised abelian surface. Moreover, the curve is invariant with respect to a subgroup of translations isomorphic to the Klein group. We give the decomposition of the Jacobian of such a curve into abelian subvarieties displaying Jacobians of quotient curves and P…
We compute the intersection Betti numbers of the GIT model of the moduli space of Brill-Noether-Petri general curves of genus 4. This space was shown to be the final non-trivial log canonical model for the moduli space of stable genus four curves, under the Hassett-Keel program. The strategy of the cohomological computation relies on a general method developed by Kirwan to calculate the cohomology of GIT quotients of projective varieties, based on the equivariantly perfect stratification of the unstable points studied by Hesselink and others and a partial resolution of singularities.
Let the special linear group $G := SL_{2}$ act regularly on a $Q$-factorial variety $X$. Consider a maximal torus $T \subset G$ and its normalizer $N \subset G$. We prove: If $U \subset X$ is a maximal open $N$-invariant subset admitting a good quotient $U \to U // N$ with a divisorial quotient space, then the intersection $W(U)$ of all translates $g \dot U$ is open in $X$ and admits a good quotient $W(U) \to W(U) // G$ with a divisorial quotient space. Conversely, we obtain that every maximal open $G$-invariant subset $W \subset X$ admitting a good quotient $W \to W // G$ with a divisorial qu…
Let $K$ be the quotient field of a discrete valuation ring $R$ with residue characteristic $\not=2$, and let $C$ be a hyperelliptic curve over $K$. We assume that all geometric branch points of the double covering $C\twoheadrightarrow{\mathbb P}^1_K$ are rational and mark both $C$ and ${\mathbb P}^1_K$ with these branch points. After possibly replacing $R$ by a ramified extension of degree $2$, we give a direct construction for the stable model of $C$ as a marked curve over $R$. We deduce that the closed fiber of this stable model is determined completely by the closed fiber of the stable mode…
