[논문 리뷰] One-Sided Projections on C*-algebras

David P. Blecher, Roger R. Smith외 1명|ArXiv.org|2002. 03. 07.

Advanced Operator Algebra Research참고 문헌 20인용 수 8

한 줄 요약

이 논문은 C*-대수에서 완전한 왼쪽 M-사영의 등가 조건을 확립하여, 그것이 멱등원의 왼쪽 곱셈임을 보여준다. 주요 기여는 C*-대수에서 고전적인 M-사영 성질(예: 행렬 확장으로의 등거리 연장)이 이러한 사영을 완전히 특성화한다는 것을 증명하고, von Neumann 대수의 예비대수에는 비자명한 완전한 한쪽 방향 M-이데알이 존재하지 않음을 보여주는 것이다.

ABSTRACT

In [BEZ] the notion of a complete one-sided M-ideal for an operator space X was introduced as a generalization of Alfsen and Effros' notion of an M-ideal for a Banach space [AE72]. In particular, various equivalent formulations of complete one-sided M-projections were given. In this paper, some sharper equivalent formulations are given in the special situation that $X = \mathcal{A}$, a $C^*$-algebra (in which case the complete left M-projections are simply left multiplication on $\mathcal{A}$ by a fixed orthogonal projection in $\mathcal{A}$ or its multiplier algebra). The proof of the first equivalence makes use of a technique which is of interest in its own right--a way of ``solving'' multi-linear equations in von Neumann algebras. This technique is also applied to show that preduals of von Neumann algebras have no nontrivial complete one-sided M-ideals. In addition, we show that in a $C^*$-algebra, the intersection of finitely many complete one-sided M-summands need not be a complete one-sided M-summand, unlike the classical situation.

연구 동기 및 목표

• 완전한 왼쪽 M-사영을 특성화하기 위해 여러 등가 조건을 사용하는 것.
• 완전한 등거리성과 수축성에 의해 비가환 연산자 공간 설정으로 고전적인 M-사영의 개념을 확장하는 것.
• von Neumann 대수의 예비대수에는 비자명한 완전한 한쪽 방향 M-이데알이 존재하지 않음을 보여주는 것.
• C*-대수에서 유한 개의 완전한 한쪽 방향 M-합성원의 교차는 일반적으로 완전한 한쪽 방향 M-합성원이 되지 않음을 보여주는 것. 이는 고전적 경우와 다름.
• von Neumann 대수에서 다항식 연립방정식을 푸는 데 새로운 기법을 사용하여 C*-대수에서 왼쪽 곱셈자와 완전한 왼쪽 M-사영의 관계를 명확히 하는 것.

제안 방법

• C*-대수 A에서 완전한 왼쪽 M-사영을 특성화하는 여섯 가지 조건의 등가성을 확립함. 등거리 임bedding C₂(A)로의 포함 및 행렬 확장의 수축성 포함.
• von Neumann 대수에서 다항식 연산자 방정식을 푸는 데 새로운 기법을 도입함. 이 기법은 조건의 등가성 증명과 M-이데알 분석에 사용됨.
• 해결 기법을 적용하여 von Neumann 대수의 예비대수에는 비자명한 완전한 한쪽 방향 M-이데알이 존재하지 않음을 보임.
• 힐버트 공간 위의 프로젝션을 이용한 반례 구성 기법을 통해 두 개의 완전한 오른쪽 M-합성원의 교차가 완전한 오른쪽 M-합성원이 되지 않을 수 있음을 보임.
• P, Q 및 랭크-일의 프로젝션 Eₙ으로 생성되는 유니탈 C*-대수 A ⊂ B(H)를 구성함. 이때 P ∧ Q ∉ A 이며, (P A) ∩ (Q A) ≠ r A 를 만족하는 A의 프로젝션 r 가 존재하지 않음. 이는 고전적 M-합성원 교차 성질의 실패를 보여줌.
• Paulsen 시스템 구조를 활용하여 일반적인 연산자 공간을 비유니탈 연산자 시스템에 포함시킴으로써 Werner의 이전 결과(왼쪽 곱셈자에 관한)를 적용 가능하게 함.

실험 결과

연구 질문

• RQ1 C*-대수에서 완전한 왼쪽 M-사영을 특성화하는 완전한 등가 조건 집합은 무엇인가?
• RQ2 ∥x∥ = max{∥Px∥, ∥x−Px∥}로 주어지는 고전적 M-사영의 특성화는 비가환적, 완전한 등거리 설정으로 일반화될 수 있는가?
• RQ3 von Neumann 대수의 예비대수에는 비자명한 완전한 한쪽 방향 M-이데알이 존재하는가?
• RQ4 C*-대수에서 유한 개의 완전한 한쪽 방향 M-합성원의 교차는 여전히 완전한 한쪽 방향 M-합성원인가?
• RQ5 특수한 경우인 C*-대수에서 연산자 공간의 왼쪽 곱셈자와 완전한 왼쪽 M-사영의 관계는 어떻게 되는가?

주요 결과

• C*-대수 A에서 완전한 왼쪽 M-사영은 M(A), 즉 A의 승수 대수에서의 직교 프로젝션 e ∈ M(A)에 의한 왼쪽 곱셈과 등가이다.
• 사상 x ↦ [Px; x−Px] 가 A에서 C₂(A)로 완전히 등거리일 조건은 P가 완전한 왼쪽 M-사영일 때이다.
• C₂(A)에서 [x; y] ↦ [Px; y] 인 사상이 완전히 수축적일 조건은 P가 완전한 왼쪽 M-사영일 때이다.
• von Neumann 대수의 예비대수에는 비자명한 완전한 한쪽 방향 M-이데알이 존재하지 않으며, 이는 다항식 방정식의 해법 기법을 통해 입증됨.
• C*-대수에서 두 개의 완전한 오른쪽 M-합성원의 교차는 프로젝션들이 서로 교환되더라도 완전한 오른쪽 M-합성원이 되지 않을 수 있다.
• 유니탈 C*-대수 A와 A의 프로젝션 P, Q가 존재하여 P ∧ Q ∉ A 이며, (P A) ∩ (Q A) ≠ r A 를 만족하는 A의 프로젝션 r 가 존재하지 않음을 보여, 고전적 M-합성원 교차 성질의 실패를 입증함.