[논문 리뷰] Local factorization and monomialization of morphisms

Steven Dale Cutkosky|ArXiv.org|1998. 03. 17.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 42

한 줄 요약

이 논문은 특성 0인 체 위의 우아한 정칙 스킴 사이의 일반적으로 유한한 사상에 대해 구성적 단항화 정리(constructive monomialization theorem)를 수립한다. 유한한 수의 단항 변환(비특이 중심에 沿한 블로우업)을 통해, 저자들은 이러한 사상이 적절한 통일화 매개변수에서 국소적으로 단항형으로 변환됨을 보이며, 좌표 함수가 단위와 함께 단항식이 되고 야코비안 행렬식이 비특이가 되도록 체계를 해소한다. 이는 더 이상 평가 중심의 블로우업을 통한 단순화가 일반적으로 불가능한 바탕이 되는 최적의 국소 인수분해 및 단항화 결과를 제공한다.

ABSTRACT

Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X and Y' to Y so that X' to Y' is a monomial mapping at the center of v. We deduce from this that a birational morphism of nonsingular varieties can be factored along a valuation by a sequence of blowups and blowdowns with nonsingular centers.

연구 동기 및 목표

• 대수기하학에서 비단항식 체계의 분석 문제를 단항식 형태로 변환함으로써 해결하기 위해.
• 블로우업을 통한 구성적이고 알고리즘적인 방법을 제시하여 일반적으로 유한한 사상을 단항 매핑으로 변환하기 위해.
• 평가 중심의 블로우업을 통한 추가 단순화가 일반적으로 불가능한 것을 보여줌으로써 단항화의 가장 강력한 국소 결과를 확립하기 위해.
• 높은 차원 스킴로 단항화 결과를 일반화하고, 적절하고 완전한 대형 다양체를 통한 기하학적 해석을 제공하기 위해.
• 특성 0 조건 하에 유한 체 확장이 있는 우아한 정칙 국소환의 국소 설정에서 단항화가 가능함을 증명하기 위해.

제안 방법

• 정칙 소 이상을 블로우업하는 단항 변환을 사용하여 사상을 점진적으로 단순화한다.
• 정규화 변환(UTS)을 적용하여 정의 방정식의 복잡성을 단계적으로 감소시킨다.
• 평가 이론과 랭크 1 분석을 활용하여 함수의 변환 하에서의 행동을 통제한다.
• 원천과 대상의 링에서 블로우업의 수열을 구성하여 단항형을 달성한다.
• 페론 변환과 단위 대체를 사용하여 항의 차수를 감소시키고 원하는 단항형을 달성한다.
• 수렴성과 정확성을 보장하기 위해, 소멸 차수와 평가 행동에 대한 귀납법과 케이스 분석을 적용한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 우아한 정칙 스킴 사이의 일반적으로 유한한 사상은 비특이 중심에 沿한 블로우업을 통해 국소적으로 단항 매핑으로 변환될 수 있는가?
• RQ2 사상이 평가 중심에 沿한 블로우업 이후 유한이 아니더라도, 정칙 국소환의 국소 설정에서 유한 체 확장이 있을 경우 단항화가 가능한가?
• RQ3 주어진 사상을 단항화하기 위해 필요한 최소한의 차트와 블로우업의 수는 얼마이며, 이는 알고리즘적으로 수행될 수 있는가?
• RQ4 블로우업이 적절성 기준의 평가와 호환되도록 단항화를 달성할 수 있는가?
• RQ5 평가 중심의 블로우업을 통한 사상의 추가 단순화에 대한 장애 요소는 무엇이며, 이를 특성화할 수 있는가?

주요 결과

• 주요 결과인 정리 A는 특성 0인 체 위의 동일한 차원을 갖는 우아한 정칙 국소환 R ⊂ S에 대해, K/S 가 유한 체 확장일 경우, 정의된 단항 변환 R′ 및 S′ 가 존재하여 유도된 사상 R′ → S′ 가 통일화 매개변수에서 단항형임을 증명한다.
• 단항형은 x_i = y_1^{a_{i1}}⋯y_n^{a_{in}} δ_i 로 표현되며, δ_i 는 단위이고 det(a_{ij}) ≠ 0 이므로 변환은 단위를 제외한 채로 가역적임을 보장한다.
• 구성은 완전히 구성적이며, 유한한 수의 단항 변환과 통일화 변환에 의존한다.
• 결과는 최적적이다: 아브하앙카르의 예는 이러한 변환 이후에 사상 R′ → S′ 가 일반적으로 유한이 되지 않음을 보여준다.
• 기하학적 형태인 정리 B는 특성 0인 k-스킴(정칙, 완전한 k-스킴) 사이의 일반적으로 유한한 사상이 원천과 대상에서 비특이 중심에 沿한 유한한 수의 블로우업을 거친 후 국소적으로 단항형이 됨을 보여준다.
• 차원 2에서는 단항화가 전역 단항형으로 강화될 수 있으며, 이는 낮은 차원에서 더 깊은 구조적 단순화를 나타낸다.