Abstract:This paper is about the positive part $U^+_q$ of the quantum group $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. Recently we introduced a type of element in $U^+_q$, said to be alternating. Each alternating element commutes with exactly one of $A$, $B$, $qBA-q^{-1}AB$, $qAB-q^{-1}BA$; this gives four types of alternating elements. There are infinitely many alternating elements of each type, and these mutually commute. In the present paper we use the alternating elements to obtain a central extension $\mathcal U^+_q$ of $U^+_q$. We define $\mathcal U^+_q$ by generators and relations. These generators, said to be alternating, are in bijection with the alternating elements of $U^+_q$. We display a surjective algebra homomorphism $\mathcal U^+_q \to U^+_q$ that sends each alternating generator of $\mathcal U^+_q$ to the corresponding alternating element in $U^+_q$. We adjust this homomorphism to obtain an algebra isomorphism $\mathcal U_q^+ \to U^+_q \otimes \mathbb F \lbrack z_1, z_2,\ldots\rbrack$ where $\mathbb F$ is the ground field and $\lbrace z_n\rbrace_{n=1}^\infty$ are mutually commuting indeterminates. We show that the alternating generators form a PBW basis for $\mathcal U_q^+$. We discuss how $\mathcal U^+_q$ is related to the work of Baseilhac, Koizumi, Shigechi concerning the $q$-Onsager algebra and integrable lattice models.

Orthogonal bases for two-parameter quantum groups

PBW bases for $\imath$quantum groups

PBW theory for Bosonic extensions of quantum groups

PBW bases and KLR algebras

Two-parameter quantum groups and $R$-matrices: classical types

Using Catalan words and $q$-shuffle algebras to describe the Damiani-Beck PBW bases for the positive parts of quantum affine superalgebra $U_q(C(2)^{(2)})$ and quantum admissible affine algebra $\mathcal{U}_q(\widehat{\mathfrak{s l}}_2)$

Shuffle algebras and their integral forms: specialization map approach in types $B_n$ and $G_2$

The PBW basis of $U_{q,\bar{q}}(\ddot{\mathfrak{gl}}_n)$

Shuffle Algebras and Their Integral Forms: Specialization Map Approach in Types B n and G 2

Weak Hopf Algebras Corresponding to Quantum Algebras U Q ( F ( K , H ))

An Integral PBW Basis of the Quantum Affine Algebra of Type A$_{2}^{(2)}$

The alternating central extension for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

Dual Canonical Bases for the Quantum General Linear Supergroup

Dual Canonical Bases for the Quantum Special Linear Group and Invariant Subalgebras

Rosso-Yamane Theorem on PBW basis of $U_q(A_N)$

Bases of Quantum Cluster Algebra of Type $\Widetilde{a}^{(1)}_{1}$

Orthogonal polynomial duality and unitary symmetries of multi--species ASEP$(q,\boldsymbolθ)$ and higher--spin vertex models via $^*$--bialgebra structure of higher rank quantum groups

The quantum general linear supergroup, canonical bases and Kazhdan-Lusztig polynomials

Notes: from dual canonical bases to triangular bases of quantum cluster algebras

On some algebraic and geometric aspects of the quantum unitary group

Harish-Chandra Theorem for Two-parameter Quantum Groups