[논문 리뷰] Compactifying the space of stable maps

Dan Abramovich, Angelo Vistoli|ArXiv.org|1999. 08. 30.

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

한 줄 요약

이 논문은 안정적인 맵의 모듈리 공간에서의 컴팩티피케이션 결함을 해결하기 위해 오르비스페이스 구조를 가진 오르비 곡선에서 흐트러진 안정적 맵을 도입한다. 노드에서 루트 스택을 사용하여 소스 곡선에 오르비스페이스 구조를 도입함으로써, 저자들은 $\mathcal{K}_{g,n}(\mathcal{M},d)$라는 적절한 대수적 스택을 구성한다. 이 스택은 안정적 맵의 공간을 컴팩티파이하며, 적절한 조건 하에서 이것이 프로퍼 딜리그레-무프 스택이자 코arse 모듈리 공간이 프로젝티브인 성질을 가짐을 증명한다.

ABSTRACT

We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli space.

연구 동기 및 목표

• 델리그레-무프 스택으로의 안정적 맵의 모듈리 공간에서 컴팩티피케이션의 실패를 해결하기 위해, 특히 소스 곡선이 붕괴할 경우를 대비한다.
• 스택이 스킴가 아닐 때를 포함하여, 콘체비치의 안정적 맵 모듈리 공간을 스택으로 일반화하기 위해 노력한다.
• 노드에서 오르비스페이스 구조를 갖는 새로운 맵 클래스—흐트러진 안정적 맵—을 정의함으로써 컴팩티피케이션을 가능하게 한다.
• 타임성과 프로젝티비티 조건 하에서, 흐트러진 안정적 맵의 스택이 프로퍼 딜리그레-무프 스택이며 코arse 모듈리 공간이 프로젝티브임을 증명한다.
• 코arse 모듈리 공간 맵이 연장되지 않더라도 극한 맵을 포함하는 컴팩티피케이션의 존재를 확립한다.

제안 방법

• 노드에서 루트 스택을 취하여 $\mu_m$-작용을 사용해 특이점을 해결함으로써, 델리그레-무프 스택으로서의 흐트러진 곡선을 도입한다.
• 압히앙카르의 보조정리와 순수성 보조정리를 사용하여, 기본 변화 후 곡선의 매끄러운 부분에서 스택 $\mathcal{M}$으로의 맵을 연장한다.
• 흐트러진 안정적 맵을, 안정성 조건이 고전적 안정적 맵과 유사한 흐트러진 곡선 $\mathcal{C} \to \mathcal{M}$의 사상으로 정의한다.
• 스키마 위의 피브레드 카테고리로서 $\mathcal{K}_{g,n}(\mathcal{M},d)$ 모듈리 스택을 아틀라스와 오르비스페이스 차트를 사용해 구성한다.
• 그로텐디크의 존재 정리에 기반하여, 흐트러진 스택에 대해 약한 값 평가 기준과 유계성 조건을 검증함으로써 스택이 대수적 스택임을 증명한다.
• 형식 완비화와 강하 기법을 적용하여, 흐트러진 스택의 형식 완비화 위의 코herent 층이 대수화 가능함을 보이며, 이는 프로퍼티를 증명하는 데 핵심적이다.

실험 결과

연구 질문

• RQ1 왜 고전적 안정적 맵의 개념은 $\mathcal{B}G$와 같은 델리그레-무프 스택으로의 맵에 대해 컴팩티피케이션에 실패하는가?
• RQ2 코arse 모듈리 맵은 연장되지만 스택 맵은 연장되지 않는 경우, 곡선의 일반 섹션에서 안정적 맵을 스택으로 연장하는 방법은 무엇인가?
• RQ3 어떤 기하적 구조가 소스 곡선에 부여되어, 붕괴한 극한에서 스택으로의 맵을 연장할 수 있게 하는가?
• RQ4 코arse 모듈리 공간이 프로젝티브인 흐트러진 델리그레-무프 스택으로의 흐트러진 안정적 맵의 모듈리 스택은 프로퍼 딜리그레-무프 스택인가?
• RQ5 흐트러진 스택의 완비화 위의 형식 코herent 층은 대수화 가능할 수 있으며, 이는 컴팩티피케이션의 존재를 보장하는가?

주요 결과

• 스택 $\mathcal{K}_{g,n}(\mathcal{M},d)$는 $\mathcal{M}$이 프로젝티브 코arse 모듈리 공간을 가진 흐트러진 델리그레-무프 스택일 경우, 프로퍼 딜리그레-무프 스택이다.
• 이 스택은 프로젝티브 코arse 모듈리 공간 $\mathbf{K}_{g,n}(\mathcal{M},d)$를 갖는다. 이는 콘체비치의 구성 방식을 스택으로 일반화한 것이다.
• 흐트러진 안정적 맵은 $\mathcal{B}G$의 경우 컴팩티피케이션 실패를 해결한다. $G = (\mathbb{Z}/3\mathbb{Z})^4$일 때, 코arse 모듈리 맵이 실패하더라도 안정적 맵은 여전히 흐트러진 곡선으로 연장된다.
• 이 구성은 소스 곡선의 노드에서 오르비스페이스 구조를 부여하기 위해 루트 스택을 사용하며, 순수성과 강하 기법을 통해 맵의 연장이 가능하다.
• 그로텐디크의 존재 정리에 따르면, 흐트러진 스택의 형식 완비화 위의 코herent 층은 대수화 가능하며, 이는 프로퍼티를 증명하는 데 핵심적이다.
• 카테고리 $\mathcal{K}_{g,n}(\mathcal{M},d)$는 약한 값 평가 기준과 유계성 조건을 만족하며, 이는 그것이 대수적 스택임을 확인한다.