[論文レビュー] Non-reduced components of the Noether-Lefschetz locus

Ananyo Dan|arXiv (Cornell University)|Jul 31, 2014

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

ひとこと要約

この論文は、半正則性写像と変形理論を用いて、$\mathbb{P}^3$ 内の次数 $d$ の表面におけるノイザー＝レフシッツ多様体の既約成分が非還元的であるための必要十分条件を確立する。非還元的性は、一般の表面 $X$ 上の曲線 $C$ のコhomology類が、その正規バンドルのコhomology が $H^2(\mathcal{O}_X)$ に単射である半正則曲線によって表される場合に、かつその場合に限り成立する。具体的な例として、二重直線構造を持つ同一平面上の二本の直線を含む表面が挙げられる。

ABSTRACT

For a fixed integer $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ complex hypersurfaces in $\mathbb{P}^3$ with Picard number greater than $1$. There are infinitely many irreducible components of this locus. The aim of this article is to understand the scheme structure of these components. In particular, we study when is such a component non-reduced. We give a criterion for such a component to be non-reduced. Finally, we give examples of such components.

研究の動機と目的

• Noether-Lefschetz 多様体 $\mathrm{NL}_d$ の既約成分が非還元的である条件を特定すること。
• 非還元的成分のスキーム的構造を、その還元的部分スキームを越えて理解すること。
• 非還元的性が、一般の表面における曲線の幾何と、特に半正則性を介してどのように関連するかを明らかにすること。
• 例えば、二本の同一平面上の直線を含み、二重直線構造を持つ表面をパラメトライズするような、非還元的成分の明示的例を構成すること。

提案手法

• 論文は、ガウス＝ミンコフスキー接続を用いたホッジ多様体の構成により、ホッジ類 $\gamma$ に対する $\mathrm{NL}(\gamma)$ の接空間を定義する。
• 曲線 $C$ が表面 $X$ 上にある場合、周期写像の微分が $H^1(\mathcal{N}_{C|X}) \to H^2(\mathcal{O}_X)$ である半正則性写像と関係づけられ、微分がその写像を通して因数分解されることを示す。
• 非還元的性の鍵となる基準は、$T_X\mathrm{NL}(\gamma)$ の次元と、$\gamma$ をホッジ類として保存する $X$ の変形の期待次元を比較することによって得られる。
• 曲線と表面のペア $(C,X)$ の変形理論を適用し、$X$ の無限小変形の下でコhomology類 $[C]$ がホッジ類のまま保たれる条件を分析する。その際、半正則性写像の単射性が利用される。
• 理想層の理論と接空間の次数付き成分 $E_k$ を用いて、$\overline{\mathrm{NL}(\gamma)}$ のcodimension を分析する。特に、複数の成分を持つ曲線の場合を含む。
• 非還元的性は、$\dim \overline{\mathrm{NL}(\gamma)} < h^0(\mathcal{N}_{C|\mathbb{P}^3})$ を示すことにより証明され、これはスキームが非還元的であることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 Noether-Lefschetz 多様体 $\mathrm{NL}_d$ の既約成分 $L$ がスキームとして非還元的であるのはいつか？
• RQ2 一般の表面 $X$ 上の曲線 $C$ にどのような幾何的条件が満たされると、$[C]$ に関連する $\overline{\mathrm{NL}(\gamma)}$ が非還元的になるか？
• RQ3 半正則性写像は $\mathrm{NL}(\gamma)$ のスキーム構造とどのように関係するか？
• RQ4 $d \geq 5$ に対して、非還元的成分の明示的例を構成できるか？
• RQ5 $\gamma$ が二重直線または重複度を持つ除法子の類である場合、$\overline{\mathrm{NL}(\gamma)}$ のcodimension は何か？

主な発見

• Noether-Lefschetz 多様体の既約成分 $L$ が非還元的であるための必要十分条件は、$L$ に属する一般の表面 $X$ 上に、半正則曲線 $C$ が存在し、半正則性写像 $H^1(\mathcal{N}_{C|X}) \to H^2(\mathcal{O}_X)$ が単射であり、かつ $\mathrm{NL}(\gamma)$ の接空間の次元が期待される次元より小さいことである。
• $d \geq 5$ に対して、二本の同一平面上の直線 $l_1, l_2$ を含み、$\gamma = [2l_1 + l_2]$ であるような滑らかな次数 $d$ 表面をパラメトライズする成分 $\overline{\mathrm{NL}(\gamma)}$ は非還元的である。
• $\gamma = [2l_1 + l_2]$ の場合、$\overline{\mathrm{NL}(\gamma)}$ のcodimension は正確に $2d - 6$ であり、この成分は非還元的である。
• $\overline{\mathrm{NL}(\gamma)}$ の還元的部分スキームは、$\overline{\mathrm{NL}([l_1]) \cap \mathrm{NL}([l_2])}_{\mathrm{red}}$ の還元的交わりと同型である。これは、非還元的構造が高次のスキーム的条件に起因することを示している。
• $C = 2l_1 + l_2$ の場合、$\dim \overline{\mathrm{NL}(\gamma)} < h^0(\mathcal{N}_{C|\mathbb{P}^3})$ を示した。これは $\overline{\mathrm{NL}(\gamma)}$ が非還元的であることを示唆する。
• 分析により、$\mathrm{NL}(\gamma)$ が $\gamma'$ が直線または二次曲線の類であるような $\mathrm{NL}(\gamma')$ と等しくなる可能性は排除され、成分が本質的に非還元的であり、低codimension の多様体に起因するものではないことが確認された。