[论文解读] Ramification of surfaces: sufficient jet order for wild jumps

I. B. Zhukov|ArXiv.org|Jan 9, 2002

Advanced Numerical Analysis Techniques参考文献 3被引用 5

一句话总结

本文证明了在正特征的正规曲面的有限伽罗瓦扩张中，野生分歧跳跃仅依赖于分歧点处曲线的喷射阶数。通过弧理论方法和奇异曲线的不变量，证明了高度相切的曲线会产生相同的分歧跳跃，并进一步表明在某些群论条件下，完整的分歧过滤保持一致——推动了德利涅计算层的欧拉-庞加莱示性数的程序。

ABSTRACT

We develop a new approach to construction of numerical invariants for ramified coverings of algebraic surfaces of prime characteristic. Let A be a two-dimensional regular local ring of prime characteristic p with algebraically closed residue field. Let L/K be a solvable finite Galois extension of its fraction field. Let C be a germ of a regular curve on the spectrum of A which is not a component of the ramification divisor R. Then L/K determines (up to conjugation) an extension of the function filed of C. This is an extension of discrete valuation fields with algebaically closed residue fields, and we consider ramification jumps of this extension. Varying C, we obtain a collection of data describing the ramification of L/K with respect to C. In the present paper we show that the above mentioned ramification jumps depend only on the jet of C of certain order, and the upper bound for this order depends linearly on the order of tangence of C and R. Strictly speaking, this is done for wild ramification jumps, i.e., for the ramification jumps divided by the order of tame ramification. It would be important to prove a stronger fact: not only the jumps but the whole ramification filtration is the same when C is running over a jet of certain order. This statement (for curves transversal to R) is a step in Deligne's program describing how to compute Euler-Poincare characteristics of constructible etale sheaves on surfaces. In the present version we prove the above fact for some class of Galois groups that includes, in particular, all abelian p-groups.

研究动机与目标

• 通过与分支分歧集相交的曲线来系统研究二维概形的分歧不变量。
• 理解扩展的分歧跳跃如何随曲面上曲线的选择而变化。
• 证明野生分歧跳跃仅依赖于曲线在一点的喷射阶数，而非其特定嵌入。
• 在适当的群论条件下，建立高相切曲线的完整分歧过滤保持一致的条件。
• 通过分歧数据支持德利涅在曲面上计算层的欧拉-庞加莱示性数的程序。

提出的方法

• 通过分析与分支分歧集 $ R \subset \mathcal{X} $ 相交的曲线 $ C \subset \mathcal{X} $ 上的分歧，特别关注野生跳跃。
• 使用弧（参数化的代数曲线）来比较 $ \mathcal{X} $ 上的奇点及其在正规化 $ \mathcal{Y} $ 上的提升。
• 应用喷射理论技术，证明分歧不变量仅依赖于伽罗瓦群的函数所统一有界的喷射阶数。
• 利用斯旺特征不变量和赋值理论工具，比较不同曲线上分歧过滤的差异。
• 证明当 $ p $-群的所有循环子群都正规时（例如某些非交换 $ p $-群），若曲线与除子 $ R_0 $ 的交点重数足够高，则完整分歧过滤保持不变。
• 依赖于对素数次数的循环扩张中不变量的比较，特别是通过命题 5.5 和 6.3。

实验结果

研究问题

• RQ1 伽罗瓦扩张沿曲线的野生分歧跳跃是否仅依赖于该点处曲线的喷射阶数？
• RQ2 在适当的群论条件下，高度相切曲线的分歧过滤（而不仅是跳跃）是否可以保持一致？
• RQ3 是否存在一个喷射阶数的统一上界，使得所有通过某点的曲线的分歧不变量在该阶数之后稳定？
• RQ4 能否使分歧不变量系统具有函子性且足够丰富，以恢复高维空间中的已知不变量？
• RQ5 在 $ \mathcal{X} $ 上的奇异弧如何与覆盖 $ \mathcal{Y} $ 上的分歧不变量相关？

主要发现

• 在点 $ P \in C \cap R $ 处，扩展 $ L/K $ 沿曲线 $ C $ 的野生分歧跳跃仅依赖于 $ C $ 在 $ P $ 处的某一有界阶数的喷射。
• 存在一个与伽罗瓦群相关的喷射阶数的统一上界，超过此上界后，高相切曲线的分歧跳跃完全相同。
• 对于所有循环子群都正规的伽罗瓦群（例如某些非交换 $ p $-群），若曲线与除子 $ R_0 $ 的交点重数足够高，则完整分歧过滤保持不变。
• 当交点重数 $ (C.C')_P \geq (C.R_0)_P $ 时，分歧过滤保持不变，其中 $ R_0 $ 是支集上的有效除子。
• 证明依赖于比较 $ \mathcal{X} $ 上弧的不变量及其在 $ \mathcal{Y} $ 上的提升，特别是在素数次数循环扩张的情形下。
• 该结果确认了德利涅通过曲面上的分歧数据计算欧拉-庞加莱示性数程序中的关键一步。