[论文解读] On bounded and unbounded idempotents whose sum is a multiple of the identity

Yu. S. Samoĭlenko, Lyudmila Turowska|ArXiv.org|Sep 2, 2001

Advanced Operator Algebra Research参考文献 19被引用 7

一句话总结

本文研究由 $n$ 个幂等元生成的 $*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 的有界与无界 $*$-表示，这些幂等元之和为 $\lambda e$，其中 $\lambda \in \mathbb{C}$ 且 $e$ 为单位元。本文在酉等价意义下对这些表示进行了分类，表明当 $n \geq 5$ 时，对许多 $\lambda$ 值，代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 是 $*$-野的，这意味着不存在有限分类，且当 $\lambda = 3/2$ 且 $n=3$ 时，该代数不是类型 I 代数。主要贡献在于识别出代数为 $*$-野或存在不可约表示的参数集合。

ABSTRACT

We study bounded and unbounded representations of the $*$-algebra $Q_{n,λ}(*)$ generated by $n$ idempotents whose sum equals $λe$ ($λ\in{\mathbb C}$, $e$ is the identity).

研究动机与目标

• 在酉等价意义下对由 $n$ 个幂等元之和为 $\lambda e$ 生成的代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 的 $*$-表示进行分类。
• 确定 $\lambda \in \mathbb{C}$ 的集合，使得有界与无界表示存在。
• 研究 $*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 是否为类型 I 或 $*$-野，特别是当 $n \geq 5$ 时。
• 将关于正交投影的已知结果推广至具有和约束的一般幂等元。

提出的方法

• 使用自由积构造定义 $*$-代数 ${\mathcal{Q}}_{n,\lambda}(*) = {\mathcal{Q}}_{n,\lambda} \star {\mathcal{Q}}_{n,\lambda}^{*}$，其中 ${\mathcal{Q}}_{n,\lambda}$ 是 $n$ 个幂等元之和为 $\lambda e$ 的代数。
• 应用考克斯eter函子 $F$ 和 $R$，将已知 $*$-野代数的 $*$-野性传播至更大的参数集合。
• 利用 $*$-满同态证明：若 ${\mathcal{P}}_{n,\alpha}$ 能满同态映射到一个已知的 $*$-野代数，则其本身也是 $*$-野的。
• 分析 $M_3({\mathcal{N}})$ 的结构，其中 ${\mathcal{N}} = \rho({\mathcal{O}}_2)^{\prime\prime}$，以证明当 $\lambda = 3/2$ 且 $n=3$ 时，代数非类型 I。
• 通过动力系统 $\alpha \mapsto (n-1) - 1/(\alpha - 1)$ 下的轨道结构研究不可约表示。

实验结果

研究问题

• RQ1 对于哪些 $\lambda \in \mathbb{C}$，${\mathcal{Q}}_{n,\lambda}(*)$ 存在有界表示？
• RQ2 何时 $*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 是 $*$-野的？这对其表示的分类意味着什么？
• RQ3 当 $n=3$ 且 $\lambda = 3/2$ 时，$*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 是否为类型 I？
• RQ4 能否将 ${\mathcal{P}}_{n,\alpha}$ 的 $*$-野性从已知情形推广至映射 $\alpha \mapsto (n-1) - 1/(\alpha - 1)$ 下的整个轨道？

主要发现

• 当 $n=3$ 时，${\mathcal{Q}}_{3,\lambda}(*)$ 的有界表示仅在 $\lambda \in \{0, 1, 3/2, 2, 3\}$ 时存在，且 ${\mathcal{Q}}_{3,3/2}(*) \simeq M_2$。
• ${\mathcal{Q}}_{3,3/2}(*)$ 不是类型 I 代数，因为 $M_3({\mathcal{N}})$，其中 ${\mathcal{N}} = \rho({\mathcal{O}}_2)^{\prime\prime}$，不是类型 I 代数。
• 当 $n \geq 5$ 时，$*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ 在从 $\alpha = 2$ 开始的轨道 $\Lambda_{n,\text{orb}(2)}$ 中的 $\lambda$ 值下是 $*$-野的，且在从 $\alpha = n/2$ 开始的 $\Lambda_{n,\text{orb}(n/2)}$ 中的 $\lambda$ 值下也是 $*$-野的。
• ${\mathcal{Q}}_{n,\lambda}(*)$ 是 $*$-野的，当 $\lambda \in \{2 \pm 2/k \mid k \in \mathbb{N}\} \cup \{2\}$ 且 $n \geq 5$ 时。
• 当 $\lambda = 2$ 时，${\mathcal{Q}}_{5,\lambda}(*)$ 是 $*$-野的，因此不是类型 I 代数。