本文在Derksen-Fei和Plamondon的工作基础上，提出簇代数的加法范畴化与幺半范畴化之间的猜想性对应，揭示了加法可达性猜想与乘法可达性猜想之间的新联系。该猜想的证据来自 tame 型格拉斯曼簇代数及范畴的相关结果。此外，本文通过格拉斯曼簇范畴构造了Hernandez和Leclerc引入的A型通用核。作为该对应的应用，本文在格拉斯曼簇范畴中构造了刚性不可分解模与非刚性不可分解模。
英文摘要：
Building on work of Derksen-Fei and Plamondon, we formulate a conjectural correspondence between additive and monoidal categorifications of cluster algebras, which reveals a new connection between the additive reachability conjecture and the multiplicative reachability conjecture. Evidence for this conjecture is provided by results on Grassmannian cluster algebras and categories in the tame types. Moreover, we give a construction of the generic kernels introduced by Hernandez and Leclerc for type $\mathbb{A}$ via the Grassmannian cluster categories. As an application of the correspondence, we construct rigid indecomposable modules and indecomposable non-rigid modules in Grassmannian cluster categories.
In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and D, we show that these categories provide monoidal categorifications of cluster algebras of the same type. The proof is purely representation-theoretical, in the spirit of [arXiv:0903.1452].
We study a compatibility relationship between Qin's dominance order on a cluster algebra $\mathcal{A}$ and partial orderings arising from classifications of simple objects in a monoidal categorification $\mathcal{C}$ of $\mathcal{A}$. Our motivating example is Hernandez-Leclerc's monoidal categorification using representations of quantum affine algebras. In the framework of Kang-Kashiwara-Kim-Oh's monoidal categorification via representations of quiver Hecke algebras, we focus on the case of the category $R-gmod$ for a symmetric finite type $A$ quiver Hecke algebra using Kleshchev-Ram's classi…
We give a definition of monoidal categorifications of quantum cluster algebras and provide a criterion for a monoidal category of finite-dimensional graded $R$-modules to become a monoidal categorification of a quantum cluster algebra, where $R$ is a symmetric Khovanov-Lauda-Rouquier algebra. Roughly speaking, this criterion asserts that a quantum monoidal seed can be mutated successively in all the directions once the first-step mutations are possible. In the course of the study, we also give a proof of a conjecture of Leclerc on the product of upper global basis elements.
We introduce and investigate new invariants on the pair of modules $M$ and $N$ over quantum affine algebras $U_q'(\mathfrak{g})$ by analyzing their associated R-matrices. From new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_q'(\mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.
We study certain monoidal subcategories (introduced by David Hernandez and Bernard Leclerc) of finite--dimensional representations of a quantum affine algebra of type $A$. We classify the set of prime representations in these subcategories and give necessary and sufficient conditions for a tensor product of two prime representations to be irreducible. In the case of a reducible tensor product we describe the prime decomposition of the simple factors. As a consequence we prove that these subcategories are monoidal categorifications of a cluster algebra of type $A$ with coefficients.
We prove that the quantum cluster algebra structure of a unipotent quantum coordinate ring $A_q(\mathfrak{n}(w))$, associated with a symmetric Kac-Moody algebra and its Weyl group element $w$, admits a monoidal categorification via the representations of symmetric Khovanov-Lauda- Rouquier algebras. In order to achieve this goal, we give a formulation of monoidal categorifications of quantum cluster algebras and provide a criterion for a monoidal category of finite-dimensional graded $R$-modules to become a monoidal categorification, where $R$ is a symmetric Khovanov-Lauda-Rouquier algebra. Rou…
We prove that the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))\ $ associated with a symmetric Kac-Moody algebra and its Weyl group element $w$ has a monoidal categorification as a quantum cluster algebra. As an application of our earlier work, we achieve it by showing the existence of a quantum monoidal seed of $A_q(\mathfrak{n}(w))$ which admits the first-step mutations in all the directions. As a consequence, we solve the conjecture that any cluster monomial is a member of the upper global basis up to a power of $q^{1/2}$.
We realize the Temperley-Lieb algebra by analogues of Soergel bimodules. The key point is that the monoidal structure is not given by a usual tensor product but by a slightly more complicated operation.
In \cite{JKS} we gave an (additive) categorification of Grassmannian cluster algebras, using the category $\CM(A)$ of Cohen-Macaulay modules for a certain Gorenstein order $A$. In this paper, using a cluster tilting object in the same category $\CM(A)$, we construct a compatible pair $(B, L)$, which is the data needed to define a quantum cluster algebra. We show that when $(B, L)$ is defined from a cluster tilting object with rank 1 summands, this quantum cluster algebra is (generically) isomorphic to the corresponding quantum Grassmannian.
We describe a ring whose category of Cohen-Macaulay modules provides an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of k-planes in n-space. More precisely, there is a cluster character defined on the category which maps the rigid indecomposable objects to the cluster variables and the maximal rigid objects to clusters. This is proved by showing that the quotient of this category by a single projective-injective object is Geiss-Leclerc-Schroer's category Sub $Q_k$, which categorifies the coordinate ring of the big cell in thi…
We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of i-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we pr…
We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal category. We construct representations of this monoidal category on category O of a complex semi-simple Lie algebra and on constructible sheaves over flag varieties. We also consider general constructions of self-equivalences as reflections around another category.
We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, under some initial conditions, there exists a unique common triangular basis with respect to all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorificat…
Additive categorification of the monoidal $Λ$-invariant
Université Paris Cité and Sorbonne Université, CNRS, IMJ-PRG（巴黎西岱大学与索邦大学，法国国家科学研究中心，IMJ-PRG）；University of Science and Technology of China（中国科学技术大学）；Vrije Universiteit Brussel（布鲁塞尔自由大学）
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C}…
We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove that this equivalence is weakly monoidal. This gives a representation-theoretic categorification of the preprojective K-theoretic Hall algebra considered by Schiffmann-Vasserot. Using this categorification, we compare the monoidal categorification of the quantum open unipotent cells of type $A_1^{(1)}$ given by Kang-Kashiwara-Kim-Oh-Park in terms of quiver-…
We explore the connection between the notion of Hopf category and the categorification of the infinite dimensional Heisenberg algebra via graphical calculus proposed by M.Khovanov. We show that the existence of a Hopf structure on a semisimple symmetric monoidal abelian category implies existence of a categorical action in the sense of Khovanov and thus leads to a strong categorification of this algebra.
For every oriented surface of finite type, we construct a functorial Khovanov homology for links in a thickening of the surface, which takes values in a categorification of the corresponding gl(2) skein module. The latter is a mild refinement of the Kauffman bracket skein algebra, and its categorification is constructed using a category of gl(2) foams that admits an interesting non-negative grading. We expect that the natural algebra structure on the gl(2) skein module can be categorified by a tensor product that makes the surface link homology functor monoidal. We construct a candidate bifunc…
These are lectures notes for a mini-course given at the conference Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras, and Categorification in June 2018. The goal is to introduce the reader to string diagram techniques for monoidal categories, with an emphasis on their role in categorification.
Monoidal categorification of generalized cluster algebras and conjectures of Fraser and Gleitz
School of Mathematics and Statistics, Lanzhou University（兰州大学数学与统计学院）；School of Information Engineering and Artificial Intelligence, Lanzhou University of Finance and Economics（兰州财经大学信息工程与人工智能学院）；Faculty of Mathematics, University of Vienna（维也纳大学数学系）
The monoidal category of Soergel bimodules categorifies the Hecke algebra of a finite Weyl group. In the case of the symmetric group, morphisms in this category can be drawn as graphs in the plane. We define a quotient category, also given in terms of planar graphs, which categorifies the Temperley-Lieb algebra. Certain ideals appearing in this quotient are related both to the 1-skeleton of the Coxeter complex and to the topology of 2D cobordisms. We demonstrate how further subquotients of this category will categorify the cell modules of the Temperley-Lieb algebra.
We associate a graded monoidal supercategory $\mathcal{H}\mathit{eis}_{F,k}$ to every graded Frobenius superalgebra $F$ and integer $k$. These categories, which categorify a broad range of lattice Heisenberg algebras, recover many previously defined Heisenberg categories as special cases. In this way, the categories $\mathcal{H}\mathit{eis}_{F,k}$ serve as a unifying and generalizing framework for Heisenberg categorification. Even in the case of previously defined Heisenberg categories, we obtain new, more efficient, presentations of these categories, based on an approach of Brundan. When $k=0…
We survey results on mutations of Jacobian algebras, while simultaneously extending them to the more general setup of frozen Jacobian algebras, which arise naturally from dimer models with boundary and in the context of the additive categorification of cluster algebras with frozen variables via Frobenius categories. As an application, we show that the mutation of cluster-tilting objects in various such categorifications, such as the Grassmannian cluster categories of Jensen-King-Su, is compatible with Fomin-Zelevinsky mutation of quivers. We also describe an extension of this combinatorial mut…
We consider the monoidal subcategory of finite dimensional representations of $U_q(\mathfrak{gl}(1|1))$ generated by the vector representation, and we provide a diagram calculus for the intertwining operators, which allows to compute explicitly the canonical basis. We construct then a categorification of these representations and of the action of both $U_q(\mathfrak{gl}(1|1))$ and the intertwining operators using subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$.
Mathematical Sciences Institute Australian National University（澳大利亚国立大学数学科学研究所）；International Center for Mathematical Sciences - Sofia, Bulgarian Academy of Sciences（保加利亚科学院索非亚国际数学中心）
We describe a general framework for prime, completely prime, semiprime, and primitive ideals of an abelian 2-category. This provides a noncommutative version of Balmer's prime spectrum of a tensor triangulated category. These notions are based on containment conditions in terms of thick subcategories of an abelian category and thick ideals of an abelian 2-category. We prove categorical analogs of the main properties of noncommutative prime spectra. Similar notions, starting with Serre subcategories of an abelian category and Serre ideals of an abelian 2-category, are developed. They are linked…
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…
Rank $1$ modules are the building blocks of the category ${\rm CM}(B_{k,n}) $ of Cohen-Macaulay modules over a quotient $B_{k,n}$ of a preprojective algebra of affine type $A$. Jensen, King and Su showed in \cite{JKS16} that the category ${\rm CM}(B_{k,n})$ provides an additive categorification of the cluster algebra structure on the coordinate ring $\mathbb C[{\rm Gr}(k, n)]$ of the Grassmannian variety of $k$-dimensional subspaces in $\mathbb C^n$. Rank $1$ modules are indecomposable, they are known to be in bijection with $k$-subsets of $\{1,2,\dots,n\}$, and their explicit construction has…
The category ${\rm CM}(B_{k,n}) $ of Cohen-Macaulay modules over a quotient $B_{k,n}$ of a preprojective algebra provides a categorification of the cluster algebra structure on the coordinate ring of the Grassmannian variety of $k$-dimensional subspaces in $\mathbb C^n$, \cite{JKS16}. Among the indecomposable modules in this category are the rank $1$ modules which are in bijection with $k$-subsets of $\{1,2,\dots,n\}$, and their explicit construction has been given by Jensen, King and Su. These are the building blocks of the category as any module in ${\rm CM}(B_{k,n}) $ can be filtered by the…
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…
Let $U$ be a quantized enveloping algebra. We consider the adjoint action of an $\mathfrak{sl}_2$-subalgebra of $U$ on a subalgebra of $U^+$ that is maximal integrable for this action. We categorify this representation in the context of quiver Hecke algebras. We obtain an action of the 2-category associated with $\mathfrak{sl}_2$ on a category of modules over certain quotients of quiver Hecke algebras. Our approach is similar to that of Kang-Kashiwara for categorifications of highest weight modules via cyclotomic quiver Hecke algebras. One of the main new features is a compatibility of the cat…
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…
We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional modules over quiver Hecke algebra of type A${}_\infty$. In particular, when the quantum affine algebra is of type A or B, the subcategory coincides with the monoidal category $\mathcal{C}_{\mathfrak{g}}^0$ introduced by Hernandez-Leclerc. As a consequence, the modules corresponding to cluster monomials are real simple modules over quantum affine algebras.
In this paper we study extensions between Cohen-Macaulay modules for algebras arising in the categorifications of Grassmannian cluster algebras. We prove that rank 1 modules are periodic, and we give explicit formulas for the computation of the period based solely on the rim of the rank 1 module in question. We determine ${\rm Ext}^i(L_I, L_J)$ for arbitrary rank 1 modules $L_I$ and $L_J$. An explicit combinatorial algorithm is given for computation of ${\rm Ext}^i(L_I, L_J)$ when $i$ is odd, and for $i$ even, we show that ${\rm Ext}^i(L_I, L_J)$ is cyclic over the centre, and we give an expli…
The category of Cohen-Macaulay modules of an algebra $B_{k,n}$ is used [JKS16] to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander--Reiten sequences and study the Auslander--Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen-Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the assoc…
We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally 3-Calabi-Yau in the sense of the author's earlier work. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam. We show that our categorification can be realised as a full extension closed subcategory of Jensen-King-Su's Grassmannian cluster category, in a way compatible with …
Partial $F$-invariants and cluster categorifications
University of Science and Technology of China（中国科学技术大学）；Research Institute for Mathematical Sciences, Kyoto University（京都大学数理解析研究所）；Kyoto University Institute for Advanced Study (KUIAS), Kyoto University（京都大学高等研究院）
We construct so called Hall monoidal categories (and Hall modules thereover) and exhibit them as a categorification of classical Hall and Hecke algebras (and certain modules thereover). The input of the (functorial!) construction are simplicial groupoids satisfying the $2$-Segal conditions (as introduced by Dyckerhoff and Kapranov), the main examples come from Waldhausen's S-construction. To treat the case of modules, we introduce a relative version of the $2$-Segal conditions. Furthermore, we generalize a classical result about the representation theory of symmetric groups to the case of wrea…
