[論文レビュー] Completeness of $n$--tuple of projections in $C^*$--algebras

Shanwen Hu, Yifeng Xue|arXiv (Cornell University)|Oct 17, 2012

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

ひとこと要約

本稿は、単位的 $C^*$-代数における $n$-重投影の完全性（すなわち、代数が閉部分空間 $P_i\mathcal{A}$ の直和に分解されること）の必要十分条件を確立する。完全性は、特定の作用素の組み合わせの可逆性によって特徴づけられ、小さな非対角ノルムの下での摂動安定性が証明され、特にカルキン代数のような重要な代数において、完全 $n$-重投影の集合の路連結性が示される。

ABSTRACT

Let $(P_1,...,P_n)$ be an $n$--tuple of projections in a unital $C^*$--algebra $å$. We say $\pn$ is complete in $å$ if $å$ is the linear direct sum of the closed subspaces $P_1å,...,P_nå$. In this paper, we give some necessary and sufficient conditions for the completeness of $\pn$ and discuss the perturbation problem and topology of the set of all complete $n$--tuple of projections in $å$. Some interesting and significant results are obtained in this paper.

研究の動機と目的

• 単位的 $C^*$-代数における $n$-重投影 $(P_1, \dots, P_n)$ が完全である、すなわち $\mathcal{A} = \bigoplus_{i=1}^n P_i\mathcal{A}$ となるための条件を特徴づけること。
• $n=2$ の場合に既知の結果を $n \geq 3$ に拡張すること。この場合、恒等元に和が等しい投影の構造はまだ十分に理解されていない。
• 完全 $n$-重投影の摂動安定性、特に投影間の小さな非対角ノルムの下での安定性を調べること。
• 完全 $n$-重投影の集合のトポロジーを解析し、特にカルキン代数などの特定の $C^*$-代数における路連結性とホモトピー同値類を調べること。

提案手法

• 作用素の組み合わせの可逆性を用いて完全性の同値条件を確立：$\lambda \sum_{j \neq i} P_j + P_i \in GL(\mathcal{A})$ が $\lambda \in [1-n, 0)$ に対してすべての $i$ で成り立つこと。
• 変換 $Q_i = A^{-1/2} P_i A^{-1/2}$ を用い、$A = \sum P_i$ とすることで、問題を互いに直交する投影に還元すること。
• 単位的共役と代数内での路連結性を用いて、完全 $n$-重投影を分類するためのホモトピー同値関係 $\sim_h$ を導入すること。
• カルキン代数の構成を応用し、$\mathcal{A} = B(H)/\mathcal{K}(H)$ のとき、$\mathbf{PC}_n(\mathcal{A})$ が路連結であることを示すこと。
• 連続的なユニタリの経路 $U_i(t)$ を用いて、任意の完全 $n$-重投影を直交投影の組にホモトープに変形する方法を構成すること。
• 鋭い摂動上限を導出：$i \neq j$ に対して $\|P_i A^{-1} P_j\| < \left[(n-1)\|A^{-1}\|\|A\|^2\right]^{-1}$ が成り立つならば、$P_i A^{-1} P_j = 0$ となり、変換された代数において直交性が保証される。

実験結果

リサーチクエスチョン

• RQ1 単位的 $C^*$-代数 $\mathcal{A}$ における $n$-重投影 $(P_1, \dots, P_n)$ が完全である、すなわち $\mathcal{A} = \bigoplus_{i=1}^n P_i\mathcal{A}$ となるための必要十分条件は何か？
• RQ2 特に非対角項 $\|P_i A^{-1} P_j\|$ が小さいとき、$n$-重投影の完全性は小さな摂動に対してどのように振る舞うか？
• RQ3 特にカルキン代数において、完全 $n$-重投影の集合 $\mathbf{PC}_n(\mathcal{A})$ のトポロジー的構造は何か？
• RQ4 二つの完全 $n$-重投影がいつホモトピー同値となるか？また、その連結成分を分類する不変量は何か？

主な発見

• $n$-重投影 $(P_1, \dots, P_n)$ が $\mathcal{A}$ で完全であるための必要十分条件は、すべての $i$ と $\lambda \in [1-n, 0)$ に対して $\lambda \sum_{j \neq i} P_j + P_i \in GL(\mathcal{A})$ が成り立つことである。
• もし $A = \sum_{i=1}^n P_i$ が可逆であり、$i \neq j$ に対して $\|P_i A^{-1} P_j\| < \left[(n-1)\|A^{-1}\|\|A\|^2\right]^{-1}$ が成り立つならば、$P_i A^{-1} P_j = 0$ となり、変換された代数において投影が直交する。
• 任意の $\epsilon \in (0,1)$ に対して、$i \neq j$ で $\|P_i P_j\| < \epsilon$ ならば、互いに直交する $n$-重投影 $(P'_1, \dots, P'_n)$ が存在し、$\|P_i - P'_i\| < 2(n-1)\epsilon$ を満たす。これは以前の推定を改善する。
• カルキン代数 $\mathcal{A} = B(H)/\mathcal{K}(H)$ において、集合 $\mathbf{PC}_n(\mathcal{A})$ は路連結である。これは、すべての完全 $n$-重投影がホモトピー同値であることを意味する。
• $\mathcal{A} = M_k(\mathbb{C})$ のとき、集合 $\mathbf{PC}_n(\mathcal{A})$ は $n = k$ のときに限り連結であり、$2 \leq n \leq k-1$ のときには非連結である。連結成分はトレースの組 $(\mathrm{Tr}(P_1), \dots, \mathrm{Tr}(P_{n-1}))$ によって分類される。
• 完全 $n$-重投影のホモトピー同値類は、そのユニタリ共役類によって決定され、$\sim_h$-同値性は完全性およびトレース不変量を保存する。