Source author record

Seok-Jin Kang

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

32works
9topics
4close collaborators

Published work

32 publications

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(∞){B}(\infty) and B(λ){B}(λ) as its application, where B(∞){B}(\infty) and B(λ){B}(λ) are the crystals of the negative half part of the quantum Borcherds-Bozec algebra Uq(g)U_q(\mathfrak g) and its irreducible highest weight module V(λ)V(λ), respectively.

preprint2020arXiv

Classical limit of quantum Borcherds-Bozec algebras

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

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.

preprint2016arXiv

Quantum walled Brauer-Clifford superalgebras

We introduce a new family of superalgebras, the quantum walled Brauer-Clifford superalgebras BCr,s(q){\mathsf {BC}}_{r,s}(q). The superalgebra BCr,s(q){\mathsf {BC}}_{r,s}(q) is a quantum deformation of the walled Brauer-Clifford superalgebra BCr,s{\mathsf {BC}}_{r,s} and a super version of the quantum walled Brauer algebra. We prove that BCr,s(q){\mathsf {BC}}_{r,s}(q) is the centralizer superalgebra of the action of Uq(q(n)){\mathfrak U}_{q}({\mathfrak q}(n)) on the mixed tensor space Vqr,s=Vq⊗r⊗(Vq∗)⊗s\mathbf{V}_{q}^{r,s}=\mathbf{V}_{q}^{\otimes r} \otimes (\mathbf{V}_q^*)^{\otimes s} when n≥r+sn \ge r+s, where Vq=C(q)(n∣n){\mathbf V}_{q}=\mathbb{C}(q)^{(n|n)} is the natural representation of the quantum enveloping superalgebra Uq(q(n)){\mathfrak U}_{q}({\mathfrak q}(n)) and Vq∗\mathbf{V}_q^* is its dual space. We also provide a diagrammatic realization of BCr,s(q){\mathsf {BC}}_{r,s}(q) as the (r,s)(r,s)-bead tangle algebra BTr,s(q){\mathsf {BT}}_{r,s}(q). Finally, we define the notion of qq-Schur superalgebras of type Q\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 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

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 Vq(λ)V_q(λ) over a quantum generalized Kac-Moody algebra Uq(g)U_{q}(\mathcal{g}) has a dual perfect basis and its dual perfect graph is isomorphic to the crystal B(λ)B(λ). We also show that the negative half Uq−(g)U_{q}^{-}(\mathcal{g}) has a dual perfect basis whose dual perfect graph is isomorphic to the crystal B(∞)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 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

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

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

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

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 Uq(g)U_q(g) be the quantum group associated with a symmetrizable Cartan datum and let V(Λ)V(Λ) be the irreducible highest weight Uq(g)U_q(g)-module with a dominant integral highest weight ΛΛ. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra RΛR^Λ gives a categorification of V(Λ)V(Λ).

preprint2012arXiv

Categorification of Quantum Generalized Kac-Moody Algebras and Crystal Bases

