[論文レビュー] Non commutative finite dimensional manifolds II. Moduli space and structure of non commutative 3-spheres

Alain Connes, Michel Dubois‐Violette|ArXiv.org|Nov 14, 2005

Advanced Operator Algebra Research参考文献 18被引用数 4

ひとこと要約

本稿は、自己随伴な二次代数の中心的二次形式の概念を導入することで、非可換微分幾何学と代数幾何学の間に深い接続を確立する。非可換3次元球面から、非可換3次元的-nilmanifoldへの分岐被覆を介してC*-代数への準同型を構成し、ヤコビアンを楕円積分の周期と有理関数の積として計算する。さらに、根系と射影空間上の有理写像の力学を用いて、モジュライ空間を完全に分類する。

ABSTRACT

This paper contains detailed proofs of our results on the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and a general theory which creates a bridge between noncommutative differential geometry and its purely algebraic counterpart. It allows to construct a morphism from an involutive quadratic algebras to a C*-algebra constructed from the characteristic variety and the hermitian line bundle associated to the central quadratic form. We apply the general theory in the case of noncommutative 3-spheres and show that the above morphism corresponds to a natural ramified covering by a noncommutative 3-dimensional nilmanifold. We then compute the Jacobian of the ramified covering and obtain the answer as the product of a period (of an elliptic integral) by a rational function. We describe the real and complex moduli spaces of noncommutative 3-spheres, relate the real one to root systems and the complex one to the orbits of a birational cubic automorphism of three dimensional projective space. We classify the algebras and establish duality relations between them.

研究の動機と目的

• 自己随伴な二次代数の理論を通じて、非可換微分幾何学と代数幾何学の間の一般的ブリッジを構築すること。
• 非可換3次元球面のモジュライ空間を解析し、実構造と複素構造の違いを明確にすること。
• 特にD₃およびC₃を用いた双対性関係と根系の対称性を通じて、非可換3次元球面を分類すること。
• 非可換3次元球面からC*-代数への準同型を構築し、そのヤコビアンを計算すること。
• 複素モジュライ空間がℙ³(ℂ)上での3次有理自己同型の軌道と関係すること、および共通する楕円曲線のネットと関係すること。

提案手法

• 自己随伴な二次代数に対して中心的二次形式の概念を導入し、C*-代数構造と整合性を持つためにその正定性を定義する。
• 特徴的多様体と中心的二次形式に付随するヘルミート線束から構成される、ねじれ積のC*-代数への、自己随伴な二次代数からの準同型を構築する。
• 非可換3次元球面に一般枠組みを適用し、それが非可換3次元的-nilmanifoldへの分岐被覆として現れることを示す。
• スクライニン代数のユニタリ表現を用い、3次元球面に制限することで、非可換トーラスへの∗-準同型の族を導出する。
• θ関数に依存しない代数的簡略化により、θ関数を除去し、純粋に代数的なC*-代数への準同型を得る。
• θ関数を用いて複素モジュライ空間をパラメータ化し、標準的対応σをℙ³(ℂ)上に一様に定義された3次写像の制限として特定する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、二次代数を通じて非可換微分幾何学と代数幾何学を結ぶ一般的枠組みを構築できるか？
• RQ2 非可換3次元球面のモジュライ空間の構造は何か？また、根系と有理写像の力学がその幾何にどのように作用するか？
• RQ3 非可換3次元球面から-nilmanifoldへの分岐被覆のヤコビアンは、どのように計算され、簡略化できるか？
• RQ4 非可換3次元球面間に存在する双対性関係は何か？また、それらはモジュライ空間の基本領域をどのように精緻化するか？
• RQ5 代数の特徴的多様体は、ℙ³(ℂ)内の楕円曲線のネットとどのように関係するか？また、3次自己同型の役割は何か？

主な発見

• 非可換3次元球面から-nilmanifoldへの分岐被覆のヤコビアンは、楕円積分の周期と有理関数の積として表現される。
• 非可換3次元球面の実モジュライ空間は、D₃根系のアラコーブによってパラメータ化され、関連するℝ⁴(Λ)空間の同型類を保つスケーリングの織り目の構造を持つ。
• 複素モジュライ空間は、共通の点で交わる8本の楕円曲線のネットであり、標準的対応σは、ℙ³(ℂ)上に一様に定義された3次写像の制限として生じる。
• 代数間の双対性関係は、C₃根系の対称性に対応し、D₃構造を越えて基本領域を縮小する。
• θ関数を簡略化により除去することで、非可換3次元球面からC*-代数への純粋な代数的準同型が得られる。
• 楕円曲線のネットのパラメータ化はθ関数を用い、定義的恒等式は15個のθ関数恒等式（15.1）–（15.16）として表現される。