[論文レビュー] Points in projective spaces and applications

Ivan Cheltsov|ArXiv.org|Nov 23, 2005

Algebraic Geometry and Number Theory参考文献 16被引用数 5

ひとこと要約

本稿では、特定の次数の形式に対して特異点が独立な線形条件を課すという条件を用いて、$\mathbb{P}^4$ 内のノーディング超曲面および $\mathbb{P}^3$ の二重被覆の因子的性を保証する十分条件を確立する。主な結果として、次数 $d$ の超曲面が $2(d-1)^2/3$ 個以下の特異点を持つ場合、および次数 $2r$ の分岐表面を持つ二重被覆が $(2r-1)r$ 個未満の特異点を持つ場合に因子的性が成り立つことが示される。

ABSTRACT

We prove the factoriality of a nodal hypersurface in $\mathbb{P}^{4}$ of degree $d$ that has at most $2(d-1)^{2}/3$ singular points, and factoriality of a double cover of $\mathbb{P}^{3}$ branched over a nodal surface of degree $2r$ having less than $(2r-1)r$ singular points.

研究の動機と目的

• ノーディング超曲面が $\mathbb{P}^4$ 内にあり、および $\mathbb{P}^3$ の二重被覆である場合の因子的性の十分条件を確立すること。
• このような多様体の特異点が、与えられた次数の斉次形式に対して独立な線形条件を課す条件を特定すること。
• 特異点の数を制限することで、超曲面および二重被覆に関する因子的性に関する予想を解決すること。
• 射影空間内の特異点の分布と数に基づいた、因子的性の一般基準を提供すること。

提案手法

• 定理 1.1 を適用し、$\mathbb{P}^n$ 内の有限個の点が次数 $\xi$ の形式に対して独立な線形条件を課す条件を与える。
• 3 次元多様体の因子的性と、その特異点が次数 $3r-4$（二重被覆の場合）または $2d-5$（超曲面の場合）の形式に対して独立な線形条件を課すという条件との同値性を利用する。
• 点の集合が独立な条件を課すための基準として、次数 $k$ の曲線がそれらのうち $\lambda k$ 個を超えて含まない（$\lambda \geq 2$）という条件を用いる。
• コhomologyの消滅を用いる：$h^1(\mathcal{I}_\Sigma \otimes \mathcal{O}_{\mathbb{P}^n}(\xi)) = 0$ ならば独立な条件が課せられる。
• 条件が成り立たない場合に矛盾を導くために、帰納法および幾何的制約（例えば、曲線への包含、次数の上限）を用いる。
• 射影と曲線の分解を用いて特異点集合の構造を分析し、構成の既約性または矛盾を示す。

実験結果

リサーチクエスチョン

• RQ1 次数 $d$ の $\mathbb{P}^4$ 内のノーディング超曲面が、次数 $2d-5$ の形式に対して、その特異点が独立な線形条件を課す条件は何か？
• RQ2 次数 $2r$ のノーディング表面を分岐曲面とする $\mathbb{P}^3$ の二重被覆が因子的であるのはいつか？
• RQ3 因子的性を保つために、超曲面または二重被覆が有することができる特異点の最大数は何か？
• RQ4 このような3次元多様体の因子的性は、特異点の数とその分布によって完全に特徴付けられるか？
• RQ5 因子的性が保証されるための特異点数の鋭い上限は存在するか？

主な発見

• 次数 $d$ の $\mathbb{P}^4$ 内のノーディング超曲面は、特異点が $2(d-1)^2/3$ 個以下であれば因子的である。
• 次数 $2r$ のノーディング表面を分岐曲面とする $\mathbb{P}^3$ の二重被覆は、特異点数が $(2r-1)r$ 未満であれば因子的である。
• $2(d-1)^2/3$ の境界は鋭いものであり、$2(d-1)^2/3 + 1$ 個の特異点を持つ非因子的超曲面が存在することが示される。
• 次数 $3r-4$ の形式に対して特異点が独立な線形条件を課すという条件は、二重被覆の因子的性と同値である。
• $d \leq 6$ の場合、因子的性は既知の結果（例：[9] の定理 2）から従うが、$d \geq 7$ の場合、定理 1.1 から従う。
• 反例により、特異点数が $(2r-1)r$ に達すると因子的性が成立しなくなることが示され、特に分岐表面が一次式と次数 $2r-1$ の形式の積である場合にその例が得られる。