[论文解读] Classification of categorical subspaces of locally noetherian schemes

Ryo Kanda|arXiv (Cornell University)|May 18, 2014

Algebraic structures and combinatorial models参考文献 23被引用 10

一句话总结

本文通过引入拟凝聚层结构层的局部滤子这一新概念，对局部诺特概形上的拟凝聚层范畴的预局部化、局部化、闭合及双局部化子范畴进行了分类。关键结果建立了这些子范畴与特定类型滤子之间的双射，通过原子谱和格罗滕迪克范畴理论，将加布里埃尔对环的模范畴子范畴分类推广至概形。

ABSTRACT

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The essential part of the argument is given as results on a Grothendieck category with certain properties. We also classify the localizing subcategories, the closed subcategories, and the bilocalizing subcategories in terms of filters.

研究动机与目标

• 将加布里埃尔对环上模范畴子范畴的分类推广至局部诺特概形上的拟凝聚层范畴。
• 以拟凝聚子层的滤子为工具，系统地对预局部化、局部化、闭合及双局部化子范畴进行分类。
• 在QCoh(X)的子范畴与X上的几何结构（如闭子概形和开-闭子集）之间建立范畴对应关系。
• 引入并运用原子谱与局部滤子的概念，统一并推广非交换几何与代数几何中的现有结果。

提出的方法

• 引入了OX的拟凝聚子层的局部滤子概念，即能正确分类子范畴的合适滤子类。
• 应用具有足够原子的格罗滕迪克范畴理论，特别关注原子谱ASpec(A)作为素谱的几何代理。
• 通过局部化技术将分类问题约化至开仿射子概形，利用格罗滕迪克范畴中商范畴与局部化的结果。
• 利用子范畴与滤子之间的对应关系：Y ↦ {I ⊂ OX | OX/I ∈ Y}，通过局部滤子建立双射。
• 通过主滤子刻画闭子范畴，通过在乘积下封闭的滤子刻画双局部化子范畴。
• 证明双局部化子范畴恰好对应于OX的幂等子对象所确定的开-闭子集。

实验结果

研究问题

• RQ1 如何将加布里埃尔对环上模范畴子范畴的分类推广至局部诺特概形上的拟凝聚层？
• RQ2 在结构层OX上，应采用何种滤子概念以分类QCoh(X)的预局部化子范畴？
• RQ3 QCoh(X)的局部化、闭合及双局部化子范畴如何与X上的几何结构（如闭子概形或开-闭子集）对应？
• RQ4 原子谱在由概形导出的格罗滕迪克范畴中子范畴分类中起何作用？
• RQ5 能否通过局部化技术将子范畴分类约化至仿射情形？

主要发现

• QCoh(X)的预局部化子范畴与OX的拟凝聚子层的局部滤子之间存在双射，对应关系为 Y ↦ {I ⊂ OX | OX/I ∈ Y}。
• 局部化子范畴与在乘积下封闭的局部滤子之间存在双射。
• 闭子范畴与OX的拟凝聚子层的主滤子之间存在双射。
• 双局部化子范畴恰好对应于在乘积下封闭的主滤子，因此也对应于X的开-闭子集。
• QCoh(X)的双局部化子范畴集合与X的开-闭子集集合之间存在双射，同时也与OX的幂等子对象集合之间存在双射。
• 对于代数闭域k上的射影直线P1k，预局部化、局部化、闭合及双局部化子范畴可通过函数r ∈ ∏x∈Φ(Z≥0 ∪ {∞})显式参数化，且满足特定的零点条件。