[論文レビュー] Spectral Triples and Generalized Crossed Products

Olivier Gabriel, Martin Grensing|arXiv (Cornell University)|Oct 22, 2013

Advanced Operator Algebra Research参考文献 27被引用数 11

ひとこと要約

この論文は、C*-代数からヒルベルト双加群を介した一般化された交叉積へとスペクトル三重項を上げることで、KK理論におけるカスパロフ積の非有界代表を構成する。接続と作用素*-代数を用いて、ピムスナー代数上でのカスパロフ積を明示的なスペクトル三重項として実現する体系的な手法を提供する。これは、ℤによる交叉積やS¹バンドルに対する既知の構成を一般化する。

ABSTRACT

We give a construction allowing to lift spectral triples to crossed products by Hilbert bimodules. The spectral triple one obtains is a concrete unbounded representative of the Kasparov product of the spectral triple and the Pimsner-Toeplitz extension associated to the crossed product by the Hilbert bimodule. To prove that the lifted spectral triple is the above-mentioned Kasparov product, we rely on operator-$*$-algebras and connexions.

研究の動機と目的

• 一般化された交叉積、特にピムスナー代数上でのスペクトル三重項を構成するための概念的枠組みを開発すること。
• ベース代数から交叉積代数へのスペクトル三重項の持ち上げを、カスパロフ積構造を保ちながら行う課題に取り組むこと。
• ℤによる交叉積やS¹バンドルに対する既知のスペクトル三重項の構成を、ヒルベルト双加群を介してより広いC*-代数のクラスへ一般化すること。
• ベースのスペクトル三重項上の接続と、一般化された交叉積上での持ち上げられたディラック作用素の構成との間の関係を確立すること。
• 作用素*-代数と非有界カスパロフ積形式主義を用いて、明示的な非有界代表をカスパロフ積に実現すること。

提案手法

• ヒルベルトB-B加群Eに基づくピムスナー代数へのC*-代数B上のスペクトル三重項を、一般化された交叉積構成を用いて持ち上げる。
• ベース代数上のディラック作用素Dにおける接続を用いて、モジュール構造と整合性を保ち、持ち上げられたディラック作用素を定義する。
• 非有界カスパロフ積形式主義を用いて、持ち上げられたスペクトル三重項を、ベースのスペクトル三重項とピムスナー拡張類のカスパロフ積の非有界代表として実現する。
• 作用素*-代数の技術を用いて非有界作用素とその定義域を取り扱い、持ち上げられたディラック作用素の自己共役性と正規性を保証する。
• 持ち上げられたディラック作用素を、ℓ²(ℤ)上の数作用素Nと元のディラック作用素Dの組み合わせとして明示的に構成し、モジュール作用を反映させるために接続を修正する。
• ピムスナー＝トープリッツ拡張とK-ホモロジーにおける境界写像に依存し、持ち上げをKK理論におけるカスパロフ積として解釈する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、ヒルベルト双加群から構成される一般化された交叉積代数へ、C*-代数上のスペクトル三重項を体系的に持ち上げることができるか？
• RQ2 持ち上げられた作用素が有効なスペクトル三重項を定義するために必要な幾何学的・解析的条件（例えば、ディラック作用素に関するもの）は何か？
• RQ3 構成されたスペクトル三重項が、ベースのスペクトル三重項と一般化された交叉積の拡張類のカスパロフ積をどの意味で表しているのか？
• RQ4 ベースのディラック作用素上の接続は、ピムスナー代数上での持ち上げられたディラック作用素の構成をどのように支援するか？
• RQ5 非有界カスパロフ積形式主義を用いて、持ち上げられたスペクトル三重項を明示的な非有界フレドホルムモジュールとして実現できるか？

主な発見

• この論文は、ヒルベルト双加群Eに基づくピムスナー代数上に、ベースのスペクトル三重項とピムスナー＝トープリッツ拡張類のカスパロフ積を実現するスペクトル三重項を構成する。
• 持ち上げられたディラック作用素は、ℓ²(ℤ)上の数作用素Nと元のディラック作用素Dの組み合わせとして明示的に与えられ、モジュール作用を反映させるために接続が修正されている。
• この構成は、ベースのスペクトル三重項上に接続が存在することに依存しており、これにより持ち上げられたディラック作用素との交換子が有界であることが保証される。
• この方法は、ℤによる交叉積やS¹主バンドルに対する既知の構成を一般化しており、これらが一般化された交叉積枠組みの特別な場合であることを示している。
• 持ち上げられたスペクトル三重項が非有界カスパロフ積の代表的であることが示され、有界変換によりKK理論におけるカスパロフ積が得られる。
• 証明は作用素*-代数の技術と非有界カスパロフ積形式主義に依拠しており、鍵となるステップは持ち上げられたフレドホルムモジュールがカスパロフ積の条件を満たしていることを検証することである。