Suppose that a type $II_{1}$ factor $M$ decomposes in two ways as a group von Neumann algebra, e.g. as $L\Gamma$ and as $L\Lambda$. The decomposition $L\Gamma$ gives rise to a comultiplication $$\Delta_{\Gamma}:M\rightarrow M\overline{\otimes}M$$ that sends a canonical unitary $u_g$ to $u_{g}\otimes u_{g}$. There is an analogous comultiplication $\Delta_{\Lambda}$. On page 8 of Stefaan Vaes's notes, it is shown that if $\Omega$ is a unitary element in $M\overline{\otimes}M$ such that $$\Delta_{\Gamma}(x)=\Omega \Delta_{\Lambda}(x)\Omega^{*}$$ for all $x\in M$, then a certain set of equations hold which, if the group $\Gamma$ were instead abelian, would yield a symmetric 2-cocycle on the dual compact abelian group. Such cocycles cobound, and this fact leads Ioana, Popa and Vaes to prove an analogous fact in the nonabelian setting.

To obtain the set of equations in question, one writes down an element $$Z=(\Delta_{\Gamma}\otimes id)(\Omega)(\Omega \otimes 1)(1 \otimes \Omega^{*})(id \otimes \Delta_{\Gamma})(\Omega^{*})$$ which is unitary because of coassociativity properties of the two comultiplications. The set of equations referred to in the previous paragraph follow because $M$ is a factor.

Question: Is the consideration of this unitary $Z$ completely ad-hoc, or is there some deeper reason for considering an element of this form that is perhaps related to the fundamental unitary that encodes duality in the theory of locally compact quantum groups?

I think the idea of developing the link between the quantum group picture and $II_{1}$ factors is intriguing, and so posted this question instead of sending S. Vaes an e-mail, in hope that an expert would provide an answer for the OA community.

  • 1
    $\begingroup$ as someone who knows very little about II-1 factors but knows a bit more about cohomology, I think this is a great question and would also like to know more... $\endgroup$ – Yemon Choi Nov 29 '12 at 0:06
  • $\begingroup$ Hi Jon. Coincidentally, I ended up looking at that part of the IPV paper last year (or the year before? I lose track) and I now wonder whether there is some formulation in terms of (completely) bounded cohomology of $A(\Gamma)$ (since this equals $L^1(\hat{\Gamma})$ when $\Gamma$ is abelian). And then we know that for discrete groups the Fourier algebra has rather good cb cohomology properties... $\endgroup$ – Yemon Choi Jul 17 '18 at 19:35
  • $\begingroup$ @Yemon: Funny, I was thinking about asking you about a possible connection with cohomology of Banach algebras yesterday! I think this may mark a nice starting point... $\endgroup$ – Jon Bannon Jul 18 '18 at 16:17

Perhaps you can take a look at Chapter 3 of CQG and their rep cats? A good part of it makes sense for locally compact quantum groups.

| cite | improve this answer | |
  • 1
    $\begingroup$ @Jon: note that when $\Gamma$ is any discrete group then $L\Gamma$ with standard comultiplication is a compact quantum group in the sense of those notes (being the "algebra of functions" on some "compact noncommutative spaces) - so one doesn't need the L in LCQG $\endgroup$ – Yemon Choi Dec 1 '12 at 1:48
  • $\begingroup$ It does seem that Ch. 3 may have something to say, here. Also, thanks for the supplementary comment, Yemon. $\endgroup$ – Jon Bannon Dec 1 '12 at 1:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.