Boundedness of trace fields of rank two local systems

TL;DR

This paper proves that for rank two local systems over curves in characteristic p, the set of unramified trace fields with bounded degree is finite, confirming numerical observations related to function field analogues of Maeda's conjecture.

Contribution

It establishes finiteness of certain trace fields for rank two local systems over curves in characteristic p, using monodromy independence and boundedness of abelian schemes, extending previous numerical insights.

Findings

Finiteness of unramified trace fields of bounded degree

Confirmation of Kontsevich's numerical observations

Connection to function field analogue of Maeda's conjecture

Abstract

Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mathbb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we range over all pointed curves of type $(g,n)$ in characteristic $p$ and rank two local systems satisfying a condition at infinity, the set of trace fields which are unramified at $p$ and of bounded degree is finite. This proves observations of Kontsevich obtained via numerical computations, which are in turn closely related to the analogue of Maeda's conjecture over function fields. The key ingredients of the proofs are Chin's theorem on independence of $\ell$ of monodromy groups, and the boundedness of abelian schemes of $\mathrm{GL}_2$-type over curves in positive characteristics, obtained using partial Hasse invariants; the latter is an analogue of Faltings' Arakelov theorem for abelian varieties in our setting.