Searcharxiv⌕ Search

arXiv subjects

Jae-Hoon Kwon

Publications and source records attributed to Jae-Hoon Kwon.

At least 19 recordsLinked to original sources
arXiv2025

Crystal base of the negative half of quantum orthosymplectic superalgebra

We construct a crystal base of the negative half of a quantum orthosymplectic superalgebra. It can be viewed as a limit of the crystal bases of $q$-deformed irreducible oscillator representations. We also give a combinatorial description of the embedding from the crystal of a $q$-oscillator representation to that of the negative half subalgebra given in terms of a PBW type basis. It is given as a composition of embeddings into the crystals of intermediate parabolic Verma modules, where the most non-trivial one is from an oscillator module to a maximally parabolic Verma module with respect to a quantum subsuperalgebra for $\mathfrak{gl}_{m|n}$. A new crystal theoretic realization of Burge correspondence of orthosymplectic type plays an important role for the description of this embedding.

math.QA↗
arXiv2025

$q$-deformed Howe duality for orthosymplectic Lie superalgebras

We give a $q$-analogue of Howe duality associated to a pair $(\mf{g},G)$, where $\mf{g}$ is an orthosymplectic Lie superalgebra and $G=O_\ell, Sp_{2\ell}$. We define explicitly {commuting actions} of a quantized enveloping algebra of $\mf{g}$ and the $\imath$quantum group of {type AI and AII} on a $q$-deformed supersymmetric space, and describe its semisimple decomposition whose classical limit recovers the $(\mf{g},G)$-duality. As special cases, we obtain $q$-analogues of $(\mf{g},G)$-dualities on symmetric and exterior algebras for $\mf{g}=\mf{so}_{2n}$, $\mf{sp}_{2n}$.

math.RT↗
arXiv2025

Infinite-level Fock spaces, crystal bases, and tensor product of extremal weight modules of type $A_{+\infty}$

We study the category $\mathcal{C}$ generated by extremal weight modules over $U_q(\mathfrak{gl}_{>0})$. We show that $\mathcal{C}$ is a tensor category, and give an explicit description of the socle filtration of tensor product of any two extremal weight modules. This follows from the study of Fock space $\mathcal{F}^\infty \otimes \mathcal{M}$ of infinite level, which has commuting actions of a parabolic $q$-boson algebra and $U_p(\mathfrak{gl}_{>0})$ with $p=-q^{-1}$. It contains a (semisimple) limit of the fermionic Fock space $\mathcal{F}^n$ of level $n$, which has a $q$-analogue of Howe duality often called level-rank duality. To describe the socle filtration of $\mathcal{F}^\infty \otimes \mathcal{M}$, we introduce the notion of a saturated crystal valuation, whose existence was observed for example in the embedding of an extremal weight module into a tensor product of fundamental weight modules of affine type due to Kashiwara and Beck-Nakajima.

math.RT↗
arXiv2024

Unipotent quantum coordinate ring and cominuscule prefundamental representations

We continue the study of realization of the prefundamental modules $L_{r,a}^{\pm}$, introduced by Hernandez and Jimbo, in terms of unipotent quantum coordinate rings as in [J-Kwon-Park, Int. Math. Res. Not., 2023]. We show that the ordinary character of $L_{r,a}^{\pm}$ is equal to that of the unipotent quantum coordinate ring $U_q^-(w_r)$ associated to fundamental $r$-th coweight. When $r$ is cominuscule, we prove that there exists a $U_q(\mathfrak{b})$-module structure on $U_q^-(w_r)$, which is isomorphic to $L_{r,a\eta_r}^\pm$ for some $\eta_r \in \mathbb{C}^\times$.

math.RT↗
arXiv2023

Oscillator representations of quantum affine orthosymplectic superalgebras

We introduce a category of $q$-oscillator representations over the quantum affine superalgebras of type $D$ and construct a new family of its irreducible representations. Motivated by the theory of super duality, we show that these irreducible representations naturally interpolate the irreducible $q$-oscillator representations of type $X_n^{(1)}$ and the finite-dimensional irreducible representations of type $Y_n^{(1)}$ for $(X,Y)=(C,D),(D,C)$ under exact monoidal functors. This can be viewed as a quantum (untwisted) affine analogue of the correspondence between irreducible oscillator and irreducible finite-dimensional representations of classical Lie algebras arising from Howe's reductive dual pairs $(\mathfrak{g},G)$, where $\mathfrak{g}=\mathfrak{sp}_{2n}, \mathfrak{so}_{2n}$ and $G=O_\ell, Sp_{2\ell}$.

