[논문 리뷰] The connectedness of the moduli space of maps to homogeneous spaces

Byeong Chul Kim, Rahul Pandharipande|ArXiv.org|2000. 03. 27.

Advanced Algebra and Geometry참고 문헌 4인용 수 31

한 줄 요약

이 논문은 컴팩트한 복소수 동차공간 $\mathbf{G}/\mathbf{P}$ 로의 안정 사상의 모듈리 공간의 연결성을 확립하며, 모든 $g$, $n$, 및 $\beta$ 에 대해 $\overline{M}_{g,n}(...$의 연결성을 증명한다. 증명은 $\mathbf{G}/\mathbf{P}$ 위의 최대 토루스의 작용과 Bialynicki-Birula 분할을 통한 특수화를 이용하며, 토루스 고정점의 구조와 벡터 표현으로의 $\mathbf{G}/\mathbf{P}$ 에 대한 등변 비라시오널리티로부터 유비쿼터리티와 연결성이 유도됨을 보여준다.

ABSTRACT

We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.

연구 동기 및 목표

• 모든 귀납적 복소수 동차공간 $\mathbf{G}/\mathbf{P}$, 종수 $g$, 곡선류 $\beta$ 에 대해 모듈리 공간 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 의 연결성을 확립한다.
• 기존의 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 의 기약성 결과를 일반 종수로 확장하여 연결성을 증명한다.
• 토루스 작용 하에서 고정점 분석을 통해 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 의 유비쿼터리티를 보여준다.
• 토루스-등변 기하학과 몫 구성 방법을 통해 경계 스트라타의 구조와 기약성을 분석한다.

제안 방법

• 최대 토루스 $\mathbf{T}$ 의 작용을 이용하여 $\mathbf{G}/\mathbf{P}$ 에서 아핀 스트라타를 갖는 Bialynicki-Birula 분할을 구성한다.
• 특수화 기법을 적용하여 $\mathbb{C}^*$-작용 하에서 사상의 극한을 고려함으로써, $X$ 내의 $\mathbb{P}^1$ 들의 표준적 구성으로 감소시킨다.
• 모듈리 공간을 안정적이고, 점이 있는, 모듈러스 그래프 $\tau$ 로 인덱싱된 스트라타로 분해하며, 각각은 고정된 위상형태와 곡선류 분포 $\beta_\tau$ 를 갖는다.
• Bialynicki-Birula 이론에서의 등변 비라시오널리티 결과를 활용하여, $g=0$ 일 때 각 스트라타 $\overline{M}_{\tau,n}(\mathbf{G}/\mathbf{P},\beta_\tau)$ 가 유비쿼터리리 됨을 보여준다. 이는 고정점에서의 탄성 표현을 이용한다.
• Bialynicki-Birula 의 정리 2.5 의 개선된 형태를 사용하여, 고정점 주변의 이웃과 그 탄성 공간 표현 사이의 $\mathbb{C}^* \times \mathbf{A}$-등변 비라시오널리티를 확립한다.
• Katsylo 와 Bogomolov 의 $\mathrm{SL}_2$-표현의 몫에 관한 결과를 적용하여, 자명하지 않은 자기동형사상 군이 존재하는 경우에도, 그 계수 모듈리 공간이 여전히 유비쿼터리리 됨을 유도한다.

실험 결과

연구 질문

• RQ1 만일 $X = \mathbf{G}/\mathbf{P}$ 가 컴팩트한 복소수 동차공간이라면, 모든 $g$, $n$, 및 $\beta$ 에 대해 모듈리 공간 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 는 연결되는가?
• RQ2 토루스 작용을 이용하여 모든 동차공간에 대해 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 의 기약성을 통일적으로 확립할 수 있는가?
• RQ3 유비쿼터리티가 토루스 고정점의 유비쿼터리티와 그 몫으로부터 유도되는가?
• RQ4 사상의 자기동형사상 군이 모듈리 공간의 비라시오널 기하학에 미치는 영향은 낮은 차수 또는 낮은 마킹 수의 경우 어떻게 되는가?
• RQ5 스ингularity 또는 비자명한 자기동형사상이 존재하는 경우에도, Bialynicki-Birula 분할이 모듈리 공간의 연결성을 증명하는 데 사용될 수 있는가?

주요 결과

• 모든 $g$, $n$, 및 $\beta$ 에 대해 모듈리 공간 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 는 Theorem 1 에 의해 연결됨을 증명함.
• 종수 0 모듈리 공간 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 는 연결성과 몫 특이점의 구조로부터 기약임을 보임.
• 모듈러스 그래프 $\tau$ 로 인덱싱된 각 스트라타 $\overline{M}_{\tau,n}(\mathbf{G}/\mathbf{P},\beta_\tau)$ 는 Theorem 2 에 의해 연결됨.
• 모듈리 공간 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 는 Theorem 3 에 의해 등변 비라시오널리티를 통해 고정점에서의 탄성 표현으로 유도되므로 유비쿼터리리 됨.
• 자기동형사상 군이 비자명한 경우 (예: $\Sigma_3$ 또는 $\Sigma_2$)에도 계수 모듈리 공간은 여전히 유비쿼터리리며, 이는 자기동형사상 군에 의한 선형 표현의 몫과 비라시오널리티 때문임.
• 모듈리 공간 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 의 경계 디바이더는 Corollary 2 의 결과로 기인하여 기약임을 보임. 이는 스트라타 $\overline{M}_{\tau,n}(\mathbf{G}/\mathbf{P},\beta_\tau)$ 의 기약성에서 유도됨.