The summatory function of the Möbius function in function fields
We study the growth rate of the summatory function of the Möbius function in the context of an algebraic curve over a finite field. Our work shows a strong resemblance to its number field counterpart, as described by Ng in 2004. We find an expression for a bound of the summatory function, which becomes sharp when the zeta zeros of the curve satisfy a certain linear independence property. Extending a 2008 result of Kowalski, we prove that most curves in the family of universal hyperelliptic curves have this property. Then, we consider a certain geometric average of such bound in this family, using Katz and Sarnak’s reformulation of the equidistribution theorem of Deligne. Lastly, we study the asymptotic behavior of this average as the family gets larger by evaluating the average values of powers of characteristic polynomials of random unitary symplectic matrices.