[論文レビュー] Eliminate obstructions: curves on a 3-fold

Sen Yang|arXiv (Cornell University)|Nov 22, 2016

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

ひとこと要約

本稿は、ミルナーK理論的サイクルを用いたK理論的枠組みを導入することで、TingFai Ngによる3次元多様体上の曲線の変形に関する未解決問題を解決する。曲線の1次変形が古典的サブスキーム変形では障害を示す場合でも、固定成分を有するノード付き曲線に埋め込むことで、コーシュ・複体と完全複体における変形理論を用いて2次にまで持ち上げられることを示す。これにより、Ngの除数に関する結果がcodimension-2サイクルへ一般化される。

ABSTRACT

By using higher K-theory, we reinterpret and generalize an idea on eliminating obstructions to deforming cycles, which is known to Mark Green, Phillip Griffiths and TingFai Ng(for the divisor case). As an application, we show how to eliminate obstructions to deforming curves on a 3-fold. This answers affirmatively an open question by TingFai Ng.

研究の動機と目的

• 古典的サブスキーム変形が障害を示す場合でも、3次元多様体上の曲線の2次変形の存在に関するTingFai Ngが提起した未解決問題を解決すること。
• グリーン＝グリフィスのプログラムである、除数の場合を越えて障害を除去するサイクル変形理論への一般化を図ること。
• ニルポテンツ構造を検出できるミルナーK理論的サイクルを用いたNgの手法のK理論的再解釈を提供すること。
• 補助的成分を固定することで、サイクルとしての曲線の変形を高次のものに持ち上げる枠組みを確立すること。
• サイクルとしての曲線の変形の障害が、固定された残余曲線を有するノード付き拡張により除去可能であることを示すこと。

提案手法

• 本稿は、ミルナーK理論的サイクルを用いて変形におけるニルポテンツ構造を検出し、サブスキーム変形に失敗する場面でもサイクルレベルでの持ち上げを可能にする。
• 3次元多様体$X$に、固定（すなわち$v' = 0$）された成分$D$を有するノード付き曲線$\tilde{C} = C \cup D$を構成する。
• 曲線$C$の変形は、サイクルの差として表現される：$(C, v) = (\tilde{C}, \tilde{v}) - (D, 0)$、ここで$\tilde{v}$は2次にまで拡張可能である。
• コーシュ複体を用いて曲線の構造層の変形をモデル化し、それらを$C$および$D$に対応する成分に分解する。
• 複体$L$の変形は、$X_1 = X[\varepsilon]/(\varepsilon^2)$および$X_2 = X[\varepsilon]/(\varepsilon^3)$に持ち上げられ、それぞれ$Z^M_2(D^{\mathrm{Perf}}(X_1))$および$Z^M_2(D^{\mathrm{Perf}}(X_2))$に属する$L'$および$L''$となる。
• 鍵となるのは、$\mu(Y^\prime) = (L' - \mu(Z'))$が、$\mu(Y^\prime)$自体がミルナーK理論的サイクルでなくても、2次にまで変形可能であることを示すことである。

実験結果

リサーチクエスチョン

• RQ1 古典的サブスキーム変形が障害を示す場合でも、3次元多様体上の曲線の1次変形がサイクルとして2次に持ち上げ可能かどうか。
• RQ2 曲線を固定成分を有するノード付き曲線に埋め込むことで、サイクル変形の障害を除去する方法が存在するか。
• RQ3 Ngが除数に対して用いた手法を、3次元多様体上の曲線にK理論的サイクルを用いて一般化可能か。
• RQ4 ノード付き拡張を用いて、サイクルとしての曲線の1次変形が何条件下で2次に持ち上げ可能か。
• RQ5 ミルナーK理論的サイクルの使用により、ニルポテンツ構造を検出できる一貫性のあるサイクルの変形理論を構築可能か。

主な発見

• 本稿は、3次元多様体上の曲線の1次変形がサイクルとして2次に持ち上げ可能であることを明確に肯定し、Ngの問いに肯定的解答を与える。
• $b_1 \notin (f,g,h)$の場合、変形$\mu(Y^\prime)$はミルナーK理論的サイクルであり、2次にまで変形可能である。
• $b_1 \in (f,g,h)$の場合、$\mu(Y^\prime)$はミルナーK理論的サイクルではないが、組み合わせ$\mu(Y^\prime) + \mu(Z^\prime) - \mu(Z)$は依然として2次にまで変形可能である。
• 複体$L'$の変形は$\mu(Y^\prime) + \mu(Z^\prime)$に分解され、$Z^\prime$は$Z$の1次変形であり、この分解は持ち上げにおいても保存される。
• 構成により$((\mu(Y^\prime) + \mu(Z^\prime)) - \mu(Z)) \mid_Y = \mu(Y^\prime)$が成り立ち、$C$の変形が正しく誘導される。
• 固定された残余曲線$D$を用いることで、障害が効果的に除去され、新たな障害が導入されず、K理論的サイクルを介したサイクルレベルの持ち上げが可能となる。