[논문 리뷰] Weighted grassmannians and stable hyperplane arrangements

Valery Alexeev|ArXiv.org|2008. 06. 05.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 14

한 줄 요약

이 논문은 하세타의 가중 안정 곡선과 핵킹-키얼-티브레로의 안정 하이퍼플레인 배열을 일반화한 가중 안정 하이퍼플레인 배열을 도입하여, $\overline{M}_{\beta}(r,n)$로 표기되는 프로젝티브 모듈리 공간을 구축한다. 이는 $(r-1)$차원 대상과 $n$개의 가중 웰 디바이저를 가진다. 이 경우 $K_X + \sum b_i B_i$는 앰플리프하고, 쌍은 준-로그 캐논리컬하다. 주요 기여는 토릭 기법과 GIT 방법을 통해 가중 하이퍼플레인 배열에 대한 세밀하고 프로젝티브인 모듈리 공간의 캄팩티피케이션을 체계적으로 구성한 데 있다.

ABSTRACT

We give a common generalization of (1) Hassett's weighted stable curves, and (2) Hacking-Keel-Tevelev's stable hyperplane arrangements.

연구 동기 및 목표

• 하세타의 가중 안정 곡선 모듈리 공간과 핵킹-키얼-티브레로의 안정 하이퍼플레인 배열 모듈리 공간을 통합적인 프레임워크로 일반화하기 위해.
• 유리수 가중치 $b_i \in (0,1]$를 가진 $\overline{M}_{\beta}(r,n)$로 표기되는 세밀하고 프로젝티브인 모듈리 공간을 구축하여, 가중 안정 하이퍼플레인 배열을 매개변수화하기 위해.
• 토르 작용을 갖는 대상의 모듈리 공간 이론을 가중 구성과 특이점을 포함하도록 확장하기 위해.
• 지정된 가중치를 가진 일반적인 하이퍼플레인 배열의 공간을 로그 캐논리컬 및 준-로그 캐논리컬 특이점을 사용하여 완전한 캄팩티피케이션으로 제공하기 위해.

제안 방법

• 가중 영역 $\mathcal{D}(r,n) = \{(b_i) \in \mathbb{Q}^n \mid 0 < b_i \leq 1, \sum b_i > r\}$를 정의하고, 초평면 $\sum_{i \in I} b_i = k$와 면 $b_i = 1$에 의해 칸들로 분할한다.
• 매트로이드 다면체 이론과 토릭 기하학을 사용하여, 그라스만يان 위에 정의된 가족의 GIT 몫으로 모듈리 공간 $\overline{M}_{\beta}(r,n)$을 구성한다.
• 모듈리 공간 $\overline{M}_{\beta}(r,n)$ 위에 있는 유니버설 가족 $f: (\mathcal{X}, \mathcal{B}_1, \dots, \mathcal{B}_n) \to \overline{M}_{\beta}(r,n)$을 구성하며, 이의 섬세한 쌍 $(X, \sum b_i B_i)$은 로그 기하학의 의미에서 안정 쌍이다.
• 안정 쌍 이론과 준-로그 캐논리컬 특이점을 적용하여, 모듈리 공간이 프로젝티브이고 세밀함을 보장한다.
• $mb_i \in \mathbb{N}$인 $m$에 대해 $\mathcal{O}_{\mathcal{X}}(m(K_{\mathcal{X}} + \sum b_i \mathcal{B}_i))$의 상대 앰플리프성을 사용하여, 모듈리 공간의 프로젝티브성을 확립한다.
• 가중 영역의 다면체 분할을 통한 분해를 분석하고, 중심 섬유의 기하학을 예외적 디바이저를 따라 붙임과 함께 블로우업의 형태로 묘사한다.

실험 결과

연구 질문

• RQ1 하세타의 가중 안정 곡선과 핵킹-키얼-티브레로의 안정 하이퍼플레인 배열을 하나의 모듈리 이론 프레임워크로 통합할 수 있는가?
• RQ2 하이퍼플레인 배열에 대한 프로젝티브 모듈리 캄팩티피케이션의 존재를 보장하는 가중치 $b_i$의 조건은 무엇인가?
• RQ3 가중치를 변화시킬 때 하이퍼플레인 배열의 분해는 어떻게 행동하며, 극한에서 중심 섬유의 구조는 어떠한가?
• RQ4 다양한 가중치 구성에 대해 모듈리 공간 $\overline{M}_{\beta}(r,n)$의 기하학적 구조는 어떻게 되는가. 특히 등가중치나 극단적 가중치의 경우는 어떻게 되는가?
• RQ5 특수한 경우에 모듈리 공간이 토릭 다양체이거나 피버 폴리토프로 표현될 수 있는가? 이는 기하학적 성질에 어떤 함의를 갖는가?

주요 결과

• 모든 유리수 가중치 $\beta = (b_i)$에 대해 $\sum b_i > r$이면, 모듈리 공간 $\overline{M}_{\beta}(r,n)$은 가중 안정 하이퍼플레인 배열을 매개변수화하는 프로젝티브 스킴로서 존재한다.
• 모듈리 공간 $\overline{M}_{\beta}(r,n)$ 위의 유니버설 가족은 평탄하고 국소 자유이며, 각 섬유는 준-로그 캐논리컬 쌍 $(X, \sum b_i B_i)$이며, 이 경우 $K_X + \sum b_i B_i$는 앰플리프하다.
• $\beta = (1,\dots,1)$인 경우, 모듈리 공간 $\overline{M}_{\beta}(r,n)$은 핵킹-키얼-티브레로의 $\overline{M}(r,n)$과 일치하며, 그들의 구성이 복원된다.
• $r=2$인 경우, 모듈리 공간 $\overline{M}_{\beta}(2,n)$은 페르뮤토헤드론에 관련된 토릭 다양체이며, $\beta = (1,\dots,1,\epsilon,\dots,\epsilon)$인 경우는 단체의 피버 폴리토프로 표현된다.
• $\beta = (1,\dots,1, a_1,\dots,a_{n-r+1})$이면서 $\sum a_i > 1$이고, 모든 진부분집합 $I$에 대해 $\sum_{i\in I} a_i \leq 1$이면, $\overline{M}_{\beta}(r,n) = (\mathbb{P}^{n-r-1})^{r-1}$가 되어 특별한 가중치 영역에서의 곱 구조를 보인다.
• 가중치 $\beta$가 일반적인 경우, 모듈리 공간 $\overline{M}_{\beta}(r,n)$은 매끄럽고 차원이 $(r-1)(n-r-1)$이며, 일반 위치에 있는 $\mathbb{P}^{r-1}$ 내의 $n$개 하이퍼플레인의 공간을 캄팩티피케이션한다.