[논문 리뷰] Quantum Isometry Groups of 0- Dimensional Manifolds

Jyotishman Bhowmick, Debashish Goswami외 1명|ArXiv.org|2008. 07. 27.

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

한 줄 요약

이 논문은 0차원 비환류 다양체—특히 AF C*-대수 위의 스펙트럴 트리플릿—의 양자 등거리군이 잘라낸 Bratteli 다이어그램의 양자 대칭군들의 귀납적 극한으로 나타남을 확립한다. 칸토어 집합의 양자 등거리군을 명시적으로 계산하고, 유한한 거리 공간과 그래프의 양자 대칭군이 자연스러운 라플라스 연산자를 지닌 그 고전적 대응체의 양자 등거리군과 일치함을 보여준다.

ABSTRACT

Quantum isometry groups of spectral triples associated with approximately finite-dimensional C*-algebras are shown to arise as inductive limits of quantum symmetry groups of corresponding truncated Bratteli diagrams. This is used to determine explicitly the quantum isometry group of the natural spectral triple on the algebra of continuous functions on the middlethird Cantor set. It is also shown that the quantum symmetry groups of finite graphs or metric spaces coincide with the quantum isometry groups of the corresponding classical objects equipped with natural Laplacians.

연구 동기 및 목표

• 0차원 비환류 다양체—특히 AF C*-대수 위의 스펙트럴 트리플릿—에 대한 양자 등거리군을 정의하고 계산한다.
• AF 대수의 양자 등거리군과 잘라낸 Bratteli 다이어그램의 양자 대칭군 사이의 연결 고리를 확립한다.
• 기존의 유한한 거리 공간과 그래프의 양자 대칭군 프레임워크를 양자 등거리군의 프레임워크와 통합한다.
• 양자 등거리의 개념을 일반적인 컴acts 거리 공간으로 확장하고, [0,1]과 S¹에 대한 보편적인 예를 계산한다.
• 곱공간의 양자 등거리가 고전적 등거리와 마찬가지로 곱의 구조를 유지하지는 않음을 보여준다.

제안 방법

• AF 대수와 관련된 Bratteli 다이어그램의 유한차원 잘라낸 것의 양자 대칭군들의 귀납적 극한으로서 양자 등거리군을 구성한다.
• Connes의 스펙트럴 트리플릿 프레임워크와 [Gos] 및 [BG1]의 양자 등거리군 구성법을 AF 대수에 적용한다.
• AF 대수 위에서 Christensen-Ivan 스펙트럴 트리플릿 구성법을 사용하여 0차원 비환류 공간 위에 리만 기반의 구조를 정의한다.
• 콤���트 양자군이 스펙트럴 트리플릿 위에 작용하는 방식을, 메트릭 연산자의 텐서곱 전개에서 계수를 비교함으로써 분석한다.
• 코멀티플리케이션 계수에 대한 양의성과 자기수반 조건을 적용하여 양자군의 구조적 성질을 유도한다.
• 특정 경우—예를 들어 S¹과 [0,1]—에서 [BG1]의 선형 양자군 작용 결과를 적용하여 양자군의 교환성을 도출한다.

실험 결과

연구 질문

• RQ1 0차원 비환류 다양체—특히 AF C*-대수—의 양자 등거리군은 어떻게 유한차원 근사로부터 유도되는가?
• RQ2 Connes의 스펙트럴 트리플릿을 지닌 중간 3분할 칸토어 집합의 양자 등거리군은 무엇인가?
• RQ3 유한한 그래프나 거리 공간의 양자 대칭군은 자연스러운 라플라스 연산자를 지닌 고전적 대응체의 양자 등거리군과 일치하는가?
• RQ4 양자 등거리의 개념을 임의의 컴팩트 거리 공간으로 일반화할 수 있으며, 이러한 경우의 보편 양자군은 무엇인가?
• RQ5 곱공간의 양자 등거리가 고전적 등거리와 마찬가지로 곱의 구조를 유지하는가?

주요 결과

• 자연스러운 스펙트럴 트리플릿을 지닌 칸토어 집합의 양자 등거리군은 잘라낸 Bratteli 다이어그램의 양자 대칭군들의 귀납적 극한으로 명시적으로 계산된다.
• 교환적인 AF 대수의 경우, 해당 유한차원 잘라낸 것의 양자 등거리군은 잘라낸 Bratteli 다이어그램의 양자 대칭군과 동형이다.
• Banica와 Bichon가 정의한 유한한 거리 공간의 양자 대칭군은 그 공간 위의 함수 대수에 자연스러운 라플라스 연산자를 부여한 경우의 양자 등거리군과 일치한다.
• 유한한 그래프의 양자 대칭군은 경로 길이 거리계를 지닌 해당 거리 공간의 양자 등거리군과 동형이다.
• [0,1]의 경우, 양자 등거리군이 교환적임을 보이며, C(S¹ ⋊ Z₂)와 동형임을 나타내어 비고전적 양자 등거리가 존재하지 않음을 시사한다.
• 원주 S¹의 경우, 양자 등거리군 역시 교환적이며, C(S¹ ⋊ Z₂)와 동형임을 확인하여 이 경우 비자명한 양자 등거리가 존재하지 않음을 확인한다.