Let $Q$ be a finite quiver without loops and $mathcal{Q}_{alpha}$ be the Lusztig category for any dimension vector $alpha$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology $mathcal{H}^i(mathcal{L})|_x$ for a simple perverse sheaf $mathcal{L}in mathcal{Q}_{alpha}$ and $xin mathbb{E}_{alpha}^{F^n}=mathbb{E}_{alpha}(mathbb{F}_{q^n})$ are equal to $(sqrt{q^n})^{i}$ as a conjecture given by Schiffmann (cite{Schiffmann2}). As an application, we prove the existence of a class of Hall polynomials.
When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${mathsf{Perv}}_W(E_{mathbb C}, {mathcal{H}}_{mathbb C})$ of $W$-equivariant perverse sheaves on $E_{mathbb C}$, smooth with respect to the stratification by reflection hyperplanes. By using Kapranov and Schechtmans recent analysis of perverse sheaves on hyperplane arrangements, we find an equivalence of categories from ${mathsf{Perv}}_W(E_{mathbb C}, {mathcal{H}}_{mathbb C})$ to a category of finite-dimensional modules over an algebra given by explicit generators and relations. We also define categories of equivariant perverse sheaves on affine buildings, e.g., $G$-equivariant perverse sheaves on the Bruhat--Tits building of a $p$-adic group $G$. In this setting, we find that a construction of Schneider and Stuhler gives equivariant perverse sheaves associated to depth zero representations.
This paper begins the project of defining Arthur packets of all unipotent representations for the $p$-adic exceptional group $G_2$. Here we treat the most interesting case by defining and computing Arthur packets with component group $S_3$. We also show that the distributions attached to these packets are stable, subject to a hypothesis. This is done using a self-contained microlocal analysis of simple equivariant perverse sheaves on the moduli space of homogeneous cubics in two variables. In forthcoming work we will treat the remaining unipotent representations and their endoscopic classification and strengthen our result on stability.
The convolution ring $K^{GL_n(mathcal{O})rtimesmathbb{C}^times}(mathrm{Gr}_{GL_n})$ was identified with a quantum unipotent cell of the loop group $LSL_2$ in [Cautis-Williams, J. Amer. Math. Soc. 32 (2019), pp. 709-778]. We identify the basis formed by the classes of irreducible equivariant perverse coherent sheaves with the dual canonical basis of the quantum unipotent cell.
In this article we propose a geometric description of Arthur packets for $p$-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for this variety. In this article we establish the main properties of this functor and show that it plays the role of microlocalization in the work of Adams, Barbasch and Vogan. We use this to define ABV-packets for pure rational forms of $p$-adic groups and propose a geometric description of the transfer coefficients that appear in Arthurs main local result in the endoscopic classification of representations. This article includes conjectures modelled on Vogans work, especially the prediction that Arthur packets are ABV-packets for $p$-adic groups. We gather evidence for these conjectures by verifying them in numerous examples.
We establish a Springer correspondence for classical symmetric pairs making use of Fourier transform, a nearby cycle sheaf construction and parabolic induction. In particular, we give an explicit description of character sheaves for classical symmetric pairs.