The representation theory of the Hopf algebroid $U_{q,x}(\widehat{sl_2})=U_{q,λ}(\widehat{sl_2})$ is initiated and it is established that the intertwiner between the tensor products of dynamical evaluation modules is a well-poised balanced $_{10}W_9$ symbol, confirming a conjecture of Konno, that the degeneration of the elliptic $_{12}V_{11}$ series to $_{10}W_9$ can be proven based on the representation theory of $U_{q,x}(\widehat{sl_2})$, the degeneration of the elliptic algebra $U_{q,p}(\widehat{sl_2})$ as $p \to 0$.
In this paper, we explore natural connections among the representations of the extended affine Lie algebra $\widehat{sl_N}(\mathbb{C}_q)$ with $\mathbb{C}_q=\mathbb{C}_q[t_0^{\pm1},t_1^{\pm1}]$ an irrational quantum 2-torus, the simple affine vertex algebra $L_{\widehat{sl_{\infty}}}(\ell,0)$ with $\ell$ a positive integer, and Levi subgroups $G$ of $GL_\ell(\mathbb{C})$. First, we give a canonical isomorphism between the category of integrable restricted $\widehat{sl_N}(\mathbb{C}_q)$-modules of level $\ell$ and that of equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules. Second, we…
We study embeddings of the simple admissible affine vertex algebras $V_k(sl(2))$ and $V_k(osp(1,2))$, $k \notin {\Bbb Z}_{\ge 0}$, into the tensor product of rational Virasoro and $N=1$ Neveu-Schwarz vertex algebra with lattice vertex algebras. We prove that the admissible affine vertex algebra $V_k(sl(2))$ can be embedded into vertex algebra $L^{Vir} (c_{p,p'}, 0) \otimes Π(0)$ where $L^{Vir} (c_{p,p'}, 0) $ is suitable minimal Virasoro vertex algebra and $Π(0)$ is a vertex algebra of lattice type. By using these realizations we construct a family of weight, logarithmic and Whittaker $\wideha…
Two Equivalent Realizations of Trigonometric Dynamical Affine Quantum Group $U_{q,x}(\widehat{sl_2})=U_{q,λ}(\widehat{sl_2})$, Drinfeld Currents and Hopf Algebroid Structures
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)$
Two Homomorphisms from the affine Yangian associated with $\widehat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$
In this paper, we explore natural connections among trigonometric Lie algebras, (general) affine Lie algebras, and vertex algebras. Among the main results, we obtain a realization of trigonometric Lie algebras as what were called the covariant algebras of the affine Lie algebra $\widehat{\mathcal{A}}$ of Lie algebra $\mathcal{A}=\frak{gl}_{\infty}\oplus\frak{gl}_{\infty}$ with respect to certain automorphism groups. We then prove that restricted modules of level $\ell$ for trigonometric Lie algebras naturally correspond to equivariant quasi modules for the affine vertex algebras $V_{\widehat{\…
A bosonization of the quantum affine superalgebra $U_q(\widehat{sl}(M|N))$ is presented for an arbitrary level $k \in {\bf C}$.The Wakimoto realization is given by using $ξ-η$ system. The screening operators that commute with $U_q(\widehat{sl}(M|N))$ are presented for the level $k \neq -M+N$. New bosonization of the affine superalgebra $\widehat{sl}(M|N)$ is obtained in the limit $q \to 1$.
Generating Functions with $τ$-Invariance and Vertex Representations of Quantum Affine Algebras $U_{r,s}(\widehat{\mathfrak{g}})$ (I): Simply-laced Cases
A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we prove that the set of the isomorphism classes of simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ has an extended crystal structure isomorphic to the extended crystal $\widehat{B}_{\mathfrak{g}}(\inft…
In this paper, we introduce an algebra $\mathcal{H}$ from a subspace lattice with respect to a fixed flag which contains its incidence algebra as a proper subalgebra. We then establish a relation between the algebra $\mathcal{H}$ and the quantum affine algebra $U_{q^{1/2}}(\widehat{\mathfrak{sl}}_2)$, where $q$ denotes the cardinality of the base field. It is an extension of the well-known relation between the incidence algebra of a subspace lattice and the quantum algebra $U_{q^{1/2}}(\mathfrak{sl}_2)$. We show that there exists an algebra homomorphism from $U_{q^{1/2}}(\widehat{\mathfrak{sl}…
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{\mathca…
We construct cubic Hamiltonians for quantum Gaudin models of affine types $\hat{\mathfrak{sl}}_M$. They are given by hypergeometric integrals of a form we recently conjectured in arXiv:1804.01480. We prove that they commute amongst themselves and with the quadratic Hamiltonians. We prove that their vacuum eigenvalues, and their eigenvalues for one Bethe root, are given by certain hypergeometric functions on a space of affine opers.
Fix an affine Lie algebra $\widehat{\mathfrak{g}}_κ$ with associated principal affine W-algebra $\mathcal{W}_κ$. A basic conjecture of Frenkel--Kac--Wakimoto asserts that Drinfeld--Sokolov reduction sends admissible $\widehat{\mathfrak{g}}_κ$-modules to zero or cohomological shifts of minimal series $\mathcal{W}_κ$-modules. We prove this conjecture and a natural generalization to the spectrally flowed Drinfeld--Sokolov reduction functors. This extends the previous results of Arakawa for the minus reduction.
In this paper, we study a family of infinite-dimensional Lie algebras $\widehat{X}_{S}$, where $X$ stands for the type: $A,B,C,D$, and $S$ is an abelian group, which generalize the $A,B,C,D$ series of trigonometric Lie algebras. Among the main results, we identify $\widehat{X}_{S}$ with what are called the covariant algebras of the affine Lie algebra $\widehat{\mathcal{L}_{S}}$ with respect to some automorphism groups, where $\mathcal{L}_{S}$ is an explicitly defined associative algebra viewed as a Lie algebra. We then show that restricted $\widehat{X}_{S}$-modules of level $\ell$ naturally co…
We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$.…
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}.
We conjecture that quantum Gaudin models in affine types admit families of local higher Hamiltonians, labelled by the (countably infinite set of) exponents, whose eigenvalues are given by functions on a space of meromorphic opers associated with the Langlands dual Lie algebra. This is in direct analogy with the situation in finite types. However, in stark contrast to finite types, we prove that in affine types such functions take the form of hypergeometric integrals, over cycles of a twisted homology defined by the levels of the modules at the marked points. That result prompts the further con…
Drinfeld Realization for Quantum Affine Orthosymplectic Superalgebras
Instituto de Ciências Exatas, Universidade Federal de Minas Gerais（米纳斯吉拉斯联邦大学精确科学学院）；Shenzhen International Center for Mathematics, Southern University of Science and Technology（南方科技大学深圳国际数学中心）
Multiple commutation relations of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_N)$, nested Bethe vector and the Gelfand-Tsetlin basis
Japan Women’s University（日本女子大学）；Faculty of Marine Technology, Tokyo University of Marine Science and Technology（东京海洋大学海事技术学部）；Department of Physics, Tokyo University of Science（东京理科大学物理学系）
We consider commutation relations and invertibility relations of vertex operators for the quantum affine superalgebra $U_q(\widehat{sl}(M|N))$ by using bosonization. We show that vertex operators give a representation of the graded Zamolodchikov-Faddeev algebra by direct computation.Invertibility relations of type-II vertex operators for $N>M$ are very similar to those of type-I for $M>N$.
Non-stationary difference equation and affine Laumon space III : Generalization to $\widehat{\mathfrak{gl}}_N$
Nagoya University（名古屋大学）；Tohoku University（东北大学）；Kobayashi-Maskawa Institute, Nagoya University（小林-益川研究所）；Research Institute for Mathematical Sciences, Kyoto University（京都大学数学科学研究所）；Institute for Information Transmission Problems（信息传输问题研究所）；University of Tokyo（东京大学）；Kobe University（神户大学）
The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $κ$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=κ^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which d…
