[논문 리뷰] The Weak Expectation Property and Riesz Interpolation

Ali S. Kavruk|arXiv (Cornell University)|2012. 01. 25.

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

한 줄 요약

이 논문은 C*-대수에서 Lance의 약한 기대 성질(WEP)과 작도계열에서의 타이트 Riesz 보간 성질 사이의 깊은 연결을 수립한다. 단위 C*-대수 A가 WEP를 갖는 것은 그 A가 B(H) 내부에서 완전한 (2,3)-타이트 Riesz 보간 성질을 보이는 것과 동치이며, 이는 A ⊗_min (C^5/J) = A ⊗_max (C^5/J)라는 텐서곱 등식을 통한 WEP의 새로운 특성화를 제공한다. 여기서 J = span{(1,1,−1,−1,−1)}이다. 이 결과는 키르히버그의 추측을 유한차원 문제로 재구성할 수 있게 한다.

ABSTRACT

We show that Lance's weak expectation property is connected to tight Riesz interpolations in lattice theory. More precisely we first prove that if A \subset B(H) is a unital C*-subalgebra, where B(H) is the bounded linear operators on a Hilbert space H, then A has (2,2) tight Riesz interpolation property in B(H) (defined below). An extension of this requires an additional assumption on A: A has (2,3) tight Riesz interpolation property in B(H) at every matricial level if and only if A has the weak expectation property. Let $J = span{(1,1,-1,-1,-1)}$ in $C^5$ . We show that a unital C*-algebra A has the weak expectation property if and only if $A \otimesmin (C^5/J) = A \otimesmax (C^5/J)$ (here \otimesmin and \otimesmax are the minimal and the maximal operator system tensor products, respectively, and $C^5/J$ is the operator system quotient of $C^5$ by $J$). We express the Kirchberg conjecture (KC) in terms of a four dimensional operator system problem. We prove that KC has an affirmative answer if and only if $C^5/J$ has the double commutant expectation property if and only if $C5/J \otimesmin C5/J = C5/J \otimesc C5/J$ (here \otimesc represents the commuting operator system tensor product).

연구 동기 및 목표

• C*-대수에서의 약한 기대 성질(WEP)과 작도계열에서의 타이트 Riesz 보간 성질 사이의 구조적 연결을 수립하는 것.
• 주변 B(H)에서의 (2,3)-타이트 Riesz 보간 성질을 이용한 WEP의 새로운 내재적 특성화를 제공하는 것.
• 키르히버그의 추측을 4차원의 작도계열 C^5/J를 포함하는 유한차원 작도계열 문제로 재구성하는 것.
• 핵심성 관련 성질들—WEP, DCEP, LLP—을 작도계열 텐서곱의 프레임워크 안에서 통합하고 확장하는 것.

제안 방법

• J = span{(1,1,−1,−1,−1)}인 작도계열 몫 C^5/J를 도입하고, 이가 C*(Z2*Z3)에 단위적이고 완전 순서로 통합된 부분공간임을 식별한다.
• 최소 및 최대 작도계열 텐서곱(⊗_min 및 ⊗_max)을 사용하여 WEP의 새로운 기준을 정의한다: A가 WEP를 갖는 것은 A ⊗_min (C^5/J) = A ⊗_max (C^5/J)와 동치이다.
• 최근의 작도계열 이론 발전—몰입계열, 텐서곱 구조, (el,max)-핵심성 및 (min,er)-핵심성 같은 핵심성 개념—을 적용한다.
• WEP와 B(H) 내부에서의 완전한 TR(2,3)-성질 사이의 동치성을 확립하여, 이 성질이 충실한 힐베르트 공간 표현에 의존하지 않음을 보인다.
• 공통으로 작용하는 텐서곱(⊗_c)을 활용하여 키르히버그의 추측을 재구성한다: KC가 성립하는 것은 (C^5/J) ⊗_min (C^5/J) = (C^5/J) ⊗_c (C^5/J)와 동치이다.
• 쌍대성, C*-덮개, 그리고 포함형 포화를 활용하여 C*-대수와 그 부분대수 간의 함의관계를 도출하며, 특히 WEP의 상속성과 관련하여 분석한다.

실험 결과

연구 질문

• RQ1 주변 C*-대수 B(H) 내에서 약한 기대 성질(WEP)이 완전한 (2,3)-타이트 Riesz 보간 성질과 동치인가?
• RQ2 키르히버그의 추측은 작도계열 C^5/J를 포함하는 유한차원 문제로 축소될 수 있는가?
• RQ3 모든 단위 C*-대수 A에 대해 A ⊗_min (C^5/J) = A ⊗_max (C^5/J)의 등식이 WEP를 특성화하는가?
• RQ4 C^5/J의 이중중심기대 성질(DCEP)이 키르히버그의 추측의 성립성과 동치인가?
• RQ5 어떤 조건에서 C*-부분대수가 더 큰 C*-대수로부터 WEP를 상속하는가, 그리고 이는 보간 성질에 어떻게 반영되는가?

주요 결과

• 단위 C*-대수 A가 WEP를 갖는 것은 A ⊗_min (C^5/J) = A ⊗_max (C^5/J)와 동치이며, 이는 WEP의 새로운 내재적 텐서곱 기준을 제공한다.
• 키르히버그의 추측은 C^5/J가 이중중심기대 성질(DCEP)을 갖는 것과 동치이면 참이다.
• 키르히버그의 추측은 (C^5/J) ⊗_min (C^5/J) = (C^5/J) ⊗_c (C^5/J)라는 완전한 순서형 동형성과 동치이며, 여기서 ⊗_c는 공통으로 작용하는 텐서곱을 의미한다.
• 모든 단위 C*-부분대수 A ⊂ B(H)는 완전한 TR(2,2)-성질을 갖지만, (2,3)-버전은 WEP가 필요하다.
• B(H) 내부에서 완전한 TR(k,m)-성질이 모든 k ≥ 2, m ≥ 3에 대해 성립하는 것은 A가 WEP를 갖는 것과 동치이며, 이 동치성은 모든 충실한 표현에 대해 균일하게 성립한다.
• A가 WEP를 갖는다면, A를 포함하는 임의의 단위 C*-대수 B에 대해 모든 k,m ≥ 1에 대해 A는 완전한 TR(k,m)-성질을 상속받는다.