[논문 리뷰] On Gromov-Hausdorff convergence for operator metric spaces

David Kerr, Hanfeng Li|ArXiv.org|2004. 11. 08.

Advanced Operator Algebra Research참고 문헌 23인용 수 35

한 줄 요약

이 논문은 연산자 체계에서 두 가지 양자 Gromov-Hausdorff 수렴 개념의 동치성을 확립한다: 제2저자의 순서 단위 기반 양자 Gromov-Hausdorff 거리와 제1저자의 행렬적 접근에서 유도된 완전 거리. 핵심 기여는 이러한 두 거리의 동치성을 증명한 것으로, 이는 두 경쟁적인 프레임워크를 통합하고, 연산자 Gromov-Hausdorff 수렴의 일관된 이론을 가능하게 하며, 완비성, 양자 토러스와 $\theta$-변형에서의 연속성, 행렬 대수에 의한 근사 가능성의 특성화 및 일반적인 순서 구조의 특성화를 포함한다.

ABSTRACT

We introduce an analogue for Lip-normed operator systems of the second author's order-unit quantum Gromov-Hausdorff distance and prove that it is equal to the first author's complete distance. This enables us to consolidate the basic theory of what might be called operator Gromov-Hausdorff convergence. In particular we establish a completeness theorem and deduce continuity in quantum tori, Berezin-Toeplitz quantizations, and theta-deformations from work of the second author. We show that approximability by Lip-normed matrix algebras is equivalent to 1-exactness of the underlying operator space and, by applying a result of Junge and Pisier, that for n greater than or equal to 7 the set of isometry classes of n-dimensional Lip-normed operator systems is nonseparable. We also treat the question of generic complete order structure.

연구 동기 및 목표

• 연산자 체계에서 두 개별적인 양자 Gromov-Hausdorff 수렴 접근법을 통합하기: 행렬적 완전 거리와 순서 단위 기반 연산자 Gromov-Hausdorff 거리.
• 이 두 거리 간의 동치성을 증명함으로써 연산자 Gromov-Hausdorff 수렴을 위한 통합 프레임워크를 수립하기.
• 통합 프레임워크를 적용하여 완비성, 양자 토러스와 Berezin-Toeplitz 양자화에서의 연속성, 그리고 행렬 대수에 의한 근사 가능성의 특성화를 증명하기.
• 특히 $n \geq 7$인 경우, $n$차원 리프니츠-노름이 부여된 연산자 체계의 공간의 위상적 및 구조적 성질을 조사하기.
• 연산자 Gromov-Hausdorff 위상 하에서 $1$-정확한 연산자 체계의 일반적인 완전 순서 구조를 규명하기.

제안 방법

• 연산자 체계의 융합 합을 도입하고 분석하여, 리프니츠-노름이 부여된 연산자 체계의 등장사상 클래스 위에 연산자 Gromov-Hausdorff 거리를 거리로 정의하기.
• 순서 단위 케이스에서의 기법을 연산자 체계의 행렬적 설정으로 일반화하여, 연산자 Gromov-Hausdorff 거리가 완전 거리와 동치임을 증명하기.
• 동치성의 결과를 바탕으로, 리프니츠-노름이 부여된 연산자 체계의 공간에서 연산자 Gromov-Hausdorff 위상에 대한 완비성 정리 수립하기.
• 제2저자의 ${\rm dist_{nu}}$ 거리와의 비교를 통해, 양자 토러스, $\theta$-변형, Berezin-Toeplitz 양자화에서의 연속성 결과 도출하기.
• Junge와 Pisier의 비가산 $n$차원 연산자 체계 집합에 관한 결과를 활용하여, 기저 연산자 공간의 $1$-정확성과 행렬 근사 가능성의 특성화 수행하기.
• 연산자 Gromov-Hausdorff 위상 하에서 행렬 대수의 인도크티브 극한의 밀도 있는 $G_\delta$ 집합을 구성함으로써 일반적인 완전 순서 구조 분석하기.

실험 결과

연구 질문

• RQ1 리프니츠-노름이 부여된 연산자 체계의 맥락에서 연산자 Gromov-Hausdorff 거리와 완전 거리는 동치인가?
• RQ2 이 두 거리 간의 동치성은 비가환 기하학적 거리 수렴 이론의 통합 가능성을 보장하는가?
• RQ3 특히 $n \geq 7$일 때, 리프니츠-노름이 부여된 $n$차원 연산자 체계의 등장사상 클래스의 공간은 비가산인가?
• RQ4 행렬 대수에 의한 근사 가능성과 기저 연산자 공간의 $1$-정확성 간의 관계는 무엇인가?
• RQ5 연산자 Gromov-Hausdorff 위상 하에서 $1$-정확한 연산자 체계의 일반적인 완전 순서 구조는 무엇인가?

주요 결과

• 리프니츠-노름이 부여된 연산자 체계의 공간에서 연산자 Gromov-Hausdorff 거리와 완전 거리는 동일하며, 이는 수렴의 표준 개념을 확립한다.
• 특히 $n \geq 7$일 때, 리프니츠-노름이 부여된 $n$차원 연산자 체계의 등장사상 클래스의 공간은 비가산임을 입증하였으며, 이는 컴act 양자 거리 공간으로서 등장사상하는 비가산 가중 체계의 가족을 통해 증명된다.
• 리프니츠-노름이 부여된 연산자 체계가 리프니츠-노름이 부여된 행렬 대수로 근사 가능할 조건은 기저 연산자 공간이 $1$-정확할 때에 한하여 성립한다.
• 연산자 Gromov-Hausdorff 위상은 $1$-정확성 조건에서 준가역성의 부재로 인해, 단위 $C^*$-대수의 등장사상 클래스 공간에서 ${\rm dist_{nu}}$ 위상보다 엄밀히 더 약한 위상이다.
• 일반적인 $1$-정확한 연산자 체계는 엄밀히 증가하는 차원의 수열을 따라 행렬 대수의 인도크티브 극한과 단위적으로 완전 순서 동형이다.
• $C^*$-대수적 양자 Gromov-Hausdorff 위상은 연산자 Gromov-Hausdorff 위상보다 더 약하거나 더 강하지 않으며, 이는 첫 번째 위상에서의 행렬 근사 가능성과 $C^*$-대수가 MF 대수임과 동치이기 때문이다.