PBW-Basis of Reduced Drinfeld Double Hall Algebra of Type An via Gröbner–Shirshov Basis

In the Ringel–Hall algebra of Dynkin type, the set of all commutator relations between the isoclasses of indecomposable representations forms a minimal Gröbner–Shirshov basis and the set of the corresponding irreducible elements forms a PBW-type basis of the Ringel–Hall algebra. We aim to generalize this result to the reduced Drinfeld double Hall algebra of type [Formula: see text]. First, we compute a minimal Gröbner–Shirshov basis for the reduced Drinfeld double Hall algebra of type [Formula: see text] by proving that all possible compositions between the commutator relations are trivial. Then, by taking the corresponding irreducible monomials, we construct a PBW-type basis for the reduced Drinfeld double Hall algebra of type [Formula: see text].