Showing 1–50 of 107 results for author: Kashiwara, M

Reflection functors on quiver Hecke algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: We construct the reflection functors for quiver Hecke algebras of an arbitrary symmetrizable Kac-Moody type. These reflection functors categorify Lusztig's braid symmetries. We construct the reflection functors for quiver Hecke algebras of an arbitrary symmetrizable Kac-Moody type. These reflection functors categorify Lusztig's braid symmetries. △ Less

Submitted 14 June, 2025; originally announced June 2025.

Comments: 82 pages

MSC Class: 18M05; 16D90; 81R10

Crystal Structure of Localized Quantum Unipotent Coordinate Category

Authors: Masaki Kashiwara, Toshiki Nakashima

Abstract: A localized quantum unipotent coordinate category $\widetilde{\mathscr{C}_w}$ associated with a Weyl group element $w$ is a rigid monoidal category which is obtained by applying the localization process to a subcategory of the category of finite-dimensional graded modules of a quiver Hecke algebra. We shall show that the family of the isomorphism classes (up to grading shifts) of simple objects in… ▽ More A localized quantum unipotent coordinate category $\widetilde{\mathscr{C}_w}$ associated with a Weyl group element $w$ is a rigid monoidal category which is obtained by applying the localization process to a subcategory of the category of finite-dimensional graded modules of a quiver Hecke algebra. We shall show that the family of the isomorphism classes (up to grading shifts) of simple objects in $\widetilde{\mathscr{C}_w}$ possesses a crystal structure and it is isomorphic to the cellular crystal associated with $w$. As an application of this result, we shall show the connectedness of the crystal graph of an arbitrary cellular crystal. △ Less

Submitted 29 April, 2025; v1 submitted 20 February, 2025; originally announced February 2025.

Comments: Proposition 6.8 is false. There is a counterexample: $\mathfrak{g}=A_3$, $i=2$, $w=s_1s_3s_2s_1s_3$. Since the paper heavily depends on this proposition, we withdraw the paper. We do not know if Theorem 6.12 is true or not

MSC Class: 05E10; 18M05; 18M15; 16D90; 16T20; 17B37; 81R10

Exchange matrices of I-boxes

Authors: Masaki Kashiwara, Myungho Kim

Abstract: Admissible chains of i-boxes are important combinatorial tools in the monoidal categorification of cluster algebras, as they provide seeds of the cluster algebra. In this paper, we explore the properties of maximal commuting families of i-boxes in a more general setting, and define a certain matrix associated with such a family, which we call the exchange matrix. It turns out that, when considerin… ▽ More Admissible chains of i-boxes are important combinatorial tools in the monoidal categorification of cluster algebras, as they provide seeds of the cluster algebra. In this paper, we explore the properties of maximal commuting families of i-boxes in a more general setting, and define a certain matrix associated with such a family, which we call the exchange matrix. It turns out that, when considering the cluster algebra structure on the Grothendieck rings, this matrix is indeed the exchange matrix of the seed associated with the family, both in certain categories of modules over quantum affine algebras and over quiver Hecke algebras. We prove this by constructing explicit short exact sequences that represent the mutation relations. △ Less

Submitted 22 September, 2024; originally announced September 2024.

Comments: 62 pages

MSC Class: 17B37; 13F60; 18D10

Braid symmetries on bosonic extensions

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: We introduce a family of automorphisms on the bosonic extension of arbitrary type and show that they satisfy the braid relations. They preserve the global basis and the crystal basis. Using this braid group action, we define a subalgebra for each positive braid word, which possesses the PBW type basis. As an application, we show that the tensor product decomposition of the positive bosonic extions… ▽ More We introduce a family of automorphisms on the bosonic extension of arbitrary type and show that they satisfy the braid relations. They preserve the global basis and the crystal basis. Using this braid group action, we define a subalgebra for each positive braid word, which possesses the PBW type basis. As an application, we show that the tensor product decomposition of the positive bosonic extionsion, △ Less

Submitted 14 August, 2024; originally announced August 2024.

Comments: 38 pages

MSC Class: 05E10; 05E18; 17B37

On the irregular Riemann-Hilbert correspondence

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: The original Riemann-Hilbert problem asks to find a Fuchsian ordinary differential equation with prescribed singularities and monodromy in the complex line. In the early 1980's Kashiwara solved a generalized version of the problem, valid on complex manifolds of any dimension. He presented it as a correspondence between regular holonomic D-modules and perverse sheaves. The analogous problem where o… ▽ More The original Riemann-Hilbert problem asks to find a Fuchsian ordinary differential equation with prescribed singularities and monodromy in the complex line. In the early 1980's Kashiwara solved a generalized version of the problem, valid on complex manifolds of any dimension. He presented it as a correspondence between regular holonomic D-modules and perverse sheaves. The analogous problem where one drops the regularity condition remained open for about thirty years. We solved it in the paper that received a 2024 Frontiers of Science Award. Our construction requires in particular an enhancement of the category of perverse sheaves. Here, using some examples in dimension one, we wish to convey the gist of the main ingredients used in our work. This is a written account of a talk given by the first named author at the International Congress of Basic Sciences on July 2024 in Beijing. △ Less

Submitted 25 August, 2024; v1 submitted 8 August, 2024; originally announced August 2024.

Comments: 14 pages. minor changes

MSC Class: 32C38; 35A27; 32S60; 35Q1

