[논문 리뷰] Resolution of Singularities of Arithmetical Threefolds II

Vincent Cossart, Olivier Piltant|arXiv (Cornell University)|2014. 12. 02.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 14

한 줄 요약

이 논문은 임의의 특성에서 차원 3인 준우수 스킴에 대한 그로텐디크의 특이점 해소 추측을 증명하며, 투영 수, 단항 전개, 그리고 블로잉업에 대한 불변량을 기반으로 한 새로운 알고리즘을 통해 양호한 해소의 존재를 확립한다. 핵심 결과는 특이점의 존재를 유지하면서 정칙성을 유지하고 특이점의 궤적을 엄격한 정규교차 분열자로 만드는 정규, 비자명, 프로젝티브 준동형사상이다.

ABSTRACT

We prove Grothendieck's Conjecture on Resolution of Singulari-ties for quasi-excellent schemes X of dimension three and of arbitrary characteristic. This applies in particular to X = SpecA, A a reduced complete Noetherian local ring of dimension three and to algebraic or arithmetical varieties of dimension three. Similarly, if F is a number field, a complete discretely valued field or more generally the quotient field of any excellent Dedekind domain O, any regular projective sur-face X/F has a proper and flat model X over O which is everywhere regular.

연구 동기 및 목표

• 임의의 특성에서 차원 3인 준우수 스킴의 특이점 해소를 위해 그로텐디크의 오랜 기간 동안 남아 있던 추측을 확인한다.
• 전체 전이가 엄격한 정규교차 분열자인 양호한 해소(로그해소)를 구성한다.
• 등차 특성 0 이외의 영역, 특히 잔여 특성이 다를 수 있는 삼차원 수체계로 해소 이론을 확장한다.
• 히로나카의 허용 중심에 의존하지 않는 구조적이고 함자적(함수적)인 해소 알고리즘을 제공한다.
• 우수 데킨드 도메인 위의 정칙 프로젝티브 표면에 대해 정칙, 정규, 평탄한 모델을 구성한다.

제안 방법

• 해소 과정의 구조를 지배하는 투영 수 κ(x) ∈ {1,2,3,4}에 의한 분류를 사용한다.
• 특이점의 심각도를 측정하고 블로잉업 중심의 선택을 안내하기 위해 ω(x), ε(x), A_i(x)를 포함한 새로운 불변량 체계를 도입한다.
• 특히 순순한 비가역성 또는 갈루아 확장의 가정 하에 국소 좌표에서 정의 방정식의 단항 전개에 의존하는 알고리즘.
• 특정 불변량(예: V ∈ Vdir(x))의 영함수의 영역을 따라 블로잉업을 수행하여 특이점의 복잡성을 감소시킨다.
• A₁(x), A₂(x), d₁, d₂와 같은 불변량에 대한 내림차순 귀납법을 사용하며, 블로잉업에 따른 변화를 정밀하게 추적한다.
• 투영 정리와 횡방향/접선 행동에 대한 케이스 분석을 통해 단순한 케이스로의 재귀적 감소를 통해 해소를 달성한다.

실험 결과

연구 질문

• RQ1 그로텐디크의 특이점 해소 추측은 등차 특성 0 이외의 특성, 특히 양의 특성 또는 혼합 특성에서도 3차원 스킴로 확장될 수 있는가?
• RQ2 등차 특성 0을 가정하지 않고도 3차원 준우수 스킴에 대해 구조적이고 함자적인 해소 알고리즘이 존재하는가?
• RQ3 우수 데킨드 도메인 위의 정칙 프로젝티브 표면에 대해, 양의 특성에서도 정칙, 정규, 평탄한 모델을 구성할 수 있는가?
• RQ4 ω(x), ε(x), 투영 수 κ(x)와 같은 불변량은 혼합 특성에서 해소 과정을 안내하는 데 어떻게 활용될 수 있는가?
• RQ5 특이점 궤적의 전체 전이가 해소 과정에서 엄격한 정규교차 분열자가 되도록 보장하는 조건은 무엇인가?

주요 결과

• 논문은 정리 1.1을 증명한다: 모든 차원 ≤3인 축소, 분리, 준우수 스킴는 정규, 비자명, 프로젝티브 준동형사상에 의해 양호한 해소를 갖는다. 이 준동형사상은 정칙 궤적에서 동형사상이다.
• 차원 3인 축소 완비 노에테리안 국소환 A에 대해, Spec A는 추론 1.2에 따라 프로젝티브 양호한 해소를 갖는다.
• 히로나카의 허용 중심에 의존하지 않고, 새로운 불변량 체계와 단항 전개를 사용하여 해소를 달성한다.
• 모든 경우 κ(x) = 1, 2, 3, 4에 대해 단항 전개로 감소시키고 불변량에 대한 귀납적 내림내림을 적용함으로써 특이점 해소를 달성한다.
• 이 방법은 예외적 배경이 엄격한 정규교차 분열자임을 보장하여, 로그해소 조건을 충족시킨다.
• 결과는 수체계 및 형식적 완비화로까지 확장되며, 특히 우수 데킨드 도메인 위의 정칙 프로젝티브 표면까지 적용 가능하다. 이는 추론 1.3에 의해 보여진다.