[論文レビュー] Kontsevich spaces of rational curves on Fano hypersurfaces

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

Algebraic Geometry and Number Theory参考文献 27被引用数 3

ひとこと要約

この論文は、$n \geq d+2$ である一般の次数 $d$ の超曲面 $X \subset \mathbb{P}^n$ に対して、次数 $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$.

研究の動機と目的

• 一般のファノ超曲面上の有理曲線のモジュライ空間の次元と幾何的構造を特定すること。
• ファノ超曲面に対して、空間 $\overline{\mathcal{M}}_{0,0}(X,e)$ の期待される次元に関するコスクン、ハリス、スタールの予想を解決すること。
• モジュライ空間が期待される次元を持つことを示すことにより、これらの超曲面上のグロモフ＝ウィッテン不変量が数え上げ的であることを確立すること。
• 有理曲線が期待される次元を持たないような部分集合の余次元を解析すること、特に $n \geq d+2$ のファノ範囲において。
• 有理曲線に関する既知の結果を、すべての次数 $e$ および $n \geq d+2$ の範囲におけるすべてのファノ超曲面へと拡張すること。

提案手法

• 有理曲線から $\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$ 以上であることを示すこと。
• 帰納法と退化部分集合（例えば、非単射写像や多様体の曲線）の余次元推定を用いて、期待される次元が達成されることを証明すること。
• 評価写像の纤维次元を解析し、一般性の仮定を用いて、特定の部分集合が高余次元を持つことを示すこと。
• 余次元を制限するための重要な不等式（$n$, $d$, $e$ に関するもの）を適用し、期待される次元を満たさない部分集合の余次元を評価することで、既約性および局所的完全交差構造を証明すること。

実験結果

リサーチクエスチョン

• RQ1 一般のファノ超曲面 $X \subset \mathbb{P}^n$（次数 $d$）上の次数 $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)$ 内の非単射または多様体の有理曲線の部分集合の余次元は何か？ そして、期待される閾値を超えるか？
• RQ5 ファノ範囲 $n \geq d+2$ において、コスクン、ハリス、スタールの予想はすべての $e$ に対して成り立つか？ ただし $(n,d)=(3,4)$ の場合を除く。

主な発見

• 一般の次数 $d$ の超曲面 $X \subset \mathbb{P}^n$ に対して $n \geq d+2$ が成り立つとき、空間 $\overline{\mathcal{M}}_{0,0}(X,e)$ は次元 $e(n-d+1)+n-4$ の既約な局所的完全交差スタックである。
• 非単射または多様体の写像の部分集合 $S_e$ の余次元は、$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$ に対して期待される次元を持つ。これは余次元の境界と帰納法により示される。
• この結果により、コスクン＝ハリス＝スタールの予想のうち、$(n,d) = (3,4)$ の場合を除くすべてのケースが解決される。
• これらの超曲面上のグロモフ＝ウィッテン不変量は、モジュライ空間が期待される次元を持ち、かつ既約であるため、数え上げ的である。
• 証明は、評価写像の纤维が高余次元を持ち、退化部分集合がモジュライ空間を支配しないことを示すことに依拠しており、これにより期待される次元が達成されることを保証する。