[논문 리뷰] Rees algebras and resolution of singularities

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

Commutative Algebra and Its Applications참고 문헌 18인용 수 25

한 줄 요약

이 논문은 특성 0에서 매끄러운 스킴 위의 리즈 대수에 대한 비특이화 알고리즘들이 동일한 정수 폐쇄를 가진 리즈 대수에 대해 동일한 해석을 생성한다는 것을 증명한다. 로그해석의 개념을 이상으로부터 리즈 대수로 확장하고, 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.

연구 동기 및 목표

• 특성 0에서 매끄러운 스킴 위의 이상에 대한 로그해석 이론을 리즈 대수로 확장한다.
• 동일한 정수 폐쇄를 가진 두 리즈 대수는 동일한 알고리즘적 해석 과정을 거친다는 것을 확립한다.
• 가중 순서와 초표면 수를 통해 해석을 지배하는 함수 t(𝐺)를 도입하여 이상과 리즈 대수의 해석 과정을 통합한다.
• 정수 폐쇄 동치성에 대해 알고리즘적 해석이 잘 정의되고 일관되며, 해석 경로의 유일성을 보장함으로써 해석 알고리즘이 잘 정의됨을 보여준다.

제안 방법

• I_n가 이상의 층인 O_V[W]의 순서 있는 부분환으로서 리즈 대수를 정의하고, 모든 n에 대해 ν_x(I_n) ≥ n 조건을 통해 특이점 집합을 정의한다.
• w-ord는 가중 순서를 측정하고 n(𝐺)는 점을 통과하는 초표면 D의 수를 세는 함수 t(𝐺) = (w-ord(𝐺), n(𝐺))를 정의한다.
• 해결 문제를 단순한 리즈 대수로 줄이기 위해 보조 리즈 대수 T(𝐺) = 𝐺 ⊙ 𝐺^∨(ω) ⊙ D_m를 구성하며, Sing(T(𝐺)) = Max t(𝐺)임을 보장한다.
• Włodarczyk의 정리를 활용해 단순한 대수 T(𝐺) 위에서 국소 해석 절차를 전역화하여 허용 가능한 블로우업의 수열이 존재함을 보장한다.
• 차원에 대한 귀납법을 적용: T(𝐺)를 매끄러운 초표면 Z에서 해석하고, Włodarczyk의 전역화 정리에 의해 이를 전역적으로 확장한다.
• 함수 t(𝐺)가 유한한 단계 이후 엄격하게 감소함을 보여주어 해석 과정의 종료를 보장한다.

실험 결과

연구 질문

• RQ1 리즈 대수의 알고리즘적 해석은 그 정수 폐쇄에만 의존하는가, 아니면 특정 이상 생성자와 같은 더 세밀한 자료에 의존하는가?
• RQ2 이상에 대한 로그해석 개념을 자연스럽게 리즈 대수로 확장할 수 있는가, 동시에 해석 경로의 유일성을 유지할 수 있는가?
• RQ3 미분 연산자와 가중 순서 함수는 동치 리즈 대수들 사이에서 해석 과정의 일관성을 보장하기 위해 어떻게 상호작용하는가?
• RQ4 일반 리즈 대수의 해석을 보존하는 조건 하에 단순한 리즈 대수의 해석으로 환원할 수 있는 표준적인 방법이 존재하는가?
• RQ5 해석 알고리즘이 정수 폐쇄 동치성에 대해 불변이 되도록 만들 수 있는가, 동치 대수들에 대해 동일한 해석 수열을 보장함으로써?

주요 결과

• 리즈 대수의 해석 알고리즘은 정수 폐쇄에 대해 불변이다: 두 리즈 대수가 정수 폐쇄로 동치이면 동일한 해석 수열을 생성한다.
• 함수 t(𝐺) = (w-ord(𝐺), n(𝐺))는 해석 과정을 지배하며, 유한한 단계 이후 엄격하게 감소하여 해석 과정의 종료를 보장한다.
• 구성 T(𝐺) = 𝐺 ⊙ 𝐺^∨(ω) ⊙ D_m는 특이점 집합이 정확히 t(𝐺)의 최대 위치와 일치하는 단순한 리즈 대수를 생성하며, 더 단순한 경우로의 환원을 가능하게 한다.
• 허용 가능한 블로우업에 대한 T(𝐺)의 변환은 T(𝐺)′ = 𝐺′ ⊙ (𝐺′)^∨(ω) ⊙ D′_m를 만족하며, 해석 함수의 구조를 유지한다.
• max t(𝐺) > max t(𝐺′)일 때, T(𝐺)′의 특이점 집합은 공집합이 되며, 이는 해석 과정이 새로운 단계로 진행되었음을 나타낸다.
• 알고리즘이 잘 정의되어 있으며 Włodarczyk의 정리에 의해 전역화 가능하여, 초표면 위의 국소 해석 절차를 전역 해석으로 확장할 수 있다.