[논문 리뷰] A construction of the Deligne--Mumford orbifold

Joel W. Robbin, Dietmar Salamon|ArXiv.org|2004. 07. 06.

Geometric and Algebraic Topology참고 문헌 3인용 수 11

한 줄 요약

이 논문은 노드 구조를 가진 리만 곡면의 모듈리 공간의 델리그레–멈포르 컴팩티피케이션을 보편 사상 성질을 사용하여 구성하며, 이것이 자연스럽게 오르비포인드임을 증명한다. 노드 가닥 가족, 보편 편개, 표면 위의 해석적 구조를 분석함으로써, 저자들은 적절성과 수렴 논증을 통해 모듈리 공간 $\bar{\mathcal{M}}_{g,n}$ 가 하우스도르프이자 순서적으로 컴팩트한 오르비포인드임을 확립한다. 이는 DM 수렴 하에서 극한의 유일성을 보장한다.

ABSTRACT

We define the Deligne Mumford orbifold axiomatically by a universal mapping property, show that this universal mapping property is equivalent to an infinitessimal universal mapping property, and use the latter to give an existence proof.

연구 동기 및 목표

• 보편 사상 성질을 통해 델리그레–멈포르 컴팩티피케이션 $\bar{\mathcal{M}}_{g,n}$ 를 특성화하기.
• 군oids 작용과 안정성 조건을 분석함으로써 $\bar{\mathcal{M}}_{g,n}$ 가 자연스럽게 오르비포인드임을 확립하기.
• 노드 가진 리만 곡면의 수열 수렴을 이용해 모듈리 공간의 순서적 컴팩티피케이션과 하우스도르프 성질을 증명하기.
• 마킹된 노드 구조를 가진 리만 곡면의 DM 수렴 수열의 극한이 유일하게 동형임을 보여, 컴팩티피케이션의 잘 정의됨을 보장하기.
• 테이히뮐러 공간 프레임워크를 노드 구조와 안정 구조를 포함하도록 확장하여, 표면 위의 복소 구조와 오르비포인드 기하학을 연결하기.

제안 방법

• 노드 구조를 가진 리만 곡면의 보편 가족을 사용하여 기저 공간 $B$ 위에 군oids 작용을 정의하며, 이는 섬유의 동형사상에 의해 유도된다.
• DM 수렴(델리그레–멈포르 수렴)의 개념을 사용해 마킹된 노드 곡면의 수열의 극한을 분석한다.
• 표면 간의 해석적 임베딩 수열 $u_k$ 를 사용하여, 제거 가능한 특이점 정리들을 적용해 $(j,j')$-해석적 미분동형사상으로의 수렴을 보인다.
• 버블링 논증을 적용해 극한에서 비자명한 $J$-해석적 원판이 존재하지 않음을 입증함으로써, 마킹점이나 노드 구조의 손실가능성을 배제한다.
• 원천에서 목표로 향하는 사상 $s \times t: \Gamma \to B \times B$ 의 적절성(properness)을 이용해 몫 공간 $B/\Gamma$ 가 하우스도르프이자 순서적으로 컴팩트하다는 것을 유도한다.
• Earle–Eells 정리에 기반하여 $\mathcal{J}(\Sigma)/\mathrm{Diff}_0(\Sigma)$ 가 복소다양체임을 이용하고, 이를 컴팩티피케이션된 모듈리 공간으로 확장한다.

실험 결과

연구 질문

• RQ1 델리그레–멈포르 컴팩티피케이션 $\bar{\mathcal{M}}_{g,n}$ 는 보편 사상 성질을 통해 어떻게 특성화될 수 있는가?
• RQ2 마킹된 노드 구조를 가진 리만 곡면의 DM 수렴 수열의 극한이 동형사상에 대해 유일한가를 보장하는 조건은 무엇인가?
• RQ3 표면 간의 해석적 임베딩 수열이 부드럽게 전역 동형사상으로 수렴하는 조건은 무엇인가?
• RQ4 왜 DM 수렴 하에서 마킹된 노드 구조를 가진 표면의 수열 극한에서는 버블링이 발생할 수 없는가?
• RQ5 마킹점을 보존하는 미분동형사상의 군oids 작용으로부터 $\bar{\mathcal{M}}_{g,n}$ 의 오르비포인드 구조는 어떻게 유도되는가?

주요 결과

• 모듈리 공간 $\bar{\mathcal{M}}_{g,n}$ 는 보편 사상 성질을 만족하고 하우스도르프이자 순서적으로 컴팩트한 몫 구조를 지니므로 자연스럽게 오르비포인드이다.
• 사상 $s \times t: \Gamma \to B \times B$ 는 적절하므로 몫 공간 $B/\Gamma$ 는 하우스도르프이며, 이는 위상적으로 잘 정의됨을 보장한다.
• $\bar{\mathcal{M}}_{g,n}$ 의 순서적 컴팩티피케이션은 노드 가족의 수렴하는 부분수열의 존재에 의해 유도되며, 이는 DM 위상에서의 극한을 포함한다.
• 해석적 임베딩 수열의 극한에서 버블링이 발생할 수 없는 이유는, 그 결과로 생기는 이미지가 특수한 점(마킹점 또는 노드점)의 수를 위반하기 때문이다.
• 두 수열의 마킹된 노드 리만 곡면이 동일한 극한으로 DM 수렴한다면, 그 극한은 서로 동형이므로 컴팩티피케이션의 유일성이 입증된다.
• 해석적 임베딩 수열 $u_k$ 의 극한은 $C^\infty$ 수렴을 통해 전역 $(j,j')$-해석적 미분동형사상 $u_0$ 로 수렴하며, 제거 가능한 특이점 정리에 의해 특이점 근처로도 연장된다.