[论文解读] Rigid Dualizing Complexes on Schemes

Amnon Yekutieli, James J. Zhang|arXiv (Cornell University)|May 29, 2004

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

一句话总结

本文引入了刚性对偶复形作为概形上格罗滕迪克对偶性的新框架，利用最初在非交换代数几何中发展出的概念。通过避免复杂的相容性检验，该方法在正则诺特基环上的有限型概形上建立了关键的对偶性结果，从而使其在算术几何中具有应用潜力。

ABSTRACT

In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite type schemes over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic geometry.

研究动机与目标

• 开发一种新的、简化的格罗滕迪克对偶性于概形上的方法，避免冗长的相容性验证。
• 将原本源自非交换代数几何的刚性对偶复形概念扩展到概形的上下文。
• 确立在正则诺特有限维基环上的有限型概形上格罗滕迪克对偶性的核心特性。
• 通过在一般正则基环上工作，提供一个适用于算术几何时应用的框架。

提出的方法

• 采用范登伯格在非交换几何中的工作所提出的刚性对偶复形概念作为基础工具。
• 通过刚性条件在概形上构造对偶复形，从而简化对偶同构的验证。
• 应用刚性条件以消除在各种对偶映射之间进行复杂相容性检查的需要。
• 聚焦于正则诺特基环上的有限型概形，以确保该方法在算术几何中具有广泛适用性。
• 利用刚性性质唯一地刻画对偶复形（至唯一同构），从而简化其构造与比较。

实验结果

研究问题

• RQ1 刚性对偶复形能否被调整以提供一个更高效、更简洁的格罗滕迪克对偶性于概形上的框架？
• RQ2 刚性条件如何能简化或替代对偶理论中传统的相容性验证？
• RQ3 在不引入技术负担的前提下，该方法在多大程度上能恢复格罗滕迪克对偶性的标准特征？
• RQ4 该方法是否能自然地推广到正则诺特基环上的有限型概形，特别是在算术设定下？

主要发现

• 刚性对偶复形在正则诺特基环上的有限型概形上提供了唯一确定的对偶复形。
• 该方法避免了对各种对偶同构之间相容性检查的繁琐需求，从而简化了格罗滕迪克对偶性的构造。
• 该框架成功以更易理解的方式恢复了格罗滕迪克对偶性的核心特征，如迹映射和对偶定理。
• 该方法适用于算术几何，因为它在正则诺特有限维基环上成立，包括数域中整数环的情形。