有限型挠类与谱

给定交换环 R（ respectively 正分次交换环 $A=\oplus_{j\geq 0}A_j$，其作为 A_0-代数有限生成），建立了 Mod R 中有限型挠类（ respectively QGr A 中有限型张量挠类）与所有形如 Y=\cup_{i\in\Omega}Y_i 的子集 Y\subset Spec R（ respectively Y\subset Proj A）组成的集合之间的一一对应，其中对所有 i\in\Omega，Spec R\Y_i（ respectively Proj A\Y_i）是拟紧且开集。利用这些一一对应，构造了环化空间 (Spec R,O_R)-->(Spec(Mod R),O_{Mod R}) 与 (Proj A,O_{Proj A})-->(Spec(QGr A),O_{QGr A}) 的同构，其中 (Spec(Mod R),O_{Mod R}) 与 (Spec(QGr A),O_{QGr A}) 是分别与有限型挠类格 L_{tor}(Mod R) 和 L_{tor}(QGr A) 关联的环化空间。此外，还建立了完美复形 perf(R) 的厚子范畴与 Mod R 中有限型挠类之间的双射对应。