[论文解读] The spectrum of prime ideals in tensor triangulated categories

Paul Balmer|ArXiv.org|Sep 20, 2004

Algebraic structures and combinatorial models参考文献 11被引用 7

一句话总结

本文引入张量三角范畴中素理想谱作为普遍的支撑集，构建了一个带有环层的拓扑空间，该空间同时推广了代数概形与模表示理论中的支撑簇。其关键贡献在于通过闭子集的补集为拟紧的条件，对厚张量理想进行了分类，从而在单一框架下统一了几何与表示理论的支撑理论。

ABSTRACT

We define the spectrum of a tensor triangulated category $K$ as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal space in which one can define supports for objects of $K$. This construction is functorial with respect to all tensor triangulated functors. Several elementary properties of schemes hold for such spaces, e.g. the existence of generic points and some quasi-compactness. Locally trivial morphisms are proved to be nilpotent. We establish in complete generality a classification of thick tensor-ideal subcategories in terms of arbitrary unions of closed subsets with quasi-compact complements (Thomason's theorem for schemes, mutatis mutandis). We also equip this spectrum with a sheaf of rings, turning it into a locally ringed space. We compute examples and show that our spectrum unifies the schemes of algebraic geometry and the support varieties of modular representation theory.

研究动机与目标

• 通过素理想为张量三角范畴中的对象定义一个普遍支撑理论。
• 构建一个带有环层的拓扑空间——谱——使其成为一个局部环层空间。
• 统一代数几何与模表示理论中厚张量理想的分类。
• 在谱与已知的支撑簇（如有限群的 Proj(H•(G,k))）之间建立典范同胚。
• 提供一个通用框架，将托马森的分类定理推广至任意张量三角范畴。

提出的方法

• 将张量三角范畴中的素理想定义为一个真厚 ⊗-理想，且对乘积封闭：若 a⊗b ∈ P，则 a ∈ P 或 b ∈ P。
• 在素理想集合 Spc(𝒦) 上赋予由开集 U(a) = Spc(𝒦) \ supp(a) 生成的扎里斯基拓扑，其中 supp(a) 是不包含 a 的素理想集合。
• 在开子集 U ⊂ Spc(𝒦) 上构造一个预层，通过赋值 End_{𝒦/𝒦_Z}(1_U)，其中 𝒦_Z 是在闭补集 Z = Spc(𝒦)\U 上支撑的厚 ⊗-理想。
• 对这一预层进行层化，得到结构层 𝒪_𝒦，使 Spc(𝒦) 成为一个局部环层空间，记为 Spec(𝒦)。
• 证明谱满足一个泛性质：它是可定义对象支撑的最细空间。
• 通过显式构造支撑映射，建立 Spc(𝒦) 与已知几何对象（如 D^perf(X) 的 X 和 stab(kG) 的 Proj(H•(G,k))）之间的同胚。

实验结果

研究问题

• RQ1 是否可以为张量三角范畴中所有对象定义一个普遍支撑理论？
• RQ2 是否存在一个典范的拓扑空间，用于分类张量三角范畴中的厚 ⊗-理想？
• RQ3 素理想的谱与经典对象（如概形与支撑簇）有何关系？
• RQ4 谱上的结构层能否恢复已知的几何结构（如 O_X 或 Proj(H•(G,k))）？
• RQ5 在何种条件下谱本身是一个概形？

主要发现

• 张量三角范畴 𝒦 的谱 Spc(𝒦) 是定义对象支撑的普遍空间，对张量三角函子满足泛性质。
• 𝒦 中的厚 ⊗-理想与任意闭子集的并之间存在双射关系，且其补集为拟紧，这推广了托马森的分类定理。
• 当 𝒦 = D^perf(X) 时，谱 Spc(𝒦) 自然同胚于概形 X，从而恢复了原始的概形结构。
• 当 𝒦 = stab(kG) 时，谱 Spc(𝒦) 同胚于 Proj(H•(G,k))，从而将谱与模表示理论中的支撑簇相联系。
• 谱上的结构层 𝒪_𝒦 使其成为一个局部环层空间，且当 𝒦 = D^perf(X) 时，该层恢复了结构层 O_X。
• 该构造是函子性的：任意张量三角函子诱导出谱之间的连续映射，且保持支撑理论结构。