[論文レビュー] The movable fan of the Horrocks-Mumford quintic

Michael Fryers|ArXiv.org|Feb 7, 2001

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

ひとこと要約

本稿は、一般のホロックス–マッカーマンダ五次的三つfoldの双有理幾何を、その可動ファン（すべての最小モデルにおけるネフ錐の配置）を計算し、双有理自己同型群の作用を特定することによって調査する。同定された最小モデルは、マーク付き同型に関して無限個存在するが、マークなし同型に関しては8つに限られ、モリソンの可動錐予想が成立しており、可動錐は滑らかでない境界構造を示していることが確認された。

ABSTRACT

This paper explores the birational geometry of a general Horrocks-Mumford quintic threefold, describing the set of all minimal models up to marked isomorphism, the movable fan (the way in which the nef cones of all these models are arranged to form the movable cone), and the birational automorphism group. There are infinitely many models up to marked isomorphism, falling into just eight (unmarked-) isomorphism classes.

研究の動機と目的

• 一般のホロックス–マッカーマンダ五次的三つfoldのすべての最小モデルをマーク付き同型に関して分類すること。
• そのような三つfoldの可動ファン（すべての最小モデルにおけるネフ錐の配置）の構造を記述すること。
• 双有理自己同型群の可動ファンへの作用を特定すること。
• このクラスのカラビ–ヤウ三つfoldに対して、モリソンの可動錐予想が成立するかを検証すること。
• 可動錐の幾何学的および組合せ的構造、特にその滑らかでない境界について分析すること。

提案手法

• 本研究は、ホロックス–マッカーマンダバンドルの幾何とその切断を用いて、射影空間内の退化的局所として五次的三つfoldを構成する。
• 可動錐は最小モデルのネフ錐を用いて分析され、codimension-1同型なモデルのアーモニック錐が、局所有限かつ互いに素な方法で可動錐を被覆することを用いる。
• 双有理自己同型群の作用による可動錐のタイル張りを用い、対称性の考察が構成を導く。
• Néron–Severi空間内の明示的な線形結合を用いて、正方形タイルの放物面および立方体の中心のレイヤーに対応する可動ファンの生成線を同定する。
• 生成線間の線形関係を確認することで、基本領域の凸性を検証し、有理的かつ凸な多面体的構造が保証されることを確認する。
• 解像の幾何とモジュライ空間の対称性から導かれる、$ H $, $ A $, $ abla' $, および $ abla $ などの除数に関する明示的表現に依拠する。

実験結果

リサーチクエスチョン

• RQ1 一般のホロックス–マッカーマンダ五次的三つfoldに対して、マーク付き同型に関して最小モデルはいくつ存在し、マークなし同型クラスにはどのように分類されるか？
• RQ2 そのような三つfoldの可動ファンの正確な幾何学的および組合せ的構造は何か？
• RQ3 双有理自己同型群は可動錐にどのように作用し、その作用の基本領域は何か？
• RQ4 モリソンの可動錐予想はホロックス–マッカーマンダ五次的三つfoldに対して成立するか？また、可動錐の形状はその微分可能性に何を示唆するか？
• RQ5 可動ファンとボルチェアが述べた14個の射影的スモール解像との関係は何か？

主な発見

• 一般のホロックス–マッカーマンダ五次的三つfoldの最小モデルは、マーク付き同型に関して無限個存在するが、マークなし同型に関しては8つに限られる。
• マーク付きモデルが無限個存在するにもかかわらず、すべての最小モデルはボルチェアが同定した8つのカラビ–ヤウ三つfoldのいずれかと同型である。
• 可動錐は有理的多面体的構造を持ち、双有理自己同型群の基本領域は8つの標準的基底領域を組み合わせて形成される。
• 可動錐の境界は一度は微分可能だが、二度は微分可能でないため、滑らかでない幾何学的構造を示している。
• 双有理自己同型群の可動ファンへの作用は、三角形および四角形で境界づけられた基本領域を持つ反射群によって実現され、タイル張りの上に作用する。
• 除数生成線の間の明示的線形関係を用いて、基本領域の凸性が確認され、多面体的構造が有理的かつ妥当であることが保証された。