Jacobians in isogeny classes of abelian surfaces over finite fields
We give a complete answer to the question of which polynomials occur as the characteristic polynomials of Frobenius for genus-2 curves over finite fields.
math.NT↗
arXiv subjects
Enric Nart
Publications and source records attributed to Enric Nart.
Counting hyperelliptic curves
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.
math.NT↗
Orbits of rational n-sets of projective spaces under the action of the linear group
For a fixed dimension $N$ we compute the generating function of the numbers $t_N(n)$ (respectively $\bar{t}_N(n)$) of $PGL_{N+1}(k)$-orbits of rational $n$-sets (respectively rational $n$-multisets) of the projective space $\mathb{P}^N$ over a finite field $k=\mathbb{F}_q$. For $N=1,2$ these results provide concrete formulas for $t_N(n)$ and $\bar{t}_N(n)$ as a polynomial in $q$ with integer coefficients.
math.CO↗
Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2
We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly.
math.NT↗
Principally polarizable isogeny classes of abelian surfaces over finite fields
Let A be an isogeny class of abelian surfaces over F_q with Weil polynomial x^4 + ax^3 + bx^2 + aqx + q^2. We show that A does not contain a surface that has a principal polarization if and only if a^2 - b = q and b < 0 and all prime divisors of b are congruent to 1 modulo 3. We use this result in a forthcoming paper in which we determine which isogeny classes of abelian surfaces over finite fields contain Jacobians.
math.NT↗
Zeta functions of supersingular curves of genus 2
We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and to count the number of curves, up to k-isomorphism, leading to the same zeta function.
math.NT↗
Non hyperelliptic curves of genus three over finite fields of characteristic two
Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed formulas for the total number of k-isomorphism classes. We deduce from these computations the number of k-rational points of the different strata by the Newton polygon of the non hyperelliptic locus M_3^{nh} of the moduli space M_3 of curves of genus 3. By adding to these computations the knowed results on the hyperelliptic locus we obtain a complete picture of these strata for M_3.
math.NT↗
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 invariants. Finally, we use cohomological methods to find, for each rational model, an explicit description of its twists. In this way, we obtain a parameterization of all k-isomorphism classes of curves of genus two in terms of geometric and arithmetic invariants.
math.NT↗