[論文レビュー] 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$ 個の冪等元が $\lambda e$ に等しくなるように生成される $*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ の有界および無限大の $*$-表現を調査する。単位的同値性の下での表現の分類を行い、$n \geq 5$ の場合、多くの $\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}$ の集合を特定すること。
• $n \geq 5$ の場合に、$*$-代数 ${\mathcal{Q}}_{n,\lambda}(*)$ が型 I か $*$-野生的かを調査すること。
• 直交射影への既知の結果を、和の制約を課えた一般の冪等元へと拡張すること。

提案手法

• 自由積構成を用いて $*$-代数 ${\mathcal{Q}}_{n,\lambda}(*) = {\mathcal{Q}}_{n,\lambda} \star {\mathcal{Q}}_{n,\lambda}^{*}$ を定義する。ここで ${\mathcal{Q}}_{n,\lambda}$ は $n$ 個の冪等元が $\lambda e$ に等しくなる代数である。
• Coxeter関手 $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$ の場合、$\lambda$ が $\alpha = 2$ から始まる軌道 $\Lambda_{n,\text{orb}(2)}$ に属するか、または $\alpha = n/2$ から始まる $\Lambda_{n,\text{orb}(n/2)}$ に属する場合、${\mathcal{Q}}_{n,\lambda}(*)$ は $*$-野生的である。
• $n \geq 5$ の場合、$\lambda \in \{2 \pm 2/k \mid k \in \mathbb{N}\} \cup \{2\}$ に属するとき、${\mathcal{Q}}_{n,\lambda}(*)$ は $*$-野生的である。
• $\lambda = 2$ の場合、${\mathcal{Q}}_{5,\lambda}(*)$ は $*$-野生的であり、したがって型 I ではない。