Double crossed products of locally compact quantum groups

For a matched pair of locally compact quantum groups, we construct the double crossed product as a locally compact quantum group. This construction generalizes Drinfeld's quantum double construction. We study the modular theory and the C*-algebraic properties of these double crossed products, as well as several links between double crossed products and bicrossed products. In an appendix, we study the Radon-Nikodyni derivative of a weight under a quantum group action (following Yamanouchi) and obtain, as a corollary, a new characterization of closed quantum subgroups.