[論文レビュー] Arveson's extension theorem in *-algebras

Hossein Esslamzadeh, Lyudmila Turowska|arXiv (Cornell University)|Nov 20, 2013

Advanced Operator Algebra Research参考文献 16被引用数 3

ひとこと要約

この論文は、アーキメデス化を主要な道具として用いることで、アーヴェソンの拡張定理の純代数的一般化を確立している。具体的には、ヒルベルト空間上の有界作用素の代数 $ \mathcal{B}( \mathcal{H} )$ が、自己随伴単位的部分空間（すなわち、単位的 $*$-代数の自己随伴単位的部分空間）である準作用素系の圏においても、依然として単射的であることを示している。主な結果は、このような準作用素系から定義された単位的完全正値写像が、全体の $*$-代数へ拡張可能であることを保証している。

ABSTRACT

Arveson's extension theorem asserts that B(H) is an injective object in the category of operator systems. Calling every self adjoint unital subspace of a unital *-algebra, a quasi operator system, we show that Arveson's theorem remains valid in the much larger category of quasi operator systems. This shows that Arveson's theorem as a non commutative extension of Hahn-Banach theorem, is of purely algebraic nature.

研究の動機と目的

• 関数解析学に知られるアーヴェソンの拡張定理が、$C^*$-代数的構造に依存しない純粋な代数的性質を有するかを調査すること。
• $C^*$-代数を超えて、定義域を有界単位的 $*$-代数および準作用素系に置き換えることで、定理を拡張すること。
• この拡張された準作用素系の圏においても、$\mathcal{B}(\mathcal{H})$ が単射的であることを示すこと。
• 行列順序を持つ $*$-ベクトル空間に行列順序単位を備えた文脈において、アーキメデス化の普遍的性質を確立すること。
• 古典的な解析的手法を避けて、代数的および順序論的道具に依存する、アーヴェソン型拡張定理の新たな証明技法を提供すること。

提案手法

• 単位的 $*$-代数の自己随伴単位的部分空間としての準作用素系の概念を導入すること。
• 単位的 $*$-代数 $\mathcal{A}$ の有界部分代数 $\mathcal{A}_0$ を、ある $k \in \mathbb{R}^+$ に対して $a^*a \leq k1$ を満たす要素 $a$ 全体の集合として定義すること。
• アーキメデス化を用いて、準作用素系 $\mathcal{X}$ から、正の錐がアーキメデス的になる普遍的対象 $\mathcal{X}_{\text{Arch}}$ を構成すること。
• 商写像 $P: \mathcal{X} \to \mathcal{X}_{\text{Arch}}$ を適用し、それが単位的かつ完全正値的であることを示すこと。
• 正の錐が適切にアーキメデス的である準作用素系 $\mathcal{Y}$ を含む $*$-代数に値をとる任意の単位的完全正値写像 $\phi: \mathcal{X} \to \mathcal{Y}$ が、$\mathcal{X}_{\text{Arch}}$ を通して一意に因数分解可能であることを証明すること。
• 還元可能なイデアル $\mathcal{A}_R$ とノルムの性質を活用し、誘導写像 $\widetilde{\phi}$ の定義可能性と正値性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 アーヴェソンの拡張定理は、$C^*$-代数を超えた純粋な代数的設定へ一般化可能か？
• RQ2 $\mathcal{B}(\mathcal{H})$ の単射性は、解析的性質ではなく、代数的および順序論的構造に起因するものか？
• RQ3 アーキメデス化は、準作用素系からの完全正値写像の拡張に普遍的な構成を提供するか？
• RQ4 準作用素系からの単位的完全正値写像の拡張は、そのアーキメデス化を通じて一意に因数分解可能か？
• RQ5 有界部分代数 $\mathcal{A}_0$ は、このような代数的拡張を可能にするために果たす役割は何か？

主な発見

• $\mathcal{B}(\mathcal{H})$ は、準作用素系の圏において単射的である。これは、そのような系から $\mathcal{B}(\mathcal{H})$ への任意の単位的完全正値写像が、全体の $*$-代数へ拡張可能であることを意味する。
• 有界な準作用素系 $\mathcal{X}$ のアーキメデス化 $\mathcal{X}_{\text{Arch}}$ は、適切なアーキメデス的錐を持つ準作用素系への単位的完全正値写像の普遍的対象である。
• 商写像 $P: \mathcal{X} \to \mathcal{X}_{\text{Arch}}$ は単位的かつ完全正値的であり、任意の単位的完全正値写像 $\phi: \mathcal{X} \to \mathcal{Y}$ は $\mathcal{X}_{\text{Arch}}$ を通して一意に因数分解可能である。
• 商写像 $P$ の核 $N$ に対して、すべての $x \in N$ に対して $\|x\|_{\mathcal{A}} = 0$ が成り立つ。これにより $\phi(N) = 0$ が保証され、$\widetilde{\phi}$ が定義可能である。
• 誘導写像 $\widetilde{\phi}: \mathcal{X}_{\text{Arch}} \to \mathcal{Y}$ は、$\mathcal{B}$ における行列順序単位のアーキメデス性によって示されるように完全正値的である。
• この構成は還元可能なイデアル $\mathcal{A}_R$ に依存しており、$\|\cdot\|_{\mathcal{B}}$ がノルムであることから、$\phi(N) = 0$ が $\widetilde{\phi}$ の定義可能性を保証する。