On the Springer correspondence for wreath products

You-Hung Hsu,Chun-Ju Lai
2024-04-18
Abstract:We first show that the wreath product $\Sigma_m\wr \Sigma_d$ between two symmetric groups appears as the generalized Weyl group of an Iwahori's generalized Tits system. We then introduce a certain subvariety of the flag variety of type A, and then give a geometric proof of its Bruhat decomposition indexed by $\Sigma_m\wr \Sigma_d$, via the Bialynicki-Birula decomposition. Furthermore, we realize the group algebra $\mathbb{Q}[\Sigma_m\wr \Sigma_d]$ as the top Borel-Moore homology of a Steinberg variety. Such a geometric realization leads to a Springer correspondence for the irreducible representations over $\mathbb{C}[\Sigma_m\wr \Sigma_d]$, which can be regarded as a counterpart of the Clifford theory for wreath products. Consequently, we have obtained a new Springer correspondence of type B/C/D using essentially type A geometry.
Representation Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the establishment of the geometric representation theory of the wreath product $\Sigma_m \wr \Sigma_d$. Specifically, the authors first show how to construct an algebraic group $G$ with Bruhat decomposition through Iwahori's generalized Tits system, where the cells of the decomposition are indexed by $\Sigma_m \wr \Sigma_d$. Then, they introduce a specific sub - variety of the flag variety and give a geometric proof of its Bruhat decomposition through Bialynicki - Birula decomposition. In addition, the authors achieve a geometric realization of the group algebra $\mathbb{Q}[\Sigma_m \wr \Sigma_d]$ as the top Borel - Moore homology group of a certain Steinberg variety. This realization leads to the Springer correspondence of the irreducible representations of $\Sigma_m \wr \Sigma_d$, which can be regarded as an analogue of Clifford theory for the wreath product. Finally, the authors use the geometric methods of type A to obtain new Springer correspondences of type B/C/D. In short, the main objectives of this paper are: 1. Establish the geometric representation theory of $\Sigma_m \wr \Sigma_d$. 2. Give geometric realizations through Bruhat decomposition and Bialynicki - Birula decomposition. 3. Achieve the geometric representation of the group algebra of $\Sigma_m \wr \Sigma_d$. 4. Establish the Springer correspondence of the irreducible representations of $\Sigma_m \wr \Sigma_d$.