The maximum or minimum number of rational points on curves of genus three over finite fields

Relating decision and search algorithms for rational points on curves of higher 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.

The rationality of quaternionic Darmon points over genus fields of real quadratic fields

Darmon points on p-adic tori and Jacobians of Shimura curves over Q were introduced in previous joint works with Rotger as generalizations of Darmon's Stark-Heegner points. In this article we study the algebraicity over extensions of a real quadratic field K of the projections of Darmon points to elliptic curves. More precisely, we prove that linear combinations of Darmon points on elliptic curves weighted by certain genus characters of K are rational over the predicted genus fields of K. This extends to an arbitrary quaternionic setting the main theorem on the rationality of Stark-Heegner poi…

The rationality of the moduli spaces of trigonal curves of odd genus

The moduli spaces of trigonal curves of odd genus $g>4$ are proven to be rational.

确定亏格 2 且 Mordell–Weil 秩为 1 的曲线上的有理点

Determining the rational points on a curve of genus 2 and Mordell-Weil rank 1

本文给出在 Mordell–Weil 秩为 1 时，利用 Jacobi 簇上有限指数生成点高效计算亏格 2 曲线全部有理点的方法。

Irreducibility and stable rationality of the loci of Weierstrass points on curves of genus at most six

We show that for any numerical semigroup H of genus g at most 6, the locus of Weierstrass points on curves of genus g with Weierstrass semigroup H is irreducible and that for all but possibly two semigroups it is stably rational.

Khovanskii-finite rational curves of arithmetic genus 2

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…

Rational cohomology of the moduli space of trigonal curves of genus 5

We compute the rational cohomology of the moduli space of trigonal curves of genus 5. We do this by considering their natural embedding in the first Hirzebruch surface and by using Gorinov-Vassiliev's method.

Rational curves on genus one fibrations

In this paper we look for necessary and sufficient conditions for a genus one fibration to have rational curves. We show that a projective variety with log terminal singularities that admits a relatively minimal genus one fibration $X\rightarrow B$ does contain vertical rational curves if and only if it not isomorphic to a finite étale quotient of a product $\tilde{B}\times E$ over $B$. Many sufficient conditions for the existence of rational curves in a variety that admits a genus one fibration are proved in this paper.

Rationality of the Moduli Variety of Curves of Genus 3

We prove rationality of the moduli variety of curves of genus 3.

The Manin-Mumford conjecture in genus 2 and rational curves on K3 surfaces

Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$, and $f$ sends a Weierstrass point of $C$ to the origin of $A$. The purpose of this note is to show that if $k$ has characteristic zero, then $S$ is finite -- this is in contrast to the situation where $k$ is the algebraic closure of a finite field, where $S=A(k)$, as shown by Bogomolov and Tschinkel. We deduce that if $k=\bar{\mathbb{Q}}$, the Kummer surfac…

The rationality of the moduli space of curves of genus 3 after P. Katsylo

This article is a survey of P. Katsylo's proof that the moduli space of smooth projective complex curves of genus 3 is rational. We hope to make the argument more comprehensible and transparent by emphasizing the underlying geometry in the proof and its key structural features.

On the rationality of the moduli of higher spin curves in low genus

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.

Diagonal genus 5 curves, elliptic curves over $\mathbb Q(t)$, and rational diophantine quintuples

The problem of finding all possible extensions of a given rational diophantine quadruple to a rational diophantine quintuple is equivalent to the determination of the set of rational points on a certain curve of genus 5 that can be written as an intersection of three diagonal quadrics in $\mathbb P^4$. We discuss how one can (try to) determine the set of rational points on such a curve. We apply our approach to the original question in several cases. In particular, we show that Fermat's diophantine quadruple (1,3,8,120) can be extended to a rational diophantine quintuple in only one way, namel…

Pencils of genus two curves on rational surfaces

