The q-Onsager algebra and the positive part of U_q(sl₂)

DOI10.1016/J.LAA.2017.01.027zbMATH Open1386.17018arXiv1506.08666OpenAlexW2580477440MaRDI QIDQ513247FDOQ513247

Paul Terwilliger

Publication date: 3 March 2017

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Abstract: The positive part $U_q^{+}$ of $U_q({widehatmathfraksl}_2)$ has a presentation by two generators $X,Y$ that satisfy the $q$-Serre relations. The $q$-Onsager algebra $mathcal{O}_q$ has a presentation by two generators $A,B$ that satisfy the $q$-Dolan/Grady relations. We give two results that describe how $U_q^{+}$ and $mathcal{O}_q$ are related. First, we consider the filtration of $mathcal{O}_q$ whose $n$th component is spanned by the products of at most $n$ generators. We show that the associated graded algebra is isomorphic to $U_q^{+}$. Second, we introduce an algebra $squar{e}_q$ and show how it is related to both $U_q^{+}$ and $mathcal{O}_q$. The algebra $squar{e}_q$ is defined by generators and relations. The generators are $lbrace{x}_{i}brac{e}_{iinmathbb{Z}_4}$ where $mathbb{Z}_4$ is the cyclic group of order 4. For $iinmathbb{Z}_4$ the generators $x_i,x_{i+1}$ satisfy a $q$-Weyl relation, and $x_i,x_{i+2}$ satisfy the $q$-Serre relations. We show that $squar{e}_q$ is related to $U_q^{+}$ in the following way. Let $squar{e}_q^{meven}$ (resp. $squar{e}_q^{modd}$) denote the subalgebra of $squar{e}_q$ generated by $x_0,x_2$ (resp. $x_1,x_3$). We show that (i) there exists an algebra isomorphism $U_q^{+}osquar{e}_q^{meven}$ that sends $Xmapsto{x}_0$ and $Ymapsto{x}_2$; (ii) there exists an algebra isomorphism $U_q^{+}osquar{e}_q^{modd}$ that sends $Xmapsto{x}_1$ and $Ymapsto{x}_3$; (iii) the multiplication map $squar{e}_q^{meven}otimessquar{e}_q^{modd}osquar{e}_q$, $uotimesvmapstouv$ is an isomorphism of vector spaces. We show that $squar{e}_q$ is related to $mathcal{O}_q$ in the following way. For nonzero scalars $a,b$ there exists an injective algebra homomorphism $mathcal{O}_{q}osquar{e}_q$ that sends $Amapstoa{x}_0+a^{-1}{x}_1$ and $Bmapstob{x}_2+b^{-1}{x}_3$.

Full work available at URL: https://arxiv.org/abs/1506.08666

Recommendations

• On a certain subalgebra of \(U_q(\widehat{\mathfrak{sl}}_2)\) related to the degenerate \(q\)-Onsager algebra
• Quantizations \(U_q (\mathfrak{sl}_{n + 1}^+)\) and \(U_q (\mathfrak{so}_{2n + 1}^+)\) as quadratic-linear algebras
• The quantum algebra \(U_q(\mathfrak{sl}_2)\) and its equitable presentation
• Two-parameter quantum affine algebra \(U_{r,s}(\widehat{\mathfrak{sl}}_2)\)
• The \(q\)-Onsager algebra and the universal Askey-Wilson algebra
• On the bosonization of \(L\)-operators for the quantum affine algebra \(U_ q ({\mathfrak {sl}}_ 2)\)
• The nonnegative part of quantum group \(U_q(\text{sl}(2))\)
• A note on the algebra Uq(sl2)
• The algebra \(U_q(\widehat{sl}_\infty)\) and applications
• The Adjoint Representation of Quantum Algebra U _q (sl(2))

zbMATH Keywords

quantum groupfiltrationgradingOnsager algebra

Mathematics Subject Classification ID

