Using the fusion product of the representations of the Lie algebra $\mathfrak{sl}_2$ we construct a set of the integrable highest weight $\hat{\mathfrak{sl}_2}$-modules $L^D$, depending on the vector $D\in\mathbb{N}^{k+1}$. In a special cases of $D$ our modules are isomorphic to the irreducible $\hat{\mathfrak{sl}_2}$-modules $L_{i,k}$. We construct a basis of the $L^D$ and study the decomposition of $L^D$ on the irreducible components. We also write a formulas for the characters of $L^D$.
For the Klein group $K$, $k\in\mathbb{Z}_{\geqslant 1}$ and $m\in\mathbb{Z}_{\geqslant 4}$, we study the representations of the orbifold vertex operator algebra $L_{\hat{\mathfrak{sl}_2}}(k,0)^{K}$ and the commutant vertex operator algebra of $L_{\hat{\mathfrak{so}_m}}(3,0)$ in $L_{\hat{\mathfrak{so}_m}}(1,0)^{\otimes 3}$ which can be realized as the orbifold vertex operator subalgebra $L_{\hat{\mathfrak{sl}_2}}(2m,0)^{K}$ or its extension. All the irreducible modules for $L_{\hat{\mathfrak{sl}_2}}(k,0)^{K}$ and $C_{{L_{\hat{\mathfrak{so}_m}}(1,0)}^{\otimes 3}}({L_{\hat{\mathfrak{so}_m}}(3,0)}…
We consider imaginary Verma modules for quantum affine algebra $U_q(\hat{\mathfrak{g}})$, where $\hat{\mathfrak{g}}$ is of type 1 i.e. of non-twisted type, and construct Kashiwara type operators and the Kashiwara algebra $\mathcal K_q$. We show that a certain quotient $\mathcal N_q^-$ of $U_q(\hat{\mathfrak{g}})$ is a simple $\mathcal K_q$-module.
In this paper we study an approximation of tensor product of irreducible integrable $\hat{\mathfrak{sl}_2}$ representations by infinite fusion products. This gives an approximation of the corresponding coset theories. As an application we represent characters of spaces of these theories as limits of certain restricted Kostka polynomials. This leads to the bosonic (which is known) and fermionic (which is new) formulas for the $\hat{\mathfrak{sl}_2}$ branching functions.
We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver $\overr{Q}$ and of the category of coherent sheaves on ${\mathbb P}^1$. Using this approach, we show that the Drinfeld--Beck isomorphism for the quantized enveloping algebra $U_v(\hat{\mathfrak{sl}}_2)$ is a corollary of an equivalence between the derived categories $D^b\bigl(\Rep(\overr{Q})\bigr)$ and $D^b\bigl(\Coh({\mathbb P}^1)\bigr)$. This technique also allows to reprove several technical results on the integral form of $U_v(\hat{\mathfrak{sl}}_2)$.
For a finite-dimensional simple Lie algebra $\mathfrak{g}$, we use the vertex tensor category theory of Huang and Lepowsky to identify the category of standard modules for the affine Lie algebra $\hat{\mathfrak{g}}$ at a fixed level $\ell\in\mathbb{N}$ with a certain tensor category of finite-dimensional $\mathfrak{g}$-modules. More precisely, the category of level $\ell$ standard $\hat{\mathfrak{g}}$-modules is the module category for the simple vertex operator algebra $L_{\hat{\mathfrak{g}}}(\ell,0)$, and as is well known, this category is equivalent as an abelian category to $\mathbf{D}(\ma…
We consider imaginary Verma modules for quantum affine algebra $U_q(\hat{\mathfrak{sl}(2)})$ and construct Kashiwara type operators and the Kashiwara algebra $\mathcal K_q$. We show that a certain quotient $\mathcal N_q^-$ of $U_q(\hat{\mathfrak{sl}(2)})$ is a simple $\mathcal K_q$-module.
Using vertex operators, we construct explicitly Lusztig's $\mathbb Z[q, q^{-1}]$-lattice for the level one irreducible representations of quantum affine algebras of ADE type. We then realize the level one irreducible modules at roots of unity and show that the q-dimension is still given by the Weyl-Kac character formula. As a consequence we also answer the corresponding question of realizing the affine Kac-Moody Lie algebras of simply laced type at level one in finite characteristic.
Let ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the double Ringel--Hall algebra of the cyclic quiver $\triangle(n)$ and let $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the modified quantum affine algebra of ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$. We will construct an integral form $\dot{{\mathfrak D}_{\vartriangle}}(n)$ for $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ such that the natural algebra homomorphism from $\dot{{\mathfrak D}_{\vartriangle}}(n)$ to the integral affine quantum Schur algebra is surjective. Furthermore, we will use Hall algebras to construct…
We decompose the $\hat{\mathfrak{sl}}(n)$-module $V(Λ_0) \otimes V(Λ_0)$ and give generating function identities for the outer multiplicities. In the process we discover some seemingly new partition identities in the cases $n=2,3$.
We give shuffle algebra realization of positive part of quantum affine superalgebra $U_{v}(\widehat{\mathfrak{D}}(2,1;θ))$ associated to any simple root systems. We also determine the shuffle algebra associated to $\widehat{\mathfrak{sl}}(2|1)$ with odd root system when $v$ is a primitive root of unity of even order, generalizing results in \cite{FJMMT03}.
For each $n\geqslant3$, we construct an uncountable family of models of the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$-module. These models are all based on partitions, and include the usual $n$-regular and $n$-restricted models, as well as Berg's ladder crystal, as special cases.
In this paper, for an arbitrary Kac-Moody Lie algebra $\mathfrak g$ and a diagram automorphism $μ$ of $\mathfrak g$ satisfying certain natural linking conditions, we introduce and study a $μ$-twisted quantum affinization algebra $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ of $\mathfrak g$. When $\mathfrak g$ is of finite type, $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ is Drinfeld's current algebra realization of the twisted quantum affine algebra. When $μ=\mathrm{id}$ and $\mathfrak g$ in affine type, $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ is the quantum toroidal al…
We study graded nonlocal $\underline{\mathsf{q}}$-vertex algebras and we prove that they can be generated by certain sets of vertex operators. As an application, we consider the family of graded nonlocal $\underline{\mathsf{q}}$-vertex algebras $V_{c,1}$, $c\geq 1$, associated with the principal subspaces $W(cΛ_0)$ of the integrable highest weight $U_q (\hat{\mathfrak{sl}}_2)$-modules $L(cΛ_0)$. Using quantum integrability, we derive combinatorial bases for $V_{c,1}$ and compute the corresponding character formulae.
The Witt group of nondegenerate braided fusion categories $\mathcal{W}$ contains a subgroup $\mathcal{W}_\text{un}$ consisting of Witt equivalence classes of pseudo-unitary nondegenerate braided fusion categories. For each finite-dimensional simple Lie algebra $\mathfrak{g}$ and positive integer $k$ there exists a pseudo-unitary category $\mathcal{C}(\mathfrak{g},k)$ consisting of highest weight integerable $\hat{g}$-modules of level $k$ where $\hat{\mathfrak{g}}$ is the corresponding affine Lie algebra. Relations between the classes $[\mathcal{C}(\mathfrak{sl}_2,k)]$, $k\geq1$ have been compl…
Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the forma…
We compute an universal weight function (off-shell Bethe vectors) in any representation with a weight singular vector of the quantum affine algebra $U_q(\hat{\mathfrak{gl}}_N)$ applying the method of projections of Drinfeld currents developed in arXiv:math/0610398.
We continue investigation of the universal weight function for the quantum affine algebra $U_q(\hat{\mathfrak{gl}}_N)$ started in arXiv:math/0610517 and arXiv:0711.2819. We obtain two recurrence relations for the universal weight function applying the method of projections developed in arXiv:math/0610398. On the level of the evaluation representation of $U_q(\hat{\mathfrak{gl}}_N)$ we reproduce both recurrence relations for the off-shell Bethe vectors calculated in arXiv:math/0702277 using combinatorial methods.
We construct embeddings of $\widehat{\mathfrak{sl}}_2$ in lattice vertex algebras by composing the Wakimoto realization with the Friedan-Martinec-Shenker bosonization. The Kac-Wakimoto hierarchy then gives rise to two new hierarchies of integrable, non-autonomous, non-linear partial differential equations. A new feature of our construction is that it works for any value of the central element of $\widehat{\mathfrak{sl}}_2$; that is, the level becomes a parameter in the equations.
Notes on a homomorphism from the affine Yangian associated with $\hat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$
We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.
We consider two complexes. The first complex is the twisted de Rham complex of scalar meromorphic differential forms on projective line, holomorphic on the complement to a finite set of points. The second complex is the chain complex of the Lie algebra of $\mathfrak{sl}_2$-valued algebraic functions on the same complement, with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{{\mathfrak{sl}_2}}$. In [Schechtman V., Varchenko A., Mosc. Math. J. 17 (2017), 787-802] a construction of a monomorphism of the first complex to the second was suggested …
The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.
We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When $\mathfrak{g}=\mathfrak{sl}_2$, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to $\hat{\mathfrak{g}}$, and we identify obstructions to the construction arising from the possible non-existence of …
We give a geometric interpretation of the inner product on the modified quantum group of $\hat{\mathfrak{sl}}_n$. We also give some applications of this interpretation, including a positivity result for the inner product, and a new geometric construction of the canonical basis.
In this note we consider the algebra $U_q(\hat{sl}_\infty)$ and we study the category O of its integrable representations. The main motivations are applications to quantum toroidal algebras, more precisely predictions of character formulae for representations of quantum toroidal algebras. In this context, we state a general positivity conjecture for representations of $U_q(\hat{sl}_\infty)$ viewed as representations of quantum toroidal algebras, that we prove for Kirillov-Reshetikhin modules.
In the first part of the paper we give the denominator identity for all simple finite-dimensional Lie super algebras $\frak g\/$ with a non-degenerate invariant bilinear form. We give also a character and (super) dimension formulas for all finite-dimensional irreducible $\frak g\/$-modules of atypicality $\leq 1\/$ . In the second part of the paper we give the denominator identity for the affine superalgebras $\hat{\frak g}\/$ associated to $\frak g\/$. Specializations of this identity give almost all old and many new formulas for the number of representations of an integer as sums of squares …
We consider an unified model, called ancestor model, associated with twisted trigonometric $R$ matrix which model leads to several descendant integrable lattice models related to the U$_{q^{1/2}}(\hat{sl_2})$ symmetry. Boundary operators compatible with integrability are introduced to this model. Reflection and dual reflection equations to ensure integrability of the system are shown to be same as the untwisted case. It follows that underlying symmetry of the ancestor model with integrable boundaries is identified with the q-deformed analogue of Onsager's symmetry. The transfer matrix and its …
The integrable structure of the two dimensional superconformal field theory is considered. The classical counterpart of our constructions is based on the $\hat{osp}(1|2)$ super-KdV hierarchy. The quantum version of the monodromy matrix associated with the linear problem for the corresponding L-operator is introduced. Using the explicit form of the irreducible representations of $\hat{osp}_q(1|2)$, the so-called "fusion relations" for the transfer matrices considered in different representations of $\hat{osp}_q(1|2)$ are obtained. The possible integrable perturbations of the model (primary oper…
For an affine Lie algebra $\hat{\mathfrak g}$ the coefficients of certain vertex operators which annihilate level $k$ standard $\hat{\mathfrak g}$-modules are the defining relations for level $k$ standard modules. In this paper we study a combinatorial structure of the leading terms of these relations for level $k=2$ standard $\hat{\mathfrak g}$-modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and the main result is a construction of combinatorially parameterized relations among the coefficients of annihilating fields. It is believed that the constructed relations among relations will p…
The infinite affine Lie algebras of type ABCD, also called $\widehat{\mathfrak{gl}}(\infty)$, $\widehat{\mathfrak{o}}(\infty)$, $\widehat{\mathfrak{sp}}(\infty)$, are equivalent to subalgebras of the quantum $W_{1+\infty}$ algebras. They have well-known representations on the Fock space of either a Dirac fermion ($\hat A_\infty$), a Majorana fermion ($\hat B_\infty$ and $\hat D_\infty$) or a symplectic boson ($\hat C_\infty$). Explicit formulas for the action of the quantum $W_{1+\infty}$ subalgebras on the Fock states are proposed for each representation. These formulas are the equivalent of …
We consider principal subspace W(Λ) of integrable highest weight module L(Λ) for quantum affine algebra $U_q(\hat{\mathfrak{sl}}_{n+1})$. We introduce quantum analogues of the quasi-particles associated with the principal subspaces for $\hat{\mathfrak{sl}}_{n+1}$ and discover certain relations among them. By using these relations we find, for certain highest weight Λ, combinatorial bases of principal subspace W(Λ) in terms of monomials of quantum quasi-particles.
In this paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and ${\mathcal{C}}$ of $\hat{\g}$-modules using generating functions, where ${\mathcal{E}}$ includes evaluation modules and ${\mathcal{C}}$ unifies highest weight modules, evaluation modules and their tensor product modules, and we classify integrable irreducible $\hat{\g}$-modules in categories ${\mathcal{E}}$ and ${\mathcal{C}}$.
A generating function of the single Hurwitz numbers of the Riemann sphere $\mathbb{CP}^1$ is a tau function of the lattice KP hierarchy. The associated Lax operator $L$ turns out to be expressed as $L = e^{\mathfrak{L}}$, where $\mathfrak{L}$ is a difference-differential operator of the form $\mathfrak{L} = \partial_s - ve^{-\partial_s}$. $\mathfrak{L}$ satisfies a set of Lax equations that form a continuum version of the Bogoyavlensky-Itoh (aka hungry Lotka-Volterra) hierarchies. Emergence of this underlying integrable structure is further explained in the language of generalized string equat…
In this paper we compare two constructions of weight functions (off-shell Bethe vectors) for the quantum affine algebra $U_q(\hat{\mathfrak{gl}}_N)$. The first construction comes from the algebraic nested Bethe ansatz. The second one is defined in terms of certain projections of products of Drinfeld currents. We show that two constructions give the same result in tensor products of vector representations of $U_q(\hat{\mathfrak{gl}}_N)$.
An integrable system is introduced, which is a generalization of the $\mathfrak{sl}(2)$ quantum affine Gaudin model. Among other things, the Hamiltonians are constructed and their spectrum is calculated within the ODE/IQFT approach. The model fits within the framework of Yang-Baxter integrability. This opens a way for the systematic quantization of a large class of integrable non-linear sigma models. There may also be some interest in terms of Condensed Matter applications, as the theory can be thought of as a multiparametric generalization of the Kondo model.
For the quantum affine algebra $U_q(\hat{\mathfrak{g}})$ with $\mathfrak{g}$ of classical type, let $χ_{λ/μ,a}$ be the Jacobi-Trudi type determinant for the generating series of the (supposed) $q$-characters of the fundamental representations. We conjecture that $χ_{λ/μ,a}$ is the $q$-character of a certain finite dimensional representation of $U_q(\hat{\mathfrak{g}})$. We study the tableaux description of $χ_{λ/μ,a}$ using the path method due to Gessel-Viennot. It immediately reproduces the tableau rule by Bazhanov-Reshetikhin for $A_n$ and by Kuniba-Ohta-Suzuki for $B_n$. For $C_n$, we deriv…
The method of vector coherent states is generalized to study representations of the affine Lie algebra $\hat{sl}(2)$. A large class of highest weight irreps is explicitly constructed, which contains the integrable highest weight irreps as special cases.
We address the novel structures arising in quantum and string integrable theories, as well as construct methods to obtain them and provide further analysis. Specifically, we implement the automorphic symmetries on periodic lattice systems to obtain integrable hierarchies, whose commutativity and integrable transformations induce a generating structure of integrable classes. This prescription is first applied to 2-dim and 4-dim setups, where we find the new $ \mathfrak{sl}_{2} $ sector, $ \mathfrak{su}(2) \oplus \mathfrak{su}(2) $ with superconductive modes, Generalised Hubbard type classes and…
We give the {\it spectral decomposition} of the path space of the $U_q(\hatsl)$ vertex model with respect to the local energy functions. The result suggests the hidden Yangian module structure on the $\hatsl$ level $l$ integrable modules, which is consistent with the earlier work [1] in the level one case. Also we prove the fermionic character formula of the $\hatsl$ level $l$ integrable representations in consequence.
The $U_q(\hat{gl}(N|N))$-analog of the half-infinite $t-J$ model with a boundary is considered by using the vertex operator approach. We find explicit bosonic formula of the boundary state in the integrable highest-weight module over the quantum superalgebra $U_q(\hat{gl}(N|N))$.
