On The Algebras $U_q^{\pm}(A_N)$: From A Constructive-Computational Viewpoint

TL;DR

This paper demonstrates that the positive and negative parts of the quantum group of type A_N are solvable polynomial algebras by constructing suitable monomial orderings, enabling constructive and computational analysis of their structure.

Contribution

It introduces a new monomial ordering on the PBW basis that proves $U_q^{ ext{±}}(A_N)$ are solvable polynomial algebras, facilitating structural and module analysis.

Findings

$U_q^+(A_N)$ and $U_q^-(A_N)$ are solvable polynomial algebras.

Constructed an appropriate monomial ordering $ extless$ on the PBW basis.

Enabled constructive-computational methods for structural properties.

Abstract

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. $U_q^-(A_N)$) established by Yamane, it is shown, by constructing an appropriate monomial ordering $\prec$ on ${\cal B}$, that $U_q^+(A_N)$ (resp. $U_q^-(A_N)$) is a solvable polynomial algebra. Consequently, further structural properties of $U_q^+(A_N)$ (resp. $U_q^-(A_N)$) and their modules may be established and realized in a constructive-computational way.