<p>We consider a class of Markov interval maps <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f\in \mathcal {M}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <i>I</i> an interval, whose associated transition matrix <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A_f\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>f</mi> </msub> </math></EquationSource> </InlineEquation> is necessarily primitive. Then we search for subdynamics, i.e., a subset <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(J\subset I\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>J</mi> <mo>⊂</mo> <mi>I</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(g=f\vert _{J} \in \mathcal { M}([J])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi>g</mi> <mo>=</mo> <mi>f</mi> <mo stretchy="false">|</mo> </mrow> <mi>J</mi> </msub> <mo>∈</mo> <mi mathvariant="script">M</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mi>J</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, with [<i>J</i>] the minimal closed interval containing <i>J</i>. The transition matrix <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(A_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> of <i>g</i> is obtained through successive state splittings of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(A_f\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>f</mi> </msub> </math></EquationSource> </InlineEquation>, followed by the removal of appropriate row(s) and column(s). We prove the existence of such <i>J</i> ensuring <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(g\in \mathcal {M}([J])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mo stretchy="false">[</mo> <mi>J</mi> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We also consider the Cuntz–Krieger algebra <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {O}_{A_{f}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>f</mi> </msub> </msub> </math></EquationSource> </InlineEquation> representation <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\pi _{f,x}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>π</mi> <mrow> <mi>f</mi> <mo>,</mo> <mi>x</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> on the Hilbert space associated to the <i>f</i>-orbit of each point <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(x\in J\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>J</mi> </mrow> </math></EquationSource> </InlineEquation>. We similarly obtain a representation <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\pi _{g,x}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>π</mi> <mrow> <mi>g</mi> <mo>,</mo> <mi>x</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal {O}_{A_{g}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>g</mi> </msub> </msub> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\pi _{g,x}(\mathcal {O}_{A_{g}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mrow> <mi>g</mi> <mo>,</mo> <mi>x</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>g</mi> </msub> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a subalgebra of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\pi _{f,x}(\mathcal {O}_{A_{f}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mrow> <mi>f</mi> <mo>,</mo> <mi>x</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>f</mi> </msub> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. By exploring this further, we show that in fact <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathcal {O}_{A_{g}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>g</mi> </msub> </msub> </math></EquationSource> </InlineEquation> is a corner algebra of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathcal {O}_{A_{f}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>f</mi> </msub> </msub> </math></EquationSource> </InlineEquation> by finding a projection <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(p_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathcal {O}_{A_{g}}=p_{J}\,\mathcal {O}_{A_{f}}p_{J}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>g</mi> </msub> </msub> <mo>=</mo> <msub> <mi>p</mi> <mi>J</mi> </msub> <mspace width="0.166667em" /> <msub> <mi mathvariant="script">O</mi> <msub> <mi>A</mi> <mi>f</mi> </msub> </msub> <msub> <mi>p</mi> <mi>J</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We explicitly enumerate such corner algebras for each splitting state. This method provides a systematic way to construct concrete examples of specific Cuntz–Krieger corner algebras.</p>

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

Markov invariant dynamics and Cuntz–Krieger corner algebras

  • C. Correia Ramos,
  • Nuno Martins,
  • Paulo R. Pinto

摘要

We consider a class of Markov interval maps \(f\in \mathcal {M}(I)\) f M ( I ) with I an interval, whose associated transition matrix \(A_f\) A f is necessarily primitive. Then we search for subdynamics, i.e., a subset \(J\subset I\) J I and \(g=f\vert _{J} \in \mathcal { M}([J])\) g = f | J M ( [ J ] ) , with [J] the minimal closed interval containing J. The transition matrix \(A_g\) A g of g is obtained through successive state splittings of \(A_f\) A f , followed by the removal of appropriate row(s) and column(s). We prove the existence of such J ensuring \(g\in \mathcal {M}([J])\) g M ( [ J ] ) . We also consider the Cuntz–Krieger algebra \(\mathcal {O}_{A_{f}}\) O A f representation \(\pi _{f,x}\) π f , x on the Hilbert space associated to the f-orbit of each point \(x\in J\) x J . We similarly obtain a representation \(\pi _{g,x}\) π g , x of \(\mathcal {O}_{A_{g}}\) O A g . We prove that \(\pi _{g,x}(\mathcal {O}_{A_{g}})\) π g , x ( O A g ) is a subalgebra of \(\pi _{f,x}(\mathcal {O}_{A_{f}})\) π f , x ( O A f ) . By exploring this further, we show that in fact \(\mathcal {O}_{A_{g}}\) O A g is a corner algebra of \(\mathcal {O}_{A_{f}}\) O A f by finding a projection \(p_J\) p J such that \(\mathcal {O}_{A_{g}}=p_{J}\,\mathcal {O}_{A_{f}}p_{J}\) O A g = p J O A f p J . We explicitly enumerate such corner algebras for each splitting state. This method provides a systematic way to construct concrete examples of specific Cuntz–Krieger corner algebras.