[論文レビュー] Twisted K-theory of differentiable stacks

Jean-Louis Tu, Ping Xu+1 more|arXiv (Cornell University)|Jun 8, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用数 5

ひとこと要約

本稿では、S¹-gerbesとC*-代数的KK理論の道具立てを用いて、微分可能スタックにおけるねじれK理論を構築し、位相的空間、オルビフォールド、および等長的K理論を包含する統一的枠組みを提供する。主な貢献は、Mayer-Vietoris系列、ボット周期性、および積構造を含む完全なコhomologicalおよび解析的定式化であり、適切な条件下でねじれベクトル束と同値である。

ABSTRACT

In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β o K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theory of topological spaces, twisted equivariant $K$-theory, and the twisted $K$-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted $K$-groups can be expressed by so-called "twisted vector bundles". Our approach is to work on presentations of stacks, namely \emph{groupoids}, and relies heavily on the machinery of $K$-theory ($KK$-theory) of $C^*$-algebras.

研究の動機と目的

• 微分可能スタックにおけるねじれK理論の一般枠組みを確立し、既存のねじれK理論を包含・一般化すること。
• Mayer-Vietoris性質、ボット周期性、ねじれK群における積構造といった基本的性質を証明すること。
• ねじれK理論のフレドホルム作用素的表現を提供し、ねじれK群がいつねじれベクトル束から生じるかを特定すること。
• リー群族の提示を用いて、通常の、等長的、およびオルビフォールドのねじれK理論を1つの形式的体系に統一すること。

提案手法

• モラータ同値を活用して、リー群族としてのスタックの提示に基づき不変量を定義することで、提示に依存しない不変量を構築する。
• ねじれK理論の類をモデル化するため、群族のS¹中心拡大を用い、Dixmier-Douady類がねじれを分類することを活用する。
• 連続的C*-代数のバンドルとヒルベルトモジュールを用いて、群族のS¹中心拡大の縮小C*-代数を構成する。
• KK理論とカスパロフ積を用いて、S¹中心拡大の縮小C*-代数のK理論としてねじれK理論を定義する。
• ヒルベルトモジュール表現を通じてフレドホルム的図式を確立し、群族上の関連バンドルの切断としてねじれベクトル束を定義する。
• ねじれK理論群がKK双関手を通じてC*-代数のK群と同型であることを証明し、積構造を可能にする。

実験結果

リサーチクエスチョン

• RQ1 微分可能スタックにおけるねじれK理論は、オルビフォールド や等長的K理論といった既知のケースを一般化する形で一貫して定義可能か？
• RQ2 ねじれK理論がスタック上で満たすべき基本的コhomological性質（Mayer-Vietoris、ボット周期性など）は何か？
• RQ3 ねじれK理論がねじれベクトル束によって表される条件は何か？また、フレドホルム的図式とはどのように関係するか？
• RQ4 この枠組みにおいて積構造 $ K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha+\beta} $ はどのように生じるか？
• RQ5 群族のC*-代数がねじれK理論を実現する上で果たす正確な役割は何か？また、KK理論はどのようにこれを支援するか？

主な発見

• 微分可能スタックにおけるねじれK理論はMayer-Vietoris性質を満たし、コhomology理論としての性質を有する。
• ねじれK理論はスタック上でボット周期性を満たし、C*-代数的枠組みによって誘導される2周期的構造を持つ。
• 積構造 $ K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha+\beta} $ は、KK理論におけるカスパロフ積を通じて自然に実現される。
• ねじれK理論群は、リー群族のS¹中心拡大の縮小C*-代数のK理論と同型である。
• 適切な条件下（具体的には、ねじれが連続的フェルバンドルによって表される場合）では、ねじれK理論はねじれベクトル束のK理論と同型である。
• ねじれK理論のフレドホルム的図式は、縮小C*-代数がヒルベルトモジュールに作用することによって実現され、K群の解析的モデルを提供する。