拓扑K-理论

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

定义[编辑]

拓扑 K-理论是紧豪斯多夫空间范畴的一种广义上同调理论，将一个空间上的向量丛按稳定等价分类（向量丛称为稳定等价的当且仅当同构的向量丛由向量丛与平凡向量丛的惠特尼和生成^[1]）。设 X 是一个紧豪斯多夫空间而 $k=\mathbb{R}$ 或 $k=\mathbb{C}$ 。则 $K_{k}(X)$ 是 X 上有限维 $k$ -向量丛的同构类在运算

$[E]\oplus [F] = [E\oplus F]$ ，对向量丛 E 与 F，

下交换幺半群的格罗滕迪克群。通常 $K_k(X)$ 在复情形记作 $KO(X)$ ，复情形记作 $KU(X)$ 。

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

$E\oplus G\cong F\oplus G.$

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

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

$K(X)\to\check{H}^0(X,\mathbb{Z})$

这里 $\check{H}^0(X,\mathbb{Z})$ 是切赫上同调的 0-群，等于取值于 $\mathbb{Z}$ 中的局部常值函数群。

如果 X 有一个特殊的基点 x₀，则约化 K-群（与约化同调比较）满足

$K(X)\cong\tilde K(X)\oplus K(\{x_0\})$

定义为 $K(X)\to K(\{x_0\})$ （这里 $\{x_0\}\to X$ 是基点包含）的核或 $K(\{x_0\})\to K(X)$ 的余核（这里 $X\to\{x_0\}$ 是常映射）。

当 X 是连通空间是， $\tilde K(X)\cong\operatorname{Ker}(K(X)\to\check{H}^0(X,\mathbb{Z})=\mathbb{Z})$ 。

函子 K 的定义扩张成紧空间的范畴偶（一个对象是一个偶 $(X,Y)$ ， $X$ 紧而 $Y\subset X$ 闭， $(X,Y)$ 与 $(X',Y')$ 间的态射是一个连续映射 $f:X\to X'$ 使得 $f(Y)\subset Y'$ ）。

$K(X,Y):=\tilde{K}(X/Y)$

约化 K-群有 $x_0=\{Y\}$ 给出。

定义

$K_{\mathbb{C}}^{n}(X,Y)=\tilde K_{\mathbb{C}}(S^{|n|}(X/Y)),$

对 $n\in\mathbb{Z}$ 给出了 K-群序列，这里 S 表示约化纬垂（reduced suspension）。

性质[编辑]

$K^n$ 是一个反变函子。
$\tilde{K}$ 的分类空间是 $BO_k$ （复情形为 BO；复情形为 BU），即 $K_k(X)\cong[X,BO_k]$ 。
$K$ 的分类空间是 $\mathbb{Z}\times BO_k$ （ $\mathbb{Z}$ 带着离散拓扑），即 $K_k(X)\cong[X,\mathbb{Z}\times BO_k]$ 。
存在一个自然环同态 $K^*(X)\to H^{2*}(X,\mathbb{Q})$ ，陈特征标（Chern character），使得 $K^*(X)\otimes\mathbb{Q}\to H^{2*}(X,\mathbb{Q})$ 是一个同构。
拓扑 K-理论可推广为 C*-代数上一个函子，参见算子K-理论与 KK-理论。

博特周期性[编辑]

周期性现象冠以拉乌尔·博特之名（参见博特周期性定理），可作如下表述：

$K(X\times S^2)=K(X)\otimes K(S^2),$ and $K(S^2)=\mathbb Z[H]/(H-1)^2;$ 这里 $H$ 是 $S^2=\mathbb CP^1$ 上的重言丛类，即黎曼球面作为复射影直线。
$\tilde K^{n+2}(X)=\tilde K^n(X).$
$\Omega^2\mathrm{BU}\simeq\mathrm{BU}\times\mathbf Z.$