Pith. sign in

REVIEW 6 minor 1 cited by

Braided tensor product of von Neumann algebras

T0 review · 0 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any two von Neumann algebras with actions linked by a bicharacter, their braided tensor product is a genuine von Neumann algebra, and for quasi-triangular quantum groups it carries the canonical equivariant action.

desk verdict Genuinely new braided tensor product for W*-algebras with LCQG actions; main theorem holds up despite minor deferred details. read the letter →

arxiv 2412.17444 v1 pith:E6X7OAGN submitted 2024-12-23 math.OA math.FAmath.QA

Kenny De Commer , Jacek Krajczok This is my paper · ORCID
classification math.OAmath.FAmath.QA MSC 46L6746L5546L06
keywords braidedtensorproductvonNeumannalgebralocallycompactquantumgroupR-matrixDrinfelddoubleYetter-DrinfeldconditioncrossedPodleś
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper constructs a braided tensor product M ⊠ N of any two von Neumann algebras on which locally compact quantum groups H and G act, provided the actions are linked by a bicharacter. The product is a genuine von Neumann algebra, independent of the chosen implementations of the actions, and it comes with canonical embeddings of M and N. When the quantum group is quasi-triangular, the braided tensor product carries a unique action of the quantum group making both embeddings equivariant, and the construction is associative and extends to infinite families. The paper shows this is a real gain: for plain quantum-group actions the usual tensor product can fail to carry a diagonal action, while the braided product always succeeds.

What carries the argument

The braided flip operator U ⤬ V = (φ_V ⊗ φ_U)(pX^u)Σ, built from the universal lift pX^u of the bicharacter pX, twists the simple tensors of the two actions; combined with the universal lift α_{M,u} of an action (Section 4.3), it lets the authors reduce the closure-under-multiplication question to the case of dual actions via the biduality theorem, where a direct calculation gives closure. The weak* Podleś condition for α_{M,u} (Proposition 4.8) is what makes the reduction through the cocycle-perturbed action work.

What would settle it

Exhibit a von Neumann algebra M with an action α_M of a locally compact quantum group G for which the universal lift α_{M,u} fails the weak* Podleś condition, meaning the ultraweak closure of $(\mathrm{C}_0^u(G)^{\ast\ast}\otimes 1)\alpha_{M,u}(M)$ is a proper subspace of $\mathrm{C}_0^u(G)^{\ast\ast}\,\bar\otimes\, M$. Proposition 4.8 asserts no such pair exists; one example would break the equality in Claim 4 of the proof of Theorem 4.9, where the braided tensor products of an action and its cocycle-perturbed version are identified through exactly this condition.

Watch

Extended reading notes

Core claim

The paper proves (Theorem 4.9) that the σ-weakly closed subspace M ⊠ N = span{ι_M(m)ι_N(n)} ⊂ B(H_M ⊗ H_N), with ι_M(m) = (φ_M ⊗ φ_N)(pX^u)(m ⊗ 1)(φ_M ⊗ φ_N)(pX^u)* and ι_N(n) = 1 ⊗ n, is a von Neumann algebra, independent of the implementations of the actions (Proposition 4.4). For a quasi-triangular quantum group G with R-matrix pR, Proposition 6.3 produces a unique action G ↷ M ⊠ N for which the canonical embeddings are equivariant, implemented by the tensor product of the implementing representations; Proposition 6.6 establishes associativity, and Section 7 builds infinite braided tensor products. The crossed product of an action is recovered as a braided tensor product with a translation action (Proposition 8.4), and the construction of braided tensor products of maps requires equivariance (Proposition 5.1), failing without it (Proposition 8.3).

Load-bearing premise

The proof of Theorem 4.9 depends on a new technical lemma (Proposition 4.8) asserting that the universal lift of any action satisfies the same Podleś density condition that is known for ordinary actions; if some action violated this condition, the reduction of the proof to the dual-action case would collapse.

Editorial extensions

