资源介绍
在代数几何的宏伟殿堂中，Grothendieck对偶理论占据着核心位置，它不仅是现代数学中最深刻的主题之一，更是连接算术几何与模空间理论的枢纽。这本由Brian Conrad撰写的著作，正是针对这一理论中最棘手的问题——迹映射的基变化兼容性——进行了系统而深入的探讨。Conrad当时在哈佛大学数学系任教，这部作品于2000年由Springer出版社作为《数学讲义》系列第1750卷出版，延续了该系列一贯的高水准学术传统。
要理解这本书的价值，我们得先回顾一下Grothendieck对偶理论的渊源。在经典情形中，Serre对偶为proper、光滑、几何连通的n维代数簇提供了 cohomology与对偶之间的完美配对。而Grothendieck的工作则将这一理论推广到了相对情形，使得我们可以在更一般的架射下讨论对偶定理。然而，Hartshorne在其经典著作《Residues and Duality》中建立的这套理论基础，虽然借助剩余复形使得对偶理论在计算上变得可行——比如可以通过微分形式和留数来具体操作——但在某些关键的技术细节上仍然存在未完成的论证。最困难、也最重要的便是迹映射在proper Cohen-Macaulay映射（具有纯相对维度的情形，如半稳定曲线的平坦族）下的基变化兼容性。即使是我们限制在射影光滑映射的范畴中，迹映射关于基变化到几何纤维的相容性也绝非显而易见，而这一问题在已发表的文献中竟然找不到完整的证明。Conrad的这本书正是为了填补这一空白而诞生的。
作者在书中系统地证明了Hartshorne著作中那些未被验证却又至关重要的兼容性条件，详细阐释了抽象理论的重要推论和具体例子。Conrad坦诚地指出，这本书并非一套逻辑上完全独立的理论从头演绎，而是作为《Residues and Duality》的配套读物，经常引用原书中的定义和结果来避免循环论证。他提供了书中大多数基本构造的定义说明，并时不时地参照原书来验证这些构造的性质。Conrad的目标很明确：通过详细解释基础理论中那些较难理解的部分，让Grothendieck关于 coherent层对偶的工作能够被更广泛的数学工作者所理解和运用。
值得一提的是，书中还讨论了Lipman等人提出的另一种方法——利用Deligne的抽象迹映射构造来建立更一般的对偶理论。这种抽象方法虽然避免了一些繁琐的技术细节，但当需要将抽象定义的对偶函子转化为具体的层论语言（特别是微分层的形式）时，同样需要付出大量的努力。Conrad引用Lipman的话说："抽象方法表面上似乎避开了许多肮脏的细节，但当你深入下去将抽象定义的对偶函子解释为具体形式时，篇幅并没有短多少。我不知道有什么皇家大道……"这段话既是对抽象方法的公允评价，也暗示了本书所采用的基于剩余复形的具体路径的必要性。
这本书特别适合已经熟悉Hartshorne《Residues and Duality》基础内容的研究生和研究者阅读。无论是从事代数几何、表示论还是数论中与模形式相关工作的数学工作者，只要涉及proper态射下的coherent层 cohomology对偶问题，都将在这本书中找到valuable的技术工具和深刻的洞见。Conrad以其清晰严谨的写作风格，将这一高度技术性的主题梳理得层次分明，使得读者能够在把握全局的同时不失对细节的理解。