Measured quantum groupoids associated to proper dynamical quantum groups (Q2345693): Difference between revisions

Summary: Dynamical quantum groups were introduced by \textit{P. Etingof} and \textit{A. Varchenko} [Commun. Math. Phys. 196, No.~3, 591--640 (1998; Zbl 0957.17019); ibid. 205, No.~1, 19--52 (1999; Zbl 0943.17010)] in connection with the dynamical quantum Yang-Baxter equation, and measured quantum groupoids were introduced by \textit{M. Enock} [Mém. Soc. Math. Fr., Nouv. Sér. 114, 1--150 (2008; Zbl 1189.58002)], \textit{F. Lesieur} [Mém. Soc. Math. Fr., Nouv. Sér. 109, 1--158 (2007; Zbl 1221.46003)] and \textit{J.-M. Vallin} [Ann. Math. Blaise Pascal 21, No. 2, 81--133 (2014; Zbl 1375.46054)] in their study of inclusions of type II\(_1\) factors. In this article, we associate to suitable dynamical quantum groups, which are purely algebraic objects, Hopf \(C^*\)-bimodules and measured quantum groupoids on the level of von~Neumann algebras. Assuming invariant integrals on the dynamical quantum group, we first construct a fundamental unitary which yields Hopf bimodules on the level of \(C^*\)-algebras and von~Neumann algebras. Next, we assume properness of the dynamical quantum group and lift the integrals to the operator algebras. In a subsequent article, this construction shall be applied to the dynamical \(\mathrm{SU}_q(2)\) studied by \textit{E. Koelink} and \textit{H. Rosengren} [Acta Appl. Math. 69, No.~2, 163--220 (2001; Zbl 1011.43003)].