[논문 리뷰] Geometric Invariant Theory and Birational Geometry

Yi Hu|ArXiv.org|2005. 02. 22.

Geometry and complex manifolds참고 문헌 60인용 수 5

한 줄 요약

이 논문은 Geometric Invariant Theory (GIT)와 비유계 기하학 사이의 깊은 연결고리를 확립하며, 유한 몫 특이점을 가진 프로젝티브 다양체 간의 모든 비유계 변환—특히 Mori 꿈 공간과 심플렉틱 다양체의 맥락에서—가 VGIT(Variation of Geometric Invariant Theory) 벽을 넘는 변환의 순서로 실현될 수 있음을 보여준다. 핵심 기여는 두 개의 비유계인 이러한 다양체가 유한한 수의 이러한 변환으로 연결됨을 증명하는 GIT 약약 인수분해 정리이다.

ABSTRACT

In this paper we will survey some recent developments in the last decade or so on variation of Geometric Invariant Theory and its applications to Birational Geometry such as the weak Factorization Theorems of nonsingular projective varieties and more generally projective varieties with finite quotient singularities. Along the way, we will also mention some progresses on birational geometry of hyperKähler manifolds as well as certain open problems and conjectures.

연구 동기 및 목표

• Geometric Invariant Theory (GIT)와 비유계 기하학 사이의 체계적인 연결고리를 구축함으로써, 특히 모듈리 공간과 몫 구성의 맥락에서 그 관계를 명확히 하기.
• 주어진 군 작용에 대한 모든 GIT 몫을 매개변수화하고, 안정성 매개변수의 변화에 따라 몫이 어떻게 변화하는지 해결하는 기본 문제를 해결하기.
• 유한 몫 특이점을 가진 프로젝티브 다양체 간의 모든 비유계 변환은 VGIT 벽을 넘는 변환의 조합으로 분해될 수 있음을 증명하기.
• 이 틀을 심플렉틱 다양체, 특히 하이퍼카일러 다양체로 확장하여 심플렉틱 수축과 موكاي 초기 변환을 이해하기.
• 비유계 사상의 GIT 실현을 제공하고, 편미분-이동-특성화 관계를 통해 찬 쿼티언트의 경계를 특성화하기.

제안 방법

• Variation of Geometric Invariant Theory (VGIT) 이론을 도입하여, 효율적인 등변 앰플 콘 내의 칸들에 의해 GIT 몫을 매개변수화하기.
• 칸 시스템 내에서 벽을 넘는 것은 모리 플립과 유사한 비유계 변환을 유도함을 보이며, VGIT를 모리 프로그램과 연결하기.
• 비유계 사상으로 연결된 두 개의 스무스하거나 Q-팩터리얼 프로젝티브 다양체가 유한한 수의 VGIT 벽을 넘는 변환 순서로 연결됨을 증명하기.
• 편미분-이동-특성화 관계를 사용하여 찬 쿼티언트의 경계를 특성화함으로써, 심플렉틱적이고 위상수학적 해석을 가능하게 하기.
• 공이소트로픽 임bedding과 노울 폴리케이션을 연구함으로써 고차원에서의 심플렉틱 수축을 분석하고, 소형 수축에 대한 구조 정리 도출하기.
• 4차원 이상에서 موكاي 초기 변환(METs)이 특정 조건 하에 비유계 사상의 기본 구성 요소를 제공함을 보여주기.

실험 결과

연구 질문

• RQ1 유한 몫 특이점을 가진 프로젝티브 다양체 간의 모든 비유계 변환은 VGIT 벽을 넘는 변환의 조합으로 분해될 수 있는가?
• RQ2 주어진 재수군 작용에 대한 GIT 몫의 정확한 매개변수 공간은 무엇이며, 이 매개변수 공간 전반에서 몫은 어떻게 변화하는가?
• RQ3 고차원 하이퍼카일러 다양체에서의 심플렉틱 수축은 VGIT와 심플렉틱 기하학을 통해 어떻게 이해하고 분류할 수 있는가?
• RQ4 모두의 비유계 사상이 심플렉틱 다양체 간에 어떻게 생성되는가? 특히 4차원에서의 경우에 대해 어느 정도까지 موكاي 초기 변환이 모든 비유계 사상을 생성하는가?
• RQ5 찬 쿼티언트의 경계는 어떤 구조를 가지며, 편미분-이동-특성화 관계를 통해 어떻게 묘사할 수 있는가?

주요 결과

• GIT 약약 인수분해 정리가 성립한다: 유한 몫 특이점을 가진 두 개의 비유계 프로젝티브 다양체는 유한한 수의 VGIT 벽을 넘는 비유계 변환 순서로 연결된다.
• 모든 Q-팩터리얼 프로젝티브 다양체 간의 비유계 사상은, 그 다양체가 Cox 링이 유한 생성된다는 조건을 만족하는 Mori 꿈 공간일 때에만 VGIT 벽을 넘는 변환의 조합으로 표현될 수 있다.
• 심플렉틱 4-다양체의 경우, 두 다양체 간의 비유계 사상은 모두 موكاي 초기 변환의 조합으로 표현되며, Burns, Luo, 및 Hu에 의해 증명되었다.
• 고차원에서, 소형 심플렉틱 수축은 페르세 반작은 크기를 가지며, 특이점 집합이 매끄럽고, 섬유화되어 있다면, 그 차원과 같은 랭크의 프로젝티브 번들의 구조를 가져야 한다.
• 심플렉틱 다양체 X 내의 부분다양체 B가 한 점으로 수축될 수 있다면, B는 라그랑주 서브바나이어티이며 P^n과 동형이 되며, 이는 허-예우 추측의 핵심 예측을 확인한다.
• 심플렉틱 다양체 간의 모든 비유계 사상은 코디멘션 ≥3 부분다양체를 제거한 후에, موكاي 초기 변환의 순서로 표현될 수 있다는 추측은, B. Fu에 의해 노일레센트 오르빗 닫힘의 경우에 확인되었다.