arXiv subjects

Myungho Kim

Publications and source records attributed to Myungho Kim.

45 records · Page 3Linked to original sources

arXiv2015

Monoidal categorification of cluster algebras II

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}$.

math.RT↗

arXiv2014

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 $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.

math.RT↗

arXiv2014

Simplicity of heads and socles of tensor products

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.

math.RT↗

arXiv2013

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

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.

math.RT↗

arXiv2013

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.

math.RT↗

arXiv2013

Crystal bases for the quantum queer superalgebra

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

math.RT↗

arXiv2013

R-matrices for quantum affine algebras and Khovanov-Lauda-Rouquier algebras, I

Let us consider a finite set of pairs consisting of good $U'_q(g)$-modules and invertible elements. The distribution of poles of normalized R-matrices yields Khovanov-Lauda-Rouquier algebras We define a functor from the category of finite-dimensional modules over the KLR algebra to the category of finite-dimensional $U_q'(g)$-modules. We show that the functor sends convolution products to tensor products and is exact if the KLR albera is of type A, D, E.

math.RT↗

arXiv2011

Quantum Queer Superalgebra and Crystal Bases

In this paper, we develop the crystal basis theory for the quantum queer superalgebra $\Uq$. We define the notion of crystal bases, describe the tensor product rule, and present the existence and uniqueness of crystal bases for finite-dimensional $\Uq$-modules in the category $\mathcal{O}_{int}^{\ge 0}$.

math.QA↗

arXiv2011

Highest weight modules over quantum queer Lie superalgebra U_q(q(n))

In this paper, we investigate the structure of highest weight modules over the quantum queer superalgebra $U_q(q(n))$. The key ingredients are the triangular decomposition of $U_q(q(n))$ and the classification of finite dimensional irreducible modules over quantum Clifford superalgebras. The main results we prove are the classical limit theorem and the complete reducibility theorem for $U_q(q(n))$-modules in the category $O_q^{\geq 0}$.

math.RT↗