In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one can associate (uniquely up to isomorphism) to every module in $\cal O$ a branched crystal . We show that the indecomposable modules in \cal O$ correspond to "indecomposable" branched crystals. We also define the tensor product of these crystals and show that for $sl_2$ the indecomposable components of the tensor product of branched crystals are the same as the crystals associated to the indecomposable summands of the tensor product of the corresponding modules.
Colored planar rook algebra is a semigroup algebra in which the basis element has a diagrammatic description. The category of finite dimensional modules over this algebra is completely reducible and suitable functors are defined on this category so that it admits a crystal structure in the sense of Kashiwara. We show that the category and functors categorify the crystal bases for the polynomial representations of quantized enveloping algebra $U_q(gl_{n+1})$.
Henriques and Kamnitzer have defined a commutor for the category of crystals of a finite-dimensional complex reductive Lie algebra that gives it the structure of a coboundary category (somewhat analogous to a braided monoidal category). Kamnitzer and Tingley then gave an alternative definition of the crystal commutor, using Kashiwara's involution on Verma crystals, that generalizes to the setting of symmetrizable Kac-Moody algebras. In the current paper, we give a geometric interpretation of the crystal commutor using quiver varieties. Equipped with this interpretation we show that the commuto…
Recently we defined imaginary crystal bases for $U_q(\widehat{\mathfrak{sl}(2)})$- modules in category $\mathcal O^q_{\text{red,im}}$ and showed the existence of such bases for reduced quantized imaginary Verma modules for $U_q(\widehat{\mathfrak{sl}(2)})$. In this paper we show the existence of imaginary crystal basis for any object in the category $\mathcal O^q_{\text{red,im}}$.
The quantum co-ordinate algebra $A_{q}(\mathfrak{g})$ associated to a Kac-Moody Lie algebra $\mathfrak{g}$ forms a Hopf algebra whose comodules are precisely the $U_{q}(\mathfrak{g})$ modules in the BGG category $\mathcal{O}_{\mathfrak{g}}$. In this paper we investigate whether an analogous result is true when $q=0$. We classify crystal bases as coalgebras over a comonadic functor on the category of pointed sets and encode the monoidal structure of crystals into a bicomonadic structure. In doing this we prove that there is no coalgebra in the category of pointed sets whose comodules are equiva…
By considering a suitable renormalization of the Temperley--Lieb category, we study its specialization to the case $q=0$. Unlike the $q\neq 0$ case, the obtained monoidal category, $\mathcal{TL}_0(\Bbbk)$, is not rigid or braided. We provide a closed formula for the Jones--Wenzl projectors in $\mathcal{TL}_0(\Bbbk)$ and give semisimple bases for its endomorphism algebras. We explain how to obtain the same basis using the representation theory of finite inverse monoids, via the associated Möbius inversion. We then describe a coboundary structure on $\mathcal{TL}_0(\Bbbk)$ and show that its idem…
We present an explicit combinatorial realization of the commutor in the category of crystals which was first studied by Henriques and Kamnitzer. Our realization is based on certain local moves defined by van Leeuwen.
In this expository paper, we discuss and compare the notions of braided and coboundary monoidal categories. Coboundary monoidal categories are analogues of braided monoidal categories in which the role of the braid group is replaced by the cactus group. We focus on the categories of representations of quantum groups and crystals and explain how while the former is a braided monoidal category, this structure does not pass to the crystal limit. However, the categories of representations of quantum groups of finite type also possess the structure of a coboundary category which does behave well in…
We introduce a semisimple tensor category $\mc{O}^{int}_q(m|n)$ of modules over an quantum ortho-symplectic superalgebra. It is a natural counterpart of the category of finitely dominated integrable modules over the quantum classical (super) algebra of type $B_{m+n}$, $C_{m+n}$, $D_{m+n}$ or $B(0,m+n)$ from a viewpoint of super duality. We classify the irreducible modules in $\mc{O}^{int}_q(m|n)$ and show that an irreducible module in $\mc{O}^{int}_q(m|n)$ has a unique crystal base in case of type $B$ and $C$. An explicit description of the crystal graph is given in terms of a new combinatoria…
In this paper, we develop the crystal basis theory for the quantum queer superalgebra $U_q(\mathfrak q(n))$. We define the notion of crystal bases and prove the tensor product rule for $U_q(\mathfrak q(n))$-modules in the category $O_int^{\geq 0}$. Our main theorem shows that every $U_q(\mathfrak q(n))$-module in the category $O_int^{\geq 0}$ has a unique crystal basis.
We investigate the interplay of crystal bases and completions in the sense of Enright on certain nonintegrable representations of quantum groups. We define completions of crystal bases, show that this notion of completion is compatible with Enright's completion of modules, prove that every module in our category has a crystal basis which can be completed and that a completion of the crystal lattice is unique. Furthermore, we give two constructions of the completion of a crystal lattice.
We provide a categorification of $\mathfrak{q}(2)$-crystals on the singular $\mathfrak{gl}_{n}$-category ${\mathcal O}_{n}$. Our result extends the $\mathfrak{gl}_{2}$-crystal structure on ${\rm Irr} ({\mathcal O}_{n})$ defined by Bernstein-Frenkel-Khovanov. Further properties of the ${\mathfrak q}(2)$-crystal ${\rm Irr}({\mathcal O}_{n})$ are also discussed.
We show that the wall crossing bijections between simples of the category O of the rational Cherednik algebras reduce to particular crystal isomorphisms which can be computed by a simple combinatorial procedure on multipartitions of fixed rank.
We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.
We consider imaginary Verma modules for quantum affine algebraU_q(\widehat{\mathfrak{sl}(2)}) and define a crystal-like base which we call an imaginary crystal basis using the Kashiwara algebra K_q constructed in earlier work of the authors. In particular, we prove the existence of imaginary like bases for a suitable category of reduced imaginary Verma modules for U_q(\widehat{\mathfrak{sl}(2)}).
In this paper we introduce geometric crystals and unipotent crystals which are algebro-geometric analogues of Kashiwara's crystal bases. Given a reductive group G, let I be the set of vertices of the Dynkin diagram of G and T be the maximal torus of G. The structure of a geometric G-crystal on an algebraic variety X consists of a rational morphism γ:X-->T and a compatible family e_i:G_m\times X-->X, i\in I of rational actions of the multiplicative group G_m satisfying certain braid-like relations. Such a structure induces a rational action of W on X. Quite surprisingly, many interesting ration…
Fix a semisimple Lie algebra g. Gaudin algebras are commutative algebras acting on tensor product multiplicity spaces for g-representations. These algebras depend on a parameter which is a point in the Deligne-Mumford moduli space of marked stable genus 0 curves. When the parameter is real, then the Gaudin algebra acts with simple spectrum on the tensor product multiplicity space and gives us a basis of eigenvectors. In this paper, we study the monodromy of these eigenvectors as the parameter varies within the real locus; this gives an action of the fundamental group of this moduli space, whic…
Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $λ$ and $μ$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of parameters, category $\mathcal{O}$ is equivalent to a weight space in the categorification of a tensor product of fundamental representations defined by the third author using KLRW algebras. We also give a…
In this paper we propose a new approach to tilting modules for reductive algebraic groups in positive characteristic. We conjecture that translation functors give an action of the (diagrammatic) Hecke category of the affine Weyl group on the principal block. Our conjecture implies character formulas for the simple and tilting modules in terms of the p-canonical basis, as well as a description of the principal block as the anti-spherical quotient of the Hecke category. We prove our conjecture for GL_n using the theory of 2-Kac-Moody actions. Finally, we prove that the diagrammatic Hecke categor…
We observe that on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of characteristic $p> h$ (where $h$ is the Coxeter number), with a given (generalized) central character are the same as the coherent sheaves on (generalized) Springer fibers. The first step is to observe that the derived functor of global sections provides an equivalence between the derived category of $D$-modules (with no divided powers) on the flag variety and the appropriate derived category of modules over the corresponding Lie algebra. Thus the ``derived'' v…
