Characteristic varieties of character sheaves (Q1824709): Difference between revisions

The following characterization of character sheaves is proved when the group \({\mathbb{G}}\) is defined over the complex number field \({\mathbb{C}}:\) let \({\mathbb{G}}\) be a connected complex reductive group. A \({\mathbb{G}}\)-equivariant irreducible perverse sheaf \({\mathcal F}\) on \({\mathbb{G}}\) is a character sheaf if and only if the characteristic variety of \({\mathcal F}\) lies in \({\mathbb{G}}\times {\mathcal N}\). Here \({\mathcal N}\) is the nilpotent cone in the Lie algebra of \({\mathbb{G}}\). Another characterization is also proved. Let \({\mathbb{G}}\) be a connected reductive group defined over an algebraically closed field, \(N\subset {\mathbb{G}}^ a \)maximal unipotent subgroup and \(\pi: {\mathbb{G}}\to {\mathbb{G}}/N\) the projection. Then an irreducible \({\mathbb{G}}\)-equivariant perverse sheaf \({\mathcal F}\) is a tame character sheaf if and only if \(\pi_*({\mathcal F})\) is constructible with respect to the Bruhat cells and tame.