We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover relations on isotropic flags that describe the irreducible components.
It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which consists of certain complete flags, can be realized as certain Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which variables are linear maps. In this paper, we construct solutions to this system and thus establish an explicit and efficient way to realize these quiver varieties in terms of complete flags in the corresponding Slodowy varieties. As Slodowy varieties contain Springer fibers naturally, we further provide an explicit description of irreducible components of two-row Springer fibers in terms of a family of kernel relations via quiver representations, which allows us to formulate a characterization of irreducible components of Springer fibers of classical type.
We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all classical types.
We prove a generating function formula for the Betti numbers of Nakajima quiver varieties. We prove that it is a q-deformation of the Weyl-Kac character formula. In particular this implies that the constant term of the polynomial counting the number of absolutely indecomposable representations of a quiver equals the multiplicity of a a certain weight in the corresponding Kac-Moody algebra, which was conjectured by Kac in 1982.
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 sequel to this paper. Note that this is in contrast with ordinary type C Springer fibres, where the parametrisation of irreducible components, and the resulting geometric Robinson-Schensted bijection, are more complicated. As an application, we explicitly describe the structure in the special cases where the irreducible components of the exotic Springer fibre have dimension 2, and show that in those cases one obtains Hirzebruch surfaces.
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, we describe the irreducible objects in the heart of the exotic t-structure, and enumerate them by crossingless (m,m+2n) matchings. We compute the Exts between the irreducible objects, and show that the resulting algebras are an annular variant of Khovanovs arc algebras. In subsequent work we will make a link with annular Khovanov homology, and use these results to give a positive characteristic analogue of some categorification results using two-block parabolic category O (by Bernstein-Frenkel-Khovanov, Brundan, Stroppel, et al).