[论文解读] Factoring in Non-commutative Analytic Toeplitz Algebras

David W. Kribs|ArXiv.org|Sep 23, 2003

Advanced Operator Algebra Research参考文献 8被引用 20

一句话总结

本文研究非交换解析 Toeplitz 代数的结构，重点关注等距算子的因式分解性质，以及 wot-闭左理想与不变子空间之间自然对应关系的失效。结果表明，虽然等距算子 $L_w$ 在单位球内具有唯一的因式分解，但在整个代数中这一性质不成立，且由于深层的因式分解障碍，子空间与理想之间的对应关系遭到破坏。

ABSTRACT

The non-commutative analytic Toeplitz algebra is the weak operator topology closed algebra generated by the left regular representation of the free semigroup on $n$ generators. The structure theory of contractions in these algebras is examined. Each is shown to have an $H^\infty$ functional calculus. The isometries defined by words are shown to factor only as the words do over the unit ball of the algebra. This turns out to be false over the full algebra. The natural identification of weakly closed left ideals with invariant subspaces of the algebra is shown to hold only for a proper subcollection of the subspaces.

研究动机与目标

• 理解非交换解析 Toeplitz 代数 $\mathfrak{L}_n$ 中压缩算子的结构及其函数演算性质。
• 调查 $\mathfrak{L}_n$ 中的 wot-闭左理想是否如右理想那样自然地对应于不变子空间。
• 分析 $\mathfrak{L}_n$ 中等距算子 $L_w$ 的因式分解行为，特别是它们是否仅能按单词 $w$ 的方式因式分解。
• 确定非酉压缩算子的最小等距扩张，并证明 $H^\infty$ 函数演算的存在性。
• 澄清 $\operatorname{Lat}(\mathfrak{L}_n)$ 中子空间与 wot-闭左理想之间自然识别的成立范围，并识别出实现完全对应关系的障碍。

提出的方法

• 利用自由半群 $\mathcal{F}_n$ 在 $n$ 个生成元上的左正则表示，将 $\mathfrak{L}_n$ 定义为由等距算子 $L_i = \lambda(z_i)$ 生成的 wot-闭代数。
• 应用傅里叶系数展开 $X \sim \sum_w x_w L_w$ 来分析算子及其在 $\ell_2(\mathcal{F}_n)$ 上的作用。
• 采用循环翻转的概念以及映射 $\mu$ 和 $i$，将不变子空间与理想联系起来，其中 $\mu(\mathcal{M}) = \overline{\{J \in \mathfrak{L}_n : J\xi_1 \in \mathcal{M}\}}\xi_1$。
• 分析压缩算子的伴随幂的强收敛性，以证明最小等距扩张为移位算子，利用非酉压缩算子满足 $X^*{}^k \to 0$ 强收敛的事实。
• 通过在弱算子拓扑下构造无界网，证明即使 $\xi_1 = \lim J_\alpha \xi_1$，也有 $I \notin \mathcal{I}$，揭示了 wot-收敛性的局限性。
• 证明尽管 $i(R\mathcal{H}_n)$ 包含由 $L_w$ 生成的 wot-闭左理想，但等式仅在特定条件下成立，例如当 $J = L_w$ 时。

实验结果

研究问题

• RQ1 在 $\mathfrak{L}_n$ 中，wot-闭左理想与不变子空间之间的自然识别是否普遍成立，如同右理想的情形一样？
• RQ2 在 $\mathfrak{L}_n$ 中，等距算子 $L_w$ 是否仅能按单词 $w$ 的方式因式分解，无论是在单位球内还是在整个代数中？
• RQ3 非酉压缩算子在 $\mathfrak{L}_n$ 中的最小等距扩张是什么？每个此类压缩算子是否都具有 $H^\infty$ 函数演算？
• RQ4 在什么条件下 $i(\mathcal{M})$ 等于由给定算子生成的 wot-闭左理想，特别是当 $\mathcal{M}$ 是循环子空间时？
• RQ5 左理想与子空间之间的对应关系为何会失效？无界 wot-收敛在这一失效中扮演了何种角色？

主要发现

• 所有 $\mathfrak{L}_n$ 中的非酉压缩算子的最小等距扩张都是移位算子，且所有此类移位算子均具有无限重数。
• 每个 $\mathfrak{L}_n$ 中的非酉压缩算子都具有 $H^\infty$ 函数演算，从而将函数演算框架扩展到了这一非交换设置中。
• 在 $\mathfrak{L}_n$ 的单位球内，等距算子 $L_w$ 的因式分解方式与单词 $w$ 的因式分解方式唯一一致，但在整个代数中这一唯一因式分解性质不成立。
• 由 $L_2$ 生成的 wot-闭左理想并非 wot-闭，两侧行理想的情况亦然，这表明存在一种在右理想情形中不存在的结构性失效。
• wot-闭左理想与不变子空间之间的自然识别仅在 $\operatorname{Lat}(\mathfrak{L}_n)$ 的一个真子集上成立，其障碍源于无界 wot-收敛。
• 当 $J = L_w$ 时，$i(R\mathcal{H}_n)$ 等于由 $L_w$ 生成的 wot-闭左理想，但这一等式在一般情况下不成立，表明存在一个根本性的障碍，阻碍了完全的对应关系。