[論文レビュー] Geometric K-homology with coefficients I

Robin J. Deeley|arXiv (Cornell University)|Jan 4, 2011

Advanced Operator Algebra Research参考文献 25被引用数 5

ひとこと要約

本稿は、基本的サイクルとしてスピン^c ℤ/kℤ多様体を用いることで、ℤ/kℤ係数のKホモロジーの幾何学的モデルを構築し、ボクシュタイン完全系列を確立し、可算アーベル群への一般化を帰納的極限を用いて行う。このモデルはフリード＝メルローズのインデックス定理と本質的に結びついており、係数群への一般化を図ったバーム＝ダグラスのアプローチを拡張する。

ABSTRACT

We construct a Baum-Douglas type model for $K$-homology with coefficients in $\mathbb{Z}/k\mathbb{Z}$. The basic geometric object in a cycle is a $spin^c$ $\mathbb{Z}/k\mathbb{Z}$-manifold. The relationship between these cycles and the topological side of the Freed-Melrose index theorem is discussed in detail. Finally, using inductive limits, we construct geometric models for $K$-homology with coefficients in any countable abelian group.

研究の動機と目的

• K理論の係数や補助空間に依存しない、内在的かつ独立したℤ/kℤ係数のKホモロジーの幾何学的モデルを構築すること。
• ℤ/kℤ係数のKホモロジーに対して、幾何的サイクルを用いてボクシュタイン完全系列を確立すること。
• 任意の可算アーベル群におけるKホモロジーへの一般化を、ℤおよびℤ/kℤサイクルの帰納的極限を用いて行うこと。
• 幾何的サイクルとフリード＝メルローズのインデックス定理を結びつけ、インデックス理論と概念的に整合させること。
• バーム＝ダグラスのモデルを類似させるが、特異な幾何的対象を用いて係数群に適応させた、Kホモロジーの幾何的実現を提供すること。

提案手法

• サイクルの主な幾何的対象として、バーム＝ダグラスのモデルを一般化するスピン^c ℤ/kℤ多様体を用いる。
• サイクルを、ℤ/kℤ多様体、K理論的類、および標的空間への連続写像からなる三重組として定義する。
• 任意のアーベル係数群に対する帰納的極限をモデル化するため、ℤ/kℤサイクルとℤ/lkℤサイクルの間の写像を構成する。
• 普遍係数系列（ボクシュタイン系列）を適用し、ℤ/kℤ係数のKホモロジーと整数係数Kホモロジーとの関係を確立する。
• バース＝サリヴァンのバーディズム理論と、ℤ/kℤ多様体と係数付きバーディズム群との関係を用いる。
• ℚ/ℤ係数のサイクルを、境界が自明な被覆を持つ多様体として再定式化し、ρ不変量などの既知のインデックス不変量と結びつける。

実験結果

リサーチクエスチョン

• RQ1 K理論の係数や補助空間に依存しない、ℤ/kℤ係数のKホモロジーの幾何学的モデルを構築できるか？
• RQ2 ℤ/kℤ係数のKホモロジーの文脈において、ボクシュタイン完全系列を幾何的に実現できるか？
• RQ3 ℤ/kℤ多様体は、フリード＝メルローズのインデックス定理を反映するサイクルを実現するために果たす役割は何か？
• RQ4 任意の可算アーベル群におけるKホモロジーの幾何学的モデルを、帰納的極限を用いてどのように構築できるか？
• RQ5 ℚ/ℤ係数の幾何学的モデルを、有限で境界が自明な被覆を持つ多様体として再定式化できるか？また、これにより既知のインデックス不変量とどのように関係するか？

主な発見

• スピン^c ℤ/kℤ多様体をサイクルとして用いることで、ℤ/kℤ係数のKホモロジーの幾何学的モデルが構築され、バーム＝ダグラスのモデルの自然な一般化が得られた。
• ℤ/kℤ係数のKホモロジーに対するボクシュタイン完全系列が幾何的に実現され、主な結果は定理2.20に述べられている。
• このモデルはフリード＝メルローズのインデックス定理と整合性があり、その値がℤ/kℤにとどまり、ℤ/kℤ多様体に適用可能である。
• ℤおよびℤ/kℤサイクルの帰納的極限を用いて、任意の可算アーベル群係数のKホモロジーの幾何学的モデルが構築され、群構造のスケーリングを用いて明示的な写像が定義された。
• ℚ/ℤ係数の場合、サイクルは境界が自明な被覆を持つ多様体として再定式化され、ρ不変量の既知の構成と整合し、ℝ/ℤ係数への幾何学的モデルへの道筋を示唆した。
• この構成により、バーディズム理論と概念的に整合し、普遍係数系列を尊重するKホモロジーの幾何的実現が得られた。