Global bases for Bosonic extensions of quantum unipotent coordinate rings

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: In the paper, we establish the global basis theory for the bosonic extension $\widehat{\mathcal{A}}$ associated with an arbitrary generalized Cartan matrix. When $\widehat{\mathcal{A}}$ is of simply-laced finite type, it is isomorphic to the quantum Grothendieck ring of the Hernandez-Leclerc category over a quantum affine algebra. In this case, we show that the $(t,q)$-characters of simple modules… ▽ More In the paper, we establish the global basis theory for the bosonic extension $\widehat{\mathcal{A}}$ associated with an arbitrary generalized Cartan matrix. When $\widehat{\mathcal{A}}$ is of simply-laced finite type, it is isomorphic to the quantum Grothendieck ring of the Hernandez-Leclerc category over a quantum affine algebra. In this case, we show that the $(t,q)$-characters of simple modules in the Hernandez-Leclerc category correspond to the normalized global basis of $\widehat{\mathcal{A}}$. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 37pages

MSC Class: 05E10; 05E18; 17B37}

Localizations for quiver Hecke algebras III

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: Let $R$ be a quiver Hecke algebra, and let $\mathcal{C}_{w,v}$ be the category of finite-dimensional graded $R$-module categorifying a $q$-deformation of the doubly-invariant algebra $^{N'(w)} \mathbb{C}[N] ^{N(v)} $. In this paper, we prove that the localization $\tilde{\mathcal{C}}_{w,v}$ of the category $\mathcal{C}_{w,v}$ can be obtained as the localization by right braiders arising from deter… ▽ More Let $R$ be a quiver Hecke algebra, and let $\mathcal{C}_{w,v}$ be the category of finite-dimensional graded $R$-module categorifying a $q$-deformation of the doubly-invariant algebra $^{N'(w)} \mathbb{C}[N] ^{N(v)} $. In this paper, we prove that the localization $\tilde{\mathcal{C}}_{w,v}$ of the category $\mathcal{C}_{w,v}$ can be obtained as the localization by right braiders arising from determinantial modules. As its application, we show several interesting properties of the localized category $\tilde{\mathcal{C}}_{w,v} $ including the right rigidity. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 33 pages

MSC Class: 18M05; 16D90; 81R10

Laurent family of simple modules over quiver Hecke algebra

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: We introduce the notions of quasi-Laurent and Laurent families of simple modules over quiver Hecke algebras of arbitrary symmetrizable types. We prove that such a family plays a similar role of a cluster in the quantum cluster algebra theory and exhibits a quantum Laurent positivity phenomenon for the basis of the quantum unipotent coordinate ring $\mathcal{A}_q(\mathfrak{n}(w))$, coming from the… ▽ More We introduce the notions of quasi-Laurent and Laurent families of simple modules over quiver Hecke algebras of arbitrary symmetrizable types. We prove that such a family plays a similar role of a cluster in the quantum cluster algebra theory and exhibits a quantum Laurent positivity phenomenon for the basis of the quantum unipotent coordinate ring $\mathcal{A}_q(\mathfrak{n}(w))$, coming from the categorification. Then we show that the families of simple modules categorifying GLS-clusters are Laurent families by using the PBW-decomposition vector of a simple module $X$ and categorical interpretation of (co-)degree of $[X]$. As applications of such $\mathbb{Z}$-vectors, we define several skew symmetric pairings on arbitrary pairs of simple modules, and investigate the relationships among the pairings and $Λ$-invariants of R-matrices in the quiver Hecke algebra theory. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: 26 pages

MSC Class: 16D90; 13F60; 81R50; 17B37

Affinizations, R-matrices and reflection functors

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: In this paper we establish affinizations and R-matrices in the language of pro-objects, and as an application, we construct reflection functors over the localizations of quiver Hecke algebras of arbitrary finite types. This reflection functor categorifies the braid group action on the half of a quantum group and the Saito reflection. In this paper we establish affinizations and R-matrices in the language of pro-objects, and as an application, we construct reflection functors over the localizations of quiver Hecke algebras of arbitrary finite types. This reflection functor categorifies the braid group action on the half of a quantum group and the Saito reflection. △ Less

Submitted 2 February, 2024; v1 submitted 1 April, 2023; originally announced April 2023.

Comments: 96 pages in v1. 79 pages, small corrections with a simplified proof of Theorem 8.3 in v2. In v3, Sections 9.3 and 11 are added. In v4, we added Lemma 6.16 and Lemma 8.8, and made numerous minor changes (104 pages)

MSC Class: 18M05; 16D90; 81R10

$t$-quantized Cartan matrix and R-matrices for cuspidal modules over quiver Hecke algebras

Authors: Masaki Kashiwara, Se-jin Oh

Abstract: As every simple module of a quiver Hecke algebra appears as the image of the R-matrix defined on the convolution product of certain cuspidal modules, knowing the $\mathbb{Z}$-invariants of the R-matrices between cuspidal modules is quite significant. In this paper, we prove that the $(q,t)$-Cartan matrix specialized at $q=1$ of an arbitrary finite type, called the $t$-quantized Cartan matrix, info… ▽ More As every simple module of a quiver Hecke algebra appears as the image of the R-matrix defined on the convolution product of certain cuspidal modules, knowing the $\mathbb{Z}$-invariants of the R-matrices between cuspidal modules is quite significant. In this paper, we prove that the $(q,t)$-Cartan matrix specialized at $q=1$ of an arbitrary finite type, called the $t$-quantized Cartan matrix, informs us of the invariants of R-matrices. To prove this, we use combinatorial AR-quivers associated with Dynkin quivers and their properties as crucial ingredients. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 71 pages

