[論文レビュー] On a theorem of Kucerovsky for half-closed chains

Jens Kaad, Walter D. van Suijlekom|University of Southern Denmark Research Portal (University of Southern Denmark)|Sep 26, 2017

Advanced Operator Algebra Research参考文献 10被引用数 7

ひとこと要約

この論文は、正規化されたカスパロフ積を認識するためのキュセルスキーの定理を、非自己共役な設定へと拡張する。半無限のカスパロフモジュールの代わりにヒルムの半閉じた鎖に適用するため、正規化手順を導入し、半閉じた鎖を非有界モジュラー周期へと変換する。正の元 $x$ に関連するモジュラー自己同型によるねじれを用いることで、随伴作用素の定義域に言及せずに内部カスパロフ積の検証可能な基準を提供し、完備でなく、コンパクトでもない非可換幾何における計算を可能にする。

ABSTRACT

Kucerovsky's theorem provides a method for recognizing the interior Kasparov product of selfadjoint unbounded cycles. In this paper we extend Kucerovsky's theorem to the non-selfadjoint setting by replacing unbounded Kasparov modules with Hilsum's half-closed chains. On our way we show that any half-closed chain gives rise to a multitude of twisted selfadjoint unbounded cycles via a localization procedure. These unbounded modular cycles allow us to provide verifiable criteria avoiding any reference to domains of adjoints of symmetric unbounded operators.

研究の動機と目的

• 自己共役な非有界カスパロフモジュールにのみ有効であったキュセルスキーの定理を、ヒルムの半閉じた鎖の非自己共役な設定へと拡張すること。
• 非自己共役作用素における随伴定義域の記述の困難さを克服するため、局所化手順を用いて自己共役な非有界周期を構成すること。
• 対称な非有界作用素の随伴定義域に明示的に言及しない、内部カスパロフ積の検証可能な基準を提供すること。
• 完備ではなく、コンパクトでもない非可換幾何、例えば適切なリーマン的部分被覆から生じるような幾何において、非有界カスパロフ積を計算するための枠組みを確立すること。

提案手法

• 有界で随伴可能な作用素 $x$ を用いて、対称的で正則な非有界作用素 $D$ を $xDx^*$ に写像する局所化手順を導入する。
• 条件 $\|d(x^*)\phi(x)\|_\infty < 1$ を満たすような $x$ を選ぶことで、1つの半閉じた鎖から多数の非有界モジュラー周期を構成する。
• 局所化周期におけるコンmutatorの変形を記述するため、モジュラー自己同型 $\sigma(a) = (xx^*)a(xx^*)^{-1}$ を用いたねじれコンmutator条件を用いる。
• 局所化された自己共役周期にバアジュ＝ジュルグの有界変換を適用し、$KK$-理論の要素を回復し、それらを元の半閉じた鎖と関連付ける。
• 局所的正則性条件と一様な有界性 $\kappa_x \leq \kappa$ を満たす局所化部分集合 $\Lambda \subseteq \mathscr{A}$ を定義し、ねじれ積の正則性を制御する。
• ヘルグローツの公式による有界変換の積分表現を用い、$C^*$-商代数 $\mathbb{L}(E)/\mathbb{K}(E)$ における $L^2$-内積とノルムの言及によって、正則性条件を表現する。

実験結果

リサーチクエスチョン

• RQ1 自己共役な非有界カスパロフモジュールに限定されていたキュセルスキーの定理—非有界カスパロフ積を認識するためのもの—は、半閉じた鎖の非自己共役な設定へと拡張可能か？
• RQ2 対称な非有界作用素の随伴定義域を明示的に計算せずに、半閉じた鎖から自己共役な非有界周期を構成する方法は何か？
• RQ3 局所化要素 $x$ に課されるどのような条件が、局所化周期におけるねじれコンmutator条件の有界性とカスパロフ積との整合性を保証するか？
• RQ4 特に完備でない幾何において、随伴定義域に依存せずに、有界変換における正則性条件をどのように検証できるか？
• RQ5 非有界設定におけるカスパロフ積の因数分解において、モジュラー自己同型 $\sigma(a) = (xx^*)a(xx^*)^{-1}$ が果たす役割は何か？

主な発見

• 局所化手順により、$x$ を有界で随伴可能な作用素とし、$\|d(x^*)\phi(x)\|_\infty < 1$ を満たすように選ぶことで、半閉じた鎖が自己共役な非有界モジュラー周期 $D \mapsto xDx^*$ に変換され、自己共役な道具の使用が可能になる。
• 著者らは、局所化により、異なる $x$ に対応する一連のねじれ付き自己共役非有界周期を構成し、それらが非有界カスパロフ積と整合することを示した。
• 重要な恒等式が証明された：$\sum_{j=1}^4 Q_j(\lambda,\mu,x)(T_x\xi) = 2\cdot\text{Re}\big{\langle}T_x\xi, S_x(\lambda)S_1(\mu)|_{E_x}T_x\xi\big{\rangle}$ であり、これは積の正則性とリゾルベントに類似した作用素の挙動を結びつける。
• $C^*$-商代数 $\mathbb{L}(E)/\mathbb{K}(E)$ における正則性条件は、局所的正則性条件と一様有界性 $\kappa_x \leq \kappa$ の下で成立し、$\phi(a)^*\big{(}(F_{D_1}^*\widehat{\otimes}1)F_D^* + F_D(F_{D_1}\widehat{\otimes}1)\big{)}\phi(a) \geq -4\kappa\cdot\phi(a^*a)$ を得る。
• 論文は、自己共役性が成り立たない状況においても、局所化部分集合 $\Lambda$ と一様有界性 $\kappa$ を用いた基準によって内部カスパロフ積を識別可能であることを証明した。
• 随伴定義域の明示的計算を避けるために $xx^*$ を用いたねじれに置き換える手法が成功し、その結果得られた基準は、適切なリーマン的部分被覆から生じる幾何的設定でも検証可能である。