[論文レビュー] On minimal varieties growing from quasismooth weighted hypersurfaces

Meng Chen, Chen Jiang+1 more|arXiv (Cornell University)|May 20, 2020

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

ひとこと要約

本稿は、特異点が1つのみである重み付きの正則な重み付き超曲面上の重み付き爆破における canonical divisor の新たな nefness 基準を確立し、一般型の 3 次元最小多様体 59 組、Kodaira 次元 2 の無限系列のいくつか、および Noether 線付近の例を構成可能にする。この手法により、canonical volume の有効な下界が、次元 $ n $ の一般型 $ n $-fold で canonical 次元 $ n-1 $ または $ n-2 $ の場合に得られ、次元 ≤5 で最適であることが示された。

ABSTRACT

This paper concerns the construction of minimal varieties with small canonical volumes. The first part devotes to establishing an effective nefness criterion for the canonical divisor of a weighted blow-up over a weighted hypersurface, from which we construct plenty of new minimal $3$-folds including $59$ families of minimal $3$-folds of general type, several infinite series of minimal $3$-folds of Kodaira dimension $2$, $2$ families of minimal $3$-folds of general type on the Noether line, and $12$ families of minimal $3$-folds of general type near the Noether line. In the second part, we prove effective lower bounds of canonical volumes of minimal $n$-folds of general type with canonical dimension $n-1$ or $n-2$. Examples are provided to show that the theoretical lower bounds are optimal in dimension less than or equal to $5$ and nearly optimal in higher dimensions.

研究の動機と目的

• 重み付きの正則な重み付き超曲面 $ X o ext{Proj}(b{C}[x_1, ext{...},x_{n+2}]) $ に単一の非正則な特異点を持つ重み付き爆破の canonical divisor の有効な nefness 基準を開発すること。
• この基準を用いて、一般型の新しい 3 次元最小多様体および Kodaira 次元 2 の 3 次元最小多様体の族を構成すること。
• canonical 次元 $ n-1 $ または $ n-2 $ の一般型の最小 $ n $-fold の canonical volume に対する有効な下界を確立すること。
• 理論的な下界が次元 5 以下で最適であり、より高い次元ではほぼ最適であることを示すこと。
• 特に次元 3 の Noether 線付近の理論的下界を実現する明示的な例を提供すること。

提案手法

• 重み付きの正則な重み付き超曲面 $ X o ext{Proj}(b{C}[x_1, ext{...},x_{n+2}]) $ に、重み $ (b_1, ext{...},b_{n+2}) $ を持つ非正則な循環商特異点 $ Q $ を中心として重み付き爆破を適用する。
• degree $ d $, 重み $ b_j $, 特異点不変量 $ r, e_j $ を含む不等式を用いて、爆破後の多様体 $ Y $ 上の canonical divisor $ K_Y $ が nef であるための十分条件を導出する。
• 交線論を用いて、$ ext{Vol}(Y) o ext{Vol}(X) imes \text{爆破からの補正係数} $ の関係を用いて canonical volume を推定する。
• 仮定のもとで $ (K_Y imes C) < 0 $ となる数値的基準を用いて矛盾を導出し、$ K_Y $ が nef であることを証明する。
• 例外的除部分 $ E_1, E_2 $ の構造と、超平面断面の厳密な逆像との交線を用いて、$ K_Y^{n-1} imes E_1 $ の正性を検証する。
• 重み付き射影空間 $ b{P}(e_1, ext{...},e_n) $ の well-formedness と、$ b{P}(b_n, b_{n+1}, b_{n+2}) $ 内の一般超曲面の既約性を確認することで、幾何的整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 重み付きの正則な重み付き超曲面への重み付き爆破を用いて、一般型の最小 3 次元多様体を体系的に構成可能か？
• RQ2 爆破後の canonical divisor が常に nef であるための条件は何か？
• RQ3 canonical 次元 $ n-1 $ または $ n-2 $ の一般型の最小 $ n $-fold の canonical volume に対する有効な下界は何か？
• RQ4 これらの理論的下界は、低次元および高次元で最適またはほぼ最適か？
• RQ5 既知の例とは変形不変量およびピカール数が異なる、新しい一般型の最小 3 次元多様体の族を構成可能か？

主な発見

• 本稿は、すべてのピカール数が 2 以上であり、Iano-Fletcher のリストとは異なる 59 組の新しい一般型の最小 3 次元多様体を構成した。
• 重み付き爆破を用いて、特異点を持つ正則な超曲面の点を基点とする、Kodaira 次元 2 の一般型の最小 3 次元多様体の無限系列をいくつか提供した。
• 2 組の一般型の最小 3 次元多様体が、Noether 線の上にあり、その境界で最小の canonical volume を達成した。
• 理論的最小値に近い canonical volume を達成する、一般型の最小 3 次元多様体の 12 組の追加の族を構成した。
• canonical 次元 $ n-1 $ または $ n-2 $ の一般型の最小 $ n $-fold の canonical volume に対する有効な下界を証明し、次元 ≤5 で最適であることを示した。
• 理論的下界を実現する例を構成し、次元 5 以下ではその鋭さを確認し、より高い次元ではほぼ最適であることを示した。