Combinatorics of the Springer correspondence for classical Lie algebras and their duals in characteristic 2 (Q411731): Difference between revisions

Let \(k\) be an algebraically closed field of characteristic \(2\) and \(G\) a connected algebraic group over \(k\) of classical type \(B,C\) or \(D\). The Lie algebra of \(G\) is denoted \(\mathfrak{g}\). The set of all pairs \((x,\phi)\) (resp. \((\zeta,\psi)\)), where \(x\) is a nilpotent element of \(\mathfrak{g}\) (resp. \(\zeta\) a nilpotent element of \(\mathfrak{g}^*\)), defined up to \(G\)-conjugation, and \(\phi\) (resp. \(\psi\)) is an irreducible local system on \(G \cdot x\) (resp. an irreducible local system on \(G \cdot \zeta\)) is denoted \(\mathfrak{U}_{\mathfrak{g}}\) (resp. \(\mathfrak{U}_{\mathfrak{g}^*}\)). Let \(W_G\) be the Weyl group of \(G\). In this article the author gives an explicit combinatorial description of the Springer correspondence for \(G\). That is, a bijection between \(\mathfrak{U}_{\mathfrak{g}}\) and \(W_G^{\wedge}\), the set of irreducible representations of \(W_G\). More specifically, in each of the following cases the author describes an explicit combinatorial bijection and shows that this is Springer's correspondence in characteristic \(2\). Let \(G = Sp(2n)\) and \(W_n\) the Weyl group of type \(B\) (of order \(2^n n !\)): \[ \gamma : \mathfrak{U}_{\mathfrak{g}} \to W_n^{\wedge}. \] Let \(G = O(2n+1)\) and \(W_n\) the Weyl group of type \(B\): \[ \gamma : \mathfrak{U}_{\mathfrak{g}} \to W_n^{\wedge}. \] Let \(G = SO(2n)\), \(\tilde{G} = O(2n)\) and \(\mathfrak{g} = \mathfrak{o}(2n)\). Let \(W_n'\) be the Weyl group of type \(D\) (of order \(2^{n-1} n !\)). The group \(\tilde{G} / G\) acts on \(\mathfrak{U}_{\mathfrak{g}}\) and the orbit set is denoted \(\tilde{\mathfrak{U}}_{\mathfrak{g}}\). Finally, let \(W_n^{\wedge'} = (W_n')^{\wedge} / \mathbb{Z}_2\), where \(\mathbb{Z}_2 = W_n / W_n'\): \[ \tilde{\gamma} : \tilde{\mathfrak{U}}_{\mathfrak{g}} \to W_n^{\wedge'}. \] Let \(G = Sp(2n)\): \[ \gamma' : \mathfrak{U}_{\mathfrak{g}^*} \to W_n^{\wedge}. \] Finally, let \(G = O(2n+1)\): \[ \gamma' : \mathfrak{U}_{\mathfrak{g}^*} \to W_n^{\wedge}. \] In all cases, the proof is by induction, using a key induction formula that is proved in the first part of the paper.