关于光滑概形X的K⁰(X)≅K₀(X)的证明及显式同构的资料查询

嘿，关于光滑概形$X$上$K^0(X)\cong K_0(X)$这个同构的证明和显式构造，我给你梳理下关键信息和可参考的方向：

先明确两个群的定义 #

• $K^0(X)$：是$X$上有限秩局部自由层（也就是代数几何里的向量丛）的Grothendieck群，由向量丛的同构类生成，满足的关系是：如果有短正合列$0\to E'\to E\to E''\to 0$，那么$[E] = [E'] + [E'']$。
• $K_0(X)$：是$X$上凝聚层的Grothendieck群，由凝聚层的同构类生成，同样对任意凝聚层的短正合列$0\to \mathcal{F}'\to \mathcal{F}\to \mathcal{F}''\to 0$，有$[\mathcal{F}] = [\mathcal{F}'] + [\mathcal{F}'']$。

同构的核心依据与显式构造 #

这个同构成立的关键是光滑概形的一个核心性质：光滑概形$X$上的任意凝聚层$\mathcal{F}$都存在有限长度的局部自由消解——也就是存在这样的正合列：
$0\to E_n\to \dots\to E_1\to E_0\to \mathcal{F}\to 0$
其中每个$E_i$都是局部自由层（向量丛）。

基于这个性质，我们可以构造两个方向的显式同构：

• 正向映射$\iota: K^0(X)\to K_0(X)$：直接把向量丛的类映射到它自身作为凝聚层的类，也就是$\iota([E]) = [E]$。这个映射是良定义的，因为向量丛的短正合列本身就是凝聚层的短正合列，完全满足Grothendieck群的加法关系。
• 反向映射$\phi: K_0(X)\to K^0(X)$：对任意凝聚层$\mathcal{F}$，取它的一个有限局部自由消解，定义$\phi([\mathcal{F}]) = \sum_{i=0}^n (-1)^i [E_i]$。需要验证的是这个定义不依赖于消解的选择——这可以通过光滑概形上消解的同伦等价性，或者用马蹄引理证明不同消解给出的这个交替和在$K^0(X)$里是相等的，同时它也能保持凝聚层短正合列的加法关系，所以是良定义的群同态。

你可以自己验证$\iota$和$\phi$互为逆映射：比如对向量丛$E$，它的消解就是$0\to E\to E\to 0$，所以$\phi(\iota([E])) = \phi([E]) = [E]$；对凝聚层$\mathcal{F}$，利用消解的正合性，$\iota(\phi([\mathcal{F}])) = \sum_{i=0}^n (-1)^i [E_i]$，而根据凝聚层Grothendieck群的关系，这个交替和正好等于$[\mathcal{F}]$，所以两者互逆，也就证明了同构。

可参考的经典教材 #

如果你需要完整的严格证明，可以去看这些经典代数K理论或代数几何教材：

• 《Algebraic K-Theory and Its Applications》（Weibel）：专门有章节讨论概形的K理论，在光滑概形部分会详细推导这个同构，包括局部自由消解的存在性和同构的验证细节。
• 《Lectures on Algebraic K-Theory》（Srinivas）：这本书对概形的$K_0$和$K^0$的关系讲解得很清晰，适合有一定代数几何基础的读者深入学习。
• Hartshorne的《Residues and Duality》：里面虽然不是直接讲K理论，但会详细证明光滑概形上凝聚层的局部自由消解性质，这是整个同构的核心前提。

备注：内容来源于stack exchange，提问作者fish_monster