In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection groups at roots of unity enter the description. We do so by analysing the Fourier transform of the nearby cycle sheaves constructed in [GVX2].
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 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.
Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The invariants appearing in this classification are computed in the case when L is simple classical (except for type D4, where a partial result is given). In particular, we obtain criteria to determine when a finite-dimensional simple L-module admits a G-grading making it a graded L-module.
In this paper we construct non-negative gradings on a basic Brauer tree algebra $A_Γ$ corresponding to an arbitrary Brauer tree $Γ$ of type $(m,e)$. We do this by transferring gradings via derived equivalence from a basic Brauer tree algebra $A_S$, whose tree is a star with the exceptional vertex in the middle, to $A_Γ$. The grading on $A_S$ comes from the tight grading given by the radical filtration. To transfer gradings via derived equivalence we use tilting complexes constructed by taking Green's walk around $Γ$ (cf. [\ref{Zak}]). By computing endomorphism rings of these tilting complexes …
The Gell-Mann grading, one of the four gradings of sl(3,C) that cannot be further refined, is considered as the initial grading for the graded contraction procedure. Using the symmetries of the Gell-Mann grading, the system of contraction equations is reduced and solved. Each non-trivial solution of this system determines a Lie algebra which is not isomorphic to the original algebra sl(3,C). The resulting 53 contracted algebras are divided into two classes - the first is represented by the algebras which are also continuous Inonu-Wigner contractions, the second is formed by the discrete graded…
In this paper we investigate gradings on tame blocks of group algebras whose defect group is dihedral. We classify gradings on an arbitrary dihedral block up to graded Morita equivalence. We do this by computing the group of outer automorphisms that fix the isomorphism classes of simple modules. We also show how to grade these blocks via transfer of gradings via dervied equivalences.
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…
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie algebras. In particular, we obtain the full classification of finite-dimensional $Q$-graded simple Lie algebras over any algebraically closed field of characteristic $0$ based on the recent classification of gradings on finite dimensional simple Lie algebras. We also reduce classification of simple graded modules over any $Q$-graded Lie algebra (not necessari…
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 $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…
Recently the first author studied multi-gradings for generalised cluster categories, these being 2-Calabi-Yau triangulated categories with a choice of cluster-tilting object. The grading on the category corresponds to a grading on the cluster algebra without coefficients categorified by the cluster category and hence knowledge of one of these structures can help us study the other. In this work, we extend the above to certain Frobenius categories that categorify cluster algebras with coefficients. We interpret the grading K-theoretically and prove similar results to the triangulated case, in p…
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.
The Z-grading determined by a long simple root of an affine or finite type Lie algebra arises from an adjoint or cominuscule representation of a lower rank semi-simple complex Lie algebra. Analysis of the relationship between the grading and the representation leads to an extension of Kac's construction of nontwisted affine Lie algebras.
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.
For any grading by an abelian group $G$ on the exceptional simple Lie algebra $\mathcal{L}$ of type $E_6$ or $E_7$ over an algebraically closed field of characteristic zero, we compute the graded Brauer invariants of simple finite-dimensional modules, thus completing the computation of these invariants for simple finite-dimensional Lie algebras. This yields the classification of $G$-graded simple $\mathcal{L}$-modules, as well as necessary and sufficient conditions for an $\mathcal{L}$-module to admit a $G$-grading compatible with the given $G$-grading on $\mathcal{L}$.
We show that the Brauer algebra over the complex numbers for an integral parameter delta can be equipped with a grading, in the case of delta being non-zero turning it into a graded quasi-hereditary algebra. In which case it is Morita equivalent to a Koszul algebra. This is done by realizing the Brauer algebra as an idempotent truncation of a certain level two VW-algebra for some large positive integral parameter N. The parameter delta appears then in the choice of a cyclotomic quotient. This cyclotomic VW-algebra arises naturally as an endomorphism algebra of a certain projective module in pa…
This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups $G$ in positive characteristic. The constructions begin with natural finite dimensional quotients of the distribution algebras Dist$(G)$, but then "force" gradings into the picture by passing to positively graded algebras constructed from ideal filtrations of these quotients. This process first guaranteed a place for itself by proving, for large primes, that…
This thesis is concerned with studying the properties of gradings on several examples of cluster algebras, primarily of infinite type. We first consider two finite type cases: $B_n$ and $C_n$, completing a classification by Grabowski for coefficient-free finite type cluster algebras. We then consider gradings arising from $3 \times 3$ skew-symmetric matrices. We show that the mutation-cyclic matrices give rise to gradings in which all degrees are positive and have only finitely many associated cluster variables (excepting one particular case). For the mutation-acyclic matrices, we prove that a…
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.
In the cluster algebra literature, the notion of a graded cluster algebra has been implicit since the origin of the subject. In this work, we wish to bring this aspect of cluster algebra theory to the foreground and promote its study. We transfer a definition of Gekhtman, Shapiro and Vainshtein to the algebraic setting, yielding the notion of a multi-graded cluster algebra. We then study gradings for finite type cluster algebras without coefficients, giving a full classification. Translating the definition suitably again, we obtain a notion of multi-grading for (generalised) cluster categories…
Generalizing recent work of Brundan and Kleshchev, we introduce grading on Dipper-James' $q$-Schur algebra, and prove a graded analogue of the Leclerc and Thibon's conjecture on the decomposition numbers of the $q$-Schur algebra when $q^2\neq1$ and $q^3\neq1$.
A depth one grading $\mathfrak{g}= \mathfrak{g}^{-1}\oplus \mathfrak{g}^0 \oplus \mathfrak{g}^1 \oplus \cdots \oplus \mathfrak{g}^{\ell}$ of a finite dimensional Lie superalgebra $\mathfrak{g}$ is called nonlinear irreducible if the isotropy representation $\mathrm{ad}_{\mathfrak{g}^0}|_{\mathfrak{g}^{-1}}$ is irreducible and $\mathfrak{g}^1 \neq (0)$. An example is the full prolongation of an irreducible linear Lie superalgebra $\mathfrak{g}^0 \subset \mathfrak{gl}(\mathfrak{g}^{-1})$ of finite type with non-trivial first prolongation. We prove that a complex Lie superalgebra $\mathfrak{g}$ w…
Multiloop algebras determined by $n$ commuting algebra automorphisms of finite order are natural generalizations of the classical loop algebras that are used to realize affine Kac-Moody Lie algebras. In this paper, we obtain necessary and sufficient conditions for a $Z^n$-graded algebra to be realized as a multiloop algebra based on a finite dimensional simple algebra over an algebraically closed field of characteristic 0. We also obtain necessary and sufficient conditions for two such multiloop algebras to be graded-isomorphic, up to automorphism of the grading group. We prove these facts as …
A Lax operator algebra is constructed for an arbitrary semi-simple Lie algebra over $\mathbb C$ equipped with a $\mathbb Z$-grading, and arbitrary compact Riemann surface with marked points. In this set-up, a treatment of almost graded structures, and classification of the central extensions of Lax operator algebras are given. A relation to the earlier approach based on the Tyurin parameters is established.
Using the Zhu algebra for a certain category of $\mathbb{C}$-graded vertex algebras $V$, we prove that if $V$ is finitely $Ω$-generated and satisfies suitable grading conditions, then $V$ is rational, i.e. has semi-simple representation theory, with one dimensional level zero Zhu algebra. Here $Ω$ denotes the vectors in $V$ that are annihilated by lowering the real part of the grading. We apply our result to the family of rank one Weyl vertex algebras with conformal element $ω_μ$ parameterized by $μ\in \mathbb{C}$, and prove that for certain non-integer values of $μ$, these vertex algebras, wh…
