Abstract:In this paper, we develop the PBW theory for the bosonic extension $\qbA{\g}$ of a quantum group $\mathcal{U}_q(\g)$ of \emph{any} finite type. When $\g$ belongs to the class of \emph{simply-laced type}, the algebra $\qbA{\g}$ arises from the quantum Grothendieck ring of the Hernandez-Leclerc category over quantum affine algebras of untwisted affine types. We introduce and investigate a symmetric bilinear form $\pair{\ , \ }$ on $\qbA{\g}$ which is invariant under the braid group actions $\bT_i$ on $\qbA{\g}$, and study the adjoint operators $\Ep_{i,p}$ and $\Es_{i,p}$ with respect to $\pair{\ , \ }$. It turns out that the adjoint operators $\Ep_{i,p}$ and $\Es_{i,p}$ are analogues of the $q$-derivations $e_i'$ and $\es_i$ on the negative half $\calU_q^-(\g)$ of $\calU_q(\g)$. Following this, we introduce a new family of subalgebras denoted as $\qbA{\mathfrak{g}}(\ttb)$ in $\qbA{\mathfrak{g}}$. These subalgebras are defined for any elements $\ttb$ in the positive submonoid $\bg^+$ of the (generalized) braid group $\ttB$ of $\g$. We prove that $\qbA{\mathfrak{g}}(\ttb)$ exhibits PBW root vectors and PBW bases defined by $\bT_\ii$ for any sequence $\ii$ of $\ttb$. The PBW root vectors satisfy a Levendorskii-Soibelman formula and the PBW bases are orthogonal with respect to $\pair{\ , \ }$. The algebras $\qbA{\g} (\ttb)$ can be understood as a natural extension of quantum unipotent coordinate rings.

PBW bases for $\imath$quantum groups

PBW theory for Bosonic extensions of quantum groups

Orthogonal bases for two-parameter quantum groups

Nakayama Automorphisms of PBW Deformations and Hopf Actions

PBW bases and KLR algebras

An intrinsic approach to relative braid group symmetries on $\imath$quantum groups

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

Braid Group Action and Quantum Queer Superalgebra

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

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

Tame quivers and affine bases I: a Hall algebra approach to the canonical bases

Bases of Quantized Enveloping Algebras

Braid group action and quasi-split affine $\imath$quantum groups II: higher rank

Nil-Brauer categorifies the split $\imath$-quantum group of rank one

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

Hopf PBW-deformations of a new type quantum group

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

Crystal bases of modified $\imath$quantum groups of certain quasi-split types

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

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