Source author record

Myungho Kim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
4topics
4close collaborators

Published work

14 publications

preprint2022arXiv

Monoidal categorification and quantum affine algebras II

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.

preprint2021arXiv

Polynomial invariants on matrices and partition, Brauer algebra

We identify the dimension of the centralizer of the symmetric group Sd\mathfrak{S}_d in the partition algebra Ad(δ)\mathcal{A}_d(δ) and in the Brauer algebra Bd(δ)\mathcal{B}_d(δ) with the number of multidigraphs with dd arrows and the number of disjoint union of directed cycles with dd arrows, respectively. Using Schur-Weyl duality as a fundamental theory, we conclude that each centralizer is related with the GG-invariant space Pd(Mn(k))GP^d(M_n(\mathbf{k}))^G of degree dd homogeneous polynomials on n×nn \times n matrices, where GG is the orthogonal group and the group of permutation matrices, respectively. Our approach gives a uniform way to show that the dimensions of Pd(Mn(k))GP^d(M_n(\mathbf{k}))^G are stable for sufficiently large nn.

preprint2020arXiv

Braid group action on the module category of quantum affine algebras

Let g0\mathfrak{g}_0 be a simple Lie algebra of type ADE and let Uq′(g)U'_q(\mathfrak{g}) be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group B(g0)B(\mathfrak{g}_0) on the quantum Grothendieck ring Kt(g)K_t(\mathfrak{g}) of Hernandez-Leclerc's category Cg0C_{\mathfrak{g}}^0. Focused on the case of type AN−1A_{N-1}, we construct a family of monoidal autofunctors {Si}i∈Z\{\mathscr{S}_i\}_{i\in \mathbb{Z}} on a localization TNT_N of the category of finite-dimensional graded modules over the quiver Hecke algebra of type A∞A_{\infty}. Under an isomorphism between the Grothendieck ring K(TN)K(T_N) of TNT_N and the quantum Grothendieck ring Kt(AN−1(1))K_t({A^{(1)}_{N-1}}), the functors {Si}1≤i≤N−1\{\mathscr{S}_i\}_{1\le i\le N-1} recover the action of the braid group B(AN−1)B(A_{N-1}). We investigate further properties of these functors.

preprint2020arXiv

Categories over quantum affine algebras and monoidal categorification

Let Uq′(g)U_q'(\mathfrak{g}) be a quantum affine algebra of untwisted affine ADEADE type, and Cg0\mathcal{C}_{\mathfrak{g}}^0 the Hernandez-Leclerc category of finite-dimensional Uq′(g)U_q'(\mathfrak{g})-modules. For a suitable infinite sequence w^0=⋯si−1si0si1⋯\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots of simple reflections, we introduce subcategories Cg[a,b]\mathcal{C}_{\mathfrak{g}}^{[a,b]} of Cg0\mathcal{C}_{\mathfrak{g}}^0 for all a≤b∈Z⊔{±∞}a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}. Associated with a certain chain C\mathfrak{C} of intervals in [a,b][a,b], we construct a real simple commuting family M(C)M(\mathfrak{C}) in Cg[a,b]\mathcal{C}_{\mathfrak{g}}^{[a,b]}, which consists of Kirillov-Reshetikhin modules. The category Cg[a,b]\mathcal{C}_{\mathfrak{g}}^{[a,b]} provides a monoidal categorification of the cluster algebra K(Cg[a,b])K(\mathcal{C}_{\mathfrak{g}}^{[a,b]}), whose set of initial cluster variables is [M(C)][M(\mathfrak{C})]. In particular, this result gives an affirmative answer to the monoidal categorification conjecture on Cg−\mathcal{C}_{\mathfrak{g}}^- by Hernandez-Leclerc since it is Cg[−∞,0]\mathcal{C}_{\mathfrak{g}}^{[-\infty,0]}, and is also applicable to Cg0\mathcal{C}_{\mathfrak{g}}^0 since it is Cg[−∞,∞]\mathcal{C}_{\mathfrak{g}}^{[-\infty,\infty]}.

preprint2020arXiv

Localizations for quiver Hecke algebras

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

preprint2020arXiv

PBW theoretic approach to the module category of quantum affine algebras

