<p>In this article, we define a family of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebras that are generated by a finite set of unitaries and isometries satisfying certain twisted commutation relations and prove their <i>K</i>-stability. This family includes the <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra of doubly non-commuting isometries and free twist of isometries. Next, we consider the <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq7_HTML.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="120" Type="Linedraw" Width="24" /> </InlineMediaObject> </InlineEquation> generated by an <i>n</i>-tuple of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq8_HTML.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="120" Type="Linedraw" Width="17" /> </InlineMediaObject> </InlineEquation>-twisted isometries <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq9_HTML.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="120" Type="Linedraw" Width="17" /> </InlineMediaObject> </InlineEquation> with respect to a fixed <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\atopwithdelims ()2\)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <mfrac linethickness="0pt"> <mi>n</mi> <mn>2</mn> </mfrac> </mfenced> </math></EquationSource> </InlineEquation>-tuple <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq11_HTML.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="120" Type="Linedraw" Width="185" /> </InlineMediaObject> </InlineEquation> of commuting unitaries (see [<CitationRef CitationID="CR14">14</CitationRef>]). Identifying any point of the joint spectrum <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq12_HTML.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="120" Type="Linedraw" Width="39" /> </InlineMediaObject> </InlineEquation> of the commutative <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>C</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>-algebra generated by <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="167" /> </InlineMediaObject> <EquationSource Format="TEX">\((\{U_{ij}:1\le i&lt;j \le n\})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>U</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo>:</mo> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>&lt;</mo> <mi>j</mi> <mo>≤</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with a skew-symmetric matrix, we show that the algebra <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq15_HTML.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="120" Type="Linedraw" Width="24" /> </InlineMediaObject> </InlineEquation> is <i>K</i>-stable under the assumption that <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq16_HTML.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="120" Type="Linedraw" Width="39" /> </InlineMediaObject> </InlineEquation> does not contain any degenerate, skew-symmetric matrix. Finally, we prove the same result for the <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra generated by a tuple of free <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/12044_2025_830_IEq18_HTML.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="120" Type="Linedraw" Width="17" /> </InlineMediaObject> </InlineEquation>-twisted isometries.</p>

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

K-stability of \(C^*\)-algebras generated by isometries and unitaries with twisted commutation relations

  • Shreema Subhash Bhatt,
  • Bipul Saurabh

摘要

In this article, we define a family of \(C^*\) C -algebras that are generated by a finite set of unitaries and isometries satisfying certain twisted commutation relations and prove their K-stability. This family includes the \(C^*\) C -algebra of doubly non-commuting isometries and free twist of isometries. Next, we consider the \(C^*\) C -algebra generated by an n-tuple of -twisted isometries with respect to a fixed \(n\atopwithdelims ()2\) n 2 -tuple of commuting unitaries (see [14]). Identifying any point of the joint spectrum of the commutative \(C^{*}\) C -algebra generated by \((\{U_{ij}:1\le i<j \le n\})\) ( { U ij : 1 i < j n } ) with a skew-symmetric matrix, we show that the algebra is K-stable under the assumption that does not contain any degenerate, skew-symmetric matrix. Finally, we prove the same result for the \(C^*\) C -algebra generated by a tuple of free -twisted isometries.