[论文解读] The derived category of an \'etale extension and the separable Neeman-Thomason theorem

Paul Balmer|arXiv (Cornell University)|Aug 14, 2014

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

一句话总结

本文证明了概形的étale态射诱导导出范畴之间的可分扩张，将Neeman-Thomason局部化定理推广至三角范畴中的可分扩张。证明了在具有弹性的可分单子的紧生成三角范畴中，该单子模范畴仍为紧生成范畴，其紧致对象恰好由原始紧致对象经标量扩张后生成。

ABSTRACT

We prove that etale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman-Thomason Localization Theorem to separable extensions of triangulated categories.

研究动机与目标

• 将Neeman-Thomason局部化定理推广至三角范畴中的可分扩张，超越Bousfield局部化的范围。
• 建立概形的étale态射诱导导出范畴中可分扩张，推广已知的Zariski开浸入结果。
• 提供一个一般性判据，确保紧生成三角范畴的可分扩张仍为紧生成。
• 阐明此类扩张下紧致对象的行为，特别是其通过标量扩张生成的方式。
• 将各类已知例子——如等变设定中对子群的限制和étale态射——统一于可分扩张的框架之下。

提出的方法

• 采用Balmer（2011）定义的三角范畴可分扩张框架，聚焦于既是可分又是弹性的精确单子。
• 利用基范畴S与A-模范畴T = A-ModS之间的伴随关系，其中A是S上的可分精确单子。
• 应用引理4.4（来自[HR14]）的一般性结果：若右伴随保持余积且是保守的，则左伴随保持紧致对象，且目标范畴为紧生成。
• 证明A-模范畴T是紧生成的，且Tc = thick(FA(Sc))，其中FA为标量扩张函子。
• 证明若A保持紧致对象，则(A-ModS)c = A-ModSc，即T中的每个紧致对象均为某个c ∈ Sc的紧致对象经FA作用后的直和项。
• 将一般性结果应用于étale态射f: V → X的情形，其中单子Af = Rf∗(OV)被证明是Dqcoh(X)上的弹性可分单子，从而得到可分扩张Dqcoh(V) ≅ Af-ModDqcoh(X)。

实验结果

研究问题

• RQ1 Neeman-Thomason局部化定理能否超越Bousfield局部化，推广至三角范畴中的可分扩张？
• RQ2 概形的étale态射是否诱导导出范畴之间的可分扩张？若然，其与Zariski开浸入相比有何异同？
• RQ3 在何种条件下，紧生成三角范畴的可分扩张仍保持为紧生成？
• RQ4 扩张中的紧致对象与原始范畴中的紧致对象有何关系？
• RQ5 在导出范畴中，étale态射的紧致对象的精确描述为何？

主要发现

• étale态射f: V → X诱导导出范畴之间的可分扩张，推广了已知的Zariski开浸入的Bousfield局部化结果。
• 对于紧生成三角范畴S及S上的弹性可分单子A，A-模范畴A-ModS是紧生成的，且Tc = thick(FA(Sc))。
• 若单子A保持紧致对象，则(A-ModS)c = A-ModSc，即扩张中的每个紧致对象均为某个c ∈ Sc的紧致对象经标量扩张FA作用后的直和项。
• 分离的étale态射f: V → X的导出范畴满足Dperf(V) = thick(f∗(Dperf(X)))，表明紧致对象由X中紧致对象的拉回生成。
• 对于有限étale态射，有Dperf(V) ≅ Af-ModDperf(X)，其中Af = f∗(OV)是X上的向量丛，故模范畴与Dperf(X)上Af-模范畴等价。
• 该结果推广了等变同伦理论与表示论中的已知例子，表明étale扩张是导出范畴中可分扩张的自然实例。