[論文レビュー] Generation and syzygies of the first secant variety

Peter Vermeire|ArXiv.org|Sep 25, 2008

Genetics and Plant Breeding参考文献 50被引用数 3

ひとこと要約

本稿では、ヒルベルト多様体上のコhomologicalな消失技術を用いて、滑らかな代数多様体の1次セカント多様体が$N_{3,p}$性質を満たすための有効な正則性条件を確立する。滑らかな曲線に対しては、埋め込み次数$d \geq 2g + 3 + p$が$Σ_1$が$N_{3,p}$を満たすことを示し、既存の結果よりも良い有効な境界を与えるとともに、セカント多様体の連接構造に関する予想の一部を確認する。

ABSTRACT

Under certain effective positivity conditions, we show that the secant variety to a smooth variety satisfies $N_{3,p}$. For smooth curves, we provide the best possible effective bound on the degree $d$ of the embedding, $d\geq 2g+3+p$.

研究の動機と目的

• 滑らかな曲線の1次セカント多様体$Σ_1$が$N_{3,p}$性質を満たすための有効な次数境界を確立すること。
• 線分束の正則性条件のもとで、滑らかな高次元多様体に対しても$N_{3,p}$条件を拡張すること。
• ヒルベルト多様体とベクトル束を用いたコhomologicalな枠組みを提供し、セカント多様体の連接構造を分析すること。
• 特に曲線に対して、セカント多様体の連接構造に関する予想を確認・強化すること。
• 幾何的性質とグリーン＝ラザルフェルドの連接理論を、$Σ⁷ⁱX$における消失定理を通じて結びつけること。

提案手法

• コシュール型の基準を用いる：$Σ_1$が$N_{3,p}$を満たすための必要十分条件は、$2 \leq a \leq p+1$、$b \geq 2$に対して$H^1(\Sigma_1, \wedge^a M_L(b)) = 0$が成り立つこと。ここで$M_L$は$\Omega_{\mathbb{P}^n}(1)$の引き戻しである。
• 双被覆$d: Z \to \operatorname{Hilb}^2 X$を用いて、$Z = \operatorname{Bl}_\Delta(X \times X)$への吹き上げを通じて、$\Sigma_1$上のコhomology消失を再解釈する。
• 文献[18, 5.8]のスペクトル系列を適用し、$\operatorname{Tor}$消失と連接生成の関係を結びつけ、問題を$Z$上の消失に還元する。
• $i=1,2$に対して、$H^i(Z, \wedge^{a-1+i} d^* M_L \otimes L \boxtimes L \otimes \mathcal{O}(-E_\Delta)) \cong H^i(X, N^*_{X/\mathbb{P}^n} \otimes \wedge^{a-1+i} M_L \otimes L^2)$の同型を用いる。
• 接束の双対と線分束の正則性、および$L$の正則性を用いて、$H^i(X, N^*_{X/\mathbb{P}^n} \otimes \wedge^{a-1+i} M_L \otimes L^2)$の消失を証明する。
• $(\wedge^a M_L \otimes N^*(2))$が$M_L$のテンソル巾の部分束として現れることを用い、ビッグかつネフな条件下でコルダ型消失定理を適用可能とする。

実験結果

リサーチクエスチョン

• RQ1 滑らかな曲線の線分束埋め込みにおいて、その1次セカント多様体$Σ_1$が$N_{3,p}$を満たすための最良の有効な次数境界は何か？
• RQ2 滑らかな多様体の1次セカント多様体$Σ_1$が$N_{3,p}$を満たすための線分束$L$の正則性条件は何か？
• RQ3 ヒルベルト多様体$Σ⁷ⁱX$上のコhomology消失は、セカント多様体の連接性質を導くために用いることができるか？
• RQ4 接続線形系の下で、$Σ_1$の連接構造は元の多様体$X$の連接構造とどのように関係するか？
• RQ5 予想された$Σ_1$の$N_{3,p}$性質は最適であり、高次元多様体へ拡張可能か？

主な発見

• 滑らかな曲線$C$が genus $g$ で、次数$d \geq 2g + 3 + p$の線分束によって埋め込まれているとき、1次セカント多様体$Σ_1$は$N_{3,p}$を満たす。
• 境界$d \geq 2g + 3 + p$は最適かつ有効であり、以前の結果（$d \geq 4g + 2k + 3$）を改善する。
• 任意の滑らかな多様体$X$が十分に正則な線分束$L = M^k$（$k \gg 0$）によって埋め込まれているとき、1次セカント多様体$Σ_1$は$N_{3,p}$を満たす。
• $X$が$\mathbb{P}^d$でなく、$L = K_X \otimes M^{(p+2)d+1}$で$K_X \otimes M$が正則であるとき、$Σ_1$は$N_{3,p}$を満たす。これは接続線形系による有効な構成を与える。
• コhomological基準$H^1(\Sigma_1, \wedge^a M_L(b)) = 0$（$2 \leq a \leq p+1$、$b \geq 2$）は、$Σ_1$が$N_{3,p}$を満たすために十分であり、ヒルベルト多様体を通じて$X$上の消失に還元可能である。
• 本稿では、$k=1$のとき予想1.1(3)を確認し、曲線に対して提示された次数境界のもとで$Σ_1$が$N_{3,p}$を満たすことを示した。