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 genera
lize 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 prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.
Let $U_q(mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $mathcal{C}_{mathfrak{g}}$ be Hernandez-Leclercs category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in $mathcal{C}_{mathfr
ak{g}}$. We introduce the notion of a strong (complete) duality datum $D$ and prove that, when $D$ is strong, the induced duality functor $F_D$ sends simple modules to simple modules and preserves the invariants $Lambda$ and $Lambda^infty$ introduced by the authors. We next define the reflections $mathcal{S}_k$ and $mathcal{S}^{-1}_k$ acting on strong duality data $D$. We prove that if $D$ is a strong (resp. complete) duality datum, then $mathcal{S}_k(D)$ and $mathcal{S}_k^{-1}(D)$ are also strong (resp. complete ) duality data. We finally introduce the notion of affine cuspidal modules in $mathcal{C}_{mathfrak{g}}$ by using the duality functor $F_D$, and develop the cuspidal module theory for quantum affine algebras similarly to the quiver Hecke algebra case.
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})$ in $mathcal{C}_{mathfrak{g}}^{[a,b]}$, which consists of Kirillov-Reshetikhin modules. The category $mathcal{C}_{mathfrak{g}}^{[a,b]}$ provides a monoidal categorification of the cluster algebra $K(mathcal{C}_{mathfrak{g}}^{[a,b]})$, whose set of initial cluster variables is $[M(mathfrak{C})]$. In particular, this result gives an affirmative answer to the monoidal categorification conjecture on $mathcal{C}_{mathfrak{g}}^-$ by Hernandez-Leclerc since it is $mathcal{C}_{mathfrak{g}}^{[-infty,0]}$, and is also applicable to $mathcal{C}_{mathfrak{g}}^0$ since it is $mathcal{C}_{mathfrak{g}}^{[-infty,infty]}$.
Let $U_q(mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $mathcal{C}^0_{mathfrak{g}}$ be Hernandez-Leclercs category. For a duality datum $mathcal{D}$ in $mathcal{C}^0_{mathfrak{g}}$, we denote by $mathcal{F}_{mathcal{D
}}$ the quantum affine Weyl-Schur duality functor. We give sufficient conditions for a duality datum $mathcal{D}$ to provide the functor $mathcal{F}_{mathcal{D}}$ sending simple modules to simple modules. Then we introduce the notion of cuspidal modules in $mathcal{C}^0_{mathfrak{g}}$, and show that all simple modules in $mathcal{C}^0_{mathfrak{g}}$ can be constructed as the heads of ordered tensor products of cuspidal modules.
Let $mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U_q(mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(mathfrak{g}_0)$ on the quantum Grothendieck ring $K_t(
mathfrak{g})$ of Hernandez-Leclercs category $C_{mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal autofunctors ${mathscr{S}_i}_{iin mathbb{Z}}$ on a localization $T_N$ of the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{infty}$. Under an isomorphism between the Grothendieck ring $K(T_N)$ of $T_N$ and the quantum Grothendieck ring $K_t({A^{(1)}_{N-1}})$, the functors ${mathscr{S}_i}_{1le ile N-1}$ recover the action of the braid group $B(A_{N-1})$. We investigate further properties of these functors.
Let $U_q(mathfrak{g})$ be a quantum affine algebra with an indeterminate $q$ and let $mathscr{C}_{mathfrak{g}}$ be the category of finite-dimensional integrable $U_q(mathfrak{g})$-modules. We write $mathscr{C}_{mathfrak{g}}^0$ for the monoidal subcat
egory of $mathscr{C}_{mathfrak{g}}$ introduced by Hernandez-Leclerc. In this paper, we associate a simply-laced finite type root system to each quantum affine algebra $U_q(mathfrak{g})$ in a natural way, and show that the block decompositions of $mathscr{C}_{mathfrak{g}}$ and $mathscr{C}_{mathfrak{g}}^0$ are parameterized by the lattices associated with the root system. We first define a certain abelian group $mathcal{W}$ (resp. $mathcal{W}_0$) arising from simple modules of $ mathscr{C}_{mathfrak{g}}$ (resp. $mathscr{C}_{mathfrak{g}}^0$) by using the invariant $Lambda^infty$ introduced in the previous work by the authors. The groups $mathcal{W}$ and $mathcal{W}_0$ have the subsets $Delta$ and $Delta_0$ determined by the fundamental representations in $ mathscr{C}_{mathfrak{g}}$ and $mathscr{C}_{mathfrak{g}}^0$ respectively. We prove that the pair $( mathbb{R} otimes_mathbb{Z} mathcal{W}_0, Delta_0)$ is an irreducible simply-laced root system of finite type and the pair $( mathbb{R} otimes_mathbb{Z} mathcal{W}, Delta) $ is isomorphic to the direct sum of infinite copies of $( mathbb{R} otimes_mathbb{Z} mathcal{W}_0, Delta_0)$ as a root system.
Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we give some precisions on nearby and vanishing cycles for enhanced perverse objects in dimension one. As an application, we give a top
ological proof of the following fact. Let $mathcal M$ be a holonomic algebraic $mathcal D$-module on the affine line, and denote by ${}^{mathsf{L}}mathcal M$ its Fourier-Laplace transform. For a point $a$ on the affine line, denote by $ell_a$ the corresponding linear function on the dual affine line. Then, the vanishing cycles of $mathcal M$ at $a$ are isomorphic to the graded component of degree $ell_a$ of the Stokes filtration of ${}^{mathsf{L}}mathcal M$ at infinity.
On a complex manifold, the embedding of the category of regular holonomic D-modules into that of holonomic D-modules has a left quasi-inverse functor $mathcal{M}mapstomathcal{M}_{mathrm{reg}}$, called regularization. Recall that $mathcal{M}_{mathrm{r
eg}}$ is reconstructed from the de Rham complex of $mathcal{M}$ by the regular Riemann-Hilbert correspondence. Similarly, on a topological space, the embedding of sheaves into enhanced ind-sheaves has a left quasi-inverse functor, called here sheafification. Regularization and sheafification are intertwined by the irregular Riemann-Hilbert correspondence. Here, we study some of their properties. In particular, we provide a germ formula for the sheafification of enhanced specialization and microlocalization.
On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends our previous
results in which the symplectic manifold was compact. The main tool is a finiteness theorem for R-constructible sheaves on a real analytic manifold in a non proper situation.
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-dim
ensional integrable $U_q(mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.
