[論文レビュー] Obstructions to the deformations of curves to other hypersurfaces

Bin Wang|arXiv (Cornell University)|Oct 2, 2011

Advanced Numerical Analysis Techniques参考文献 5被引用数 3

ひとこと要約

本稿は、滑らかな超曲面 $f_0 \subset \mathbb{P}^n$ 上の滑らかな曲線 $C_0$ が、1次変形の枠組みで他の超曲面へ変形可能であるための必要条件を確立する。特に、有理曲線の場合、$H^1(N_{C_0}f_0(1))$ の消滅がそのような変形の必要条件であることを証明し、クレメンズの5次3次元超曲面における有理曲線に関する予想に対して新しい手法を提示するとともに、従来の研究よりも弱い変形仮定のもとで、曲線の不変量に関する数値的境界を導出する。

ABSTRACT

We are interested in obstructions to the FIRST order deformation of a pair of a smooth hypersurface $f_0$ and a smooth curve $C_0$ contained in $f_0$. In the first half of the paper, we give necessary conditions for the pair to deform in the first order. In particular, for a rational curve $C_0$, this necessary condition is $$H^1(N_{C_0}f_0(1))=0.$$ In the second half, we apply the necessary conditions from the first half of the paper to study the geometry of smooth curves in hypersurfaces. The main application is for the case where $C_0$ is a rational curve.

研究の動機と目的

• 滑らかな超曲面 $f_0 \subset \mathbb{P}^n$ 上の滑らかな曲線 $C_0$ が他の超曲面へ1次変形可能であるための必要条件を同定すること。
• 特に有理曲線の場合に、$H^1(N_{C_0}f_0) = 0$ が変形の必要十分条件であるかどうかの理解のギャップを埋めること。
• これらの障害を、超曲面上の曲線の幾何に応用し、特にクレメンズの5次3次元超曲面における有理曲線に関する予想の文脈で検討すること。
• 従来の研究よりも弱い変形仮定のもとで、超曲面上の曲線の幾何的 genus $g$ と次数 $d$ に関する数値的境界を導出すること。

提案手法

• パラメータ空間 $S$ としての超曲面族に対して、写像 $P_S^s: H^0(\bar{c}_0^*TX_S) \to T_{f_0}S$ を用いて、ペア $(C_0 \subset f_0)$ の1次変形を形式化すること。
• $S = A$（超曲面の線形族）および $S = E = \mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^n}(h)))$ の2つの特定のパラメータ空間について、$P_A^s$ および $P_E^s$ の全射性を解析すること。
• リーマン・ロッホおよびセール双対性を用いて、$h^i(c_0^*Tf_0(1))$ の次元を計算し、特に $h^1$ に注目すること。
• $H^1(N_{C_0}f_0(1)) = 0$ を有理曲線が他の超曲面へ変形可能であるための必要障害として適用すること。
• コhomologyの消滅と次元数え上げを用いて、genus $g$、次数 $d$、超曲面の次数 $h$ を含む数値不等式を導出すること。
• $GL(n+1)$-対称性を普遍超曲面 $X_E$ に適用し、$Tf_0(1)|_{C_0}$ の全局的切断を構成することで、$h^0(N_{C_0}f_0(1))$ の下界を証明すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな超曲面 $f_0 \subset \mathbb{P}^n$ 上の滑らかな曲線 $C_0$ が、1次変形の枠組みで他の超曲面へ変形可能であるための、必要となるコhomological障害は何か？
• RQ2 有理曲線 $C_0$ が他の超曲面へ1次変形可能であるためには、$H^1(N_{C_0}f_0(1)) = 0$ が必要条件であると考えられるか？
• RQ3 変形仮定を、一般の超曲面への完全な変形から1次変形に弱めた場合、超曲面上の曲線の幾何的 genus $g$ と次数 $d$ に関する数値的境界はどのように変化するか？
• RQ4 これらの結果は、一般の5次3次元超曲面における有理曲線の有限性に関するクレメンズの予想に新たな洞察をもたらすか？
• RQ5 $P_S^s$ の全射性が、曲線-超曲面ペアの幾何にどのように制約を加えるか？

主な発見

• 有理曲線 $C_0$ が滑らかな超曲面 $f_0 \subset \mathbb{P}^n$ 上にある場合、$H^1(N_{C_0}f_0(1)) = 0$ は、$C_0$ が他の超曲面へ1次変形可能であるための必要障害である。
• 本稿は、$P_A^s$ が全射であり、$C_0$ が有理曲線である場合、そのような変形には $H^1(N_{C_0}f_0(1)) = 0$ が必須であることを証明し、クレメンズの予想への新たな必要条件を提供する。
• $P_A^s$ が全射であるという仮定のもとで、曲線の幾何的 genus $g$ と次数 $d$ について、不等式 $g(h - n + 1) \geq (h - 2n)d - n + 1$ あるいは $g \geq \frac{d}{2} + 1$ を導出する。
• $P_E^s$ が全射であると仮定すると、$h^0(N_{C_0}f_0(1)) \geq n - 2$ が成り立ち、したがって $h^0(N_{C_0}f_0) - (n - 4) \geq 2$ が得られる。これは、ある種のコhomology群が消えないことを支持する。
• 導出された境界 $g(h - n + 1) \geq (h - 2n)d - n + 1$ は、完全な変形が仮定された場合のクレメンズの鋭い境界 $g \geq \frac{1}{2}(h - 2n + 1)d + 1$ より弱いが、より弱い1次変形仮定のもとで有効である。
• 本稿は、有理曲線が他の超曲面へ変形可能であるためには $H^1(N_{C_0}f_0(1)) = 0$ が必要であることを確立した。この条件が十分であるかどうかは未解決だが、クレメンズの予想を解決するための新たな道筋を提供する。