[论文解读] Monodromy Filtration and Positivity

Morihiko Saito|ArXiv.org|Jun 21, 2000

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

一句话总结

本文通过使用Lefschetz型结构和标准猜想，将混合特征情形下Deligne的单值权重滤子猜想约化为原始上同调上典范配对的非退化性。证明了若这些配对在Cech限制与co-Cech Gysin映射的像上非退化，则该猜想成立，并在一般情况下表明其可由标准猜想推出。

ABSTRACT

We study Deligne's conjecture on the monodromy weight filtration on the nearby cycles in the mixed characteristic case, and reduce it to the nondegeneracy of certain pairings in the semistable case. We also prove a related conjecture of Rapoport and Zink which uses only the image of the Cech restriction morphism, if Deligne's conjecture holds for a general hyperplane section. In general we show that Deligne's conjecture is true if the standard conjectures hold.

研究动机与目标

• 将混合特征情形下Deligne的单值权重滤子猜想约化为原始上同调上典范配对的非退化性。
• 仅利用Cech限制态射的像，证明Rapoport与Zink的一个相关猜想，假设对一般超平面截面成立Deligne的猜想。
• 在相关簇及其积满足标准猜想的假设下，确立Deligne猜想的有效性。
• 分析上同调上的Frobenius作用，证明当特征值重数为1时，该猜想成立。
• 阐明在$l$-进上同调背景下正性的作用，将其与标准猜想及Galois表示联系起来。

提出的方法

• 使用Rapoport与Zink的权重谱序列，其$E_1$-项为特殊纤维$X_0$的分量交集的$l$-进上同调，经Tate移位扭。
• 将微分$ d_1 $ 分析为Cech限制态射$ \rho $ 与 co-Cech Gysin 态射$ \gamma $ 的复合，这些态射定义了谱序列。
• 应用庞加莱对偶性与硬Lefschetz定理，定义$ Y_{\overline{k}}^{(i)} $ 的原始上同调上的典范配对，这是分析的核心。
• 将单值滤子猜想约化为该配对在$ \operatorname{Im} \rho $ 与$ \operatorname{Im} \gamma $ 上的限制的非退化性，如定理0.2所述。
• 利用Galois理论与Tchebotarev密度定理，证明对无穷多个素数$ l $，Frobenius多项式$ P_j(T) $ 在$ E_v $ 上不可约，从而控制特征值重数。
• 应用Lefschetz迹公式与对应关系的性质，将Frobenius的特征值与交数联系起来，将标准猜想与单值滤子联系起来。

实验结果

研究问题

• RQ1 在何种条件下，邻近上同调上的单值权重滤子与混合特征情形下的移位单值滤子一致？
• RQ2 原始上同调上典范配对的非退化性是否能推出Deligne对单值滤子的猜想？
• RQ3 霍奇指标型标准猜想如何与Deligne单值滤子猜想的有效性相关联？
• RQ4 在何种情况下，仅利用Cech限制态射的像即可证明该猜想，而无需涉及co-Cech Gysin映射？
• RQ5 当Frobenius在原始上同调上的特征值重数为1时，是否能推出Deligne猜想的成立？

主要发现

• 定理0.2确立了：若典范配对在原始上同调上限制于$ \operatorname{Im} \rho $ 与$ \operatorname{Im} \gamma $ 上非退化，则Deligne猜想成立。
• 当$ n = 3 $ 时，定理0.2的逆命题成立，且$ \operatorname{Im} \gamma $ 上的条件自动满足，因此猜想精确约化为$ \operatorname{Im} \rho $ 上配对的非退化性。
• 定理0.3表明：若Deligne猜想对一般超平面截面成立，则仅需验证$ \operatorname{Im} \rho $ 上配对的非退化性即可，从而简化了判定条件。
• 定理0.4证明：若$ Y^{(i)} $、$ Y^{(i)} \times_k Y^{(i)} $ 满足标准猜想，且对$ i > 0 $，$ Y^{(i)} \times_k Y^{(i+1)} $ 上数值等价与同调等价重合，则Deligne猜想成立。
• 命题5.4确立：对满足某些Frobenius多项式在$ E_v $ 上不可约的素数$ l $，若Frobenius在原始上同调上的每个特征值重数为1，则猜想成立。
• 当特征值重数为1时，可不依赖正性条件证明猜想，问题被约化为标准猜想$ D $ 或 $ B $。