[论文解读] Nearby slopes and boundedness for $\ell$-adic sheaves in positive characteristic

Jean-Baptiste Teyssier|arXiv (Cornell University)|Jun 9, 2015

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

一句话总结

本文在正特征下建立了 $ι$-adic层的邻近斜率有界性定理，证明了与态射 $f: X \to S$ 相关的邻近斜率集合是有限的。关键结果表明，邻近斜率控制了野生分歧，为通过斜率不变量在构造层的推前像中控制分歧提供了框架，其应用涵盖高维几何与分歧理论。

ABSTRACT

The goal of this paper is to motivate a boundedness conjecture on nearby slopes of $\ell$-adic sheaves in positive characteristic, and to prove it for smooth curves. For a constructible $\ell$-adic sheaf, we prove the finiteness of the set of nearby slopes associated to a given morphism. For the constant sheaf, we prove the vanishing of nearby slopes in case of generalized semi-stable reduction.

研究动机与目标

• 为了激励并启动一个在正特征下，通过正规推前对 $ι$-adic层的野生分歧进行有界控制的程序。
• 建立任意 $ι$-adic层复形的邻近斜率集合的有限性，推广了对 $ρ$-模的有界性结果。
• 提出邻近斜率作为高维情形下经典分歧不变量（如 Swan 陈数）的替代，尤其在经典不变量（如 Swan 陈数）不足时。
• 为以 $\mathcal{G}$ 的分歧和态射 $g$ 的性质来控制 $Rg_*\mathcal{G}$ 的野生分歧提供基础。
• 证明在具有广义半稳定减少的概形上，常层 $\overline{\mathbb{Q}}_\ell$ 的邻近斜率为平凡，即 $\{0\}$，从而支撑有界性框架。

提出的方法

• 通过适度邻近循环函子 $\psi_f^t$ 定义 $\mathcal{F}$ 的邻近斜率，其中 $r \in \mathbb{R}_{\geq 0}$ 是邻近斜率，当存在斜率为 $r$ 的 $N$ 使得 $\psi_f^t(\mathcal{F} \otimes f^*N) \neq 0$ 时。
• 以 Deligne 的有限性定理（来自 [Del77]）作为基础论证，证明对任意 $\mathcal{F} \in D^b_c(X_\eta, \overline{\mathbb{Q}}_\ell)$，有 $\operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F})$ 有限。
• 对于具有广义半稳定减少的态射，通过归纳法与纤维的几何连通性，证明 $\overline{\mathbb{Q}}_\ell$ 的最大邻近斜率为零。
• 利用构造性与正规基变换，将问题约化为局部芽，并通过基本群分析单值作用。
• 利用 Lypkovski 的牛顿多面体不可约性准则，证明某些形式概形是几何连通的，从而保证 $\mathcal{H}^0\psi_f^t f^*N$ 的消失。
• 利用 $\psi_f^t$ 与正规推前的相容性，将推前层的邻近循环与原层的循环联系起来。

实验结果

研究问题

• RQ1 能否以 $\mathcal{G}$ 的野生分歧和态射 $g$ 的性质来有界控制 $Rg_*\mathcal{G}$ 的野生分歧？
• RQ2 对任意构造性 $\ell$-adic复形 $\mathcal{F}$，邻近斜率集合 $\operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F})$ 是否有限？
• RQ3 邻近斜率能否作为高维情形下经典分歧不变量（如 Swan 陈数）的替代？
• RQ4 对于具有广义半稳定减少的态射，$\overline{\mathbb{Q}}_\ell$ 的最大邻近斜率是否消失？
• RQ5 对于光滑曲线上 $\mathcal{F}$，加权集合 $\{ r / (1 + \operatorname{Max}\operatorname{Sl}^{\operatorname{nb}}_f(\overline{\mathbb{Q}}_\ell)) \mid r \in \operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F}), f \in \mathcal{O}_V \}$ 是否有界？

主要发现

• 对任意 $\mathcal{F} \in D^b_c(X_\eta, \overline{\mathbb{Q}}_\ell)$，邻近斜率集合 $\operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F})$ 是有限的，其证明基于 Deligne 的有限性定理。
• 对具有广义半稳定减少的态射 $f: X \to S$，有 $\operatorname{Sl}^{\operatorname{nb}}_f(\overline{\mathbb{Q}}_\ell) = \{0\}$，意味着不存在非平凡的邻近斜率。
• $\mathcal{H}^0\psi_f^t f^*N \simeq 0$ 对任意正斜率的 $N$ 成立，其证明基于单值作用的满射性与纤维的几何连通性。
• 在具有广义半稳定减少的概形上，$\overline{\mathbb{Q}}_\ell$ 的邻近斜率为零，这对有界加权斜率至关重要。
• 在假设邻近斜率有限的前提下，对光滑曲线上 $\mathcal{F}$，加权斜率集合 $\{ r / (1 + \operatorname{Max}\operatorname{Sl}^{\operatorname{nb}}_f(\overline{\mathbb{Q}}_\ell)) \}$ 有界。
• 证明依赖于当 $\gcd(a_1,\dots,a_m) = 1$ 时，$f_{a,P} = P(\pi') - x_1^{a_1} \cdots x_m^{a_m}$ 的牛顿多面体不可约性，通过 Lypkovski 的准则。