Monodromy groups and exceptional Hodge classes, I: Fermat Jacobians

Abstract

Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m\ge 3$ is a fixed positive integer. We compute several interesting arithmetic invariants of $J_m$: its decomposition up to isogeny into simple abelian varieties, the minimal field $\mathbb{Q}(\mathrm{End}(J_m))$ over which its endomorphisms are defined, and its connected monodromy field $\mathbb{Q}({\epsilon }_{J_m})$. Currently, there is no general algorithm that computes the last invariant. For large enough values of $m$, the abelian varieties $J_m$ provide non-trivial examples of high-dimensional phenomena, such as degeneracy and the non-triviality of the extension $\mathbb{Q}({\epsilon }_{J_m})/\mathbb{Q}(\mathrm{End}(J_m))$.

64 pages. To appear in the Indiana University Mathematics Journal