Shuffle algebras and their integral forms: specialization map approach in types $C_n$ and $D_n$

Abstract

We construct a family of PBWD bases for the positive subalgebras of quantum loop algebras of type $C_n$ and $D_n$, as well as their Lusztig and RTT integral forms, in the new Drinfeld realization. We also establish a shuffle algebra realization of these $\mathbb{Q}(v)$-algebras (proved earlier in arXiv:2102.11269 by completely different tools) and generalize the latter to the above $\mathbb{Z}[v,v^{-1}]$-forms. The rational counterparts provide shuffle algebra realizations of positive subalgebras of type $C_n$ and $D_n$ Yangians and their Drinfeld-Gavarini duals. While this naturally generalizes our earlier treatment of the classical type $B_n$ in arXiv:2305.00810 and $A_n$ in arXiv:1808.09536, the specialization maps in the present setup are more compelling.