[論文レビュー] Factorisation of equivariant spectral triples in unbounded KK-theory

Iain Forsyth, Adam Rennie|arXiv (Cornell University)|May 12, 2015

Advanced Operator Algebra Research参考文献 15被引用数 14

ひとこと要約

本稿は、コンパクトなアーベルなリー群に対して、$G$-可換スペクトル三重項を、二つの非有界$KK$-サイクルのカスパロフ積に分解する十分条件を確立する。一つは群作用から生じるもので、もう一つは固定点スペクトル三重項から生じる。主な結果として、トーラス主バンドル上の等変ディラック型スペクトル三重項は常に分解可能であり、幾何的・解析的制約（クツェロフスキーの基準およびクリフォード適合性）によって検証される。

ABSTRACT

We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $θ$-deformations. In particular we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around it for this example).

研究の動機と目的

• コンパクトなアーベルなリー群$G$に対する$G$-可換スペクトル三重項が、非有界$KK$-類のカスパロフ積として分解可能となる十分条件を提供すること。
• 群作用から得られる$KK_G^{ ext{dim }G}(A, A^G)$における非有界代表元と、固定点三重項から得られる$KK_G^{j+ ext{dim }G}(A^G, \field{C})$における非有界代表元を構成すること。
• 幾何的・解析的制約（スペクトル部分空間の仮定およびクリフォード適合性など）の下で、これらの類のカスパロフ積が元のスペクトル三重項の$KK$-類を回復することを示すこと。
• 条件が満たされない場合の分解の失敗を分析し、非自由な場合（例：$S^2$の極を除いた部分）においても制限を用いることで分解が達成可能であることを示すこと。
• 構成的カスパロフ積が元のスペクトル三重項を回復するかを調査し、元の演算子と積の演算子の差が一般には有界でないが、等長的軌道条件の下では有界であることを示すこと。

提案手法

• 著者らは、$C^*$-代数$A$および$B$に作用する$G$の下での非有界な等変カスパロフ$A$-$B$-モジュールを定義し、群作用がモジュール構造およびディラック作用素と整合することを要請する。
• 非固定代数上の群作用から$KK_G^{ ext{dim }G}(A, A^G)$-類の存在を保証するために、[CNNR]のスペクトル部分空間仮定を課す。
• 固定点$KK$-サイクル$KK_G^{j+\text{dim }G}(A^G, \field{C})$を定義するため、$\mathbb{C}l_{\text{dim }G} \to B(\mathcal{H})$のクリフォード作用$\eta$を要請し、群作用およびディラック作用素と整合することを満たす必要がある。
• クツェロフスキーの基準を用いて分解を検証し、差$\mathcal{D} - T$を含むある二次形式の正定性制約を満たすことで、積が元の類を表すことを保証する。
• 2次元球面の例では、右側モジュールと$C_0((0,\pi)) \widehat{\otimes} \mathbb{C}l_1$上のスペクトル三重項とのユニタリ同値性を構成し、積作用素が$C_0((0,\pi))$上の奇数スペクトル三重項から導かれる任意の偶数スペクトル三重項とユニタリ同値でないことを示す。
• この手法は、自由な等長的作用を伴うトーラス主バンドルに適用され、分解が成立し、差$\mathcal{D} - T$が有界であることが示され、計量構造に依存することを示している。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなアーベルなリー群$G$に対する$G$-可換スペクトル三重項が、非有界$KK$-類のカスパロフ積として分解可能となる条件は何か？
• RQ2 群作用が非自由（例：円の回転による$S^2$上）である場合でも、分解は達成可能か？
• RQ3 二つの非有界サイクルの構成的カスパロフ積は、元のスペクトル三重項と同値か？また、差演算子$\mathcal{D} - T$はどのように振る舞うか？
• RQ4 計量構造（特に、軌道の等長埋め込み）は、元のディラック作用素と積の作用素の差が有界であるかにどのような役割を果たすか？
• RQ5 分解における右側モジュールは、底空間上の奇数スペクトル三重項から関連する偶数スペクトル三重項として実現可能か？

主な発見

• 自由な等長的トーラス作用を伴うコンパクトなリーマン多様体上の等変ディラック型スペクトル三重項は、常に群作用クラスと固定点クラスのカスパロフ積に分解可能である。
• 元のディラック作用素と構成的積作用素の差$\mathcal{D} - T$は一般には無限大であるが、軌道が等長的に埋め込まれている（定数倍のスケーリングを除いて）場合には有界になる。
• 円作用を伴う2次元球面$S^2$では、非自由性のため$C(S^2)$上では分解が不可能であるが、極での値が0である関数に制限することで$C_0(S^2 \setminus \{N,S\})$上で分解が達成される。
• 2次元球面の例における分解の右側モジュールは、$C_0((0,\pi)) \widehat{\otimes} \mathbb{C}l_1$上のスペクトル三重項とユニタリ同値であり、演算子$-i\partial_\theta \otimes \omega - (k - \ell - 1/2)\csc(\theta) \otimes c$を含むが、これは$C_0((0,\pi))$上の奇数スペクトル三重項から導かれるものではない。
• クツェロフスキーの基準における正定性制約は、$k - \ell$が偶数の場合は$\ell = k$、奇数の場合は$\ell = k-1$と選ぶことで厳密に満たされ、これにより分解が成立することが保証される。
• この構成は、カスパロフ積が幾何的データに敏感であることを示している：$\mathcal{D} - T$の有界性は、群の軌道の等長的埋め込みに依存しており、計量構造が分解の有効性に影響することを示している。