This note uses a variation of graded Morita theory for finite dimensional superalgebras to determine explicitly the graded basic superalgebras for all real and complex Clifford superalgebras. As an application, the Grothendieck groups of the category of left $\mathbb{Z}_2$-graded modules over all real and complex Clifford superalgebras are described explicitly.
We study the structural and homological properties of graded Artinian modules over generalized Weyl algebras (GWAs), and this leads to a decomposition result for the category of graded Artinian modules. Then we define and examine a category of graded modules analogous to the BGG category O. We discover a condition on the data defining the GWA that ensures O has a system of projective generators. Under this condition, O has nice representation-theoretic properties. There is also a decomposition result for O. Next, we give a necessary condition for there to be a strongly graded Morita equivalenc…
We introduce group graded basic Morita equivalences between algebras deter- mined by blocks of normal subgroups, and by using the extended Brauer quotient, we show that they induce graded basic Morita equivalences at local levels.
We determine the PBW deformations of the wreath product of a symmetric group with a deformed preprojective algebra of an affine Dynkin quiver. In particular, we show that there is precisely one parameter which does not come from deformation of the preprojective algebra. We prove that the PBW deformation is Morita equivalent to a corresponding symplectic reflection algebra for wreath product.
We introduce "continuous deformed preprojective algebras" attached to infinite affine Dynkin quivers of type A_{\infty}, A_{+\infty}, D_{\infty}. We define a one-parameter family of deformations of the wreath product of a symmetric group with these algebras and, using the generalized McKay correspondence for infinite reductive subgroups of SL(2,C), we establish a Morita equivalence to a corresponding continuous symplectic reflection algebra of wreath product type. We give applications of this Morita equivalence to the representation theory of continuous wreath product symplectic reflection alg…
This paper is investigative work into the properties of a family of graded algebras recently defined by Varagnolo and Vasserot, which we call VV algebras. We compare categories of modules over KLR algebras with categories of modules over VV algebras, establishing various Morita equivalences. Using these Morita equivalences we are able to prove several properties of certain classes of VV algebras such as (graded) affine cellularity and affine quasi-heredity.
We consider RoCK (or Rouquier) blocks of symmetric groups and Hecke algebras at roots of unity. We prove a conjecture of Turner asserting that a certain idempotent truncation of a RoCK block of weight $d$ of a symmetric group $\mathfrak S_n$ defined over a field $F$ of characteristic $e$ is Morita equivalent to the principal block of the wreath product $\mathfrak S_e \wr \mathfrak S_d$. This generalises a theorem of Chuang and Kessar that applies to RoCK blocks with abelian defect groups. Our proof relies crucially on an isomorphism between $F\mathfrak S_n$ and a cyclotomic Khovanov-Lauda-Rouq…
In this paper, we present a method to construct new stable equivalences of Morita type. Suppose that a stable equivalence of Morita type between finite dimensional algebras $A$ and $B$ is defined by a $B$-$A$-bimodule $N$. Then, for any finite admissible set $Φ$ of natural numbers and any generator $X$ of the $A$-module category, the $Φ$-Beilinson-Green algebras $\scr G^Φ_A(X)$ and $\scr G^Φ_B(N\otimes_AX)$ are stably equivalent of Morita type. In particular, if $Φ=\{0\}$, we get a known result in literature. As another consequence, we construct an infinite family of derived equivalent algebra…
To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the structure of a graded Hopf algebra, and in fact a positive self-adjoint Hopf algebra in the sense of Zelevinsky [1], using the induction product and restriction coproduct. This paper introduces and explores an analogously defined algebra/coalgebra structure associated to a more general class of towers of groups, obtained as a certain family of subgroups of …
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.
We give a sufficient condition for the $kG$-Scott module with vertex $P$ to remain indecomposable under taking the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $2$, and $P$ is a wreathed $2$-subgroup of a finite group $G$. This generalizes results for the cases where $P$ is abelian and some others. The motivation of this paper is that the Brauer indecomposability of a $p$-permutation bimodule ($p$ is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing met…
We prove a Littlewood-Richardson type formula for $(s_{λ/μ},s_{ν/κ})_{t^k,t}$, the pairing of two skew Schur functions in the MacDonald inner product at $q = t^k$ for positive integers $k$. This pairing counts graded decomposition numbers in the representation theory of wreath products of the algebra $C[x]/x^k$ and symmetric groups.
We associate a monoidal category $\mathcal{H}_B$, defined in terms of planar diagrams, to any graded Frobenius superalgebra $B$. This category acts naturally on modules over the wreath product algebras associated to $B$. To $B$ we also associate a (quantum) lattice Heisenberg algebra $\mathfrak{h}_B$. We show that, provided $B$ is not concentrated in degree zero, the Grothendieck group of $\mathcal{H}_B$ is isomorphic, as an algebra, to $\mathfrak{h}_B$. For specific choices of Frobenius algebra $B$, we recover existing results, including those of Khovanov and Cautis--Licata. We also prove tha…
An $r$-dual tower of groups is a nested sequence of finite groups, like the symmetric groups, whose Bratteli diagram forms an $r$-dual graded graph. Miller and Reiner introduced a special case of these towers in order to study the Smith forms of the up and down maps in a differential poset. Agarwal and the author have also used these towers to compute critical groups of representations of groups appearing in the tower. In this paper I prove that when $r$ is one or prime, wreath products of a fixed group with the symmetric groups are the only $r$-dual tower of groups, and conjecture that this i…
Consider the Grothendieck group of finite type projective modular representations of the symmetric groups on n letters, or more generally, of its wreath product with a finite group. They form a graded group, with a product defined using induction. We show that the resulting graded ring is a polynomial ring.
Big categorification on towers of classical groups and wreath product groups
School of Mathematics and Statistics, Central China Normal University(华中师范大学数学与统计学院);Department of Mathematics and New Cornerstone Science Laboratory, The University of Hong Kong(香港大学数学系及新Cornerstone科学实验室);School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PMMP, East China Normal University(华东师范大学数学科学学院、教育部MEA重点实验室及上海PMMP重点实验室)
Let $(\mathcal{K},\mathcal{O},k)$ be a $p$-modular system with $k$ algebraically closed, let $b$ be a block of the normal subgroup $H$ of $G$ having defect pointed group $Q_δ$ in $H$ and $P_γ$ in $G$, and consider the block extension $b\mathcal{O}G$. One may attach to $b$ an extended local category $\mathcal{E}_{(b,H,G)}$, a group extension $L$ of $Z(Q)$ by $N_G(Q_δ)/C_H(Q)$ having $P$ as a Sylow $p$-subgroup, and a cohomology class $[α]\in H^2(N_G(Q_δ)/QC_H(Q),k^\times)$. We prove that these objects are invariant under the $G/H$-graded basic Morita equivalences. Along the way, we give alterna…
In this note, we prove the Koszulity of the tensor product algebra defined in the author's previous work for sl(n) and a list of fundamental weights. This is achieved by constructing a graded Morita equivalence between the modules over this algebra and a sum of blocks of category O in type A.
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 …
We show that, up to Morita equivalence, any finite-dimensional algebra with a suitable homological system, admits an exact Borel subalgebra. This generalizes a theorem by Koenig, Külshammer and Ovsienko, which holds for quasi-hereditary algebras. Our proof follows the same general scheme proposed by these authors, in a more general context: we associate a differential graded tensor algebra with relations, using the structure of $A_{\infty}-$algebra of a suitable Yoneda algebra, and use its category of modules to describe the category of filtered modules associated to the given homological syst…
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…
In this paper the authors investigate the $q$-Schur algebras of type B that were constructed earlier using coideal subalgebras for the quantum group of type A. The authors present a coordinate algebra type construction that allows us to realize these $q$-Schur algebras as the duals of the $d$th graded components of certain graded coalgebras. Under suitable conditions an isomorphism theorem is proved that demonstrates that the representation theory reduces to the $q$-Schur algebra of type A. This enables the authors to address the questions of cellularity, quasi-hereditariness and representatio…
Following the approach of Haiden-Katzarkov-Kontsevich arXiv:1409.8611, to any homologically smooth graded gentle algebra $A$ we associate a triple $(Σ_A, Λ_A; η_A)$, where $Σ_A$ is an oriented smooth surface with non-empty boundary, $Λ_A$ is a set of stops on $\partial Σ_A$ and $η_A$ is a line field on $Σ_A$, such that the derived category of perfect dg-modules of $A$ is equivalent to the partially wrapped Fukaya category of $(Σ_A, Λ_A ;η_A)$. Modifying arguments of Johnson and Kawazumi, we classify the orbit decomposition of the action of the (symplectic) mapping class group of $Σ_A$ on the h…