Serre's genus 50 example

TL;DR

This paper provides explicit equations for a genus 50 curve over _2 with 40 rational points, building on Serre's theoretical existence proof and offering new concrete examples and intermediate curves.

Contribution

It presents explicit equations for high-genus curves over _2, including intermediate curves, which were not previously explicitly described in the literature.

Findings

Explicit equations for a genus 50 curve over _2 with 40 points.

Explicit equations for genus 8 and genus 22 curves over _2 with 11 and 21 points respectively.

Description of intermediate curves in the construction process.

Abstract

This note presents explicit equations (up to birational equivalence over $\mathbb{F}_2$) for a complete, smooth, absolutely irreducible curve $X$ over $\mathbb{F}_2$ of genus $50$ satisfying $#X(\mathbb{F}_2)=40$. In his 1985 Harvard lecture notes on curves over finite fields, J-P.~Serre already showed the existence of such a curve: he used class field theory to describe the function field $\mathbb{F}_2(X)$ as a certain abelian extension of the function field $\mathbb{F}_2(E)$ of some elliptic curve $E/\mathbb{F}_2$. Although various more recent texts recall Serre's construction, explicit equations as well as a description of intermediate curves $X\to Y\to E$ over $\mathbb{F}_2$ seem to be new. We also describe explicit equations for a curve over $\mathbb{F}_2$ of genus $8$ with $11$ rational points, and for a curve over $\mathbb{F}_2$ of genus $22$ with $21$ rational points.