[论文解读] Subproduct systems of Hilbert spaces: dimension two

Boris Tsirelson|ArXiv.org|Jun 23, 2009

Holomorphic and Operator Theory参考文献 4被引用 4

一句话总结

本文在同构意义下对所有二维希尔伯特空间的离散时间子乘积系统进行了分类，证明其仅能生成类型 $I_1$ 的阿夫森系统。共识别出五个不同的同构类，其中两个类在 $I_1$ 阿夫森系统中存在不可约表示——具体为参数 $a \in (0,1)$ 的对称情形，以及由 $c > 0$ 和 $b \in \mathbb{R}$ 参数化的非对称情形，二者均可唯一地延拓为 $I_1$ 系统。

ABSTRACT

A subproduct system of two-dimensional Hilbert spaces can generate an Arveson system of type I1 only. All possible cases are classified up to isomorphism. This work is triggered by a question of Bhat: can a subproduct system of n-dimensional Hilbert spaces generate an Arveson system of type II or III? The question is still open for n=3,4,...

研究动机与目标

• 在同构意义下对所有二维希尔伯特空间的离散时间子乘积系统进行分类。
• 确定此类系统是否能生成类型 $II$ 或 $III$ 的阿夫森系统，如 Bhat 所提出的问题。
• 研究在阿夫森系统中表示的存在性与结构，特别是不可约表示。
• 表征有理时间子乘积系统在 $I_1$ 阿夫森系统中存在表示的条件。
• 证明任何存在不可约表示的此类系统必源自 $I_1$ 阿夫森系统。

提出的方法

• 利用等距映射 $\beta_{s,t}: E_{s+t} \to E_s \otimes E_t$ 上的结合性条件对可能的结构进行分类。
• 应用线性代数与归一化技术，基于内积与张量积行为对五个同构类进行分类。
• 在施加希尔伯特空间范数之前，利用先前工作 [7, 第 7 节] 的分类结果对底层线性结构进行分类。
• 分析向量 $x_t, y_t$ 在 $\beta_{s,t}$ 下的行为，推导出范数与内积的约束。
• 利用表示理论与连续性条件（Liebscher 连续性）将离散系统延拓至有理时间。
• 为两类系统在对称 Fock 空间中构造显式不可约表示，证明其可唯一嵌入 $I_1$ 阿夫森系统。

实验结果

研究问题

• RQ1 $n$ 维希尔伯特空间的子乘积系统能否生成类型 $II$ 或 $III$ 的阿夫森系统？（当 $n=2$ 时，本文解决了该问题。）
• RQ2 哪些二维希尔伯特空间的子乘积系统在阿夫森系统中存在表示？
• RQ3 有理时间子乘积系统延拓为 $I_1$ 阿夫森系统的必要与充分条件是什么？
• RQ4 在何种条件下，子乘积系统的表示是不可约的，且在同构意义下唯一？
• RQ5 在两个主要类中，参数 $a$、$c$ 与 $b$ 如何影响所生成阿夫森系统的结构？

主要发现

• 所有二维希尔伯特空间的离散时间子乘积系统恰好属于五个同构类。
• 五个类中仅有两个类在阿夫森系统中存在不可约表示：参数 $a \in (0,1)$ 的对称情形，以及由参数 $c > 0$、$b \in \mathbb{R}$ 参数化的非对称情形。
• 对称类满足 $\|x_t\| = \|y_t\| = 1$，$\langle x_t, y_t \rangle = a^t$，且 $\beta_{s,t}(x_{s+t}) = x_s \otimes x_t$，$\beta_{s,t}(y_{s+t}) = y_s \otimes y_t$。
• 非对称类满足 $\|x_t\| = 1$，$\langle x_t, y_t \rangle = 0$，当 $c \neq 1$ 时 $\|y_t\|^2 = (c^{2t} - 1)/(c^2 - 1)$，且 $\beta_{s,t}(y_{s+t}) = y_s \otimes x_t + c^s e^{i b s} x_s \otimes y_t$。
• 任何存在不可约表示的有理时间子乘积系统必可延拓为 $I_1$ 阿夫森系统。
• 在两个不可约类中构造的表示在同构意义下唯一，且在对称 Fock 空间的 $I_1$ 阿夫森系统中为不可约表示。