[논문 리뷰] Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant

Edward Bierstone, Pierre D. Milman|ArXiv.org|1995. 08. 15.

Advanced Numerical Analysis Techniques인용 수 8

한 줄 요약

이 논문은 특성 0에서 대수다양체와 해석적 공간에 대한 표준적인 비특이화를 구성적으로, 초등적으로 증명한다. 이를 위해 국소적 이산 불변량 $Δ_X(a)$ 를 도입하여, 그 최대값 집합이 블로잉업을 위한 매끄러운 중심을 결정한다. 이 방법은 이러한 중심을 반복적으로 적용함으로써 해소 과정을 보장하며, 유한형 스킴에 대해 적용 가능한 표준적이고 함의적인 비특이화 과정을 제공한다.

ABSTRACT

This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka). We introduce a discrete local invariant $\inv_X (a)$ whose maximum locus determines a smooth centre of blowing up, leading to desingularization. To define $\inv_X$, we need only to work with a category of local-ringed spaces $X=(|X|,{\cal O}_X)$ satisfying certain natural conditions. If $a\in |X|$, then $\inv_X(a)$ depends only on $\widehat{\cal O}_{X,a}$. More generally, $\inv_X(a)$ is defined inductively after any sequence of blowings-up whose centres have only normal crossings with respect to the exceptional divisors and lie in the constant loci of $\inv_X(\cdot)$. The paper is self-contained and includes detailed examples. One of our goals is that the reader understand the desingularization theorem, rather than simply ``know'' it is true.

연구 동기 및 목표

• 특성 0에서 대수다양체와 해석적 공간에 대한 특이점 해소의 자가 포함된 구성적 증명을 제공한다.
• 완비화 $̂{\cal O}_{X,a}$ 에만 의존하는 이산 국소 불변량 $Δ_X(a)$ 를 정의하여 비특이화 과정을 지배한다.
• 불변량 $Δ_X(\cdot)$ 의 최대값 집합을 중심으로 선택하여 비특이화가 표준적이고 함의적이 되도록 보장한다.
• 이러한 방법을 스킴 외에도 자연적인 조건을 만족하는 일반적인 국소 띠지 공간으로 일반화한다.
• 기술적 추상화보다 개념적 이해에 중점을 두어 증명을 접근 가능하고 직관적으로 만든다.

제안 방법

• 각 점 $a \in |X|$ 에서 완비화 $\widehat{\cal O}_{X,a}$ 에만 의존하는 이산 국소 불변량 $Δ_X(a)$ 를 정의하여 특이점의 심각도를 측정한다.
• 불변량 $Δ_X(\cdot)$ 의 최대값 집합을 다음 블로잉업의 중심으로 식별하여, 각 단계에서 불변량이 엄격히 감소하도록 보장한다.
• 귀납적 구성: 정상적인 교차를 가진 예외적 분할과 $Δ_X(\cdot)$ 의 일정한 집합에 있는 중심을 가진 임의의 블로잉업 시퀀스 이후, $Δ_X$ 를 귀납적으로 재정의한다.
• 불변량 $Δ_X$ 의 최대 스트라타에 위치하도록 요구하여 중심이 매끄럽고 잘 정의된다는 것을 확보한다.
• 모든 점에서 $Δ_X(a) = 0$ 이 되는 순간까지 반복적으로 적용하여, 이는 다각형이 매끄럽다는 것을 나타낸다.
• 선택된 중심이 불변량과 그 집합에 의해 유일하게 결정되므로, 이 방법은 함의적이고 표준적이다.

실험 결과

연구 질문

• RQ1 특성 0에서 특이점 해소를 위해 고급 기법을 피하는 구성적이고 초등적인 방법으로 어떻게 달성할 수 있는가?
• RQ2 어떤 국소 불변량이 표준적이고 함의적인 블로잉업 시퀀스를 정의하여 특이점을 해소할 수 있는가?
• RQ3 불변량 $Δ_X(a)$ 는 어떻게 정의되어야 하며, 형식적 이웃 $\widehat{\cal O}_{X,a}$ 에만 의존하고 블로잉업에서 잘 행동하는가?
• RQ4 이러한 불변량의 최대값 집합을 중심으로 선택함으로써 비특이화 과정을 표준화할 수 있는가?
• RQ5 이 방법이 스킴 외에도 적용되기 위해 환경 공간 $X$ 가 만족해야 할 필수 및 충분한 조건은 무엇인가?

주요 결과

• 논문은 특성 0의 체 위의 모든 유한형 스킴에 대해 완전하고 표준적인 비특이화 과정을 확립한다.
• 이 방법은 대수다양체와 복소해석적 공간에 동일하게 적용되며, 히로나카의 기초적인 결과를 더 투명한 방식으로 복원한다.
• 국소 불변량 $Δ_X(a)$ 는 귀납적으로 정의되며, 각 블로잉업 중심이 매끄럽고 불변량의 최대값 집합에 의해 유일하게 결정됨을 보장한다.
• 불변량 $Δ_X$ 가 각 블로잉업 단계에서 엄격히 감소하고 값이 이산적이므로, 과정은 유한한 단계 내에 종료된다.
• 구성은 함의적이다: 중심은 불변량과 예외적 분할의 기하학적 성질에 의해 유일하게 결정된다.
• 이 접근법은 자가 포함적이며, 자세한 예시를 포함하여 연구자들이 단지 수용하는 것이 아니라 이해하고자 하는 데에 적합하다.