[論文レビュー] An approach toward a finite-dimensional definition of twisted K-theory

Kiyonori Gomi|ArXiv.org|Dec 31, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 3

ひとこと要約

本稿は、ねじれたZ₂-符号付きベクター束を用いた有限次元的定義を提案し、任意の3次整数コhomology類によってねじれたK理論と同型であることを示している。Furutaの一般化されたベクター束とFredholm作用素の有限次元近似を組み合わせることで、無限次元ヒルベルト空間を避ける一方で、すべての torsion および非 torsion のクラスに対してねじれたK理論の構造を保持する。

ABSTRACT

This is an expository account of the following result: we can construct a group by means of twisted Z_2-graded vectorial bundles which is isomorphic to K-theory twisted by any degree three integral cohomology class.

研究の動機と目的

• 任意の3次整数コhomology類（無限順序を含む）に対して、有限次元的ねじれたK理論の定義を構築すること。
• 従来の幾何的定義（例：ねじれたベクター束）が非 torsion クラスでは失敗するという制限を克服すること。
• ねじれたZ₂-符号付きベクター束から構成される群とねじれたK理論との間の同型を確立すること。
• ベクター束をベクター束に置き換えることで2ベクター束構成を一般化すること。

提案手法

• Furutaの一般化されたベクター束（「ベクター束」として呼称）を、無限次元ヒルベルト束の有限次元的代替として用いる。
• Y から離れた台を持つねじれたZ₂-符号付きベクター束から、有限次元近似を用いて群 $ KF_P^{-n}(X,Y) $ を構成する。
• 無限次元Fredholm図式のねじれたK理論をモデル化するために、Fredholm作用素の有限次元近似を適用する。
• 自然な準同型 $ \alpha_{-n} : K^{-n}_P(X,Y) \to KF^{-n}_P(X,Y) $ を確立し、CW複体構造に関する帰納法によりその全単射性を証明する。
• ねじれたK理論の長完全系列と5項補題を用いて、有限次元設定において同型性を帰納的に検証する。
• ボット周期性と $ K(D^2, S^1) $ の生成子（写像 $ T: D^2 \to \mathcal{F}(\mathcal{H}) $ により実現）を用い、有限次元近似と整合する境界写像を定義する。

実験結果

リサーチクエスチョン

• RQ1 任意の3次整数コhomology類（非 torsion を含む）に対して、ねじれたK理論を有限次元で定義可能か？
• RQ2 ベクター束は、ねじれたK理論におけるヒルベルト束の有限次元的置き換えとして機能可能か？
• RQ3 Fredholm作用素の有限次元近似は、ねじれたK理論の代数的構造を保持するか？
• RQ4 ベクター束から得られる群が、すべてのねじれクラスに対して標準的ねじれたK理論と同型になるか？
• RQ5 2ベクター束構成を、ベクター束に置き換えることでどのように一般化できるか？

主な発見

• ねじれたZ₂-符号付きベクター束から構成された群 $ KF_P^{-n}(X,Y) $ は、ホモトピーおよび切除公理を満たし、Eilenberg-Steenrod公理を模倣する。
• 自然な準同型 $ \alpha_{-n} : K^{-n}_P(X,Y) \to KF^{-n}_P(X,Y) $ は、$ X $ が有限CW複体である限り、すべての $ n \geq 0 $ に対して全単射である。
• 同型性は非 torsion ねじれクラスに対しても成立し、従来のねじれたベクター束が有限位数クラスに制限されるという制限を克服する。
• この構成は境界写像 $ \delta_{-n} $ と可換であり、ねじれたK理論の長完全系列と整合性を持つ。
• 証明は、$ X $ のCWセル構造に関する帰納法に依拠し、5項補題とディスク上での $ PU(\mathcal{H}) $-バンドルの自明性を用いる。
• ボット周期性の生成子の有限次元近似は、写像 $ T: D^2 \to \mathcal{F}(\mathcal{H}) $ を通じて実現可能であり、これにより有限次元設定で $ \delta_0 $ を構成できる。