[论文解读] Non-exactness of direct products of quasi-coherent sheaves

Ryo Kanda|arXiv (Cornell University)|Oct 20, 2018

Algebraic structures and combinatorial models参考文献 18被引用 3

一句话总结

本文证明了：对于具有一个充足的可逆层族（即除子性概形）的诺特概形，其拟相干层范畴的直积是正合的，当且仅当该概形是仿射的。该结果推广了已知的关于射影直线和穿孔谱的非正合性结果，利用Gabriel-Popescu嵌入以及Roos对满足Ab6与Ab4*的格罗滕迪克范畴的刻画。其关键贡献在于，在这一大类概形中，建立了直积正合性与仿射性的等价关系。

ABSTRACT

For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck categories satisfying Ab6 and Ab4*.

研究动机与目标

• 确定诺特概形上拟相干层范畴中直积何时是正合的。
• 将已知的关于射影直线和穿孔谱的非正合性结果推广到更广泛的概形类。
• 建立QCoh(X) 满足格罗滕迪克的Ab4*条件的结构性刻画。
• 通过范畴论工具证明：Ab4*正合性蕴含除子性诺特概形的仿射性。

提出的方法

• 利用Gabriel-Popescu定理将拟相干层范畴嵌入到某个环上的模范畴中。
• 应用Roos对同时满足Ab6与Ab4*的格罗滕迪克范畴的刻画，分析直积的正合性。
• 运用双局部化子范畴与商范畴的概念，分解模范畴并分析子对象。
• 利用诺特概形若具有充足的可逆层族，则为除子性概形这一事实，使Serre的仿射性准则得以应用。
• 沿闭浸入应用全纯嵌入的拉回函子，将QCoh(X) 中的正合性与闭子概形Y的QCoh(Y) 中的正合性联系起来。
• 利用格罗滕迪克范畴中Ab4*与存在足够多投影化解的等价性，将正合性与足够多投影对象的存在性联系起来。

实验结果

研究问题

• RQ1 在何种条件下，诺特概形上拟相干层范畴对直积是封闭的？
• RQ2 对于除子性诺特概形，QCoh(X) 中直积的正合性是否与概形X为仿射等价？
• RQ3 非仿射概形上直积的非正合性是否可推广至射影直线或穿孔谱等具体例子之外？
• RQ4 在概形上拟相干层范畴的背景下，格罗滕迪克范畴公理Ab4*与Ab6如何相互作用？
• RQ5 充足可逆层族的存在在决定QCoh(X) 中直积正合性方面起什么作用？

主要发现

• 对于除子性诺特概形X，QCoh(X) 中的直积是正合的，当且仅当X是仿射的。
• QCoh(X) 有足够多投影对象，当且仅当它满足Ab4*，从而在同调性质与几何结构之间建立了强关联。
• 若X是包含一个非仿射除子性诺特闭子概形的概形，则QCoh(X) 不满足Ab4*。
• 通过Gabriel-Popescu嵌入得到的等价关系QCoh(X) ≅ Mod^I S，使得模范畴中的正合性质可转移至层范畴。
• 当且仅当X是仿射时，O_X 在QCoh(X) 中是投影对象，这蕴含对d ≥ 1，高阶上同调群H^d(X, -)为零。
• 应用Serre的仿射性准则，得出高阶上同调群的消失蕴含仿射性，从而完成主定理的证明。