[論文レビュー] 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)のザリスキスペクトルと同相であることを証明しており、その同相写像は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(ℤ)を任意の有限群に一般化すること。

提案手法

• axioms (a)–(g) を満たすサポート割り当てσ_G: obj(𝒯ᴳ) → 2^Spec(R(G)) を構成する。
• テンソル三角圏における中心的局所化を用いて、R(G)の素イデアルにおける局所化を定義し、圏𝒯ᴳ_𝔭 を得る。
• Phillips-Künneth公式と制限関手を用いて、群C*-代数のK理論を分析する。
• サポート割り当てを介して写像f_G: Spec(R(G)) → Spc(𝒦ᴳ) を定義し、それが比較写像ρ_𝒦ᴳの連続的セクションであることを証明する。
• Balmerの分類定理などの抽象的基準を用いて、スペクトルの同相性を導出する。
• 有限Gに対してR(G)がネーター的であることを利用して、スペクトルが適切に振る舞い、サポート理論が余極限およびテンソル積に関して閉じていることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有限群Gに対して、G-等長的KK理論圏におけるコンパクト対象のBalmerスペクトルは、複素表現環R(G)のザリスキスペクトルと一致するか？
• 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))と同一視されることを示唆している。