[논문 리뷰] C*-algebraic quantum Gromov-Hausdorff distance

Hanfeng Li|ArXiv.org|2003. 11. 28.

Advanced Operator Algebra Research참고 문헌 40인용 수 19

한 줄 요약

이 논문은 Rieffel의 원래 양자 Gromov-Hausdorff 거리가 상태 공간에만 의존하기 때문에 비이sov모르픽인 $C^*$-대수들을 구별하지 못하는 주요 한계를 해결하기 위해, $C^*$-대수의 곱 구조를 구분할 수 있는 $C^*$-대수적 양자 Gromov-Hausdorff 거리를 도입한다. 일반화된 Leibniz 규칙을 통해 대수적 구조를 통합함으로써, 새로운 거리는 고전적 Gromov-Hausdorff 거리를 확장하고, 양자 완비성 및 컴팩트성 정리 보장하며, 컴팩트 양자 거리 공간의 매개변수화된 가중치의 연속성 기준을 제공한다.

ABSTRACT

We introduce a new quantum Gromov-Hausdorff distance between C*-algebraic compact quantum metric spaces. Because it is able to distinguish algebraic structures, this new distance fixes a weakness of Rieffel's quantum distance. We show that this new quantum distance has properties analogous to the basic properties of the classical Gromov-Hausdorff distance, and we give criteria for when a parameterized family of C*-algebraic compact quantum metric spaces is continuous with respect to this new distance.

연구 동기 및 목표

• Rieffel의 양자 Gromov-Hausdorff 거리가 상태 공간에만 의존하기 때문에 비이sov모르픽인 $C^*$-대수들을 구별하지 못하는 한계를 해결하기 위해.
• 대수적 곱 구조를 포함시켜 $C^*$-대수의 대수적 동형 유형이 유지되도록 하는 양자 거리를 개발하기 위해.
• 이론적 $C^*$-대수적 프레임워크 내에서 Gromov의 완비성 및 컴팩트성 정리의 양자판을 확립하기 위해.
• 이 새로운 거리에 대해 매개변수화된 컴팩트 양자 거리 공간의 $C^*$-대수적 가중치의 연속성 기준을 제공하기 위해.
• 기존의 수렴 결과—예를 들어 비가환 토러스와 행렬 대수가 공액동형 궤도로 수렴하는 것—이 새로운 거리 하에서도 성립함을 보여주기 위해.

제안 방법

• 순서 단위 공간(또는 $C^*$-대수) 자체에 직접 정의된 수정된 Gromov-Hausdorff 거리로서, 상태 공간이 아닌 $C^*$-대수 위에서 $C^*$-대수적 양자 Gromov-Hausdorff 거리를 정의한다.
• 리프시츠 반노름과 $C^*$-대수적 구조 간의 호환성을 보장하기 위해 일반화된 Leibniz 규칙을 활용하며, 이는 대수적 동형 유형을 구별하는 데 필수적이다.
• 콤���트 군 $G$ 위의 군 작용과 길이 함수로부터 유도된 리프시츠 반노름을 갖춘 순서 단위 공간 내의 구를 사용하여 거리를 구성한다.
• 연속적인 $C^*$-대수의 필드 이론과 강한 연속성 있는 군 작용을 적용하여 양자 거리 공간의 연속적인 가중치를 정의한다.
• 콤���트 군 $G$의 쌍대군 $\hat{G}$의 각 표현의 다중도 함수 수렴을 바탕으로 연속성 기준을 수립한다.
• 모든 $\gamma \in \hat{G}$에 대해 다중도 함수 $\mathrm{mul}({\mathcal{A}}_t, \gamma) \to \mathrm{mul}({\mathcal{A}}_{t_0}, \gamma)$의 수렴이 이뤄지면, 이는 $C^*$-대수적 양자 거리에서의 수렴을 의미함을 증명한다.

실험 결과

연구 질문

• RQ1 비이sov모르픽 대수들이 곱 구조에 따라 차별화될 수 있도록, 직접 $C^*$-대수 위에 정의된 양자 Gromov-Hausdorff 거리를 정의할 수 있는가?
• RQ2 새로운 거리는 Rieffel의 원래 구성 방식과 마찬가지로 고전적 Gromov-Hausdorff 거리를 동일한 방식으로 확장하는가?
• RQ3 이 새로운 거리 하에서 컴팩트 $C^*$-대수적 양자 거리 공간의 극한이 여전히 $C^*$-대수로 남아 있도록 보장하는 조건은 무엇인가?
• RQ4 매개변수화된 $C^*$-대수적 컴팩트 양자 거리 공간의 가중치가 이 새로운 거리에 대해 연속이 되기 위한 조건은 무엇인가?
• RQ5 비가환 기하학에서 알려진 수렴 결과—예를 들어 비가환 토러스와 행렬 대수가 콤팩트 단순 리 군의 정수 공액동형 궤도로 수렴하는 것—이 새로운 거리 하에서도 성립하는가?

주요 결과

• Rieffel의 원래 거리와 달리, $C^*$-대수적 양자 Gromov-Hausdorff 거리는 곱 구조를 통합함으로써 비이sov모르픽인 $C^*$-대수들을 성공적으로 구별한다.
• 리프시츠 반노름이 일반화된 Leibniz 규칙을 만족하는 한, 새로운 거리는 Gromov의 완비성 및 컴팩트성 정리의 양자판을 만족한다.
• 매개변수화된 $C^*$-대수적 컴팩트 양자 거리 공간의 가중치가 이 새로운 거리에 대해 연속이 되는 것은, 각 점에서 기약 표현의 다중도 함수가 수렴할 때에만 성립한다.
• 이 새로운 거리 하에서 비가환 토러스와 행렬 대수가 정수 공액동형 궤도로 수렴하는 연속성은 확인된다.
• 매개변수 공간 $T$에서 가중치 $({\mathcal{A}}_t, L_t)$의 연속성에 실패하는 점들의 집합은 흩어진 $F_\sigma$ 집합이며, 이는 잔여 점들에서 연속성이 성립함을 시사한다.
• $C^*$-대수적 양자 거리는 이전 연구에서 도입된 순서 단위 양자 거리와 동치이지만, 대수적 구조 민감도라는 추가적인 이점이 있다.