[論文レビュー] Localisations of half-closed modules and the unbounded Kasparov product

Koen van den Dungen|arXiv (Cornell University)|Jun 18, 2020

Theoretical and Computational Physics被引用数 4

ひとこと要約

本稿は、半閉モジュール（非自己共役作用素を一般化する未有界カスパロフモジュールの一般化）のための新しい局所化手続きを導入することで、非有界カスパロフ積のためのクセルコフスキーの定理を一般化する。このアプローチにより、全体的な正定性条件を局所的なものに置き換え、非コンパクトまたは不完全な多様体上の対称的で非自己共役作用素への応用を可能にし、半閉モジュールが他の二つのモジュールのカスパロフ積を表すための十分条件を提供する。

ABSTRACT

In the context of the Kasparov product in unbounded KK-theory, a well-known theorem by Kucerovsky provides sufficient conditions for an unbounded Kasparov module to represent the (internal) Kasparov product of two other unbounded Kasparov modules. In this article, we discuss several improved and generalised variants of Kucerovsky's theorem. First, we provide a generalisation which relaxes the positivity condition, by replacing the lower bound by a relative lower bound. Second, we also discuss Kucerovsky's theorem in the context of half-closed modules, which generalise unbounded Kasparov modules to symmetric (rather than self-adjoint) operators. In order to deal with the positivity condition for such non-self-adjoint operators, we introduce a fairly general localisation procedure, which (using a suitable approximate unit) provides a 'localised representative' for the KK-class of a half-closed module. Using this localisation procedure, we then prove several variants of Kucerovsky's theorem for half-closed modules. A distinct advantage of the localised approach, also in the special case of self-adjoint operators (i.e., for unbounded Kasparov modules), is that the (global) positivity condition in Kucerovsky's original theorem is replaced by a (less restrictive) 'local' positivity condition, which is closer in spirit to the well-known Connes-Skandalis theorem in the bounded picture of KK-theory.

研究の動機と目的

• 非自己共役作用素にまで拡張されたクセルコフスキーの定理を、半閉モジュールを用いて未有界カスパロフ積へと拡張すること。
• クセルコフスキーの元々の定理における全体的正定性条件を、相対的下界と局所的正定性条件を導入することで緩和すること。
• 近似単位を用いた一般化された局所化手続きを開発し、半閉モジュールのKK類の局所的代表元を定義すること。
• 垂直楕円型作用素が定義される開多様体のファイブレーション上での幾何的例に適用可能なフレームワークを提供すること。
• 局所的正定性条件が、元の全体的正定性条件よりも柔軟で広く適用可能であることを示し、自己共役の場合にも同様に成り立つこと。

提案手法

• 適切な近似単位を用いた局所化手続きを導入し、半閉モジュールのKK類の局所的代表元を定義する。
• クセルコフスキーの定理における全体的正定性条件を、稠密核上で切断作用素 $u_n$ を用いて確認される局所的正定性条件に置き換える。
• 有界変換とグラフノルムの推定を用いて、交換子 $[\mathcal{S}, \mathcal{T}]$ が閉じられ、$u_n$ の像上でその閉包が制御されることを保証する。
• 推定式 $\| [\mathcal{S}, \mathcal{T}] u_n \eta \| \leq C_n \| u_n \eta \|_{\mathcal{D}}$ を用いて、交換子の定義域上での成長を制御する。
• 対称形式の有界性を保証するため、不等式 $\pm \langle u_n \psi | \overline{[\mathcal{S}, \mathcal{T}]} u_n \psi \rangle \leq c_n \langle u_n \psi | (1 + \mathcal{D}^*\mathcal{D})^{1/2} u_n \psi \rangle$ を用いる。
• 核性 $\mathcal{F} \subset \operatorname{Dom}(\mathcal{D})$ とノルム収束の議論を用いて極限を取る操作を行い、積条件の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 クセルコフスキーの定理は、非自己共役作用素を許容する半閉モジュールへ一般化可能か？
• RQ2 クセルコフスキーの定理における全体的正定性条件は、どのように局所的正定性条件に置き換え可能か？
• RQ3 近似単位を用いた局所化手続きは、半閉モジュールのKK類の代表元を定義するために果たす役割は何か？
• RQ4 局所的正定性条件は、非コンパクト多様体上の垂直楕円型作用素のような幾何的設定でも、カスパロフ積の検証に利用可能か？
• RQ5 自己共役の場合においても、局所的正定性条件は元の全体的正定性条件よりも柔軟で広く適用可能か？

主な発見

• 本稿は、クセルコフスキーの定理における全体的正定性条件を置き換える局所的正定性条件を確立し、非自己共役作用素へも適用可能であることを示した。
• 近似単位 $\{u_n\}$ を用いた局所化手続きにより、半閉モジュールのKK類の局所的代表元の構成が可能になった。
• 交換子 $[\mathcal{S}, \mathcal{T}]$ が閉じられ、推定式 $\| [\mathcal{S}, \mathcal{T}] u_n \eta \| \leq C_n \| u_n \eta \|_{\mathcal{D}}$ を用いてそのノルムが制御されることを示した。
• 証明により、$u_n \cdot \operatorname{Dom}(\mathcal{D}) \subset \operatorname{Dom}(\overline{[\mathcal{S}, \mathcal{T}]})$ が成り立つことが示され、積に必要な定義域の整合性が保証された。
• 不等式 $\pm \langle u_n \psi | \overline{[\mathcal{S}, \mathcal{T}]} u_n \psi \rangle \leq c_n \langle u_n \psi | (1 + \mathcal{D}^*\mathcal{D})^{1/2} u_n \psi \rangle$ により、対称形式の有界性が確認された。
• 結果として、未有界カスパロフ積の適用範囲が、不完全多様体上のディラック型作用素やファイブレーション上の垂直楕円型作用素といった幾何的例へ拡張された。