[논문 리뷰] GIT Compactifications of M_{0,n} and Flips

Noah Giansiracusa, David Jensen외 1명|arXiv (Cornell University)|2011. 12. 01.

Digital Image Processing Techniques참고 문헌 16인용 수 5

한 줄 요약

이 논문은 $\mathbb{P}^d$ 속의 가중 안정 곡선을 사용하여 $M_{0,n}$의 모듈리 공간의 대규모 가족을 GIT 컴팩티피케이션으로 구성하며, 이러한 컴팩티피케이션들이 $\overline{M}_{0,n}$, 하세타 공간, 그리고 새로운 모odular 모델을 포함함을 보여준다. 선형화 공간의 완전한 벽과 방실 분해를 제공하고, 이러한 모델들 사이의 플립과 면수 수축을 명시적으로 분류하며, 지점이 있는 종수 0 곡선의 모듈리 공간 간에 처음으로 알려진 모리 이론적 플립을 제시한다.

ABSTRACT

We use geometric invariant theory (GIT) to construct a large class of compactifications of the moduli space M_{0,n}. These compactifications include many previously known examples, as well as many new ones. As a consequence of our GIT approach, we exhibit explicit flips and divisorial contractions between these spaces.

연구 동기 및 목표

• n-점이 있는 $\mathbb{P}^d$ 속의 유리 정규 곡선 위에서 기하학적 불변 이론(GIT)을 사용하여 $M_{0,n}$의 포괄적인 컴팩티피케이션 가족을 구성하는 것.
• 델리뉴-멈포드 컴팩티피케이션 $\overline{M}_{0,n}$와 하세타의 가중 공간과 같은 기존 컴팩티피케이션들을 하나의 GIT 프레임워크 안에서 통합하는 것.
• 선형화의 변화(VGIT)를 통한 체계적 분석을 통해 이러한 컴팩티피케이션들의 비유리 기하학을 분석하고, 이들 사이의 플립과 면수 수축을 규명하는 것.
• 특히 선형화가 벽 위에 있을 경우에 발생하는 VGIT 벽 교차로부터 유도된 플립과 수축의 모듈러 해석을 제공하는 것.

제안 방법

• n-점이 있는 $\mathbb{P}^d$ 속의 유리 정규 곡선의 위치인 $U_{d,n}$를 기반으로 하여, $U_{d,n}/\!\!/_{L} \operatorname{SL}(d+1)$ 형태의 컴팩티피케이션을 매개변수화한다.
• 곡선과 각 점에 가중치를 할당하는 유리수 벡터 $L \in \mathbb{Q}_{>0}^{n+1}$를 사용하여 $\operatorname{SL}(d+1)$ 작용에 대한 선형화를 정의한다.
• 변화하는 GIT(VGIT)를 적용하여 선형화 공간을 방실과 벽으로 분해하며, 벽 교차는 컴팩티피케이션 간의 유리 함수를 유도한다.
• 벽에서의 엄밀히 반안정 곡선을 분류하고, 닫힌 궤도를 가지는 것들을 확인하여 유도된 비유리 함수의 정밀한 분석을 가능하게 한다.
• 부분집합의 가중치 합인 $\sigma(I_k)$와 같은 수치적 불변량을 사용하여 안정 조건을 결정하고, 벽을 넘는 순간에 안정 영역이 어떻게 변화하는지 탐지한다.
• F-곡선 클래스를 사용하여 사상이 플립인지 면수 수축인지 테스트하며, 플립는 어떤 면수도 수축하지 않지만 양쪽에서 서로 다른 F-곡선을 수축한다는 사실을 응용한다.

실험 결과

연구 질문

• RQ1 어떤 $U_{d,n}$의 GIT 몫이 $M_{0,n}$의 컴팩티피케이션을 이루며, 어떤 선형화 조건에서 성립하는가?
• RQ2 VGIT 벽 교차로부터 유도된 컴팩티피케이션 간의 비유리 사상—특히 플립과 면수 수축—는 어떻게 발생하는가?
• RQ3 이 컴팩티피케이션 간의 플립은 모듈러 해석을 가질 수 있으며, 기존에 알려진 모델들과 동형이 아닌 새로운 것으로 간주될 수 있는가?
• RQ4 어떤 조건에서 벽 교차가 플립을 유도하고, 면수 수축이나 곡선 수축을 유도하지 않는가?
• RQ5 $M_{0,n}$의 컴팩티피케이션 중 스미스의 의미에서 모듈러가 아닌 것이 존재하는가? 그리고 이러한 컴팩티피케이션은 GIT 구성에서 유도될 수 있는가?

주요 결과

• $\Delta^\circ$의 내부에 있는 모든 $L$에 대해 $U_{d,n}/\!\!/_{L} \operatorname{SL}(d+1)$는 $M_{0,n}$의 컴팩티피케이션이며, $M_{0,n}$을 유지하는 regular birational 사상 $\overline{M}_{0,n} \to U_{d,n}/\!\!/_{L} \operatorname{SL}(d+1)$가 존재한다.
• 선형화 공간은 VGIT를 통해 유한한 벽과 방실 분해를 가지며, 각 벽 교차는 플립, 면수 수축, 또는 곡선 수축이 될 수 있는 유리 함수를 유도한다.
• $d=5$, $n=19$, $\gamma = \frac{4}{9} \pm \epsilon$인 경우, 컴팩티피케이션 간의 사상 $f^+$와 $f^-$는 플립이다: $f^+$는 F-곡선 $(10,7,1,1)$을 수축하고, $f^-$는 $(12,5,1,1)$을 수축하며, 양쪽 모두 어떤 면수도 수축하지 않는다.
• $U_{5,19}/\!\!/_{\frac{4}{9},\vec{\frac{2}{9}}} \operatorname{SL}(6)$ 컴팩티피케이션은 스미스의 의미에서 어떤 모듈러 컴팩티피케이션과도 동형이 아니며, 엄밀히 반안정 점을 포함하고 있고, 방실 선형화를 가진 $U_{d,n}$의 기하적 몫으로 유도되지 않기 때문이다.
• 논문은 특정 극한 할당(예: 서로소 색인 집합에서 온 점을 가진 꼬리 수축)이 $U_{d,n}$의 GIT 몫으로 표현될 수 없다는 것을 보여주며, 모든 모듈러 컴팩티피케이션이 이 GIT 구성에서 유도된다는 것은 아님을 증명한다.