Institute of Mathematics, Academia Sinica（中央研究院数学研究所）；Department of Applied Mathematics, National Sun Yat-Sen University（国立中山大学应用数学系）；Department of Mathematics, National Taiwan University（国立台湾大学数学系）；School of Mathematics and Statistics, University of Melbourne（墨尔本大学数学与统计学院）；Department of Mathematics and Statistics, University of Helsinki（赫尔辛基大学数学与统计系）
Wille Liu, Cheng-Chiang Tsai, Kari Vilonen, Ting Xue
We show in this paper that in the context of graded Lie algebras, all cuspidal character sheaves arise from a nearby-cycle construction followed by a Fourier--Sato transform in a very specific manner. Combined with results of the last two named authors, this completes the classification of cuspidal character sheaves for Vinberg's type I graded classical Lie algebras.
Cuspidal character sheaves on graded Lie algebras II
Institute of Mathematics, Academia Sinica（中央研究院数学研究所）；School of Mathematics and Statistics, University of Melbourne（墨尔本大学数学与统计学院）；Department of Mathematics and Statistics, University of Helsinki（赫尔辛基大学数学与统计系）
Cuspidal character sheaves on graded exceptional Lie algebras: stable gradings
School of Mathematics and Statistics, University of Melbourne（墨尔本大学数学与统计学院）；Department of Mathematics and Statistics, University of Helsinki（赫尔辛基大学数学与统计系）
We prove a strong induction theorem for graded Hecke algebras and we classify the tempered and square integrable representations of such algebras using methods of equivariant homology.
Kleshchev, Mathas and Ram (2012) gave a presentation for graded Specht modules over Khovanov-Lauda-Rouquier algebras of finite and affine type A. We show that this construction can be applied more generally to skew shapes to give a presentation of graded skew Specht modules, which arise as subquotients of restrictions of Specht modules. As an application, we show that cuspidal modules associated to a balanced convex preorder in affine type A are skew Specht modules for certain hook shapes.
We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block.
We give a block decomposition of the equivariant derived category arising from a cyclically graded Lie algebra. This generalizes certain aspects of the generalized Springer correspondence to the graded setting.
We prove a geometric version of a classical result on the characterization of an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_E)$ being the base change of a stable cuspidal packet of the quasi-split unitary group associated to the quadratic extension $E/F$, via the nonvanishing of certain period integrals, called being distinguished. We show that certain cohomology of an automorphic sheaf of $\mathrm{GL}_{n,X'}$ is nonvanishing if and only if the corresponding local system $E$ on $X'$ is conjugate self-dual with respect to an étale double cover $X'/X$ of curves,…
In this paper we construct representations of certain graded double affine Hecke algebras (DAHA) with possibly unequal parameters from geometry. More precisely, starting with a simple Lie algebra $\mathfrak{g}$ together with a $\mathbb{Z}/m\mathbb{Z}$-grading $\oplus_{i}\mathfrak{g}_{i}$ and a block of $G_{\underline{0}}$-equivariant complexes on the nilpotent cone of $\mathfrak{g}_{\underline{1}}$ as introduced in \cite{LY1}, we attach a graded DAHA and construct its action on the direct sum of spiral inductions in that block. This generalizes results of Vasserot \cite{V} and Oblomkov-Yun \ci…
In this paper, we carry out several computations involving graded (or $\mathbb{G}_{\mathrm{m}}$-equivariant) perverse-coherent sheaves on the nilpotent cone of a reductive group in good characteristic. In the first part of the paper, we compute the weight of the $\mathbb{G}_{\mathrm{m}}$-action on certain normalized (or "canonical") simple objects, confirming an old prediction of Ostrik. In the second part of the paper, we explicitly describe all simple perverse coherent sheaves for $G = PGL_3$, in every characteristic other than 2 or 3. Applications include an explicit description of the coho…
We are going to show that the sheafication of graded Koszul modules $% K_Γ$ over $Γ_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_Γ$ of the coherents sheaves on projective space, $Coh(P^{n}).$ One reason is that any coherent sheave over $P^{n}$ belongs to $\overset{\wedge}{K}_Γ$up to shift. More importantly, the category $K_Γ$ allows a concept of almost split sequence obtained by exploiting Koszul duality between graded Koszul modules over $Γ$ and over the exterior algebra $Λ.$ This is then used to develop a kind of relative Auslander-Reiten theory for the ca…
Let $W_π$ be the lattice Lie algebra of Witt type associated with an additive inclusion $π: \mathbb{Z}^N \hookrightarrow \mathbb{C}^2$ with $N>1$. In this article, the classification of simple $\mathbb{Z}^N$-graded $W_π$-modules, whose multiplicities are uniformly bounded, is given.
Let $G$ be a complex, connected, reductive, algebraic group, and $χ:\mathbb{C}^\times \to G$ be a fixed cocharacter that defines a grading on $\mathfrak{g}$, the Lie algebra of $G$. Let $G_0$ be the centralizer of $χ(\mathbb{C}^\times)$. In this paper, we study $G_0$-equivariant parity sheaves on $\mathfrak{g}_n$, under some assumptions on the field $\Bbbk$ and the group $G$. The assumption on $G$ holds for $GL_n$ and for any $G$, it recovers results of Lusztig in characteristic $0$. The main result is that every parity sheaf occurs as a direct summand of the parabolic induction of some cuspid…
In this note we use results of Minamoto and Amiot, Iyama, Reiten to construct an embedding of the graded singularity category of certain graded Gorenstein algebras into the derived categories of coherent sheaves over its projective scheme. These graded algebras are constructed using the preprojective algebras of $d$-representation infinite algebras as defined by Herschend, Iyama and Oppermann. We relate this embedding to the construction of a semi-orthogonal decomposition of the derived category of coherent sheaves over the projective scheme of a Gorenstein algebra of parameter 1 described by …
Let G be a reductive group over C. Assume that the Lie algebra g of G has a given grading (g_j) indexed by a cyclic group Z/m such that g_0 contains a Cartan subalgebra of g. The subgroup G_0 of G corresponding to g_0 acts on the variety of nilpotent elements in g_1 with finitely many orbits. We are interested in computing the local intersection cohomology of the closures of these orbits with coefficients in irreducible G-equivariant local systems which are in the "principal block". We show that these can be computed by a purely combinatorial algorithm.
We study an analogue of the Achar-Riche "mixed modular derived category" for moment graphs. In particular, given a Coxeter group $W$ and a reflection faithful representation $\mathfrak{h}$, we introduce a category that plays the role of Schubert-stratified mixed modular perverse sheaves on "the flag variety associated to $(W, \mathfrak{h})$." We show that this Soergel-theoretic generalization of graded category $\mathcal{O}$ is graded highest weight.
Let H be a Hecke algebra arising as an endomorphism algebra of the representation of a Chevalley group G over F_q induced by a unipotent cuspidal representation of a Levi quotient L of a parabolic subgroup. We assume that L is not a torus. In this paper we outline a geometric interpretation of the coefficients of the canonical basis of H in terms of perverse sheaves. We illustrate this in detail in the case where the Weyl group of G is of type B_4 and that of L is of type B_2.
We show that the algebras describing blocks of the category of cuspidal weight (respectively generalized weight) $\mathfrak{sl}_n$-modules are one-parameter (respectively multi-parameter) deformations of certain Brauer tree algebras. We explicitly determine these deformations both graded and ungraded. The algebras we deform also appear as special centralizer subalgebras of Temperley-Lieb algebras or as generalized Khovanov algebras. They show up in the context of highest weight representations of the Virasoro algebra, in the context of rational representations of the general linear group and S…
We discuss various computational issues around the problem of determining the character values of finite Chevalley groups, in the framework provided by Lusztig's theory of character sheaves. Some of the remaining open questions (concerning certain roots of unity) for the cuspidal unipotent character sheaves of groups of exceptional type are resolved.
For each integer $k\geq 4$ we describe diagrammatically a positively graded Koszul algebra $\mathbb{D}_k$ such that the category of finite dimensional $\mathbb{D}_k$-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type ${\rm D}_k$ or ${\rm B}_{k-1}$, constructible with respect to the Schubert stratification. The algebra is obtained by a (non-trivial) ``folding'' procedure from a generalized Khovanov arc algebra. Properties like graded cellularity and explicit closed formulas for graded decomposition numbers are established by elementary tools.
Let $G$ be a simple simply connected complex algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. In a recent series of articles, G. Lusztig and Z. Yun, studied the classification of simple $G_0$-equivariant perverse sheaves on the nilpotent cone of $\mathfrak{g}_i$ for $i\in \mathbf{Z}/m$, where $G_0$ is the exponentiation of the degree zero piece $\mathfrak{g}_0$. They proved a decomposition of the equivariant derived category of $\ell$-adic sheaves on the nilpotent cone of $\mathfrak{g}_i$ into blocks, each generated by a certain cuspidal l…
This is not standard in the sense that we understand a Springer map to be a collapsing of homogeneous bundles. Apart from that we use mostly techniques from Chriss and Ginzbergs book but we work in the equivariant derived category of Bernstein and Lunts. We define Steinberg algebras as (equivariant) Borel-Moore homology algebras of the associated Steinberg varieties. The data of the BBD-decomposition theorem applied to the Springer map give a parametrization of projective graded and simple graded modules over the Steinberg algebra. Also, the projective graded modules are equivalent to a catego…
With a view to determining character values of finite reductive groups at unipotent elements, we prove a number of results concerning inner products of generalised Gelfand-Graev characters with characteristic functions of character sheaves, here called Lusztig functions. These are used to determine projections of generalised Gelfand-Graev characters to the space of unipo- tent characters, and to the space of characters with a given wave front set. Such projections are expressed largely in terms of Weyl group data. We show how the values of characters at their unipotent support or wave front se…
We review some recent advances in modular representation theory of symmetric groups and related Hecke algebras. We discuss connections with Khovanov-Lauda-Rouquier algebras and gradings on the blocks of the group algebras $FΣ_n$, which these connections reveal; graded categorification and connections with quantum groups and crystal bases; modular branching rules and the Mullineaux map; graded cellular structure and graded Specht modules; cuspidal systems for affine KLR algebras and imaginary Schur-Weyl duality, which connects representation theory of these algebras to the usual Schur algebras …
A survey of the theory of Kac polynomials for quivers and for curves. In particular, we describe the representation-theoretic meaning of Kac polynomials in terms of Hall algebras, and the geometric meaning of Kac polynomials in relation to the geometry of moduli spaces of representations of quivers or vector bundles on smooth projective curves. We end with some heuristics concerning a family of infinite-dimensional $\mathbb{Z}^2$-graded Lie algebras attached to curves of a fixed genus (over a finite field), whose 'Cartan datum' encodes the dimension of the spaces of absolutely cuspidal functio…
In the first part, we construct a new isomorphism between the endomorphism algebra of an induced cuspidal character sheaf and the group algebra of the relative Weyl group involved. We show it differs from the isomorphism of Lusztig by a linear character, and we relate this linear character to some stabilizers. Some consequences for characteristic functions of character sheaves are obtained. In the second part, we compute explicitly this linear character whenever the cuspidal local system is supported by the regular unipotent class and, as an application of these methods, we obtain a refinement…
Let $G$ be a finite group of Lie type. In order to determine the character table of $G$, Lusztig developed the theory of character sheaves. In this framework, one has to find the transformation between two bases for the space of class functions on $G$, one of them being the irreducible characters of $G$, the other one consisting of characteristic functions associated to character sheaves. In principle, this has been achieved by Lusztig and Shoji, but the underlying process involves some scalars which are still unknown in many cases. The problem of specifying these scalars can be reduced to con…
We describe diagrammatically a positively graded Koszul algebra \mathbb{D}_k such that the category of finite dimensional \mathbb{D}_k-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type D_k constructible with respect to the Schubert stratification. The connection is given by an explicit isomorphism to the endomorphism algebra of a projective generator described in by Braden. The algebra is obtained by a "folding" procedure from the generalized Khovanov arc algebras. We relate this algebra to the category of finite dimensional representations of the …
We introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and investigated by Lusztig for connected G. We develop the representation theory of the algebras H. obtaining complete and canonical parametrizations of the irreducible, the irreducible tempered and the discrete series representations. All the modules are constructed in terms of perverse sheaves and equivariant homology, relying on work of Lusztig. The parameters come d…
We realize certain graded Nakajima varieties of finite Dynkin type as orbit closures of repetitive algebras of Dynkin quivers. As an application, we obtain that the perverse sheaves introduced by Nakajima for describing irreducible characters of quantum loop algebras are isomorphic to the intersection cohomology sheaves of these orbit closures.
We construct a new isomorphism between the endomorphism algebra of an induced cuspidal character sheaf and the group algebra of the relative Weyl group involved. We show it differs from Lusztig one by a linear character, and we relate this linear character to some stabilizers. Some consequences on characteristic functions of character sheaves are obtained. In the forthcoming part II, we will apply these methods to obtain a precision on Digne, Lehrer and Michel's theorem on Lusztig restriction of Gel'fand-Graev characters.
We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the representation possess a compatible grading, and conditions on the support of the module. Quotients by these ideals lead to combinatorial Hopf algebras which can be interpreted as Hall algebras of certain sub-categories of modules. In the case of the free commutative monoid on n generators, we obtain a co-commutative Hopf algebra structure on $n$-dimensional skew shapes…
Inspired by a previous work of Nakajima, we consider perverse sheaves over acyclic graded quiver varieties and study the Fourier-Sato-Deligne transform from a representation theoretic point of view. We obtain deformed monoidal categorifications of acyclic quantum cluster algebras with specific coefficients. In particular, the (quantum) positivity conjecture is verified whenever there is an acyclic seed in the (quantum) cluster algebra. In the second part of the paper, we introduce new quantizations and show that all quantum cluster monomials in our setting belong to the dual canonical basis of…
