[論文レビュー] The universal property of inverse semigroup equivariant $KK$-theory

Bernhard Burgstaller|arXiv (Cornell University)|May 7, 2014

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

ひとこと要約

この論文は、可算単位的逆半群作用を備えたC*-代数の設定において、HigsonのKK理論に関する普遍性結果を一般化することで、逆半群に分かち合うKK理論の普遍的性質を確立する。任意のホモトピー不変、安定的、および分裂完全な函手が、G-不変C*-代数の圏から加法圏への写像が、G-不変KK理論の圏$\mathbf{K}^G$を一意に通る、すなわちG-不変KK理論群とKasparov積によって与えられる射の集合を備えた圏を通る、という事実を証明する。これにより、Thomsenの群作用に関する結果が、彼の証明の直接的な適応によって逆半群へと拡張される。

ABSTRACT

Higson proved that every homotopy invariant, stable and split exact functor from the category of $C^*$-algebras to an additive category factors through Kasparov's $KK$-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup equivariant setting.

研究の動機と目的

• KK理論のHigsonの普遍性定理を、C*-代数上の可算単位的逆半群作用の設定へと拡張すること。
• 任意のホモトピー不変、安定的、および分裂完全な函手が、G-不変C*-代数から加法圏への写像が、G-不変KK理論の圏$\mathbf{K}^G$を一意に通ることを確立すること。
• この因数分解が一意的であり、G-不変KK理論がそのような函手の普遍的関手として特徴づけられることを示すこと。
• 非単位的逆半群および可算離散群系列への結果の拡張を、単位の付加またはゼロの付加によって行うこと。

提案手法

• 群作用に関するThomsenのKK理論の証明戦略を逆半群の設定へ適応し、群構造の最小限の使用に注力する。
• 各G-不変*-準同型を対応するKasparov要素へ写像する標準的函手$\kappa: \mathbf{C}^* \to \mathbf{K}^G$を定義する。ここで$\kappa(f) = f_*(1_A)$である。
• CuntzのKK理論の表現を用いて、函手を$KK^G(A, -)$からの自然変換として表現し、因数分解函手$\hat{F}$の構成を可能にする。
• Kasparov積を用いて$\mathbf{K}^G$における合成を定義し、双線形性および普遍的性質との整合性を保証する。
• 函手の関手的性とKasparov積との整合性を検証することで、因数分解函手$\hat{F}$の自然性と一意性を確立する。
• 非単位的逆半群に対しては単位の付加を行い、群系列に対してはゼロの付加を行うことで、結果を拡張し、C*-圏とKK理論のカテゴリカル同値性を保つ。

実験結果

リサーチクエスチョン

• RQ1 KK^G理論は、ホモトピー不変、安定的、および分裂完全な函手に対して、逆半群に分かち合う設定で普遍的性質を満たすか？
• RQ2 Thomsenの群作用に関する証明に類似した方法を用いて、HigsonのKK理論に関する普遍性結果を逆半群作用へ一般化できるか？
• RQ3 このような函手が$\mathbf{K}^G$を介して因数分解される際、その因数分解は一意的であり、Kasparov積の構造を保存するか？
• RQ4 結果は非単位的逆半群および可算離散群系列へどのように拡張されるか？
• RQ5 CuntzのKK理論の表現を用いて、普遍的性質を実現する自然変換を構成できるか？

主な発見

• 任意の分離可能なG-不変C*-代数$A$に対して、函手$B \mapsto KK^G(A, B)$はホモトピー不変、安定的、および分裂完全である。これはKK^G理論の基礎的性質を確立する。
• 任意のホモトピー不変、安定的、および分裂完全な函手$F: \mathbf{C}^* \to \mathbf{Ab}$に対して、自然変換$\xi: KK^G(A, -) \to F$が一意に存在し、任意の$d \in F(A)$に対して$\xi_A(1_A) = d$を満たす。これは函手レベルにおける普遍的性質の証明である。
• すべてのこのような函手$F$は、$F = \hat{F} \circ \kappa$と一意に因数分解され、ここで$\kappa: \mathbf{C}^* \to \mathbf{K}^G$は標準的函手である。これにより、$\mathbf{K}^G$がそのような函手の普遍的圏であることが確認される。
• 非単位的逆半群に対しては単位の付加を行うことで結果が拡張され、単位拡張のC*-圏とKK理論が元のものとカテゴリカル同値であることが示される。
• 同様に、可算離散群系列はゼロ要素を持つ逆半群とみなすことにより、同じ普遍性が成り立つ。これにより、カテゴリカル構造と因数分解性質が保たれる。