We consider relatively minimal fibrations of curves of genus two on rational surfaces whose Picard numbers are not maximal. By birational morphisms, such fibred surfaces are interpreted as pencils of plane curves. We show that only four are canonical, among a variety of possible models. For each canonical pencil, we give an example with trivial Mordell-Weil group.

Monodromy of rational curves on K3 surfaces of low genus

In many situations, the monodromy group of enumerative problems will be the full symmetric group. In this paper, we study a similar phenomenon on the rational curves in $|\mathcal{O}(1)|$ on a generic K3 surface of fixed genus over $\mathbb{C}$ as the K3 surface varies. We prove that when the K3 surface has genus $g$, $1\leq g\leq 3$, the monodromy group is the full symmetric group.

无效 spin 亏格 4 thetanull 轨迹的有理性

The rationality of ineffective spin genus-4 thetanull loci

本文证明了由亏格4且thetanull消失的曲线C与无效thetacharacteristic θ构成的对[C,θ]所给出的除子是有理簇，并得出Prym模空间中的类似除子也是有理的。

The moduli space of genus 4 even spin curves is rational

By the technique of 3-fold Mori theory, we prove that the moduli space whose general point parameterizes a couple of a smooth curve of genus 4 and a halfcanonical divisor with vanishing global section is rational.

Explicit two-cover descent for genus 2 curves

Given a genus $2$ curve $C$ with a rational Weierstrass point defined over a number field, we construct a family of genus $5$ curves that realize descent by maximal unramified abelian two-covers of $C$, and describe explicit models of the isogeny classes of their Jacobians as restrictions of scalars of elliptic curves. All the constructions of this paper are accompanied by explicit formulas and implemented in Magma and/or SageMath. We apply these algorithms in combination with elliptic Chabauty to a dataset of 7692 genus $2$ quintic curves over $\mathbb{Q}$ of Mordell-Weil rank $2$ or $3$ whos…

Explicit Rational Group Law on Hyperelliptic Jacobians of any Genus

It is well-known that abelian varieties are projective, and so that there exist explicit polynomial and rational functions which define both the variety and its group law. It is however difficult to find any explicit polynomial and rational functions describing these varieties or their group laws in dimensions greater than two. One exception can be found in Mumford's classic "Lectures on Theta", where he describes how to obtain an explicit model for hyperelliptic Jacobians as the union of several affine pieces described as the vanishing locus of explicit polynomial equations. In this article, …

Curves of genus two over fields of even characteristic

In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa i…

The rationality of certain moduli spaces of curves of genus 3

We show, for each algebraically closed field, the rationality of the following two moduli spaces: M(3,3) parametrizing pairs (C, η) where C has genus 3 and ηis a 3-torsion divisor class, respectively of M(3,<3>) parametrizing pairs (C, <η>) as above and where <η> is the cyclic subgroup of order 3 in Pic_0(C) generated by η.

Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3

We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points ov…

Rationality of the universal K3 surface of genus 8

The aim of the present paper is to prove the rationality of the universal family of polarized $ K3 $ surfaces of degree 14. This is achieved by identifying it with the moduli space of cubic fourfolds plus the data of a quartic scroll. The last moduli space is finally proved to be rational since it has a natural structure of $\mathbb P^n$-bundle over a $ k $-stably rational variety with $k \leq n$.

There are genus one curves of every index over every number field

We show that there exist genus one curves of every index over the rational numbers, answering affirmatively a question of Lang and Tate. The proof is "elementary" in the sense that it does not assume the finiteness of any Shafarevich-Tate group. On the other hand, using Kolyvagin's construction of a rational elliptic curve whose Mordell-Weil and Shafarevich-Tate groups are both trivial, we show that there are infinitely many curves of every index over every number field.

Rational points, genus and asymptotic behaviour in reduced algebraic curves over finite fields

The number A(q) shows the asymptotic behaviour of the quotient of the number of rational points over the genus of non-singular absolutely irreducible curves over a finite field Fq. Research on bounds for A(q) is closely connected with the so-called asymptotic main problem in Coding Theory. In this paper, we study some generalizations of this number for non-irreducible curves, their connection with A(q) and its application in Coding Theory.

