[논문 리뷰] The Kodaira dimension of spaces of rational curves on low degree hypersurfaces

Jason Starr|ArXiv.org|2003. 05. 29.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 15

한 줄 요약

이 논문은 일반적인 초구면체 $X \subset \mathbb{P}^n$ 에서 차수 $e$ 의 유리 곡선을 매개화하는 Kontsevich 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 특이점과 Kodaira 차원을 조사한다. 조건 $d + e \leq n$ 에서 이 모듈리 공간이 오직 캐논리컬 특이점을 가지며, 그 캐논리컬 분할을 계산함으로써 대부분의 $(d,e)$ 에서 $n \leq d^2 \leq n^2$ 를 만족할 경우 그 분할이 크다고 보여주며, 이는 추측에 기반하여 그 추측적 일반 유형 성격을 지닌 계수 모듈리 공간을 유도한다.

ABSTRACT

For a hypersurface in complex projective space $X\subset \PP^n$, we investigate the singularities and Kodaira dimension of the Kontsevich moduli spaces $\Kbm{0,0}{X,e}$ parametrizing rational curves of degree $e$ on $X$. If $d+e \leq n$ and $X$ is a general hypersurface of degree $d$, we prove that $\Kbm{0,0}{X,e}$ has only canonical singularities and we conjecture the same is true for the coarse moduli space $\kbm{0,0}{X,e}$.This investigation is motivated by the question of which Fano hypersurfaces are unirational.

연구 동기 및 목표

• 일반적인 초구면체 $X \subset \mathbb{P}^n$ 에서 차수 $d$ 의 유리 곡선에 대한 Kontsevich 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 특이점과 Kodaira 차원을 결정하는 것.
• $d + e \leq n$ 조건 하에서 $\overline{\mathcal{M}}_{0,0}(X,e)$ 가 캐논리컬 특이점을 가지는지 조사하며, 이는 기존의 $d=1,2$ 경우의 결과를 확장하는 것.
• $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 캐논리컬 분할을 계산하고, 그것이 언제 크기인지 결정함으로써 잠재적인 일반 유형 행동을 나타내는 것.
• 이 기하적 성질을 Fano 초구면체의 유리성 문제와 연결하며, 특히 Kollár 기준법을 통한 유리 표면을 통한 연결.

제안 방법

• 모듈리 스택 $\overline{\mathcal{M}}_{0,0}(X,e)$ 위의 안정 사상의 보편 가닥을 변형 이론과 교차 이론을 사용하여 분석함.
• 지역 완전 교차 스택 이론과 반정규화 이론을 적용하여 특이점과 분할 클래스를 연구함.
• 보편 곡선과 $X$ 로의 사상의 기하학적 성질에서 유도된 캐논리컬 분할 공식을 사용함. 이는 경계 분할 $\mathcal{D}_{i,j}$ 와 $\mathbb{Q}$-분할 $\mathcal{H}$ 를 포함함.
• 안정 사상의 $a$-정규성과 유리성 개념을 활용하여 분할 클래스의 역상 제어 및 크기 성립을 확립함.
• Kollár과 Shokurov의 조정의 역전 추측에 의존하여 특이점 문제를 추측적 프레임워크로 환원함.
• 낮은 차수 영역에서 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 행동을 제약하기 위해 [15] 및 [16] 의 차원과 유리 연결성에 관한 결과를 적용함.

실험 결과

연구 질문

• RQ1 모든 $d \leq n-2$ 와 일반적인 초구면체 $X$ 에 대해 차수 $d$ 에 대해 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 어떤 유형의 특이점을 가지는가?
• RQ2 $(n,d,e)$ 가 어떤 조건을 만족할 경우 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 캐논리컬 분할이 크기가 되는가? 이는 잠재적인 일반 유형 행동을 나타냄.
• RQ3 계수 모듈리 공간 $\overline{M}_{0,0}(X,e)$ 는 스택 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 캐논리컬 특이점과 크기 성질을 그대로 이어받는가?
• RQ4 $d+e \leq n$ 조건 하에서 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 캐논리컬 분할은 어떻게 행동하는가? 이는 Kodaira 차원에 대해 어떤 함의를 갖는가?
• RQ5 캐논리컬 분할의 크기 성질을 이용하여, 조정의 역전 추측이 성립할 경우 $\overline{M}_{0,0}(X,e)$ 가 일반 유형임을 유추할 수 있는가?

주요 결과

• 조건 $d + e \leq n$ 과 $e \geq 2$ 에서, 모듈리 스택 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 캐논리컬 특이점만을 가지며, 이는 정리 7.6에 의해 입증됨.
• 대부분의 $(d,e)$ 에서 $n \leq d^2 \leq n^2$ 를 만족할 경우 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 캐논리컬 분할은 크기이며, 특히 $d < \min(n-3, \frac{n+1}{2})$ 이고 $d^2 \geq n+2$ 인 경우 큰 $e$ 에 대해 성립함.
• 조건 $d < \min(n-6, \frac{n+1}{2})$ 이고 $d^2 + d \geq 2n+2$ 이면, 모든 $e > 0$ 에 대해, 즉 $e=2$ 와 $e \geq 3$ 에 대해서도 캐논리컬 분할은 크기임.
• 조건 $d+e \leq n$ 에서 $e \geq 3$ 이거나 $e=2$ 이고 $d+3 \leq n$ 이면, 조정의 역전 추측이 성립할 경우 캐논리컬 분할은 크기임.
• 계수 모듈리 공간 $\overline{M}_{0,0}(X,e)$ 는 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 캐논리컬 분할이 크기이고 스택에서 공간으로의 사상이 2차원에서의 등장이 보장될 경우 일반 유형임을 추측함.
• 모든 기하적 일반 점이 유리적 안정 사상( birational stable map )을 매개화할 경우, $\mathbb{Q}$-분할 클래스 $\mathcal{H}$ 의 역상은 기저점이 없고 크기이며, 이는 레마 10.9(1)에 의해 입증됨.