[論文レビュー] A new offspring of PALP

Andreas P. Braun, Nils-Ole Walliser|arXiv (Cornell University)|Jun 22, 2011

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

ひとこと要約

この論文は、PALP（Lattice Polytopes のためのパッケージ）に統合された C プログラム *mori.x* を紹介する。このプログラムは、特異点のない 3 次元の Calabi–Yau 超曲面を、トーリック多様体において構築・解析することを目的としている。反射的多面体のクレパントスターチェイン化を実行し、モーリー錐、交差環、チャーン類、ホッジ数を計算することで、トーリック幾何と SINGULAR を用いた多項式計算により、Calabi–Yau 3 次元多様体の詳細な位相的・幾何学的解析を可能にする。

ABSTRACT

We describe the C program mori.x. It is part of PALP, a package for analyzing lattice polytopes. Its main purpose is the construction and analysis of three--dimensional smooth Calabi--Yau hypersurfaces in toric varieties. The ambient toric varieties are given in terms of fans over the facets of reflexive lattice polytopes. The program performs crepant star triangulations of reflexive polytopes and determines the Mori cones of the resulting toric varieties. Furthermore, it computes the intersection rings and characteristic classes of hypersurfaces.

研究の動機と目的

• トーリック多様体における滑らかな Calabi–Yau 3 次元多様体を構築・解析するための専用ツールを PALP に拡張すること。
• Calabi–Yau 超曲面のトポロジカル不変量（ホッジ数、交差数、チャーン類など）を効率的に計算できることを可能にすること。
• 特にクレパント解消に注目して、トーリック多様体のトライアングレーションと交差理論を通じた幾何学的構造の研究のための計算フレームワークを提供すること。
• トポロジカル基準を用いて、楕円的ファイブレーションの基底多様体としてのデル・ペッツォ除集合を特定することにより、その分析を支援すること。
• チャーン環と超曲面制限に関する高度な代数的計算を SINGULAR と統合する、ユーザーフレンドリーでモジュラーなプログラムを提供すること。

提案手法

• 点特異点と内部点を避けるような、反射的格子多面体のクレパントスターチェイン化を実行する。
• Oda–Park アルゴリズムを用いて、ケーラー錐の双対として、環境となるトーリック多様体のモーリー錐を計算する。
• トライアングレーテッド・ファン構造からスターリング＝ライスナーイデアルを生成し、トーリック多様体のチャーン環を定義する。
• SINGULAR を用いて、スターリング＝ライスナーイデアルと除集合関係から導かれる多項式関係を解き、超曲面の交差環を計算する。
• Todd 類およびチャーン類の公式を適用し、超曲面に制限されたトーリック除集合の特性類と算術種数を計算する。
• デル・ペッツォ候補を二段階のテストで特定する：第一に、1 階のチャーン類の平方積分の条件を満たすか、第二に、トーリック除集合によって誘導される曲線との交差が正であるかを確認する。

実験結果

リサーチクエスチョン

• RQ1 反射的多面体からのクレパントトライアングレーションを経て得られるトーリック多様体のモーリー錐を、体系的にどのように計算できるか？
• RQ2 トーリック多様体における Calabi–Yau 超曲面の交差環および特性類を決定する計算的手順は何か？
• RQ3 超曲面上のどのトーリック除集合がデル・ペッツォ表面であるための必要条件を満たし、アルゴリズム的にどのように特定できるか？
• RQ4 現在のトライアングレーションアルゴリズムは、3 次元のセカンドリーファンを超える非単体的錐を扱う際に、どのような制限を受けるか？
• RQ5 SINGULAR を C 言語で書かれたプログラム *mori.x* に統合する際、超曲面のチャーン環不変量を効果的に計算するには、どのような構造が適しているか？

主な発見

• Oda–Park アルゴリズムを用いて、環境となるトーリック多様体のモーリー錐を成功裏に計算し、生成子はトーリック除集合との交差を用いて表現される。
• スターリング＝ライスナーイデアルと線形関係を組み合わせ、SINGULAR を介して処理することで、埋め込まれた Calabi–Yau 超曲面の交差環を決定する。
• `-b` オプションが指定された場合、Calabi–Yau 3 次元多様体のホッジ数とオイラー標数が計算され出力される。
• 超曲面のチャーン類が計算され報告されるが、Calabi–Yau でない超曲面の交差数が整数でない可能性があるとプログラムは指摘している。
• 2 つの必要条件を満たすことで、潜在的なデル・ペッツォ除集合が特定される：算術種数条件 ∫Td(S) = 1 と、曲線 C に対する c₁(S)·C > 0 の正の交差。
• トライアングレーションアルゴリズムは、次元が 3 以下のセカンドリーファンに限定されており、このようなファングを生成する非単体的錐にのみ適用されるため、特定の多面体的構成に限定された範囲にとどまる。