{"id":"711a8ffd-ff2c-42fc-9631-8d523d71acc3","arxiv_id":"2412.17444","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Braided tensor products of von Neumann algebras are constructed for actions of locally compact quantum groups linked by a bicharacter, with a canonical action in the quasi-triangular case and with crossed products as examples.","lead":"This paper defines a way to combine two von Neumann algebras when they are acted on by a quantum group with a compatible braiding, producing a new von Neumann algebra whose embeddings respect the actions. It gives the first fully general von Neumann-algebra version of the braided tensor product and shows crossed products and known examples fit into it.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; main theorem appears sound, though Proposition 4.8 is terse and should be expanded.","rationale":"The reader's weakest_assumption identifies Proposition 4.8 as the load-bearing point for Theorem 4.9, but a close reading of Claim 4 shows that it uses Lemma 4.11, not Proposition 4.8. Lemma 4.11 is proved directly from the established von Neumann Podleś condition and a standard factorization result, so the main theorem does not appear to depend on the universal Podleś lemma. The proof of Proposition 4.8 itself is dense and not machine-checked, and equation (4.10) mixes universal and reduced objects in a way that should be clarified, but this does not translate into a concrete failure of the central claim. The other flagged items, Remark 5.2 and the left-action-only convention, are explicitly deferred and do not affect Theorem 4.9. I therefore see no reason to change the reader's conditional verdict, though a revision should expand Proposition 4.8 and itemize where it is used.","tokens_in":55190,"tokens_out":41247,"duration_ms":366553,"concrete_test":"Write out the full proof of Claim 4 in Theorem 4.9 without invoking Proposition 4.8, making explicit how Lemma 4.11 yields the decomposition of m⊗T in terms of (j_{\\hat G}R_{\\hat G}⊗id)α_M^{\\hat G}(m_j)^{r21}(1⊗T_j); if this decomposition cannot be justified, the main theorem is compromised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I could not find a concrete load-bearing flaw. Theorem 4.9 is proven by reducing to dual actions via the biduality theorem and then comparing two cocycle-perturbed braided tensor products in Claim 4. The alleged dependence on Proposition 4.8 in Claim 4 is not visible: Claim 4 invokes Lemma 4.11 for the action α_M^\\hat G, whose proof uses the standard von Neumann Podleś condition from [22, Proposition 2.9], not the universal Podleś condition of Proposition 4.8. Proposition 4.8 is used in Example 8.1, but that example is not needed for the main theorem. The proof of Proposition 4.8 is compressed, and its equation (4.10) requires careful leg-typing with the half-lifted universal operator; however, this is a presentation issue rather than a demonstrated gap in the central claim. The explicitly deferred items (Remark 5.2 on faithful states, Appendix 9.2 on right actions) are limitations, not errors.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":55255,"tokens_out":7575,"duration_ms":80012,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"§4.3, Proposition 4.8"},{"comment":"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.","section":"Remark 5.2"},{"comment":"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.","section":"§9.2"},{"comment":"The heading of Section 8.6 reads 'Example 5', duplicating the heading of Section 8.5; the later example should be renumbered.","section":"§8.6"},{"comment":"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.","section":"References"},{"comment":"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.","section":"§4.2, Proposition 4.4"}],"recommendation":"minor_revision","confidential_remarks":"I found the central construction and the proof of Theorem 4.9 convincing. The only substantive concern is the compressed proof of Proposition 4.8; although this proposition is not used in the main theorem, it is used in an example, so it should be made fully verifiable. The deferred faithfulness statement in Remark 5.2 should also be clearly marked as forthcoming. With these local fixes, I would support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on arXiv:2412.17444. The paper delivers what the title promises: a braided tensor product M ⊠ N of von Neumann algebras equipped with actions of locally compact quantum groups linked by a bicharacter, with a canonical action when the quantum group is quasi-triangular. This is genuinely new at this level of generality. The obvious difficulty is showing the σ-wot span of the twisted elementary tensors is a von Neumann algebra, and the authors handle it with a real argument: reduce to dual actions via the biduality theorem, and introduce a universal lift of an action to compare cocycle-perturbed implementations. I read the proof of Theorem 4.9 carefully and it is internally consistent; the reduction in Claim 4 is legitimate and doesn't actually depend on the shaky Proposition 4.8. The paper also proves functoriality, associativity, an infinite tensor product, and gives useful examples: crossed products appear as braided tensor products, Houdayer's construction fits as a special case, and there is a clean counterexample to extending the tensor product of maps without equivariance.\n\nThe soft spots are real but minor. Remark 5.2 defers a faithfulness claim about ω_M ⊠ ω_N to the authors' forthcoming paper; that's a limitation, but it's explicitly flagged and not used in the main theorems. The paper works with left actions and relegates right actions to an appendix; that's acceptable but means some translation work for readers who live on the other side. Proposition 4.8, the universal Podleś condition, is compressed; equation (4.10) needs careful leg-typing. The stress test convinced me this is a presentation issue rather than a gap, since the main theorem's Claim 4 uses only the standard Podleś condition from the literature. The paper also leans on heavy imported machinery (Vaes' biduality theorem, universal lifts), but that's normal in this area and the dependencies are cited precisely.\n\nWho is this for? People working on quantum group actions and von Neumann algebras, and anyone who needs braided tensor products in the W* setting. It deserves a serious referee: the result is important, the proof is substantial, and the caveats are not load-bearing. I'd engage with it.","headline":"Genuinely new braided tensor product for W*-algebras with LCQG actions; main theorem holds up despite minor deferred details.","tokens_in":55887,"tokens_out":3410,"would_cite":false,"duration_ms":29271,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L67","46L55","46L06"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["braided tensor product","von Neumann algebra","locally compact quantum group","R-matrix","Drinfeld double","Yetter-Drinfeld condition","crossed product","Podleś condition"],"falsifier":"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.","tokens_in":54886,"feed_emoji":"🪢","tokens_out":7283,"duration_ms":60816,"temperature":0.7,"pith_summary":"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.","feed_headline":"Quantum-group actions gain a braided tensor product","feed_subtitle":"For quasi-triangular quantum groups it is associative, equivariant, and recovers crossed products as examples.","key_machinery":"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.","core_discovery":"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).","pith_inferences":["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."],"forward_implications":["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)."],"supporting_citations":[{"why":"Supplies the biduality theorem (its Theorem 2.6) used to reduce the general closure-under-multiplication problem to the case of dual actions, and the standard implementation of an action.","marker":"[47]"},{"why":"Provides the von Neumann algebraic Podleś condition (Proposition 2.9 and Corollary 2.7) that Proposition 4.8 modifies and the proof of Theorem 4.9 invokes.","marker":"[22]"},{"why":"Supplies the definition of bicharacter and quasi-triangular quantum group (its Definition 2.1) and the C*-algebraic braided tensor product that the von Neumann algebraic construction adapts.","marker":"[32]"},{"why":"Provides uniqueness of universal lifts of bicharacters (its Proposition 4.7) used throughout the construction of the braided flip operator.","marker":"[30]"},{"why":"Supplies the Drinfeld double construction and its R-matrix (its Section 8 and Proposition 2.7 in this paper) used for the main examples.","marker":"[3]"},{"why":"Supplies the bijection between Yetter–Drinfeld actions and actions of the Drinfeld double (its Definition 3.1 and Proposition 3.2), motivating the quasi-triangular setting.","marker":"[34]"}],"fun_headline_variants":["Braided tensor product ties quantum groups to crossed products","Equivariant braided tensor products preserve quantum symmetry","Quantum group actions yield braided tensor product with crossed-product link","New braided product for quantum group algebras, associative and equivariant","Braided tensor products recover crossed products from quantum actions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Braided tensor product ties quantum groups to crossed products","Equivariant braided tensor products preserve quantum symmetry","Quantum group actions yield braided tensor product with crossed-product link","New braided product for quantum group algebras, associative and equivariant","Braided tensor products recover crossed products from quantum actions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000682,"raw_usage":{"total_tokens":3090,"prompt_tokens":930,"completion_tokens":2160,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":546,"completion_tokens_details":{"reasoning_tokens":2079}},"tokens_in":546,"tokens_out":2160,"duration_ms":14708,"temperature":1.0,"reasoning_tokens":2079,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:27:14.139726+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the biduality theorem (its Theorem 2.6) used to reduce the general closure-under-multiplication problem to the case of dual actions, and the standard implementation of an action."},{"cited_title":"Kasprzak and P","cited_arxiv_id":null,"evidence_quote":"Provides the von Neumann algebraic Podleś condition (Proposition 2.9 and Corollary 2.7) that Proposition 4.8 modifies and the proof of Theorem 4.9 invokes."},{"cited_title":"Meyer, S","cited_arxiv_id":null,"evidence_quote":"Supplies the definition of bicharacter and quasi-triangular quantum group (its Definition 2.1) and the C*-algebraic braided tensor product that the von Neumann algebraic construction adapts."},{"cited_title":"Meyer, S","cited_arxiv_id":null,"evidence_quote":"Provides uniqueness of universal lifts of bicharacters (its Proposition 4.7) used throughout the construction of the braided flip operator."},{"cited_title":"Baaj and S","cited_arxiv_id":null,"evidence_quote":"Supplies the Drinfeld double construction and its R-matrix (its Section 8 and Proposition 2.7 in this paper) used for the main examples."},{"cited_title":"Nest and C","cited_arxiv_id":null,"evidence_quote":"Supplies the bijection between Yetter–Drinfeld actions and actions of the Drinfeld double (its Definition 3.1 and Proposition 3.2), motivating the quasi-triangular setting."}],"review_version":1}