[논문 리뷰] Completely positive maps of order zero

Wilhelm Winter, Joachim Zacharias|ArXiv.org|2009. 03. 19.

Advanced Operator Algebra Research참고 문헌 16인용 수 131

한 줄 요약

이 논문은 C*-대수 간의 완전히 양의 맵(order zero)을 도입하고 특성화한다. 이러한 맵은 양의 원소 간의 수직성을 유지한다. 구조 정리가 수립되어, 이러한 맵이 도메인 대수의 콘(cone)에서 타겟으로의 *-환형사상과 일대일 대응됨을 보이며, 이는 함수 해석법을 가능하게 하고, 텐서곱과 추적 함수형사상과의 복합이 순서 0를 유지함을 증명한다. 핵심 기여는 순서 0 맵이 Cuntz 준군 사이의 순서 준군 준동형사상을 유도함으로써, 준군 수준의 맵을 C*-대수 맵으로 끌어올리는 데 다리를 놓는 것이다.

ABSTRACT

We say a completely positive contractive map between two C*-algebras has order zero, if it sends orthogonal elements to orthogonal elements. We prove a structure theorem for such maps. As a consequence, order zero maps are in one-to-one correspondence with *-homomorphisms from the cone over the domain into the target algebra. Moreover, we conclude that tensor products of order zero maps are again order zero, that the composition of an order zero map with a tracial functional is again a tracial functional, and that order zero maps respect the Cuntz relation, hence induce ordered semigroup morphisms between Cuntz semigroups.

연구 동기 및 목표

• C*-대수 간의 완전히 양의 유계 맵(completely positive contractive, c.p.c.)의 순서 0 맵에 대한 일반적인 구조 이론을 수립함으로써, 이전 연구에서 국한된 유한차원 도메인의 결과를 확장한다.
• c.p.c. 순서 0 맵과 도메인 대수의 콘 대수에서 타겟 대수로의 *-환형사상 사이의 일대일 대응을 확립한다.
• 순서 0 맵이 텐서곱, 추적 함수형사상, Cuntz 하위등치 관계와 같은 핵심 구조를 유지함을 보인다.
• 순서 0 맵이 자연스럽게 Cuntz 준군 간의 준동형사상을 유도함을 보이며, 준군 수준의 맵을 C*-대수 맵으로 끌어올리는 데 새로운 프레임워크를 제공한다.

제안 방법

• 순서 0 맵을 정의한다: c.p.c. 맵 중에서 양의 원소 a ⊥ b 이면 φ(a) ⊥ φ(b) 를 만족하는 맵으로, A+에서 B+로의 맵으로서 정의한다.
• 모든 c.p.c. 순서 0 맵 φ: A → B 는 φ = h^{1/2} π_φ h^{1/2} 의 형태로 인수분해됨을 증명한다. 여기서 h ∈ B+ 는 φ의 상과 교환되며, π_φ 는 A 에서 φ(A) 가 생성하는 C*-대수의 확대대수로의 *-환형사상이다.
• 콘의 보편성 성질을 이용하여, c.p.c. 순서 0 맵과 C₀(A) 에서 B 로의 *-환형사상 사이의 대응을 수립한다.
• 인수분해를 이용해, 순서 0 맵의 텐서곱이 다시 순서 0임을 보이며, 추적 함수형사상과의 복합이 여전히 추적 함수형사상임을 보인다.
• 순서 0 맵이 Cuntz 하위등치 관계를 유지함을 증명함으로써, Cuntz 준군 W(A) 와 W(B) 사이에 잘 정의된 순서를 유지하는 준군 준동형사상 W(φ): W(A) → W(B) 가 유도됨을 보인다.
• 결과를 이중이중(biduals)으로 확장하여, 임의의 c.p.c. 순서 0 맵 φ 의 이중이중 맵 φ** 도 순서 0임을 보이며, 구조 정리가 보존되는 조건에서 von Neumann 대수 설정에서도 성립함을 보인다.

실험 결과

연구 질문

• RQ1 C*-대수 간의 완전히 양의 유계 맵의 순서 0 맵을 일반적인, 유한차원이 아닌 설정에서 어떻게 특성화할 수 있는가?
• RQ2 c.p.c. 순서 0 맵의 정확한 구조적 형태는 무엇이며, 이는 *-환형사상과 콘 구성과 어떻게 관련되어 있는가?
• RQ3 순서 0 맵은 복합에 있어서 텐서곱과 추적 함수형사상을 유지하는가?
• RQ4 순서 0 맵은 잘 정의된 준군 준동형사상을 Cuntz 준군 간에 유도할 수 있는가? 만약 그렇다면, 이는 준군 수준의 맵을 C*-대수 맵 수준으로 끌어올리는 데 어떻게 관련되는가?
• RQ5 정규 원소의 연속 함수 해석법과 유사한, 순서 0 맵에 대한 함수 해석법이 존재하는가?

주요 결과

• 모든 c.p.c. 순서 0 맵 φ: A → B 는 φ = h^{1/2} π_φ h^{1/2} 의 형태로 유일하게 인수분해되며, 여기서 h ∈ B+ 는 φ의 상과 교환되며, π_φ 는 A 에서 C = C*(φ(A)) 의 확대대수로의 *-환형사상이다.
• c.p.c. 순서 0 맵 A → B 와 C₀(A) 에서 B 로의 *-환형사상 사이에 자연스러운 일대일 대응이 존재한다.
• c.p.c. 순서 0 맵의 텐서곱은 다시 순서 0이며, 행렬 대수로의 확대를 포함한다.
• c.p.c. 순서 0 맵과 양의 추적 함수형사상의 복합은 다시 추적 함수형사상이며, 2-준추적 함수형사상의 경우에도 동일한 성질이 성립한다.
• 순서 0 맵은 Cuntz 준군 W(A) 와 W(B) 사이에 잘 정의된, 순서를 유지하는 준군 준동형사상을 유도한다.
• 임의의 c.p.c. 순서 0 맵 φ 의 이중이중 맵 φ** 도 순서 0이며, 구조 정리는 이중이중으로까지 확장된다.