If this is right

  • The braided tensor product is functorial: normal completely bounded equivariant maps ϑ_1, ϑ_2 have a braided tensor product ϑ_1 ⊠ ϑ_2, with the CB norm submultiplicative (Proposition 5.1).
  • Approximation properties (w* CPAP, w* CBAP, w* OAP) pass to the braided tensor product when the approximating maps can be chosen equivariant (Proposition 5.3).
  • Crossed products are braided tensor products: L^∞(pG) ⊠ M is unitarily equivalent to G ⋉ M (Proposition 8.4), transferring known crossed-product phenomena to the braided setting.
  • The braided tensor product is associative for actions of a quasi-triangular quantum group, and the canonical action makes the embeddings equivariant; the infinite braided tensor product exists for families with invariant states (Propositions 6.6 and 7.4).
  • Without equivariance the braided tensor product of maps can fail to exist even when both maps are bounded normal functionals (Proposition 8.3).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Since the Drinfeld double is quasi-triangular, the braided tensor product subsumes the Yetter–Drinfeld setting: pairs of actions of G and pG satisfying the compatibility condition now have a natural tensor product, which classical constructions lacked.
  • The failure of the braided tensor product for non-equivariant maps (Proposition 8.3) indicates that the braided tensor product is not a genuine bifunctor on the category of actions with arbitrary morphisms; restricting to equivariant maps is the natural categorical domain.
  • The realization of crossed products as braided tensor products suggests that type III factor constructions based on crossed products (such as Houdayer's) can be rephrased as braided tensor products, potentially allowing the infinite braided tensor product to produce new families of factors.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper introduces a braided tensor product M⊠N for von Neumann algebras equipped with actions of locally compact quantum groups linked by a bicharacter. The central result, Theorem 4.9, shows that the σ-wot-closed span of products of the embedded algebras is a von Neumann algebra, and Proposition 6.3 gives a canonical action of a quasi-triangular quantum group on M⊠N making the embeddings equivariant. The paper also proves associativity (Proposition 6.6), constructs infinite braided tensor products (Section 7), and develops several examples, including the realization of crossed products as braided tensor products and a negative result for the braided tensor product of non-equivariant normal functionals (Proposition 8.3).

Significance. If correct, the main theorem is a substantial and useful contribution: proving closure under multiplication in the von Neumann setting requires the biduality theorem, universal lifts, and a reduction to dual actions, and the resulting construction is functorial, associative, and carries a canonical action. The paper is careful to distinguish proved statements from imported structural results, and the examples show that the construction has genuine consequences for crossed products, approximation properties, and the behavior of normal functionals. The proofs are long and explicit; the main reservations are local rather than affecting the central claim, namely the compressed proof of Proposition 4.8 and the explicitly deferred faithfulness statement in Remark 5.2.

minor comments (6)
  1. [§4.3, Proposition 4.8] The proof of Proposition 4.8 is too compressed to be checked as written. In particular, the passage in equation (4.11) from the second to the third line appears to omit a justification for removing the operator WpG_{r23} after inserting (b⊗a)_{r23}, and the leg-typing with the half-lifted universal operator needs to be spelled out. Since Proposition 4.8 is used in Example 8.1 and Proposition 8.1, the authors should either expand the proof or add a precise reference for the commutation relation used. I do not see this proposition used in the proof of Theorem 4.9, so the main theorem is not affected.
  2. [Remark 5.2] The assertion that ω_M⊠ω_N is a faithful normal state for faithful invariant states is explicitly deferred to the authors' own forthcoming work [11]. This should be marked as a forthcoming result or a conjecture rather than stated as a proved fact, since the present manuscript does not contain a proof.
  3. [§9.2] The appendix on right-action conventions says only that the paper 'partially' indicates how the results change in the right-convention setting. To avoid overclaiming, the authors should add a sentence clarifying which statements in the paper are proved only for left actions and which are known to transfer by the indicated translations.
  4. [§8.6] The heading of Section 8.6 reads 'Example 5', duplicating the heading of Section 8.5; the later example should be renumbered.
  5. [References] The reference list contains several OCR-style artifacts, such as 'So/suppress ltan' in [8], [20], [22], and [23], and the entry [10] appears to be missing the year of the PhD thesis. These should be cleaned before publication.
  6. [§4.2, Proposition 4.4] In the proof of Proposition 4.4, the claim that M1⊠N1 is closed under left-multiplication by ιM1(M1) and right-multiplication by ιN1(N1) is stated without proof. This is immediate from Definition 4.1, but a one-sentence justification would help the reader.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the braided tensor product construction is self-contained and does not reduce to its inputs; only a minor deferred self-reference appears in Remark 5.2.

full rationale

The central construction M⊠N is defined from a bicharacter and actions via braided flip operators (Definition 3.1, Definition 4.1), and Theorem 4.9 proves it is a von Neumann algebra by reducing to dual actions: Claim 1 treats dual actions directly, Claim 3 transfers to the cocycle-perturbed action via the external biduality theorem [47, Theorem 2.6], and Claim 4 shows the two braided tensor products coincide as subspaces using Lemma 4.11, whose proof relies on the external Podleś condition [22, Proposition 2.9]. None of these steps assumes the conclusion that M⊠N is a von Neumann algebra. Proposition 6.3 shows uniqueness of the action on M⊠N only after proving existence via the implementing unitaries; uniqueness follows from the fact that the embeddings generate the algebra, not from any self-citation. The only self-referential item is Remark 5.2, where faithfulness of ω_M ⊠ ω_N is deferred to the authors' forthcoming paper [11]; this is not used to prove Theorem 4.9, Proposition 6.3, or associativity. External references such as [22], [30], and [47] are independent mathematical results with stated assumptions, so their use is real evidence rather than circularity. Accordingly, no load-bearing circular step was identified.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The construction is axiom-light for a theory paper: the central claim depends on standard quantum group machinery and two cited structural theorems (biduality, Podleś). No data fitting or unexplained entities are introduced. The braided flip operator and universal lift are defined from the bicharacter and actions, not postulated.

assumptions (5)
  • standard math Kustermans-Vaes axioms for locally compact quantum groups, including Haar weights, Kac-Takesaki operators W_G and V_G, and duality.
    Section 2.1 uses this framework as background throughout the paper.
  • standard math Existence, uniqueness, and R-matrix identities for universal lifts of bicharacters, including equation (2.8).
    Invoked in Section 2.2, Lemma 2.5, Proposition 3.4, and Lemma 6.2, with proofs attributed to [30,32].
  • standard math Biduality theorem for actions of locally compact quantum groups ([47, Theorem 2.6]).
    Used in the proof of Theorem 4.9 to reduce general actions to dual actions, before Claim 2.
  • standard math Podleś conditions for actions of locally compact quantum groups ([22, Proposition 2.9] and Corollary 2.7).
    Used in Lemma 4.11 and Proposition 4.8 to establish density properties that are essential for Theorem 4.9.
  • standard math Existence of standard implementations of actions ([47, Definition 3.6] and [15]).
    Used in Section 7 for the infinite braided tensor product, especially in Lemma 7.5 and Proposition 7.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Braided tensor product of von Neumann algebras." pith.science (2026). https://pith.science/paper/E6X7OAGN

@misc{pith2026241217444,
  author       = {Pith},
  title        = {Pith review of: Braided tensor product of von Neumann algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E6X7OAGN}},
  note         = {Machine review of arXiv:2412.17444}
}
abstract

