Search arXivSearch

arXiv · 1712.01963

Symmetries of categorical representations and the quantum Ngô action

Abstract

We observe that all classical Hamiltonian systems coming from the invariant polynomials on a reductive Lie algebra g can be integrated in a universal way. This is a consequence of Ngô's action of the group scheme J of regular centralizers in G on all centralizers: the Hamiltonian flows associated to invariant polynomials integrate to an action of J as commutative symplectic groupoid. We quantize the Ngô action, providing a universal integration for all quantum Hamiltonian systems coming from the center Z=Z(Ug) of the enveloping algebra. Namely we extend Kostant's Whittaker description of Z to the action of a commutative quantum groupoid Wh, the bi-Whittaker Hamiltonian reduction of $D_G$, which also integrates all quantum Hamiltonian systems coming from the action of Z. These actions come from a braided tensor functor, the quantum Ngô map, from the W-category (modules for Wh) to adjoint-equivariant D-modules on G, giving a categorical family of G-invariant commuting operators on any strong G-category. This action also leads to a notion of Langlands parameters for categorical representations of G, refined central character for character sheaves, and a new symmetry of homology of character varieties. We derive our construction as the Langlands dual form of a simple symmetry principle for groupoids. Namely the symmetric monoidal category of equivariant sheaves (modules for the groupoid algebra) acts centrally on the corresponding convolution category. In particular modules for the nil-Hecke algebra for any Kac-Moody group act centrally on the corresponding Iwahori-Hecke category. We deduce both the Ngô action and its quantization from the case of the Langlands dual equivariant affine Grassmannian using the renormalized Geometric Satake theorem of Bezrukavnikov-Finkelberg.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Ben-Zvi, Sam Gunningham. 2017-12-05. Symmetries of categorical representations and the quantum Ngô action. https://arxiv.org/abs/1712.01963

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT