[논문 리뷰] Functorial resolution of tame quotient singularities in positive characteristic

Federico Buonerba|arXiv (Cornell University)|2015. 11. 02.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 대수적으로 닫힌 체 위의 준사영 대상에 대한 온건한 몫 특이점의 함자적 해소를 양의 특성에서 구축한다. 가중치가 부여된 폭발과 에테일 국소 함자성의 조합을 통해, 저자들은 문제를 온건한 순환 몫 특이점으로 줄이고, 이후 전역적 특성 조건을 이용해 불변량을 감소시킨다. 최종적으로, 에테일 기저변환과 가환하는 매끄럽고 준사영적인 해소를 구성한다.

ABSTRACT

The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.

연구 동기 및 목표

• 준사영 대상에 대한 온건한 몫 특이점의 함자적 해소의 존재를 증명하는 것.
• 에테일 기저변환과의 호환성을 보장함으로써 해소 과정에서 발생하는 국소-전역 장애를 극복하는 것.
• 전역 불변량과 특성 조건을 사용하여 해소 문제를 온건한 순환 몫 특이점으로 줄이는 것.
• 충실한 특성 조건을 통해 토릭 기하학의 가정을 약화시켜 양의 특성으로 해소 기법을 확장하는 것.
• 비온건한 가정 하에서 방법이 실패하는 이유를 밝히고, 일반적인 몫 특이점의 해소를 위해 근본적으로 다른 전략이 필요함을 시사하는 것.

제안 방법

• 모든 $ X $에 대해 $ i(X) \in \mathbb{N} $인 불변량을 정의하고, $ i(X) = 0 $이면 $ X $가 매끄럽고, $ i(X) $에 대한 귀납법을 사용하는 것.
• 두 단계 과정을 사용: 먼저, 불변량을 유지하는 비례 변환을 통해 일반적인 온건한 몫 특이점을 온건한 순환 몫 특이점으로 줄이는 것.
• 특수한 다발 $ E $에 대해 전역 특성 조건을 도입하여, 국소 순환 정착군이 $ E $ 전역에서 충실하게 작용하도록 하여, 전역적으로 잘 정의된 대수층의 구성이 가능하도록 하는 것.
• 충실한 특성 조건을 만족하는 다발에 의해 유도된 대수층을 사용해 매끄러운 중심을 따라 가중치가 부여된 폭발을 적용함으로써, 정착군이 더 작아지는 새로운 다양체를 생성하는 것. 비록 일시적으로 비온건한 특이점이 나타나더라도 가능하다.
• 비온건한 순환 특이점은 최대 비온건한 정착군에 기반한 반복 폭발 과정을 통해 다루며, 다발에서의 행동의 충실성을 통해 온건한 특이점으로의 내림내림을 보장하는 것.
• 해소 과정이 에테일 기저변환과 가환하도록, 반복적이고 에테일 국소적인 절차를 통해 해소를 구성함으로써 함자성을 확보하는 것.

실험 결과

연구 질문

• RQ1 준사영 대상에 대한 온건한 몫 특이점의 함자적 해소는 양의 특성에서 구성될 수 있는가?
• RQ2 토릭 매bedding나 전역 토리스 작용을 가정하지 않고, 해소 과정의 국소-전역 문제는 어떻게 극복할 수 있는가?
• RQ3 국소 정착군에 대해 전역적으로 정의된 특성이 전역 해소 절차를 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 충실한 특성 조건이 만족되면, 비온건한 특이점이 발생하더라도 가중치가 부여된 폭발이 양의 특성에서 효과적으로 사용될 수 있는가?
• RQ5 비온건한 군 작용 하에서 방법이 실패하는 이유는 무엇이며, 이는 일반적인 몫 특이점의 해소에 대해 어떤 함의를 갖는가?

주요 결과

• 주요 정리에서는 매끄럽고 준사영이며, $ r_X: M(X) \to X $가 매끄러운 부분위치에서의 동형사상이 되는, 적절히 정의된 전순사영 매끄러운 다양체 $ M(X) $에 대한 해소 함자 $ X \to (M(X), r_X) $의 존재를 보장한다.
• 이 해소 함자는 에테일 기저변환과 가환하므로, 대수적 공간, 델리-무어 스택, 해석적 공간과의 호환성이 보장된다.
• 첫 번째 단계는 에테일 국소 함자성을 이용해, 모든 온건한 몫 특이점을 불변량을 유지하면서 온건한 순환 몫 특이점으로 줄이는 데 성공한다.
• 두 번째 단계는 다발에서 충실한 특성을 가진 대수층을 통해 유도된 매끄러운 중심을 따라 가중치가 부여된 폭발을 구성함으로써 불변량을 감소시키며, 비록 일시적으로 비온건한 특이점이 나타나더라도 가능하다.
• 핵심 보조정리 (II.II.1)는 비온건한 대각선 순환 특이점이 나타나면, 최대 비온건한 정착군에 기반한 반복 폭발 과정을 통해 이를 해결할 수 있음을 증명한다. 이는 정착군이 다발에서 충실하게 작용할 경우에 한하여 성립한다.
• 비온건한 작용에서는 정규 매개변수의 부재로 인해 군 작용을 대각화할 수 없어 방법이 실패한다. 이는 일반적인 경우에 근본적으로 다른 전략이 필요함을 시사한다.