[論文レビュー] Discrete spectral triples converging to dirac operators

Alejandro Rivero|ArXiv.org|Mar 15, 2002

Advanced Operator Algebra Research参考文献 9被引用数 3

ひとこと要約

この論文は、ヒルベルト空間の自由度を3重化することで、1次元多様体をゼロ次元の非可換幾何の連続的極限として実現する離散的スペクトル三重項を構築する。各サイトで3×3ブロック行列構造にDirac作用素を埋め込むことで、Connesのスペクトル三重項の公理を満たし、連続極限で標準的Dirac作用素 $ i\sigma_1 \partial_x $ を回復する。これにより、非可換幾何におけるナード・ラティス離散化の障害である Gökelerと Schücker の「no-go」定理を回避する。

ABSTRACT

We exhibit some series of discrete spectral triples converging to the canonical spectral triple of a finite dimensional manifold. Thus the non-go theorem of Goekeler and Schuecker is reasonably bypassed.

研究の動機と目的

• 非可換幾何におけるDirac作用素のナードラティス離散化に対する Gökeler-Schücker の「no-go」定理を克服すること。
• 有限次元多様体の標準的スペクトル三重項に収束する離散的スペクトル三重項を構築すること。
• ヒルベルト空間表現の3重化（2重化ではなく）が、ラティス上での非可換多様体の公理的構造を回復することを示すこと。
• 得られた離散モデルが連続極限でPoincaré双対性および第一階条件を満たすことを示すこと。
• 交差行列とその退化が物理的Dirac作用素への収束に与える影響を明らかにすること。

提案手法

• ヒルベルト空間への代数作用を3×3ブロック行列表現で定義し、各サイトが $ v_i^-, v_i^0, v_i^+ $ の3つの成分を有する。これらは隣接サイトに対応する。
• Dirac作用素 $ D $ を、符号が交差行列 $ q $ に従って反対のヘリシティを持つサイト間でのみ非ゼロの行列要素を持つように定義する。
• 符号 $ q_{ij} $ に応じて部分空間上で $ \pm 1 $ に作用するチャイラリティ作用素 $ \gamma $ を定義し、適切なグレーディングを保証する。
• コンmutator $ [D, A] $ をブロック対角行列として構成し、前向きおよび後向き微分 $ a'_{-}, a'_{+} $ を符号化する。これらは連続極限で $ i\sigma_1 \partial_x $ に収束する。
• スペクトル三重項の積則を $ D_2 = D \otimes 1 + \gamma \otimes D $ として適用し、0次元の構築ブロックから高次元多様体を構築可能にする。
• コンmutator $ [D, A] $ の核空間が前向きおよび後向き微分の線形結合で生成され、連続極限で退化するが、物理的極限と整合的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 連続極限で1次元多様体上の標準的Dirac作用素が得られ、非可換幾何のすべての公理を満たすような離散的スペクトル三重項を構築可能か？
• RQ2 なぜヒルベルト空間自由度のナード2重化は公理を満たさないが、3重化では満たせるのか？
• RQ3 交差行列 $ q $ の退化が物理的Dirac作用素への収束に与える影響は何か？また、連続極限でこれを解消できるか？
• RQ4 チャイラリティ構造がDirac作用素の正しい振る舞いおよび第一階条件の満たし方に果たす役割は何か？
• RQ5 0次元の離散的スペクトル三重項の積則を用いて、符号則の曖昧さを回避して高次元多様体を構築可能か？

主な発見

• ヒルベルト空間自由度の3重化を用いた離散的スペクトル三重項は、非可換幾何のすべての公理（第一階条件およびPoincaré双対性を含む）を満たす。
• コンmutator $ [D, A] $ は前向きおよび後向き微分を符号化する行列として作用し、連続極限で $ i\sigma_1 \partial_x $ に収束し、標準的Dirac作用素が回復される。
• $ [D, A] $ の核空間は前向きおよび後向き微分の線形結合で生成され、連続極限で退化するが、物理的極限と整合的である。
• 閉路（b=1）の場合、交差行列 $ q $ の行列式列は周期6を示し、n=6でゼロを含む。一方、区間（b=0）では周期3でn=2にゼロが現れ、非退化部分列が得られる。
• 2つのこのような0次元スペクトル三重項の積により、$ D_2 = D \otimes 1 + \gamma \otimes D $ で与えられる2次元モデルが得られ、連続極限でDirac作用素は $ i(\sigma_x \partial_x + \sigma_y \partial_y) $ に一致し、期待される形となる。
• 0次元の構築ブロックのみを用いることで、スペクトル三重項の積における符号則の曖昧さを回避し、高次元構築における一貫性を保証する。