Ring-theoretic aspects of quantum groups (16T20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Cites Work

• The subconstituent algebra of an association scheme. III
• Introduction to quantum groups
• Correlation functions of the half-infinite XXZ spin chain with a triangular boundary
• Quantum affine algebras
• A basis of type Poincaré-Birkhoff-Witt for the quantum algebra of \(\widehat{sl}(2)\)
• Braid group action and quantum affine algebras
• Two linear transformations each tridiagonal with respect to an eigenbasis of the other
• Title not available (Why is that?)
• Crystal bases and two-sided cells of quantum affine algebras
• An algebraic characterization of the affine canonical basis
• The half-infinite XXZ chain in Onsager's approach
• The \(q\)-deformed analogue of the Onsager algebra: beyond the Bethe ansatz approach
• Coideal algebras from twisted Manin triples
• Quantum symmetric Kac-Moody pairs
• Exact spectrum of the XXZ open spin chain from theq-Onsager algebra representation theory
• Two relations that generalize the \(q\)-Serre relations and the Dolan-Grady relations.
• Tridiagonal pairs of \(q\)-Racah type, the double lowering operator \({\psi}\), and the quantum algebra \(U_q(\mathfrak{sl}_2)\)
• Some algebra related to \(P\)- and \(Q\)-polynomial association schemes
• THE AUGMENTED TRIDIAGONAL ALGEBRA
• Tridiagonal pairs of \(q\)-Racah type
• The shape of a tridiagonal pair.
• Tridiagonal pairs and the quantum affine algebra \(U_q(\widehat{\text{sl}}_2)\).
• Evaluation modules for the \(q\)-tetrahedron algebra
• TWO NON-NILPOTENT LINEAR TRANSFORMATIONS THAT SATISFY THE CUBIC q-SERRE RELATIONS
• Theq-Tetrahedron Algebra and Its Finite Dimensional Irreducible Modules
• The universal Askey-Wilson algebra
• Generalized \(q\)-Onsager algebras and boundary affine Toda field theories
• An integrable structure related with tridiagonal algebras
• Deformed Dolan-Grady relations in quantum integrable models
• A new current algebra and the reflection equation
• A new (in)finite-dimensional algebra for quantum integrable models
• A deformed analogue of Onsager’s symmetry in the XXZ open spin chain
• A family of tridiagonal pairs and related symmetric functions
• Finite dimensional modules for the \(q\)-tetrahedron algebra

Cited In (26)

• The \(q\)-Onsager algebra and the universal Askey-Wilson algebra
• Using a q-shuffle algebra to describe the basic module V(Λ_0) for the quantized enveloping algebra Uq(sl^2)
• The \(q\)-Onsager algebra and its alternating central extension
• The compact presentation for the alternating central extension of the \(q\)-Onsager algebra
• An action of the free product \(\mathbb{Z}_2 \star \mathbb{Z}_2 \star \mathbb{Z}_2\) on the \(q\)-Onsager algebra and its current algebra
• On the bosonization of \(L\)-operators for the quantum affine algebra \(U_ q ({\mathfrak {sl}}_ 2)\)
• Twisting finite-dimensional modules for the \(q\)-Onsager algebra \(\mathcal{O}_q\) via the Lusztig automorphism
• Double lowering operators on polynomials
• An infinite-dimensional \(\square_q\)-module obtained from the \(q\)-shuffle algebra for affine \(\mathfrak{sl}_2\)
• Higher rank classical analogs of the Askey-Wilson algebra from the sl_N Onsager algebra
• The alternating PBW basis for the positive part of Uq(sl^2)
• The Lusztig automorphism of the \(q\)-Onsager algebra
• Quantization of the Dixmier localization of \(U(sl_{n+1}(\mathbb C))\)
• The alternating central extension of the \(q\)-Onsager algebra
• Using Catalan words and a \(q\)-shuffle algebra to describe the Beck PBW basis for the positive part of \(U_q( \widehat{\mathfrak{sl}}_2)\)
• Localizations of $$ U_{q}(\mathfrak{s}\mathfrak{l}(2))$$ and $$ U_{q}(\mathfrak{o}\mathfrak{s}\mathfrak{p}(1\vert 2))$$ Associated with Euclidean and Super Euclidean Algebras
• Quantum Kostka and the rank one problem for \(\mathfrak{sl}_{2m}\)
• Finite-dimensional irreducible \(\square_q\)-modules and their Drinfel'd polynomials
• Some \(q\)-exponential formulas for finite-dimensional \(\square_q\)-modules
• The alternating central extension for the positive part of \(U_q(\hat{\mathfrak{sl}}_2)\)
• Tridiagonal pairs of \(q\)-Racah-type and the \(q\)-tetrahedron algebra
• Two-parameter quantum affine algebra \(U_{r,s}(\widehat{\mathfrak{sl}}_2)\)
• Fusion rules of \(U_ q(sl(2,\mathbb{C})),q^ m=1\)
• Title not available (Why is that?)
• The alternating central extension of the Onsager Lie algebra
• A conjecture concerning the \(q\)-Onsager algebra

This page was built for publication: The \(q\)-Onsager algebra and the positive part of \(U_q(\hat{\mathfrak{sl}}_2)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q513247)