[논문 리뷰] Geometric realizations of the multiplihedron and its complexification

S. Ma’u, Chris Woodward|ArXiv.org|2008. 02. 15.

Geometric and Algebraic Topology참고 문헌 10인용 수 16

한 줄 요약

이 논문은 안정된 퀼트 디스크의 모듈리 공간으로서 다중곱의 다면체를 기하학적으로 실현하며, 이는 다중곱의 다면체 $J_n$ 와 동형인 CW 복합체로 나타낸다. 또한 이 공간의 복소화를 복소 사영 다양체로 구성하며, 토릭 특이점을 지닌다. 실 부위는 대칭군 작용 하에서 기본 영역으로서 $J_n$ 을 포함함을 보이며, 그로테인드-크누센 모듈리 공간에서 아소시아헤드론의 역할을 일반화한다.

ABSTRACT

We realize Stasheff's multiplihedron geometrically as the moduli space of stable quilted disks. This generalizes the geometric realization of the associahedron as the moduli space of stable disks. We show that this moduli space is the non-negative real part of a complex moduli space of stable scaled marked curves.

연구 동기 및 목표

• 안정된 $n+1$개의 경계 마킹과 $z_0$ 를 통과하는 내부 원을 가진 퀼트 디스크의 모듈리 공간으로서 다중곱의 다면체 $J_n$ 의 기하학적 실현을 제공한다.
• 이 실현을 실 모듈리 공간으로부터 복소 모듈리 공간으로 확장하여, 안정된 스케일링된 마킹된 곡선의 복소 모듈리 공간으로 일반화한다.
• 복소 모듈리 공간 $\overline{M}_{n,1}(\mathbb{C})$ 가 토릭 특이점을 지닌 복소 사영 다양체임을 보인다.
• 복소 모듈리 공간 $\overline{M}_{n,1}(\mathbb{C})$ 의 실 부위가 대칭군 $S_n$ 작용 하에서 다중곱의 다면체 $\overline{M}_{n,1}$ 을 기본 영역으로 포함함을 확립한다.
• 기존의 아소시아헤드론과 그로테인드-크누센 모듈리 공간 간의 관계를 다중곱의 다면체 경우로 일반화한다.

제안 방법

• 경계에 $n+1$개의 마킹점과 $z_0$ 를 통과하는 내부 원을 가진 안정된 퀼트 디스크의 모듈리 공간 $M_{n,1}$ 을 정의하고, 노드 구성을 允許함으로써 $\overline{M}_{n,1}$ 으로 컴actify한다.
• 조합적 타입 분류와 노드 분열을 통해 $\overline{M}_{n,1}$ 과 다중곱의 다면체 $J_n$ 사이의 CW 복합체 동형을 확립한다.
• $M_{n,1}$ 을 이동에 대한 몫으로서 $n$개의 실수 점으로서 식별하고, 이를 복소 모듈리 공간 $M_{n,1}(\mathbb{C})$ 에 포함시킨다.
• Ziltener의 구성에 따라, 표준 목표가 자명한 아핀 직선 위의 심플렉틱 바이러스의 모듈리 공간으로서 $\overline{M}_{n,1}(\mathbb{C})$ 의 컴 pactification 을 구성한다.
• 교차비 좌표를 사용하여 $\overline{M}_{n,1}(\mathbb{C})$ 에 국소 차트를 정의하고, 이 공간이 토릭 특이점을 지닌 복소 사영 다양체임을 보인다.
• 색깔이 있는 트리 분해와 교차비 불변량을 사용하여, $\overline{M}_{n,1}(\mathbb{C})$ 의 실 부위가 $S_n$-작용 하에서 $\overline{M}_{n,1}$ 을 기본 영역으로 포함함을 증명한다.

실험 결과

연구 질문

• RQ1 다중곱의 다면체 $J_n$ 은 마킹점과 내부 원을 가진 안정된 퀼트 디스크의 모듈리 공간으로 기하학적으로 실현될 수 있는가?
• RQ2 안정된 퀼트 디스크의 모듈리 공간은 자연스러운 복소화로서 복소 대수적 다양체로 존재하는가?
• RQ3 $\overline{M}_{n,1}(\mathbb{C})$ 는 토릭 특이점을 지닌 복소 사영 다양체인가?
• RQ4 대칭군 $S_n$ 이 $\overline{M}_{n,1}(\mathbb{C})$ 의 실 부위에 작용할 때, 다중곱의 다면체 $\overline{M}_{n,1}$ 이 이 작용에 대한 기본 영역이 되는가?
• RQ5 $\overline{M}_{n,1}(\mathbb{C})$ 의 복소 모듈리 공간은 실 모듈리 공간 $\overline{M}_{n,1}$ 과 어떻게 관련되어 있으며, 교차비는 이 관계에서 어떤 역할을 하는가?

주요 결과

• 안정된 $n$-마킹 퀼트 디스크의 모듈리 공간 $\overline{M}_{n,1}$ 은 CW 복합체로서 다중곱의 다면체 $J_n$ 과 동형이며, 이는 $J_n$ 의 기하학적 실현을 제공한다.
• 복소 모듈리 공간 $\overline{M}_{n,1}(\mathbb{C})$ 는 토릭 특이점을 지닌 복소 사영 다양체이며, $\mathbb{C}$ 상의 $n$개 점의 구성에 대해 이동에 대한 몫으로서 컴 pactify된 것으로 구성된다.
• $\overline{M}_{n,1}(\mathbb{C})$ 의 실 부위는 대칭군 $S_n$ 작용 하에서 다중곱의 다면체 $\overline{M}_{n,1}$ 을 기본 영역으로 포함한다.
• $\overline{M}_{n,1}(\mathbb{C})$ 에서의 국소 차트는 교차비로 정의되며, 이러한 좌표를 통해 공간은 국소적으로 토릭 다양체와 동형이다.
• $\phi_T: \overline{M}_{n,1,\leq T}(\mathbb{C}) \to X^*(T)$ 는 동형이며, 각 조합적 타입이 아르지티 제너릭 열린 부분공간을 지닌 토릭 다양체와 동형임을 보여준다.
• 복소 모듈리 공간 $\overline{M}_{n,1}(\mathbb{C})$ 는 경계 근처에서 $M_{n,1,T}(\mathbb{C}) \times X(T)$ 와 국소적으로 동형이며, 이는 그가 토릭 특이점을 지닌 사영 다양체임을 확인한다.