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.

On quantization of the Lie algebra

Quantum Galois theory for compact Lie groups

Quantization of Lie-Poisson structures by peripheric chains

On quantum Lie algebras and quantum root systems

Symmetries of the multicomponent q -KP hierarchy on a Grassmannian

Quantisation of semisimple real Lie groups

q-Deformation of W(2,2) Lie algebra associated with quantum groups

Berezin quantization and representation theory

A Note on Gauge Transformations in Batalin-Vilkovisky Theory

Quantization of Lorentzian free BV theories: factorization algebra vs algebraic quantum field theory

PBW theory for Bosonic extensions of quantum groups

Quantization of parafermion vertex algebras

On a Graph Theoretic Formula of Gammelgaard for Berezin–Toeplitz Quantization

Multiboson Realizations of Lie and Quant Urn Algebras

Q A ] 2 7 Ju n 20 07 Rankin-Cohen brackets and formal quantization

Quantizations of multiplicative hypertoric varieties at a root of unity

A quantum anchor for higher Koszul brackets

Bases of Quantized Enveloping Algebras

BMS-like algebras: canonical realisations and BRST quantisation

Zhukovsky-Volterra top and quantisation ideals