<p>In this work, we study a sub-collection of unital completely positive maps from a unital <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {B}(\mathcal {H}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the algebra of bounded linear operators on a Hilbert space <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> in the setting of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-convexity. Let <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> be an action of a group <i>G</i> on the <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> through <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-automorphisms. We focus our attention to the set of all unital completely positive maps from <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathcal {B}(\mathcal {H}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> which remain invariant under <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\tau .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We denote this collection by the notation <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\({\text {UCP}}^{G_\tau } \big (\mathcal {A}, \mathcal {B} (\mathcal {H} ) \big ).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mtext>UCP</mtext> </mrow> <msub> <mi>G</mi> <mi>τ</mi> </msub> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> This collection forms a <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-convex set. We characterize the set of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-extreme points of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\({\text {UCP}}^{G_\tau } \big (\mathcal {A}, \mathcal {B} (\mathcal {H} ) \big ).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mtext>UCP</mtext> </mrow> <msub> <mi>G</mi> <mi>τ</mi> </msub> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Further, we conclude the article by proving the Krein–Milman type theorem in the setting of <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-convexity for the set <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\({\text {UCP}}^{G_\tau } \big (\mathcal {A}, \mathcal {B} (\mathcal {H} ) \big ).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mtext>UCP</mtext> </mrow> <msub> <mi>G</mi> <mi>τ</mi> </msub> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

\(C^*\)-extreme points of unital completely positive maps invariant under group action

  • Chaitanya J. Kulkarni

摘要

In this work, we study a sub-collection of unital completely positive maps from a unital \(C^*\) C -algebra \(\mathcal {A}\) A to \(\mathcal {B}(\mathcal {H}),\) B ( H ) , the algebra of bounded linear operators on a Hilbert space \(\mathcal {H}\) H in the setting of \(C^*\) C -convexity. Let \(\tau \) τ be an action of a group G on the \(C^*\) C -algebra \(\mathcal {A}\) A through \(C^*\) C -automorphisms. We focus our attention to the set of all unital completely positive maps from \(\mathcal {A}\) A to \(\mathcal {B}(\mathcal {H}),\) B ( H ) , which remain invariant under \(\tau .\) τ . We denote this collection by the notation \({\text {UCP}}^{G_\tau } \big (\mathcal {A}, \mathcal {B} (\mathcal {H} ) \big ).\) UCP G τ ( A , B ( H ) ) . This collection forms a \(C^*\) C -convex set. We characterize the set of \(C^*\) C -extreme points of \({\text {UCP}}^{G_\tau } \big (\mathcal {A}, \mathcal {B} (\mathcal {H} ) \big ).\) UCP G τ ( A , B ( H ) ) . Further, we conclude the article by proving the Krein–Milman type theorem in the setting of \(C^*\) C -convexity for the set \({\text {UCP}}^{G_\tau } \big (\mathcal {A}, \mathcal {B} (\mathcal {H} ) \big ).\) UCP G τ ( A , B ( H ) ) .