TY - JOUR
T1 - Monoidal categorification of cluster algebras
AU - Kang, Seok Jin
AU - Kashiwara, Masaki
AU - Kim, Myungho
AU - Oh, Se Jin
N1 - Funding Information:
This work was supported by Grant-in-Aid for Scientific Research (B) 22340005, Japan Society for the Promotion of Science. This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (No. NRF-2017R1C1B2007824). This work was supported by NRF Grant # 2016R1C1B2013135. This research was supported by Ministry of Culture, Sports and Tourism (MCST) and Korea Creative Content Agency (KOCCA) in the Culture Technology (CT) Research & Development Program 2017.
Funding Information:
Received by the editors February 15, 2015, and in revised form, December 19, 2016, and July 15, 2017. 2010 Mathematics Subject Classification. Primary 13F60, 81R50, 16Gxx, 17B37. Key words and phrases. Cluster algebra, quantum cluster algebra, monoidal categorification, Khovanov–Lauda–Rouquier algebra, unipotent quantum coordinate ring, quantum affine algebra. This work was supported by Grant-in-Aid for Scientific Research (B) 22340005, Japan Society for the Promotion of Science. This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (No. NRF-2017R1C1B2007824). This work was supported by NRF Grant # 2016R1C1B2013135. This research was supported by Ministry of Culture, Sports and Tourism (MCST) and Korea Creative Content Agency (KOCCA) in the Culture Technology (CT) Research & Development Program 2017.
Publisher Copyright:
© 2017 American Mathematical Society.
PY - 2018/4
Y1 - 2018/4
N2 - We prove that the quantum cluster algebra structure of a unipotent quantum coordinate ring Aq(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. 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. Then, we show the existence of a quantum monoidal seed of Aq(n(w)) which admits the first-step mutations in all the directions. As a consequence, we prove the conjecture that any cluster monomial is a member of the upper global basis up to a power of q1/2. In the course of our investigation, we also give a proof of a conjecture of Leclerc on the product of upper global basis elements.
AB - We prove that the quantum cluster algebra structure of a unipotent quantum coordinate ring Aq(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. 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. Then, we show the existence of a quantum monoidal seed of Aq(n(w)) which admits the first-step mutations in all the directions. As a consequence, we prove the conjecture that any cluster monomial is a member of the upper global basis up to a power of q1/2. In the course of our investigation, we also give a proof of a conjecture of Leclerc on the product of upper global basis elements.
KW - Cluster algebra
KW - Khovanov-Lauda-Rouquier algebra
KW - Monoidal categorification
KW - Quantum affine algebra
KW - Quantum cluster algebra
KW - Unipotent quantum coordinate ring
UR - http://www.scopus.com/inward/record.url?scp=85044032356&partnerID=8YFLogxK
U2 - 10.1090/JAMS/895
DO - 10.1090/JAMS/895
M3 - Article
AN - SCOPUS:85044032356
SN - 0894-0347
VL - 31
SP - 349
EP - 426
JO - Journal of the American Mathematical Society
JF - Journal of the American Mathematical Society
IS - 2
ER -