數學中,拓撲 K-理論(topological K-theory)是代數拓撲的一個分支。它是研究一般拓撲空間上向量叢時發現的,所用的是由亞歷山大·格羅滕迪克引入的現在稱為(一般)K-理論的想法。早期拓撲 K-理論的工作歸於米高·阿蒂亞與弗里德里希·希策布魯赫。
定義
拓撲 K-理論是緊豪斯多夫空間範疇的一種廣義上同調理論,將一個空間上的向量叢按穩定等價分類(向量叢稱為穩定等價的若且唯若同構的向量叢由向量叢與平凡向量叢的惠特尼和生成[1])。設 X 是一個緊豪斯多夫空間而
或
。則
是 X 上有限維
-向量叢的同構類在運算
,對向量叢 E 與 F,
下交換么半群的格羅滕迪克群。通常
在復情形記作
,復情形記作
。
更確切地,穩定等價,X 上叢 E 與 F 上的等價關係,定義了 K(X) 中同樣的元素,出現於存在一個平凡叢 G 使得
![{\displaystyle E\oplus G\cong F\oplus G.}](//wikimedia.org/api/rest_v1/media/math/render/svg/9a63b0de2f533f479e1409196eef91cc5c2f1930)
在向量叢的張量積下 K(X) 成為一個交換環。
向量叢的秩帶入 K-群中定義了同態
![{\displaystyle K(X)\to {\check {H}}^{0}(X,\mathbb {Z} )}](//wikimedia.org/api/rest_v1/media/math/render/svg/1a664de3a15d467a98147ebd90ed6c8c93a02397)
這裏
是切赫上同調的 0-群,等於取值於
中的局部常值函數群。
如果 X 有一個特殊的基點 x0,則約化 K-群(與約化同調比較)滿足
![{\displaystyle K(X)\cong {\tilde {K}}(X)\oplus K(\{x_{0}\})}](//wikimedia.org/api/rest_v1/media/math/render/svg/ea207ba9a820516cbc4ad98e62116a623c534a69)
定義為
(這裏
是基點包含)的核或
的余核(這裏
是常映射)。
當 X 是連通空間是,
。
函子 K 的定義擴張成緊空間的範疇偶(一個對象是一個偶
,
緊而
閉,
與
間的態射是一個連續映射
使得
)。
![{\displaystyle K(X,Y):={\tilde {K}}(X/Y)}](//wikimedia.org/api/rest_v1/media/math/render/svg/317ff6031fe741ca8915d06e74eb62706bf95796)
約化 K-群有
給出。
定義
![{\displaystyle K_{\mathbb {C} }^{n}(X,Y)={\tilde {K}}_{\mathbb {C} }(S^{|n|}(X/Y)),}](//wikimedia.org/api/rest_v1/media/math/render/svg/3cbc2cf10e75ee862c2fa14e81493b11dc910b46)
對
給出了 K-群序列,這裏 S 表示約化緯垂。
性質
是一個反變函子。
的分類空間是
(復情形為 BO;復情形為 BU),即
。
的分類空間是
(
帶着離散拓撲),即
。
- 存在一個自然環同態
,陳特徵標,使得
是一個同構。
- 拓撲 K-理論可推廣為 C*-代數上一個函子,參見算子K-理論與 KK-理論。
博特周期性
周期性現象冠以拉烏爾·博特之名(參見博特周期性定理),可作如下表述:
and
這裏
是
上的重言叢類,即黎曼球面作為復射影直線。
![{\displaystyle {\tilde {K}}^{n+2}(X)={\tilde {K}}^{n}(X).}](//wikimedia.org/api/rest_v1/media/math/render/svg/fabc3d76bd906394d7a4e3647ec079891bccb0c9)
![{\displaystyle \Omega ^{2}\mathrm {BU} \simeq \mathrm {BU} \times \mathbf {Z} .}](//wikimedia.org/api/rest_v1/media/math/render/svg/92c2caffdc53f007f83fde3662aff1c4a90aec9d)
在實K-理論中有類似的周期性,不過是模 8。
參考文獻
- 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