Related papers: Rosso-Yamane Theorem on PBW basis of $U_q(A_N)$
Let $U_q^+(A_N)$ (resp. $U_q^-(A_N)$) be the $(+)$-part (resp. $(-)$-part) of the Drinfeld-Jimbo quantum group of type $A_N$ over a field $K$. With respect to Jimbo relations and the PBW $K$-basis ${\cal B}$ of $U_q^+(A_N)$ (resp.…
We consider the PBW basis of the type A quantum toroidal algebra developed by the author, and prove commutation relations between its generators akin to the ones studied by Burban-Schiffmann for n=1. This gives rise to a new presentation of…
We present and prove in detail a Poincare--Birkhoff--Witt commutator lemma for the quantum superalgebra U_q[gl(m|n)].
We show explicitly a generalised Lie algebra embedded in the positive and negative parts of the Drinfeld-Jimbo quantum groups of type A_n. Such a generalised Lie algebra satisfy axioms closely related to the ones found by S.L. Woronowicz.…
We review some applications of Gr\"obner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.
Recently, Kuniba, Okado and Yamada proved that the transition matrix of PBW-type bases of the positive-half of a quantized universal enveloping algebra $U_q(\mathfrak{g})$ coincides with a matrix coefficients of the intertwiner between…
We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological…
We give Gr\"obner-Shirshov bases for Drinfeld-Kohno Lie algebra $\textbf{L}_{n}$ in \cite{[Et]} and Kukin Lie algebra $A_P$ in \cite{Kukin}, where $P$ is a semigroup. As applications, we show that as $\mathbb{Z}$-module $\textbf{L}_{n}$ is…
We construct a family of PBWD (Poincar\'e-Birkhoff-Witt-Drinfeld) bases for the quantum loop algebras $U_v(L\mathfrak{sl}_n), U_{v_1,v_2}(L\mathfrak{sl}_n), U_v(L\mathfrak{sl}(m|n))$ in the new Drinfeld realizations. In the 2-parameter…
We establish Gr\"{o}bner-Shirshov bases theory for Gelfand-Dorfman-Novikov algebras over a field of characteristic $0$. As applications, a PBW type theorem in Shirshov form is given and we provide an algorithm for solving the word problem…
We prove that the Yangian associated to an untwisted symmetric affine Kac-Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed by the authors in arXiv:1407.7994 as an algebraic formalism of…
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…
Let $ \mathfrak{g} $ be an untwisted affine Kac-Moody algebra over the field $ K \, $, and let $ U_q(\mathfrak{g}) $ be the associated quantum enveloping algebra; let $ \mathfrak{U}_q(g) $ be the Lusztig's integer form of $…
Using Buchberger-Shirshov Algorithm and Composition-Diamond lemma we obtain the reduced Grobner-Shirshov bases of $\widetilde{A_n}$ and classify all reduced words of the affine Weyl group $\widetilde{A_n}$.
We establish PBW type bases for $\imath$quantum groups of arbitrary finite type, using the relative braid group symmetries. Explicit formulas for root vectors are provided for $\imath$quantum groups of each rank 1 type. We show that our PBW…
Consider the class RBLie of Lie algebras equipped with a Rota---Baxter operator. Then the forgetful functor RBLie --> Lie has a left adjoint one denoted by $U_{RB}(\cdot)$. We prove an "operator" analogue of the Poincare---Birkhoff---Witt…
This note has two purposes. First we establish that the map defined in [L, $\S 40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincar\'e--Birkhoff--Witt (PBW) type for…
In this paper we will present the results of Artin--Markov on braid groups by using the Groebner--Shirshov basis. As a consequence we can reobtain the normal form of Artin--Markov--Ivanovsky as an easy corollary.
For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants…
We will introduce an $\mathbb{N}$-filtration on the negative part of a quantum group of type $A_n$, such that the associated graded algebra is a q-commutative polynomial algebra. This filtration is given in terms of the representation…