[论文解读] Generators and representability of functors in commutative and noncommutative geometry

Alexey Bondal, Michel Van den Bergh|ArXiv.org|Apr 17, 2002

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

一句话总结

本文通过证明在具有强生成元的Ext-有限、Karoubian三角范畴中，饱和性（即所有有限型上同调函子均可表示）成立，从而为交换与非交换代数几何中的三角范畴建立了充分条件。关键结果表明，光滑完备代数系（无论交换或非交换）的有界凝聚层导出范畴由于存在强生成元而具有饱和性。

ABSTRACT

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, hence saturated. In contrast the similar category for a smooth compact analytic surface with no curves is not saturated.

研究动机与目标

• 为代数几何中出现的三角范畴的饱和性提供一个内在判据。
• 解决导出范畴中有限型上同调函子的表示性问题。
• 通过强生成元证明光滑完备代数系（无论交换或非交换）的导出范畴是饱和的。
• 通过分次环与qgr范畴，将定理1.1的表示性结果推广至非交换情形。

提出的方法

• 在三角范畴中引入强生成元的概念，定义为通过有限步内的迭代扩张与直和项可生成整个范畴的物件。
• 使用相对于子范畴的n-预解来逼近上同调函子，以应对无同伦极限的情形。
• 改编布朗表示性定理的技术，通过利用强生成元进行有限逼近，使其在无无限和的情形下仍可适用。
• 证明光滑概化中的经典生成元同时也是强生成元，从而将几何光滑性与有限生成性联系起来。
• 应用该判据证明光滑完备代数系的凝聚层导出范畴是饱和的。
• 利用凯勒与DG/A∞-几何的结果，证明拟紧、拟分离的概形在导出意义下是仿射的。

实验结果

研究问题

• RQ1 在何种条件下三角范畴是饱和的，即所有有限型上同调函子均可表示？
• RQ2 在Ext-有限、Karoubian三角范畴中，强生成元的存在是否蕴含饱和性？
• RQ3 能否将光滑射影概形上凝聚层的表示性结果推广至非交换情形？
• RQ4 非交换几何中的光滑完备概形是否也具有饱和的导出范畴？
• RQ5 在光滑概形中，经典生成元与强生成元之间有何关系？

主要发现

• 若三角范畴为Ext-有限、Karoubian，且存在强生成元，则其为饱和范畴。
• 任意光滑完备代数系（无论交换或非交换）的有界凝聚层导出范畴均具有强生成元，因此是饱和的。
• 每个拟紧、拟分离的概形均存在经典生成元；在光滑情形下，此类生成元亦为强生成元。
• 在域上可能具有奇点的射影概形上，其完美复形的导出范畴中，有限型上同调函子具有表示性。
• 存在光滑紧致解析曲面（无曲线）的例子，其导出范畴不饱和，表明几何条件的必要性。
• 当分次凝聚环R满足适当的有限性与生成条件时，范畴qgr(R)为饱和范畴。