[논문 리뷰] Very fast, very functorial, and very easy resolution of singularities

Michael McQuillan, Gianluca Marzo|arXiv (Cornell University)|2019. 06. 16.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 특성 0에서 우수한 딜리네-맘포드 스택에 대한 단순하고 함의적이고 함의적( Functorial ) 특이점 해소를 제안한다. 이는 전통적인 히로나카 스타일의 방법을 피하고, 정칙 중심에서의 매끄러운 가중 블로우업을 사용한다. 핵심 기여는 해소 과정에 종속되지 않고, 강력한 함의성과 종료 조건을 만족하는 해소 함의적을 제공하며, $ℚ_{\geqslant 0}^{2m}$ 내에서 자기로 제약을 받는 분모를 가진 새로운 불변량에 기반한다. 이는 유한 단계 내에서 종료를 보장한다.

ABSTRACT

The main theorem, I.a, is the existence for excellent Deligne-Mumford champ of characteristic zero of a resolution functor independent of the resolution process itself. Perceived wisdom was that this was impossible, but the counterexamples overlooked the possibility of using weighted blow ups. The fundamental local calculations take place in complete local rings, and are elementary in nature, while being self contained and wholly independent of Hironaka's methods and all derivatives thereof, i.e. existing technology. Nevertheless Abramovich, Temkin, and Wlodarczyk, [ATW], have varied existing technology to obtain an even shorter proof of principalisation, I.f, in the geometric case. Excellent patching is more technical than varieties over a field, and whence easier geometric arguments are pointed out when they exist.

연구 동기 및 목표

• 특성 0에서 우수한 딜리네-맘포드 스택의 특이점 해소를 함의적이고 해소 과정에 종속되지 않게 하는 것.
• 기존의 정칙 중심에서의 표준 블로우업을 사용할 경우 이러한 함의적을 구성하는 것이 어려운 것으로 여겨지기 때문에, 가중 블로우업에 기반한 새로운 기하학적 패러다임을 도입함으로써 이를 극복하는 것.
• 유한 단계 내에서 종료를 보장하고 국소 환에서의 귀납적 구성이 가능하게 하는 자기로 제약을 받는 분모를 가진 특이점 불변량을 정의하는 것.
• 일반적인 대수적 스택과 오르비폴드에 적용 가능한 히로나카의 방법에 대한 자가 포함된 간단한 대안을 제공하는 것.
• 강력한 함의성과 불변성 성질을 만족하며 유한 단계 내에서 종료하는 해소 알고리즘을 확립하는 것.

제안 방법

• 표준 정칙 중심에서의 블로우업을 대체하여, 정칙 중심에서의 매끄러운 가중 블로우업을 사용하는 수정된 수정 함의적( M.1 신규 )을 도입한다.
• 정칙 국소환에서의 이상에 대해 $ℚ_{\geqslant 0}^{2m}$ 내에서 자기로 제약을 받는 분모를 가진 새로운 불변량 $\mathrm{inv}_A(I)$ 를 구성하며, 이는 사전순서로 정렬된다.
• 해소 과정은 일반적인 행동의 철학에 따라 이끌린다: 일반적인 정칙성이 실패할 경우, 탄성 공간에서 최대 이상의 필터링을 구축하여 귀납적 정밀화를 이룬다.
• 이 불변량은 가중 블로우업에 대해 엄격히 감소하므로 종료 보장이 되며, 이 과정은 딜리네-맘포드 스택의 2-category에서 다이어그램 추적을 통해 정의된다.
• 이 구성은 에테일 국소적이며 에테일 기저 변경과 가환하므로 (M.3)과 (M.4)를 만족하여 완전한 함의성을 확보한다.
• 알고리즘은 $σ_{p+1} = M(\mathcal{Y}_p)$ 로 반복되며, 불변량이 0에 도달할 때 종료된다.

실험 결과

연구 질문

• RQ1 특성 0에서 우수한 딜리네-맘포드 스택에 대해, 해소 과정에 종속되지 않고 에테일 기저 변경에 대해 함의적인 해소 함의적을 구성할 수 있는가?
• RQ2 특이점의 국소에서 임의의 선택이 필요 없이, 오직 정칙 중심에서의 가중 블로우업만을 사용하여 해소를 달성할 수 있는가?
• RQ3 유한 단계 내에서 종료를 보장하고 귀납적 구성이 가능하게 하는 자기로 제약을 받는 분모를 가진 불변량을 $ℚ_{\geqslant 0}^{2m}$ 내에서 정의할 수 있는가?
• RQ4 가중 블로우업의 사용이 대칭성이 존재할 경우(예: $x^2 + y^2 + (zt)^2 = 0$ 예시에서처럼) 기존의 함의적 해소의 고전적 장벽을 회피하는가?
• RQ5 해소 과정을 순수하게 국소적이고 자가 포함된 방식으로 만들 수 있는가? 이는 히로나카의 이론과 그 파생물에 의존하지 않는다.

주요 결과

• 주요 결과는 특성 0에서의 축소된 우수한 딜리네-맘포드 스택의 2-category에서 (M.1 신규), (M.2), (M.3), (M.4), (M.5)를 만족하는 해소 함의적 $M$ 의 존재이다.
• 불변량 $\mathrm{inv}_{\mathcal{Y}}^\sharp$ 는 $ℚ_{\geqslant 0}^{2m}$ 내에서 자기로 제약을 받는 분모를 가지며, 이는 해소가 유한 단계 내에서 종료됨을 보장한다.
• 해소 과정은 $\underline{i}(\mathcal{Y}) = 0$ 일 때 종료되며, 이는 $\mathcal{Y}$ 가 정칙일 때이고, 이 경우 $M(\mathcal{Y}) = \mathcal{Y}$ 가 된다.
• 해소 과정은 불변량에 대해 엄격히 감소한다: $\underline{i}(M(\mathcal{Y})) < \underline{i}(\mathcal{Y})$, 이는 종료가 보장됨을 보장한다.
• 이 구성은 완전히 함의적이다: $M$ 은 에테일 기저 변경과 가환하며 특이점의 국소의 대칭성을 유지하므로, $x^2 + y^2 + (zt)^2 = 0$ 예시에서의 고전적 장벽을 해결한다.
• 이 방법은 자가 포함적이며 간단하며 히로나카 이론에 의존하지 않으며, 오직 완전 국소환 계산과 불변량에 대한 다이어그램 철학에 기반한다.