We introduce a definition of braided tensor product $\operatorname{M}\overline{\boxtimes}\operatorname{N}$ of von Neumann algebras equipped with an action of a quasi-triangular quantum group $\mathbb{G}$ (this includes the case when $\mathbb{G}$ is a Drinfeld double). It is a new von Neumann algebra which comes together with embeddings of $\operatorname{M},\operatorname{N}$ and the unique action of $\mathbb{G}$ for which embeddings are equivariant. More generally, we construct braided tensor product of von Neumann algebras equipped with actions of locally compact quantum groups linked by a bicharacter. We study several examples, in particular we show that crossed products can be realised as braided tensor products. We also show that one can take the braided tensor product $\vartheta_1\boxtimes\vartheta_2$ of normal, completely bounded maps which are equivariant, but this fails without the equivariance condition.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Factoriality of twisted locally compact group von Neumann algebras

    math.OA 2024-12 conditional novelty 7.0 of 10

    An exotic locally compact group with a Borel 2-cocycle is built where the untwisted group von Neumann algebra is a factor and the twisted algebra has a diffuse center.

Reference graph

Works this paper leans on

52 extracted references · 49 canonical work pages · cited by 1 Pith paper

  1. [1]

    Baaj and G

    S. Baaj and G. Skandalis. Unitaires multiplicatifs et du alit´ e pour les produits crois´ es deC˚ -alg` ebres.Ann. Sci. ´Ecole Norm. Sup. (4), 26(4):425–488, 1993

    work page 1993

  2. [2]

    S. Baaj, G. Skandalis, and S. Vaes. Non-semi-regular qua ntum groups coming from number theory. Communications in Mathe- matical Physics, 235, 09 2002

    work page 2002

  3. [3]

    Baaj and S

    S. Baaj and S. Vaes. Double crossed products of locally co mpact quantum groups. J. Inst. Math. Jussieu , 4(1):135–173, 2005

    work page 2005

  4. [4]

    N. P. Brown and N. Ozawa. C˚ -Algebras and Finite-Dimensional Approximations . Graduate Studies in Mathematics, Volume 88. American Mathematical Society, 2008

    work page 2008

  5. [5]

    Choi and G

    M.-D. Choi and G. E. Effros. Separable nuclear C˚ -algebras and injectivity. Duke Math. J. , 43:309–322, 1976

    work page 1976

  6. [6]

    A. Connes. Une classification des facteurs de type III. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 6:133–252, 1973

    work page 1973

  7. [7]

    M. Daws. Completely positive multipliers of quantum gro ups. Internat. J. Math. , 23(12):1250132, 23, 2012

    work page 2012

  8. [8]

    M. Daws, P. Kasprzak, A. Skalski, and P. M. So/suppress ltan. Closed quantum subgroups of locally compact quantum groups. Adv. Math., 231(6):3473–3501, 2012

    work page 2012

Show all 52 references
  1. [9]

    M. Daws, J. Krajczok, and C. Voigt. The approximation pro perty for locally compact quantum groups. Adv. Math. , 438:Paper No. 109452, 79, 2024

    2024

  2. [10]

    De Commer

    K. De Commer. Galois coactions for algebraic and locally compact quantum groups. PhD thesis, Katholieke Universiteit Leuven, 209

  3. [11]

    De Commer and J

    K. De Commer and J. Krajczok. The standard construction for braided tensor products of W ˚ -algebras. To appear

  4. [12]

    E. G. Effros and Z.-J. Ruan. Operator spaces, volume 23 of London Mathematical Society Monographs. New Series . The Clarendon Press, Oxford University Press, New York, 2000

    2000

  5. [13]

    M. Enock. Intermediate subfactors and quantum group me asures. J. Oper. Theory , 42(2):305–330, 1999

    1999

  6. [14]

    G. B. Folland. A course in abstract harmonic analysis . Textbooks in Mathematics. CRC Press, Boca Raton, FL, secon d edition, 2016

    2016

  7. [15]

    Haagerup

    U. Haagerup. The standard form of von Neumann algebras. Math. Scand., 37(2):271–283, 1975

    1975

  8. [16]

    Haagerup

    U. Haagerup. Group C˚ -algebras without the completely bounded approximation pr operty. J. Lie Theory , 26(3):861–887, 2016

    2016

  9. [17]

    Haagerup and J

    U. Haagerup and J. Kraus. Approximation properties for group C˚ -algebras and group von Neumann algebras. Trans. Amer. Math. Soc., 344(2):667–699, 1994

    1994

  10. [18]

    Heckenberger and H.-J

    I. Heckenberger and H.-J. Schneider. Hopf algebras and root systems , volume 247 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, [2020] ©2020

    2020

  11. [19]

    Houdayer

    C. Houdayer. A new construction of factors of type III 1. J. Funct. Anal. , 242(2):375–399, 2007

    2007

  12. [20]

    Kasprzak, F

    P. Kasprzak, F. Khosravi, and P. M. So/suppress ltan. Integrableactions and quantum subgroups. Int. Math. Res. Not. , 2018(10):3224–3254, 2018

    2018

  13. [21]

    Kasprzak, R

    P. Kasprzak, R. Meyer, S. Roy, and S. L. Woronowicz. Brai ded quantum SUp2q groups. J. Noncommut. Geom. , 10(4):1611–1625, 2016

    2016

  14. [22]

    Kasprzak and P

    P. Kasprzak and P. M. So/suppress ltan. Quantum groups with projection on von Neumann algebra level. J. Math. Anal. Appl. , 427(1):289– 306, 2015

    2015

  15. [23]

    Krajczok and P

    J. Krajczok and P. M. So/suppress ltan. Examples of compact quantum groups with L 8pGq a factor. J. Funct. Anal. , 286(6):Paper No. 110297, 2024

    2024

  16. [24]

    Krajczok and M

    J. Krajczok and M. Wasilewski. On the von Neumann algebr a of class functions on a compact quantum group. J. Funct. Anal. , 283(5):Paper No. 109549, 29, 2022

    2022

  17. [25]

    Kustermans

    J. Kustermans. Locally compact quantum groups in the un iversal setting. Internat. J. Math. , 12(3):289–338, 2001

    2001

  18. [26]

    Kustermans and S

    J. Kustermans and S. Vaes. Locally compact quantum grou ps. Ann. Sci. ´Ecole Norm. Sup. (4) , 33(6):837–934, 2000

    2000

  19. [27]

    Kustermans and S

    J. Kustermans and S. Vaes. Locally compact quantum grou ps in the von Neumann algebraic setting. Math. Scand., 92(1):68–92, 2003

    2003

  20. [28]

    S. Majid. Infinite braided tensor products and 2-D quant um gravity. In 21st Conference on Differential Geometric Methods in Theoretical Physics (XXI DGM) - 5th Nankai Workshop , 9 1992

    1992

  21. [29]

    S. Majid. Foundations of quantum group theory . Cambridge University Press, Cambridge, 1995

    1995

  22. [30]

    Meyer, S

    R. Meyer, S. Roy, and S. L. Woronowicz. Homomorphisms of quantum groups. M¨ unster J. Math., 5:1–24, 2012

    2012

  23. [31]

    Meyer, S

    R. Meyer, S. Roy, and S. L. Woronowicz. Quantum group-twisted tensor products of C˚ -algebras. Internat. J. Math. , 25(2):1450019, 37, 2014

    2014

  24. [32]

    Meyer, S

    R. Meyer, S. Roy, and S. L. Woronowicz. Quantum group-tw isted tensor products of C ˚ -algebras. II. J. Noncommut. Geom. , 10(3):859–888, 2016

    2016

  25. [33]

    M. S. M. Moakhar. Amenable actions of discrete quantum groups on von Neumann algebras. Preprint, arXiv:1803.04828[math.OA], 2018. BRAIDED TENSOR PRODUCT OF VON NEUMANN ALGEBRAS 35

    2018 arXiv

  26. [34]

    Nest and C

    R. Nest and C. Voigt. Equivariant Poincar´ e duality forquantum group actions. J. Funct. Anal. , 258(5):1466–1503, 2010

    2010

  27. [35]

    G. K. Pedersen. C˚ -algebras and their automorphism groups . Pure and Applied Mathematics (Amsterdam). Academic Press , London, 2018. Second edition of [MR0548006], Edited and wit h a preface by Søren Eilers and Dorte Olesen

    2018

  28. [36]

    Rahaman and S

    A. Rahaman and S. Roy. Quantum E p2q groups for complex deformation parameters. Rev. Math. Phys. , 33(6):Paper No. 2150021, 28, 2021

    2021

  29. [37]

    S. Roy. The Drinfeld double for C˚ -algebraic quantum groups. J. Operator Theory , 74(2):485–515, 2015

    2015

  30. [38]

    S. Roy. Braided Quantum Groups and Their Bosonizations in the C*-Algebraic Framework. International Mathematics Research Notices, 06 2022. rnac151

    2022

  31. [39]

    Roy and T

    S. Roy and T. Timmermann. The maximal quantum group-twi sted tensor product of C*-algebras. J. Noncommut. Geom. , 12(1):279–330, 2018

    2018

  32. [40]

    W. Rudin. Functional analysis. McGraw-Hill Book Co., New York-D¨ usseldorf-Johannesburg, 1973. McGraw-Hill Series in Higher Mathematics

    1973

  33. [41]

    S ¸. V. Str˘ atil˘ a and L. Zsid´ o.Lectures on von Neumann algebras . Camb.-IISc Ser. Delhi: Cambridge University Press, 2nd ed ition edition, 2019

    2019

  34. [42]

    Str˘ atil˘ a.Modular theory in operator algebras

    S ¸. Str˘ atil˘ a.Modular theory in operator algebras . Editura Academiei Republicii Socialiste Romˆ ania, Bucha rest; Abacus Press, Tunbridge Wells, 1981

    1981

  35. [43]

    C. E. Sutherland. Type analysis of the regular represen tation of a non-unimodular group. Pac. J. Math. , 79:225–250, 1979

    1979

  36. [44]

    Takesaki

    M. Takesaki. Theory of operator algebras. I , volume 124 of Encyclopaedia of Mathematical Sciences . Springer-Verlag, Berlin, 2002. Reprint of the first (1979) edition, Operator Algebras and No n-commutative Geometry, 5

    1979

  37. [45]

    Takesaki

    M. Takesaki. Theory of operator algebras. II , volume 125 of Encyclopaedia of Mathematical Sciences . Springer-Verlag, Berlin,

  38. [46]

    Takesaki

    M. Takesaki. Theory of operator algebras. III , volume 127 of Encyclopaedia of Mathematical Sciences . Springer-Verlag, Berlin,

  39. [47]

    S. Vaes. The unitary implementation of a locally compac t quantum group action. J. Funct. Anal. , 180(2):426–480, 2001

    2001

  40. [48]

    Operator Algebras and Non-commutative Geometry, 8

  41. [49]

    Vaes and A

    S. Vaes and A. Van Daele. The Heisenberg commutation rel ations, commuting squares and the Haar measure on locally co mpact quantum groups. In Operator algebras and mathematical physics. Proceedings o f the conference, Constant ¸a, Romania, July 2–7, 2001, pages 379–400. Bucha...

    2001

  42. [50]

    S. Vaes. Factoriality of twisted locally compact group von Neumann algebras. Preprint, arXiv:2412.15733 [math.O A], 2024

    2024 arXiv

  43. [52]

    Van Daele

    A. Van Daele. Locally compact quantum groups. A von Neum ann algebra approach. SIGMA Symmetry Integrability Geom. Methods Appl., 10:Paper 082, 41, 2014. Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belg ium Email address : kenny.de.commer@vub.be Vrije Universiteit B...

    2014

  44. [2003]

    Operator Algebras and Non-commutative Geometry, 6

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.