<p>Let <i>A</i> be a unital <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra and <i>U</i>(<i>A</i>) be the unitary group of <i>A</i>. For <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(x\in A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>, the unitary orbit of <i>x</i> is the set <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\{u^*xu: u\in U(A)\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msup> <mi>u</mi> <mo>∗</mo> </msup> <mi>x</mi> <mi>u</mi> <mo>:</mo> <mi>u</mi> <mo>∈</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, we denote by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal {U}}(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">U</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the closure of the unitary orbit of <i>x</i>. In this paper, we show that if <i>A</i> is a unital simple <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra of stable rank one and real rank zero, and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(V_1,V_2\in U(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo>∈</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\([V_1]_1=[V_2]_1=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">[</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">]</mo> </mrow> <mn>1</mn> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">[</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">]</mo> </mrow> <mn>1</mn> </msub> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(K_1(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>K</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(D_c(V_1,V_2)=\textrm{dist}({\mathcal {U}}(V_1),{\mathcal {U}}(V_2))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mtext>dist</mtext> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="script">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(D_c(V_1,V_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a spectral distance function introduced by Hu and Lin and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\textrm{dist}({\mathcal {U}}(V_1),{\mathcal {U}}(V_2))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>dist</mtext> <mo stretchy="false">(</mo> <mi mathvariant="script">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="script">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the distance between <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\mathcal {U}}(V_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">U</mi> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\({\mathcal {U}}(V_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">U</mi> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we show that if <i>A</i> is a unital simple <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra of tracial rank zero, and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(V_1,V_2\in U(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo>∈</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\([\lambda -V_1]_1=[\lambda -V_2]_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">[</mo> <mi>λ</mi> <mo>-</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">]</mo> </mrow> <mn>1</mn> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">[</mo> <mi>λ</mi> <mo>-</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">]</mo> </mrow> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\lambda \notin {\mathbb {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∉</mo> <mi mathvariant="double-struck">T</mi> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(K_1(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>K</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(D_c(V_1,V_2)=\textrm{dist}({\mathcal {U}}(V_1),{\mathcal {U}}(V_2))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mtext>dist</mtext> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="script">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Thus, we generalize the results by Bhatia and Davis for distance between unitary orbits of unitary matrices.</p>

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

Distance between unitary orbits of unitary elements in \(C^*\)-algebras of real rank zero

  • Ruofei Wang,
  • Jiajie Hua

摘要

Let A be a unital \(C^*\) C -algebra and U(A) be the unitary group of A. For \(x\in A\) x A , the unitary orbit of x is the set \(\{u^*xu: u\in U(A)\}\) { u x u : u U ( A ) } , we denote by \({\mathcal {U}}(x)\) U ( x ) the closure of the unitary orbit of x. In this paper, we show that if A is a unital simple \(C^*\) C -algebra of stable rank one and real rank zero, and \(V_1,V_2\in U(A)\) V 1 , V 2 U ( A ) with \([V_1]_1=[V_2]_1=0\) [ V 1 ] 1 = [ V 2 ] 1 = 0 in \(K_1(A)\) K 1 ( A ) , then \(D_c(V_1,V_2)=\textrm{dist}({\mathcal {U}}(V_1),{\mathcal {U}}(V_2))\) D c ( V 1 , V 2 ) = dist ( U ( V 1 ) , U ( V 2 ) ) , where \(D_c(V_1,V_2)\) D c ( V 1 , V 2 ) is a spectral distance function introduced by Hu and Lin and \(\textrm{dist}({\mathcal {U}}(V_1),{\mathcal {U}}(V_2))\) dist ( U ( V 1 ) , U ( V 2 ) ) is the distance between \({\mathcal {U}}(V_1)\) U ( V 1 ) and \({\mathcal {U}}(V_2)\) U ( V 2 ) . Furthermore, we show that if A is a unital simple \(C^*\) C -algebra of tracial rank zero, and \(V_1,V_2\in U(A)\) V 1 , V 2 U ( A ) with \([\lambda -V_1]_1=[\lambda -V_2]_1\) [ λ - V 1 ] 1 = [ λ - V 2 ] 1 for all \(\lambda \notin {\mathbb {T}}\) λ T in \(K_1(A)\) K 1 ( A ) , then \(D_c(V_1,V_2)=\textrm{dist}({\mathcal {U}}(V_1),{\mathcal {U}}(V_2))\) D c ( V 1 , V 2 ) = dist ( U ( V 1 ) , U ( V 2 ) ) . Thus, we generalize the results by Bhatia and Davis for distance between unitary orbits of unitary matrices.