[論文レビュー] 1412.3431

Petr Ivankov|arXiv (Cornell University)|Dec 10, 2014

Advanced Operator Algebra Research参考文献 28被引用数 1

ひとこと要約

本稿では、非可換被覆写像の圏における逆極限の完全な代数的構成を提示し、Moyal平面が非可換トーラスの有限被覆写像の逆極限として生じることを確立している。主な結果は、量子トーラス構造を段階的に増加させる非可換トーラスの列の逆極限が、非可換構造を伴う R^{2N} 上の滑らかでcompactly supported 関数の作用素ノルム完備化として実現された Moyal 平面に収束することを示している。

ABSTRACT

The Gelfand - Naĭmark theorem supplies the one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants can be defined by algebraical methods. This article contains a pure algebraical construction of inverse limits in the category of (noncommutative) covering projections. It is proven that Moyal planes are inverse limits of covering projections of noncommutative tori.

研究の動機と目的

• 非可換被覆写像の圏における逆極限を、位相的構成を避けて完全に代数的枠組みで構築すること。
• C*-代数およびヒルベルトC*-加群を用いて、被覆空間の古典的位相的逆極限を非可換設定に一般化すること。
• Moyal平面が非可換トーラスの有限被覆写像の有向系の逆極限として出現することを示すこと。
• 非可換トーラス上の群作用と逆極限代数の自己同型群の間の対応を確立すること。
• 非可換トーラス T^{2N}_θ/m^{2n} の列の逆極限が、Moyal平面上の滑らかでcompactly supported 関数の代数 C₀(R^{2N}_θ) に収束することを示すこと。

提案手法

• 非可換トーラスの有限被覆写像に関連するC*-代数の帰納的極限を用いて逆極限を構成する。
• ヒルベルトC*-加群を用いて被覆写像を代数的に特徴づけ、位相的有限重層写像の条件を一般化する。
• C*(T^{2N}_θ/m^{2n}) に誘導される Z^{2N}-次数と (Z/m^nZ)^{2N}-次数を用いて、非可換トーラスの有限被覆をモデル化する。
• ゲルファンド＝ナイマー双対性を適用し、非可換C*-代数を一般化された位相的空間と解釈する。
• R^{2N} 上の群 G = Z^{2N} の作用およびその m^nZ^{2N} による商を用いて、被覆変換をモデル化する。
• 逆極限代数が C₀(R^{2N}_θ) に同型であることを確立する。これは、滑らかでcompactly supported 関数の作用素ノルム完備化である。

実験結果

リサーチクエスチョン

• RQ1 非可換被覆写像の逆極限を、位相的逆極限に依存せずに完全に代数的に構成可能か？
• RQ2 非可換トーラスの有限被覆写像は、Moyal平面が極限対象として果たす構造とどのように関係するか？
• RQ3 群作用と次数が、逆極限を非可換空間として実現する上で果たす役割は何か？
• RQ4 逆極限代数の自己同型群は、被覆系のガロア群とどのように関係するか？
• RQ5 Moyal平面は、量子構造を段階的に増加させる非可換トーラスの有向系の逆極限と同型か？

主な発見

• 有限被覆写像 C*(T^{2N}_θ/m^{2n}) → C*(T^{2N}_θ) の系の逆極限は、Moyal平面における無限遠で消える連続関数の代数 C₀(R^{2N}_θ) に同型である。
• 逆極限の被覆変換群は Z^{2N} に同型であり、基底空間の基本群の作用に対応する。
• 逆極限構成は、C*(T^{2N}_θ/m^{2n}) の帰納的極限における特別な元が生成する代数の作用素ノルム完備化として実現される。
• 系内の各被覆写像は、C*-代数に Z^{2N}-次数を誘導し、逆極限は Q′^{2N}-次数を継承する。ここで Q′ = {a/b | a ∈ Z, b = m^n となるある n ∈ N} である。
• 逆極限代数の自己同型群は、次数成分に自明に作用し、極限の代数的構造を保存する。
• 基本領域内でコンパクトな台を持つ C∞₀(R^{2N}_θ) 内の正の元の存在により、逆極限は Moyal平面の完全な非可換幾何を捉えている。