We suggest a simple definition for categorification of modules over rings and illustrate it by categorifying integral Specht modules over the symmetric group and its Hecke algebra via the action of translation functors on some subcategories of category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$.
We aim to construct an element satisfying Hemmer's combinatorial criterion for $H^1(\mathfrak{S}_n, S^λ)$ to be non-vanishing. In the process, we discover an unexpected and surprising link between the combinatorial theory of integral designs and the representation theory of the symmetric groups.
M. Neunh{ö}ffer studies in \cite{Ne} a certain basis of $\mathbb{C}[S_n]$ with the origins in \cite{Lu} and shows that this basis is in fact Wedderburn's basis. In particular, in this basis the right regular representation of $S_n$ decomposes into a direct sum of irreducible representations (i.e. Specht or cell modules). In the present paper we rediscover essentially the same basis with a categorical origin coming from projective-injective modules in certain subcategories of the BGG-category $\mathcal{O}$. An important role in our arguments is played by the dominant projective module in each o…
We investigate integral forms of simple modules of symmetric groups over fields of characteristic $0$ labelled by hook partitions. Building on work of Plesken and Craig, for every odd prime $p$, we give a set of representatives of the isomorphism classes of $\mathbb{Z}_p$-forms of the simple $\mathbb{Q}_p \mathfrak{S}_n$-module labelled by the partition $(n-k,1^k)$, where $n\in\mathbb{N}$ and $0\leq k\leq n-1$. We also settle the analogous question for $p=2$, assuming that $n\not\equiv 0\pmod{4}$ and $k\in\{2,n-3\}$. As a consequence this leads to a set of representatives of the isomorphism cl…
In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht module for the symmetric group in terms of permutation modules. In this paper we extend the definition of the chain complex to the integral Iwahori Hecke algebra and prove the same partial exactness results that were proved in the symmetric group case. A complete proof of the exactness conjecture in the symmetric group case was recently given by Santana and Yudin…
The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a fusion category. Here we analyze the structure and representation theory of fusion rings with a basis of elements whose Frobenius-Perron dimensions take exactly one value distinct from 1. Our goal is a set of results which assist in characterizing when such fusion rings are categorifiable. As proof of concept, we completely classify the categorifiable near-group …
In this paper, we prove Khovanov-Lauda's cyclotomic categorification conjecture for all symmetrizable Kac-Moody algebras. Let $U_q(g)$ be the quantum group associated with a symmetrizable Cartan datum and let $V(Λ)$ be the irreducible highest weight $U_q(g)$-module with a dominant integral highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ gives a categorification of $V(Λ)$.
Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda) of the Specht modules of the symmetric group. The q-Specht modules have an "integral form" which is defined over the Laurent polynomial ring Z_[q,q^{-1}] and they come equipped with a natural bilinear form with values in this ring. Now Z[q,q^{-1}] is not a principal ideal domain. Nonetheless, we try to compute the elementary divisors of the Gram matrix of t…
We associate a monoidal category $\mathcal{H}^λ$ to each dominant integral weight $λ$ of $\widehat{\mathfrak{sl}}_p$ or $\mathfrak{sl}_\infty$. These categories, defined in terms of planar diagrams, act naturally on categories of modules for the degenerate cyclotomic Hecke algebras associated to $λ$. We show that, in the $\mathfrak{sl}_\infty$ case, the level $d$ Heisenberg algebra embeds into the Grothendieck ring of $\mathcal{H}^λ$, where $d$ is the level of $λ$. The categories $\mathcal{H}^λ$ can be viewed as a graphical calculus describing induction and restriction functors between categor…
The Hecke-Clifford superalgebra is a super-analogue of the Iwahori-Hecke algebra of type A. The classification of its simple modules is done by Brundan, Kleshchev and Tsuchioka using a method of categorification of affine Lie algebras. In this paper, we introduce another way to produce its simple modules with a generalized theory of cellular algebras which is originally developed by Graham and Lehrer. In our construction the key is that there is a right action of the Clifford superalgebra on the super-analogue of the Specht module. With the help of the notion of the Morita context, a simple mo…
We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined by Khovanov, acts naturally on the categories of modules for Hecke algebras of type A and finite general linear groups. In this way, we obtain a categorification of the bosonic Fock space. We also develop the theory of parabolic induction and restriction functors for finite groups and prove general results on biadjointness and cyclicity in this setting.
We construct and investigate the structure of the Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^λ$ which give a categrification of quantum generalized Kac-Moody algebras. Let $U_\A(\g)$ be the integral form of the quantum generalized Kac-Moody algebra associated with a Borcherds-Cartan matrix $A=(a_{ij})_{i,j \in I}$ and let $K_0(R)$ be the Grothedieck group of finitely generated projective graded $R$-modules. We prove that there exists an injective algebra homomorphism $Φ: U_\A^-(\g) \to K_0(R)$ and that $Φ$ is an isomorphism if $a_{ii}\ne 0$ for all $i\in I$. Let $B(…
Let S be the direct sum of algebra of symmetric groups C S_n for a non-negative integer n. We show that the Grothendieck group K_0(S) of the category of finite dimensional modules of S is isomorphic to the differential algebra of polynomials Z[D^n x]. Moreover, for a non-negative integer m, we define m-th products on K_0(S) which make the algebra K_0(S) isomorphic to an integral form of the Virasoro-Magri Poisson vertex algebra. Also, we investigate relations between K_0(S) and K_0(N) where K_0(N) is the direct sum of Grothendieck groups K_0(N_n) of finitely generated projective N_n-modules. H…
We realize the integral Specht modules for the symmetric group $S_n$ as induced modules from the subalgebra of the group algebra generated by the Jucys-Murphy elements. We deduce from this that the simple modules for $FS_n$ are generated by reductions modulo $p$ of the corresponding Jucys-Murphy idempotents.
A famous theorem of Nakaoka asserts that the cohomology of the symmetric group stabilizes. The first author generalized this theorem to non-trivial coefficient systems, in the form of $\mathrm{FI}$-modules over a field, though one now obtains periodicity of the cohomology instead of stability. In this paper, we further refine these results. Our main theorem states that if $M$ is a finitely generated $\mathrm{FI}$-module over a noetherian ring $\mathbf{k}$ then $\bigoplus_{n \ge 0} \mathrm{H}^t(S_n, M_n)$ admits the structure of a $\mathbf{D}$-module, where $\mathbf{D}$ is the divided power alg…