[论文解读] On local uniformization in arbitrary characteristic, I

Franz‐Viktor Kuhlmann|ArXiv.org|Mar 16, 1999

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

一句话总结

本文利用赋值理论，对任意特征的基域上的代数函数域建立了局部统一化。证明了在有限正规扩张之后，每个赋值都可实现局部统一化，且对伽罗瓦扩张和剩余域行为具有额外控制——这对正特征下奇点的消去至关重要。

ABSTRACT

We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then alternatively, F' can be obtained from F by at most two Galois extensions; if in addition P is zero-dimensional, then we only need one Galois extension. Certain rational places of rank 1 can be uniformized already on F. We introduce the notion of "relative uniformization" for arbitrary finitely generated extensions of valued fields. Our proofs are based solely on valuation theoretical theorems, which are of fundamental importance in positive characteristic.

研究动机与目标

• 将泽里斯基的局部统一化定理推广至任意特征，包括正特征。
• 提供一种避免几何假设的赋值理论证明，并对扩张类型实现精确控制。
• 证明有限正规或伽罗瓦扩张足以实现统一化，并给出扩张次数的精确界限。
• 引入有限生成赋值域扩张的“相对统一化”概念。
• 建立在最小扩张步数内实现统一化的条件，尤其针对秩1和零维赋值。

提出的方法

• 使用赋值理论技术，从剩余域和值群的角度分析光滑性的雅可比条件。
• 通过下三角雅可比矩阵（在剩余域中行列式非零）引入弱统一化的概念。
• 应用统一化的传递性，通过子扩张逐步构建扩张，结合Hensel化和可分闭包。
• 对赋值的秩使用归纳法，通过凸子群和商赋值将高秩情形约化为秩1情形。
• 利用Hensel化和完备化的性质，保持光滑性并控制剩余域扩张。
• 结合伽罗瓦理论和纯不可分扩张，最小化实现统一化所需的步骤数。

实验结果

研究问题

• RQ1 能否仅通过赋值理论方法在任意特征下实现局部统一化？
• RQ2 对于秩1和零维赋值，实现统一化所需的最少伽罗瓦扩张数量是多少？
• RQ3 如何从剩余域扩张和函数域结构的角度控制统一化？
• RQ4 统一化能否通过伽罗瓦扩张拉回？在何种条件下可实现？
• RQ5 Hensel化和可分闭包在构造统一化扩张中起到什么作用？

主要发现

• 函数域 F|K 的每个赋值在有限正规扩张 F 的扩张后均可实现局部统一化，其中 P 的扩张为 F，且 K 的扩张为 K 的有限纯不可分扩张。
• 当基域 K 完美且赋值 P 秩为1时，F 可通过 F 至多两个伽罗瓦扩张得到；若 P 为零维，则一个伽罗瓦扩张已足够。
• 秩1的有理离散赋值在 F 上已可实现统一化，无需扩张。
• 当 K 完美时，可选取扩张 F|F 为可分扩张，且剩余域扩张 FP|FP 为纯不可分扩张。
• 对于秩 r > 1 的阿布扬卡ar赋值，统一化可通过至多 r 个伽罗瓦扩张实现，采用凸子群和 Hensel 化的递归约化方法。
• 本文建立了统一化的传递性，允许通过连续扩张构造统一化系统。