Let Uq′(g)U_q'(\mathfrak{g}) be a quantum affine algebra of untwisted affine ADE type and let Cg0\mathcal{C}^0_{\mathfrak{g}} be Hernandez-Leclerc's category. For a duality datum D\mathcal{D} in Cg0\mathcal{C}^0_{\mathfrak{g}}, we denote by FD\mathcal{F}_{\mathcal{D}} the quantum affine Weyl-Schur duality functor. We give sufficient conditions for a duality datum D\mathcal{D} to provide the functor FD\mathcal{F}_{\mathcal{D}} sending simple modules to simple modules. Then we introduce the notion of cuspidal modules in Cg0\mathcal{C}^0_{\mathfrak{g}}, and show that all simple modules in Cg0\mathcal{C}^0_{\mathfrak{g}} can be constructed as the heads of ordered tensor products of cuspidal modules.

preprint2016arXiv

A categorification of q(2)\mathfrak{q}(2)-crystals

We provide a categorification of q(2)\mathfrak{q}(2)-crystals on the singular gln\mathfrak{gl}_{n}-category On{\mathcal O}_{n}. Our result extends the gl2\mathfrak{gl}_{2}-crystal structure on Irr(On){\rm Irr} ({\mathcal O}_{n}) defined by Bernstein-Frenkel-Khovanov. Further properties of the q(2){\mathfrak q}(2)-crystal Irr(On){\rm Irr}({\mathcal O}_{n}) are also discussed.

preprint2015arXiv

Monoidal categorification of cluster algebras II

We prove that the quantum unipotent coordinate algebra Aq(n(w)) A_q(\mathfrak{n}(w))\ associated with a symmetric Kac-Moody algebra and its Weyl group element ww 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 Aq(n(w))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 q1/2q^{1/2}.

preprint2015arXiv

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

Let Uq′(g)U'_q(\mathfrak{g}) be a twisted affine quantum group of type AN(2)A_{N}^{(2)} or DN(2)D_{N}^{(2)} and let g0\mathfrak{g}_{0} be the finite-dimensional simple Lie algebra of type ANA_{N} or DND_{N}. For a Dynkin quiver of type g0\mathfrak{g}_{0}, we define a full subcategory CQ(2){\mathcal C}_{Q}^{(2)} of the category of finite-dimensional integrable Uq′(g)U'_q(\mathfrak{g})-modules, a twisted version of the category CQ{\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 FQ(2):Rep(R)→CQ(2){\mathcal F}_{Q}^{(2)}: Rep(R) \rightarrow {\mathcal C}_{Q}^{(2)}, where Rep(R)Rep(R) is the category of finite-dimensional modules over the quiver Hecke algebra RR of type g0\mathfrak{g}_{0} with nilpotent actions of the generators xkx_k. We show that FQ(2){\mathcal F}_{Q}^{(2)} sends any simple object to a simple object and induces a ring isomorphism K(Rep(R))≃K(CQ(2))K(Rep(R)) \simeq K({\mathcal C}_{Q}^{(2)}).

preprint2014arXiv

Monoidal categorification of cluster algebras

We give a definition of monoidal categorifications of quantum cluster algebras and provide a criterion for a monoidal category of finite-dimensional graded RR-modules to become a monoidal categorification of a quantum cluster algebra, where RR 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.

preprint2013arXiv

Crystal bases for the quantum queer superalgebra

In this paper, we develop the crystal basis theory for the quantum queer superalgebra Uq(q(n))U_q(\mathfrak q(n)). We define the notion of crystal bases and prove the tensor product rule for Uq(q(n))U_q(\mathfrak q(n))-modules in the category Oint≥0O_int^{\geq 0}. Our main theorem shows that every Uq(q(n))U_q(\mathfrak q(n))-module in the category Oint≥0O_int^{\geq 0} has a unique crystal basis.

preprint2013arXiv

Crystal bases for the quantum queer superalgebra and semistandard decomposition tableaux

In this paper, we give an explicit combinatorial realization of the crystal B(λ) for an irreducible highest weight U_q(q(n))-module V(λ) in terms of semistandard decomposition tableaux. We present an insertion scheme for semistandard decomposition tableaux and give algorithms of decomposing the tensor product of q(n)-crystals. Consequently, we obtain explicit combinatorial descriptions of the shifted Littlewood-Richardson coefficients.

preprint2013arXiv

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

Let $\g$ be an untwisted affine Kac-Moody algebra of type An(1)A^{(1)}_n (n≥1)(n \ge 1) or Dn(1)D^{(1)}_n (n≥4)(n \ge 4) and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver QQ 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 NN 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 RR-modules to the category $\CC_Q$, where RR 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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.