<p>Let <i>A</i> be a unital <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra. An <i>A</i>-multiplier cover is a <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <i>E</i> together with a faithful non-degenerate <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo>∗</mo> </mrow> </math></EquationSource> </InlineEquation>-homomorphism from <i>A</i> to <i>M</i>(<i>E</i>). We preorder such covers by <i>A</i>-preserving unital completely positive maps between their multiplier algebras. We prove that Hamana’s injective envelope <i>I</i>(<i>A</i>) is a greatest cover in this preorder and that the maximal rigid covers are precisely those whose multiplier algebra is canonically <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo>∗</mo> </mrow> </math></EquationSource> </InlineEquation>-isomorphic to <i>I</i>(<i>A</i>). Consequently, a maximal rigid cover is greatest, rather than merely maximal among rigid covers. For <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(A=C(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <mi>C</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we further classify these covers: after the canonical identification with <i>C</i>(<i>G</i>(<i>X</i>)), where <i>G</i>(<i>X</i>) is the Gleason cover, their underlying ideals are exactly the algebras <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(C_0(U)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>U</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for dense open <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-embedded subsets <i>U</i> of <i>G</i>(<i>X</i>). Dense cozero subsets provide an important special case.</p>

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

Hamana’s injective envelope as a maximal rigid multiplier cover

  • Tomasz Kania

摘要

Let A be a unital \(C^*\) C -algebra. An A-multiplier cover is a \(C^*\) C -algebra E together with a faithful non-degenerate \(*\) -homomorphism from A to M(E). We preorder such covers by A-preserving unital completely positive maps between their multiplier algebras. We prove that Hamana’s injective envelope I(A) is a greatest cover in this preorder and that the maximal rigid covers are precisely those whose multiplier algebra is canonically \(*\) -isomorphic to I(A). Consequently, a maximal rigid cover is greatest, rather than merely maximal among rigid covers. For \(A=C(X)\) A = C ( X ) , we further classify these covers: after the canonical identification with C(G(X)), where G(X) is the Gleason cover, their underlying ideals are exactly the algebras \(C_0(U)\) C 0 ( U ) for dense open \(C^*\) C -embedded subsets U of G(X). Dense cozero subsets provide an important special case.