math.RT↗
arXiv2023

Affinization of $q$-oscillator representations of $U_q(\mathfrak{gl}_n)$

We introduce a category $\widehat{\mathcal{O}}_{\rm osc}$ of $q$-oscillator representations of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_n)$. We show that $\widehat{\mathcal{O}}_{\rm osc}$ has a family of irreducible representations, which naturally corresponds to finite-dimensional irreducible representations of quantum affine algebra of untwisted affine type $A$. It is done by constructing a category of $q$-oscillator representations of the quantum affine superalgebra of type $A$, which interpolates these two family of irreducible representations. The category $\widehat{\mathcal{O}}_{\rm osc}$ can be viewed as a quantum affine analogue of the semisimple tensor category generated by unitarizable highest weight representations of $\mathfrak{gl}_{u+v}$ ($n=u+v$) appearing in the $(\mathfrak{gl}_{u+v},\mathfrak{gl}_\ell)$-duality on a bosonic Fock space.

math.RT↗
arXiv2023

Affine RSK correspondence and crystals of level zero extremal weight modules

We give an affine analogue of the Robison-Schensted-Knuth (RSK) correspondence, which generalizes the affine Robinson-Schensted correspondence by Chmutov-Pylyavskyy-Yudovina. The affine RSK map sends a generalized affine permutation of period $(m,n)$ to a pair of tableaux $(P,Q)$ of the same shape, where $P$ belongs to a tensor product of level one perfect Kirillov-Reshetikhin crystals of type $A_{m-1}^{(1)}$, and $Q$ belongs to a crystal of extremal weight module of type $A_{n-1}^{(1)}$ when $m,n\ge 2$. We consider two affine crystal structures of types $A_{m-1}^{(1)}$ and $A_{n-1}^{(1)}$ on the set of generalized affine permutations, and show that the affine RSK map preserves the crystal equivalence. We also give a dual affine Robison-Schensted-Knuth correspondence.

math.RT↗
arXiv2022

Crystal base of the negative half of the quantum superalgebra $U_q(\mathfrak{gl}(m|n))$

We construct a crystal base of $U_q(\mathfrak{gl}(m|n))^-$, the negative half of the quantum superalgebra $U_q(\mathfrak{gl}(m|n))$. We give a combinatorial description of the associated crystal $\mathscr{B}_{m|n}(\infty)$, which is equal to the limit of the crystals of the ($q$-deformed) Kac modules $K(\lambda)$. We also construct a crystal base of a parabolic Verma module $X(\lambda)$ associated with the subalgebra $U_q(\mathfrak{gl}_{0|n})$, and show that it is compatible with the crystal base of $U_q(\mathfrak{gl}(m|n))^-$ and the Kac module $K(\lambda)$ under the canonical embedding and projection of $X(\lambda)$ to $U_q(\mathfrak{gl}(m|n))^-$ and $K(\lambda)$, respectively.

math.QA↗
arXiv2022

Combinatorial Howe duality of symplectic type

We give a new combinatorial interpretation of Howe dual pairs of the form $(\g,{\rm Sp}_{2\ell})$, where $\g$ is a Lie (super)algebra of classical type. This is done by establishing a symplectic analogue of the RSK algorithm associated to this pair, in a uniform way which does not depend on $\g$. We introduce an analogue of jeu de taquin sliding for spinor model of irreducible characters of a Lie superalgebra $\g$ to define $P$-tableau and show that the associated $Q$-tableau is given by a symplectic tableau due to King.

math.RT↗
arXiv2021

Ribbon tiling and character formula for periplectic Lie superalgebras

We give a combinatorial formula for the character of a finite-dimensional irreducible representation of the periplectic Lie superalgebra $\mathfrak{p}(n)$. The character of irreducible module $L(μ)$ is given by a cancellation-free alternating sum over the characters of thick or thin Kac modules, $Δ(λ)$ or $\nabla(λ)$, such that there exists a ribbon tiling of a skew Young diagram $λ/μ$.

math.RT↗
arXiv2021

Super duality for quantum affine algebras of type $A$

