[論文レビュー] Hypersurfaces of low degree are rationally simply-connected

Jason Starr|ArXiv.org|Feb 28, 2006

Algebraic Geometry and Number Theory参考文献 15被引用数 11

ひとこと要約

この論文は、$n \geq d^2$ のとき、$\mathbb{P}^n$ 内の一般の $d$ 次超曲面が有理的単純接続的であることを確立し、固定次数の2点付き有理曲線の空間が有理的接続的であることを証明する。証明は変形理論とノードを持つ曲線を用いた非常にねじれのある準同型の構成を用い、[HS05] の結果を拡張し、有理曲線のモジュライ空間におけるより強い幾何的制御を得ている。

ABSTRACT

This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$.

研究の動機と目的

• $n \geq d^2$ の条件下で、$\mathbb{P}^n$ 内の一般の $d$ 次超曲面の有理的単純接続性を確立すること。
• [HS05] の先行結果を強化し、$e \geq 2$ のとき評価準同型 $\mathrm{ev}: \overline{\mathcal{M}}_{0,2}(X,e) \to X \times X$ の一般のファイバーが既約で、非特異的かつ有理的接続的であることを証明すること。
• ノードを持つ曲線の変形理論的解析を通じて、非常にねじれのある準同型 $\zeta: \mathbb{P}^1 \to \overline{\mathcal{M}}_{0,1}(X,1)$ の存在の構成的基準を提供すること。
• 有理的単純接続性の閾値を明確にし、Tsen-Lang 定理および高次元の有理的接続性と関連付けること。

提案手法

• 有理曲線の次数 $e$ についての帰納法を用い、マーク付き有理曲線の族のファイバーごとの接続和を用いる。
• キーテクニックとして、$\mathbb{P}^1$ 上に直接ではなく、最小次数のねじれのある準同型を持つ成分をもつ、ノードを持つ可約な genus 0 曲線を用いて非常にねじれのある準同型を構成する。
• そのような準同型の存在は、パrameter 空間の Zarsiki 切片空間間の導分写像の全射性に還元され、第 8–10 章で分析される。
• 変形理論を用いて、ノードを持つ曲線が滑らかな有理曲線に変形できることを示し、成分が十分にねじれている場合、その変形が非常にねじれのある準同型を与える。
• 分析は、$\overline{\mathcal{M}}_{0,1}(\mathbb{P}^n,1)$ のネフ錐構造に依存し、評価 $h$ とグラスマン多様体射影 $x$ のような除数類を含み、$\zeta^*h$ および $\zeta^*x$ の次数の上限が用いられる。
• 本論文は、$\mathbb{P}^1$ 上のベクトル束の Grothendieck の分解を用いて、ベクトル束の負性および零性を定義し、ねじれ行動を特徴付けるために用いる。

実験結果

リサーチクエスチョン

• RQ1 一般の $d$ 次超曲面 $X \subset \mathbb{P}^n$ に対して、すべての $e \geq 2$ について、2点付き有理曲線の空間 $\overline{\mathcal{M}}_{0,2}(X,e)$ が有理的接続的となる $n$ と $d$ の条件は何か？
• RQ2 有理的単純接続性を保証するための、$n$ と $d$ の弱い不等式は何か？
• RQ3 $\overline{\mathcal{M}}_{0,0}(X,e)$ の有理的接続性について、$n \geq d^2$ の条件を弱めることは可能か？その場合、鋭い閾値は何か？
• RQ4 1 次の非常にねじれのあるファミリーの存在は、Tsen-Lang 定理および高次元におけるブラウアー障害の有効性にどのように関係するか？
• RQ5 $n+2 \leq d^2$ のとき、$\overline{\mathcal{M}}_{0,0}(X,e)$ は一般型であるか？これは有理的接続性にどのような意味を持つのか？

主な発見

• $n \geq d^2$ かつ $d \geq 2$ のとき、評価準同型 $\mathrm{ev}: \overline{\mathcal{M}}_{0,2}(X,e) \to X \times X$ は全射であり、一般のファイバーは既約で、非特異的かつ有理的接続的である。
• $n = d^2$ のとき、非常にねじれのある準同型 $\zeta: \mathbb{P}^1 \to \overline{\mathcal{M}}_{0,1}(X,1)$ の存在が保証され、$\deg(\zeta^*h) \geq d^2 - d - 1$ および $\deg(\zeta^*x) \geq 2(d^2 - d - 1)$ が成り立つ。
• 証明の鍵となるステップは、パrameter 空間の Zarsiki 切片空間間の導分写像の全射性であり、これは命題 10.1 で変形理論を用いて確立される。
• $d=1$ または $d=2$ のとき、$\overline{\mathcal{M}}_{0,0}(X,e)$ の有理的接続性は、$\mathrm{SL}_n$ や $\mathrm{SO}_{n+1}$ の群作用によって従う。これらの群はモジュライ空間に有理的に作用する。
• $n+2 \leq d^2$ のとき、$e \gg 0$ に対して $\overline{\mathcal{M}}_{0,0}(X,e)$ 上の canonical ディバイザーは大きい。$e \leq n-d$ のとき、粗いモジュライ空間は一般型であり、これは非有理的被覆性の失敗を示唆する。
• 本論文は、$n+1 \geq d^2$ のとき、すべての $e \geq 1$ に対して $\overline{\mathcal{M}}_{0,0}(X,e)$ が有理的被覆であることを示し、de Jong の結果を拡張するが、有理的単純接続性には $n \geq d^2 + 1$ が必要である。