Global bases for quantum Borcherds-Bozec algebras (Q2152854)

Consider a quiver with loops. The Grothendieck group arising from Lusztig sheaves on representation varieties is generated by the elementary simple perverse sheaves \(F_i^{(n)}\) with all vertices \(i\) and \(n\in \mathbb{N}\). Bozec showed that this Grothendieck group is isomorphic to \(U_q^-(\mathfrak{g})\), which gives a construction of its canonical basis. Z. Fan, S.-J. Kang, Y. R. Kim and B. Tong give an explicit description of the radical of Lusztig's bilinear form (Theorem 4, page 3731). The authors also obtain higher order Serre relations, which have more general forms, resulting in a new presentation of the quantum Borcherds-Bozec algebra in terms of primitive generators. They prove the existence and uniqueness of global bases for quantum Borcherds-Bozec algebras and their integrable highest weight modules (Theorem 26, page 3751), conjecturing that their global bases coincide with a variation of Bozec's canonical bases.