Serre-Lusztig relations for $\imath$quantum groups III

Abstract

let $\widetilde{\bf U}^\imath$ be a quasi-split universal $\imath$quantum group associated to a quantum symmetric pair $(\widetilde{\bf U}, \widetilde{\bf U}^\imath)$ of Kac-Moody type with a diagram involution $τ$. We establish the Serre-Lusztig relations for $\widetilde{\bf U}^\imath$ associated to a simple root $i$ such that $i \neq τi$, complementary to the Serre-Lusztig relations associated to $i=τi$ which we obtained earlier. A conjecture on braid group symmetries on $\widetilde{\bf U}^\imath$ associated to $i$ disjoint from $τi$ is formulated.