[논문 리뷰] An effective criterion for algebraic contractibility of rational curves

Pinaki Mondal|arXiv (Cornell University)|2013. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 5

한 줄 요약

이 논문은 ℂℙ²의 블로우업에서 직선의 엄격한 변형과 모든 예외적 비수를 제외한 하나를 포함하는 합집합에 대해, 유리 곡선의 대수적 수축 가능성에 대한 효과적이고 비수치적인 기준을 제시한다. 이 기준은 맥클레인의 핵심 다항식의 전역적 변형에 기반하며, 필요조건이자 충분조건이며, 무한대에 하나의 곡선을 가진 ℂ²의 정규 대수적 컴acts와 무한대에 하나의 지점만을 가진 ℂ² 내 대수적 곡선 사이의 대응관계를 수립한다.

ABSTRACT

Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a line on CP^2 and all but one of the exceptional divisors of f. As a by-product we construct normal non-algebraic Moishezon surfaces with the `simplest possible' singularities, which in particular completes the answer to a remark of Grauert. Our criterion involves `global variants' of `key polynomials' introduced by MacLane. The geometric formulation of the criterion yields a correspondence between normal algebraic compactifications of C^2 with one irreducible curve at infinity and algebraic curves in C^2 with one place at infinity.

연구 동기 및 목표

• 기존의 수치 기준이 실패하는 경우를 포함하여, 유리 곡선의 대수적 수축 가능성에 대한 효과적 기준의 부족을 메우기 위해.
• ℂℙ²의 블로우업에서 직선의 엄격한 변형과 모든 예외적 비수를 제외한 하나의 수축 가능성을 다루는 특정 기하적 설정에서, 필요조건이자 충분조건을 제공하기 위해.
• 그래우에르가 제기한 질문을 완성하기 위해, '가장 단순한 형태의' 특이점을 지닌 비대수적 정규 모이셰존 표면의 새로운 예를 구성하기 위해.
• 기존에 국소적인 도구로 정의된 핵심 다항식이 전역 좌표계에서 사용될 때에도 전역 기하 정보를 유지함을 보여주기 위해.
• 무한대에 하나의 곡선을 가진 ℂ²의 정규 대수적 컴acts와 무한대에 하나의 지점만을 가진 ℂ² 내 대수적 곡선 사이의 새로운 기하적 대응관계를 수립하기 위해.

제안 방법

• 표면의 기하학적 구조와 수축하고자 하는 곡선에 맞게 조정된 맥클레인의 핵심 다항식의 전역적 변형을 도입한다.
• ℂ²의 좌표환에 대한 가중치 부여를 통해 필터링과 관련된 초기 형식을 정의하고, 이를 전역 설정에서 핵심 다항식을 구성할 수 있도록 한다.
• 버처버거 알고리즘을 적용하여 특정 다항식 집합이 어떤 단순순서에 대해 그레브너 기저를 이룬다는 것을 증명함으로써, 효과적인 계산을 보장한다.
• 표면의 좌표환에서 그레드링으로의 전상형 동형사상을 수립하고, 그 핵을 핵심 다항식으로 생성되는 이상수로 식별한다.
• 가중치 함수의 양의 성질과 핵심 형식의 성질을 활용하여, 핵에 속한 최소 차수의 원소들이 유일하게 결정됨을 보장한다.
• 예외적 비수의 구조와 직선의 엄격한 변형의 구조를 활용하여 비유리 사상과 수축 과정을 분석한다.

실험 결과

연구 질문

• RQ1 ℂℙ²의 블로우업에서 직선의 엄격한 변형과 모든 예외적 비수를 제외한 하나의 합집합이 언제 대수적으로 수축 가능할까?
• RQ2 수치적 불변량이 부족한 경우에도 대수적 수축 가능성에 대한 효과적(계산 가능한) 기준을 제시할 수 있는가?
• RQ3 무한대에 하나의 곡선을 가진 ℂ²의 정규 대수적 컴acts와 무한대에 하나의 지점만을 가진 ℂ² 내 대수적 곡선 사이의 기하적 관계는 무엇인가?
• RQ4 나무 형태의 유리 곡선들을 수축하여 비대수적 정규 모이셰존 표면를 구성할 수 있으며, 그들이 가질 수 있는 가장 단순한 형태의 특이점은 무엇인가?
• RQ5 맥클레인의 국소적 핵심 다항식이 전역 좌표계에서 사용될 때, 어떻게 전역 기하 정보를 유지하는가?

주요 결과

• 논문은 지정된 기하적 설정에서 대수적 수축 가능성에 대해 처음으로 효과적이고 필요충분 조건을 제공함으로써, 문헌에서 오랫동안 존재하던 격차를 해결한다.
• 기준은 전역 핵심 다항식의 구성과 그에 관련된 그레브너 기저 구조에 기반하며, 이는 계산 가능성과 효과성을 보장한다.
• 기준은 무한대에 하나의 기약 곡선을 가진 ℂ²의 정규 대수적 컴acts와 무한대에 하나의 지점만을 가진 ℂ² 내 대수적 곡선 사이의 일대일 대응관계를 수립한다.
• 저자는 그래우에르가 제기한 질문에 답하기 위해, 복잡도가 최소한인 특이점을 지닌 비대수적 정규 모이셰존 표면의 새로운 예를 구성한다.
• 이 방법은 원래 국소 체적 이론을 위해 정의된 핵심 다항식이 전역 좌표계에서 사용될 때에도 전역 기하 정보를 유지함을 보여준다.
• 증명은 특정 환 준동형사상의 핵이 핵심 다항식의 이상수로 생성되며, 이 이상수가 정확히 수축된 표면의 정의 이상수임을 보여준다.