[论文解读] Modifications et cycles évanescents sur une base de dimension supérieure à un

Fabrice Orgogozo|ArXiv.org|Jul 22, 2005

Algebraic Geometry and Number Theory参考文献 14被引用 6

一句话总结

本文建立了德利涅猜想在平展上同调中的类比，即存在一个基的修改，使得有限表现态射的邻近上同调复形与任意基变换可交换。通过使用让-琼的半稳定变换定理及导出范畴中邻近上同调函子的性质，作者证明了在适当修改基之后，邻近上同调复形变得与基变换相容，推广了胡伯的结果，并将理论扩展至高维基的情形。

ABSTRACT

For a given morphism of schemes f:X->S, a sheaf F on X, a geometric point x on X, and s=f(x), the morphism f\_x : X(x) -> S(s) between the strict henselizations doesn't necessarily behave (with respect to F) like a proper morphism. However, we know it is so (assuming constructibility of F etc.) if S is the spectrum of a dvr (P. Deligne, SGA 4 1/2, [Th. finitude]). In this article, we prove it becomes so after an appropriate modification of the base S. The main ingredient is a theorem by A.J. de Jong on plurinodal fibrations. An application of this formalism to Lefschetz pencils is given.

研究动机与目标

• 证明德利涅猜想在平展上同调中的类比，即存在一个基的修改，使得邻近上同调与基变换可交换。
• 将胡伯在赋值环上关于邻近上同调的结果推广至任意维数 ≥1 的连通凝聚概形。
• 建立基概形的修改，使得有限表现态射的邻近上同调复形与任意基变换相容。
• 提供基修改后态射的上同调特征刻画，表明其在上同调性质上表现得如同正规态射。
• 利用加布罗的思想，给出正特征下关于莱布尼茨铅笔共轭性的新、更直观的证明，特别适用于孤立奇点的情形。

提出的方法

• 在 $\Lambda$-层的导出范畴中使用邻近上同调函子 $\Psi_f$，其中 $X \times_S^\leftarrow S$ 是纤维积，$\Lambda = \mathbb{Z}/n\mathbb{Z}$ 且 $n$ 在 $S$ 上可逆。
• 应用让-琼关于变换存在的定理，构造一个正规满射的修改 $S' \to S$，使得诱导态射 $f_{S'}: X' \to S'$ 满足所需的上同调性质。
• 利用普遍有效下降拓扑，证明在基修改后，邻近上同调与基变换在局部可交换。
• 依赖于邻近上同调复形在高阶上无上同调这一关键技术事实，这是导出范畴框架下的核心输入。
• 利用拓扑 $X \times_S^\leftarrow S$ 作为对偶对 $(x, t)$ 的分类拓扑，其中 $t$ 是 $f(x)$ 的专化，将 $\Psi_f$ 的纤维解释为米尔诺纤维。
• 应用加布罗的思想，对孤立奇点情形下莱布尼茨铅笔中邻近上同调的共轭性给出一个具有拓扑直觉的新证明，该证明在特征 2 下成立。

实验结果

研究问题

• RQ1 对于有限表现态射的概形，是否可通过基的修改使邻近上同调函子与任意基变换相容？
• RQ2 在高维基（维数 ≥1）上，邻近上同调复形是否满足与一维基情形相同的上同调有限性与基变换性质？
• RQ3 在高维情形下，是否存在德利涅“无爆破”定理的上同调类比，使得通过修改可消除邻近上同调不可交换的行为？
• RQ4 是否能使用邻近上同调技术在正特征下代数地证明莱布尼茨铅笔中邻近上同调的共轭性？
• RQ5 在基修改后，邻近上同调能否将 perverse sheaves 与对偶理论的理论扩展至高维基的情形？

主要发现

• 对于任意有限表现态射 $f: X \to S$，其中 $S$ 是连通凝聚概形，且 $\mathcal{F} \in D_c^b(X, \mathbb{Z}/n\mathbb{Z})$，邻近上同调复形 $\Psi_f(\mathcal{F})$ 在足够高的度数上无上同调。
• 存在一个修改 $S' \to S$，使得邻近上同调复形 $\Psi_{f_{S'}}(\mathcal{F}_{S'})$ 与所有基变换 $T \to S'$ 可交换，即基变换态射是同构。
• 尽管在修改前全局可能不成立，但基变换的可交换性在普遍有效下降拓扑下局部成立。
• 该结果推广了胡伯在赋值环上关于邻近上同调的定理至任意维数 ≥1 的连通凝聚概形。
• 在孤立奇点情形下，给出了莱布尼茨铅笔中邻近上同调共轭性的新证明，该证明在特征 2 下成立，使用了加布罗的思想。
• 修改的构造确保诱导态射 $f_{S'}$ 尽管未必是正规的，但其上同调性质表现得如同正规态射。