Source author record

Seok-Jin Kang

Seok-Jin Kang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

32works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

32 published item(s)

preprint2020arXiv

Abstract crystals for quantum Borcherds-Bozec algebras

In this paper, we develop the theory of abstract crystals for quantum Borcherds-Bozec algebras. Our construction is different from the one given by Bozec. We further prove the crystal embedding theorem and provide a characterization of ${B}(\infty)$ and ${B}(λ)$ as its application, where ${B}(\infty)$ and ${B}(λ)$ are the crystals of the negative half part of the quantum Borcherds-Bozec algebra $U_q(\mathfrak g)$ and its irreducible highest weight module $V(λ)$, respectively.

preprint2020arXiv

Classical limit of quantum Borcherds-Bozec algebras

Let $\mathfrak{g}$ be a Borcherds-Bozec algebra, $U(\mathfrak{g})$ be its universal enveloping algebra and $U_{q}(\mathfrak{g})$ be the corresponding quantum Borcherds-Bozec algebra. We show that the classical limit of $U_{q}(\mathfrak{g})$ is isomorphic to $U(\mathfrak{g})$ as Hopf algebras. Thus $U_{q}(\mathfrak{g})$ can be regarded as a quantum deformation of $U(\mathfrak{g})$. We also give explicit formulas for the commutation relations among the generators of $U_{q}(\mathfrak{g})$.

preprint2016arXiv

Quantum walled Brauer-Clifford superalgebras

We introduce a new family of superalgebras, the quantum walled Brauer-Clifford superalgebras ${\mathsf {BC}}_{r,s}(q)$. The superalgebra ${\mathsf {BC}}_{r,s}(q)$ is a quantum deformation of the walled Brauer-Clifford superalgebra ${\mathsf {BC}}_{r,s}$ and a super version of the quantum walled Brauer algebra. We prove that ${\mathsf {BC}}_{r,s}(q)$ is the centralizer superalgebra of the action of ${\mathfrak U}_{q}({\mathfrak q}(n))$ on the mixed tensor space $\mathbf{V}_{q}^{r,s}=\mathbf{V}_{q}^{\otimes r} \otimes (\mathbf{V}_q^*)^{\otimes s}$ when $n \ge r+s$, where ${\mathbf V}_{q}=\mathbb{C}(q)^{(n|n)}$ is the natural representation of the quantum enveloping superalgebra ${\mathfrak U}_{q}({\mathfrak q}(n))$ and $\mathbf{V}_q^*$ is its dual space. We also provide a diagrammatic realization of ${\mathsf {BC}}_{r,s}(q)$ as the $(r,s)$-bead tangle algebra ${\mathsf {BT}}_{r,s}(q)$. Finally, we define the notion of $q$-Schur superalgebras of type $\mathsf{Q}$ and establish their basic properties.

preprint2015arXiv

Categorification of Virasoro-Magri Poisson vertex algebra

Let S be the direct sum of algebra of symmetric groups C S_n for a non-negative integer n. We show that the Grothendieck group K_0(S) of the category of finite dimensional modules of S is isomorphic to the differential algebra of polynomials Z[D^n x]. Moreover, for a non-negative integer m, we define m-th products on K_0(S) which make the algebra K_0(S) isomorphic to an integral form of the Virasoro-Magri Poisson vertex algebra. Also, we investigate relations between K_0(S) and K_0(N) where K_0(N) is the direct sum of Grothendieck groups K_0(N_n) of finitely generated projective N_n-modules. Here N_n is the nil-Coxeter algebra generated by n-1 elements.

preprint2015arXiv

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

preprint2015arXiv

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

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

preprint2014arXiv

Dual Perfect Bases and dual perfect graphs

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.

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

preprint2013arXiv

A combinatorial description of the affine Gindikin-Karpelevich formula of type A_n^(1)

The classical Gindikin-Karpelevich formula appears in Langlands' calculation of the constant terms of Eisenstein series on reductive groups and in Macdonald's work on p-adic groups and affine Hecke algebras. The formula has been generalized in the work of Garland to the affine Kac-Moody case, and the affine case has been geometrically constructed in a recent paper of Braverman, Finkelberg, and Kazhdan. On the other hand, there have been efforts to write the formula as a sum over Kashiwara's crystal basis or Lusztig's canonical basis, initiated by Brubaker, Bump, and Friedberg. In this paper, we write the affine Gindikin-Karpelevich formula as a sum over the crystal of generalized Young walls when the underlying Kac-Moody algebra is of affine type A_n^(1). The coefficients of the terms in the sum are determined explicitly by the combinatorial data from Young walls.

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

