[논문 리뷰] Rational curves on hypersurfaces of low degree

Joe Harris, Mike Roth외 1명|ArXiv.org|2002. 03. 08.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 일반적인 복소수 초곡면 $X \subset \mathbb{P}^n$ 에 대해 $d < \frac{n+1}{2}$ 이고 $n > 2$ 라면, degree $e$ 의 smooth rational curve 를 매개변수화하는 scheme $R_e(X)$ 는 기대 차원 $(n+1-d)e + (n-4)$ 을 가지며, 이는 integral 이고 local complete intersection scheme 임을 증명한다. 증명은 변형 이론, stable maps 의 Kontsevich 모듈리 공간, 그리고 일반화된 bend-and-break 보조정리에 의한 경계 성분의 조합적 분석을 통합한다.

ABSTRACT

Let n &gt; 2 and let d &lt; (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.

연구 동기 및 목표

• 일반적인 초곡면 $X \subset \mathbb{P}^n$ 에 대해 degree $d$ 이며, degree $e$ 의 smooth rational curve 를 매개변수화하는 scheme $R_e(X)$ 의 기하적 구조를 규명하는 것.
• $d < \frac{n+1}{2}$ 일 때, $R_e(X)$ 가 기대 차원 $(n+1-d)e + (n-4)$ 을 가지며 integral 이고 local complete intersection scheme 임을 확립하는 것.
• stable map 모듈리 공간과 변형 이론의 기법을 확장하여 $R_e(X)$ 의 기약성과 차원을 분석하는 것.

제안 방법

• R_e(X) 를 Kontsevich 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 열린 부분스킴으로 매립함으로써, 이는 모듈러적 컴actification 를 제공한다.
• Behrend-Manin 분해를 사용하여 $\overline{\mathcal{M}}_{0,0}(X,e)$ 를 stable $A$-그래프로 색인화된 국소적으로 닫힌 부분집합들로 분할한다.
• 평가 사상 $\overline{\mathcal{M}}_{0,1}(X,e) \to X$ 가 평탄하고 일반적으로 차단되지 않음을 증명함으로써, 기대 차원과 스무스성 보장.
• Mori 의 bend-and-break 보조정리의 변종을 적용하여, $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 모든 기약 성분이 domain 곡선이 $X$ 안의 직선으로 매핑되는 기본 성분을 통해 유래됨을 보임.
• 기본 성분들 사이의 조합적 동치 관계를 사용하여, 이러한 모든 성분들이 $\overline{\mathcal{M}}_{0,0}(X,e)$ 에서 동일한 기약 성분을 유도함을 증명함으로써 기약성 확보.
• 포인트가 있는 직선의 incidence correspondence 의 평탄성 결과를 활용하여, 기본 성분들이 기대 차원을 가지며 integral 이고 unibranch 임을 보임.

실험 결과

연구 질문

• RQ1 초곡면 $X \subset \mathbb{P}^n$ 의 degree $d$ 에 대해, smooth rational curve 를 매개변수화하는 scheme $R_e(X)$ 가 기대 차원을 가지며 integral 이고 local complete intersection scheme 임을 보장하는 조건은 무엇인가?
• RQ2 Kontsevich 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 구조는 저도수 초곡면 위의 유리 곡선의 기하학을 어떻게 반영하는가?
• RQ3 Stable $A$-그래프 와 그 수축의 조합적 분석을 통해 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 기약성을 확립할 수 있는가?
• RQ4 저도수 초곡면에 대해, 평가 사상 $\overline{\mathcal{M}}_{0,1}(X,e) \to X$ 가 평탄하고 일반적으로 차단되지 않도록 보장하는 조건은 무엇인가?

주요 결과

• $n > 2$ 이고 $d < \frac{n+1}{2}$ 라면, scheme $R_e(X)$ 는 차원 $(n+1-d)e + (n-4)$ 을 가지며 integral 이고 local complete intersection scheme 이다.
• 이러한 초곡면에 대해, Kontsevich 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 기약적이며 기대 차원을 가진다.
• 평가 사상 $\overline{\mathcal{M}}_{0,1}(X,e) \to X$ 는 평탄하고 일반적으로 차단되지 않으며, 이는 모듈리 공간의 기대 차원과 스무스성을 보장한다.
• 포인트가 있는 직선의 incidence correspondence $F_{0,1}(X)$ 는 $X$ 에 대해 상대 차원 $n-d-1$ 을 가지며, 이는 기본 성분들이 integral 이고 unibranch 임을 암시한다.
• $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 모든 기약 성분들은 조합적 동치 관계에 따라 동일한 기본 성분의 동치류에서 유래되며, 이는 기약성을 증명한다.
• 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 기대 차원을 가지며 reduced 이고 local complete intersection 스택이며, $R_e(X)$ 는 그 유일한 밀도 있는 스트라움이다.