Geometry of genus 8 Nikulin surfaces and rationality of their moduli

Let S be a general complex Nikulin surface of genus 8, a geometric construction of S is given as follows. Consider a smooth 3-fold linear section T of the Grassmannian G(1,4) and the Hilbert scheme of rational normal sextic curves of T. In it consider the special family of sextics A which are also contained in the congruence of bisecant lines to a rational normal quartic curve of P^4. We show that S is biregular to a quadratic section of T containing a sextic A. In particular A admits a 1-dimensional family of bisecant lines contained in G(1,4) and 8 of them are in S. This explicit constructio…

Rational cohomology of the moduli spaces of pointed genus 1 curves

We give a combinatorial description of the rational cohomology of the moduli spaces of pointed genus 1 curves with $n$ marked points and level $N$ structures. More precisely, we explicitly describe the $E_2$ term of the Leray spectral sequence of the forgetful mapping $\EuScript{M}_{1,n}(N)\to\EuScript{M}_{1,1}(N)$ and show that the result is isomorphic to the rational cohomology of $\EuScript{M}_{1,n}(N)$ as a rational mixed Hodge structure equipped with an action of the symmetric group $\mathfrak{S}_n$. The classical moduli space $\EuScript{M}_{1,n}$ is the particular case N=1.

一次曲线纤维与五次等和问题中线性切片的雅可比

Genus-One Fibrations and the Jacobian of Linear Slices in the Quintic Equal-Sum Problem

本文研究五次等和方程在特定约束下的解结构，证明了雅可比纤维的秩界及非奇异特性的条件。

Rational cohomology of the moduli space of genus 4 curves

We prove that the Poincare' polynomial of the moduli space of smooth genus 4 curves is 1+t^2+t^4+t^5. We show this by producing a stratification of the space, such that all strata are geometric quotients of complements of discriminants.

Rational conic fibrations of sectional genus two

Polarized rational surfaces $(X, \mathcal L)$ of sectional genus two ruled in conics are studied. When they are not minimal, they are described as the blow-up of $\mathbb F_1$ at some points lying on distinct fibers. Ampleness and very ampleness of $\mathcal L$ are studied in terms of their location. When $\mathcal L$ is very ample and there is a line contained in $X$ and transverse to the fibers, the conic fibrations $(X, \mathcal L)$ are classified and a related property concerned with the inflectional locus is discussed.

The ideal of curves of genus 2 on rational normal scrolls

Given a smooth curve of genus 2 embedded in P^(d-2) with a complete linear system of degree d>=6, we list all types of rational normal scrolls arising from linear systems g^1_2 and g^1_3 on C. Furthermore, we give a description of the ideal of such a curve of genus 2 embedded in P^(d-2) as a sum of the ideal of the two-dimensional scroll defined by the unique g^1_2 on C and the ideal of a three-dimensional scroll arising from a g^1_3 on C and not containing the scroll defined by the g^1_2 on C.

Curves of every genus with many points, II: Asymptotically good families

We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive constant d such that for every q we can choose c_q = d * (log q). We show also that there is a constant c > 0 such that for every q and every n > 0, and for every sufficiently large g, there is a genus-g cu…

Spanning the isogeny class of a power of an ordinary elliptic curve over a finite field. Application to the number of rational points of curves of genus $\leq 4$

Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algebraic theta null point. We also show how to algebraically compute Siegel modular forms of even weight given as polynomials in the theta constants by a careful choice of an affine lift of the theta null…

The average number of rational points on genus two curves is bounded