Quiver Hecke superalgebras

We introduce a new family of superalgebras which should be considered as a super version of the Khovanov-Lauda-Rouquier algebras. Let $I$ be the set of vertices of a Dynkin diagram with parity. To this data, we associate a family of graded superalgebras, the quiver Hecke superalgebras. When there are no odd vertices, these algebras are nothing but the usual Khovanov-Lauda-Rouquier algebras. We then define another family of graded superalgebras, the quiver Hecke-Clifford superalgebras, and show that they are weakly Morita superequivalent to the quiver Hecke superalgebras. Moreover, we prove that the affine Hecke-Clifford superalgebras, as well as their degenerate version, the affine Sergeev superalgebras, are isomorphic to the quiver Hecke-Clifford superalgebras after a completion.

preprint2013arXiv

Supercategorification of quantum Kac-Moody algebras II

In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.

preprint2013arXiv

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.

preprint2012arXiv

Categorification of Highest Weight Modules via Khovanov-Lauda-Rouquier Algebras

In this paper, we prove Khovanov-Lauda's cyclotomic categorification conjecture for all symmetrizable Kac-Moody algebras. Let $U_q(g)$ be the quantum group associated with a symmetrizable Cartan datum and let $V(Λ)$ be the irreducible highest weight $U_q(g)$-module with a dominant integral highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ gives a categorification of $V(Λ)$.

preprint2012arXiv

Categorification of Quantum Generalized Kac-Moody Algebras and Crystal Bases

We construct and investigate the structure of the Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^λ$ which give a categrification of quantum generalized Kac-Moody algebras. Let $U_\A(\g)$ be the integral form of the quantum generalized Kac-Moody algebra associated with a Borcherds-Cartan matrix $A=(a_{ij})_{i,j \in I}$ and let $K_0(R)$ be the Grothedieck group of finitely generated projective graded $R$-modules. We prove that there exists an injective algebra homomorphism $Φ: U_\A^-(\g) \to K_0(R)$ and that $Φ$ is an isomorphism if $a_{ii}\ne 0$ for all $i\in I$. Let $B(\infty)$ and $B(λ)$ be the crystals of $U_q^-(\g)$ and $V(λ)$, respectively, where $V(λ)$ is the irreducible highest weight $U_q(\g)$-module. We denote by $\mathfrak{B}(\infty)$ and $\mathfrak{B}(λ)$ the isomorphism classes of irreducible graded modules over $R$ and $R^λ$, respectively. If $a_{ii}\ne 0$ for all $i\in I$, we define the $U_q(\g)$-crystal structures on $\mathfrak{B}(\infty)$ and $\mathfrak{B}(λ)$, and show that there exist crystal isomorphisms $\mathfrak{B}(\infty) \simeq B(\infty)$ and $\mathfrak{B}(λ) \simeq B(λ)$. One of the key ingredients of our approach is the perfect basis theory for generalized Kac-Moody algebras.

preprint2012arXiv

Construction of Irreducible Representations over Khovanov-Lauda-Rouquier Algebras of Finite Classical Type

We give an explicit construction of irreducible modules over Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^λ$ for finite classical types using a crystal basis theoretic approach. More precisely, for each element $v$ of the crystal $B(\infty)$ (resp. $B(λ)$), we first construct certain modules $\nabla(\mathbf{a};k)$ labeled by the adapted string $\mathbf{a}$ of $v$. We then prove that the head of the induced module $\ind \big(\nabla(\mathbf{a};1) \boxtimes...\boxtimes \nabla(\mathbf{a};n)\big)$ is irreducible and that every irreducible $R$-module (resp. $R^λ$-module) can be realized as the irreducible head of one of the induced modules $\ind (\nabla(\mathbf{a};1) \boxtimes...\boxtimes \nabla(\mathbf{a};n))$. Moreover, we show that our construction is compatible with the crystal structure on $B(\infty)$ (resp. $B(λ)$).

preprint2012arXiv

Geometric realization of Khovanov-Lauda-Rouquier algebras associated with Borcherds-Cartan data

