打开主菜单

数学中,拓扑 K-理论topological K-theory)是代数拓扑的一个分支。它是研究一般拓扑空间向量丛时发现的,所用的是由亚历山大·格罗滕迪克引入的现在称为(一般)K-理论的想法。早期拓扑 K-理论的工作归于迈克尔·阿蒂亚弗里德里希·希策布鲁赫Friedrich Hirzebruch)。

定义编辑

拓扑 K-理论是豪斯多夫空间范畴的一种广义上同调理论,将一个空间上的向量丛稳定等价分类(向量丛称为稳定等价的当且仅当同构的向量丛由向量丛与平凡向量丛的惠特尼和生成[1])。设 X 是一个紧豪斯多夫空间而   。则  X 上有限维  -向量丛的同构类在运算

 ,对向量丛 EF

交换幺半群格罗滕迪克群。通常   在复情形记作  ,复情形记作  

更确切地,稳定等价X 上丛 EF 上的等价关系,定义了 K(X) 中同样的元素,出现于存在一个平凡丛 G 使得

 

向量丛的张量积K(X) 成为一个交换环

向量丛的秩带入 K-群中定义了同态

 

这里  切赫上同调的 0-群,等于取值于   中的局部常值函数群。

如果 X 有一个特殊的基点 x0,则约化 K-群(与约化同调比较)满足

 

定义为  (这里   是基点包含)的 余核(这里   是常映射)。

X连通空间是, 

函子 K 的定义扩张成紧空间范畴偶(一个对象是一个偶    紧而   闭,   间的态射是一个连续映射   使得  )。

 

约化 K-群有   给出。

定义

 

  给出了 K-群序列,这里 S 表示约化纬垂reduced suspension)。

性质编辑

  •   是一个反变函子
  •  分类空间 (复情形为 BO;复情形为 BU),即  
  •  分类空间   带着离散拓扑),即  
  • 存在一个自然环同态  陈特征标Chern character),使得   是一个同构。
  • 拓扑 K-理论可推广为 C*-代数上一个函子,参见算子K-理论KK-理论

博特周期性编辑

周期性现象冠以拉乌尔·博特之名(参见博特周期性定理),可作如下表述:

  •   and   这里    上的重言丛类,即黎曼球面作为复射影直线
  •  
  •  

实K-理论中有类似的周期性,不过是模 8。

参考文献编辑

  1. ^ http://mathworld.wolfram.com/StableEquivalence.html
  • M. Karoubi, K-theory, an introduction, 1978 - Berlin; New York: Springer-Verlag
  • M.F. Atiyah, D.W. Anderson K-Theory 1967 - New York, WA Benjamin