Double-bosonization and Majid's conjecture (V): grafting of quantum groups

This paper aims to develop a grafting method to address Majid’s conjecture, which enables the construction of a larger target quantum group by grafting two given smaller ones. This method is significant for advancing the understanding of the generation, classification, and construction of (quasi-)Hopf algebras. To pave the way for the grafting method, we first set up a multi-tensor product theory for generalized double-bosonization to acquire the necessary information on the braiding $R$-matrices (see \cite{HH2}). Beyond the perspective of braided monoidal categories arising from the representations of quantum subgroups, the grafting procedure necessitates incorporating structural information from root systems in Lie theory. This approach provides a one-stop strategy for resolving the generation problem in Majid’s conjecture on quantum trees.

💡 Research Summary

The paper develops a novel “grafting” technique to address Majid’s conjecture that every Drinfeld‑Jimbo quantum group can be generated from (U_q(\mathfrak{sl}_2)) by iterated double‑bosonization. While earlier works (HH1–HH3) built a quantum “tree” by adding a single simple root at each step, this work shows how to combine two (or more) smaller quantum groups simultaneously to obtain a larger one.

The authors first establish a multi‑tensor‑product theory for generalized double‑bosonization. For a collection of quasitriangular Hopf algebras (H_i) (typically (U_q(\mathfrak g_i))) with universal R‑matrices (R_i) and finite‑dimensional representations (V_i), they give an explicit formula for the R‑matrix of the tensor product representation (V_1\otimes\cdots\otimes V_n) (Proposition 3.1). This avoids cumbersome direct calculations and enables them to compute the characteristic polynomial of the associated braiding matrix (PR) (Proposition 3.2).

Next, they construct a weakly quasitriangular dual pair ((U_{\mathrm{ext}}(\mathfrak g_1\oplus\cdots\oplus\mathfrak g_n),, H_{R_{V_1\otimes\cdots\otimes V_n}})) (Theorem 3.2). This pair supplies the necessary co‑quasitriangular Hopf algebra (A) for the generalized double‑bosonization. Theorem 3.3 then extends Majid’s double‑bosonization to the multi‑tensor‑product setting, providing a systematic way to build a Hopf algebra on the space \