[論文レビュー] A framework for tropical mirror symmetry

Janko Boehm|arXiv (Cornell University)|Mar 14, 2011

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

ひとこと要約

本稿は、完全交差および非完全交差を含むカーバイ-ヤウ多様体の鏡対称性を、変形と除数を結ぶ自然な鏡写像を介して構成する、トロピカル幾何学に基づくフレームワークを提示する。この手法は、単項式の凸包とトロピカルな面を用いて、バチレフのおよびバチレフ＝ボリスォフの構成を一般化し、Macaulay2パッケージ SRdeformations に実装されており、凸包を超える凸幾何学への依存を避け、既知の鏡対応を再現するとともに、新しい例を生成する。

ABSTRACT

Applying tropical geometry a framework for mirror symmetry, including a mirror construction for Calabi-Yau varieties, was proposed by the author. We discuss the conceptual foundations of this construction based on a natural mirror map identifying deformations and divisors. We show how the construction specializes to that by Batyrev for hypersurfaces and its generalization by Batyrev and Borisov to complete intersections. Based on an explicit example we comment on the implementation in the Macaulay2 package SRdeformations.

研究の動機と目的

• トロピカル幾何学における鏡対称性の統一的フレームワークを構築し、バチレフの超曲面鏡対称性構成およびバチレフ＝ボリスォフの完全交差への一般化を拡張すること。
• カーバイ-ヤウ多様体の変形とその鏡における除数を同定する自然な鏡写像を確立し、体系的な鏡対称性構成を可能にすること。
• トロピカルデータと変形理論を用いて、ピューファン型などの非完全交差カーバイ-ヤウ多様体の鏡をアルゴリズム的に構成するアプローチを提供すること。
• 構成を Macaulay2 パッケージ SRdeformations に実装し、計算的検証および新しい鏡対の発見を可能にすること。
• 具体的な例（例：ℙ⁴ 内の二次式と三次式で定義される K3 表面）に対して本手法を適用し、既知の鏡双対性と整合することを示すこと。

提案手法

• Gorenstein なトーリック・ファノ多様体の Cox 環を用いて、単項式イデアルによる部分多様体の記述を行い、変形データは同次成分 Hom(I₀, S/I₀)₀ に符号化される。
• 双対多面体 ∇* は、変形空間のトーラス不変基底に対応する格子単項式の凸包として構成される。
• トロピカルな面の余複体 T_I₀(I)* は、∇* の面 F の集合として定義され、ある t-変形が単項式を含まないことを満たすものとして、非自明性を保証する。
• 鏡イデアル I₀° は、式 (3.1) に示される双対性関係を介して T_I₀(I)* から導出され、一次のトロピカル鏡族が得られる。
• 本構成は、元の多様体が完全交差であると仮定せず、トロピカル的および組合的にデータに依存するだけで、バチレフ＝ボリスォフの鏡に対応する。
• 本手法は、K3 表面の例で検証可能なアルゴリズム的に Macaulay2 パッケージ SRdeformations に実装されており、コード例が提供されている。

実験結果

リサーチクエスチョン

• RQ1 トロピカル幾何学を用いた一般化された鏡対称性フレームワークは、超曲面および完全交差を越えて、どのように構築可能か？
• RQ2 鏡写像は、カーバイ-ヤウ多様体の変形とその鏡における除数をどのように同定し、トロピカル設定において自然に実現されるか？
• RQ3 トロピカルな鏡構成は、事前に完全交差構造を仮定しない状況でも、バチレフ＝ボリスォフの鏡を再現可能か？
• RQ4 本手法は、ピューファン型などの非完全交差カーバイ-ヤウ多様体をどのように扱い、どのような新しい鏡対を生成するか？
• RQ5 代数的幾何ソフトウェア（例：Macaulay2）における本構成の計算的実装可能性と実装方法はいかがなものか？

主な発見

• トロピカルな鏡構成は、完全交差構造を事前に知らなくても、変形データとトロピカルな面に依存するだけで、バチレフ＝ボリスォフの鏡を再現する。
• 本手法は、ピューファン型などの非完全交差カーバイ-ヤウ多様体に対しても、鏡を効果的に構成でき、古典的構成を超える一般性を確認した。
• ℙ⁴ 内の二次式と三次式で定義される K3 表面の例において、アルゴリズムは Stanley-Reisner 複体、∇*、およびトロピカルな面の余複体 T_I₀(I)* を介して鏡を計算し、それぞれの F-ベクトルが {1,5,9,6,0,0} および {1,6,9,5,0,0} となり、鏡双対性が成立することが示された。
• 複体 T_I₀(I) の頂点の座標は明示的に 4×11 行列として計算され、鏡の多面体構造が確認された。
• 構成は Macaulay2 パッケージ SRdeformations に実装されており、ドキュメンテーションに検証および拡張用の実行可能コードが提供されている。
• 本フレームワークは、非一般的完全交差の退化にも一般化可能であり、同一のトロピカル的メカニズムを用いて、所定の特異点を持つ族の研究が可能となる。