<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">B</mi> </math></EquationSource> </InlineEquation> be standard operator algebras on complex Banach spaces <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Y</mi> </math></EquationSource> </InlineEquation>, respectively. For <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(T\in \mathcal {B}(\mathcal {X})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we denote by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sigma _{\pi }(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> the peripheral spectrum of <i>T</i>, defined by <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\sigma _{\pi }(T)=\{\lambda \in \sigma (T): |\lambda |=r(T)\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>λ</mi> <mo>∈</mo> <mi>σ</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo stretchy="false">|</mo> <mi>λ</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The aim of this paper is to describe the maps <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\phi _1, \phi _2: \mathcal {A} \rightarrow \mathcal {B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ϕ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>ϕ</mi> <mn>2</mn> </msub> <mo>:</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">→</mo> <mi mathvariant="script">B</mi> </mrow> </math></EquationSource> </InlineEquation> whose ranges contain all operators of rank at most two and which satisfy <Equation ID="Equ22"> <EquationSource Format="TEX">\( \sigma _{\pi }(TST) = \sigma _{\pi }(\phi _1(T) \phi _2(S) \phi _1(T)) \quad \text {for all } T, S \in \mathcal {A}. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>σ</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mi>S</mi> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>σ</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ϕ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>ϕ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>ϕ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mtext>for all</mtext> <mspace width="0.333333em" /> <mi>T</mi> <mo>,</mo> <mi>S</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> <mo>.</mo> </mrow> </math></EquationSource> </Equation>Furthermore, if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {X}=\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">X</mi> <mo>=</mo> <mi mathvariant="script">H</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {Y}=\mathcal {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Y</mi> <mo>=</mo> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation> are two complex Hilbert spaces, we characterize maps <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\phi _{1}, \phi _{2}:\mathcal {A}\rightarrow \mathcal {B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ϕ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>ϕ</mi> <mn>2</mn> </msub> <mo>:</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">→</mo> <mi mathvariant="script">B</mi> </mrow> </math></EquationSource> </InlineEquation> whose ranges contain all operators of rank at most two and satisfy <Equation ID="Equ23"> <EquationSource Format="TEX">\( \sigma _{\pi }(TS^{*}T) = \sigma _{\pi }(\phi _1(T) \phi _2(S)^{*} \phi _1(T)) \quad \text {for all } T, S \in \mathcal {A}. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>σ</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <msup> <mi>S</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>σ</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ϕ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>ϕ</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> <msub> <mi>ϕ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mtext>for all</mtext> <mspace width="0.333333em" /> <mi>T</mi> <mo>,</mo> <mi>S</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> <mo>.</mo> </mrow> </math></EquationSource> </Equation>We note that several known results follow as immediate consequences.</p>

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

Multiplicatively peripheral spectrum-preserving maps

  • I. El Khchin,
  • H. Benbouziane,
  • M. Ech-Chérif El Kettani

摘要

Let \(\mathcal {A}\) A and \(\mathcal {B}\) B be standard operator algebras on complex Banach spaces \(\mathcal {X}\) X and \(\mathcal {Y}\) Y , respectively. For \(T\in \mathcal {B}(\mathcal {X})\) T B ( X ) , we denote by \(\sigma _{\pi }(T)\) σ π ( T ) the peripheral spectrum of T, defined by \(\sigma _{\pi }(T)=\{\lambda \in \sigma (T): |\lambda |=r(T)\}\) σ π ( T ) = { λ σ ( T ) : | λ | = r ( T ) } . The aim of this paper is to describe the maps \(\phi _1, \phi _2: \mathcal {A} \rightarrow \mathcal {B}\) ϕ 1 , ϕ 2 : A B whose ranges contain all operators of rank at most two and which satisfy \( \sigma _{\pi }(TST) = \sigma _{\pi }(\phi _1(T) \phi _2(S) \phi _1(T)) \quad \text {for all } T, S \in \mathcal {A}. \) σ π ( T S T ) = σ π ( ϕ 1 ( T ) ϕ 2 ( S ) ϕ 1 ( T ) ) for all T , S A . Furthermore, if \(\mathcal {X}=\mathcal {H}\) X = H and \(\mathcal {Y}=\mathcal {K}\) Y = K are two complex Hilbert spaces, we characterize maps \(\phi _{1}, \phi _{2}:\mathcal {A}\rightarrow \mathcal {B}\) ϕ 1 , ϕ 2 : A B whose ranges contain all operators of rank at most two and satisfy \( \sigma _{\pi }(TS^{*}T) = \sigma _{\pi }(\phi _1(T) \phi _2(S)^{*} \phi _1(T)) \quad \text {for all } T, S \in \mathcal {A}. \) σ π ( T S T ) = σ π ( ϕ 1 ( T ) ϕ 2 ( S ) ϕ 1 ( T ) ) for all T , S A . We note that several known results follow as immediate consequences.