Quantum double constructions for compact quantum group

For a non-degenerate pair of compact quantum groups, we first construct the quantum double as an algebraic compact quantum group in an algebraic framework. Then by adopting some completion procedure, we give the universal and reduced quantum double constructions in the correspondence C*-algebraic settings, which generalize Drinfeld's quantum double construction and yield new C*-algebraic compact quantum groups.