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.

On A Certain Subalgebra of U-Q((Sl)Over-Cap2) Related to the Degenerate Q-Onsager Algebra

U-q(sl(m+1))-Module Algebra Structures on the Coordinate Algebra of a Quantum Vector Space

Tridiagonal Pairs And The Quantum Affine Algebra U-Q((Sl)Over-Cap(2))

Quantum Double of Uq((sl2)⩽0)

Quantum $SL(2,\mathbb{R})$ and its irreducible representations

Tridiagonal pairs and the quantum affine algebra U_q(sl_2)

The Quantum Algebra U-Q(Sl(2)) And Its Equitable Presentation

On some algebraic and geometric aspects of the quantum unitary group

The quantum algebra Uq(sl2) and its equitable presentation

The quantum algebra $U_q(sl_2)$ and its equitable presentation

Quantum double of ${\rm U}_q((\ksl_2)^{\leq 0})$

The $q$-Onsager Algebra and the Quantum Torus

Extended Quantum Enveloping Algebras of Sl(2)

A new type restricted quantum group

Tridiagonal pairs and the quantum affine algebra $${\boldmath U_q({\widehat {sl}}_2)}$$

$q$-Analogue of the degree zero part of a rational Cherednik algebra

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

Tridiagonal pairs and the quantum affine algebra $U_q({\hat {sl}}_2)$

An integral form of the quantized enveloping algebra of sl_2 and its completions

Elliptic Quantum Toroidal Algebras, Z-algebra Structure and Representations