<p>Let <i>A</i> be a (non-unital, in general) C*-algebra with center <i>Z</i>(<i>M</i>(<i>A</i>)) of its multiplier algebra and let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{ X, \langle .,. \rangle \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>X</mi> <mo>,</mo> <mo stretchy="false">⟨</mo> <mo>.</mo> <mo>,</mo> <mo>.</mo> <mo stretchy="false">⟩</mo> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> be a full Hilbert <i>A</i>-module. Then any bijective bounded module morphism <i>T</i>, for which every norm-closed <i>A</i>-submodule of <i>X</i> is invariant, is of the form <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(T=d \cdot \textrm{id}_X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>=</mo> <mi>d</mi> <mo>·</mo> <msub> <mtext>id</mtext> <mi>X</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(d \in Z(M(A))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>∈</mo> <mi>Z</mi> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is invertible. As an example of a merely injective bounded module operator with that preserver property serves <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(T =d \cdot \textrm{id}_X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>=</mo> <mi>d</mi> <mo>·</mo> <msub> <mtext>id</mtext> <mi>X</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(|d| \in Z(M(A))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>d</mi> <mo stretchy="false">|</mo> <mo>∈</mo> <mi>Z</mi> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has a positive spectrum, but not bounded away from zero. The same assertions are true if the restriction on the C*-submodules to be norm-closed is dropped. From a different point of view, for two given strongly Morita equivalent C*-algebras <i>A</i> and <i>B</i> and a Hilbert <i>B</i>-<i>A</i> bimodule <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\{ X, \langle .,. \rangle \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>X</mi> <mo>,</mo> <mo stretchy="false">⟨</mo> <mo>.</mo> <mo>,</mo> <mo>.</mo> <mo stretchy="false">⟩</mo> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with faithful compact right action of <i>B</i>, for any two two-sided norm-closed ideals <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(I \in A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>∈</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(J \in B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>J</mi> <mo>∈</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>, any full compatible norm-closed Hilbert <i>J</i>-<i>I</i> sub-bimodule of <i>X</i> is invariant for any left bounded <i>B</i>-module operator and any right bounded <i>A</i>-module operator. So these subsets of submodules of <i>X</i> cannot rule out any bounded module operator as a non-preserver of that subset collection, however any single element of this subset collection is preserved by any bounded module operator on <i>X</i>. For any <i>B</i>-<i>A</i> imprimitivity bimodule both the C*-valued inner product values are always preserved by bijective bounded module operators <i>T</i> on <i>X</i> iff <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(T= u \cdot \textrm{id}_X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>=</mo> <mi>u</mi> <mo>·</mo> <msub> <mtext>id</mtext> <mi>X</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> for a unitary element <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(u\in Z(M(A))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>∈</mo> <mi>Z</mi> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

C*-Submodule Preserving Module Mappings on Hilbert C*-Modules

  • Michael Frank

摘要

Let A be a (non-unital, in general) C*-algebra with center Z(M(A)) of its multiplier algebra and let \(\{ X, \langle .,. \rangle \}\) { X , . , . } be a full Hilbert A-module. Then any bijective bounded module morphism T, for which every norm-closed A-submodule of X is invariant, is of the form \(T=d \cdot \textrm{id}_X\) T = d · id X where \(d \in Z(M(A))\) d Z ( M ( A ) ) is invertible. As an example of a merely injective bounded module operator with that preserver property serves \(T =d \cdot \textrm{id}_X\) T = d · id X where \(|d| \in Z(M(A))\) | d | Z ( M ( A ) ) has a positive spectrum, but not bounded away from zero. The same assertions are true if the restriction on the C*-submodules to be norm-closed is dropped. From a different point of view, for two given strongly Morita equivalent C*-algebras A and B and a Hilbert B-A bimodule \(\{ X, \langle .,. \rangle \}\) { X , . , . } with faithful compact right action of B, for any two two-sided norm-closed ideals \(I \in A\) I A , \(J \in B\) J B , any full compatible norm-closed Hilbert J-I sub-bimodule of X is invariant for any left bounded B-module operator and any right bounded A-module operator. So these subsets of submodules of X cannot rule out any bounded module operator as a non-preserver of that subset collection, however any single element of this subset collection is preserved by any bounded module operator on X. For any B-A imprimitivity bimodule both the C*-valued inner product values are always preserved by bijective bounded module operators T on X iff \(T= u \cdot \textrm{id}_X\) T = u · id X for a unitary element \(u\in Z(M(A))\) u Z ( M ( A ) ) .