On the stability of vanishing cycles of étale sheaves in positive characteristic

技术摘要：正特征数下 étale 层消失循环的稳定性

问题陈述
在复解析语境下，微局部层理论（由 Sato, Kashiwara, 和 Schapira 开发）高度依赖于对“横截测试函数”（transverse test functions, ttfun）的选择的稳定性。具体而言，由于消失循环算子 $\phi_f(F)_x$ 在光滑奇异支撑点（$SS(F)$）处是良定义的，微茎（microstalk）对于横截测试函数 $f$ 的选择是不变量（在非正则同构意义下）。

在正特征数代数几何中，由于野分歧（wild ramification）的存在，这种稳定性完全失效。本文表明，消失循环的维数 $\phi_f(F)_x$ 会根据所选测试函数的不同而发生显著变化，即使这些函数相对于奇异支撑是横截的。这种敏感性阻碍了在正特征数环境下直接定义微茎。本文旨在解决的核心问题是：在正特征数下，消失循环在多大程度上依赖于测试函数，以及是否可以恢复一种稳定的微局部数据概念？

方法论
作者结合了代数几何、表示论和层论技术：

1. Deligne-Laumon 定理： 本文利用了将消失循环的总维数与 Swan 指标（Swan conductor）联系起来的定理。这使得将消失循环的稳定性转化为限制在曲线上的 Swan 指标的稳定性成为可能。
2. 奇异性的几何解析： 为了分析 Swan 指标，作者研究了测试函数的零点集与分歧除子的交集的几何性质。这涉及通过吹胀（blow-ups）进行显式的奇异性解析。
3. 吹胀界限与不变量： 作者引入并估计了与层之“深度”（depth）相关的变量。关键工具包括：
   • 通过交点数和表示论数据（Galois 群的过滤）进行的 Swan 指标 计算。
   • 吹胀界限： 估计用于解析由测试函数定义的曲线及其与 Galois 作用不动点集的相互作用所需的吹胀次数。
   • Dedekind 余微分（Dedekind codifferents）： 用于在 Galois 覆盖的背景下界定解析曲线奇异性所需的吹胀次数（命题 3.8，归功于 Bernd Ulrich）。
4. 微局部定义： 作者定义了层在奇异支撑点处的深度为：对于任何在第 $N$ 阶喷射（jet）上一致的测试函数族，消失循环都成为局部系统的最小整数 $N$。此外，还引入了 $\mu_c$ 层（处处深度为 2）和 $\mu_{cs}$ 层（在光滑拉回下保持稳定）。

核心贡献与结果

1. 普遍性的稳定性失效：
   本文提供了显式的反例（例 2.7 和 2.8），表明在正特征数下，Artin-Schreier 层对于消失循环的维数取决于测试函数。具体而言，对于函数 $f_s = \frac{y}{1+x} + s x^N$，如果 $N$ 很小，$\phi_{f_s}(F)$ 的维数会随 $s$ 而变化，但当 $N$ 足够大时会趋于稳定。这证实了消失循环仅取决于测试函数的有限阶喷射。

2. 曲面上泛型的有限深度（定理 1.8 / 定理 4.11）：
   主要结果表明，在特征数为 $p > 2$ 的光滑曲面之上，层的深度是泛型有限的。

   • 存在一个 Zariski 开稠密子集 $V \subset X$ 和一个 Zariski 开稠密子集 $S \subset SS(F|_V)$，使得对于每个 $(x, \xi) \in S$，深度由一个显式整数 $N$ 限定。
   • 该界限 $N$ 由测试函数与分歧除子的交点数、Galois 群的阶以及 Galois 作用下不动点理想的“厚度”（$ep(I)$）共同给出。
   • 如果层在 $x$ 附近是局部常数的，则深度为 2。

3. 关于高维情形的猜想：
   作者猜想（猜想 1.10），这种有限深度性质不仅适用于曲面，也适用于任何维度的光滑簇。

4. $\mu_c$ 与 $\mu_{cs}$ 层类：
   本文定义了一类具有最强稳定性的层：

   • $\mu_c$ 层： 在其奇异支撑的所有光滑点处深度为 2 的层。
   • $\mu_{cs}$ 层： 在任何光滑拉回下仍保持为 $\mu_c$ 的层。
   • 主要定理（定理 1.11）：
     • 驯化简单正交交（tame simple normal crossing）层（特别是 $j_!L$，其中 $L$ 是简单正交除集上的驯化局部系统）属于 $\mu_{cs}$ 类。
     • 对于 $\mu_c$ 层，消失循环在（同构意义下）独立于测试函数，从而允许定义微茎。
     • $\mu_{cs}$ 性质在 Radon 变换 下是保持不变的，且微茎在变换下也是不变量。

5. 函子性与稳定性：
   本文确立了深度在 distinguished triangles 下的表现良好（引理 5.13），以及在特定适当推前（proper pushforward）下的表现（命题 5.10），这些推前类似于 Radon 变换。同时，文章澄清了虽然驯化层在 Radon 变换下并不稳定（例 5.18），但更广泛的 $\mu_{cs}$ 层类是稳定的。

意义与主张
本文声称为正特征数下的微局部层理论迈出了第一个系统性的步骤。

• 动机： 它解决了由于野分歧导致的经典微局部稳定性失效所留下的空白。
• 理论框架： 通过证明消失循环仅依赖于测试函数的有限阶喷射（在曲面上是泛型的），本文表明微局部数据可以定义在“高阶喷射丛”（high jet bundle）上，而非仅仅在余切丛上。
• 稳健的层类： 对 $\mu_{cs}$ 层的识别提供了一类行为类似于复解析情形的对象，这些对象保留了诸如微茎在 Radon 变换下不变等关键性质。
• 局限性： 作者态度审慎，指出有限深度结果目前仅在曲面上得到证明，且显式界限虽然是有限的，但可能不是最紧的（例 4.12）。本文并未声称解决了所有维度下所有层的难题，而是建立了曲面上的泛型情况，并提出了通用的猜想。

总而言之，本文论证了尽管野分歧破坏了消失循环对测试函数的严格独立性，但在泛型意义下存在着“有限阶喷射”的稳定性。这使得可以在特定的、表现良好的层类（$\mu_{cs}$）上定义有意义的微局部理论，并暗示了通过更高阶喷射丛构建通用理论的路径。