[논문 리뷰] AF algebras in the quantum Gromov-Hausdorff propinquity space

Konrad Aguilar|arXiv (Cornell University)|2016. 12. 07.

Algebraic structures and combinatorial models참고 문헌 24인용 수 4

한 줄 요약

이 논문은 몫 노름을 통해 새로운 레이븐츠 리프니츠 노름을 도입하여, 양자 그로모프-하우스도르프 프로피너시티 위상에서 단위를 가진 AF 대수의 수렴 기준을 수립한다. 이를 통해 모든 단위를 가진 AF 대수는 이 위상에서 그 유한 차원의 순서적 귀납적 수열의 극한임을 증명한다. 또한, 귀납적 구조를 유지하는 *-동형사상은 양자 등거리사상으로 이어지며, 이는 유한 차원 근사가 균일하게 수렴함을 보장한다.

ABSTRACT

For unital AF algebras with faithful tracial states, we provide criteria for convergence in the quantum Gromov-Hausdorff propinquity. For any unital AF algebra, we introduce new Leibniz Lip-norms using quotient norms. Next, we show that any unital AF algebra is the limit of its defining inductive sequence of finite dimensional C*-algebras in quantum propinquity given any Lip-norm defined on the inductive sequence. We also establish sufficient conditions for when a *-isomorphism between two AF algebras produces a quantum isometry in the context of various Lip-norms.

연구 동기 및 목표

• 단위를 가진 AF 대수의 양자 그로모프-하우스도르프 프로피너시티 위상에서의 수렴 기준을 개발하는 것.
• 충실한 추적 상태가 없는 경우에도, 몫 노름을 사용하여 모든 단위를 가진 AF 대수에 대해 레이븐츠 리프니츠 노름을 구성하는 것.
• AF 대수 간의 *-동형사상이 프로피너시티 메트릭 공간에서 양자 등거리사상을 유도하는 조건을 확립하는 것.
• AF 대수의 유한 차원 근사가 프로피너시티 위상에서 균일하게 수렴함을 보장하는 것.

제안 방법

• 조건 기대 대신 몫 노름을 사용하여 단위를 가진 AF 대수에 새로운 레이븐츠 리프니츠 노름을 도입하는 것.
• 무한에 수렴하는 양의 수열을 통해 노름을 정의하여, 유한 차원 부분대수의 수렴을 보장하는 것.
• 프로피너시티에서 귀납적 수열의 수렴이 자연스러운 조밀성 조건을 만족하는 조밀한 영역의 존재에만 의존한다는 것을 증명하는 것.
• 양자 프로피너시티 메트릭에서 삼각 부등식을 사용하여 AF 대수와 그 유한 차원 근사 간의 거리를 유계화하는 것.
• 유한 차원 부분대수의 귀납적 구조를 유지하는 *-동형사상이 요구되는 양자 등거리사상을 수립하는 것.
• 리에펠과 라트레몰리에의 결과를 활용하여 리프니츠 노름이 준-레이븐츠임을 보장하고, 잘 정의된 양자 메트릭 공간을 얻는 것.

실험 결과

연구 질문

• RQ1 AF 대수의 가속이 양자 그로모프-하우스도르프 프로피너시티 위상에서 수렴하는 조건은 무엇인가?
• RQ2 충실한 추적 상태가 없는 경우에도 모든 단위를 가진 AF 대수에 대해 레이븐츠 리프니츠 노름을 구성할 수 있는가?
• RQ3 두 AF 대수 사이의 *-동형사상이 프로피너시티 메트릭 공간에서 양자 등거리사상을 유도하는 조건은 무엇인가?
• RQ4 AF 대수의 유한 차원 부분대수는 프로피너시티 위상에서 어떻게 행동하는가?
• RQ5 AF 대수의 유한 차원 근사가 프로피너시티 메트릭에서 균일하게 수렴하도록 보장하는 구조적 조건은 무엇인가?

주요 결과

• 모든 단위를 가진 AF 대수는 양자 그로모프-하우스도르프 프로피너시티 위상에서 그 정의하는 유한 차원 C*-대수의 귀납적 수열의 극한이다.
• 모든 단위를 가진 AF 대수에 대해 몫 노름을 통해 구성된 레이븐츠 리프니츠 노름은 프로피너시티 위상에서 유한 차원 부분대수의 수렴을 보장한다.
• 귀납적 수열의 수렴은 추적 상태와 무관하게 자연스러운 조밀성 조건을 만족하는 조밀한 영역의 존재에만 의존한다.
• 두 AF 대수 간의 귀납적 수열을 유지하는 *-동형사상은 해당 양자 메트릭 공간 간의 양자 등거리사상을 유도한다.
• AF 대수와 그 유한 차원 부분대수 간의 양자 프로피너시티 거리는 부분대수가 대수를 완전히 덮을 때 0에 수렴한다.
• 양자 등거리사양 조건은 전체 대수 뿐 아니라 귀납적 수열의 모든 유한 차원 근사에도 적용된다.