[论文解读] 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$，其包含所有满足 $a^*a \leq k1$ 的元素 $a$（其中 $k \in \mathbb{R}^+$）。
• 使用阿基米德化从拟算子系统 $\mathcal{X}$ 构造一个普遍对象 $\mathcal{X}_{\text{Arch}}$，确保正锥成为阿基米德的。
• 应用商映射 $P: \mathcal{X} \to \mathcal{X}_{\text{Arch}}$，并证明其为单位且完全正。
• 证明任意单位完全正映射 $\phi: \mathcal{X} \to \mathcal{Y}$（其中 $\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}$ 的良好定义性。