[論文レビュー] An Introduction to Noncommutative Geometry

Joseph C. Várilly|ArXiv.org|Sep 30, 1997

Advanced Operator Algebra Research被引用数 4

ひとこと要約

この論文はスペクトル三重項を通じて非可換幾何学を導入し、リーマン幾何学を非可換代数へ一般化する枠組みを確立する。リーマン球面および非可換トーラスにおける基礎的構成が提示され、非可換積分が導入され、接続群族を用いた量子化が展開され、実スペクトル三重項の公理的基盤およびその同値性と作用汎関数が得られる。

ABSTRACT

This is the introduction and bibliography for lecture notes of a course given at the Summer School on Noncommutative Geometry and Applications, sponsored by the European Mathematical Society, at Monsaraz and Lisboa, Portugal, September 1-10, 1997. In the published version, an epilogue of recent developments and many new references from 1998-2006 have been added. 1. Commutative geometry from the noncommutative point of view. 2. Spectral triples on the Riemann sphere. 3. Real spectral triples, the axiomatic foundation. 4. Geometries on the noncommutative torus. 5. The noncommutative integral. 6. Quantization and the tangent groupoid. 7. Equivalence of geometries. 8. Action functionals. 9. Epilogue: new directions.

研究の動機と目的

• 数学的物理および微分幾何学の研究者を対象に、非可換幾何学について包括的な紹介を提供すること。
• 特にリーマン球面および非可換トーラスにおいて、スペクトル三重項をリーマン多様体の非可換一般化として確立すること。
• 実スペクトル三重項の公理的枠組みを構築し、量子場理論および重力への応用を可能にすること。
• 非可換積分を導入し、非可換空間における体積および測度の定義におけるその役割を明らかにすること。
• 接続群族の構成を量子化および幾何的変形量子化の道具として探求すること。

提案手法

• 中心的な幾何的対象としてスペクトル三重項 (A, H, D) を用い、A は非可換代数、H はヒルベルト空間、D はコンパクトな逆作用素を持つ自己共役作用素である。
• 滑らかな関数の代数とディラック作用素を用いて、リーマン球面上にスペクトル三重項を構成し、古典的幾何の一般化を実現する。
• 実構造作用素 J を導入することで実スペクトル三重項を定義し、D および A との特定の交換関係を満たす。
• 接続群族の構成を用いて多様体がその余接 bundle へ変形されることをモデル化し、群族 C*-代数を介した量子化を可能にする。
• ディクシエ・トレースを用いて非可換積分を定義し、スペクトルデータと体積などの幾何的不変量を結びつける。
• スペクトル不変量および計量不変量を保存するモラータ同値性を介して、幾何の同値性を保証する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル三重項を用いて、リーマン幾何学を非可換代数へ一般化する方法は何か？
• RQ2 スペクトル三重項が非可換多様体を定義するための条件は何か、特に非可換トーラス上ではどうか？
• RQ3 接続群族の構成は、量子化における古典的幾何から非可換幾何への移行をどのように促進するか？
• RQ4 非可換積分は、体積などの古典的幾何的不変量をどのように回復するか？
• RQ5 実スペクトル三重項を用いて、ポincare双対性を満たす非可換リーマン幾何学の整合的な非可換版を定義する方法は何か？

主な発見

• リーマン球面上のスペクトル三重項は、スピン作用素上のディラック作用素を介して標準的計量を実現し、非可換データから古典的幾何を回復する。
• 非可換トーラスは、非可換パrameter θ でパラメータ化されたスペクトル三重項の族を有し、計量構造はディラック作用素に符号化される。
• 非可換積分はディクシエ・トレースを用いて定義され、単位元に作用させた場合に非可換トーラスの体積に対して有限値をもたらす。
• 実スペクトル三重項は第一順序条件およびポincare双対性を満たし、リーマン幾何学のきめ細やかな非可換一般化を提供する。
• 接続群族の構成は変形量子化の幾何的枠組みを提供し、群族 C*-代数を介して古典的および量子観測量を結びつける。
• 幾何の同値性は、スペクトル三重項のモラータ同値性によって特徴づけられ、スペクトルおよび計量不変量を保存する。