<p>For a semisimple unital Banach algebra <i>A</i> over <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation>, and elements <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(a,b\in A,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi>A</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> we show that the similarity orbits, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\,\textrm{orb}\,}}(a)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>orb</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\,\textrm{orb}\,}}(b), \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>orb</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> over the principal component of the invertible group of <i>A</i>,&#xa0; commute precisely when there is at least one nonzero complex number not belonging to the spectrum of any product <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\( a^\prime b^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mo>′</mo> </msup> <msup> <mi>b</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>—where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="186" /> </InlineMediaObject> <EquationSource Format="TEX">\( (a^\prime ,b^\prime )\in {{\,\textrm{orb}\,}}(a)\times {{\,\textrm{orb}\,}}(b) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mi>a</mi> <mo>′</mo> </msup> <mo>,</mo> <msup> <mi>b</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mrow> <mspace width="0.166667em" /> <mtext>orb</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mrow> <mspace width="0.166667em" /> <mtext>orb</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this case, the polynomially convex hull of the spectra of the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\( a^\prime b^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mo>′</mo> </msup> <msup> <mi>b</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> is constant. When <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\,\textrm{orb}\,}}(a)={{\,\textrm{orb}\,}}(b) ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>orb</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mrow> <mspace width="0.166667em" /> <mtext>orb</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> then <i>a</i> is central under the aforementioned assumption—and the result then generalizes part of an old theorem due to J.&#xa0;Zemánek. We show further that the two classical characterizations of commutative Banach algebras via the spectral radius can be algebraically localized in the sense of ‘local’ implies ‘global’. Thereafter, in Section&#xa0;<InternalRef RefID="Sec3">3</InternalRef>, we give a (somewhat weaker) localization of the above situation involving spectral perturbation on small neighborhoods in a similarity orbit. Finally, we apply the above results to algebraic elements and idempotents in particular, so that orthogonality of similarity orbits of two idempotents is equivalent to a pair of spectral radius properties. To conclude with, a couple of localization theorems specific to idempotents and algebraic elements are presented. Similar statements to all of the above hold if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\( a^\prime b^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mo>′</mo> </msup> <msup> <mi>b</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> is replaced by <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\( a^\prime + b^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mo>′</mo> </msup> <mo>+</mo> <msup> <mi>b</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\( a^\prime - b^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mo>′</mo> </msup> <mo>-</mo> <msup> <mi>b</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, or <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2522_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\( a^\prime + b^\prime -a^\prime b^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mo>′</mo> </msup> <mo>+</mo> <msup> <mi>b</mi> <mo>′</mo> </msup> <mo>-</mo> <msup> <mi>a</mi> <mo>′</mo> </msup> <msup> <mi>b</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Commutativity and Orthogonality of Similarity Orbits in Banach Algebras

  • Rudi Brits,
  • Muhammad Hassen,
  • Francois Schulz

摘要

For a semisimple unital Banach algebra A over \( \mathbb {C}\) C , and elements \(a,b\in A,\) a , b A , we show that the similarity orbits, \( {{\,\textrm{orb}\,}}(a)\) orb ( a ) and \( {{\,\textrm{orb}\,}}(b), \) orb ( b ) , over the principal component of the invertible group of A,  commute precisely when there is at least one nonzero complex number not belonging to the spectrum of any product \( a^\prime b^\prime \) a b —where \( (a^\prime ,b^\prime )\in {{\,\textrm{orb}\,}}(a)\times {{\,\textrm{orb}\,}}(b) \) ( a , b ) orb ( a ) × orb ( b ) . In this case, the polynomially convex hull of the spectra of the \( a^\prime b^\prime \) a b is constant. When \( {{\,\textrm{orb}\,}}(a)={{\,\textrm{orb}\,}}(b) ,\) orb ( a ) = orb ( b ) , then a is central under the aforementioned assumption—and the result then generalizes part of an old theorem due to J. Zemánek. We show further that the two classical characterizations of commutative Banach algebras via the spectral radius can be algebraically localized in the sense of ‘local’ implies ‘global’. Thereafter, in Section 3, we give a (somewhat weaker) localization of the above situation involving spectral perturbation on small neighborhoods in a similarity orbit. Finally, we apply the above results to algebraic elements and idempotents in particular, so that orthogonality of similarity orbits of two idempotents is equivalent to a pair of spectral radius properties. To conclude with, a couple of localization theorems specific to idempotents and algebraic elements are presented. Similar statements to all of the above hold if \( a^\prime b^\prime \) a b is replaced by \( a^\prime + b^\prime \) a + b , \( a^\prime - b^\prime \) a - b , or \( a^\prime + b^\prime -a^\prime b^\prime \) a + b - a b .