[論文レビュー] Examples of Type IV unprojection

Miles Reid|arXiv (Cornell University)|Aug 6, 2001

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

ひとこと要約

本稿は代数幾何学における新しい構成法として、タイプIVアンプロジェクションを導入する。特徴的な特異点をもつ余次元4のK3表面 $ Y \to \mathbb{P}(4,5,5,6,7,8,9) $ が、有理写像による $ \mathbb{P}(2,3) $ の埋め込みを介して、$ \mathbb{P}(4,5,6,9) $ 内の準滑らかK3超曲面 $ X_{24} $ にアンプロジェクトされることを示す。主な結果は、$ \mathbb{P}(2,3) $ の座標環を周囲の環上のモジュールとして明示的に解体し、商モジュールに2つの線形独立な生成子をもつタイプIVアンプロジェクション構造が明らかになることである。

ABSTRACT

I show that the weighted projective line PP(2,3) has an embedding PP(2,3) into PP(4,5,6,9) whose image Gamma is contained in a quasismooth K3 hypersurface X_24 in PP(4,5,6,9). The pair (Gamma in X_24) unprojects to the codimension 4 K3 surface Y in PP(4,5,5,6,7,8,9) with Basket = [1/2(1,1), 1/5(1,4), 1/5(2,3), 1/9(4,5)], Hilbert Numerator = 1 - t^12 - t^13 - 2t^14 - 2t^15 - 2t^16 - t^17 + t^19 + 2t^20 + 3t^21 + 4t^2 + 3t^23 + .. (this example is called Altinok4(111) in the Magma K3 database). The local coordinates at the third centre P_3 = 1/5(2,3) of Y are of weight 7 and 8 (rather than 2 and 3), so both are eliminated by the projection from P_3. Together with other examples, this gives substance to Type IV unprojections. Several more cases of Type IV unprojections are known up to codimension 5 or 6. The paper also contains some Magma programming routines suitable as exercises for babies.

研究の動機と目的

• タイプIVアンプロジェクション、Gorenstein環論における新しいアンプロジェクション構成法の形式化と存在の証明。
• 特にK3表面およびFano 3-foldの文脈において、タイプIVアンプロジェクションの明示的幾何的例の提供。
• K3表面データベースにおけるタイプIVアンプロジェクションの特定と解析のための計算フレームワークをMagmaを用いて構築。
• K3超曲面の除数の座標環の正規化がGorensteinである可能性を示し、商モジュールが2つの線形独立な生成子を必要とすることを示し、これがタイプIVを定義することを示す。
• タイプI–IIIを超えるアンプロジェクション型の分類を、特に余次元4および5において、新しい例の構成により拡張すること。

提案手法

• モノミアル $ (u^2, uv, u^3 + v^2, u^3v + v^3) $ を用いた $ \mathbb{P}(2,3) \to \mathbb{P}(4,5,6,9) $ の埋め込みを構成し、重み付き射影空間内の曲線 $ \Gamma $ を定義する。
• 方程式 $ F_{24} = xh_{20} + yg_{19} + zf_{18} $ を用いて $ X_{24} \subset \mathbb{P}(4,5,6,9) $ の超曲面を定義し、直接計算によりその準滑らか性を検証する。
• 重み付き同次多項式をもつ3×6行列 $ M $ を用いて、$ \mathbb{C}[x,y,z,t] $ 上の $ \mathbb{C}[u,v] $ の座標環を3段階の解体により解体する。
• 行列 $ M $ 及びその転置を用いたシンプレクティックペアリング $ MJ^tM = 0 $ を用い、余次元2のGorensteinモジュールとしての解体を実現する。
• 解体の比較によりアンプロジェクションの道具立てを適用し、$ \mathbb{C}[X] = A/(F_{24}) $ と $ \mathbb{C}[u,v] $ の解体を比較することで、3つの新しいアンプロジェクション変数を同定する。
• Magmaコードを用いてK3データベース内からタイプIVアンプロジェクションを探索し、余次元および特異点型のフィルターを用いて例を特定する。

実験結果

リサーチクエスチョン

• RQ1 タイプIVアンプロジェクションは体系的に構成可能であり、タイプI–IIIとは何が異なる構造的特徴を持つのか。
• RQ2 Gorensteinである $ \widetilde{A} $ と曲線の座標環 $ A $ に対して、商モジュール $ \widetilde{A}/A $ がタイプIVアンプロジェクションを定義する役割を果たすのはどのようなものか。
• RQ3 座標環 $ \mathbb{C}[u,v] $ を周囲の環上のモジュールとして解体する際に、アンプロジェクション変数はどのように生じるのか。幾何学的意味は何か。
• RQ4 MagmaのK3表面データベースを用いて、余次元4および5におけるタイプIVアンプロジェクションを同定・分類することは可能か。
• RQ5 タイプIVアンプロジェクションにおけるヒルベルト系列および特異点の数値的・幾何的挙動はどのように振る舞うか。

主な発見

• モノミアル $ (u^2, uv, u^3 + v^2, u^3v + v^3) $ を用いた $ \mathbb{P}(2,3) \to \mathbb{P}(4,5,6,9) $ の埋め込みにより定義される曲線 $ \Gamma $ の像は、$ \mathbb{P}(4,5,6,9) $ 内の準滑らかK3超曲面 $ X_{24} \subset \mathbb{P}(4,5,6,9) $ に含まれる。
• 重み4から9の項をもつ3×6行列 $ M $ を用いた $ \mathbb{C}[x,y,z,t] $ 上の $ \mathbb{C}[u,v] $ の解体は、$ MJ^tM = 0 $ を満たし、Gorensteinモジュール構造を確認する。
• 点 $ P_3 = \frac{1}{5}(2,3) $ からのアンプロジェクションにより、重み7および8の局所座標が同時に除去され、タイプIVアンプロジェクションのメカニズムが明らかになる。
• アンプロジェクションにより得られるK3表面 $ Y \subset \mathbb{P}(4,5,5,6,7,8,9) $ は、特異点のバスケット $ \left[ \frac{1}{2}(1,1), \frac{1}{5}(1,4), \frac{1}{5}(2,3), \frac{1}{9}(4,5) \right] $ とヒルベルト分子 $ 1 - t^{12} - t^{13} - 2t^{14} - \cdots $ をもつ。
• MagmaのK3データベースにより、タイプIVアンプロジェクションをもつ余次元4のK3表面が5例同定され、主な構成と一致するラベル「Altınok4(111)」を含む。
• 本稿は、タイプIVアンプロジェクションをフィルタリングおよび解析するためのMagmaコードを提供し、K3表面データベース内での自動探索と検証を可能にする。