We construct a geometric realization of the Khovanov-Lauda-Rouquier algebra $R$ associated with a symmetric Borcherds-Cartan matrix $A=(a_{ij})_{i,j\in I}$ via quiver varieties. As an application, if $a_{ii} \ne 0$ for any $i\in I$, we prove that there exists a 1-1 correspondence between Kashiwara's lower global basis (or Lusztig's canonical basis) of $U_\A^-(\g)$ (resp.\ $V_\A(λ)$) and the set of isomorphism classes of indecomposable projective graded modules over $R$ (resp.\ $R^λ$).

preprint2012arXiv

Mixed Schur-Weyl-Sergeev duality for queer Lie superalgebras

We introduce a new family of superalgebras $\overrightarrow{B}_{r,s}$ for $r, s \ge 0$ such that $r+s>0$, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let $\mathfrak{q}(n)$ be the queer Lie superalgebra, ${\mathbf V} =\mathbb{C}^{n|n}$ the natural representation of $\mathfrak{q}(n)$ and ${\mathbf W}$ the dual of ${\mathbf V}$. We prove that, if $n \ge r+s$, the superalgebra $\overrightarrow{B}_{r,s}$ is isomorphic to the supercentralizer algebra $_{\mathfrak{q}(n)}({\mathbf V}^{\otimes r} \otimes {\mathbf W}^{\otimes s})^{\op}$ of the $\mathfrak{q}(n)$-action on the mixed tensor space ${\mathbf V}^{\otimes r} \otimes {\mathbf W}^{\otimes s}$. As an ingredient for the proof of our main result, we construct a new diagrammatic realization $\overrightarrow{D}_{k}$ of the Sergeev superalgebra $Ser_{k}$. Finally, we give a presentation of $\overrightarrow{B}_{r,s}$ in terms of generators and relations.

preprint2010arXiv

Irreducible Modules over Khovanov-Lauda-Rouquier Algebras of type $A_n$ and Semistandard Tableaux

Using combinatorics of Young tableaux, we give an explicit construction of irreducible graded modules over Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^λ$ of type $A_{n}$. Our construction is compatible with crystal structure. Let ${\mathbf B}(\infty)$ and ${\mathbf B}(λ)$ be the $U_q(\slm_{n+1})$-crystal consisting of marginally large tableaux and semistandard tableaux of shape $λ$, respectively. On the other hand, let ${\mathfrak B}(\infty)$ and ${\mathfrak B}(λ)$ be the $U_q(\slm_{n+1})$-crystals consisting of isomorphism classes of irreducible graded $R$-modules and $R^λ$-modules, respectively. We show that there exist explicit crystal isomorphisms $Φ_{\infty}: {\mathbf B}(\infty) \overset{\sim} \longrightarrow {\mathfrak B}(\infty)$ and $Φ_λ: {\mathbf B}(λ) \overset{\sim} \longrightarrow {\mathfrak B}(λ)$.

preprint1998arXiv

Graded Lie Superalgebras, Supertrace Formula, and Orbit Lie Superalgebras

Let $Γ$ be a countable abelian semigroup and $A$ be a countable abelian group satisfying a certain finiteness condition. Suppose that a group $G$ acts on a $(Γ\times A)$-graded Lie superalgebra ${\frak L}=\bigoplus_{(α,a) \in Γ\times A} {\frak L}_{(α,a)}$ by Lie superalgebra automorphisms preserving the $(Γ\times A)$-gradation. In this paper, we show that the Euler-Poincaré principle yields the generalized denominator identity for ${\frak L}$ and derive a closed form formula for the supertraces $\text{str}(g|{\frak L}_{(α,a)})$ for all $g\in G$,$(α,a) \in Γ\times A$. We discuss the applications of our supertrace formula to various classes of infinite dimensional Lie superalgebras such as free Lie superalgebras and generalized Kac-Moody superalgebras. In particular, we determine the decomposition of free Lie superalgebras into a direct sum of irreducible $GL(n) \times GL(k)$-modules, and the supertraces of the Monstrous Lie superalgebras with group actions. Finally, we prove that the generalized characters of Verma modules and the irreducible highest weight modules over a generalized Kac-Moody superalgebra ${\frak g}$ corresponding to the Dynkin diagram automorphism $σ$ are the same as the usual characters of Verma modules and irreducible highest weight modules over the orbit Lie superalgebra $\breve{\frak g}={\frak g}(σ)$ determined by $σ$.