[논문 리뷰] Local Strong Factorization of birational maps

Kalle Karu|ArXiv.org|2003. 03. 12.

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

한 줄 요약

이 논문은 특성 0인 체 위의 매끄러운 대수기하학적 다양체 사이의 비정규 사상에 대해 국소적 강한 인수분해 추측을 증명하며, 어떤 두 정규 국소환도 해당 순서에 따라 단순 변환의 열을 통해 동형으로 만들 수 있음을 보여준다. 핵심 결과는 이러한 인수분해가 토릭 기하학과 단항식화를 통해 가능함을 증명하여, 차원 n에서 오랫동안 남아있던 추측을 유리 독립적인 벡터를 가진 비특이 콘의 별분할로 환원함으로써 해결한다.

ABSTRACT

The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We prove a local version of the strong factorization conjecture for toric varieties. Combining this result with the monomialization theorem of S.D.Cutkosky, we obtain a strong factorization theorem for local rings dominated by a valuation.

연구 동기 및 목표

• 특성 0인 체 위에서 순서에 의해 지배되는 정규 국소환에 대한 국소적 강한 인수분해 추측을 증명한다.
• 이러한 두 국소환 사이에 순서에 따라 단순 변환의 열을 통해 동형으로 만들 수 있음을 확립한다.
• 크리스텐센의 3차원 결과를 토릭 방법을 이용해 임의의 차원으로 일반화한다.
• 정리 0.1의 완전한 증명을 정리 0.2(국소 토릭 인수분해)와 커티스키의 단항식화 정리의 조합을 통해 제공한다.
• 이전 문헌의 결함이 있는 전역 강한 인수분해 증명에 의존하는 것을 피하기 위해, 전역 강한 인수분해 증명의 결함을 메우기 위해 직접적인 토릭 추론을 제시한다.

제안 방법

• 정규 국소환을 비특이 유리 콘과 연관시켜 국소 인수분해 문제를 토릭 기하학 문제로 환원한다.
• 좌표가 유리 독립적인 벡터를 따라 콘의 별분할을 사용하여 순서에 따라 단순 변환을 모델링한다.
• 격자에 대한 저차원 몫으로의 사영을 통해 차원에 대한 귀납법을 적용하며, 콘의 구조를 유지한다.
• 커티스키의 단항식화 정리를 적용하여 한 국소환의 매개변수를 다른 국소환의 매개변수에 대한 단항식으로 표현하며, 단위行列을 가지는 지수 행렬을 사용한다.
• 중심이 (x_i, x_j)인 단순 변환을 순서 벡터 v에 따라 u_i + u_j에서의 콘의 별분할로 변환한다.
• 단위행렬 변환은 콘의 비특이성을 유지하며, 유한한 수의 이러한 연산을 통해 항등행렬로 수렴함을 이용한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 매끄러운 다양체 사이의 적절한 비정규 사상은 국소 설정에서 매끄러운 블로우업 이후 블로우다운의 열로 분해될 수 있는가?
• RQ2 공통의 순서에 의해 지배되는 두 정규 국소환은 순서에 따라 단순 변환의 열을 통해 공통의 개선으로 분해될 수 있는가?
• RQ3 토릭 다양체와 유리 독립적인 좌표를 가진 유리 벡터로 제한된 경우, 국소 강한 인수분해 추측은 임의의 차원에서 성립하는가?
• RQ4 전역 강한 인수분해 추측은 콘의 별분할을 포함하는 국소 토릭 문제로 환원될 수 있는가?
• RQ5 단항식화는 연속적인 단순 변환을 통해 공통의 개선을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 특성 0인 체 위의 우수한 정규 국소환은 순서에 의해 지배될 경우 국소 강한 인수분해 추측이 성립한다.
• 공통의 순서 ν에 따라 R과 S로부터 단순 변환의 열을 통해 국소환 T를 구성할 수 있으며, 이는 정리 0.1을 증명한다.
• 좌표가 유리 독립적인 벡터 v를 포함하는 임의의 두 비특이 콘 σ와 τ에 대해, v를 따라의 매끄러운 별분할의 열을 통해 공통의 비특이 콘 ρ를 얻을 수 있으며, 이는 정리 0.2를 증명한다.
• 일반적인 경우는 단항식화 정리를 사용하여 토릭 설정으로 환원되며, 이는 한 국소환의 매개변수를 다른 국소환의 매개변수에 대한 단항식으로 표현하고, 단위행렬 지수 행렬을 사용함으로써 가능하다.
• 단순 변환과 별분할 사이의 대응은 대수적 변환의 기하학적 해석을 가능하게 하며, 지수 행렬이 끝없이 항등행렬로 수렴함을 보장한다.
• 틀린 전역 강한 인수분해 증명에 의존하는 것을 피하기 위해, 콘 분할과 차원에 대한 귀납법에 기반한 직접적이고 구성적인 추론을 사용한다.