Hall algebras and quantum symmetric pairs I: foundations

TL;DR

This paper develops a Hall algebra framework for categorifying $ extit{i}$-quantum groups, introducing new algebraic structures and bases, and establishing isomorphisms with universal $ extit{i}$-quantum groups of finite type.

Contribution

It introduces $ extit{i}$quiver algebras and extends semi-derived Hall algebras to 1-Gorenstein algebras, connecting them to $ extit{i}$-quantum groups.

Findings

Semi-derived Hall algebras for $ extit{i}$quiver algebras are isomorphic to universal $ extit{i}$-quantum groups.

Constructed monomial and PBW bases for Hall algebras and $ extit{i}$-quantum groups.

Introduced new class of 1-Gorenstein algebras called $ extit{i}$quiver algebras.

Abstract

A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{\boldsymbol{\varsigma}}$ with parameters $\boldsymbol{\varsigma}$ (called an $\imath$quantum group). We initiate a Hall algebra approach for the categorification of $\imath$quantum groups. A universal $\imath$quantum group $\widetilde{\mathbf U}^{\imath}$ is introduced and ${\mathbf U}^{\imath}_{\boldsymbol{\varsigma}}$ is recovered by a central reduction of $\widetilde{\mathbf U}^{\imath}$. The semi-derived Ringel-Hall algebras of the first author and Peng, which are closely related to semi-derived Hall algebras of Gorsky and motivated by Bridgeland's work, are extended to the setting of 1-Gorenstein algebras, as shown in Appendix A by the first author. A new class of 1-Gorenstein algebras (called $\imath$quiver algebras) arising from acyclic quivers with involutions is introduced. The semi-derived Ringel-Hall algebras for the Dynkin $\imath$quiver algebras are shown to be isomorphic to the universal quasi-split $\imath$quantum groups of finite type. Monomial bases and PBW bases for these Hall algebras and $\imath$quantum groups are constructed.