[论文解读] Nuclearity properties and $C^*$-envelopes of operator system inductive limits

Preeti Luthra, Ajay Kumar|arXiv (Cornell University)|Dec 5, 2016

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

一句话总结

本文研究了在算子系统范畴中，归纳极限下 $C^*$-包络与各种核性性质的保持性。在特定条件下，证明了算子系统归纳极限的 $C^*$-包络同构于其 $C^*$-包络的归纳极限；并证明了多种核性性质——如 $(\min,\mathrm{el})$-、$(\min,\mathrm{ess})$- 和 $(\mathrm{el},\mathrm{c})$-核性——在满足适当技术条件（包括 $C^*_e$-递增包含和包络中的酉性稠密性）时，可在归纳极限下保持。

ABSTRACT

We study the relationship between $C^*$-envelopes and inductive limit of operator systems. Various operator system nuclearity properties of inductive limit for a sequence of operator systems are also discussed.

研究动机与目标

• 研究算子系统的 $C^*$-包络与归纳极限之间的关系。
• 确定各种算子系统核性性质是否在归纳极限下保持。
• 建立算子系统归纳极限的 $C^*$-包络等于其 $C^*$-包络归纳极限的条件。
• 分析归纳极限中 $(\min,\mathrm{el})$-、$(\min,\mathrm{ess})$- 和 $(\mathrm{el},\mathrm{c})$-核性的保持性。
• 阐明 $C^*_e$-递增包含与 $C^*$-包络中酉性稠密性在核性保持中的作用。

提出的方法

• 利用 $C^*$-包络的普遍性质以及算子系统范畴中归纳极限的构造。
• 应用归纳极限与 $C^*$-包络可交换的事实，当系统满足 $C^*_e$-递增且具备酉性稠密性条件时。
• 应用已知的张量积核性结果：$(\min,\mathrm{el})$-核性对应于精确性，$(\mathrm{el},\mathrm{c})$-核性对应于 DCEP。
• 通过 $C^*$-包络的 $C^*$-核性表征 $(\min,\mathrm{ess})$-核性，并利用 $C^*$-核性在归纳极限下保持的性质。
• 应用最大交换张量积 $\mathrm{c}$ 在其中一个因子为 $C^*$-代数时与最大张量积重合的事实。
• 利用 $\mathrm{el}$ 张量积的左可除性，确保归纳极限与张量积的相容性。

实验结果

研究问题

• RQ1 在何种条件下，算子系统归纳极限的 $C^*$-包络与它们的 $C^*$-包络的归纳极限重合？
• RQ2 $(\min,\mathrm{el})$-核性是否在算子系统的归纳极限下保持？
• RQ3 $C^*$-包络的 $C^*$-核性是否蕴含算子系统的 $(\min,\mathrm{ess})$-核性，且该性质是否在归纳极限下保持？
• RQ4 $(\mathrm{el},\mathrm{c})$-核性（即 DCEP）是否在算子系统的归纳极限下保持？
• RQ5 $C^*_e$-递增包含与 $C^*$-包络中的酉性稠密性在归纳极限下核性保持中起什么作用？

主要发现

• 若系统为 $C^*_e$-递增，且每个 $\mathcal{S}_n$ 在 $C^*_e(\mathcal{S}_n)$ 中包含足够多的酉元，则算子系统递增序列的归纳极限的 $C^*$-包络同构于其 $C^*$-包络的归纳极限。
• 若每个 $\mathcal{S}_n$ 为 $(\min,\mathrm{el})$-核性，则归纳极限 $\displaystyle\lim_{\longrightarrow}\mathcal{S}_n$ 也为 $(\min,\mathrm{el})$-核性。
• 若每个 $\mathcal{S}_n$ 为 $(\min,\mathrm{ess})$-核性，且系统为 $C^*_e$-递增并具有酉性稠密性，则 $\displaystyle\lim_{\longrightarrow}\mathcal{S}_n$ 为 $(\min,\mathrm{ess})$-核性。
• 若每个 $\mathcal{S}_n$ 具有 DCEP（即为 $(\mathrm{el},\mathrm{c})$-核性），则归纳极限 $\displaystyle\lim_{\longrightarrow}\mathcal{S}_n$ 也具有 DCEP。
• $C^*$-核性在归纳极限下保持，确保了 $C^*_e(\mathcal{S}_n)$ 的 $C^*$-核性蕴含 $\mathcal{S}_n$ 的 $(\min,\mathrm{ess})$-核性，且该性质被归纳极限继承。
• 算子系统的归纳极限保持最大交换张量积 $\mathrm{c}$，且当其中一个因子为 $C^*$-代数时，$\mathrm{c}$ 与最大张量积重合，从而可使用 $C^*$-核性论证。