[논문 리뷰] Kontsevich spaces of rational curves on Fano hypersurfaces

Eric Riedl, David Yang|arXiv (Cornell University)|2014. 09. 12.

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

한 줄 요약

이 논문은 $n \geq d+2$ 인 $\mathbb{P}^n$ 속 일반적인 차수 $d$의 초곡면 $X$에 대해, 차수 $e$의 콘스테비치 안정 사상 $\overline{\mathcal{M}}_{0,0}(X,e)$가 기대되는 차원 $e(n-d+1)+n-4$를 가진 불가약한 국소 완전교차점 스택임을 증명한다. 이는 코스쿠른, 허리스, 스타르의 추측의 거의 모든 경우를 해결하며, 이러한 초곡면에 대한 그로모프-위튼 불변량이 수세적임을 확인한다.

ABSTRACT

We investigate the spaces of rational curves on a general hypersurface. In particular, we show that for a general degree $d$ hypersurface in $\mathbb{P}^n$ with $n \geq d+2$, the space $\overline{\mathcal{M}_{0,0}}(X,e)$ of degree $e$ Kontsevich stable maps from a rational curve to $X$ is an irreducible local complete intersection stack of dimension $e(n-d+1)+n-4$.

연구 동기 및 목표

• 일반적인 Fano 초곡면 위의 유리 곡선 모듈리 공간의 차원과 기하적 구조를 규명하는 것.
• Fano 초곡면에 대해 $\overline{\mathcal{M}}_{0,0}(X,e)$의 기대 차원에 관한 코스쿠른, 허리스, 스타르의 추측을 해결하는 것.
• 모듈리 공간이 기대 차원을 가짐을 증명함으로써 이러한 초곡면에 대한 그로모프-위튼 불변량이 수세적임을 확립하는 것.
• 특히 Fano 범위 $n \geq d+2$ 에서 기대 차원을 가지지 못하는 유리 곡선이 존재하는 부분공간의 codimension을 분석하는 것.
• 모든 차수 $e$ 및 Fano 범위 $n \geq d+2$ 내의 모든 Fano 초곡면에 대해 기존의 유리 곡선 결과를 일반화하는 것.

제안 방법

• 유리 곡선에서 $\mathbb{P}^n$ 으로의 안정 사상의 스택으로서의 콘스테비치 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^n,e)$ 를 사용한다.
• $\overline{\mathcal{M}}_{0,0}(X,e)$ 를 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^n,e)$ 위의 질량 $ed+1$ 벡터 번들의 단면에 의해 잘라낸 부분스택으로 해석한다.
• 변형 이론과 차원 이론적 추론을 적용하여 $\overline{\mathcal{M}}_{0,0}(X,e)$ 의 성분들이 최소한 $e(n-d+1)+n-4$ 의 차원을 가짐을 보인다.
• 기대 차원이 달성됨을 보이기 위해, 열화된 부분공간(예: 비단사 사상 또는 분해 가능한 곡선)에 대한 유도와 codimension 추정을 사용한다.
• 평가 사상의 섬세한 차원을 분석하고 일반성 조건을 사용하여 특정 부분공간의 codimension 이 높음을 보인다.
• 특정 부등식을 적용하여 $n$, $d$, $e$ 를 포함한 codimension 을 유계화함으로써, 기대 차원을 위반하는 부분공간의 codimension 이 유한함을 보이고, 이로써 기대 차원의 달성, 불가약성, 국소 완전교차점의 구조를 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 Fano 초곡면 $X \subset \mathbb{P}^n$ 에 대해 차수 $e$의 유리 곡선의 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 기대 차원 $e(n-d+1)+n-4$ 을 가질까?
• RQ2 기대 차원을 가진다 하더라도, $n \geq d+2$ 일 때 일반적인 $X$ 에 대해 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 불가약하고 국소 완전교차점 스택인가?
• RQ3 이러한 초곡면의 그로모프-위튼 불변량은 수세적인가, 즉 실제로 입자 조건을 만족하는 유리 곡선을 세는가?
• RQ4 $\overline{\mathcal{M}}_{0,0}(X,e)$ 내에서 비단사 또는 분해 가능한 유리 곡선의 부분공간 $S_e$ 의 codimension 은 얼마이며, 이는 기대 초과치를 초과하는가?
• RQ5 Fano 범위 $n \geq d+2$ 에서 모든 $e$ 에 대해 코스쿠른, 허리스, 스타르의 추측이 성립하는가, 유일하게 제외되는 경우는 $(n,d) = (3,4)$ 인가?

주요 결과

• 일반적인 차수 $d$의 초곡면이 $\mathbb{P}^n$ 에 있고 $n \geq d+2$ 를 만족할 때, 공간 $\overline{\mathcal{M}}_{0,0}(X,e)$ 는 차원 $e(n-d+1)+n-4$ 를 가진 불가약한 국소 완전교차점 스택이다.
• 비단사 또는 분해 가능한 사상의 부분공간 $S_e$ 의 codimension 은 $e \leq \frac{n+1}{n-d+1}$ 일 때 $\binom{n}{2} + d - 2en + \frac{e(e+1)}{2}(n-d+1) - e + 1$ 이상이며, 이 값은 $n \geq 6$ 일 때 양수이다.
• 고정된 점 $p \in X$ 를 통과하는 차수 $e$의 유리 곡선의 공간은 $n \geq d+2$ 일 때 모든 $e$ 에 대해 기대 차원을 가진다. 이는 codimension 추정과 유도를 통해 증명된다.
• 이 결과는 코스쿠른-허리스-스타르 추측의 거의 모든 경우를 해결하며, 유일하게 제외되는 경우는 $(n,d) = (3,4)$ 이다.
• 이러한 초곡면의 그로모프-위튼 불변량은 기대 차원을 가지며 불가약하므로 수세적임이 보장된다.
• 증명은 평가 사상의 섬세한 차원이 높은 codimension 을 가지며, 열화된 부분공간이 모듈리 공간을 지배하지 않음을 보여 기대 차원이 달성됨을 보장한다.