[論文レビュー] Index pairings for pullbacks of C*-algebras

Ludwik Dąbrowski, Tom Hadfield+3 more|arXiv (Cornell University)|Jan 31, 2007

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

ひとこと要約

本稿では、Mayer-Vietoris完全系列とK理論接続準同型を用いて、C*-代数の引き戻しにおける有限生成射影加群（非可換ベクトル束）のインデックスペアリングを、その構成要素となるC*-代数への還元によって一般化された計算手法を開発する。主な結果は、量子3次元球面およびそのサスペンション上の非可換インスタントン束のインデックスペアリング計算を簡略化し、任意の巻き数に対してインスタントン電荷を明示的に決定可能にするものである。この簡略化は、K理論の接続準同型への還元に基づく。

ABSTRACT

In this overview, we study how to reduce the index pairing for a fibre-product C*-algebra to the index pairing for the C*-algebra over which the fibre product is taken. As an example we analyze the case of suspensions and apply it to noncommutative instanton bundles of arbitrary charges over the suspension of quantum deformations of the 3-sphere.

研究の動機と目的

• 非可換幾何学におけるインデックスペアリングを計算する一般枠組みを構築すること。
• C*-代数の非還元的サスペンションのインデックスペアリング計算を、K理論完全系列を用いて元の代数へ還元すること。
• 特に $C(SU_q(2))$ および $C(S^3_\theta)$ の量子変形を用いて、インスタントン電荷を計算すること。
• インデックスペアリングの簡略化のため、量子4次元球面からその赤道の量子3次元球面への幾何的還元を確立すること。
• 任意の電荷を持つ非可換インスタントン射影の構成を、$K_1$-類におけるユニタリ行列を用いて一般化すること。

提案手法

• C*-代数の引き戻しに適用可能なMayer-Vietorisの6項完全系列（K理論およびKホモロジー）を用いる。ただし、1つの射影的準同型を含む。
• Mayer-Vietoris系列における接続準同型とのインデックスペアリングの整合性を活用し、Kasparov積の結合性を応用する。
• 非還元的サスペンション上のインデックスペアリング計算を、奇数から偶数への接続準同型 $\partial_{01}$ を用いて、元のC*-代数上の計算に還元する。
• 例えば $C(S^3_\theta)$ の $\mathrm{u}_\theta$ といった $K_1$-群におけるユニタリ代表元の明示的構成を用い、インスタントン射影を生成する。
• K理論のホモトピー不変性を用い、ユニタリ行列を標準形に変形することで $K_1$-類を簡略化する。
• Serre-Swanの定理を用い、非可換代数上の有限生成射影加群を非可換ベクトル束として解釈する。

実験結果

リサーチクエスチョン

• RQ1 引き戻しC*-代数上の非可換ベクトル束のインデックスペアリングは、どのようにその構成要素代数上の計算に還元可能か？
• RQ2 Mayer-Vietoris接続準同型は、非可換幾何学におけるインデックスペアリング計算の簡略化に果たす役割は何か？
• RQ3 量子4次元球面上の非可換束に対して、赤道の量子3次元球面への還元を用いてインスタントン電荷をどのように計算できるか？
• RQ4 非可換インスタントン束のための任意の電荷を持つ射影は、$S^3$ の量子変形上に構成可能か？
• RQ5 インスタントン束を生成するユニタリ行列の $K_1$-類の明示的形は何か、$C(S^3_\theta)$ 上で？

主な発見

• 非還元的サスペンションのC*-代数上のインデックスペアリングは、Mayer-Vietoris接続準同型を介して、元のC*-代数上のインデックスペアリングに還元可能である。
• 接続準同型 $\partial_{01}$ は、ユニタリ行列の $K_1$-類を赤道の量子3次元球面の代数における $K_1$-類へ写像し、電荷計算を可能にする。
• $C(S^3_\theta)$ に対して、ユニタリ行列 $\mathrm{u}_\theta = \begin{bmatrix} \alpha & -\bar{\lambda}\beta^* \\ \beta & \alpha^* \end{bmatrix}$ が $K_1(C(S^3_\theta))$ を生成し、$\mathrm{u}_\theta^n$ を用いて電荷 $n$ のインスタントン射影を生成する。
• $K_1$-類としてのインスタントン射影は、$K_1(C(S^3_q))$ 内で $[SS^* \otimes 1 + (1 - SS^*) \otimes V^*]$ として示され、ホモトピー同値性により電荷が確認される。
• 局所インデックス定理が要求する数百項の直接計算を回避し、代わりに位相的還元とK理論の道具立てを用いる。
• この構成は任意の巻き数に一般化可能であり、量子3次元球面上で任意の電荷を持つ非可換インスタントン束を生成する。