<p>Given a <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {C}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>C</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <i>A</i> with an almost periodic time evolution <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>, we define a new <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {C}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>C</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>, which we call the crystal of&#xa0;<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\((A,\sigma )\)</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>, that represents the zero temperature limit of&#xa0;<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\((A, \sigma )\)</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>. We prove that there is a one-to-one correspondence between the ground states of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\((A,\sigma )\)</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 the states on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>, justifying the name. In order to investigate further the relation between low temperature equilibrium states on <i>A</i> and traces on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>, we define a Fock module <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> over the crystal and construct a vacuum representation of <i>A</i> on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation>. This allows us to show, under relatively mild assumptions, that for sufficiently large inverse temperatures <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> the <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq16.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {KMS}_\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>KMS</mtext> <mi>β</mi> </msub> </math></EquationSource> </InlineEquation>-states on <i>A</i> are induced from traces on <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation> by means of the Fock module. In the second part, we compare the K-theoretic structures of <i>A</i> and <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>. Previous work by various authors suggests that they have (rationally) isomorphic K-groups. We analyze this phenomenon in detail, confirming it under favorable conditions, but showing that, in general, there is apparently no easy way to relate these groups. As examples, we discuss in particular Exel’s results on semi-saturated circle actions, and recent results of Miller on the K-theory of inverse semigroup <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq20.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {C}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>C</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebras. In relation to the latter, we introduce the notion of a scale&#xa0;<i>N</i> on an inverse semigroup&#xa0;<i>I</i> and define a new inverse semigroup&#xa0;<InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5212_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>, which we call the crystal of&#xa0;(<i>I</i>,&#xa0;<i>N</i>).</p>

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

Crystallization of \(\hbox {C}^*\)-Algebras

  • Marcelo Laca,
  • Sergey Neshveyev,
  • Makoto Yamashita

摘要

Given a \(\hbox {C}^*\) C -algebra A with an almost periodic time evolution \(\sigma \) σ , we define a new \(\hbox {C}^*\) C -algebra \(A_c\) A c , which we call the crystal of  \((A,\sigma )\) ( A , σ ) , that represents the zero temperature limit of  \((A, \sigma )\) ( A , σ ) . We prove that there is a one-to-one correspondence between the ground states of \((A,\sigma )\) ( A , σ ) and the states on \(A_c\) A c , justifying the name. In order to investigate further the relation between low temperature equilibrium states on A and traces on \(A_c\) A c , we define a Fock module \(\mathcal {F}\) F over the crystal and construct a vacuum representation of A on \(\mathcal {F}\) F . This allows us to show, under relatively mild assumptions, that for sufficiently large inverse temperatures \(\beta \) β the \(\sigma \) σ - \(\hbox {KMS}_\beta \) KMS β -states on A are induced from traces on \(A_c\) A c by means of the Fock module. In the second part, we compare the K-theoretic structures of A and \(A_c\) A c . Previous work by various authors suggests that they have (rationally) isomorphic K-groups. We analyze this phenomenon in detail, confirming it under favorable conditions, but showing that, in general, there is apparently no easy way to relate these groups. As examples, we discuss in particular Exel’s results on semi-saturated circle actions, and recent results of Miller on the K-theory of inverse semigroup \(\hbox {C}^*\) C -algebras. In relation to the latter, we introduce the notion of a scale N on an inverse semigroup I and define a new inverse semigroup  \(I_c\) I c , which we call the crystal of (IN).