We introduce a new approach to the study of finite-dimensional representations of the quantum group of the affine Lie superalgebra $\mathrm{L}\mathfrak{gl}_{M|N}=\mathbb{C}[t,t^{-1}]\otimes\mathfrak{gl}_{M|N}$ ($M\neq N$). We explain how the representations of the quantum group of $\mathrm{L}\mathfrak{gl}_{M|N}$ are directly related to those of the quantum affine algebra of type $A$, using an exact monoidal functor called truncation. This can be viewed as an affine analogue of super duality of type $A$.

math.RT↗
arXiv2021

Unipotent quantum coordinate ring and prefundamental representations for types $A_n^{(1)}$ and $D_n^{(1)}$

We give a new realization of the prefundamental representations $L^\pm_{r,a}$ introduced by Hernandez and Jimbo, when the quantum loop algebra $U_q(\mathfrak{g})$ is of types $A_n^{(1)}$ and $D_n^{(1)}$, and the $r$-th fundamental weight $\varpi_r$ for types $A_n$ and $D_n$ is minuscule. We define an action of the Borel subalgebra $U_q(\mathfrak{b})$ of $U_q(\mathfrak{g})$ on the unipotent quantum coordinate ring associated to the translation by $-\varpi_r$, and show that it is isomorphic to $L^\pm_{r,a}$. We then give a combinatorial realization of $L^+_{r,a}$ in terms of the Lusztig data of the dual PBW vectors.

math.RT↗
arXiv2020

Higher level $q$-oscillator representations for $U_q(C_n^{(1)}),U_q(C^{(2)}(n+1))$ and $U_q(B^{(1)}(0,n))$

We introduce higher level $q$-oscillator representations for the quantum affine (super)algebras of type $C_n^{(1)},C^{(2)}(n+1)$ and $B^{(1)}(0,n)$. These representations are constructed by applying the fusion procedure to the level one $q$-oscillator representations which were obtained through the studies of the tetrahedron equation. We prove that these higher level $q$-oscillator representations are irreducible. For type $C_n^{(1)}$ and $C^{(2)}(n+1)$, we compute their characters explicitly in terms of Schur polynomials.

math.QA↗
arXiv2020

Lusztig data of Kashiwara-Nakashima tableaux in type D

We describe the embedding from the crystal of Kashiwara-Nakashima tableaux in type $D$ of an arbitrary shape into that of $\mathbf{i}$-Lusztig data associated to a family of reduced expressions $\mathbf{i}$ which are compatible with the maximal Levi subalgebra of type $A$. The embedding is described explicitly in terms of well-known combinatorics of type $A$ including the Sch\"{u}tzenberger's jeu de taquin and an analog of RSK algorithm.

math.QA↗
arXiv2019

Kirillov-Reshetikhin modules of generalized quantum group of type $A$

The generalized quantum group of type $A$ is an affine analogue of quantum group associated to a general linear Lie superalgebra, which appears in the study of solutions to the tetrahedron equation or the three-dimensional Yang-Baxter equation. In this paper, we develop the crystal base theory for finite-dimensional representations of generalized quantum group of type $A$. As a main result, we construct Kirillov-Reshetikhin modules, that is, a family of irreducible modules which have crystal bases. We also give an explicit combinatorial description of the crystal structure of Kirillov-Reshetikhin modules, the combinatorial $R$ matrix, and energy function on their tensor products.

math.RT↗
arXiv2019

Flagged Littlewood-Richardson tableaux and branching rule for classical groups

We give a new formula for the branching rule from ${\rm GL}_n$ to ${\rm O}_n$ generalizing the Littlewood's restriction formula. The formula is given in terms of Littlewood-Richardson tableaux with certain flag conditions which vanish in a stable range. As an application, we give a combinatorial formula for the Lusztig $t$-weight multiplicity $K_{\mu 0}(t)$ of type $B_n$ and $D_n$ with highest weight $\mu$ and weight $0$.

math.RT↗
arXiv2018

Quantum nilpotent subalgebras of classical quantum groups and affine crystals

We study the crystal of quantum nilpotent subalgebra of $U_q(D_n)$ associated to a maximal Levi subalgebra of type $A_{n-1}$. We show that it has an affine crystal structure of type $D_n^{(1)}$ isomorphic to a limit of perfect Kirillov-Reshetikhin crystal $B^{n,s}$ for $s\geq 1$, and give a new polytope realization of $B^{n,s}$. We show that an analogue of RSK correspondence for type $D$ due to Burge is an isomorphism of affine crystals and give a generalization of Greene's formula for type $D$.

math.QA↗