[論文レビュー] Twisted K-theory, old and new

Max Karoubi|ArXiv.org|Jan 27, 2007

Algebraic structures and combinatorial models参考文献 36被引用数 21

ひとこと要約

本稿は、数学的物理からの現代的発展と歴史的基盤を統合することで、ねじれK理論を再考し、一般化されたトム同型写像を導入し、有限群作用における等配分ねじれK群をチャーン類を用いて計算するとともに、新しいコホモロジー作用素を定義している。Fredholm作用素モデルと順序付きBanach代数K理論を用いて、$H^3(X;\mathbb{Z})$における torsion クラスを超えた理論の拡張を図り、代数的・位相的・解析的視点を統合する包括的な枠組みを提供している。

ABSTRACT

Twisted K-theory has its origins in the author's PhD thesis [27] : http://www.numdam.org/item?id=ASENS_1968_4_1_2_161_0 and in the paper with P. Donovan http://www.numdam.org/item?id=PMIHES_1970__38__5_0 The objective of this paper is to revisit the subject in the light of generalizations and new developments inspired by Mathematical Physics. See for instance E. Witten (hep-th/9810188), J. Rosenberg http://anziamj.austms.org.au/JAMSA/V47/Part3/Rosenberg.html, C. Laurent-Gentoux, J.-L. Tu, P. Xu (math/0306138) and M.F. Atiyah, G. Segal (math/0407054), among many authors. The unifiyng theme in our presentation is the notion of K-theory of graded Banach algebras,implicit in [27], from which most of the classical theorems in twisted K-theory are derived. We also prove some new results in the subject : a Thom isomorphism in this setting, explicit computations in the equivariant case and new cohomology operations (in the graded and ungraded cases).

研究の動機と目的

• ドノバンとカラウビの基礎的業績を現代の数学的物理の発展と統合することで、ねじれK理論を統合的かつ拡張的に再構築すること。
• $H^3(X;\mathbb{Z})$における torsion クラスを超えて、トム同型写像を一般化し、未順序および順序付きねじれK理論を統一的に取り扱えるようにすること。
• 有限群作用に対して、チャーン類および一般化されたトム同型写像を用いて、等配分ねじれK群を計算すること。
• 従来の研究[DK]および[AS2]における作用素とは補完的な新しいコホモロジー作用素を導入し、ねじれK理論のコホモロジー的構造を豊かにすること。
• torsion に限定されない一般の場合に対しても適用可能な、Fredholm作用素に基づくねじれK理論のモデルを提供すること。

提案手法

• ねじれK理論をFredholm作用素の空間によって表現するため、アティヤ＝ヤニッヒの定理を用い、torsion クラスに制限されない一般化を可能にする。
• 順序付きBanach代数およびそのK理論の理論を適用し、ねじれK群を、ねじれクリフォード代数上の加群カテゴリのグローテンディーク群として定義する。
• バウム、コンヌ、クーン、スロミンスカが定義した有限群作用のためのチャーン類を用いて、等配分ねじれK理論を計算する。
• ベクトルバンドルに関連するクリフォード代数のK理論を分析することで、一般化されたトム同型写像を構成し、それがグレーディング付きブラウアー群 $GBr(X)$ における類にのみ依存することを示す。
• 有界自己随伴作用素としての、順序付きヒルベルトバンドル上の次数1のFredholm自己準同型写像のホモトピー類を用いて、ねじれK理論を定義し、解析的モデルを提供する。
• ボッケシュタイン同型写像 $\beta: H^2(X;\mathbb{Z}/2) \to H^3(X;\mathbb{Z})$ を用いて、$GBr(X)$ の群構造を記述し、ステイフェル＝ブリュッケル類および第3積分コホモロジー類を統合する。

実験結果

リサーチクエスチョン

• RQ1 ねじれK理論におけるトム同型写像は、特に古典的な torsion に制限されない場合に、どのように一般化可能か？
• RQ2 有限群作用における等配分ねじれK理論の構造は何か？ また、チャーン類および一般化されたトム同型写像を用いて、どのように計算可能か？
• RQ3 従来の研究[DK]および[AS2]における作用素とは補完的な、ねじれK理論に現れる新しいコホモロジー作用素は何か？ そして、それらは理論にどのように豊かさをもたらすか？
• RQ4 torsion に限定されないすべてのねじれに対して、Fredholm作用素を用いた一様な記述はどのように可能か？
• RQ5 ボッケシュタインを含む非自明な群法則を持つグレーディング付きブラウアー群 $GBr(X)$ は、ねじれK理論の構造をどのように制御するか？

主な発見

• すべての $GBr(X)$ におけるねじれに対して一般化されたトム同型写像が確立され、実ベクトルバンドル $V$ に対して $K^{C(V)}(X) \cong K^\alpha(\text{Th}(V))$ が成り立つことが示された。
• 有限群作用における等配分ねじれK理論は、チャーン類および一般化されたトム同型写像を用いて計算され、[LTX]、[AS1]、[AS2] の結果が拡張された。
• 従来の研究[DK]および[AS2]における作用素とは補完的な新しいコホモロジー作用素が導入され、ねじれK理論のコホモロジー的構造が豊かにされた。
• ねじれK理論群 $K^\alpha(X)$ は、一般の場合に適用可能なFredholm作用素モデルを介して、ある特定のBanach代数バンドルの順序付きK理論と同型であることが示された。
• $M_2(\mathscr{K})$ または $\mathscr{K} \times \mathscr{K}$ に従ってモデル化された順序付き代数バンドルのための、$K^\alpha(X)$ への明示的同型写像が確立され、代数的モデルと解析的モデルを結びつけた。
• $\mathscr{A}$ が $\mathscr{K} \times \mathscr{K}$ に従ってモデル化されているとき、群 $K^\alpha(X)$ が $K_1(\mathscr{A}')$ と同型であることが示され、$K_1$-理論に基づく明確な実現が得られた。