In this paper we discuss some of Springer's work on unipotent elements in a reductive groups and on representations of Weyl groups. Among the topics considered are Springer's bijection from the unipotent variety to the nilpotent variety, Springer's example of nonrationality of certain representations of the Hecke algebras associated to a Weyl group and the Springer representation of the Weyl group associated to a unipotent element.
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…
Let G be a simple reductive group over the complex numbers. Let W be the Weyl group of G. We propose a description of the Springer representations of W associated to various unipotent classes of G by a purely algebraic method involving the families of various reflection subgroups of W and which is suitable to computer calculations.
In \cite{FMX19}, it is proved that the convolution algebra of top Borel-Moore homology on Steinberg variety of type $B/C$ realizes $U(sl_n^θ)$, where $sl_{n}^θ$ is the fixed point subalgebra of involution on $sl_n$. So top Borel-Moore homology of the partial Springer's fibers gives the representations of $U(sl_n^θ)$. In this paper, we study these representations using the Schur-Weyl duality and Springer theory.
We show that various properties of unipotent elements in a reductive group over the complex numbers can be recovered purely in terms of the affine Weyl group of the dual group.
Let $G = GL_N$ over an algebraically closed field of odd characteristic, and $θ$ an involutive automorphism on $G$ such that $H = (G^θ)^0$ is isomorphic to $SO_N$. Then $G^{ιθ} = \{ g \in G \mid θ(g) = g^{-1} \}$ is regarded as a symmetric space $G/G^θ$. Let $G^{ιθ}_{uni}$ be the set of unipotent elements in $G^{ιθ}$. $H$ acts on $G^{ιθ}_{uni}$ by the conjugation. As an analogue of the generalized Springer correspondence in the case of reductive groups, we establish in this paper the generalized Springer correspondence between $H$-orbits in $G^{ιθ}_{uni}$ and irreducible representations of var…
In \cite{Lusztig}, Lusztig gives an explicit formula for the bijection between the set of bipartitions and the set $\mathcal{N}$ of unipotent classes in a spin group which carry irreducible local systems equivariant for the spin group but not equivariant for the special orthogonal group. The set $\mathcal{N}$ has a natural partial order and therefore induces a partial order on bipartitions. We use the explicit formula given in \cite{Lusztig} to prove that this partial order on bipartitions is the same as the dominance order appeared in Dipper-James-Murphy's work.
Let $G$ be a reductive group over an algebraically closed field and let $W$ be its Weyl group. In a series of papers, Lusztig introduced a map from the set $[W]$ of conjugacy classes of $W$ to the set $[G_u]$ of unipotent classes of $G$. This map, when restricted to the set of elliptic conjugacy classes $[W_e]$ of $W$, is injective. In this paper, we show that Lusztig's map $[W_e] \to [G_u]$ is order-reversing, with respect to the natural partial order on $[W_e]$ arising from combinatorics and the natural partial order on $[G_u]$ arising from geometry.
Représentations de Springer pour les groupes de réflexions complexes imprimitifs
对于一个特殊的复反射群，配备了根格的意义下的Nebe，我们附加了一定的有限集发挥的作用，这是类似于一个代数群的幂幺类集的作用。在非本原群的情形下，我们用Malle-Shoji广义符号给出了它的组合参数化.这一结果提供了一个链接的作品Shoji的格林函数复杂的反射群和Broue，金，马勒，Rouquier等。等关于分圆Hecke代数及其特征标族的研究。- A un groupe de reflexions espetsial，muni d'un reseau radiciel au sens de Nebe，nous associons un certain ensemble fini who doit jouer an role analogue a celui de l'ensemble des classes unipotents d'un groupe algebrique.在不确定性群体的情况下，我们使用一种参数组合，以Malle和Shoji的一般符号为条件。这一结果包含了Shoji关于Green函数的工作，以及Broue、Kim、Malle、Rouquier等人关于Hecke分圆代数和特征点族的工作。
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
For Weyl groups of classical types, we present formulas to calculate the restriction of Springer representations to a maximal parabolic subgroup of the same type. As a result, we give recursive formulas for Euler characteristics of Springer fibers for classical types. We also give tables of those for exceptional types.
Let W be a Weyl group. We introduce the notion of positive conjugacy class in W. This generalizes the notion of regular elliptic conjugacy class in the sense of Springer.
We define a map from the unipotent representations of a split semisimple group over a finite field to (essentially) the set of pairs of left cells representations of the Weyl group in the same two-sided cell. We use this map to parametrize the unipotent representations.
Let $W$ be the Weyl group of type $BC_n$. We first provide restriction formulas of the total Springer representations for the symplectic Lie algebra in characteristic 2 and the exotic case to the maximal parabolic subgroup of $W$ which is of type $BC_{n-1}$. Then we show that these two restriction formulas are equivalent, and discuss how the results can be used to examine the existence of affine pavings of Springer fibers corresponding to the symplectic Lie algebra in characteristic 2.
The Springer resolution of the nilpotent cone is used to give a geometric construction of the irreducible representations of Weyl groups. Borho and MacPherson obtain the Springer correspondence by applying the decomposition theorem to the Springer resolution, establishing an injective map from the set of irreducible Weyl group representations to simple equivariant perverse sheaves on the nilpotent cone. In this manuscript, we consider a generalization of the Springer resolution using a variety defined by the first author. Our main result shows that in the type A case, applying the decompositio…
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way…
In a previous paper I have defined a new basis for the representation ring of a Weyl group. In this paper we show that the new basis is related to the standard basis by an upper triangular unipotent matrix. We also give a new parametrization of representations in a fixed family by certain pairs of subgroups of a finite group attached to the family. We outline an extension to the case of unipotent representations of a finite Chevalley group.
We define the notion of basic set data for finite groups (building on the notion of basic set, but including an order on the irreducible characters as part of the structure), and we prove that the Springer correspondence provides basic set data for Weyl groups. Then we use this to determine explicitly the modular Springer correspondence for classical types (defined over a base field of odd characteristic $p$, and with coefficients in a field of odd characteristic $\ell\neq p$): the modular case is obtained as a restriction of the ordinary case to a basic set. In order to do so, we compare the …
The generalised Springer correspondence for $G = \mathrm{SO}(N,\mathbb{C})$ attaches to a pair $(C,\mathcal{E})$, where $C$ is a unipotent class of $G$ and $\mathcal{E}$ is an irreducible $G$-equivariant local system on $C$, an irreducible representation $ρ(C,\mathcal{E})$ of a relative Weyl group of $G$. We call $C$ the Springer support of $ρ(C,\mathcal{E})$. For each such $(C,\mathcal{E})$, $ρ(C,\mathcal{E})$ appears with multiplicity 1 in the top cohomology of some variety. Let $\barρ(C,\mathcal{E})$ be the representation obtained by summing over all cohomology groups of this variety. It is…
Let $G = GL(V)$ for an N-dimensional vector space $V$ over an algebraically closed field k, and $G^θ$ the fixed point subgroup of $G$ under an involution $θ$ on $G$. In the case where $G^θ = O(V)$, the generalized Springer correspondence for the unipotent variety of the symmetric space $G/G^θ$ was studied by last two authors, under the assumption that ch k is odd. The definition of $θ$, and of the associated symmetric space given there make sense even if ch k = 2. In this paper, we discuss the Springer correspondence for those symmetric spaces of even characteristic. We show that if N is even,…
For a Weyl group $W$ of classical type, we present a formula to calculate the restriction of (graded) Springer representations of $W$ to a maximal parabolic subgroup $W'$ where the types of $W$ and $W'$ are in the same series. As a result, we obtain recursive formulas for the Betti numbers of Springer fibers for classical types.
