[論文レビュー] Convergence of Spectral Triples on Fuzzy Tori to Spectral Triples on Quantum Tori

Frédéric Latrémolière|arXiv (Cornell University)|Feb 7, 2021

Advanced Operator Algebra Research参考文献 84被引用数 6

ひとこと要約

本稿は、有限巡回群のねじれ付き群C*-代数から生じる有限次元C*-代数であるファジー・トーラス上にスペクトル三つ組を構成し、それらがスペクトル近接性の意味で量子トーラス上の標準的スペクトル三つ組に収束することを証明する。収束はモジュラートンネルと計量対応を用いて確立され、ファジー・トーラスが量子メトリック空間としてだけでなく、非可換微分可能多様体としても量子トーラスを近似することを示しており、状態空間およびディラック作用素によって生成される力学系の収束を含む。

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 上の共通のヒルベルト加群構造を用いたモジュラートンネルを導入する。
• スペクトル三つ組の平均値定理を用いて、近似されたディラック作用素と極限ディラック作用素のノルム差を制御する。
• 有限ランク射影作用素 V_f^n と、Fourier変換が ℓ1 に属する急減少関数 f を用いて近似誤差を制御する。
• モジュラートンネルの広がりと計量対応の範囲を任意の ε > 0 以内に抑え、スペクトル近接性により収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的および量子トーラスにおける自然なディラック作用素と一致するように、ファジー・トーラス上にスペクトル三つ組を構成できるか？
• RQ2 ファジー・トーラス上のスペクトル三つ組の列が、意味的な幾何的意味で、対応する量子トーラス上のスペクトル三つ組に収束するか？
• RQ3 スペクトル三つ組の収束は、単なる量子メトリック収束をはるかに超えて、状態空間および力学系の収束を含むのか？
• RQ4 スペクトル近接性——スペクトル三つ組におけるGromov-Hausdorff収束の非可換版——を用いて収束を定量化できるか？
• RQ5 ファジー・トーラス上のディラック作用素が生成する量子力学系は、量子トーラス上のそれらに収束するか？

主な発見

• 構築されたファジー・トーラス上のスペクトル三つ組は、スペクトル近接性の意味で、量子トーラス上の標準的スペクトル三つ組に収束する。
• 収束は定量的である：任意の ε > 0 に対して、ある N ∈ ℕ が存在し、すべての n ≥ N に対して、ファジー・トーラスの三つ組と量子トーラスの三つ組との間のスペクトル近接性が ε 以下になる。
• 量子メトリクスを備えたスペクトル三つ組の状態空間は、Gromov-Hausdorff距離の意味で、距離空間として収束する。
• ファジー・トーラス上のディラック作用素によって生成される力学系は、ユニタリ群の1パラメータ族の均等近似により、量子トーラス上のそれらに収束する。
• モジュラートンネル構成により、スペクトル三つ組間の計量的対応の広がりが ε 以下であることが保証され、計量的意味での収束が確認される。
• 証明は、Fourier変換が ℓ1 に属する切断関数 f を用いた有限ランク近似に依存しており、ノルムおよび作用素ノルム差の誤差を制御することが可能になる。