[論文レビュー] A sextic surface cannot have 66 nodes

David B. Jaffe, Daniel Ruberman|ArXiv.org|Feb 1, 1995

Algebraic Geometry and Number Theory被引用数 47

ひとこと要約

この論文は、複素射影3次元空間内の6次曲面が66個の通常の二重点（ノード）をもつことはできないことを証明し、代数幾何学における長年の未解決問題を解決する。トポロジー的およびコホモロジー的手法、特にメイヤー＝ビートリス完全系列と特異点論の理論を用いて、6次曲面に存在可能なノードの最大数は65個であることが示され、66個のノードをもつ6次曲面の存在を否定する。

ABSTRACT

Let S be a surface in complex projective 3-space, having only nodes as singularities. Suppose that S has degree 6. We show that the maximum number of nodes which S can have is 65. An abbreviated history of this is as follows. Basset showed that S can have at most 66 nodes. Catanese and Ceresa and Stagnaro constructed sextic surfaces having 64 nodes. Barth has recently exhibited a 65 node sextic surface. We complete the story by showing that S cannot have 66 nodes. Let f: S~ --> S be a minimal resolution of singularities. A set N of nodes on S is even if there exists a divisor Q on S~ such that 2Q ~ f^{-1}(N). We show that a nonempty even set of nodes on S must have size 24, 32, 40, 56, or 64. This result is key to showing the nonexistence of the 66 node sextic. We do not know if a sextic surface can have an even node set of size 56 or 64. The existence or nonexistence of large even node sets is related to the following vanishing problem. Let S be a normal surface of degree s in CP^3. Let D be a Weil divisor on S such that D is Q-rationally equivalent to rH, for some r \in \Q. Under what circumstances do we have H^1(O_S(D)) = 0? For instance, this holds when r < 0. For s=4 and r=0, H^1 can be nonzero. For s=6 and r=0, if a 56 or 64 node even set exists, then H^1 can be nonzero. The vanishing of H^1 is also related to linear normality, quadric normality, etc. of set-theoretic complete intersections in P^3.

研究の動機と目的

• 6次曲面に存在可能なノードの最大数に関する代数幾何学における古典的問題を解決すること。
• 複素射影空間 ℙ³ 内の6次曲面上に66個の通常の二重点が存在しうるかを特定すること。
• トポロジカル不変量およびコホモロジー的技法を用いて、可能な特異点配置を制約すること。
• 特に65個のノードを持つ既存の構成を踏まえて、ノード付き6次曲面の分類における空白を埋めること。

提案手法

• ノード付き6次曲面のコホモロジーを解析するためのメイヤー＝ビートリス完全系列の適用。
• トポロジカルなオイラー特性と、特異点によるその分解を用いて制約を導出する。
• 特異点の解消におけるベッチ数の計算により、ノード数の上限を求める。
• デュ・ヴァル特異点の理論とそのオイラー特性への寄与の活用。
• 滑らかなモデルから得られる期待されるオイラー特性と、ノードの寄与から得られる特性を比較する。
• 接続公式および正則オイラー特性を用いて、66個のノードを仮定した場合の矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 複素射影空間 ℙ³ 内の6次曲面が66個の通常の二重点をもつことができるか？
• RQ2 トポロジカルおよびコホモロジー的制約を考慮した場合、6次曲面に存在可能なノードの最大数は何か？
• RQ3 ノード付き6次曲面の解消におけるベッチ数は、ノード数とどのように関係するか？
• RQ4 66個のノードがオイラー特性の計算に矛盾を引き起こすか？
• RQ5 66個のノードが6次曲面に存在できないトポロジカルな障害は存在するか？

主な発見

• 66個の通常の二重点が存在すると、オイラー特性から導かれるトポロジカル制約に反するため、6次曲面は66個のノードをもつことはできない。
• 6次曲面に存在可能なノードの最大数は65個以下であり、既知の構成と整合的である。
• メイヤー＝ビートリス完全系列によるコホモロジー的解析により、66個のノードはベッチ数の計算に一貫性の欠如をもたらす。
• 解消の正則オイラー特性は66個のノードと両立せず、矛盾を生じる。
• この結果により、65個が6次曲面に存在可能なノード数の鋭い上界であることが確認された。