Heisenberg idempotents on unipotent groups.

DOI10.4310/MRL.2010.V17.N3.A4MaRDI QIDQ2275705zbMATH OpenFDO

Authors Tanmay Deshpande

Publication date 9 August 2011

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.3344

zbMATH Keywords

bounded derived categoriescharacter sheavesfusion categoriesHeisenberg idempotentssmooth algebraic groupsunipotent groups

Mathematics Subject Classification ID

Geometric Langlands program (algebro-geometric aspects) (14D24) Group schemes (14L15) Group actions on varieties or schemes (quotients) (14L30) Representation theory for linear algebraic groups (20G05)

Abstract: Let G be an algebraic group over an algebraically closed field of positive characteristic such that its neutral connected component is a unipotent group. We consider a certain class of closed idempotents in the braided monoidal category (under convolution of complexes) D_G(G) known as Heisenberg idempotents. For such an idempotent e, we will prove certain results about the Hecke subcategory eD_G(G) conjectured by V. Drinfeld. In particular, we will see that it is the bounded derived category of a modular category.

Review text

Let \(k\) be an algebraically closed field of positive characteristic. Let \(G\) be a smooth algebraic group of finite type over \(k\) such that its neutral component \(H:=G^0\) is unipotent. Following \textit{M. Boyarchenko}, [Sel. Math., New Ser. 16, No. 4, 857-933 (2010; Zbl 1223.20038)], the author introduces \(\mathcal D(G)\), the bounded derived category of \(\overline{\mathbb Q}_\ell\)-complexes on \(G\), as well as their equivariant versions \(\mathcal D_G(G)\), \(\mathcal D_H(G)\) relative to the actions of \(G\) and \(H\), respectively. In op. cit., Boyarchenko introduced a closed idempotent \(e\in\mathcal D_G(G)\) by fixing an admissible pair \((N,\mathcal L)\). These idempotents are called Heisenberg idempotents and play a vital role in the study of irreducible characters of unipotent groups over finite fields and their relation with character sheaves. Let \(\mathcal M_e^{\mathrm{perv}}\) be the full subcategory of \(e\mathcal D_H(G)\) consisting of perverse sheaves and \(\mathcal M_e:=\mathcal M_e^{\mathrm{perv}}[\dim N]\). In the article under review, the authors proves three theorems on the structure of \(\mathcal M_e^{\mathrm{perv}}\) and \(\mathcal M_e\) (Theorem 1.1, 1.2 and 1.3). In particular, he shows that \(\mathcal M_e\) is a fusion category under the convolution product. Set \(\Gamma:=G/H\), it is also shown that the \(\Gamma\)-equivariantization \(\mathcal M^\Gamma_e\) is a braided fusion category. This verifies some conjectures of Drinfeld.

Recommendations

• Character sheaves and characters of unipotent groups over finite fields.
• Minimal idempotents on solvable groups
• Character sheaves on unipotent groups in positive characteristic: foundations.
• Study of parity sheaves arising from graded Lie algebras
• Equivariant derived category of a complete symmetric variety.
• scientific article; zbMATH DE number 4063250
• On Drinfeld's DG quotient
• On the Deligne-Lusztig involution for character sheaves
• Linear Koszul duality
• A comparison of Weyl group actions on Lagrangian cycles

Cited in

(10)

• Character sheaves on unipotent groups in positive characteristic: foundations.
• Modular categories associated with unipotent groups
• Cohomology of bimultiplicative local systems on unipotent groups
• Minimal idempotents on solvable groups
• Character sheaves on neutrally solvable groups
• On the Identity Problem for the Special Linear Group and the Heisenberg Group.
• Crossed \(S\)-matrices and character sheaves on unipotent groups
• Shintani descent for algebraic groups and almost characters of unipotent groups
• Characters of unipotent groups over finite fields.
• Metric groups attached to skew-symmetric biextensions

This page was built for publication: Heisenberg idempotents on unipotent groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2275705)