[논문 리뷰] Chow Quotients of Grassmannians II

Seán Keel, Jenia Tevelev|ArXiv.org|2004. 01. 14.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 10

한 줄 요약

이 논문은 카우치 쿼티언트를 사용하여 $X(r,n) = \mathrm{Gr}(r,n)^0 / \mathrm{G}_m^n$ 의 콪팩티피케이션을 구축하며, $\overline{M}_{0,n}$ 의 모듈리 공간을 고차원 그라스만이안 쿼티언트로 일반화한다. 이는 $\overline{X}(r,n)$ 의 콱팩티피케이션에 대해 반대수적 로그 캐논리컬 쌍의 모듈리 해석을 제공하고, 특별한 섬유의 변형을 티츠 빌딩을 통해 기술함으로써 특이점이 토로이달임을 보이며, 빌딩 내의 격자 필터링과 볼록껍데기를 통해 극한 안정 쌍의 기하학을 묘사한다.

ABSTRACT

We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases (2,n),(3,6),(3,7),(3,8), where we conjecture it holds. The same generalization of (1) was given recently (and independently) by Hacking.

연구 동기 및 목표

• 쿼티언트 $X(r,n) = \mathrm{Gr}(r,n)^0 / \mathrm{G}_m^n$ 의 자연스러운 콱팩티피케이션 $\overline{X}(r,n)$ 을 구축하여 $\overline{M}_{0,n}$ 을 일반화한다.
• 모듈리 해석을 통해 $\overline{X}(r,n)$ 이 반대수적 로그 캐논리컬 쌍의 공간으로서의 의미를 확립하며, $\overline{M}_{0,n}$ 의 안정 곡선 모듈리 공간 해석을 확장한다.
• 특수한 섬유에서의 $n$ 개의 초평면의 가속화된 가족의 극한을 $\mathrm{PGL}_r(K)$ 의 티츠 빌딩을 사용하여 묘사하며, $r=2$ 에서의 카프란옵의 결과를 일반화한다.
• 특수 섬유에서의 특이점 분석을 통해 특이점이 토로이달임을 보이고, 빌딩 내의 격자 필터링과 볼록껍데기를 통해 국소 기하학을 기술한다.

제안 방법

• H = \mathbb{G}_m^n 를 사용한 카우치 쿼티언트 구성 $\overline{X}(r,n) = \mathrm{Gr}(r,n) // H$ 를 통해 $X(r,n)$ 을 콱팩티피케이션하며, 겔판트–맥필슨 대응을 활용한다.
• 티츠 빌딩 이론을 적용하여 가속화된 가족의 극한을 묘사한다: $\mathbb{P}^{r-1}$ 내의 $n$ 개의 초평면 가족에서 극한은 $\mathrm{PGL}_r(K)$ 의 빌딩 내 안정적 격자 클래스의 볼록껍데기로 표현된다.
• 안정 클래스 $\mathrm{Stab}$ 를 포함하는 유한한 볼록 부분집합 $Y \subset \mathcal{B}$ 에 대해 프로젝티브 배럴의 합집합 $\mathbb{S}_Y$ 를 도입하며, 이는 극한 기하학을 매개한다.
• 라포르그의 가시적 윤곽의 구성법을 사용하여 가족 $p: (\mathcal{S}, \mathcal{B}) \to \overline{X}(r,n)$ 을 정의하며, 특별한 섬유 $S_Y$ 와 경계 $B = \sum \mathbb{B}_i$ 를 포함한다.
• 빌딩의 분할과 격자 필터링의 조합론을 통해 특별한 섬유 $(S_Y, B)$ 의 특이점을 분석하며, 특이점이 토로이달임을 보이고, 유계된 $2$-층위에 의해 분류됨을 보인다.
• 상대 로그 미분형식의 배럴 $\Omega^1_p(\log \mathcal{B})$ 를 적용하여 변형의 기하학을 연구하며, 잔여 사상과 $V_n$ 에서의 캐논칼 섹션을 사용한다.

실험 결과

연구 질문

• RQ1 모듈리 이론, 모리 이론, 극한 이론적 성질을 모두 일반화하는 $X(r,n)$ 의 콱팩티피케이션 $\overline{X}(r,n)$ 이 존재하는가?
• RQ2 특수한 섬유에서의 $\mathbb{P}^{r-1}$ 내 $n$ 개의 초평면의 가속화된 가족의 극한은 $\mathrm{PGL}_r(K)$ 의 티츠 빌딩을 사용하여 묘사될 수 있는가? 이는 $r=2$ 에서의 카프란옵의 결과를 일반화하는가?
• RQ3 특수 섬유 $S_Y$ 의 구조는 무엇이며, 그 특이점은 어떻게 되는가?
• RQ4 쌍 $(S_Y, B)$ 는 토로이달인가? 그 성분들과 특이점들은 빌딩 내 안정적 격자 클래스의 볼록껍데기와 어떻게 관련되어 있는가?
• RQ5 카우치 쿼티언트 $\overline{X}(r,n)$ 는 $X(r,n)$ 의 로그 캐논리컬 모델인가? 특히 $(3,6), (3,7), (3,8)$ 의 예외적인 경우에 대해 어떻게 되는가?

주요 결과

• 카우치 쿼티언트 $\overline{X}(r,n) = \mathrm{Gr}(r,n) // H$ 는 $X(r,n)$ 의 콱팩티피케이션을 제공하며, 이는 $\overline{M}_{0,n}$ 의 모듈리 이론적 및 극한 이론적 성질을 고차원으로 일반화한다.
• 특수 섬유 $S_Y$ 는 안정적 격자 클래스 $[M] \in \mathrm{Stab}$ 에 대한 프로젝티브 배럴 $\mathcal{P}(M)$ 의 합집합이며, 빌딩 내의 $1$-층위에 해당하는 경계 성분들에 의해 접합된다.
• 쌍 $(S_Y, B)$ 의 특이점은 토로이달이며, 국소 해석 기하학 모델은 $\mathbb{A}^n$ 내 선형 부분공간의 합집합이며, 빌딩 내의 유계된 $2$-층위에 의해 분류된다.
• 경계 성분 $\mathbb{B}_i$ 는 $i$-번째 초평면의 변형에 대응하며, 그 교차는 빌딩의 조합론에 의해 묘사된다: 해당 격자 클래스가 $1$-층위를 둘러싸면 성분들은 $\mathbb{P}^1$ 에서 교차한다.
• 상대 로그 미분형식의 배럴 $\Omega^1_p(\log \mathcal{B})$ 는 $V_n$ 에서의 $S_n$--equivariant 사상으로서의 캐논칼 사상이 존재하며, 특별한 섬유에 제한된 경우는 스무딩과 무관하게 일정하며, $H^0(S_Y, \Omega^1_{S_Y}(\log B))$ 에 $V_n$-작용을 캐논칼하게 정의한다.
• 예외적인 경우 $(2,n), (3,6), (3,7), (3,8)$ 에서 카우치 쿼티언트 $\overline{X}(r,n)$ 는 로그 캐논리컬 모델로 추측되며, 예외적인 루트 계열과의 연결 가능성이 있다.