CM theory, maximal hyperelliptic curves, and Chebyshev polynomials

Abstract

This paper studies hyperelliptic curves $\cH_d$ corresponding to $y^2=\ddot{I}{†}_d(x)$ over finite fields, with $\ddot{I}{†}_d(x)$ a Chebyshev polynomial. Starting from the case where $d=\ell$ is an odd prime number, new cases $(d,q)$ are presented where $\cH_d$ is maximal over the finite field $\FF_{q^2}$ of cardinality $q^2$. In addition, new conditions ruling out the possibility that $\cH_d/\FF_{q^2}$ is maximal for given $(d,q)$, are presented. The arguments involve a mix of results on slopes of Frobenius, explicit descriptions of abelian subvarieties of the jacobian of $\cH_d$ with complex multiplication, and a technique from the theory of $2$-descent on jacobians of hyperelliptic curves. In particular, the method used here to prove maximality in characteristics $p\equiv 1\mathrm{mod}4$ for $d\equiv 1\mathrm{mod}4$ a prime number, deserves attention, as it differs from earlier maximality arguments for other curves. Using the new results as well as extensive calculations with Magma, we pose some questions. A positive answer would completely classify the pairs $(q,d)$ resulting in maximality.