[论文解读] On localizations of characteristic classes of l-adic sheaves of rank 1

Takahiro Tsushima|ArXiv.org|May 13, 2009

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

一句话总结

本文为具有边界除子的光滑概形上的秩1 ℓ-进层引入了两种局部化特征类：对数局部化特征类与非纯局部化特征类。在纯分支条件下，证明了它们的等价性，通过消除分母，对Abbes-Kato-Saito公式进行了改进，并为野性分支区域上Kato的0-循环类提供了上同调解释。

ABSTRACT

The Grothendieck-Ogg-Shafarevich formula is generalized to any dimensional scheme by Abbes-Kato-Saito. In this paper, we introduce two methods of localization of the characteristic classes for sheaves of rank 1 and compare them. As a corollary of this comparison, we obtain a refinement of a formula proved by Abbes-Saito without denominator for a smooth sheaf of rank 1 which is clean with respect to the boundary.

研究动机与目标

• 通过消除特征类比较中的分母，改进光滑 ℓ-进层（秩1）的Abbes-Kato-Saito公式。
• 引入并比较两种不同的特征类局部化方法：一种通过对数展开（对数局部化类），另一种通过非退化条件（非纯局部化类）。
• 利用在边界处清洁的层的局部化特征类，对Kato的0-循环类建立上同调提升，其支撑在野性分支区域上。
• 提供Abbes-Saito公式的局部化版本，以支持正特征情形下的Kato-Saito导子公式。

提出的方法

• 通过沿边界除子 $ D $ 的对数展开，将对数局部化特征类定义为 $ H_{D^{+}}^{0}(X, ilde{K}_X) $ 中的上同调类，以捕捉野性分支。
• 将非纯局部化特征类定义为支撑在非纯区域上的上同调类，将Kato的清洁性概念推广至高秩情形，并通过T. Saito的非退化条件对局部化进行改进。
• 利用典范迹映射与陈类构造，将局部化特征类与对数积 $ (X imes X)^{(R)} $ 及 $ (X imes X) ilde{}_{U'} $ 上的交数联系起来。
• 应用局部化陈类公式 $ (-1)^d c_d(\text{对数丛差}) \bigcap [X] $，以余切丛与自交的表达方式表示局部化类。
• 通过迹与对偶同构证明两种局部化类的等价性，当 $ \tilde{F} $ 清洁时，有 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) = C_{T}^{\text{ncl},0}(j_!\tilde{F}) $。
• 利用典范映射 $ H_{D^+}^0(X, \tilde{K}_X) \to H^0(X, \tilde{K}_X) $，将局部化类与全局特征类及自交 $ (\triangle_X, \triangle_X)_{(X\times X)^{(R)}} $ 联系起来。

实验结果

研究问题

• RQ1 如何将秩1 ℓ-进层的特征类局部化，以比全局类更精确地捕捉野性分支？
• RQ2 对光滑秩1层而言，对数局部化特征类与非纯局部化特征类之间存在何种关系？
• RQ3 能否通过使用局部化类，将Abbes-Kato-Saito公式改进为消除分母的形式？
• RQ4 当层相对于边界是清洁的时，非纯局部化类是否消失？这对与Kato的0-循环类的比较有何影响？
• RQ5 局部化特征类能否用于证明正特征情形下的Kato-Saito导子公式？

主要发现

• 对数局部化特征类 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) $ 定义为 $ H_{D^+}^{0}(X, \tilde{K}_X) $ 中的上同调类，支撑在野性分支区域 $ D^+ $ 上，通过使用对数展开与迹映射实现。
• 非纯局部化特征类 $ C_T^{\text{ncl},0}(j_!\tilde{F}) $ 定义为支撑在非纯区域上的上同调类，将Kato的清洁性概念推广至高秩情形。
• 主要定理（定理3.8）建立了等式 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) = C_T^{\text{ncl},0}(j_!\tilde{F}) $，表明两种局部化方法等价。
• 当 $ \tilde{F} $ 相对于边界清洁时，非纯局部化类消失，由此推出推论3.10：在 $ H_{D^+}^0(X, \tilde{K}_X) $ 中有 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) - C_{D^+}^{\text{log},0}(j_!\tilde{\nu}_U) = -c_{\tilde{F}} $，其中 $ c_{\tilde{F}} $ 为Kato的0-循环类。
• 该等式通过消除分母，对Abbes-Kato-Saito公式进行了改进，并将0-循环类表达为两个局部化特征类的差。
• 该结果为正特征 $ p > 0 $ 情形下的Kato-Saito导子公式提供了上同调提升，因为这些局部化类在前期工作中已被用于证明该公式。