Rigid local systems and alternating groups

TL;DR

This paper constructs simple families of exponential sums in characteristic p whose geometric monodromy groups are alternating groups, expanding the understanding of monodromy groups in rigid local systems.

Contribution

It exhibits new families of local systems with alternating groups as geometric monodromy groups and determines their arithmetic monodromy groups, advancing the classification of such systems.

Findings

Geometric monodromy groups are either Alt(2q) or SO(2q-1).

The third moment calculation rules out SO(2q-1) as the monodromy group.

The paper establishes the monodromy groups as alternating groups through a novel approach.

Abstract

In earlier work, Katz exhibited some very simple one parameter families of exponential sums which gave rigid local systems on the affine line in characteristic p whose geometric (and usually, arithmetic) monodromy groups were SL(2,q), and he exhibited other such very simple families giving SU(3,q). [Here q is a power of the characteristic p with p odd]. In this paper, we exhibit equally simple families whose geometric monodromy groups are the alternating groups Alt(2q). $. We also determine their arithmetic monodromy groups. By Raynaud's solution of the Abhyankar Conjecture, any finite simple group whose order is divisible by p will occur as the geometric monodromy group of some local system on the affine line in characteristic p; the interest here is that it occurs in our particularly simple local systems. In the earlier work of Katz, he used a theorem to Kubert to know that the monodromy groups in question were finite, then work of Gross to determine which finite groups they were. Here we do not have, at present, any direct way of showing this finiteness. Rather, the situation is more complicated and more interesting. Using some basic information about these local systems, a fundamental dichotomy is proved: The geometric monodromy group is either Alt(2q) or it is the special orthogonal group SO(2q-1). An elementary polynomial identity is used to show that the third moment is 1. This rules out the SO(2q-1) case. This roundabout method establishes the theorem. It would be interesting to find a "direct" proof that these local systems have integer (rather than rational) traces; this integrality is in fact equivalent to their monodromy groups being finite, Even if one had such a direct proof, it would still require serious group theory to show that their geometric monodromy groups are the alternating groups.