Categories over quantum affine algebras and monoidal categorification
Let Uq′(g) be a quantum affine algebra of untwisted affine ADE type, and Cg0 the Hernandez-Leclerc category of finite-dimensional Uq′(g)-modules. For a suitable infinite sequence w0=⋯si−1si0si1⋯ of simple reflections, we introduce subcategories Cg[a,b] of Cg0 for all a≤b∈Z⊔{±∞}. Associated with a certain chain C of intervals in [a,b], we construct a real simple commuting family M(C) in Cg[a,b], which consists of Kirillov-Reshetikhin modules. The category Cg[a,b] provides a monoidal categorification of the cluster algebra K(Cg[a,b]), whose set of initial cluster variables is [M(C)]. In particular, this result gives an affirmative answer to the monoidal categorification conjecture on Cg− by Hernandez-Leclerc since it is Cg[−∞,0], and is also applicable to Cg0 since it is Cg[−∞,∞].