MSC Class: 17B37; 16T30; 17B67

Localizations for quiver Hecke algebras II

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: We prove that the localization of the monoidal category $\mathcal{C}_w$ is rigid, and the category $\mathcal{C}_{w,v}$ admits a localization via a real commuting family of central objects. Note that the localization of $\mathcal{C}_{w,v}$ categorifies the open Richardson variety. We prove that the localization of the monoidal category $\mathcal{C}_w$ is rigid, and the category $\mathcal{C}_{w,v}$ admits a localization via a real commuting family of central objects. Note that the localization of $\mathcal{C}_{w,v}$ categorifies the open Richardson variety. △ Less

Submitted 2 August, 2022; originally announced August 2022.

Comments: 58 pages. This paper is a continuation of the former paper arXiv:1901.09319. Some parts of the preliminary sections recall materials from the former paper.

MSC Class: 18D10; 16D90; 81R10

The $(q,t)$-Cartan matrix specialized at $q=1$

Authors: Masaki Kashiwara, Se-jin Oh

Abstract: The $(q,t)$-Cartan matrix specialized at $t=1$, usually called the quantum Cartan matrix, has deep connections with (i) the representation theory of its untwisted quantum affine algebra, and (ii) quantum unipotent coordinate algebra, root system and quantum cluster algebra of kew-symmetric type. In this paper, we study the $(q,t)$-Cartan matrix specialized at $q=1$, called the $t$-quantized Cartan… ▽ More The $(q,t)$-Cartan matrix specialized at $t=1$, usually called the quantum Cartan matrix, has deep connections with (i) the representation theory of its untwisted quantum affine algebra, and (ii) quantum unipotent coordinate algebra, root system and quantum cluster algebra of kew-symmetric type. In this paper, we study the $(q,t)$-Cartan matrix specialized at $q=1$, called the $t$-quantized Cartan matrix, and investigate the relations with (ii') its corresponding quantum unipotent coordinate algebra, root system and quantum cluster algebra of skew-symmetrizable type. △ Less

Submitted 19 February, 2023; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: 55p ages. 2v 46 pages, references updated, typos corrected. 3v 51 pages, small changes

MSC Class: 17B37; 16T30; 17B67

Journal ref: Math. Z. 303, 42 (2023)

Categorical crystals for quantum affine algebras

Authors: Masaki Kashiwara, Euiyong Park

Abstract: A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we… ▽ More A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we prove that the set of the isomorphism classes of simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ has an extended crystal structure isomorphic to the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$. An explicit combinatorial description of the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for affine type $A_n^{(1)}$ is given in terms of affine highest weights. △ Less

Submitted 14 November, 2021; originally announced November 2021.

Comments: 61 pages

MSC Class: 17B37; 05E10; 18D10

Monoidal categorification and quantum affine algebras II

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: 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 combinato… ▽ More 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 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. △ Less

Submitted 31 March, 2022; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: This paper is the complete version of the announcement arXiv:2005.10969v1. 77 pages. v3 replaces the wrong version 2, 95 pages

MSC Class: 17B37; 13F60; 18D10

PBW theory for quantum affine algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $\mathcal{C}_{\mathfrak{g}}$ be Hernandez-Leclerc's category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in $\mathcal{C}_{\mathfrak{g}}$. We introduce the notion of a strong (complete) duality datum $D$ and prove that, when $D$ is strong, the induced duality functor… ▽ More Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $\mathcal{C}_{\mathfrak{g}}$ be Hernandez-Leclerc's category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in $\mathcal{C}_{\mathfrak{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 $Λ$ and $Λ^\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. △ Less

Submitted 3 July, 2021; v1 submitted 28 November, 2020; originally announced November 2020.

Comments: 63 pages. This is a full paper of the announcement: PBW theoretic approach to the module category of quantum affine algebras, arXiv:2005.04838v2. v2: minor changes

MSC Class: 17B37; 81R50; 18D10

Categories over quantum affine algebras and monoidal categorification

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: 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… ▽ More 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]}$. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 10 pages. This paper is an announcement whose details will appear elsewhere

MSC Class: 17B37; 81R50; 18D10

PBW theoretic approach to the module category of quantum affine algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $\mathcal{C}^0_{\mathfrak{g}}$ be Hernandez-Leclerc's 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… ▽ More Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $\mathcal{C}^0_{\mathfrak{g}}$ be Hernandez-Leclerc's 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. △ Less

Submitted 12 May, 2020; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 9 pages. This is an announcement paper whose details will appear elsewhere

MSC Class: 17B37; 81R50; 18D10

Braid group action on the module category of quantum affine algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: 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-Leclerc's category $C_{\mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal auto… ▽ More 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-Leclerc's category $C_{\mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal autofunctors $\{\mathscr{S}_i\}_{i\in \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\}_{1\le i\le N-1}$ recover the action of the braid group $B(A_{N-1})$. We investigate further properties of these functors. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Comments: 10 pages. This is an announcement paper whose details will appear elsewhere

MSC Class: 17B37; 20F36; 18D10

Simply-laced root systems arising from quantum affine algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: 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 subcategory of $\mathscr{C}_{\mathfrak{g}}$ introduced by Hernandez-Leclerc. In this paper, we associate a simply-laced finite type root system to e… ▽ More 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 subcategory 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 $Λ^\infty$ introduced in the previous work by the authors. The groups $\mathcal{W}$ and $\mathcal{W}_0$ have the subsets $Δ$ and $Δ_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, Δ_0)$ is an irreducible simply-laced root system of finite type and the pair $( \mathbb{R} \otimes_\mathbb{Z} \mathcal{W}, Δ) $ is isomorphic to the direct sum of infinite copies of $( \mathbb{R} \otimes_\mathbb{Z} \mathcal{W}_0, Δ_0)$ as a root system. △ Less

Submitted 26 September, 2021; v1 submitted 6 March, 2020; originally announced March 2020.

Comments: 57 pages; minor revision; to appear in Compositio Mathematica

Enhanced nearby and vanishing cycles in dimension one and Fourier transform

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: 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 topological proof of the following fact. Let $\mathcal M$ be a holonomic algebraic $\mathcal D$-module on the affine line, and denote by… ▽ More 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 topological 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. △ Less

Submitted 12 July, 2021; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 25 pages; final version before publication

Journal ref: Publ. Res. Inst. Math. Sci. 59 no. 3 (2023), 543-570

On a topological counterpart of regularization for holonomic D-modules

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: 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}\mapsto\mathcal{M}_{\mathrm{reg}}$, called regularization. Recall that $\mathcal{M}_{\mathrm{reg}}$ is reconstructed from the de Rham complex of $\mathcal{M}$ by the regular Riemann-Hilbert correspondence. Similarly, on a topological spac… ▽ More 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}\mapsto\mathcal{M}_{\mathrm{reg}}$, called regularization. Recall that $\mathcal{M}_{\mathrm{reg}}$ 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. △ Less

