[论文解读] Rees algebras and resolution of singularities

S. Encinas, Orlando E. Villamayor|ArXiv.org|Feb 27, 2007

Commutative Algebra and Its Applications参考文献 18被引用 25

一句话总结

本论文证明，在特征零下，对于光滑概形上的Rees代数，若其积分闭包相同，则其去奇异化算法产生相同的解消结果。通过将对数解消的概念从理想推广至Rees代数，并利用Włodarczyk的归纳方法，作者证明了积分闭包等价性蕴含算法解消等价性，借助微分算子与加权序函数确保变换过程的一致性。

ABSTRACT

Embedded principalization of ideals in smooth schemes, also known as Log-resolutions of ideals, play a central role in algebraic geometry. If two sheaves of ideals, say $I_1$ and $I_2$, over a smooth scheme $V$ have the same integral closure, it is well known that Log-resolution of one of them induces a Log-resolution of the other. On the other hand, in case $V$ is smooth over a field of characteristic zero, an algorithm of desingularization provides, for each sheaf of ideals, a unique Log-resolution. In this paper we show that algorithms of desingularization define the same Log-resolution for two ideals having the same integral closure. We prove this result here by using the form of induction introduced by Włodarczyk. We extend the notion of Log-resolution of ideals over a smooth scheme $V$, to that of Rees algebras over $V$; and then we show that two Rees algebras with the same integral closure undergo the same constructive resolution. The key point is the interplay of integral closure with differential operators.

研究动机与目标

• 将理想对数解消理论推广至特征零下光滑概形上的Rees代数。
• 建立两个具有相同积分闭包的Rees代数经历相同的算法解消过程。
• 通过引入控制解消过程的函数t(𝐺)，统一理想与Rees代数的解消过程，该函数基于加权序与超曲面计数。
• 证明解消算法在积分闭包等价性下是良定义且一致的，确保解消路径的唯一性。

提出的方法

• 将Rees代数定义为O_V[W]的分次子环，其中I_n为理想层，并通过条件ν_x(I_n) ≥ n对所有n定义其奇点集。
• 定义函数t(𝐺) = (w-ord(𝐺), n(𝐺))，其中w-ord衡量加权序，n(𝐺)计算通过某点的除子D中的超曲面数量。
• 构造辅助Rees代数T(𝐺) = 𝐺 ⊙ 𝐺^∨(ω) ⊙ D_m，将解消问题约化为简单Rees代数，确保Sing(T(𝐺)) = Max t(𝐺)。
• 利用Włodarczyk定理将局部解消过程全局化于简单代数T(𝐺)，确保存在一序列可允许的爆破。
• 采用维数归纳法：在光滑超曲面Z上解消T(𝐺)，然后通过Włodarczyk的全局化定理将解消整体提升。
• 证明函数t(𝐺)在有限步后严格递减，从而保证解消过程的终止性。

实验结果

研究问题

• RQ1 Rees代数的算法解消是否仅依赖于其积分闭包，还是也依赖于更精细的数据，如特定的理想生成元？
• RQ2 理想对数解消的概念能否自然地推广至Rees代数，同时保持解消路径的唯一性？
• RQ3 微分算子与加权序函数如何相互作用，以确保在等价Rees代数之间解消过程的一致性？
• RQ4 是否存在一种典范方式，将一般Rees代数的解消约化为简单Rees代数的解消，同时保持解消结构？
• RQ5 能否使解消算法在积分闭包等价性下不变，确保等价代数产生相同的解消序列？

主要发现

• Rees代数的解消算法在积分闭包下不变：若两个Rees代数积分等价，则其产生相同的解消序列。
• 函数t(𝐺) = (w-ord(𝐺), n(𝐺))控制解消过程，且在有限步后严格递减，确保过程终止。
• 构造T(𝐺) = 𝐺 ⊙ 𝐺^∨(ω) ⊙ D_m 得到一个简单Rees代数，其奇点集恰好为t(𝐺)的最大值集，从而可约化至更简单情形。
• 在可允许爆破下T(𝐺)的变换满足T(𝐺)′ = 𝐺′ ⊙ (𝐺′)^∨(ω) ⊙ D′_m，保持了解消函数的结构。
• 当max t(𝐺) > max t(𝐺′)时，T(𝐺)′的奇点集为空，表明解消过程已进入新阶段。
• 该算法是良定义且可通过Włodarczyk定理全局化，确保在超曲面上的局部解消过程可扩展为全局解消。