[논문 리뷰] Generators of Noncommutative Dynamics

William Arveson|ArXiv.org|2002. 01. 15.

Quantum Mechanics and Applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 임의의 $C^*$-대수 $A$에 대해, 가 countably many copies of $A$의 자유곱인 $\mathcal{P}A = A * A * \cdots$로 구성된 보편적인 $A$-다이나믹스 시스템 $(i, \tilde{\rho}A, \rho)$를 제안하며, 이는 모든 다른 $A$-다이나믹스 시스템을 지배한다. 또한 모든 수축적 완전히 양성적인 사상 $\varphi: A \to A$는 $A \otimes \mathcal{K}$의 multiplier 대수에 값을 갖는 $C^*$-대수를 가진 최소 $A$-다이나믹스 시스템을 생성함을 증명하여, 비가환 다이나믹스에 대한 보편적 프레임워크를 수립한다.

ABSTRACT

For a fixed C*-algebra A, we consider all noncommutative dynamical systems that can be generated by A. More precisely, an A-dynamical system is a triple (i,B,α) where $α$ is a *-endomorphism of a C*-algebra B, and i: A --> B is the inclusion of A as a C^*-subalgebra with the property that B is generated by $A\cup α(A)\cup α^2(A)\cup...$. There is a natural hierarchy in the class of A-dynamical systems, and there is a universal one that dominates all others, denoted (i,PA,α). We establish certain properties of $(i,PA,α)$ and give applications to some concrete issues of noncommutative dynamics. For example, we show that every contractive completely positive linear map $ϕ: A o A$ gives rise to to a unique A-dynamical system (i,B,α) that is "minimal" with respect to $ϕ$, and we show that its C*-algebra B can be embedded in the multiplier algebra of $A\otimes {\mathcal K}$.

연구 동기 및 목표

• 고정된 $C^*$-대수 $A$에 대해, 모든 다른 $A$-다이나믹스 시스템을 지배하는 보편적인 $A$-다이나믹스 시스템을 수립하는 것.
• 수축적 완전히 양성적인 사상 $\varphi: A \to A$에 의해 생성되는 최소 $A$-다이나믹스 시스템을 특성화하는 것.
• 최소 확장의 $C^*$-대수 $B$가 $A \otimes \mathcal{K}$의 multiplier 대수에 임베드됨을 보이는 것.
• 이동형 자기형사상 $\sigma$를 가진 자유곱 $\mathcal{P}A = A * A * \cdots$를 통해 보편적 구성법을 제공하는 것.
• 보편적인 $C^*$-대수적 구성법을 사용하여 비가환 확장 이론을 통합하고 확장하는 것.

제안 방법

• 가 countably many copies of $A$의 자유곱인 $\mathcal{P}A = A * A * \cdots$를 사용하여 보편적인 $A$-다이나믹스 시스템을 구성하는 것.
• 각 $k$-번째 복사본에 $A$를 통합하는 $\theta_k$에 대해 $\sigma \circ \theta_k = \theta_{k+1}$를 만족하는 이동형 자기형사상 $\sigma: \mathcal{P}A \to \mathcal{P}A$를 정의하는 것.
• $\mathcal{P}A$의 보편 성질을 이용하여 모든 $A$-다이나믹스 시스템이 $(i, \mathcal{P}A, \sigma)$를 통과함을 보장하는 것.
• 표현 $\pi$와 등장사상 $V$를 구성하기 위해, $E|_A = \text{id}_A$를 만족하는 완전히 양성적인 사상 $E: B \to A$에 스티네스프링 확장을 적용하는 것.
• 투영 연산자 $P = VV^*$가 $\pi(B)$의 multiplier 대수에 속함을 보이며, 이는 $P \in \mathcal{M}(\pi(B))$임을 의미하는 것.
• 표현의 충실성과 $E$의 구조를 이용하여 $\pi(A) = P\pi(B)P$가 $\pi(B)$의 코너임을 증명하는 것.

실험 결과

연구 질문

• RQ1 주어진 $C^*$-대수 $A$에 대해, 모든 다른 것들을 지배하는 보편적인 $A$-다이나믹스 시스템은 무엇인가?
• RQ2 수축적 완전히 양성적인 사상 $\varphi: A \to A$는 어떻게 최소 $A$-다이나믹스 시스템을 생성할 수 있는가?
• RQ3 최소 확장에서의 $C^*$-대수 $B$의 구조는 무엇인가?
• RQ4 최소 확장의 $C^*$-대수는 $A \otimes \mathcal{K}$의 multiplier 대수에 임베드될 수 있는가?
• RQ5 자유곱 $\mathcal{P}A$는 보편적인 비가환 다이나믹스를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 보편적인 $A$-다이나믹스 시스템은 $\mathcal{P}A$가 $A$의 가 countably many copies의 자유곱이고 $\sigma$가 이동형 자기형사상인 $(i, \mathcal{P}A, \sigma)$로 주어진다.
• 모든 $A$-다이나믹스 시스템은 보편 시스템 $(i, \mathcal{P}A, \sigma)$의 몫이므로, 계층에서 가장 크다.
• 모든 수축적 완전히 양성적인 사상 $\varphi: A \to A$에 대해, 유일한 최소 $A$-다이나믹스 시스템 $(i, B, \alpha)$가 존재하며, 이는 $\varphi$에 의해 생성된다.
• 최소 확장의 $C^*$-대수 $B$는 스티네스프링 확장과 투영 연산자 분석을 통해 $A \otimes \mathcal{K}$의 multiplier 대수에 임베드됨을 보였다.
• 스티네스프링 표현에서의 투영 연산자 $P = VV^*$는 $\pi(B)$의 multiplier 대수에 속하며, $\pi(A) = P\pi(B)P$는 $\pi(B)$의 코너이다.
• 최소 확장은 등형사상에 대해 유일하며, 표준 확장의 보편 성질을 만족하며, 모든 표준 확장은 최소 확장과 동치이다.