Crossed S-matrices and character sheaves on unipotent groups

DOI10.1016/J.AIM.2017.03.013MaRDI QIDQ526346zbMATH OpenOpenAlexFDO

Authors Tanmay Deshpande

Publication date 10 May 2017

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

character sheavesunipotent groupsmodular categories

Mathematics Subject Classification ID

Positive characteristic ground fields in algebraic geometry (14G17) Linear algebraic groups over arbitrary fields (20G15)

Abstract: Let $mathttk$ be an algebraic closure of a finite field $mathbb{F}_q$ of characteristic $p$. Let $G$ be a connected unipotent group over $mathttk$ equipped with an $mathbb{F}_q$-structure given by a Frobenius map $F:GoG$. We will denote the corresponding algebraic group defined over $mathbb{F}_q$ by $G_0$. Character sheaves on $G$ are certain objects in the triangulated braided monoidal category $mathscr{D}_G(G)$ of bounded conjugation equivariant $$-complexes (where $leqp$ is a prime number) on $G$. Boyarchenko has proved that the "trace of Frobenius" functions associated with $F$-stable character sheaves on $G$ form an orthonormal basis of the space of class functions on $G_0(mathbb{F}_q)$ and that the matrix relating this basis to the basis formed by the irreducible characters of $G_0(mathbb{F}_q)$ is block diagonal with "small" blocks. In this paper we describe these block matrices and interpret them as certain "crossed $S$-matrices". We also derive a formula for the dimensions of the irreducible representations of $G_0(mathbb{F}_q)$ that correspond to one such block in terms of certain modular categorical data associated with that block. In fact we will formulate and prove more general results which hold for possibly disconnected groups $G$ such that $G^{c}irc$ is unipotent. To prove our results, we will establish a formula (which holds for any algebraic group $G$) which expresses the inner product of the "trace of Frobenius" function of any $F$-stable object of $mathscr{D}_G(G)$ with any character of $G_0(mathbb{F}_q)$ (or of any of its pure inner forms) in terms of certain categorical operations.

Recommendations

• Character sheaves and characters of unipotent groups over finite fields.
• On character sheaves and characters of reductive groups at unipotent classes.
• Character sheaves on neutrally solvable groups
• Character sheaves. II
• Character sheaves. I

Cites work

• Character sheaves and characters of unipotent groups over finite fields.
• Character sheaves on unipotent groups in positive characteristic: foundations.
• Character sheaves. IV
• Characters of unipotent groups over finite fields.
• Fusion categories and homotopy theory
• Heisenberg idempotents on unipotent groups.
• Metric groups attached to skew-symmetric biextensions
• Minimal idempotents on solvable groups
• Modular categories associated with unipotent groups
• On braided fusion categories. I
• Shintani descent for algebraic groups and almost characters of unipotent groups
• Traces on module categories over fusion categories

Cited in

(4)

• Modular categories, crossed S-matrices, and Shintani descent
• Crossed \(S\)-matrices and Fourier matrices for Coxeter groups with automorphism
• Character sheaves on neutrally solvable groups
• Character sheaves and characters of unipotent groups over finite fields.

This page was built for publication: Crossed \(S\)-matrices and character sheaves on unipotent groups

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