[Paper Review] Crystal bases and categorifications

Masaki Kashiwara|arXiv (Cornell University)|Sep 1, 2018

Algebraic structures and combinatorial models21 references3 citations

TL;DR

This paper surveys crystal bases, global bases, and categorifications in quantum groups, emphasizing their role in realizing cluster algebra structures on quantum coordinate rings via quiver Hecke algebras. It establishes that real simple objects in monoidal categories of graded modules categorify cluster monomials, proving monoidal categorification of quantum unipotent coordinate algebras and confirming the quantization conjecture for $A_q(rak{n}(w))$.

ABSTRACT

This is a survey paper of the theory of crystal bases, global bases and the cluster algebra structure on the quantum coordinate rings.

Motivation & Objective

• To survey the theory of crystal bases and global bases in quantum groups and their connections to cluster algebras.
• To explain how quiver Hecke algebras categorify the negative half of quantum groups and provide a monoidal structure for cluster algebras.
• To establish that real simple objects in the category of graded modules over quiver Hecke algebras correspond to cluster monomials.
• To prove the quantization conjecture for quantum unipotent coordinate algebras $A_q(rak{n}(w))$ via monoidal categorification.
• To investigate the conjecture that all real elements in the upper global basis are cluster monomials.

Proposed method

• Utilizes crystal bases as bases at $q=0$ to describe representations combinatorially via crystal graphs.
• Introduces the lower global basis as a canonical basis extending crystal bases to the full $q$-space via intersection of lattice, bar-involution, and integral form.
• Applies quiver Hecke algebras (KLR algebras) to categorify $U_q^-(rak{g})$, with Grothendieck groups isomorphic to integral forms of quantum groups.
• Defines monoidal clusters as finite sets of real simple objects in $R ext{-gmod}$ that commute up to grading shifts and undergo mutation via exact sequences.
• Uses exact sequences (4) to define mutation of monoidal clusters, replacing $M_k$ with $M_k'$ via tensor product relations involving other cluster objects.
• Applies results from [18] to show that if initial mutations are possible, all successive mutations are possible, enabling full monoidal categorification.

Experimental results

Research questions

• RQ1 How do crystal bases and global bases in quantum groups relate to cluster algebra structures on quantum coordinate rings?
• RQ2 Can the negative half of a quantum group be categorified via quiver Hecke algebras to realize cluster monomials?
• RQ3 What properties do real simple objects in the category of graded modules over quiver Hecke algebras satisfy?
• RQ4 Is every real element in the upper global basis of $A_q(rak{n}(w))$ a cluster monomial?
• RQ5 Does the existence of initial mutations in a monoidal cluster imply the possibility of all subsequent mutations?

Key findings

• The lower global basis of $U_q^-(rak{g})$ lifts from the crystal basis and coincides with Lusztig's canonical basis.
• The upper global basis of $A_q(rak{n})$ is dual to the integral form of $U_q^-(rak{g})$, and at $q=1$, it corresponds to the coordinate ring $\mathbb{C}[\frak{n}]$.
• The Grothendieck group of the category of finite-dimensional graded modules over quiver Hecke algebras is isomorphic to the integral form $U^{-}_{\mathbb{Z}[q^{\pm1}]}(\frak{g})$.
• Monoidal categorification of $A_q(\frak{n}(w))$ is achieved via monoidal clusters of real simple objects, with mutation defined by exact sequences (4).
• If initial mutations in a monoidal cluster are possible, then all successive mutations are possible, leading to a full monoidal categorification.
• The conjecture that all real elements in the upper global basis are cluster monomials remains open, though it is supported by evidence from categorification.