[论文解读] Tensorial schemes

Martin Brandenburg|arXiv (Cornell University)|Oct 29, 2011

Algebraic structures and combinatorial models参考文献 9被引用 5

一句话总结

本文证明，对于射影概概形，任意从准 coherent 线丛范畴到另一范畴的连续张量函子，均唯一地由一个概形态射的拉回给出，从而消除了 Lurie 结果中对‘驯服性’的假设。本文引入了‘张量性概形’的概念——即具有此性质的概形——并证明射影概形是张量性的，填补了导出代数几何中概形函子性方法的一个空白。

ABSTRACT

Jacob Lurie (arXiv:math/0412266) has shown that for geometric stacks X,Y every cocontinuous tensor functor F : Qcoh(X) -> Qcoh(Y) is the pullback of a morphism Y -> X under the additional assumption that F is tame. In this note we get rid of this assumption if X is a projective scheme. In general, we call a scheme X tensorial if every cocontinuous tensor functor Qcoh(X) -> Qcoh(Y) is induced by a unique morphism Y -> X, show that projective schemes are tensorial and tensorial schemes are closed under various operations.

研究动机与目标

• 消除 Lurie 结果中关于连续张量函子 Qcoh(X) → Qcoh(Y) 由态射 Y → X 诱导的‘驯服性’假设。
• 定义并研究‘张量性概形’——即每个此类函子均由唯一态射诱导的概形。
• 证明射影概形是张量性的，将 Lurie 的结果推广至更广泛的概形类。
• 研究张量性概形在各种几何运算下的封闭性质。

提出的方法

• 将概形 X 定义为张量性，若每个连续张量函子 Qcoh(X) → Qcoh(Y) 均由唯一态射 Y → X 诱导。
• 利用射影概形上准 coherent 线丛的结构，分析函子而不依赖驯服性条件。
• 利用 Qcoh(P^n) 由线丛生成且其张量结构清晰可辨的事实。
• 应用张量范畴理论与 Tannakian 形式化方法，从函子重构态射。
• 证明张量性概形在纤维积、基变换等标准运算下封闭。
• 以射影空间情形为关键构建模块，将结果推广至一般射影概形。

实验结果

研究问题

• RQ1 Lurie 定理中关于射影概形的驯服性假设能否被移除？
• RQ2 哪些概形 X 满足：每个连续张量函子 Qcoh(X) → Qcoh(Y) 均由唯一态射 Y → X 诱导？
• RQ3 张量性概形在基变换或纤维积等几何运算下如何表现？
• RQ4 Qcoh(X) 的何种结构性质可确保张量函子可由态射表示？
• RQ5 张量性概形的类在代数几何的标准构造下是否封闭？

主要发现

• 在射影概形上，任意两个准 coherent 线丛范畴之间的连续张量函子，均唯一地由一个态射的拉回实现，且无需驯服性假设。
• 射影概形是张量性的，意味着其准 coherent 线丛范畴通过张量函子完全控制其态射。
• 张量性概形的类在基变换、纤维积及其他标准构造下封闭。
• 本结果通过在射影情形下移除驯服性条件，推广了 Lurie 的定理。
• 张量性概形在导出代数几何中构成一个自然类，其中几何态射完全由其在准 coherent 线丛范畴上诱导的函子决定。