We prove that, when genus two curves $C/\mathbb{Q}$ with a marked Weierstass point are ordered by height, the average number of rational points $\#|C(\mathbb{Q})|$ is bounded. The argument follows the same ideas as the sphere-packing proof of boundedness of the average number of integral points on (quasiminimal Weierstrass models of) elliptic curves. That is, we bound the number of small-height points by hand, the number of medium-height points by establishing an explicit Mumford gap principle and using the theorem of Kabatiansky-Levenshtein on spherical codes (this technique goes back to work…

Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields

Currently, the best upper bounds on the number of rational points on an absolutely irreducible, smooth, projective algebraic curve of genus g defined over a finite field F_q come either from Serre's refinement of the Weil bound if the genus is small compared to q, or from Oesterle's optimization of the explicit formulae method if the genus is large. This paper presents three methods for improving these bounds. The arguments used are the indecomposability of the theta divisor of a curve, Galois descent, and Honda-Tate theory. Examples of improvements on the bounds include lowering them for a wi…

Rational curves on K3 surfaces of small genus

Let $\mathfrak B_g$ denote the moduli space of primitively polarized $K3$ surfaces $(S,H)$ of genus $g$ over $\mathbb C$. It is well-known that $\mathfrak B_g$ is irreducible and that there are only finitely many rational curves in $|H|$ for any primitively polarized $K3$ surface $(S,H)$. So we can ask the question of finding the monodromy group of such curves. The case of $g=2$ essentially follows from the results of Harris \cite{Ha} to be the full symmetric group $S_{324}$, here we solve the case $g=3$ and $4$.

Curves of genus 3 over small finite fields

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.

亏格 2 曲线上半稳定秩 2 丛的泛模空间的有理 Chow 环

Rational Chow ring of the universal moduli space of semistable rank two bundles over genus two curves

本文确定亏格 2 曲线上秩 2 半稳定丛泛模空间的有理 Chow 环，证明其由重言类生成，并顺带得到相关泛 Jacobian 的 Chow 环。

一族亏格 3 超椭圆曲线上的有理点

Rational Points on a Family of Genus 3 Hyperelliptic Curves

本文研究一族亏格 3 超椭圆曲线的有理点，改进 Dem'yanenko–Manin 方法并结合根数约束 Jacobian 分解中椭圆曲线的秩，从而比 Chabauty–Coleman 方法更高效地确定 \\(C_a(\mathbb Q)\\)。

Curves of fixed gonality with many rational points

Given an integer $γ\geq 2$ and an odd prime power $q$ we show that for every large genus $g$ there exists a non-singular curve $C$ defined over $\mathbb{F}_q$ of genus $g$ and gonality $γ$ and with exactly $γ(q+1)$ $\mathbb{F}_q$-rational points. This is the maximal number of rational points possible. This answers a recent conjecture by Faber--Grantham. Our methods are based on curves on toric surfaces and Poonen's work on squarefree values of polynomials.

简单二维亏格雅可比簇上的有理挠点

Rational torsion on simple genus two Jacobians

该研究针对有理数域上的二维亏格曲线，构造出阶数96等的新有理挠点子群，还记录了该类雅可比簇的所有已知有理挠点子群。

Lower bounds on the maximal number of rational points on curves over finite fields

For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally,…

On the height of Gross-Schoen cycles in genus three

We show that there exists a sequence of genus three curves defined over the rationals in which the height of a canonical Gross-Schoen cycle tends to infinity.

Elliptic fibrations on K3 surfaces with a non-symplectic involution fixing rational curves and a curve of positive genus

In this paper we complete the classification of the elliptic fibrations on K3 surfaces which admit a non-symplectic involution acting trivially on the Néron--Severi group. We use the geometric method introduced by Oguiso and moreover we provide a geometric construction of the fibrations classified. If the non-symplectic involution fixes at least one curve of genus 1, we relate all the elliptic fibrations on the K3 surface with either elliptic fibrations or generalized conic bundles on rational elliptic surfaces. This description allows us to write the Weierstrass equations of the elliptic fibr…

Classification of rational surfaces of degree 11 and sectional genus 11 in P^4

