[논문 리뷰] Convergence of Spectral Triples on Fuzzy Tori to Spectral Triples on Quantum Tori

Frédéric Latrémolière|arXiv (Cornell University)|2021. 02. 07.

Advanced Operator Algebra Research참고 문헌 84인용 수 6

한 줄 요약

이 논문은 유한 순환 군의 외적 군 C*-대수로부터 유도되는 유한 차원 C*-대수인 퍼지 토러스 위에 스펙트럴 트리플렛을 구성하고, 스펙트럴 프로피누시티의 의미에서 양자 토러스 위의 정규 스펙트럴 트리플렛으로의 수렴을 증명한다. 수렴은 모듈러 터널과 메트릭 코어스 pondence를 통해 확립되며, 이는 퍼지 토러스가 양자 미터릭 공간뿐 아니라 비가환 미분 다양체로서도 양자 토러스를 근사하고 있음을 보여주며, 상태 공간과 디라크 연산자가 생성하는 동역학의 수렴을 포함한다.

ABSTRACT

Fuzzy tori are finite dimensional C*-algebras endowed with an appropriate notion of noncommutative geometry inherited from an ergodic action of a finite closed subgroup of the torus, which are meant as finite dimensional approximations of tori and more generally, quantum tori. A mean to specify the geometry of a noncommutative space is by constructing over it a spectral triple. We prove in this paper that we can construct spectral triples on fuzzy tori which, as the dimension grow to infinity and under other natural conditions, converge to a natural spectral triple on quantum tori, in the sense of the spectral propinquity. This provides a formal assertion that indeed, fuzzy tori approximate quantum tori, not only as quantum metric spaces, but as noncommutative differentiable manifolds -- including convergence of the state spaces as metric spaces and of the quantum dynamics generated by the Dirac operators of the spectral triples, in an appropriate sense.

연구 동기 및 목표

• 퍼지 토러스가 비가환 리만 다각형으로서 양자 토러스를 근사한다는 직관적 아이디어를 형식화하기 위해.
• 고전적 및 양자 토러스에서 자연스럽게 구성되는 것과 유사한 방식으로 퍼지 토러스 위에 명시적인 스펙트럴 트리플렛을 구성하기 위해.
• 이러한 스펙트럴 트리플렛이 스펙트럴 프로피누시티의 의미에서 해당 양자 토러스 위의 스펙트럴 트리플렛으로 수렴함을 확립하기 위해.
• 수렴이 뿐만 아니라 양자 미터릭 구조뿐 아니라 상태 공간과 디라크 연산자가 생성하는 동역학의 수렴을 포함하는지 확인하기 위해.
• 양자장 이론과 끈 이론에서의 매트릭스 모델을 연속적인 비가환 기하학의 근사로 다룰 수 있는 엄밀한 프레임워크를 제공하기 위해.

제안 방법

• 유한 아벨 군의 쌍대 작용에 기반한 외적 군 C*-대수에서 유도된 디라크 연산자를 사용하여 퍼지 토러스 위에 스펙트럴 트리플렛을 구성한다.
• 퍼지 토러스 대수의 조밀한 *-부분대수를 정의하고, 디라크 연산자가 표현과 유한한 연산자까지의 오차를 허용하는 방식으로 가환함을 보장한다.
• C⊕C 위의 공동 힐베르트 모듈러스 구조를 이용하여 퍼지 토러스의 스펙트럴 트리플렛과 양자 토러스의 극한 스펙트럴 트리플렛 사이의 모듈러 터널을 도입한다.
• 스펙트럴 트리플렛에 대한 평균값 정리를 사용하여 근사화된 디라크 연산자와 극한 디라크 연산자 간의 노름 차이를 제어한다.
• 수렴 오차를 제어하기 위해 빠르게 감쇠하는 푸리에 변환을 가진 컷오프 함수 f와 유한 랭크 프로젝션 V_f^n의 수열을 활용한다.
• 모듈러 터널과 메트릭 코어스 pondence의 범위를 임의의 ε > 0 이내로 유 bounds 하여 스펙트럴 프로피누시티를 통한 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 고전적 및 양자 토러스에서 자연스럽게 구성되는 디라크 연산자와 유사한 방식으로 퍼지 토러스 위에 스펙트럴 트리플렛을 구성할 수 있는가?
• RQ2 퍼지 토러스 위의 스펙트럴 트리플렛 수열이 의미 있는 기하학적 의미에서 해당 양자 토러스 위의 스펙트럴 트리플렛으로 수렴하는가?
• RQ3 스펙트럴 트리플렛의 수렴이 뿐만 아니라 양자 미터릭 수렴뿐만 아니라 상태 공간과 디라크 연산자가 생성하는 동역학의 수렴을 포함하는가?
• RQ4 스펙트럴 프로피누시티—스펙트럴 트리플렛에 대한 곰프-하우스도르프 수렴의 비가환 대체물—를 사용하여 수렴을 정량화할 수 있는가?
• RQ5 퍼지 토러스 위의 디라크 연산자가 생성하는 양자 동역학이 양자 토러스 위의 동역학으로 수렴하는가?

주요 결과

• 구성된 퍼지 토러스 위의 스펙트럴 트리플렛은 스펙트럴 프로피누시티의 의미에서 양자 토러스 위의 정규 스펙트럴 트리플렛으로 수렴한다.
• 수렴은 정량화 가능하다: 임의의 ε > 0에 대해, 모든 n ≥ N에 대해 퍼지 토러스 트리플렛과 양자 토러스 트리플렛 사이의 스펙트럴 프로피누시티가 최대 ε 이내가 되는 N ∈ ℕ 가 존재한다.
• 스펙트럴 트리플렛의 상태 공간은 그들의 양자 미터릭과 함께 Gromov-Hausdorff 거리에 따라 메트릭 공간으로 수렴한다.
• 디라크 연산자가 생성하는 동역학은, 유니터리의 한파라미터 군에 대한 균일한 근사에 의해 퍼지 토러스 위의 동역학이 양자 토러스 위의 동역학으로 수렴함을 보여준다.
• 모듈러 터널 구성은 스펙트럴 트리플렛 간의 메트릭 코어스 pondence의 범위가 최대 ε 이내임을 보장하여, 메트릭 의미에서의 수렴을 확인한다.
• 증명은 ℓ1 푸리에 변환을 가진 컷오프 함수 f를 사용한 디라크 연산자의 유한 랭크 근사에 기반하며, 이는 노름과 연산자 노름 차이에 대한 오차 제어를 보장한다.