[论文解读] Abhyankar places admit local uniformization in any characteristic

Hagen Knaf, Franz‐Viktor Kuhlmann|arXiv (Cornell University)|Apr 12, 2003

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

一句话总结

该论文通过利用赋值理论方法，建立了任意特征下阿布扬卡ar赋值的局部统一化。证明了具有可分剩余域扩张的 $K$-平凡阿布扬卡尔赋值在无需域扩张的情况下，可在光滑代数簇上实现局部统一化，并将结果推广至在缺陷为零、无挠且可分条件下，维数不超过 2 的正规纳加塔环上的非平凡赋值。

ABSTRACT

We prove that every place $P$ of an algebraic function field $F|K$ of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field $FP$ over $K$ is equal to the transcendence degree of $F|K$, and the extension $FP|K$ is separable. We generalize this result to the case where $P$ dominates a regular local Nagata ring $R\subseteq K$ of Krull dimension $\dim R\leq 2$, assuming that the valued field $(K,v_P)$ is defectless, the factor group $v_P F/v_P K$ is torsion-free and the extension of residue fields $FP|KP$ is separable. The results also include a form of monomialization. Further, we show that in both cases, finitely many Abhyankar places admit simultaneous local uniformization on an affine scheme if they have value groups isomorphic over $v_P K$.

研究动机与目标

• 将泽里斯基的局部统一化定理推广至任意特征，聚焦于阿布扬卡尔赋值。
• 解决当剩余域扩张为可分时，阿布扬卡尔赋值的局部统一化这一开放问题。
• 在缺陷为零、无挠且可分条件下，将结果扩展至维数 ≤ 2 的正规局部纳加塔环上支配的非平凡赋值。
• 提供一种单项式化形式，表明元素可表示为正则参数的单项式。
• 证明在 $v_P K$ 上具有同构值群的有限多个阿布扬卡尔赋值可同时实现局部统一化。

提出的方法

• 使用赋值理论技术分析任意域上函数域中阿布扬卡尔赋值的结构。
• 将函数域 $F$ 嵌入 $ \mathcal{O}_K(T)$ 的严格 henselization 的分式域中，其中 $T$ 为超越基。
• 应用对偶对 $(P, Z)$ 的 $R$-统一化概念，其中 $Z$ 是 $\mathcal{O}_P$ 中的有限元素集。
• 利用条件：$\dim \mathcal{O}_{X,x} = \dim_{\mathbb{Q}}(v_P F / v_P K \otimes \mathbb{Q}) + 1$ 或 $+2$，具体取决于基环 $R$。
• 确保 $Z$ 中的所有元素在 $\mathcal{O}_{X,x}$ 的正则参数系中成为 $\mathcal{O}_{X,x}$-单项式。
• 应用缺陷为零赋值域理论与普遍雅各布森性，以保证在 $R$ 上存在正规模型。

实验结果

研究问题

• RQ1 在正特征下，是否可在不扩展函数域的情况下实现阿布扬卡尔赋值的局部统一化？
• RQ2 在何种值群与剩余域扩张条件下，非 $K$-平凡赋值的局部统一化成立？
• RQ3 能否同时对具有同构值群的多个阿布扬卡尔赋值实现统一化？
• RQ4 在非平凡基环情况下，赋值中心处局部环的精确维数是多少？
• RQ5 在阿布扬卡尔赋值的局部统一化背景下，如何实现单项式化？

主要发现

• 每个具有可分剩余域扩张的 $K$-平凡阿布扬卡尔赋值，可在不扩展函数域的光滑代数簇上实现局部统一化。
• 对于维数 $\leq 2$ 的正规局部纳加塔环 $R$ 上的非平凡阿布扬卡尔赋值，若 $(K,P)$ 为缺陷为零，$v_P F / v_P K$ 无挠，且 $FP/KP$ 可分，则局部统一化成立。
• 赋值中心 $x$ 处局部环 $\mathcal{O}_{X,x}$ 的维数满足：若 $\mathcal{O}_K$ 为离散赋值环，则 $\dim \mathcal{O}_{X,x} = \dim_{\mathbb{Q}}(v_P F / v_P K \otimes \mathbb{Q}) + 1$；否则为 $+2$。
• 给定有限集 $Z \subset \mathcal{O}_P$ 中的所有元素，均可表示为 $\mathcal{O}_{X,x}$ 的正则参数系中的单项式。
• 在 $v_P K$ 上具有同构值群的有限多个阿布扬卡尔赋值，可在单个仿射概形上实现同时局部统一化。
• 基环 $R$ 必为纳加塔环，且缺陷为零条件确保了 $R/p$ 在有限扩张中整闭包的整性。