[논문 리뷰] A strictly decreasing invariant for resolution of singularities in dimension two

Vincent Cossart, Bernd Schober|arXiv (Cornell University)|2014. 11. 17.

Polynomial and algebraic computation참고 문헌 17인용 수 11

한 줄 요약

이 논문은 경계를 가진 두 차원 우수한 노에테르 스킴 위에서 특이점의 해소를 위한 엄격히 감소하는 국소 불변량을 구성하여 Cossart-Jannsen-Saito 알고리즘의 종료를 증명한다. 이 불변량은 세 부분으로 구성되며, 특이점의 복잡도, 하이르온스-샘uel 행동, 히로나카의 특성 다각형을 포함한다. 이 불변량은 매bedding에 영향을 받지 않으며, 그 값에 대한 내림차순 귀납법을 통해 유한한 종료를 보장한다.

ABSTRACT

We construct a local invariant for resolution of singularities of 2-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito.

연구 동기 및 목표

• 경계를 가진 두 차원에서 우수한 노에테르 스킴에 대한 특이점 해소를 위한 엄격히 감소하는 불변량을 수립하기 위해.
• 불변량이 각 블로우업 단계에서 엄격히 감소함을 보여, Cossart-Jannsen-Saito 알고리즘의 종료를 증명하기 위해.
• 불변량이 환경 정규 스킴에 따라 달라지지 않게 하여, 특이점 스킴 자체에 내재된 성질이 되도록 하기 위해.
• 히스토리 함수와 경계 성분을 통합하여 특이점 집합의 제어를 알고리즘에 더욱 정교하게 하기 위해.
• 특성 0 이외의 정수 계수에서의 적용 가능성을 보장하기 위해 강력하고 국소적인 구성 방식을 통해 해소 불변량의 적용 범위를 확장하기 위해.

제안 방법

• 특이점 복잡도, 하이르온스-샘uel 행동, 히로나카의 특성 다각형을 조합한 국소 불변량 $\iota = (\iota_0, \iota_{hs}, \iota_{poly})$ 를 정의한다.
• 코hen의 구조 정리를 사용하여 정규 환경 스킴 $Z$ 를 통해 비통합 케이스를 통합 케이스로 환원한다.
• $\iota$ 의 구성 요소, 특히 $\iota_{poly} \in \mathbb{Q}_\infty^4$ 가 매bedding $X \subset Z$ 에 영향을 받지 않음을 증명한다.
• 히스토리 함수 $O_X$ 를 도입하여 오래된 경계 성분과 새로운 경계 성분을 구별함으로써, 블로우업 과정에서 특이점 집합의 제어를 가능하게 한다.
• 불변량 $\iota(X, \mathcal{B}, x)$ 에 대한 내림차순 귀납법을 적용하여 악성 점의 유한성과 알고리즘의 종료를 증명한다.
• 정리 0.1과 정리 1.25 를 활용하여, 최대 로그-하이르온스-샘uel 집합의 성분의 일반점에서 $\iota$ 가 엄격히 감소함을 보인다.

실험 결과

연구 질문

• RQ1 우수한 노에테르 스킴에서 정수 계수의 두 차원 특이점 해소에 대해 엄격히 감소하는 불변량을 구성할 수 있는가?
• RQ2 국소적이고 매bedding에 독립적인 불변량을 사용하여 Cossart-Jannsen-Saito 알고리즘이 종료됨을 어떻게 증명할 수 있는가?
• RQ3 히로나카의 특성 다각형과 하이르온스-샘uel 함수는 특이점 해소 과정에서 특이점 제어에 얼마나 기여하는가?
• RQ4 히스토리 함수 $O_X$ 는 오래된 성분과 새로운 성분을 구별하고 알고리즘 제어를 보장하는 데 어떤 역할을 하는가?
• RQ5 불변량 $\iota$ 는 통합 설정에서 환경 정규 스킴 $Z$ 의 선택에 대해 진정으로 독립적인가?

주요 결과

• 구성된 불변량 $\iota = (\iota_0, \iota_{hs}, \iota_{poly})$ 는 Cossart-Jannsen-Saito 알고리즘의 모든 단계에서 엄격히 감소한다.
• 구성 요소 $\iota_{poly} \in \mathbb{Q}_\infty^4$ 와 $\iota_{hs} \in \mathbb{N}^\mathbb{N} \times \mathbb{N}^3 \times \mathbb{Q}_\infty^2$ 는 $\left(\frac{1}{N} \cdot \mathbb{N}_\infty\right)^6$ 에 속해 있어 유한한 내림차순을 보장한다.
• 불변량은 매bedding $X \subset Z$ 에 영향을 받지 않으며, $Z$ 를 참조하지 않고도 $\iota(X, \mathcal{B}, x)$ 로 기록할 수 있다.
• 불변량 $\iota$ 에 대한 내림차순 귀납법을 통해 알고리즘의 종료가 증명되며, 악성 점이 유한하고 각 단계에서 값이 엄격히 감소한다.
• 성분의 일반점에서 블로우업 이후 $\iota$ 의 값이 엄격히 감소함을 보여 $\iota(X_1, \mathcal{B}_1, \eta_1) < \iota(X, \mathcal{B}, \eta)$ 라는 식이 성립한다.
• 악성 점의 유한성과 $\iota$ 의 엄격한 감소성으로 인해, 고립된 닫힌 점과 차원 1인 성분을 포함한 모든 점에서 알고리즘이 종료된다.