[논문 리뷰] Gorenstein Threefold Singularities with Small Resolutions via Invariant Theory for Weyl Groups

Sheldon Katz, David R. Morrison|ArXiv.org|1992. 02. 05.

Advanced Algebra and Geometry참고 문헌 10인용 수 47

한 줄 요약

이 논문은 Weyl 군의 불변량 이론을 사용하여, 기약적 소해상이 존재하는 모든 고렌스타인 3차 곡면 특이점을 정확히 여섯 가닥의 가닥으로 분류한다. Pinkham의 구성에서 동시 해소와 루트 시스템의 불변량을 분석함으로써, 저자들은 일반적인 초평면 절단의 특이점 유형이 단 하나의 불변량—'길이'—에 의해 결정됨을 증명하고, 각 경우에 대해 부분 해소에서 변형 공간으로의 사상의 명시적 계산을 수행한다.

ABSTRACT

We classify simple flops on smooth threefolds, or equivalently, Gorenstein threefold singularities with irreducible small resolution. There are only six families of such singularities, distinguished by Koll{á}r's {\em length} invariant. The method is to apply invariant theory to Pinkham's construction of small resolutions. As a by-product, generators of the ring of invariants are given for the standard action of the Weyl group of each of the irreducible root systems.

연구 동기 및 목표

• 기약적 소해상을 갖는 모든 고렌스타인 3차 곡면 특이점을 분류하는 것.
• 초평면 절단의 선택에 대한 Pinkham의 구성에서의 모호함을 제거하기 위해 보편적 불변량을 규명하는 것.
• Kollár가 도입한 '길이' 불변량으로 특징지어진, 이러한 특이점이 정확히 여섯 가닥 뿐임을 증명하는 것.
• Weyl 군 불변량을 사용하여 부분 해소 공간에서 변형 공간으로의 사상의 명시적 계산을 제공하는 것.
• 디스크 사상 PRes(S,v)와 Def(S)를 통해 가장 일반적인 이러한 특이점에 대한 완전하고 계산 가능한 기술을 수립하는 것.

제안 방법

• 소해상을 디스크에서 부분 해소 공간 PRes(S,v)로 가는 사상으로 모델링하는 Pinkham의 구성의 사용.
• PRes(S,v)를 루트 시스템 R과 관련된 유리 이중점의 부분계의 Weyl 군 W₀에 의한 몫공간 V/W₀로 식별하는 것.
• Brieskorn과 Tyurina의 동시 해소 이론을 적용하여, 명시적으로 계산 가능한 형태의 해소를 제공하는 것.
• W와 W₀의 Weyl 군 불변량 이론을 활용하여 사상 PRes(S,v) → Def(S) = V/W를 분석하는 것.
• Weyl 군 작용의 불변량으로서 변형 공간 Def(S)의 정의 방정식을 명시적으로 계산하는 것.
• '길이' 불변량을 사용하여 여섯 가닥을 구분하고, x² + y² + z² + t²ᵏ = 0과 같은 알려진 예를 재구성하는 것.

실험 결과

연구 질문

• RQ1 기약적 소해상이 존재하는 고렌스타인 3차 곡면 특이점은 몇 가닥이 존재하는가?
• RQ2 이러한 특이점의 서로 다른 가닥을 특징짓는 불변량은 무엇인가?
• RQ3 Weyl 군의 불변량 이론을 사용하여 PRes(S,v) → Def(S) 사상이 명시적으로 계산될 수 있는가?
• RQ4 초평면 절단이 일반적이라고 가정하지 않을 경우, Pinkham의 구성이 유한한 수의 가닥 뿐임을 증명할 수 있는가?
• RQ5 이러한 소해상에서 일반적인 초평면 절단의 정확한 특이점 유형은 무엇인가?

주요 결과

• 기약적 소해상이 존재하는 고렌스타인 3차 곡면 특이점은 정확히 여섯 가닥이 존재하며, 이는 '길이' 불변량으로 분류된다.
• 이러한 특이점의 일반적인 초평면 절단은 길이에 의해 결정되는 유리 이중점의 특이점 유형을 갖는다.
• 사상 PRes(S,v) → Def(S)는 Weyl 군 W₀와 W에 의한 루트 공간 불변량의 몫으로 명시적으로 계산될 수 있다.
• 길이가 1일 경우, 구성은 고전적인 가닥 x² + y² + z² + t²ᵏ = 0을 회복한다.
• 변형 공간 Def(S)의 정의 방정식은 Weyl 군의 동차 불변량으로 주어지며, 기본 대칭다항식 s₁부터 s₇로의 명시적 표현을 갖는다.
• 이 방법은 디스크 사상 PRes(S,v)로의 사상과 함께, Def(S)로의 복합함수에 의해 결정되는 가장 일반적인 이러한 특이점에 대한 완전하고 알고리즘적인 기술을 제공한다.