[論文レビュー] Finite spectral triples for the fuzzy torus

John W. Barrett, James Gaunt|arXiv (Cornell University)|Aug 19, 2019

Noncommutative and Quantum Gravity Theories参考文献 24被引用数 13

ひとこと要約

この論文は、平坦なトーラスのすべての4つのスピン構造を備えた、ファジー・トーラスの有限実スペクトル三重項を構築する。行列代数と量子整数によって定義されたディラック作用素を用いて、スペクトルが可換トーラスのスペクトルを変形することが示され、固有値は古典的運動量の量子整数版である。また、スピン構造はスペクトルから完全に回復される。

ABSTRACT

Finite real spectral triples are defined to characterise the non-commutative geometry of a fuzzy torus. The geometries are the non-commutative analogues of flat tori with moduli determined by integer parameters. Each of these geometries has four different Dirac operators, corresponding to the four unique spin structures on a torus. The spectrum of the Dirac operator is calculated. It is given by replacing integers with their quantum integer analogues in the spectrum of the corresponding commutative torus.

研究の動機と目的

• 可換トーラスの任意のスピン構造を持つ非可換幾何をモデル化する有限実スペクトル三重項を定義すること。
• ファジー・トーラスの構成を、非可換な4重被覆を介して、4つの異なるスピン構造を含むように一般化すること。
• ディラック作用素のスペクトルが、量子整数による変形を通じて古典的ケースと一致するように、スピン構造を符号化していることを示すこと。
• 有限行列代数上の群作用と運動量写像を用いて、非可換シンプレクティック還元の非可換類似を確立すること。

提案手法

• 根が1の単位根である $ q $ を満たす $ UV = qVU $ を満たすユニタリ行列 $ U $ と $ V $ を用いて、有限非可換トーラスを構成する。
• 回転するフレームに類似した可換フレーム・フィールド構成を模倣するため、交換子と反交換子を用いてディラック作用素 $ D_{X,Y} $ を定義する。
• $ U^{2N'} = V^{2N'} = 1 $ の条件を課すことにより、$ \mathbb{Z}_2 \times \mathbb{Z}_2 $ 群作用を実現し、4つの異なるスピン構造を可能にする。
• 群 $ \mathcal{G} \cong \mathbb{Z}_2 \times \mathbb{Z}_2 $ のキャラクターを用いて、ヒルベルト空間を4つの部分空間 $ \mathcal{H}_\chi $ に分解し、それぞれがスピン構造に対応させる。
• 左作用と右作用を関係付けるために実構造 $ J $ を適用し、実スペクトル三重項の公理と整合性を保証する。
• 運動量写像の制約 $ \mu = 0 $ に対応する商代数 $ \mathcal{A}_{00} $ として特定することにより、非可換シンプレクティック還元を確立する。

実験結果

リサーチクエスチョン

• RQ1 ファジー・トーラスに対して、可換トーラスのすべての4つのスピン構造を実現する有限スペクトル三重項をどのように構築できるか。
• RQ2 幾何的および位相的データを保持する非可換ディラック作用素の非可換類似は何か。
• RQ3 ファジー・トーラス上のディラック作用素のスペクトルは、可換トーラスの古典的スペクトルとどのように関係するか。
• RQ4 可換トーラスのスピン構造は、非可換ディラック作用素のスペクトルから再構成可能か。
• RQ5 有限行列代数と群作用の文脈において、シンプレクティック還元の非可換一般化は何か。

主な発見

• ディラック作用素 $ D_{U,V} $ のスペクトルは、$\left[\frac{l}{2}\right]_q^2 + \left[\frac{k}{2}\right]_q^2$ で与えられ、$[n]_q$ は量子整数である。これは古典的トーラススペクトルの直接的な変形を示している。
• 正方形のファジー・トーラスでは、固有値はスピン構造 $\sigma = (1,1)$ の可換ケースと一致し、4重被覆のため各固有値の重複度は4である。
• 可換トーラス上の4つの異なるスピン構造は、$\mathcal{H} = \mathcal{H}_{00} \oplus \mathcal{H}_{01} \oplus \mathcal{H}_{10} \oplus \mathcal{H}_{11}$ の分解により実現され、それぞれが $\mathbb{Z}_2 \times \mathbb{Z}_2$ のキャラクターに対応する。
• 実構造 $ J $ は各 $\mathcal{H}_\chi$ に一貫して作用し、スペクトル三重項が実スペクトル三重項の公理を満たすことを保証する。
• この構成は、$\mathcal{A}_{00}$ がシンプレクティック商に対応する Marsden-Weinstein還元の非可換類似を提供する。$\mathcal{G}^*$ は運動量写像の像として機能する。
• ディラック作用素 $ D_{X,Y} $ は、微分と関数の代わりに交換子と反交換子を用いることで、古典的ディラック作用素の忠実な非可換一般化である。