[論文レビュー] Noncommutative bundles over the multi-pullback quantum complex projective plane

Piotr M. Hajac, Jan Rudnik|arXiv (Cornell University)|Dec 29, 2015

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

ひとこと要約

この論文は、非可換5次元球面 $C(S^5_H)$ の $C^*$-代数に自由な $U(1)$-作用を構成し、多重量引き戻し量子複素射影平面 $\bbC P^2_{\bft}$ 上の双対トートロジカルラインバンドルが安定に非自明であることを証明する。$K$-理論におけるミルナー接続同型写像とチャーン＝ガロア理論を用いて、切断モジュールの非安定自由性を確立し、マヤー＝ビエトロスの完全列とクンネットの公式を用いて $C(S^5_H)$ の $K$-群を計算する。

ABSTRACT

We equip the multi-pullback $C^*$-algebra $C(S^5_H)$ of a noncommutative-deformation of the 5-sphere with a free $U(1)$-action, and show that its fixed-point subalgebra is isomorphic with the $C^*$-algebra of the multi-pullback quantum complex projective plane. Our main result is the stable non-triviality of the dual tautological line bundle associated to the action. We prove it by combining Chern-Galois theory with the Milnor connecting homomorphism in $K$-theory. Using the Mayer-Vietoris six-term exact sequences and the functoriality of the Künneth formula, we also compute the $K$-groups of $C(S^5_H)$.

研究の動機と目的

• 非可換5次元球面の $C^*$-代数 $C(S^5_H)$ に自由な $U(1)$-作用の存在を確立すること。
• この作用の固定点部分代数が、多重量引き戻し量子複素射影平面 $\bbC P^2_{\bft}$ の $C^*$-代数に同型であることを示すこと。
• $K$-理論的道具を用いて、$\bbC P^2_{\bft}$ 上の双対トートロジカルラインバンドルの安定非自由性を証明すること。
• マヤー＝ビエトロスの完全列とクンネットの公式を用いて、三重量引き戻し構造を考慮に入れた $C(S^5_H)$ の $K$-群を計算すること。

提案手法

• 多重量引き戻し $C^*$-代数のコycle条件を用いて、三重量引き戻しによる $C^*$-代数 $C(S^5_H)$ の構成。
• トーベルツ代数成分におけるゲージ作用を通じて、$C(S^5_H)$ に自由な $U(1)$-作用を導入すること。
• チャーン＝ガロア理論を適用して、$U(1)$-作用に対応する射影的モジュールを定義し、$K_0(C(\bbC P^2_{\bft}))$ 内のイデムポテンを得ること。
• $K$-理論におけるミルナー接続同型写像を用いて第二のイデムポテンを生成し、非安定自由性を検出するための比較を可能にする。
• マヤー＝ビエトロスの6項完全列を用いて $C(S^5_H)$ の $K$-群を計算し、クンネット同型写像の函子的性質を活用すること。
• マヤー＝ビエトロス図式における図式追跡とボット射影の引き戻しによる生成子の同定を通じて、$K$-群計算の整合性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 $\bbC P^2_{\bft}$ 上の双対トートロジカルラインバンドルは、$C(\bbC P^2_{\bft})$ 上のモジュールとして安定に自由か？
• RQ2 非可換5次元球面 $S^5_H$ の $K$-群は、その三重量引き戻し構造からどのように生じるか？
• RQ3 $K$-理論におけるミルナー接続同型写像は、非可換ベクトルバンドルにおける非自明性を効果的に検出できるか？
• RQ4 コycle条件は、多重量引き戻し $C^*$-代数の $K$-群の計算においてどのような役割を果たすか？
• RQ5 チャーン＝ガロア理論と $K$-理論の相互作用は、非可換幾何学における非自明性をどのように明らかにするか？

主な発見

• $\bbC P^2_{\bft}$ 上の双対トートロジカルラインバンドルは、左 $C(\bbC P^2_{\bft})$-モジュールとしての切断モジュール $C(S^5_H)_u$ が安定に自由でないため、安定に非自明である。
• $C(S^5_H)$ の $K_0$-群は $\bbZ$ に同型であり、生成子 $[1]$ は単位元に対応する。
• $C(S^5_H)$ の $K_1$-群は $\bbZ \times \bbZ$ に同型であり、生成子は $[(\bmu_1, \bmu_1)]$ と $\beta_{23}$ である。ここで $\bmu_1 = u \tensor 1 \tensor 1$ である。
• $C(S^5_H)$ の $K$-群はマヤー＝ビエトロス完全列とクンネットの公式を用いて計算され、接続同型写像はミルナーの公式を用いて明示的に決定されている。
• チャーン＝ガロア理論から得られるイデムポテンとミルナー接続同型写像から得られるイデムポテンとの比較により、バンドルの非安定自由性が確認された。
• $K$-群の計算はクンネット同型写像の函子的性質と、引き戻し図式に沿ったボット射影の一貫した持ち上げに依存している。