<p> We study the Haagerup property of certain semigroup crossed products. Let <i>P</i> be a left Ore semigroup. Then <i>P</i> generates a group <i>G</i>. We assume that there is an action <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> of <i>G</i> on a unital <InlineEquation ID="IEq1000"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq1000.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\rm C}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="normal">C</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <i>A</i>. If <i>A</i> has an <InlineEquation ID="IEq123"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq123.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-invariant state <InlineEquation ID="IEq239"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq239.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(D^G_P\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>D</mi> <mi>P</mi> <mi>G</mi> </msubsup> </math></EquationSource> </InlineEquation> has a <i>GP</i>-invariant state, then <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> induces a state <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>τ</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> on the reduced semigroup crossed product <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\rtimes_{\alpha,r} P\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <msub> <mo>⋊</mo> <mrow> <mi>α</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mi>P</mi> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\((A\rtimes_{\alpha,r} P,\tau')\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <msub> <mo>⋊</mo> <mrow> <mi>α</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mi>P</mi> <mo>,</mo> <msup> <mi>τ</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has the Haagerup property, then both <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\((A,\tau)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>G</i> have the Haagerup property. Conversely, the Haagerup property of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\((A,\tau)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> implies that of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1511_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\((A\rtimes_{\alpha,r} P,\tau')\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <msub> <mo>⋊</mo> <mrow> <mi>α</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mi>P</mi> <mo>,</mo> <msup> <mi>τ</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, when <i>G</i> is amenable.</p>

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

Haagerup property of semigroup crossed products by left Ore semigroups

  • Q. Meng

摘要

We study the Haagerup property of certain semigroup crossed products. Let P be a left Ore semigroup. Then P generates a group G. We assume that there is an action \(\alpha\) α of G on a unital \({\rm C}^*\) C -algebra A. If A has an \(\alpha\) α -invariant state \(\tau\) τ and \(D^G_P\) D P G has a GP-invariant state, then \(\tau\) τ induces a state \(\tau'\) τ on the reduced semigroup crossed product \(A\rtimes_{\alpha,r} P\) A α , r P . If \((A\rtimes_{\alpha,r} P,\tau')\) ( A α , r P , τ ) has the Haagerup property, then both \((A,\tau)\) ( A , τ ) and G have the Haagerup property. Conversely, the Haagerup property of \((A,\tau)\) ( A , τ ) implies that of \((A\rtimes_{\alpha,r} P,\tau')\) ( A α , r P , τ ) , when G is amenable.