Submitted 16 February, 2020; originally announced February 2020.

Comments: 31 pages

MSC Class: 32C38; 14F05

Journal ref: J. Éc. polytech. Math., 8 (2021), 27--55

A finiteness theorem for holonomic DQ-modules on Poisson manifolds

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: 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 i… ▽ More 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. △ Less

Submitted 6 March, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: In v2, some mistakes corrected and many new results added

MSC Class: 53D55; 35A27; 19L10; 32C38

Journal ref: Tunisian J. Math. 3 (2021) 571-588

Monoidal categorification and quantum affine algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: 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 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. △ Less

Submitted 29 September, 2020; v1 submitted 18 October, 2019; originally announced October 2019.

Comments: 42 pages

MSC Class: 17B37; 13F60; 18D10

Journal ref: Compositio Math. 156 (2020) 1039-1077

Enhanced specialization and microlocalization

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we show how Sato's specialization and microlocalization functors have a natural enhancement, and discuss some of their properties. Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we show how Sato's specialization and microlocalization functors have a natural enhancement, and discuss some of their properties. △ Less

Submitted 4 August, 2019; originally announced August 2019.

Comments: 29 pages

MSC Class: 32C38; 35A27; 14F05

Journal ref: Selecta Math., 27, 1 (2021), Paper No. 7, 32 pp

Cluster algebra structures on module categories over quantum affine algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: 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 monoi… ▽ More 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. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Comments: 66 pages

MSC Class: 81R50; 16F60; 16G; 16T; 17B37

Localizations for quiver Hecke algebras

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: We provide the localization procedure for monoidal categories by a real commuting family of braiders. For an element $w$ of the Weyl group, $\mathscr{C}_w$ is a subcategory of modules over quiver Hecke algebra which categorifies the quantum unipotent coordinate algebra $A_q[\mathfrak{n}(w)]$. We construct the localization $\widetilde{\mathscr{C}_w}$ of $\mathscr{C}_w$ by adding the inverses of sim… ▽ More We provide the localization procedure for monoidal categories by a real commuting family of braiders. For an element $w$ of the Weyl group, $\mathscr{C}_w$ is a subcategory of modules over quiver Hecke algebra which categorifies the quantum unipotent coordinate algebra $A_q[\mathfrak{n}(w)]$. We construct the localization $\widetilde{\mathscr{C}_w}$ of $\mathscr{C}_w$ by adding the inverses of simple modules which correspond to the frozen variables in the quantum cluster algebra $A_q[\mathfrak{n}(w)]$. The localization $\widetilde{\mathscr{C}_w}$ is left rigid and we expect that it is rigid. △ Less

Submitted 28 December, 2020; v1 submitted 27 January, 2019; originally announced January 2019.

Comments: v1, 74 pages. v2, 75 pages, small corrections

MSC Class: 18D10; 16D90; 81R10

Laurent phenomenon and simple modules of quiver Hecke algebras

Authors: Masaki Kashiwara, Myungho Kim

Abstract: We study consequences of a monoidal categorification of the unipotent quantum coordinate ring $A_q(\mathfrak{n}(w))$ together with the Laurent phenomenon of cluster algebras. We show that if a simple module $S$ in the category $\mathcal C_w$ strongly commutes with all the cluster variables in a cluster $[ \mathscr C]$, then $[S]$ is a cluster monomial in $[ \mathscr C ]$. If $S$ strongly commutes… ▽ More We study consequences of a monoidal categorification of the unipotent quantum coordinate ring $A_q(\mathfrak{n}(w))$ together with the Laurent phenomenon of cluster algebras. We show that if a simple module $S$ in the category $\mathcal C_w$ strongly commutes with all the cluster variables in a cluster $[ \mathscr C]$, then $[S]$ is a cluster monomial in $[ \mathscr C ]$. If $S$ strongly commutes with cluster variables except exactly one cluster variable $[M_k]$, then $[S]$ is either a cluster monomial in $[\mathscr C ]$ or a cluster monomial in $μ_k([ \mathscr C ])$. We give a new proof of the fact that the upper global basis is a common triangular basis (in the sense of Fan Qin) of the localization $\widetilde A_q(\mathfrak{n}(w))$ of $A_q(\mathfrak{n}(w))$ at the frozen variables. A characterization on the commutativity of a simple module $S$ with cluster variables in a cluster $[ \mathscr C]$ is given in terms of the denominator vector of $[S]$ with respect to the cluster $[ \mathscr C]$. △ Less

