On the reflection representation in Springer's theory (Q1190212)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the reflection representation in Springer's theory |
scientific article |
Statements
On the reflection representation in Springer's theory (English)
0 references
27 September 1992
0 references
The theory of arrangements of hyperplanes allows to attach to every parabolic subgroup of a finite Coxeter group ``exponents of the Coxeter group''-like numbers. In the case of Weyl groups similar numbers arise from the theory of Springer's representations. \textit{G. I. Lehrer} and \textit{T. Shoji} [J. Aust. Math. Soc., Ser. A 49, 449-485 (1990; Zbl 0729.20017)] have shown that in characteristic zero these numbers coincide for classical Weyl groups. In the present paper, the complete determination of the multiplicity of the reflection representation in the Springer representations for classical groups with arbitrary characteristic is given. Both unipotent elements in the group and nilpotent elements in the Lie algebra are considered. Let \(\mathcal G\) be the Lie algebra of a connected reductive algebraic group defined over an algebraically closed field \(k\). Let \(\mathcal B\) be the variety of all Borel subgroups of \(G\). For \(A \in {\mathcal G}\) let \({\mathcal B}_ A = \{B \in {\mathcal B} \mid A \in \text{Lie} (B)\}\). The Springer representation for \(A\) is a natural action of the Weyl group \(W\) of \(G\) on the cohomology \(H^* ({\mathcal B}_ A)\). The cohomology theory used is \(l\)-adic cohomology. Let \(\rho\) be the reflection representation of \(W\). In the present paper, the multiplicity of \(\rho\) in the cohomology groups \(H^ i ({\mathcal B}_ A)\) (\(A\) nilpotent, \(G\) a classical group) is determined. Let \(\mathcal P\) be a conjugacy class of parabolic subgroups of \(G\), and for \(A \in {\mathcal G}\), let \({\mathcal P}_ A = \{P \in {\mathcal P} \mid A \in \text{Lie} (P)\}\). Also, let \(W({\mathcal P})\) be a subgroup of \(W\) which can be thought of as the Weyl group of \(P \in {\mathcal P}\). The following theorem due to Borho-MacPherson is essential; Theorem. The homomorphism \(\pi^*_ A: H^*({\mathcal P}_ A) \to H^*({\mathcal B}_ A)\) induces an isomorphism of \(W^ P\)-modules \(H^*({\mathcal P}_ A) \cong H^* ({\mathcal B}_ A)^{W(P)}\), where \(W^ P = N(P)/W(P)\), \(N(P) = {\mathcal N}_ W (W({\mathcal P}))\). A proof of this theorem is outlined in the present paper. In the case of \(\text{GL}_ n\), \(\text{Sp}_{2n}\) and \(\text{SO}_{2n + 1}\), results of Lehrer and Shoji for characteristic zero are reproved and also proved for arbitrary characteristic. In the case of \(\text{SO}_{2n}\) and for arbitrary characteristic, the same results are proved.
0 references
multiplicity of reflection representation
0 references
arrangements of hyperplanes
0 references
finite Coxeter groups
0 references
Weyl groups
0 references
Springer representations
0 references
classical groups
0 references
Lie algebras
0 references
connected reductive algebraic groups
0 references
Borel subgroups
0 references
\(l\)-adic cohomology
0 references
cohomology groups
0 references
parabolic subgroups
0 references