关于理解Gross-Zagier论文中相交理论相关计算的背景资料咨询

我最近在读Gross和Zagier的论文《Heegner points and derivatives of $L$-series》，在论文的第三节中，他们用相交理论将非阿基米德位上的局部高度表示为相交积，但我一直搞不懂这部分的代数几何内容。

目前我已经读了Qing Liu的《Algebraic Geometry and Arithmetic Curves》的第七章和第九章，但看起来我需要更深入地学习概型论的技术细节才能理解这部分内容。

我还读过Gross-Zagier的另一篇论文《On singular moduli》，这篇可以看作是前者的特例，它帮助我理解了$X_0(N)$点之间Hom集合的用法，但似乎不需要用到后者中的相交理论论证（可能这部分以Deuring提升定理的形式存在）。

最后我想请教：我应该从哪些资料入手，才能获得理解这些计算所需的背景知识？

Hey Joseph，刚好我对这块内容有过一些学习和整理，给你几个实用的方向：

1. 深挖现有教材的核心章节 #

你正在读的Qing Liu的书其实已经覆盖了关键基础，但针对Gross-Zagier里的非阿基米德局部高度计算，建议你重点攻坚算术曲面的相交理论模块——尤其是书中关于局部高度与相交积对应关系的部分，还有非阿基米德赋值下局部环的相关推导。这部分是衔接你现有知识和论文内容的关键。

如果需要补全概型论的技术细节，推荐先看Hartshorne《代数几何》的第二章，这里的概型基础（局部概型、层、相交数定义）是理解后续内容的骨架。要是觉得Hartshorne太抽象，可以搭配Vakil的《Foundations of Algebraic Geometry》，他的讲解更注重直观例子，能帮你把抽象的概型概念落地。

2. 针对性的专题资料 #

想直接对接Gross-Zagier的论证，这些资料会很有用：

• Cornell和Silverman编辑的《Arithmetic Geometry》论文集：里面有专门章节对Gross-Zagier的结果做了通俗化拆解，把相交理论在算术曲面上的具体应用讲得很清楚。
• Baker的《Heegner Points and Rankin L-Series》：这本书从模曲线、算术曲面的基础讲起，一步步过渡到Gross-Zagier的核心计算，系统性很强，能帮你建立完整的知识链条。

3. 关联特例，打通逻辑 #

你提到的《On singular moduli》作为特例，其实Deuring提升定理和相交理论是有内在联系的——前者对应特殊纤维上的奇点与复乘点的对应关系，后者则是把这种对应转化为可计算的相交数。你可以试着把这两个部分对照起来读，或许能找到更直观的逻辑关联，帮助理解一般情况的相交理论用法。

4. 带着问题啃论文 #

如果想快速突破论文第三节，建议你先把非阿基米德局部域上算术曲面的相交数定义彻底搞懂，然后拿着论文里的例子一步步推导，遇到卡壳的地方再回头查教材的对应细节，这种针对性的拆解比泛读效率高很多。

备注：内容来源于stack exchange，提问作者Joseph Harrison