[論文レビュー] Noncommutative line bundles associated to twisted multipullback quantum odd spheres

Piotr M. Hajac, David Pask+2 more|arXiv (Cornell University)|Dec 30, 2015

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

ひとこと要約

本稿では、(N+1)個の立体トーラスへの分解を保つ非可換deformationとして、奇数次元球面の非可換化を、ねじれ付きマルチプルバック C*-代数として構成する。これはヘーガードの量子球面を一般化したものであり、これらの量子球面が特定の等長変換によって生成される普遍 C*-代数と同型であることを証明し、K群を計算する。さらに、U(1)作用による固定点部分代数として得られる、量子複素射影空間上の非可換ラインバンドルが、互いに安定的に非同型であることを確立する。

ABSTRACT

We construct a noncommutative deformation of odd-dimensional spheres that preserves the natural partition of the $(2N+1)$-dimensional sphere into $(N+1)$-many solid tori. This generalizes the case $N=1$ referred to as the Heegaard quantum sphere. Our twisted odd-dimensional quantum sphere $C^*$-algebras are given as multi-pullback $C^*$-algebras. We prove that they are isomorphic to the universal $C^*$-algebras generated by certain isometries, and use this result to compute the $K$-groups of our odd-dimensional quantum spheres. Furthermore, we show that the natural (diagonal) $U(1)$-actions on our twisted-quantum-sphere $C^*$-algebras are $C^*$-free, and define twisted multipullback quantum complex projective spaces through fixed-point subalgebras for these actions. In the untwisted case, we prove that the fixed-point subalgebras yield the independently defined $C^*$-algebras of the quantum complex projective spaces constructed from Toeplitz cubes. This leads to the main result stating that the noncommutative line bundles associated to multipullback quantum odd spheres, which are noncommutative line bundles over these quantum complex projective spaces, are pairwise stably non-isomorphic.

研究の動機と目的

• Heegaardの量子球面構成を、多重量バックフレームワークを用いて高次元の奇数次元に一般化すること。
• 非可換設定において、(2N+1)次元球面が(N+1)個の立体トーラスに分解されることを保つこと。
• 対角U(1)作用による固定点部分代数として、ねじれ付きマルチプルバック量子奇数次元球面上の非可換ラインバンドルを定義し、それらを研究すること。
• これらの非可換ラインバンドルが互いに安定的に非同型であることを証明し、非可換幾何学における非自明な分類を確立すること。

提案手法

• 立体トーラスに関連する C*-代数の図式に基づき、ねじれ付き量子球面 C*-代数をマルチプルバック C*-代数として構成する。
• 特定の等長変換が満たす関係を満たす、(N+1)個の等長変換によって生成される普遍 C*-代数と、マルチプルバック構成との同型を証明する。
• この同型を用いて、代数的 K理論的手法により、ねじれ付き量子球面の K理論的群を計算する。
• 対角 U(1)作用が C*-自由であることを示し、固定点部分代数として量子複素射影空間が構成可能であることを保証する。
• 元の状態（ねじれなし）の場合、固定点部分代数が、量子複素射影空間を Toeplitz立方体によって定義した既知の C*-代数と一致することを示す。
• K理論による非可換ラインバンドルの分類を適用し、量子射影空間上に付随するラインバンドルが安定的に非同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Heegaardの量子球面構成を、立体トーラスへの分解を保ちつつ、高次元の奇数次元に一般化する方法は何か？
• RQ2 ねじれ付きマルチプルバック量子奇数次元球面の K理論は何か？また、等長変換によって生成される普遍 C*-代数とどのように関係するか？
• RQ3 マルチプルバック量子奇数次元球面に関連する非可換ラインバンドルは、安定的に同型であるか？もしそうでなければ、それらを区別する不変量は何か？
• RQ4 対角 U(1)作用によるねじれ付き量子球面の固定点部分代数は、既知の量子複素射影空間の C*-代数と一致するか？
• RQ5 U(1)作用の C*-自由性は、量子射影空間およびそれらに付随するラインバンドルの構成において、果たす役割は何か？

主な発見

• ねじれ付きマルチプルバック量子奇数次元球面は、特定の関係を満たす(N+1)個の等長変換によって生成される普遍 C*-代数と同型である。
• この同型を用いて、ねじれ付き量子球面の K群が計算され、構成に対する完全な K理論的不変量が得られる。
• 対角 U(1)作用は、量子球面上で C*-自由であるため、固定点部分代数が適切に定義され、非退化している。
• ねじれなしの状態では、量子球面の固定点部分代数は、Toeplitz立方体によって定義された量子複素射影空間の C*-代数と一致する。
• マルチプルバック量子奇数次元球面に付随する量子複素射影空間上の非可換ラインバンドルは、互いに安定的に非同型である。
• ラインバンドルの安定的非同型性は、量子球面の K群から導かれる K理論的不変量によって確立される。