[论文解读] Uniformisation locale des schémas quasi-excellents de caractéristique nulle

Jean-Christophe San Saturnino|arXiv (Cornell University)|Nov 14, 2013

Algebraic Geometry and Number Theory参考文献 14被引用 3

一句话总结

该论文通过将问题约化为秩一赋值、解析局部环中无限赋值元素的理想并进行正规化，以及对关键多项式进行单变量化，建立了特征零的拟优代数系上的赋值的嵌入局部统一化。关键结果是在无极限关键多项式条件下，该单变量化定理在所有特征下均成立——而这一条件在特征零中总是满足，因此通过关键多项式技术和逐次爆破证明了该情形下的局部统一化。

ABSTRACT

We prove an embedded local uniformization theroem for a valuation centered on a point of a quasi-excellent scheme of characteristic zero. The proof reduces to valuations of rank 1 and consists in desingularizing the ideal formed by the elements of infinite value and monomializing the key polynomials. We then prove a monomialization theorem valid in all characteristic under certain conditions, including that of non-existence of limit key polynomials, a condition that is always satified in characteristic zero.

研究动机与目标

• 建立特征零的拟优代数系上中心赋值的嵌入局部统一化定理。
• 利用文献中的约化技术，将问题约化为秩一赋值。
• 在局部环的完备化中解析理想，即无限赋值元素的理想。
• 通过一系列保持单变量形式的局部爆破，对关键多项式进行单变量化。
• 在无极限关键多项式的条件下，证明一个在所有特征下均成立的单变量化定理，而该条件在特征零中恒成立。

提出的方法

• 使用已知的约化结果（Novacoski–Spivakovsky, 2012）将问题约化为秩一赋值。
• 在完备化 $ ilde{S}$ 中识别出无限赋值元素的理想 $ar{H}$，该理想为素理想，称为隐含素理想。
• 利用 $S$ 的拟优性，推导出 $ ilde{S}_{ar{H}}$ 为正则环，因此问题转化为 $ ilde{S}/ar{H}$ 的正则性与单变量化。
• 应用科恩结构定理，将 $ ilde{S}/ar{H}$ 表示为正则完备局部环 $R$ 的商，并在 $R/H$ 上工作。
• 通过嵌入维数的归纳法，利用关键多项式指导爆破，以保持单变量形式。
• 证明在特征零中，极限关键多项式不存在（推论 3.13），从而可通过递归爆破与平移实现有限步单变量化。

实验结果

研究问题

• RQ1 能否通过关键多项式技术，在特征零的拟优代数系上实现中心赋值的嵌入局部统一化？
• RQ2 在任意特征下，关键多项式的单变量化在何种条件下成功，特别是当无极限关键多项式时？
• RQ3 特征零中极限关键多项式的不存在是否能确保有限步单变量化，从而实现局部统一化？
• RQ4 能否利用完备化结构与隐含素理想 $ar{H}$，将统一化问题约化为商环的单变量化？
• RQ5 连续局部爆破如何保持关键多项式单变量形式？在特征零中，其终止性由何保证？

主要发现

• 在 $S$ 为拟优代数系时，完备化 $ ilde{S}$ 中无限赋值元素的理想 $ar{H}$ 为素理想，且局部化 $ ilde{S}_{ar{H}}$ 为正则环。
• 特征零中极限关键多项式的缺失（推论 3.13）确保了单变量化可在有限步内完成。
• 可构造一序列局部爆破，使得所有关键多项式均变为单变量形式，且一旦单变量化后，在后续爆破中保持单变量形式。
• 单变量化过程是有效且构造性的：它产生一序列爆破，使 $ ilde{S}/ar{H}$ 正则化，并通过关键多项式分解单变量化所有元素。
• 主要结果是证明了特征零下拟优代数系的嵌入局部统一化，其依赖于极限关键多项式的不存在。
• 该方法可预先完整描述所有无穷远点与中间爆破，为整个解析过程提供了全局控制。