[논문 리뷰] Spectral triples for AF C*-algebras and metrics on the Cantor set

Antonescu, Cristina, Erik Christensen|ArXiv.org|2003. 09. 02.

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

한 줄 요약

이 논문은 AF C*-대수의 자연스러운 필터링을 통해 유도된 디랙 연산자를 사용하여 AF C*-대수의 스펙트럴 트리플을 구성한다. 이는 상태 공간 위에 약한*-위상과 일치하는 거리 구조를 유도한다. 주요 결과로는 디랙 연산자의 고유값을 스펙트럴 트리플의 공리 위반 없이 임의로 증가시킬 수 있으며, 이러한 성질이 특정 조건 하에서 AF 대수를 비롯한 단위 C*-대수 중에서 이를 특징짓는다.

ABSTRACT

An AF C*-algebra has a natural filtration as an increasing sequence of finite dimensional C*-algebras. We show that it is possible to construct a Dirac operator which relates to this filtration in a natural way and which will induce a metric for the weak*-topology on the state space of the algebra. In the particular case of a UHF C*-algebra, the construction can be made in a way, which relates directly to the dimensions of the increasing sequence of subalgebras.The algebra of continuous functions on the Cantor set is an approximately finite dimensional C*-algebra and our investigations show, when applied to this algebra, that the proposed Dirac operators have good classical interpretations and lead to an, apparently, new way of constructing a representative for a Cantor set of any given Hausdorff dimension. At the end of the paper we study the finite dimensional full matrix algebras over the complex numbers, and show that the operation of transposition on matrices yields a spectral triple which has the property that it's metric on the state space is exactly the norm distance.This result is then generalized to arbitrary unital C*-algebras.

연구 동기 및 목표

• AF C*-대수의 귀납적 극한 구조를 존중하는 디랙 연산자를 사용하여 스펙트럴 트리플을 구성하는 것.
• 대수의 상태 공간 위에 약한*-위상과 일치하는 거리 구조를 유도하는 것.
• 디랙 연산자의 고유값을 임의로 확장할 수 있는 성질이 AF C*-대수를 특징짓는지 조사하는 것.
• 연속 함수 대수 C(X) 위에서 스펙트럴 트리플을 이용하여 주어진 허스트로프 차원을 갖는 칸토어 집합을 새롭게 구성하는 것, 여기서 X는 칸토어 집합이다.
• 완전 행렬 대수 Mn에 대해 전치 연산이 상태 공간 위에 정확히 노름 거리 구조를 유도하는 스펙트럴 트리플을 제공하며, 이를 임의의 단위 C*-대수로 일반화하는 것.

제안 방법

• 유한차원 부분대수로 이루어진 필터링과 자연스럽게 상호작용하는 힐베르트 공간 H 위의 디랙 연산자 D를 구성한다.
• 대수의 힐베르트 공간 위의 표현과 S가 플립 연산자인 P = (I + S)/2를 사용하여 자기수반인 a에 대해 [P, π(a)]의 교환자를 정의한다.
• norm ‖[P, π(a)]‖과 a가 항등원의 스칼라 배수와의 거리 사이의 관계를 ‖a − γI‖ = 2‖[P, π(a)]‖라는 항등식을 통해 연결한다.
• 상태 공간 S(A) 위의 거리 구조를 d(φ, ψ) = sup{|φ(a) − ψ(a)| : a ∈ A, ‖[D, a]‖ ≤ 1}로 정의하여 약한*-위상과의 호환성을 확보한다.
• 칸토어 집합 X 위의 C*-대수 C(X)에 이 구성법을 적용하여, 얻어진 디랙 연산자가 주어진 허스트로프 차원을 갖는 칸토어 집합을 새롭게 구성하는 데에 사용될 수 있음을 보인다.
• Mn에 대해 L²(Mn, tr) 위의 전치 연산자 T를 사용하여 P = (I + T)/2를 정의하고, 이로부터 유도된 스펙트럴 트리플이 상태 공간 위에 정확히 노름 거리 구조를 유도함을 보인다.

실험 결과

연구 질문

• RQ1 AF C*-대수에 대해, 관련된 상태 공간 위의 거리 구조가 약한*-위상과 일치하는 스펙트럴 트리플을 구성할 수 있는가?
• RQ2 AF 대수의 필터링이 거리 구조를 유도하는 디랙 연산자를 구성하는 데에서 수행하는 역할은 무엇인가?
• RQ3 디랙 연산자의 고유값을 스펙트럴 트리플 공리 위반 없이 임의로 확장할 수 있는 능력이 AF C*-대수를 특징짓는가?
• RQ4 칸토어 집합 X에 대해 C(X) 위의 스펙트럴 트리플 구성법이 주어진 허스트로프 차원을 갖는 칸토어 집합을 생성하는 데에 새로운 방법을 제공하는가?
• RQ5 완전 행렬 대수 Mn에 대해 전치 연산이 상태 공간 위에 정확히 노름 거리 구조를 유도하는 스펙트럴 트리플을 생성하는가? 그리고 이는 임의의 단위 C*-대수로 일반화될 수 있는가?

주요 결과

• AF C*-대수의 귀납적 극한 필터링에서 유도된 디랙 연산자를 사용하여 임의의 AF C*-대수에 대해 스펙트럴 트리플을 구성할 수 있으며, 이는 상태 공간 위에 약한*-위상과 일치하는 거리 구조를 유도한다.
• 유도된 스펙트럴 트리플 내의 디랙 연산자의 고유값은 스펙트럴 트리플 공리 위반 없이 임의로 증가시킬 수 있다.
• 이러한 고유값의 유연성은 비-AF C*-대수에서는 가능하지 않으며, 논문은 이러한 현상이 제시된 조건 하에서 AF 대수를 특징짓는다는 것을 증명한다.
• 칸토어 집합 X 위의 C*-대수 C(X)에 대해, 구성법이 유도하는 스펙트럴 트리플은 주어진 허스트로프 차원을 갖는 칸토어 집합을 생성하는 데에 새로운 방법을 제공한다.
• 완전 행렬 대수 Mn에 대해, L²(Mn, tr) 위의 전치 연산은 상태 공간 위에 정확히 노름 거리 구조를 유도하는 스펙트럴 트리플을 생성한다.
• 이 결과는 임의의 단위 C*-대수로 일반화되며, 전치 기반 구성법이 상태 공간 위에 정확히 노름 거리 구조를 유도한다는 것을 보여준다.