[论文解读] Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara

Yakov Varshavsky|ArXiv.org|May 26, 2005

Advanced Algebra and Geometry参考文献 5被引用 4

一句话总结

本文将富山定理关于Lefschetz-Verdier示性公式的结果推广至有限域上非概形的范畴，其中对应关系仅在某个开子集上为概形，且其补集为局部不变。作者采用一种基于到法丛的形变与示性映射可加性的初等几何方法，证明了局部项等于在纤维上诱导的自同态的示性，从而在不依赖刚性几何的前提下推广了Deligne的猜想。

ABSTRACT

The goal of this paper is to generalize a theorem of Fujiwara (formerly Deligne's conjecture) to the situation appearing in a joint work [KV] with David Kazhdan on the global Langlands correspondence over function fields. Moreover, our proof is more elementary than the original one and stays in the realm of ordinary algebraic geometry, that is, does not use rigid geometry. We also include proof of the Lefschetz-Verdier trace formula and of the additivity of filtered trace maps, thus making the paper essentially self-contained.

研究动机与目标

• 将富山关于Lefschetz-Verdier示性公式的定理推广至非概形的范畴，条件为在局部不变性下，不强制要求概形性。
• 提供一种更初等的证明方法，避免使用刚性几何，仅依赖于经典代数几何。
• 建立过滤示性映射的可加性，并以自包含的方式证明Lefschetz-Verdier示性公式。
• 在函数域上的全局Langlands对应背景下，推广Deligne关于局部项等于纤维示性的猜想。
• 通过特化到法丛的方式，以几何直观的方式定义并计算局部项。

提出的方法

• 通过到法丛的形变引入'无穷小收缩'对应关系的概念，简化了几何设定。
• 利用示性映射及其与概形上推的相容性，将示性公式约化为局部项的消失性。
• 应用Verdier定理，即特化到法丛时，限制到零截面的运算可交换。
• 通过高次幂的几何Frobenius作用进行扭，使对应关系在不动点附近实现收缩。
• 在具有紧支集的构造层的导出范畴中，建立过滤示性映射的可加性。
• 通过示性映射的积分定义局部项，并证明其与Pink和富山的定义一致。

实验结果

研究问题

• RQ1 当对应关系在开子集U上概形，且X∖U为局部c-不变时，Lefschetz-Verdier示性公式是否可推广至非概形的范畴？
• RQ2 在此推广设定下，示性公式中的局部项是否可显式识别为纤维上自同态的示性？
• RQ3 是否可能在不使用刚性几何的前提下，仅依赖经典代数几何技术证明该推广的示性公式？
• RQ4 到法丛的形变构造如何促进对不动点与局部项的分析？
• RQ5 使对应关系实现收缩所需的Frobenius幂次的精确值为何？该结果如何改进先前工作的界？

主要发现

• 对于在开子集U上概形，且X∖U为局部c-不变的对应关系，广义的Lefschetz-Verdier示性公式成立。
• 不动点处的局部项等于在层纤维上诱导自同态的示性，将富山的结果推广至非概形情形。
• 证明过程自包含，不依赖刚性几何，仅使用标准代数几何与示性映射形式化。
• 实现收缩行为所需的Frobenius幂次被显式界定，且比先前方法更优。
• 在具有紧支集的构造层的导出范畴中，建立了过滤示性映射的可加性。
• 本文定义的局部项与Pink及富山的定义一致，确保与先前工作的连贯性。