[논문 리뷰] Completeness of $n$--tuple of projections in $C^*$--algebras

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

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_i\mathcal{A}$의 선형 직합으로 분해될 조건을 특징짓는 것.
• $n=2$에 대한 기존 결과를 $n \geq 3$로 확장하여, 항등원으로 합해지는 사영원소들의 구조가 덜 이해된 영역을 다루는 것.
• 완전한 $n$-튜플의 소용돌이 안정성, 특히 사영원소들 사이의 작은 비대각항의 노름에 대해 분석하는 것.
• 완전한 $n$-튜플의 집합의 위상학적 구조를 분석하며, 특히 칼킨 대수와 같은 특정 $C^*$-대수에서 경로연결성과 호모토피 동치류를 다루는 것.

제안 방법

• 모든 $i$와 $\lambda \in [1-n, 0)$에 대해 $\lambda \sum_{j \neq i} P_j + P_i \in GL(\mathcal{A})$인 조건을 사용하여 완전성의 등가 조건을 설정한다.
• 문제를 상호직교 사영원소들로 줄이기 위해 $A = \sum P_i$이고 $Q_i = A^{-1/2} P_i A^{-1/2}$로 변환을 사용한다.
• 완전한 $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 완전한 $n$-튜플의 성질은 작은 편미분, 특히 $\|P_i A^{-1} P_j\|$가 작은 비대각항에 대해 어떻게 변화하는가?
• RQ3 $\mathcal{A}$에서 완전한 $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$이면, $\|P_i - P'_i\| < 2(n-1)\epsilon$인 상호직교 사영원소들의 튜플 $(P'_1, \dots, P'_n)$이 존재한다. 이는 이전 추정치를 향상시킨다.
• 칼킨 대수 $\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$-동치는 완전성과 트레이스 불변량을 유지한다.