Character sheaves on neutrally solvable groups

Abstract

Abstract. Let G be an algebraic group over an algebraically closed field k of characteristic p > 0. In this paper we develop the theory of character sheaves on groups G such that their neutral connected components G • are solvable algebraic groups. For such algebraic groups G (which we call neutrally solvable) we will define the set CS(G) of character sheaves on G as certain special (isomorphism classes of) objects in the category D G (G) of G-equivariant Qcomplexes (where we fix a prime = p) on G. We will describe a partition of the set CS(G) into finite sets known as L-packets and we will associate a modular category M L with each L-packet L of character sheaves using a truncated version of convolution of character sheaves. In the case where k = F q and G is equipped with an F q -Frobenius F we will study the relationship between F -stable character sheaves on G and the irreducible characters of (all pure inner forms of) G F . In particular, we will prove that the notion of almost characters (introduced by T. Shoji using Shintani descent) is well defined for neutrally solvable groups and that these almost characters coincide with the "trace of Frobenius" functions associated with F -stable character sheaves. We will also prove that the matrix relating the irreducible characters and almost characters is block diagonal where the blocks on the diagonal are parametrized by F -stable L-packets. Moreover, we will prove that the block in this transition matrix corresponding to any F -stable L-packet L can be described as the crossed S-matrix associated with the auto-equivalence of the modular category M L induced by F .

Crossed S-matrices and character sheaves on unipotent groups

“…In their approach, the authors define and study multiplicative local systems on possibly disconnected commutative algebraic groups over finite fields. Our approach follows that of [BD06,Des17] which study character sheaves on unipotent and solvable groups. In particular, we only consider multiplicative local systems on the connected commutative pro-algebraic group L `T .…”