We construct and investigate the structure of the Khovanov-Lauda-Rouquier algebras RR and their cyclotomic quotients Rλ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=(aij)i,j∈IA=(a_{ij})_{i,j \in I} and let K0(R)K_0(R) be the Grothedieck group of finitely generated projective graded RR-modules. We prove that there exists an injective algebra homomorphism $Φ: U_\A^-(\g) \to K_0(R)$ and that ΦΦ is an isomorphism if aii≠0a_{ii}\ne 0 for all i∈Ii\in I. Let B(∞)B(\infty) and B(λ)B(λ) be the crystals of $U_q^-(\g)$ and V(λ)V(λ), respectively, where V(λ)V(λ) is the irreducible highest weight $U_q(\g)$-module. We denote by B(∞)\mathfrak{B}(\infty) and B(λ)\mathfrak{B}(λ) the isomorphism classes of irreducible graded modules over RR and RλR^λ, respectively. If aii≠0a_{ii}\ne 0 for all i∈Ii\in I, we define the $U_q(\g)$-crystal structures on B(∞)\mathfrak{B}(\infty) and B(λ)\mathfrak{B}(λ), and show that there exist crystal isomorphisms B(∞)≃B(∞)\mathfrak{B}(\infty) \simeq B(\infty) and B(λ)≃B(λ)\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 RR and their cyclotomic quotients RλR^λ for finite classical types using a crystal basis theoretic approach. More precisely, for each element vv of the crystal B(∞)B(\infty) (resp. B(λ)B(λ)), we first construct certain modules ∇(a;k)\nabla(\mathbf{a};k) labeled by the adapted string a\mathbf{a} of vv. 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 RR-module (resp. Rλ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(∞)B(\infty) (resp. B(λ)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 RR associated with a symmetric Borcherds-Cartan matrix A=(aij)i,j∈IA=(a_{ij})_{i,j\in I} via quiver varieties. As an application, if aii≠0a_{ii} \ne 0 for any i∈Ii\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 RR (resp.\ RλR^λ).

preprint2012arXiv

Mixed Schur-Weyl-Sergeev duality for queer Lie superalgebras

We introduce a new family of superalgebras B→r,s\overrightarrow{B}_{r,s} for r,s≥0r, s \ge 0 such that r+s>0r+s>0, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let q(n)\mathfrak{q}(n) be the queer Lie superalgebra, V=Cn∣n{\mathbf V} =\mathbb{C}^{n|n} the natural representation of q(n)\mathfrak{q}(n) and W{\mathbf W} the dual of V{\mathbf V}. We prove that, if n≥r+sn \ge r+s, the superalgebra B→r,s\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 q(n)\mathfrak{q}(n)-action on the mixed tensor space V⊗r⊗W⊗s{\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 D→k\overrightarrow{D}_{k} of the Sergeev superalgebra SerkSer_{k}. Finally, we give a presentation of B→r,s\overrightarrow{B}_{r,s} in terms of generators and relations.

preprint2010arXiv

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

Using combinatorics of Young tableaux, we give an explicit construction of irreducible graded modules over Khovanov-Lauda-Rouquier algebras RR and their cyclotomic quotients RλR^λ of type AnA_{n}. Our construction is compatible with crystal structure. Let B(∞){\mathbf B}(\infty) and B(λ){\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 B(∞){\mathfrak B}(\infty) and B(λ){\mathfrak B}(λ) be the $U_q(\slm_{n+1})$-crystals consisting of isomorphism classes of irreducible graded RR-modules and RλR^λ-modules, respectively. We show that there exist explicit crystal isomorphisms Φ∞:B(∞)⟶∼B(∞)Φ_{\infty}: {\mathbf B}(\infty) \overset{\sim} \longrightarrow {\mathfrak B}(\infty) and Φλ:B(λ)⟶∼B(λ)Φ_λ: {\mathbf B}(λ) \overset{\sim} \longrightarrow {\mathfrak B}(λ).

preprint2010arXiv

Quiver Varieties and Path Realizations arising from Adjoint Crystals of type An(1)A_n^{(1)}

Let B(Λ0)B(Λ_0) be the level 1 highest weight crystal of the quantum affine algebra Uq(An(1))U_q(A_n^{(1)}). We construct an explicit crystal isomorphism between the geometric realization B(Λ0)\mathbb{B}(Λ_0) of B(Λ0)B(Λ_0) via quiver varieties and the path realization Pad(Λ0){\mathcal P}^{\rm ad}(Λ_0) of B(Λ0)B(Λ_0) arising from the adjoint crystal $\adjoint$.

preprint1998arXiv

Graded Lie Superalgebras, Supertrace Formula, and Orbit Lie Superalgebras

Let ΓΓ be a countable abelian semigroup and AA be a countable abelian group satisfying a certain finiteness condition. Suppose that a group GG acts on a (Γ×A)(Γ\times A)-graded Lie superalgebra L=⨁(α,a)∈Γ×AL(α,a){\frak L}=\bigoplus_{(α,a) \in Γ\times A} {\frak L}_{(α,a)} by Lie superalgebra automorphisms preserving the (Γ×A)(Γ\times A)-gradation. In this paper, we show that the Euler-Poincaré principle yields the generalized denominator identity for L{\frak L} and derive a closed form formula for the supertraces str(g∣L(α,a))\text{str}(g|{\frak L}_{(α,a)}) for all g∈Gg\in G,(α,a)∈Γ×A(α,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)×GL(k)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 g{\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 g˘=g(σ)\breve{\frak g}={\frak g}(σ) determined by σσ.

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.