[论文解读] Tensor triangular geometry and KK-theory

Ivo Dell’Ambrogio|arXiv (Cornell University)|Jan 15, 2010

Algebraic structures and combinatorial models参考文献 28被引用 19

一句话总结

该论文将张量三角几何应用于等变KK-理论，为在局部化与余极限下由复数生成的C*-代数范畴建立支持理论。结果表明，对于有限群，该范畴中紧致对象的Balmer谱与复表示环R(G)的Zariski谱之间存在同胚，且通过从Spec(R(G))到Spc(𝒦ᴳ)的分裂单射映射实现这一同胚。

ABSTRACT

We present some results on equivariant KK-theory in the context of tensor triangular geometry. More specifically, for G a finite group, we show that the spectrum of the tensor triangulated subcategory of KK^G generated by the tensor unit contains as a retract a canonical copy of the Zariski spectrum of the complex character ring of G. For G trivial, this inclusion is a homeomorphism. We also prove a general criterion for a support theory on a compactly generated tensor triangulated category to provide the universal support datum, in the sense of Paul Balmer, on its subcategory of compact objects.

研究动机与目标

• 探索张量三角范畴中G-等变KK-理论的Balmer谱。
• 建立KKᴳ的谱与带系数的Baum-Connes猜想之间的联系。
• 在KKᴳ中由张量单位ℂ生成的范畴𝒯ᴳ上构造一个支持理论。
• 证明对于有限G，𝒯ᴳ中紧致对象的Balmer谱与Spec(R(G))同胚。
• 将已知结果Spc(Boot_c) ≅ Spec(ℤ)推广至任意有限群。

提出的方法

• 构造一个支持赋值σ_G: obj(𝒯ᴳ) → 2^Spec(R(G))，满足支持数据的公理(a)–(g)。
• 利用张量三角范畴中的中心局部化，定义在R(G)的素理想处的局部化，得到范畴𝒯ᴳ_𝔭。
• 利用Phillips-Künneth公式和限制函子分析群C*-代数的K-理论。
• 通过支持赋值定义映射f_G: Spec(R(G)) → Spc(𝒦ᴳ)，并证明其为比较映射ρ_𝒦ᴳ的连续截面。
• 应用张量三角几何中的抽象判据（如Balmer的分类定理）推导出谱同胚。
• 利用R(G)在有限G下为诺特环的事实，确保谱具有良好性质，且支持理论对余极限与张量积封闭。

实验结果

研究问题

• RQ1 对于有限群G，G-等变KK-理论范畴中紧致对象的Balmer谱是否与复表示环R(G)的Zariski谱重合？
• RQ2 能否在𝒯ᴳ上构造一个支持理论，使其零集能通过在R(G)的素理想处的K-理论检测对象？
• RQ3 对于有限G，标准映射ρ_𝒦ᴳ: Spc(𝒦ᴳ) → Spec(R(G))是否为同胚？
• RQ4 KKᴳ的谱与带系数的Baum-Connes猜想有何关系？
• RQ5 KK-理论中归纳类别的谱结构如何？其与Spec(ℤ)有何关联？

主要发现

• 对于任意有限群G，存在一个取值于Spec(R(G))子集的𝒯ᴳ上的支持理论σ_G，满足张量三角支持的所有公理。
• σ_G在𝒦ᴳ上的限制是一个支持数据，诱导出一个连续映射f_G: Spec(R(G)) → Spc(𝒦ᴳ)，该映射是比较映射ρ_𝒦ᴳ的连续截面。
• 复合映射ρ_𝒦ᴳ ∘ f_G是Spec(R(G))上的恒等映射，证明f_G是连续截面，且ρ_𝒦ᴳ是收缩映射。
• 对于平凡群，论文证明了Spc(𝒦^{1}) ≅ Spec(ℤ)，推广了归纳类别的已知结果。
• 支持理论σ_G通过在R(G)的素理想处的剩余域上的系数K-理论检测对象，且闭合支持对应于紧致对象。
• 该构造为猜想提供了有力证据：对于所有有限G，ρ_𝒦ᴳ是同胚，且𝒦ᴳ的谱可自然地与Spec(R(G))识别。