Submitted 4 January, 2019; v1 submitted 6 November, 2018; originally announced November 2018.

Comments: 38 pages, v.2: small change, one reference added

MSC Class: 13F60; 81R50; 16G; 17B37

Crystal bases and categorifications

Authors: Masaki Kashiwara

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

Submitted 7 September, 2018; v1 submitted 1 September, 2018; originally announced September 2018.

Comments: This is submitted to Poceedings of ICM18

MSC Class: 13F60; 81R50; 16G; 17B37

Piecewise linear sheaves

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex polyhedra. We then give a similar theorem for PL gamma-sheaves, that is, PL sheaves associated with the gamma-topology, for a closed convex polyhedral proper cone g… ▽ More On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex polyhedra. We then give a similar theorem for PL gamma-sheaves, that is, PL sheaves associated with the gamma-topology, for a closed convex polyhedral proper cone gamma. Our motivation is that convex polyhedra may be considered as building blocks for higher dimensional barcodes. △ Less

Submitted 1 June, 2019; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: A few corrections, including bibliographical, with respect to the previous version. This paper is a continuation of arXiv:1705.00955. to appear at IMRN

MSC Class: 55N99; 18A99; 35A27

Monoidal categorification of cluster algebras (merged version)

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: 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 cluste… ▽ More 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. 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 $A_q(\mathfrak{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 $q^{1/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. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Comments: 91pages. This is a merged version of Monoidal categorification of cluster algebras (arXiv:1412.8106) and ibid, II (arXiv:1502.06714). Although the contents are the same, connsiderable modifications have been made. This version is published in Journal of the American Mathematical Society

MSC Class: 13F60; 81R50; 16G; 17B37

Monoidal categories of modules over quantum affine algebras of type A and B

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules over the quantum affine algebra of type $B^{(1)}_n$. It factors through the category $\mathcal T_{2n}$, which is a localization of $\mathcal{A}$. As a result, this… ▽ More We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules over the quantum affine algebra of type $B^{(1)}_n$. It factors through the category $\mathcal T_{2n}$, which is a localization of $\mathcal{A}$. As a result, this functor induces a ring isomorphism from the Grothendieck ring of $\mathcal T_{2n}$ (ignoring the gradings) to the Grothendieck ring of a subcategory $\mathscr C^{0}_{B^{(1)}_n}$ of $\mathscr C_{B^{(1)}_n}$. Moreover, it induces a bijection between the classes of simple objects. Because the category $\mathcal T_{2n}$ is related to categories $\mathscr C^{0}_{A^{(t)}_{2n-1}}$ $(t=1,2)$ of the quantum affine algebras of type $A^{(t)}_{2n-1}$, we obtain an interesting connection between those categories of modules over quantum affine algebras of type $A$ and type $B$. Namely, for each $t =1,2$, there exists an isomorphism between the Grothendieck ring of $\mathscr C^{0}_{A^{(t)}_{2n-1}}$ and the Grothendieck ring of $\mathscr C^{0}_{B^{(1)}_n}$, which induces a bijection between the classes of simple modules. △ Less

Submitted 18 October, 2017; originally announced October 2017.

Comments: 39pages

MSC Class: 81R50; 16G; 16T25; 17B37

A microlocal approach to the enhanced Fourier-Sato transform in dimension one

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: Let $\mathcal{M}$ be a holonomic algebraic $\mathcal{D}$-module on the affine line. Its exponential factors are Puiseux germs describing the growth of holomorphic solutions to $\mathcal{M}$ at irregular points. The stationary phase formula states that the exponential factors of the Fourier transform of $\mathcal{M}$ are obtained by Legendre transform from the exponential factors of $\mathcal{M}$.… ▽ More Let $\mathcal{M}$ be a holonomic algebraic $\mathcal{D}$-module on the affine line. Its exponential factors are Puiseux germs describing the growth of holomorphic solutions to $\mathcal{M}$ at irregular points. The stationary phase formula states that the exponential factors of the Fourier transform of $\mathcal{M}$ are obtained by Legendre transform from the exponential factors of $\mathcal{M}$. We give a microlocal proof of this fact, by translating it in terms of enhanced ind-sheaves through the Riemann-Hilbert correspondence. △ Less

Submitted 1 September, 2017; originally announced September 2017.

Comments: 56 pages

MSC Class: 34M35; 32S40; 32C38; 30E15

Journal ref: Adv. Math. 339 (2018), 1-59

Monoidal categories associated with strata of flag manifolds

Authors: Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park

Abstract: We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the gra… ▽ More We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{-1}]}$ given by Kang-Kashiwara-Kim-Oh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$-matrices between the determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$. When it is of finite $ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$. △ Less

Submitted 14 February, 2018; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: 50 pages, minor revision, to appear in Advances in Mathematics

Categorical relations between Langlands dual quantum affine algebras: Doubly laced types

Authors: Masaki Kashiwara, Se-jin Oh

Abstract: We prove that the Grothendieck rings of category $\mathcal{C}^{(t)}_Q$ over quantum affine algebras $U_q'(\g^{(t)})$ $(t=1,2)$ associated to each Dynkin quiver $Q$ of finite type $A_{2n-1}$ (resp. $D_{n+1}$) is isomorphic to one of category $\mathcal{C}_{\mQ}$ over the Langlands dual $U_q'({^L}\g^{(2)})$ of $U_q'(\g^{(2)})$ associated to any twisted adapted class $[\mQ]$ of $A_{2n-1}$ (resp.… ▽ More We prove that the Grothendieck rings of category $\mathcal{C}^{(t)}_Q$ over quantum affine algebras $U_q'(\g^{(t)})$ $(t=1,2)$ associated to each Dynkin quiver $Q$ of finite type $A_{2n-1}$ (resp. $D_{n+1}$) is isomorphic to one of category $\mathcal{C}_{\mQ}$ over the Langlands dual $U_q'({^L}\g^{(2)})$ of $U_q'(\g^{(2)})$ associated to any twisted adapted class $[\mQ]$ of $A_{2n-1}$ (resp. $D_{n+1}$). This results provide partial answers of conjectures of Frenkel-Hernandez on Langlands duality for finite-dimensional representation of quantum affine algebras. △ Less

Submitted 21 May, 2017; originally announced May 2017.

Persistent homology and microlocal sheaf theory

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using the operation of convolution, we introduce a pseudo-distance on this category and prove in particular a stability result for direct images. Then we assume that V… ▽ More We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using the operation of convolution, we introduce a pseudo-distance on this category and prove in particular a stability result for direct images. Then we assume that V is endowed with a closed convex proper cone $γ$ with non empty interior and study $γ$-sheaves, that is, constructible sheaves with microsupport contained in the antipodal to the polar cone (equivalently, constructible sheaves for the $γ$-topology). We prove that such sheaves may be approximated (for the pseudo-distance) by "piecewise linear" $γ$-sheaves. Finally we show that these last sheaves are constant on stratifications by $γ$-locally closed sets, an analogue of barcodes in higher dimension. △ Less

Submitted 7 September, 2018; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: A few corrections in Section 1.4. Accepted in Journal of Applied and Computational Topology

MSC Class: 55N99; 18A99; 35A27

Riemann-Hilbert correspondence for irregular holonomic D-modules

Authors: Masaki Kashiwara

Abstract: This is a survey paper on the Riemann-Hilbert correspondence on (irregular) holonomic D-modules, based on the 16-th Takagi lecture (2015/11/28). In this paper, we use subanalytic sheaves, an analogous notion to the one of indsheaves. This is a survey paper on the Riemann-Hilbert correspondence on (irregular) holonomic D-modules, based on the 16-th Takagi lecture (2015/11/28). In this paper, we use subanalytic sheaves, an analogous notion to the one of indsheaves. △ Less

Submitted 24 December, 2015; originally announced December 2015.

Comments: 36 pages. arXiv admin note: text overlap with arXiv:1507.00118

Enhanced perversities

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: The Riemann-Hilbert correspondence embeds the triangulated category of (not necessarily regular) holonomic D-modules into that of $\mathbb R$-constructible enhanced ind-sheaves. The source category has a standard t-structure. Here, we provide the target category with a middle perversity t-structure, and prove that the embedding is exact. The Riemann-Hilbert correspondence embeds the triangulated category of (not necessarily regular) holonomic D-modules into that of $\mathbb R$-constructible enhanced ind-sheaves. The source category has a standard t-structure. Here, we provide the target category with a middle perversity t-structure, and prove that the embedding is exact. △ Less

Submitted 12 September, 2015; originally announced September 2015.

Comments: 65 pages

MSC Class: 18D; 32C38; 18E30

Journal ref: J. Reine Angew. Math. (Crelle's Journal), 751 (2019), 185-241

Self-dual T-structure

Authors: Masaki Kashiwara

Abstract: We give a self-dual t-structure on the derived category of $\mathbb{R}$-constructible sheaves over a Noetherian regular ring by generalizing the notion of t-structure. We give a self-dual t-structure on the derived category of $\mathbb{R}$-constructible sheaves over a Noetherian regular ring by generalizing the notion of t-structure. △ Less

Submitted 20 December, 2015; v1 submitted 13 July, 2015; originally announced July 2015.

Comments: 23 pages. small corrections in the 2-nd version

MSC Class: 18D; 18E30

Regular and irregular holonomic D-modules

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: This is a survey paper based on a series of lectures given at the IHES in February/March 2015. In a first part, we recall the main results on the tempered holomorphic solutions of D-modules in the language of indsheaves and, as an application, the Riemann-Hilbert correspondence for regular holonomic modules. In a second part, we present the enhanced version of the first part, treating along the sa… ▽ More This is a survey paper based on a series of lectures given at the IHES in February/March 2015. In a first part, we recall the main results on the tempered holomorphic solutions of D-modules in the language of indsheaves and, as an application, the Riemann-Hilbert correspondence for regular holonomic modules. In a second part, we present the enhanced version of the first part, treating along the same lines the irregular holonomic case. △ Less

Submitted 1 July, 2015; originally announced July 2015.

Comments: 114 pages

MSC Class: 32C38; 35A27; 35Q15

Affinizations and R-matrices for quiver Hecke algebras

Authors: Masaki Kashiwara, Euiyong Park

Abstract: We introduce the notion of affinizations and R-matrices for arbitrary quiver Hekcke algebras. We show that they enjoy similar properties to those for symmetric quiver Hecke algebras. We next define the notion of a duality datum and construct a tensor functor between graded module categories of two quiver Hecke algebras. We give several examples of such functors . We introduce the notion of affinizations and R-matrices for arbitrary quiver Hekcke algebras. We show that they enjoy similar properties to those for symmetric quiver Hecke algebras. We next define the notion of a duality datum and construct a tensor functor between graded module categories of two quiver Hecke algebras. We give several examples of such functors . △ Less

Submitted 16 March, 2018; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 37 pages; minor typos corrected; to appear in Journal of the European Mathematical Society

MSC Class: 16G99; 17B37; 81R50

Symmetric quiver Hecke algebras and R-matrices of Quantum affine algebras IV

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $\mathfrak{g}_{0}$, we define a full subcategory ${\mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U'_q(\mathfrak{g})$-modules, a twisted version of… ▽ More Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $\mathfrak{g}_{0}$, we define a full subcategory ${\mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U'_q(\mathfrak{g})$-modules, a twisted version of the category ${\mathcal C}_{Q}$ introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur-Weyl duality, we construct an exact faithful KLR-type duality functor ${\mathcal F}_{Q}^{(2)}: Rep(R) \rightarrow {\mathcal C}_{Q}^{(2)}$, where $Rep(R)$ is the category of finite-dimensional modules over the quiver Hecke algebra $R$ of type $\mathfrak{g}_{0}$ with nilpotent actions of the generators $x_k$. We show that ${\mathcal F}_{Q}^{(2)}$ sends any simple object to a simple object and induces a ring isomorphism $K(Rep(R)) \simeq K({\mathcal C}_{Q}^{(2)})$. △ Less

Submitted 25 February, 2015; originally announced February 2015.

Comments: 30pages

MSC Class: 81R50; 16G; 16T25; 17B37

Monoidal categorification of cluster algebras II

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: 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 d… ▽ More 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}$. △ Less

Submitted 24 February, 2015; originally announced February 2015.

Comments: 51pages,

MSC Class: 13F60; 81R50; 17B37

Monoidal categorification of cluster algebras

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: 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 t… ▽ More 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. △ Less

Submitted 27 December, 2014; originally announced December 2014.

Comments: 44 pages

MSC Class: 13F60; 81R50; 16G; 17B37

Symmetric quiver Hecke algebras and R-matrices of quantum affine algebras III

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: Let $\CC^0_{\g}$ be the category of finite-dimensional integrable modules over the quantum affine algebra $U_{q}'(\g)$ and let $R^{A_\infty}\gmod$ denote the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. In this paper, we investigate the relationship between the categories $\CC^0_{A_{N-1}^{(1)}}$ and $\CC^0_{A_{N-1}^{(2)}}$ by constructing the ge… ▽ More Let $\CC^0_{\g}$ be the category of finite-dimensional integrable modules over the quantum affine algebra $U_{q}'(\g)$ and let $R^{A_\infty}\gmod$ denote the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. In this paper, we investigate the relationship between the categories $\CC^0_{A_{N-1}^{(1)}}$ and $\CC^0_{A_{N-1}^{(2)}}$ by constructing the generalized quantum affine Schur-Weyl duality functors $\F^{(t)}$ from $R^{A_\infty}\gmod$ to $\CC^0_{A_{N-1}^{(t)}}$ $(t=1,2)$. △ Less

Submitted 19 May, 2015; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: This version is the last version and accepted for publication in the Proceedings of the London Mathematical Society

MSC Class: 81R50; 16G; 16T25; 17B37

Dual Perfect Bases and dual perfect graphs

Authors: Byeong Hoon Kahng, Seok-Jin Kang, Masaki Kashiwara, Uhi Rinn Suh

Abstract: We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(λ)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its dual perfect graph is isomorphic to the crystal $B(λ)$. We also show that the negative half $U_{q}^{-}(\mathcal{g})$ has a dual perfect basis whose dual perfect graph is… ▽ More We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(λ)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its dual perfect graph is isomorphic to the crystal $B(λ)$. We also show that the negative half $U_{q}^{-}(\mathcal{g})$ has a dual perfect basis whose dual perfect graph is isomorphic to the crystal $B(\infty)$. More generally, we prove that all the dual perfect graphs of a given dual perfect space are isomorphic as abstract crystals. Finally, we show that the isomorphism classes of finitely generated graded projective indecomposable modules over a Khovanov-Lauda-Rouquier algebra and its cyclotomic quotients form dual perfect bases for their Grothendieck groups. △ Less

Submitted 8 May, 2014; originally announced May 2014.

Simplicity of heads and socles of tensor products

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh

Abstract: We prove that, for simple modules $M$ and $N$ over a quantum affine algebra, their tensor product $M \otimes N$ has a simple head and a simple socle if $M \otimes M$ is simple. A similar result is proved for the convolution product of simple modules over quiver Hecke algebras. In the second version, the statement (1.11) (in the revised version) is modified and its proof is given in Section 4. We prove that, for simple modules $M$ and $N$ over a quantum affine algebra, their tensor product $M \otimes N$ has a simple head and a simple socle if $M \otimes M$ is simple. A similar result is proved for the convolution product of simple modules over quiver Hecke algebras. In the second version, the statement (1.11) (in the revised version) is modified and its proof is given in Section 4. △ Less

Submitted 26 June, 2014; v1 submitted 15 April, 2014; originally announced April 2014.

Comments: 21 pages (the first version), 23 pages (the second version)

MSC Class: 81R50; 16G; 17B37

Journal ref: Compositio Math. 151 (2015) 377-396

Irregular holonomic kernels and Laplace transform

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: Given a (not necessarily regular) holonomic D-module defined on the product of two complex manifolds, we prove that the associated correspondence commutes (in some sense) with the De Rham functor. We apply this result to the study of the classical Laplace transform. The main tools used here are the theory of ind-sheaves and its enhanced version. Given a (not necessarily regular) holonomic D-module defined on the product of two complex manifolds, we prove that the associated correspondence commutes (in some sense) with the De Rham functor. We apply this result to the study of the classical Laplace transform. The main tools used here are the theory of ind-sheaves and its enhanced version. △ Less

Submitted 2 June, 2015; v1 submitted 14 February, 2014; originally announced February 2014.

Comments: 62 pages. 2nd version typoes corrected

MSC Class: 32C38; 35A27; 44A10

Riemann-Hilbert correspondence for holonomic D-modules

Authors: Andrea D'Agnolo, Masaki Kashiwara

Abstract: The classical Riemann-Hilbert correspondence establishes an equivalence between the triangulated category of regular holonomic D-modules and that of constructible sheaves. In this paper, we prove a Riemann-Hilbert correspondence for holonomic D-modules which are not necessarily regular. The construction of our target category is based on the theory of ind-sheaves by Kashiwara-Schapira and influenc… ▽ More The classical Riemann-Hilbert correspondence establishes an equivalence between the triangulated category of regular holonomic D-modules and that of constructible sheaves. In this paper, we prove a Riemann-Hilbert correspondence for holonomic D-modules which are not necessarily regular. The construction of our target category is based on the theory of ind-sheaves by Kashiwara-Schapira and influenced by Tamarkin's work. Among the main ingredients of our proof is the description of the structure of flat meromorphic connections due to Mochizuki and Kedlaya. △ Less

Submitted 19 August, 2015; v1 submitted 11 November, 2013; originally announced November 2013.

Comments: 114pages; v.2 minor changes, 114 pp

MSC Class: 32C38; 35A27; 32S60; 35Q1

Journal ref: Publ. Math. Inst. Hautes Etudes Sci. 123 no. 1 (2016), 69-197

Symmetric quiver Hecke algebras and R-matrices of quantum affine algebras II

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim

Abstract: Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$, Hernandez and Leclerc (\cite{HL11}) introduced a tensor subcategory $\CC_Q$ of the category of finite-dimensional integrable $\uqpg$-modules and proved that the Grot… ▽ More Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$, Hernandez and Leclerc (\cite{HL11}) introduced a tensor subcategory $\CC_Q$ of the category of finite-dimensional integrable $\uqpg$-modules and proved that the Grothendieck ring of $\CC_Q$ is isomorphic to $\C [N]$, the coordinate ring of the unipotent group $N$ associated with $\g_0$. We apply the generalized quantum affine Schur-Weyl duality introduced in \cite{KKK13} to construct an exact functor $\F$ from the category of finite-dimensional graded $R$-modules to the category $\CC_Q$, where $R$ denotes the symmetric quiver Hecke algebra associated to $\g_0$. We prove that the homomorphism induced by the functor $\F$ coincides with the homomorphism of Hernandez and Leclerc and show that the functor $\F$ sends the simple modules to the simple modules. △ Less

Submitted 2 August, 2013; originally announced August 2013.

Comments: 46 pages

MSC Class: 81R50; 16G; 16T25; 17B37

Journal ref: Duke Math. J. 164, no. 8 (2015), 1549-1602

Symmetric quiver Hecke algebras and R-matrices of quantum affine algebras

Authors: Seok-Jin Kang, Masaki Kashiwara, Myungho Kim

Abstract: Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from the category $S_J$ of finite-dimensional graded $R^J$-modules to the category of finite-dimensional integrable $U_q(g)$-modules. The functor $F$ sends convoluti… ▽ More Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from the category $S_J$ of finite-dimensional graded $R^J$-modules to the category of finite-dimensional integrable $U_q(g)$-modules. The functor $F$ sends convolution products of $R^J$-modules to tensor products of $U_q(g)$-modules. It is exact if $R^J$ is of finite type A,D,E. When $J$ is the vector representation of $A^{(1)}_{n-1}$, we recover the affine Schur-Weyl duality. Focusing on this case, we obtain an abelian rigid graded tensor category $T_J$ by localizing the category $S_J$. The functor $F$ factors through $T_J$. Moreover, the Grothendieck ring of the category $C_J$, the image of $F$, is isomorphic to the Grothendieck ring of $T_J$ at $q=1$. △ Less

Submitted 25 March, 2021; v1 submitted 1 April, 2013; originally announced April 2013.

Comments: 80 pages. arXiv:1209.3536 is merged to this paper. Version 2: We proved that the Grothendieck group $K(T_J)$ is isomorphic to the t-deformation of $K(C_J)$. Version 3: We made corrections mainly according to Correction in Invent. Math. 216 (2019), no. 2, 597--599

MSC Class: 81R50; 16G; 16T25; 17B37

Journal ref: Invent. math. 211, 591--685 (2018)