[論文レビュー] Spectral triples and KK-theory: A survey

Bram Mesland|arXiv (Cornell University)|Apr 13, 2013

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

ひとこと要約

本稿では、滑らかな接続を備えたスペクトル三重項の族を導入し、明示的な公式を用いてKK理論におけるカスパロフ積を代数的に直接計算可能にする。主な貢献は、非有界KKサイクルを射として実現する関手的構成であり、滑らかさとカスパロフ積との整合性を保つ。これにより、非可換幾何学およびインデックス理論の幾何的枠組みが提供される。

ABSTRACT

This survey deals with the construction of a category of spectral triples that is compatible with the Kasparov product in $KK$-theory. These notes serve as an intuitive guide to these results, avoiding the necessary technical proofs. We will also add some background and a broader perspective on noncommutative geometry.

研究の動機と目的

• 滑らかな非有界KKサイクルと整合する接続を備えたスペクトル三重項の族を定義する。
• モジュール上の接続を用いて、カスパロフ積の明示的代数的公式を構成する。
• このような三重項の合成が滑らかさを保ち、カスパロフ積を表すことを保証する。
• 非可換空間間の射に対して、非有界代表元による幾何的解釈を提供する。
• k-滑らかなスペクトル三重項の圏からカスパロフのKK理論の圏への関手を確立する。

提案手法

• E を C^k-バイモジュール、D を C^{k-1}-作用素、∇ を横断的 C^k-接続である三重組 (E, D, ∇) を幾何的対応として定義する。
• 射の合成を (E, S, ∇) ∘ (F, T, ∇') = (E ⊗_B F, S⊗1 + 1⊗_∇ T, 1⊗_∇ ∇') により定義する。
• 作用素 1⊗_∇ T が完成化されたテンソル積モジュールにおいて本質的に自己随伴的かつ正規であることを保証する。
• 接続に対して横断性および滑らかさの条件を課し、[D, θ_i(∇)] の交換子が完全有界作用素に拡張されることを保証する。
• テンソル積における作用素のグラフが、グラフのテンソル積と位相的に同型であることを確認する。
• 非有界カスパロフ積に関するクセルスキーの定理を適用し、構成がカスパロフ積を正しく表現することを確認する。

実験結果

リサーチクエスチョン

• RQ1 KK理論におけるカスパロフ積は、非有界代表元を用いた明示的な代数的公式としてどのように実現可能か？
• RQ2 接続に課すべき条件は何か？ これにより、非有界KKサイクルの合成が滑らかさおよび解析的性質を保つ。
• RQ3 スペクトル三重項に、カスパロフ積と滑らかさ構造と整合する射の概念を導入可能か？
• RQ4 モジュール上の接続の導入により、非可換幾何学における関手的構造がどのように実現されるか？
• RQ5 横断性は、非有界KK理論におけるテンソル積操作において滑らかさを保つ役割を果たすか？

主な発見

• C^k-サイクルと接続を備えた二重の合成は、滑らかさ条件をすべて保つC^k-サイクルと接続を生成する。
• 作用素 1⊗_∇ T は完成化されたテンソル積モジュールにおいて本質的に自己随伴的かつ正規であり、解析的制御を保証する。
• 合成作用素のグラフは、グラフのテンソル積と位相的に同型であり、モジュール構造を保つ。
• 構成は代数的にカスパロフ積を実現し、KK理論における積の明示的代表元を提供する。
• 有界変換は、k-滑らかなスペクトル三重項の圏からカスパロフのKK理論の圏への関手を定義する。
• 本手法により、非有界代表元を用いてインデックス理論およびチャーン類の公式におけるカスパロフ積の明示的計算が可能になる。