[논문 리뷰] Invariant means and finite representation theory of C*-algebras

Nathanial P. Brown|ArXiv.org|2003. 04. 01.

Advanced Operator Algebra Research참고 문헌 37인용 수 66

한 줄 요약

이 논문은 단위 C*-대수에서 아메이블 트레이스를 유한 연산자 위의 불변 평균으로서 도입하고 분석하며, 유한 표현 이론에서의 역할을 확립한다. 아메이블 트레이스가 정확히 유한 차원 근사 성질(키르히버그의 이행 가능한 트레이스)과 대응됨을 증명하고, 이를 포파 대수에 적용하여 II₁-형 인피니티 팩터 표현의 풍부한 다양성을 보이며, 콘네의 임베딩 문제와 분류 프로그램에 대한 함의를 제시한다.

ABSTRACT

Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by Sorin Popa are also studied. These algebras are shown to have an unexpected variety of II_1-factor representations. This general theory is related to various other problems as well. Applications include: (1) A characterization of R^ω-embeddable factors in terms of Lance's WEP. (2) A classification theorem for certain simple, nuclear C*-algebras with unique trace. (3) For a self-adjoint operator there always exists a filtration such that the finite section method (from numerical analysis) works as well as could be hoped for. (4) New examples of non-tracially AF algebras which answer negatively questions of Sorin Popa and Huaxin Lin.

연구 동기 및 목표

• C*-대수에서 아메이블 트레이스를 B(H) 위의 불변 평균으로서 일반 이론을 개발하기 위해.
• 키르히버그의 이행 가능한 트레이스 결과를 확장하여, 아메이블 트레이스를 유한 차원 근사 성질을 통해 특성화하기 위해.
• 포파 대수의 II₁-형 인피니티 팩터 표현을 연구하여, 이러한 표현의 광범위한 다양성을 보여주기 위해.
• 아메이블 트레이스를 오ператор 대수학의 주요 미해결 문제, 특히 콘네의 임베딩 문제와 엘리엇의 분류 프로그램과 연결하기 위해.

제안 방법

• 유니터리 코너제이션 하에서 B(H) 위로 확장되는 A 위의 상태로서 아메이블 트레이스를 정의하기 위해.
• 아메이블 트레이스가 정확히 키르히버그의 유한 차원 근사 성질(이행 가능한 성질)을 만족하는 것임을 증명하기 위해.
• GNS 구성법을 사용하여 아메이블 트레이스를 유한 차원 표현과 II₁-형 인피니티 팩터 표현과 연결하기 위해.
• 초유한 II₁-형 인피니티 팩터 R와 유사한 내부 유한 차원 근사 성질을 통해 포파 대수를 분석하기 위해.
• 이 이론을 적용하여 새로운 II₁-형 인피니티 팩터 표현 예제를 구성하고, K-호모로지와 수치 해석에서의 장애 요소를 분석하기 위해.
• 트레이스 공간의 구조를 통해 분류, 임베딩 문제, 준대각성과의 연결 고리를 확립하기 위해.

실험 결과

연구 질문

• RQ1 모든 아메이블 트레이스는 B(H) 위의 불변 평균에서 유래하는가, 그리고 이러한 특성화는 A의 구체적 표현에 의존하지 않는가?
• RQ2 포파 대수는 풍부한 다양성의 II₁-형 인피니티 팩터 표현을 가질 수 있는가, 그리고 이러한 표현의 존재를 보장하는 구조적 조건은 무엇인가?
• RQ3 하이퍼볼릭 군에 대한 C*(Γ)의 표준 트레이스는 아메이블인가, 그리고 이는 R^ω로의 임베딩과 관련이 있는가?
• RQ4 WEP를 가지며 충실한 트레이스를 가지지만 준대각성이 아닌 C*-대수를 구성할 수 있는가?
• RQ5 군 von Neumann 대수의 R^ω-임베딩 가능성은 힐버트 공간으로의 균일한 임베딩을 의미하는가?

주요 결과

• 아메이블 트레이스는 정확히 B(H) 위의 불변 평균으로 확장되는 것들과 일치하며, 이는 정확히 유한 차원 근사 성질(이행 가능한 성질)을 만족하는 트레이스들이다.
• 내부 유한 차원 근사 성질을 가진 것으로 정의된 포파 대수는 광범위한 다양성의 II₁-형 인피니티 팩터 표현을 가진다.
• 핵심적이고 정확한 대수, 특히 핵심적이고 정확한 대수를 포함한 많은 C*-대수에서 아메이블 트레이스 공간은 비어 있지 않으며, 준대각성과 WEP와 밀접하게 연결되어 있다.
• 모든 잔류 유한군에 대해 C*(Γ)의 표준 트레이스는 아메이블이며, 하이퍼볼릭 군에 대한 아메이블성 문제는 여전히 열려 있다.
• 충실한 트레이스가 준대각성 아메이블 트레이스 공간에 존재하면 준대각성이 보장되지만, 그 역은 알려져 있지 않다.
• 논문은 콘네의 임베딩 문제에 대한 새로운 통찰을 제공하며, L(Γ)의 R^ω-임베딩 가능성은 특정 추측이 성립할 경우 힐버트 공간으로의 균일한 임베딩을 암시한다.