[论文解读] 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$ 的 $G$-等變譜三元組建立了因子分解的充分條件，即其可表示為兩個無界 $KK$-週遊的 Kasparov 乘積：一個來自群作用於代數，另一個來自不動點譜三元組。主要結果表明，環面主叢上的等變狄拉克型譜三元組總是可因子分解，且該構造透過幾何與分析約束（包括庫澤羅夫斯基準則與克利福德相容性）得到驗證。

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$-類 Kasparov 乘積的充分條件。
• 從群作用構造 $KK_G^{ ext{dim }G}(A, A^G)$ 中的無界代表元，從不動點譜三元組構造 $KK_G^{j+ ext{dim }G}(A^G, \field{C})$ 中的無界代表元。
• 證明在幾何與分析約束（如譜子空間假設與克利福德相容性）下，這些類的 Kasparov 乘積可恢復原始譜三元組的 $KK$-類。
• 分析當條件不滿足時因子分解的失敗，並表明在非自由情形（如 $S^2$ 刪去極點）下，仍可透過限制實現因子分解。
• 研究構造性 Kasparov 乘積是否可恢復原始譜三元組，顯示原始與乘積算子之間的差異通常無界，但在等距軌道條件下有界。

提出的方法

• 作者定義了具有 $G$ 在 $C^*$-代數 $A$ 與 $B$ 上作用的無界等變 Kasparov $A$-$B$-模，要求群作用與模結構及狄拉克算子相容。
• 他們引入 [CNNR] 中的譜子空間假設，以確保從群作用於非不動點代數中產生 $KK_G^{ ext{dim }G}(A, A^G)$-類。
• 要求克利福德作用 $\eta: \mathbb{C}l_{\text{dim }G} \to B(\mathcal{H})$，以定義 $KK_G^{j+\text{dim }G}(A^G, \field{C})$ 中的不動點 $KK$-週遊，且須與群作用及狄拉克算子相容。
• 透過庫澤羅夫斯基準則驗證因子分解，該準則要求某個涉及差異 $\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$-類的 Kasparov 乘積？
• RQ2 當群作用非自由時（如在圓旋轉下的 $S^2$），因子分解是否仍可實現？
• RQ3 構造性 Kasparov 乘積是否與原始譜三元組等價？差異算子 $\mathcal{D} - T$ 的行為如何？
• RQ4 度量結構（特別是軌道的等距嵌入）在確保原始與乘積狄拉克算子差異有界性中扮演何種角色？
• RQ5 因子分解中的右模是否可實現為基空間上奇譜三元組對應的偶譜三元組？

主要发现

• 具有自由等距環面作用的緊緻黎曼流形上的等變狄拉克型譜三元組，總是可因子分解為群作用類與不動點類的 Kasparov 乘積。
• 原始狄拉克算子與構造性乘積算子之間的差異 $\mathcal{D} - T$ 通常無界，但當軌道被等距嵌入時（至多常數縮放）變為有界。
• 對於具有圓作用的 2-球面，因非自由性，因子分解在 $C(S^2)$ 上無法實現，但透過限制至在極點處消失的函數，於 $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))$ 上的奇譜三元組導出。
• 庫澤羅夫斯基準則中的正定性約束僅在選擇特徵 $\ell$ 為 $k$（若 $k - \ell$ 為偶數）或 $k-1$（若 $k - \ell$ 為奇數）時成立，確保因子分解成立。
• 該構造顯示 Kasparov 乘積對幾何資料敏感：$\mathcal{D} - T$ 的有界性取決於群軌道的等距嵌入，表明度量結構影響因子分解的有效性。