[논문 리뷰] Homogeneity of the pure state space for the separable nuclear C*-algebras

Akitaka Kishimoto, Shôichirô Sakai|arXiv (Cornell University)|2001. 04. 27.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 모든 분리 가능하고 핵심적인 C*-대수의 순수 상태 공간이 점점 더 내부 자동형사상의 군에 의해 동차함을 확립한다. 핵심성 이론과 케디슨의 전이성 기법을 활용하여, 동일한 GNS 표현을 가진 순수 상태들은 연속적인 유니터리 코너제이션 경로로 연결될 수 있음을 증명하며, 이는 이전에 알려진 결과를 모든 분리 가능하고 핵심적인 C*-대수로 일반화하고, 동일한 핵을 가진 유한한 순수 상태 집합에 대해 강한 전이성을 보여준다.

ABSTRACT

We prove that the pure state space is homogeneous under the action of the group of asymptotically inner automorphisms for all the separable simple nuclear C*-algebras. If simplicity is not assumed for the C*-algebras, the set of pure states whose GNS representations are faithful is homogeneous for the above action.

연구 동기 및 목표

• 모든 분리 가능하고 핵심적인 C*-대수에 대해 점점 더 내부 자동형사상의 작용 하에서 순수 상태 공간의 동차성을 확립한다.
• 이전에 특정 클래스의 C*-대수에서만 유효했던 기존의 전이성 결과를 분리 가능하고 핵심적인 C*-대수의 전체 클래스로 확장한다.
• 점점 더 내부 자동형사상의 군이 동일한 핵을 가진 유한한 순수 상태 집합의 순수 상태 공간에 대해 강한 전이성을 갖는다는 것을 증명한다.
• 유니터리 코너제이션을 통한 유한한 순수 상태 집합의 특성화를 통해 약화 가능성과 핵심성의 새로운 특성화를 제공한다.
• 레미마 3.1을 일반화하여 상호 배타적인 순수 상태의 유한한 시퀀스에 대해 전이성 결과를 강화한다.

제안 방법

• 최소한의 완전히 양성 수축을 통해 핵심적인 C*-대수의 특성화를 활용하여 유한 차원 C*-대수를 통과하는 넷을 통해, 콘스티와 에프로스가 확립한 바와 같이 진행한다.
• 핵심적인 기술 레미마(레미마 3.1)를 적용하여 핵심적인 C*-대수에서 오차가 통제 가능한 조건 하에 유한 차원 몫에서 유니터리 근사가 가능하다는 것을 보여준다.
• 극좌표 분해와 유니터리 편향 기법을 사용하여 상태 코너제이션을 근사하는 자동형사상을 시행하는 유니터리 경로를 구성한다.
• 케디슨의 전이성 정리를 활용하여 한 순수 상태를 다른 상태의 GNS 표현에서 벡터 상태로 모방함으로써, 유니터리 코너제이션을 통한 상태 근사화를 가능하게 한다.
• 유한 차원 C*-대수의 유니터리 군에서 유한한 ε-넷을 구성하고, 유니터리 작용 하에서 원소를 매칭시키기 위한 이중성 기반의 추론을 사용한다.
• 핵심적인 기술 레미마를 상호 배타적인 기약 표현의 유한한 집합을 다룰 수 있도록 일반화하여, 여러 개의 순수 상태에 대해 강한 전이성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 특정 클래스의 C*-대수에서 점점 더 내부 자동형사상에 의한 순수 상태 공간의 동차성은 모든 분리 가능하고 핵심적인 C*-대수로 확장될 수 있는가?
• RQ2 점점 더 내부 자동형사상의 군이 동일한 핵을 가진 유한한 순수 상태 집합의 순수 상태 공간에 대해 강한 전이성을 갖는가?
• RQ3 유한 차원 몰입에서의 유니터리 근사 기반의 증명의 핵심 기술은 동시에 여러 기약 표현을 다룰 수 있도록 일반화될 수 있는가?
• RQ4 이러한 전이성 작용의 존재는 약화 가능성과 유니터리 코너제이션을 통한 핵심성의 새로운 특성화를 제공하는가?
• RQ5 표현의 중심에 속하는 유한 랭크 프로젝션 조건을 유지하지 않더라도 근사 결과가 유지되는가?

주요 결과

• 모든 분리 가능하고 단순하며 핵심적인 C*-대수의 순수 상태 공간은 점점 더 내부 자동형사상의 군에 의해 동차하다.
• 일반적인 분리 가능하고 핵심적인 C*-대수의 경우, GNS 표현이 충실한 순수 상태 집합은 동일한 작용 하에서 동차하다.
• 점점 더 내부 자동형사상의 군은 동일한 핵을 가진 유한한 순수 상태 집합에 대해 강한 전이성을 갖는다.
• 기술적 레미마(레미마 3.1)는 핵심적인 C*-대수가 오차 범위가 유한한 집합과 허용 오차에 따라 제어 가능한 조건 하에 유한 차원 몰입에서 유니터리 근사를 갖는다는 것을 보여준다.
• 증명은 임의의 유한 집합에서 주어진 ε 이내로 상태 코너제이션을 근사하는 자동형사를 시행하는 연속적인 유니터리 경로를 구성한다.
• 주요 결과는 임의의 동일한 핵을 가진 순수 상태의 유한 시퀀스에 대해, 한 시퀀스를 다른 시퀀스로 매핑하는 점점 더 내부 자동형사상이 존재한다는 식으로 일반화된다.