<p>For a (unital) <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>, we construct a <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebraic discrete quantum group (DQG) <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal{Q}_\textrm{aut}(\mathcal{A})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Q</mi> <mtext>aut</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, coacting on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>, which is a quantum generalization of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\text{ A }ut}(\mathcal{A})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.333333em" /> <mtext>A</mtext> <mspace width="0.333333em" /> <mi>u</mi> <mi>t</mi> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in the framework of discrete quantum groups, in the sense that any other coaction of a DQG on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> factors through the above coaction of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal{Q}_\textrm{aut}(\mathcal{A})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Q</mi> <mtext>aut</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We prove by an explicit calculation that if any Kac-type <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebraic discrete quantum group <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Q</mi> </math></EquationSource> </InlineEquation> has a ‘weakly faithful’ coaction on <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(C(S^1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <msup> <mi>S</mi> <mn>1</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> which is ‘linear’ in the sense that it leaves the space spanned by <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\{ Z, \overline{Z} \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>Z</mi> <mo>,</mo> <mover> <mi>Z</mi> <mo>¯</mo> </mover> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> invariant, then <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Q</mi> </math></EquationSource> </InlineEquation> must be classical i.e. isomorphic with <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(C_0(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for some discrete group <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. This parallels the well-known result of non-existence of genuine compact quantum group symmetry obtained by the first author and his collaborators Goswami (Quantum isometry groups, Infosys Science Foundation Series, Springer, Cham, 2016) and the references therein).</p>

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

Linear coactions of discrete quantum groups on the circle

  • Debashish Goswami,
  • Suchetana Samadder

摘要

For a (unital) \(C^*\) C -algebra \(\mathcal{A}\) A , we construct a \(C^*\) C -algebraic discrete quantum group (DQG) \(\mathcal{Q}_\textrm{aut}(\mathcal{A})\) Q aut ( A ) , coacting on \(\mathcal{A}\) A , which is a quantum generalization of \({\text{ A }ut}(\mathcal{A})\) A u t ( A ) in the framework of discrete quantum groups, in the sense that any other coaction of a DQG on \(\mathcal{A}\) A factors through the above coaction of \(\mathcal{Q}_\textrm{aut}(\mathcal{A})\) Q aut ( A ) . We prove by an explicit calculation that if any Kac-type \(C^*\) C -algebraic discrete quantum group \(\mathcal {Q}\) Q has a ‘weakly faithful’ coaction on \(C(S^1)\) C ( S 1 ) which is ‘linear’ in the sense that it leaves the space spanned by \(\{ Z, \overline{Z} \}\) { Z , Z ¯ } invariant, then \(\mathcal {Q}\) Q must be classical i.e. isomorphic with \(C_0(\Gamma )\) C 0 ( Γ ) for some discrete group \(\Gamma \) Γ . This parallels the well-known result of non-existence of genuine compact quantum group symmetry obtained by the first author and his collaborators Goswami (Quantum isometry groups, Infosys Science Foundation Series, Springer, Cham, 2016) and the references therein).