arXiv subjects
Publications and source records attributed to Pramod N. Achar.
We further develop the general theory of the "mixed modular derived category" introduced by the authors in a previous paper in this series. We then use it to study positivity and Q-Koszulity phenomena on flag varieties.
We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse sheaves on the nilpotent cone of GL(n) satisfying the `recollement' properties, and with subquotients equivalent to categories of representations of a product of symmetric groups.
We show that two Weyl group actions on the Springer sheaf with arbitrary coefficients, one defined by Fourier transform and one by restriction, agree up to a twist by the sign character. This generalizes a familiar result from the setting of l-adic cohomology, making it applicable to modular representation theory. We use the Weyl group actions to define a Springer correspondence in this generality, and identify the zero weight spaces of small representations in terms of this Springer correspondence.
Let W be a complex reflection group, acting on a complex vector space H. Kato has recently introduced the notion of a "Kostka system," which is a certain collection of finite-dimensional W-equivariant modules for the symmetric algebra on H. In this paper, we show that Kostka systems can be used to construct "exotic" t-structures on the derived category of finite-dimensional modules, and we prove a derived-equivalence result for these t-structures.
We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give an equivalence between perverse sheaves on such a variety and modules for a certain graded ring, obtaining a formality result as a corollary. For flag varieties, these results were proved earlier by Beilinson-Ginzburg-Soergel using a rather different construction.
For a simply-connected simple algebraic group $G$ over $\C$, we exhibit a subvariety of its affine Grassmannian that is closely related to the nilpotent cone of $G$, generalizing a well-known fact about $GL_n$. Using this variety, we construct a sheaf-theoretic functor that, when combined with the geometric Satake equivalence and the Springer correspondence, leads to a geometric explanation for a number of known facts (mostly due to Broer and Reeder) about small representations of the dual group.
Given the nilpotent cone of a complex reductive Lie algebra, we consider its equivariant constructible derived category of sheaves with coefficients in an arbitrary field. This category and its subcategory of perverse sheaves play an important role in Springer theory and the theory of character sheaves. We show that the composition of the Fourier--Sato transform on the Lie algebra followed by restriction to the nilpotent cone restricts to an autoequivalence of the derived category of the nilpotent cone. In the case of $GL_n$, we show that this autoequivalence can be regarded as a geometric version of Ringel duality for the Schur algebra.
In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of (ordinary) coherent sheaves. We prove that graded versions of these results also hold in good positive characteristic.
For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable completion of the Grothendieck group. We also show that right-exact functors (or their left-derived functors) induce continuous homomorphisms of these completed Grothendieck groups, and we discuss examples and applications coming from categorification.
A fundamental result of Beilinson-Ginzburg-Soergel states that on flag varieties and related spaces, a certain modified version of the category of l-adic perverse sheaves exhibits a phenomenon known as Koszul duality. The modification essentially consists of discarding objects whose stalks carry a nonsemisimple action of Frobenius. In this paper, we prove that a number of common sheaf functors (various pull-backs and push-forwards) induce corresponding functors on the modified category or its triangulated analogue. In particular, we show that these functors preserve semisimplicity of the Frobenius action.
In this paper we study the derived category of sheaves on the affine Grassmannian of a complex reductive group G, contructible with respect to the stratification by G(C[[x]])-orbits. Following ideas of Ginzburg and Arkhipov-Bezrukavnikov-Ginzburg, we describe this category (and a mixed version) in terms of coherent sheaves on the nilpotent cone of its Langlands dual reductive group. We also show, in the mixed case, that restriction to the nilpotent cone of a Levi subgroup corresponds to hyperbolic localization on affine Grassmannians.
We generalize a result by Cunningham-Salmasian to a Mackey-type formula for the compact restriction of a semisimple perverse sheaf produced by parabolic induction from a character sheaf, under certain conditions on the parahoric group used to define compact restriction. This provides new tools for matching character sheaves with admissible representations.
We study the orbits of $G=\mathrm{GL}(V)$ in the enhanced nilpotent cone $V\times\mathcal{N}$, where $\mathcal{N}$ is the variety of nilpotent endomorphisms of $V$. These orbits are parametrized by bipartitions of $n=\dim V$, and we prove that the closure ordering corresponds to a natural partial order on bipartitions. Moreover, we prove that the local intersection cohomology of the orbit closures is given by certain bipartition analogues of Kostka polynomials, defined by Shoji. Finally, we make a connection with Kato's exotic nilpotent cone in type C, proving that the closure ordering is the same, and conjecturing that the intersection cohomology is the same but with degrees doubled.
In this note, we point out an error in the proof of Theorem 4.7 of [P. Achar and A.~Henderson, `Orbit closures in the enhanced nilpotent cone', Adv. Math. 219 (2008), 27-62], a statement about the existence of affine pavings for fibres of a certain resolution of singularities of an enhanced nilpotent orbit closure. We also give independent proofs of later results that depend on that statement, so all other results of that paper remain valid.
Let G be a reductive algebraic group, with nilpotent cone N and flag variety G/B. We construct an exact functor from perverse sheaves on N to locally constant sheaves on G/B, and we use it to study Ext-groups of simple perverse sheaves on N in terms of the cohomology of G/B. As an application, we give new proofs of some known results on stalks of perverse sheaves on N.
We continue the study of the closures of $GL(V)$-orbits in the enhanced nilpotent cone $V\times\cN$ begun by the first two authors. We prove that each closure is an invariant-theoretic quotient of a suitably-defined enhanced quiver variety. We conjecture, and prove in special cases, that these enhanced quiver varieties are normal complete intersections, implying that the enhanced nilpotent orbit closures are also normal.
We compare orbits in the nilpotent cone of type $B_n$, that of type $C_n$, and Kato's exotic nilpotent cone. We prove that the number of $\F_q$-points in each nilpotent orbit of type $B_n$ or $C_n$ equals that in a corresponding union of orbits, called a type-$B$ or type-$C$ piece, in the exotic nilpotent cone. This is a finer version of Lusztig's result that corresponding special pieces in types $B_n$ and $C_n$ have the same number of $\F_q$-points. The proof requires studying the case of characteristic 2, where more direct connections between the three nilpotent cones can be established. We also prove that the type-$B$ and type-$C$ pieces of the exotic nilpotent cone are smooth in any characteristic.
Let X be a scheme, and let G be an affine group scheme acting on X. Under reasonable hypotheses on X and G, we construct a t-structure on the derived category of G-equivariant coherent sheaves that in many ways resembles the perverse coherent t-structure, but which incorporates additional information from the G-action. Under certain circumstances, this t-structure, called the "staggered t-structure," has an artinian heart, and its simple objects are particularly easy to describe. We also exhibit two small examples in which the staggered t-structure is better-behaved than the perverse coherent t-structure.