<p>Given a locally compact quantum group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation> and a dual unitary 2-cocycle <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\hat{\Omega }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation>, any <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\hbox {W}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>W</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <i>A</i> with a <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation>-action can be twisted into a new <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\hbox {W}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>W</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(A_{\hat{\Omega }}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </msub> </math></EquationSource> </InlineEquation> with an action by the cocycle twist <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {G}_{\hat{\Omega }}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">G</mi> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation>. We show how the standard space <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(L^2(A_{\hat{\Omega }})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, with its standard <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {G}_{\hat{\Omega }}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">G</mi> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </msub> </math></EquationSource> </InlineEquation>-representation, can be seen as a twist of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(L^2(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with its standard <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation>-representation. Under an additional technical condition, we identify <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(L^2(A_{\hat{\Omega }})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(L^2(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and describe the modular conjugation; we show that this special condition is satisfied when <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\hat{\Omega }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation> arises from a skew bicharacter. We then apply these general results in the special case of generalized Drinfeld doubles and braided tensor products. As another application, we obtain a description of the universal <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\hbox {C}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>C</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra of functions on the generalized Drinfeld double.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The standard construction for cocycle twisted and braided tensor product \(\hbox {W}^*\)-algebras

  • K. De Commer,
  • J. Krajczok

摘要

Given a locally compact quantum group \(\mathbb {G}\) G and a dual unitary 2-cocycle \(\hat{\Omega }\) Ω ^ , any \(\hbox {W}^*\) W -algebra A with a \(\mathbb {G}\) G -action can be twisted into a new \(\hbox {W}^*\) W -algebra \(A_{\hat{\Omega }}\) A Ω ^ with an action by the cocycle twist \(\mathbb {G}_{\hat{\Omega }}\) G Ω ^ of \(\mathbb {G}\) G . We show how the standard space \(L^2(A_{\hat{\Omega }})\) L 2 ( A Ω ^ ) , with its standard \(\mathbb {G}_{\hat{\Omega }}\) G Ω ^ -representation, can be seen as a twist of \(L^2(A)\) L 2 ( A ) with its standard \(\mathbb {G}\) G -representation. Under an additional technical condition, we identify \(L^2(A_{\hat{\Omega }})\) L 2 ( A Ω ^ ) with \(L^2(A)\) L 2 ( A ) and describe the modular conjugation; we show that this special condition is satisfied when \(\hat{\Omega }\) Ω ^ arises from a skew bicharacter. We then apply these general results in the special case of generalized Drinfeld doubles and braided tensor products. As another application, we obtain a description of the universal \(\hbox {C}^*\) C -algebra of functions on the generalized Drinfeld double.