We use the BGG-correspondence to show that there are at most three possible Hilbert functions for smooth rational surfaces of degree 11 and sectional genus 11. Surfaces with one of these Hilbert functions have been classified by Popescu. The classification for a second one is done in this paper. For the third Hilbert function the classification is still open.

Real Gromov-Witten invariants on the moduli space of genus 0 stable maps to a smooth rational projective space

We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a rational projective surface. If a target space is equipped with a real structure, i.e, anti-holomorphic involution, then the results have real enumerative applications. Firstly, we can define a real version of Gromov-Witten invariants. Secondly, we can prove the invariance of Welschinger's invariant in algebraic geometric category.

关于某些 Fano 三维簇的有理性

On the rationality of certain Fano threefolds

本文研究具典范奇点的 Gorenstein Fano 三维簇有理性，证明三角、含平面、高亏格及含普通直线等四类情形在相应阈值下均为有理簇。

The maximum number of points on a curve of genus eight over the field of four elements

The Oesterlé bound shows that a curve of genus 8 over the finite field $\mathbb{F}_4$ can have at most 24 rational points, and Niederreiter and Xing used class field theory to show that there exists such a curve with 21 points. We improve both of these results: We show that a genus-8 curve over $\mathbb{F}_4$ can have at most 23 rational points, and we provide an example of such a curve with 22 points, namely the curve defined by the two equations $y^2 + (x^3 + x + 1)y = x^6 + x^5 + x^4 + x^2$ and $z^3 = (x+1)y + x^2.$

The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point

We prove that when all hyperelliptic curves of genus $n\geq 1$ having a rational Weierstrass point are ordered by height, the average size of the 2-Selmer group of their Jacobians is equal to 3. It follows that (the limsup of) the average rank of the Mordell-Weil group of their Jacobians is at most 3/2. The method of Chabauty can then be used to obtain an effective bound on the number of rational points on most of these hyperelliptic curves; for example, we show that a majority of hyperelliptic curves of genus $n\geq 3$ with a rational Weierstrass point have fewer than 20 rational points.

On the rationality problem for forms of moduli spaces of stable marked curves of positive genus

Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$. Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ wit…

有限域上等变椭圆同态对应的有理函数的置换性与例外性

Indecomposable rational functions over finite fields with Galois closure of genus one: Reconstruction and exceptionality

该研究针对有限域上带群作用的椭圆曲线间的等变同态，建立了其诱导有理函数的置换性与例外性的等价判据，明确了相关周期与密度，给出低阶循环商群的显式判据。

Rational points in the moduli space of genus two

We build a database of genus 2 curves defined over $\mathbb Q$ which contains all curves with minimal absolute height $h \leq 5$, all curves with moduli height $\mathfrak h \leq 20$, and all curves with extra automorphisms in standard form $y^2=f(x^2)$ defined over $\mathbb Q$ with height $h \leq 101$. For each isomorphism class in the database, an equation over its minimal field of definition is provided, the automorphism group of the curve, Clebsch and Igusa invariants. The distribution of rational points in the moduli space $\mathcal M_2$ for which the field of moduli is a field of definiti…

The rationality of the moduli space of genus four curves endowed with an order three subgroup of their Jacobian

Refereed version to appear in Michigan Mathematical Journal. A mistake in the last section of the previous version has been corrected. The new title exactly describes the main result obtained. Building on the geometry of cubic surfaces and on a theorem of Dolgachev, the rationality of the moduli space R mentioned in the title is proved. Let M be the moduli space of 6 points in the plane, modulo the natural involution induced by double-six configurations on cubic surfaces. It is proved that R is birational to a tower of locally trivial projective bundles ending onto M. The rationality of R then…

有限域上具有亏格零伽罗瓦闭包的有理函数

Rational functions over finite fields with Galois closure of genus zero

本文分类了有限域上伽罗瓦闭包亏格零的可分有理函数，并证明此类函数置换有限域当且仅当例外，给出置换扩张次数与多项式代表元。