In this paper, we study the affine Springer fiber $\mathcal{F} l_N$ in type $A$ for rectangular type semisimple nil-element $N$ and calculate the relative position between irreducible components. In particular, we use the affine matrix ball construction to show the relative position map is compatible with the Kazhdan-Lusztig cell structure, generalizing the work of Steinberg and van Leeuwen.
Recall that the Springer correspondence relates representations of the Weyl group to perverse sheaves on the nilpotent cone. We explain how to extend this to an equivalence between the triangulated category generated by the Springer perverse sheaves and the derived category of differential graded modules over a dg-ring related to the Weyl group.
We describe Springer fibers corresponding to the minimal and minimal special nilpotent orbits of simple Lie algebras. As a result, we give an answer to the conjecture of Humphreys regarding some graphs attached to Springer fibers.
We give the number of nilpotent orbits in the Lie algebras of orthogonal groups under the adjoint action of the groups over $\tF_{2^n}$. Let $G$ be an adjoint algebraic group of type $B,C$ or $D$ defined over an algebraically closed field of characteristic 2. We construct the Springer correspondence for the nilpotent variety in the Lie algebra of $G$.
Let $G$ be an adjoint algebraic group of type $B$, $C$, or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the Lie algebra of $G$. In particular, for orthogonal Lie algebras in characteristic 2, the structure of component groups of nilpotent centralizers is determined and the number of nilpotent orbits over finite fields is obtained.
In this note, we consider perverse sheaves on the nilpotent cone. We prove orthogonality relations for the equivariant category of sheaves on the nilpotent cone in a method similar to Lusztig's for character sheaves. We also consider cleanness for cuspidal perverse sheaves and the generalized Lusztig--Shoji algorithm.
Let $G$ be a simply connected algebraic group of type $B,C$ or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the dual vector space of the Lie algebra of $G$. In particular, we classify the nilpotent orbits in the duals of symplectic and orthogonal Lie algebras over algebraically closed or finite fields of characteristic 2.
Let G = Sp (2n) be the symplectic group over Z. We present a certain kind of deformation of the nilpotent cone of G with G-action. This enables us to make direct links between the Springer correspondence of sp_{2n} over C, that over characteristic two, and our exotic Springer correspondence. As a by-product, we obtain a complete description of our exotic Springer correspondence.
The Springer resolution of the nilpotent cone of a semisimple Lie algebra has played an important role in representation theory. The nilpotent cone is equal to Spec R, where R is the ring of regular functions on the nilpotent cone. This paper constructs and studies an analogue of the Springer resolution for the variety Spec S, where S is the ring of regular functions on the universal cover of the regular nilpotent orbit. The construction makes use of the theory of toric varieties. Using this construction, we provide new proofs of results of Broer and of Graham about Spec S. Finally, we show th…
Kato introduced the exotic nilpotent cone to be a substitute for the ordinary nilpotent cone of type C with cleaner properties. Here we describe the irreducible components of exotic Springer fibres (the fibres of the resolution of the exotic nilpotent cone), and prove that they are naturally in bijection with standard bitableaux. As a result, we deduce the existence of an exotic Robinson-Schensted bijection, which is a variant of the type C Robinson-Schensted bijection between pairs of same-shape standard bitableaux and elements of the Weyl group; this bijection is described explicitly in the …
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…
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This le…
The Springer correspondence makes a link between the characters of a Weyl group and the geometry of the nilpotent cone of the corresponding semisimple Lie algebra. In this article, we consider a modular version of the theory, and show that the decomposition numbers of a Weyl group are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent cone. We give some decomposition numbers which can be obtained geometrically. In the case of the symmetric group, we show that James' row and column removal rule for the symmetric group can be derived from a smooth equival…
Let G be a semisimple algebraic group over a field K whose characteristic is very good for G, and let sigma be any G-equivariant isomorphism from the nilpotent variety to the unipotent variety; the map sigma is known as a Springer isomorphism. Let y in G(K), let Y in Lie(G)(K), and write C_y = C_G(y) and C_Y= C_G(Y) for the centralizers. We show that the center of C_y and the center of C_Y are smooth group schemes over K. The existence of a Springer isomorphism is used to treat the crucial cases where y is unipotent and where Y is nilpotent. Now suppose G to be quasisplit, and write C for the …
Kato's exotic nilpotent cone was introduced as a substitute for the ordinary nilpotent cone of type C with cleaner properties. The geometric Robinson-Schensted correspondence is obtained by parametrizing the irreducible components of the Steinberg variety (the conormal variety for the action of a semisimple group on two copies of its flag variety); in type A the bijection coincides with the classical Robinson-Schensted algorithm for the symmetric group. Here we give a combinatorial description of the bijection obtained by using the exotic nilpotent cone instead of ordinary type C nilpotent con…
The flag variety of a complex reductive linear algebraic group G is by definition the quotient G/B by a Borel subgroup. It can be regarded as the set of Borel subalgebras of Lie(G). Given a nilpotent element e in Lie(G), one calls Springer fiber the subvariety formed by the Borel subalgebras which contain e. Springer fibers have in general a complicated structure (not irreducible, singular). Nevertheless, a theorem by C. De Concini, G. Lusztig, and C. Procesi asserts that, when G is classical, a Springer fiber can always be paved by finitely many subvarieties isomorphic to affine spaces. In th…
Consider a complex classical semi-simple Lie group along with the set of its nilpotent coadjoint orbits. When the group is of type A, the set of orbital varieties contained in a given nilpotent orbit is described a set of standard Young tableaux. We parameterize both, the orbital varieties and the irreducible components of unipotent varieties in the other classical groups by sets of standard domino tableaux. The main tools are Spaltenstein's results on signed domino tableaux together with Garfinkle's operations on standard domino tableaux.
In 1976, Springer defined a correspondence making a link between the irreducible ordinary (characteristic zero) representations of a Weyl group and the geometry of the associated nilpotent variety. In this thesis, we define a modular Springer correspondence (in positive characteristic), and we show that the decomposition numbers of a Weyl group (for example the symmetric group) are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent variety. We calculate explicitly the decomposition numbers associated to the regular and subregular classes, and to the min…
In recent work, Graham has constructed a variety with a map to the nilpotent cone which is similar in some ways to the Springer resolution. One aspect in which Graham's map differs is that it is not in general an isomorphism over the principal orbit, but rather the universal covering map. This map gives rise to a certain semisimple perverse sheaf on the nilpotent cone, and we discuss here the problem of describing the summands of this perverse sheaf. For type $A_n$, a key tool is a known combinatorial description of an affine paving of Springer fibers.
We construct affine pavings of Springer-type fibers over the enhanced nilpotent cone. This resolves a question of Achar-Henderson and implies the existence of perverse parity sheaves on the enhanced nilpotent cone.
Consider a nilpotent element e in a simple complex Lie algebra. The Springer fibre corresponding to e admits a discretization (discrete analogue) introduced by the author in 1999. In this paper we propose a conjectural description of that discretization which is more amenable to computation. We also propose a conjectural PBW analogue of that discretization. This version differs substantially from the previous one.
We show that the motive of a Springer fiber is pure Tate. We then consider a category of equivariant Springer motives on the nilpotent cone and construct an equivalence to the derived category of graded modules over the graded affine Hecke algebra.
The orbital varieties are the irreducible components of the intersection between a nilpotent orbit and a Borel subalgebra of the Lie algebra of a reductive group. There is a geometric correspondence between orbital varieties and irreducible components of Springer fibers. In type A, a construction due to Richardson implies that every nilpotent orbit contains at least one smooth orbital variety and every Springer fiber contains at least one smooth component. In this paper, we show that this property is also true for the other classical cases. Our proof uses the interpretation of Springer fibers …
We prove an explicit formula for the Poincaré polynomials of parabolic character varieties of Riemann surfaces with semisimple local monodromies, which was conjectured by Hausel, Letellier and Rodriguez-Villegas. Using an approach of Mozgovoy and Schiffmann the problem is reduced to counting pairs of a parabolic vector bundles and a nilpotent endomorphism of prescribed generic type. The generating function counting these pairs is shown to be a product of Macdonald polynomials and the function counting pairs without parabolic structure. The modified Macdonald polynomial $\tilde H_λ[X;q,t]$ is i…
We consider the Springer fiber over a nilpotent endomorphism. Fix a Jordan basis and consider the standard torus relative to this. We deal with the problem to describe the flags fixed by the torus which belong to a given component of the Springer fiber. We solve the problem in the hook, two-row and two-column cases. We provide two main characterizations which are common to the three cases, and which involve dominance relations between Young diagrams and combinatorial algorithms. Then, for these three cases, we deduce topological properties of the components and their intersections.
We study some aspects of modular generalized Springer theory for a complex reductive group $G$ with coefficients in a field $\mathbb k$ under the assumption that the characteristic $\ell$ of $\mathbb k$ is rather good for $G$, i.e., $\ell$ is good and does not divide the order of the component group of the centre of $G$. We prove a comparison theorem relating the characteristic-$\ell$ generalized Springer correspondence to the characteristic-$0$ version. We also consider Mautner's characteristic-$\ell$ `cleanness conjecture'; we prove it in some cases; and we deduce several consequences, inclu…
In this paper we construct and study an action of the affine braid group associated to a semi-simple algebraic group on derived categories of coherent sheaves on various varieties related to the Springer resolution of the nilpotent cone. In particular, we describe explicitly the action of the Artin braid group. This action is a "categorical version" of Kazhdan--Lusztig--Ginzburg's construction of the affine Hecke algebra, and is used in particular by the first author and Ivan Mirkovic in the course of the proof of Lusztig's conjectures on equivariant K-theory of Springer fibers.
We describe the irreducible components of Springer fibers for hook and two-row nilpotent elements of gl_n(C) as iterated bundles of flag manifolds and Grassmannians. We then relate the topology (in particular, the intersection homology Poincare' polynomials) of the intersections of these components with the inner products of the Kazhdan-Lusztig basis elements of irreducible representations of the rational Iwahori-Hecke algebra of type A corresponding to the hook and two-row Young shapes.
In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of cones of nilpotent elements inside the Lie algebra of the group SL_n. As such, the main result of this note is similar to an earlier description given by de Concini and Procesi.
We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classi…
Let $\mathbf{G}$ be a connected split reductive group over a field of characteristic zero or sufficiently large characteristic, $γ_0\in(\operatorname{Lie}\mathbf{G})((t))$ be any topologically nilpotent regular semisimple element, and $γ=tγ_0$. Using methods from $p$-adic orbital integrals, we show that the number of components of the Iwahori affine Springer fiber over $γ$ modulo $Z_{\mathbf{G}((t))}(γ)$ is equal to the order of the Weyl group.
Let $π:\widetilde{\mathcal N}\to\mathcal N$ be the Springer resolution of the nilpotent cone for a semisimple connected algebraic group $G$ over $\mathbb C$ and $k$ be an arbitrary field. What happens to $π_*k[\dim\mathcal N]$ if the decomposition theorem fails for it? We show that in this case, some additional (with respect to the case ${\rm char}\;k=0$) composition factors of this direct image in the (abelian) category of perverse sheaves may emerge. These factors emerge from the $Z_G(x)/Z_G(x)^0$-composition factors of the radicals of certain intersection forms and from that of the top como…
For any natural numbers n,r, we construct an algebra P_n^r via generators and quadratic relations, and show that it deforms the W-algebra of gl_{nr} with respect to a nilpotent with Jordan block decomposition r+...+r. We introduce a surjective morphism from half of the quantum toroidal algebra of gl_n to P_n^r, and show that the action of the quantum toroidal algebra on the K-theory groups of the moduli spaces of parabolic sheaves factors through P_n^r.
Let $u\in\mathrm{End}(\mathbb{C}^n)$ be nilpotent. The variety of $u$-stable complete flags is called the Springer fiber over $u$. Its irreducible components are parameterized by a set of standard Young tableaux. The Richardson (resp. Bala-Carter) components of Springer fibers correspond to the Richardson (resp. Bala-Carter) elements of the symmetric group, through Robinson-Schensted correspondence. Every Richardson component is isomorphic to a product of standard flag varieties. On the contrary, the Bala-Carter components are very susceptible to be singular. First, we characterize the singula…
We explain an elementary topological construction of the Springer representation on the homology of (topological) Springer fibers of types C and D in the case of nilpotent endomorphisms with two Jordan blocks. The Weyl group and component group actions admit a diagrammatic description in terms of cup diagrams which appear in the definition of arc algebras of types B and D. We determine the decomposition of the representations into irreducibles and relate our construction to classical Springer theory. As an application we obtain presentations of the cohomology rings of all two-block Springer fi…
For a fixed 2-block Springer fiber, we describe the structure of its irreducible components and their relation to the Bialynicki-Birula paving, following work of Fung. That is, we consider the space of complete flags in C^n preserved by a fixed nilpotent matrix with 2 Jordan blocks, and study the action of diagonal matrices commuting with our fixed nilpotent. In particular, we describe the structure of each component, its set of torus fixed points, and prove a conjecture of Fung describing the intersection of any pair. Then we define a convolution algebra structure on the direct sum of the coh…
This paper is a sequel to math.RT/0601155. Let G be a complex symplectic group. In math.RT/0601155, we constructed a certain G-variety N = N_1, which we call the (1-) exotic nilpotent cone. In this paper, we study the set of G-orbits of the variety N. It turns out that the variety N gives a variant of the Springer correspondence for the Weyl group of type C, but shares a similar flavor with that of type A case. (I.e. there appears no non-trivial local system and the correspondence is bijective.) As an application, we present one sufficient condition for the bijectivity of our exotic Deligne-La…
We produce in an explicit form free generators of the affine W-algebra of type A associated with a nilpotent matrix whose Jordan blocks are of the same size. This includes the principal nilpotent case and we thus recover the quantum Miura transformation of Fateev and Lukyanov.
Generalizing Schubert cells in type A and a cell decomposition if Springer fibres in type A found by L. Fresse we prove that varieties of complete flags in nilpotent representations of an oriented cycle admit an affine cell decomposition parametrized by multi-tableaux. We show that they carry a torus operation and describe the T-equivariant cohomology using Goresky-Kottwitz-MacPherson-theory. As an application of the cell decomposition we obtain a vector space basis of certain modules (for quiver Hecke algebras of nilpotent representations of this quiver), similar modules have been studied by …
We study the exotic t-structure on the derived category of coherent sheaves on two-block Springer fibre (i.e. for a nilpotent matrix of type (m+n,n) in type A). The exotic t-structure has been defined by Bezrukavnikov and Mirkovic for Springer theoretic varieties in order to study representations of Lie algebras in positive characteristic. Using work of Cautis and Kamnitzer, we construct functors indexed by affine tangles, between categories of coherent sheaves on different two-block Springer fibres (i.e. for different values of n). After checking some exactness properties of these functors, w…
It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. This establishes an explicit and efficient way to compute the image of a complete flag contained in the Slodowy variety under the Maffei--Nakajima isomorphism and describe these flags in terms of quive…
We consider the small quantum group u_q(G), for an almost-simple algebraic group G over the complex numbers and a root of unity q of sufficiently large order. We show that the Balmer spectrum for the small quantum group in type A admits a continuous surjection P(Ñ) \to Spec(stab u_q(G)) from the (projectivized) Springer resolution. This surjection is shown to be a homeomorphism over a dense open subset in the spectrum. In type A_1 we calculate the Balmer spectrum precisely, where it is shown to be the projectivized nilpotent cone. Our results extend to arbitrary Dynkin type provided certain co…
We generalise statements known about Springer fibres associated to nilpotents with 2 Jordan blocks to Spaltenstein varieties. We study the geometry of generalised irreducible components (i.e. Bialynicki-Birula cells) and their pairwise intersections. In particular we develop a graphical calculus which encodes their structure as iterated fibre bundles with CP^1 as base spaces and compute their cohomology. At the end we present a connection with coloured cobordisms generalising a construction of Khovanov and Stroppel.
We study the quantum finite W-algebras W(gl_N,f), associated to the Lie algebra gl_N, and its arbitrary nilpotent element f. We construct for such an algebra an r_1 x r_1 matrix L(z) of Yangian type, where r_1 is the number of maximal parts of the partition corresponding to f. The matrix L(z) is the quantum finite analogue of the operator of Adler type which we introduced in the classical affine setup. As in the latter case, the matrix L(z) is obtained as a generalized quasideterminant. It should encode the whole structure of W(gl_N,f), including explicit formulas for generators and the commut…
