Balanced presentations for fundamental groups of curves over finite fields

Abstract

We show that the algebraic fundamental group of a smooth projective curve over a finite field admits a finite topological presentation where the number of relations does not exceed the number of generators.