[논문 리뷰] Functorial embedded resolution via weighted blowings up

Dan Abramovich, Michael Temkin외 1명|arXiv (Cornell University)|2019. 06. 17.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 11

한 줄 요약

이 논문은 특성 0 체 위의 매장된 다양체 $Y$ 속에 매장된 다양체 $X$ 의 특이점을 다루는 함자적 임베디드 해소 알고리즘을 제시한다. 이는 사전 순서 기반의 불변량에 의해 정의된 중심을 따라 스택 이론적 가중 블로잉 업을 사용하며, 알고리즘은 명시적이고 선택에 의존하지 않으며, 각 단계에서 최대 불변량이 엄격히 감소하여 유한한 반복 후에 부드러운 전체 변환을 보장한다. 이는 부드러운 사상에 대해 완전한 함자성( functoriality )을 보장한다.

ABSTRACT

We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history, no exceptional divisors, and no logarithmic structures are necessary to carry this out; the steps are explicit geometric operations requiring no choices; and the resulting algorithm is efficient. A similar result was discovered independently by McQuillan in a manuscript posted on this archive simultaneously.

연구 동기 및 목표

• 로그레르모닉 폼이나 이상적 지수와 같은 보조 구조에 의존하지 않고, 임베디드 특이점을 해결하는 단순하고 명시적이며 함자적인 알고리즘을 개발하는 것.
• 히로나카의 프로그램을 확장하여, 전단사 부드러운 사상 뿐 아니라 모든 쌍의 부드러운 사상에 대해 함자적인 해소 함자를 정의하는 것.
• 예외적 분포 추적 또는 이력 기록을 제거하기 위해 기하 불변량인 가중 승수의 사전 순서를 기반으로 한 중심을 사용하여 각 블로잉 업 단계를 안내하는 것.
• 최대 불변량에 따라 중심을 정의한 가중 블로잉 업이 부드러운 중심과 잘 제어된 기하학을 갖는 유한하고 종료 가능한 해소 과정을 제공함을 보여주는 것.
• 데스타킹 파이션을 통해 비임베디드 및 코arse 모듈리 설정으로의 해소를 확장하면서 함자성과 정규성을 유지하는 것.

제안 방법

• 불변량 $\operatorname{inv}_p(X)$ 에 기반한 사전 순서 기반 중심을 따라 스택 이론적 가중 블로잉 업을 수행한다. 이 불변량은 각 점에서 특이도의 심각성을 감지한다.
• 블로잉 업의 중심은 $\operatorname{inv}_p(X)$ 의 최대값에 의해 결정되며, 불변량에서 유도된 가중치 $w_i$ 를 가진 가중 좌표 $x_i^{1/w_i}$ 를 사용하여 블로잉 업을 수행한다.
• 블로잉 업은 몫 스택 $[\operatorname{Spec} R / \boldsymbol{\mu}_w]$ 로 구성되어, 부드러움과 불변량에 대한 당김에 대한 호환성을 보장한다.
• 각 단계에서 $\operatorname{maxinv}(X)$ 가 엄격히 감소하므로, 유한한 반복 후에 종료됨을 보장한다.
• 불변량과 그 부드러운 당김에 대한 행동만을 기반으로 하여, 예외적 분포 추적 또는 로그 구조를 사용하지 않음으로써 선택에 의존하지 않는다.
• 불변량이 당김에 의해 보존되고 기저 변경과 가환성이 성립하므로, 모든 부드러운 사상에 대해 함자성이 확보된다.

실험 결과

연구 질문

• RQ1 모든 부드러운 사상에 대해 함자적이면서도 로그 형태나 이상적 지수와 같은 보조 구조에 의존하지 않는 해소 알고리즘을 구성할 수 있는가?
• RQ2 선택이나 이력 없이도 특이점을 감지하고 블로잉 업을 안내하는 기하 불변량에 기반한 해소 과정을 정의할 수 있는가?
• RQ3 스택 이론적 가중 블로잉 업이 임베디드 특이점의 해소 알고리즘에서 오직 유일한 기하 연산으로서 사용될 수 있는가?
• RQ4 가중 블로잉 업을 사용할 경우 예외적 국소의 기하학은 어떻게 영향을 받는가? 그리고 중심과의 정규 교차를 유지하는가?
• RQ5 함자성과 정규성을 유지하면서 임베디드 해소를 비임베디드 및 코arse 모듈리 설정으로 확장할 수 있는가?

주요 결과

• 각 단계에서 $\operatorname{maxinv}(X)$ 가 엄격히 감소하여 유한한 반복 후 종료되며, $n$ 단계 이후에 $X_n$ 이 부드러워진다.
• 해소 함자 $F_{er}$ 는 부드러운 사상의 쌍에 대해 모든 경우에 대해 함자적이며, 불변량이 당김에 의해 보존됨으로써 전단사일 필요 없이도 성립한다.
• 가중 블로잉 업 후의 전체 변환 $X'$ 는 예제 $X = V(x^7 + y^5)$ 에서 부드럽고, $Y'$ 는 몫 스택 $[\operatorname{Spec} k[u,y']/\boldsymbol{\mu}_7]$ 이다.
• 비임베디드 해소 함자 $F_{ner}$ 는 존재하며, 모든 부드러운 사상에 대해 함자적이다. 이는 순수 차원의 축약된 스택을 정규로 해소한다.
• Bergh 의 데스타킹 파이션을 통해 코어스 해소 함자 $F_{crs}$ 가 구성되며, 이는 기저 변경에 대해 함자적이며, 프로젝티브이고 정규인 코어스 모듈리 공간을 제공한다.
• 예외적 국소는 중심과의 정규 교차를 보장하지 못할 수 있으며, 이는 새로운 중심이 예외적 분포 $z=0$ 와 탄성하는 예시에서 나타난다.