[論文レビュー] Q-factorial quartic threefolds

Constantin Shramov|ArXiv.org|Jan 16, 2007

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

ひとこと要約

本稿では、ノード特異点をもつ四次3次元多様体がQ-ファクターであるための条件を確立し、特異点が11個以下で平面を含まず、12個の特異点をもつ場合に限り、二次曲面を含まない場合にはQ-ファクターであることを証明している。主な結果は、既知の境界を精緻化し、このような多様体におけるQ-ファクター性の唯一の例外を特定している。

ABSTRACT

We prove that a nodal quartic threefold $X$ containing no planes is $Q$-factorial provided that it has not more than 12 singular points, with the exception of a quartic with exactly 12 singularities containing a quadric surface. We give some geometrical constructions related to the latter quartic.

研究の動機と目的

• ノード特異点をもつ四次3次元多様体がQ-ファクターであるための正確な条件を同定し、特異点が少ない場合の既知の結果を拡張すること。
• P^4におけるノード特異点をもつ超曲面のQ-ファクター性に関する一般予想における特殊ケースを解消すること。
• 12個の特異点をもつ四次3次元多様体におけるQ-ファクター性の唯一の例外を同定すること：二次曲面を含むもの。
• 例外的な場合に関連する幾何的構成を提供すること。特に変換と双有理的対合を含む。

提案手法

• 有理的ルールド面における線形系に関するBeseの定理を用い、指定された点を通る除釣の存在を分析する。
• 特にF_0およびF_2を含むファノ表面の吹き上げにおける線分束の全体的生成性の基準を適用する。
• コhomology的および交線論的条件（D^2、K、hを含む）を用いて線分束の生成性を検証する。
• 四次3次元多様体が二次曲面を含む幾何的性質を、P^5における完全交差への双有理的変換を用いて分析する。
• 楕円曲線のファイブレーションとファイバー面上の反射を用いて、特異な完全交差上での双有理的対合を構成する。
• ピック群の作用を用いて、対合による除釣の引き戻しを計算する。特にファイバーおよび表面への制限を用いる。

実験結果

リサーチクエスチョン

• RQ1 ノード特異点をもつ四次3次元多様体がQ-ファクターである条件は何か、特に平面を含まない場合に限って。
• RQ2 ノード特異点をもつ四次3次元多様体がQ-ファクターであるための最大特異点数は何か。
• RQ3 12個のノード特異点をもつ四次3次元多様体に二次曲面が含まれる場合、なぜQ-ファクター性が成立しないのか。
• RQ4 滑らかでない場合に、滑らかな場合に存在しない新しい双有理自己同型は存在するか。
• RQ5 特異な四次3次元多様体の自己同型群は、それらの双有理的モデルとの間にどのように異なるか。

主な発見

• ノード特異点を11個以下もち、平面を含まない四次3次元多様体はQ-ファクターである。
• 正確に12個のノード特異点をもつ四次3次元多様体は、二次曲面を含まない場合に限りQ-ファクターである。
• 12個の特異点と平面を含まないが、一般の四次多様体に二次曲面を含む非Q-ファクターな四次3次元多様体が存在する。
• このような四次多様体は、P^5における二次曲面と三次曲面の完全交差で、単一の二重点をもつものと双有理同型である。
• この特異な完全交差上には、滑らかな場合に引き上げられない双有理的対合が存在する。これは3-セクションをもつ楕円曲線ファイブレーションから生じる。
• この対合によるピック群への作用は明示的に計算され、τ* h = 15h - 8f - 16e、τ* f = 14h - 7f - 16e、τ* e = e となる。