A coregular space is a representation of an algebraic group for which the ring of polynomial invariants is free. In this paper, we show that the orbits of many coregular irreducible representations where the number of invariants is at least two, over a (not necessarily algebraically closed) field k, correspond to genus one curves over k together with line bundles, vector bundles, and/or points on their Jacobians.
In forthcoming work, we use these orbit parametrizations to determine the average sizes of Selmer groups for various families of elliptic curves.
For any number field, we prove that there exists a stacky curve of genus one half defined over the ring of its integers violating the local-global principle for integral points.
We explain how we computed equations for all genus 4 curves defined of the field with 2 elements, up-to-isomorphism, and some of the data we obtained. We give descriptions also of nice models for genus 4 curves over characteristic 2 fields, in both the hyperelliptic case and the trigonal case.
We prove a genus formula for modular curves of $D$-elliptic sheaves. We use this formula to show that the reductions of modular curves of $D$-elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of $D$ tends to infinity.
We present a table containing the maximal number of rational points on a genus 3 curve over a field of cardinality q, for all q<100. Also, some remarks on Frobenius non-classical quartics over finite fields are given.
One of the big questions in the area of curves over finite fields concerns the distribution of the numbers of points: Which numbers occur as the number of points on a curve of genus $g$? The same question can be asked of various subclasses of curves. In this article we classify the possibilities for the number of points on genus 4 hyperelliptic supersingular curves over finite fields of order $2^n$, $n$ odd.
We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any `CM-construction' to produce the required genus-2 curves necessarily takes time exponential in the size of its input. On the other hand, we provide an algorithm for producing a genus-2 curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing…
We show how to calculate the Euler characteristic of a local system associated to an irreducible representation of the symplectic group of genus 3 on the moduli space of curves of genus 3 and the moduli space of principally polarized abelian varieties of dimension 3.
The Bogomolov Conjecture is a finiteness statement about algebraic points of small height on a smooth complete curve defined over a global field. We verify an effective form of the Bogomolov Conjecture for all curves of genus at most 4 defined over a function field of characteristic zero. We recover the known result for genus 2 curves and in many cases improve upon the known bound for genus 3 curves. For many curves of genus 4 with bad reduction, the conjecture was previously unproved.
The Hasse-Weil-Serre bound is improved for curves of low genera over finite fields with discriminant in {-3,-4,-7,-8,-11,-19} by studying optimal curves.
Let $p$ be an odd prime number and be an integer coprime to $p$. We survey an algorithm for computing explicit rational representations of $(\ell,...,\ell)$-isogenies between Jacobians of hyperelliptic curves of arbitrary genus over an extension $K$ of the field of $p$-adic numbers $\mathbb{Q}\_p$. The algorithm has a quasi-linear complexity in $\ell$ as well as in the genus of the curves.
Abelian surfaces over finite fields containing no curves of genus $3$ or less
CNRS（法国国家科学研究中心；波尔多大学）；IMB, Université de Bordeaux（阿松森国立大学工程学院）；Facultad de Ingeniería, Universidad Nacional de Asunción（乌得勒支大学数学研究所）；Mathematisch Instituut, Universiteit Utrecht（法属波利尼西亚大学GAATI实验室）；Laboratoire GAATI, Université de la Polynésie française（蔚蓝海岸大学让·亚历山大·迪厄多内实验室）；Laboratoire Jean Alexandre Dieudonnè, Universitè Côte d’Azur
Consider the Jacobian of a hyperelliptic genus two curve defined over a prime field of characteristic p and with complex multiplication. In this paper we show that the p-Sylow subgroup of the Jacobian is either trivial or of order p.
We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to the classification of curves with given structure. In particular, we determine modular equations for the strata in the moduli space $\Me_3$ of plane quartics which have at least seven hyperflexes, and obtain an computational characterization of curves in these strata.
We prove that there exists a supersingular nonsingular curve of genus $4$ in arbitrary characteristic $p$. For $p>3$ we shall prove that the desingularization of a certain fiber product over $\mathbb{P}^1$ of two supersingular elliptic curves is supersingular.
We describe a method that allows, under some hypotheses, to compute all the rational points of some genus 5 curves defined over a number field. This method is used to solve some arithmetic problems that remained open.
We outline a general algorithm for computing an explicit model over a number field of any curve of genus 2 whose (unpolarized) Jacobian is isomorphic to the product of two elliptic curves with CM by the same order in an imaginary quadratic field. We give the details and some examples for the case where the order has prime discriminant and class number one
This paper provides an algorithm enumerating superspecial trigonal curves of genus $5$ over finite fields. Executing the algorithm over a computer algebra system Magma, we enumerate them over finite fields $\mathbb{F}_{p^a}$ for any natural number $a$ if $p \leq 7$ and for odd $a$ if $p \leq 13$.
Let K be a field. Let A be a central simple algebra over K and let X be the associated Brauer-Severi variety over K. It has recently been asked if there exists a genus 1 curve C over K such that K(C) splits A. In other words, is there a genus one curve C over K with a morphism to X? In this short note, we explicitly construct such a curve in the case where X has dimension at most 4 (equivalently, when A has degree at most 5).
We give bounds on the primes of geometric bad reduction for curves of genus three of primitive CM type in terms of the CM orders. In the case of genus one, there are no primes of geometric bad reduction because CM elliptic curves are CM abelian varieties, which have potential good reduction everywhere. However, for genus at least two, the curve can have bad reduction at a prime although the Jacobian has good reduction. Goren and Lauter gave the first bound in the case of genus two. In the cases of hyperelliptic and Picard curves, our results imply bounds on primes appearing in the denominators…
We determine the isogeny classes of abelian surfaces over F_q whose group of F_q-rational points has order divisible by q^2. We also solve the same problem for Jacobians of genus-2 curves.
Higher rank Brill-Noether theory is completely known for curves of genus $\leq 3$. In this paper, we investigate the theory for curves of genus 4. Some of our results apply to curves of arbitrary genus.
For affine plane curves defined over the rationals of genus at least two, we show that a decision algorithm for the existence of solutions also yields a search algorithm for all solutions.
We study the moduli space of genus 3 hyperelliptic curves via the weighted projective space of binary octavics. This enables us to create a database of all genus 3 hyperelliptic curves defined over $\mathbb Q$, of weighted moduli height $\mathcal h =1$.
The Frey--Mazur conjecture states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p\geq 17$. We study a geometric analog of this conjecture, and show that the map from isogeny classes of "fake elliptic curves"---abelian surfaces with quaternionic multiplication---to their $p$-torsion Galois representations is one-to-one over function fields of small genus complex curves for sufficiently large $p$ relative to the genus.
We compute equations for a Hurwitz curve of genus 17 and we conclude that the canonical ideal of any Hurwitz curve of genus 14 or 17 is generated by quadrics.
We determine all genus 2 curves, defined over $\mathbb C$, which have simultaneously degree 2 and 3 elliptic subcovers. The locus of such curves has three irreducible 1-dimensional genus zero components in $\mathcal M_2$. For each component we find a rational parametrization and construct the equation of the corresponding genus 2 curve and its elliptic subcovers in terms of the parameterization. Such families of genus 2 curves are determined for the first time. Furthermore, we prove that there are only finitely many genus 2 curves (up to $\mathbb C$-isomorphism) defined over $\mathbb Q$, which…
We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime.
The global geometry of the moduli spaces of higher spin curves and their birational classification is largely unknown for g >= 2 and r > 2. Using quite related geometric constructions, we almost complete the picture of the known results in genus g <= 4 showing the rationality of the moduli spaces of even and odd 4-spin curves of genus 3, of odd spin curves of genus 4 and of 3-spin curves of genus 4.
S.-W. Zhang recently introduced a new adelic invariant for curves of genus at least 2 over number fields and function fields. We calculate this invariant when the genus is equal to 2.
In tropical geometry, given a curve in a toric variety, one defines a corresponding graph embedded in Euclidean space. We study the problem of reversing this process for curves of genus zero and one. Our methods focus on describing curves by parameterizations, not by their defining equations; we give parameterizations by rational functions in the genus zero case and by non-archimedean elliptic functions in the genus one case. For genus zero curves, those graphs which can be lifted can be characterized in a completely combinatorial manner. For genus one curves, show that certain conditions iden…
We study the configurations of genus 2 curves on the Fano surfaces of cubic threefolds. We establish a link between some involutive automorphisms acting on such a surface S and genus 2 curves on S. We give a partial classification of the Fano surfaces according to the automorphism group generated by these involutions and determine the configurations of their genus 2 curves. We study the Fano surface of the Klein cubic threefold for which the 55 genus 2 curves generate a rank 25=h^{1,1} index 2 subgroup of the Néron-Severi group.
Raynaud proved in 1968 that etale descent of genus one curves is not effective in general. In this paper we provide an alternative, simplified construction of this phenomenon. Our counterexample is fully explicit.
We will write down the higher genus algebraic curves supporting icosahedral solutions of the sixth Painleve equation, including the largest (genus seven) curve.
This paper is a sequel to arXiv:1109.4986, where we proved that a general smooth curve of odd genus, canonically or bicanonically embedded, has semistable finite Hilbert points. Here, we prove that a generic canonically embedded curve of even genus has semistable finite Hilbert points. More precisely, we prove that a generic canonically embedded trigonal curve of even genus has semistable finite Hilbert points. Furthermore, we show that the analogous result fails for bielliptic curves. Namely, the Hilbert points of bielliptic curves are asymptotically semistable but become non-semistable below…
We prove the Green conjecture for generic curves of odd genus. That is we prove the vanishing $K_{k,1}(X,K_X)=0$ for $X$ generic of genus $2k+1$. The curves we consider are smooth curves $X$ on a K3 surface whose Picard group has rank 2. This completes our previous work, where the Green conjecture for generic curves of genus $g$ with fixed gonality $d$ was proved in the range $d\geq g/3$, with the possible exception of the generic curves of odd genus.
Cyclic curves, i.e. curves fixed by a cyclic collineation group, play a central role in the investigation of cyclic arcs in Desarguesian projective planes. In this paper, the genus of a cyclic curve arising from a cyclic k-arc of Singer type is computed.
We present a quasi-linear algorithm to compute isogenies between Jacobians of curves of genus 2 and 3 starting from the equation of the curve and a maximal isotropic subgroup of the l-torsion, for l an odd prime number, generalizing the Vélu's formula of genus 1. This work is based from the paper "Computing functions on Jacobians and their quotients" of Jean-Marc Couveignes and Tony Ezome. We improve their genus 2 case algorithm, generalize it for genus 3 hyperelliptic curves and introduce a way to deal with the genus 3 non-hyperelliptic case, using algebraic theta functions.
We give a simple proof of Voisin's Theorem for general canonical curves of even genus. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves.
Genus 2 curves have been an object of much mathematical interest since eighteenth century and continued interest to date. They have become an important tool in many algorithms in cryptographic applications, such as factoring large numbers, hyperelliptic curve cryptography, etc. Choosing genus 2 curves suitable for such applications is an important step of such algorithms. In existing algorithms often such curves are chosen using equations of moduli spaces of curves with decomposable Jacobians or Humbert surfaces. In these lectures we will cover basic properties of genus 2 curves, moduli spaces…
The trigonal curves of genus 5 can be represented by projective plane quintics that have 1 singularity of delta invariant 1. Combining this with a partial sieve method for plane curves we count the number of such curves over any finite field. The main application is that this then gives the motivic Euler characteristic of the moduli space of trigonal curves of genus 5.
We study the existence of Khovanskii-finite valuations for rational curves of arithmetic genus two. We provide a semi-explicit description of the locus of degree $n+2$ rational curves in $\mathbb{P}^n$ of arithmetic genus two that admit a Khovanskii-finite valuation. Furthermore, we describe an effective method for determining if a rational curve of arithmetic genus two defined over a number field admits a Khovanskii-finite valuation. This provides a criterion for deciding if such curves admit a toric degeneration. Finally, we show that rational curves with a single unibranched singularity are…
