[論文レビュー] From real affine geometry to complex geometry

Mark Gross, Bernd Siebert|arXiv (Cornell University)|Mar 28, 2007

Algebraic Geometry and Number Theory参考文献 14被引用数 19

ひとこと要約

本稿は、トロピカル幾何を用いて、特異点をもつ実アフィン多様体から、カルラヤーマニフォールドの退化を構成する。これは、順序ごとの変形プロセスを canonical に与える。主な貢献は、鏡像対称性の逆問題を解くことであり、トロピカルデータと複素幾何を、トロピカルツリーの族を通じて明示的に結びつける。また、canonical な変形パラメータの存在と、トロピカル曲線を用いた周期計算の存在を証明する。

ABSTRACT

We construct from a real affine manifold with singularities (a tropical manifold) a degeneration of Calabi-Yau manifolds. This solves a fundamental problem in mirror symmetry. Furthermore, a striking feature of our approach is that it yields an explicit and canonical order-by-order description of the degeneration via families of tropical trees. This gives complete control of the B-model side of mirror symmetry in terms of tropical geometry. For example, we expect our deformation parameter is a canonical coordinate, and expect period calculations to be expressible in terms of tropical curves. We anticipate this will lead to a proof of mirror symmetry via tropical methods. This paper is the key step of the program we initiated in math.AG/0309070.

研究の動機と目的

• 特異点をもつ実アフィン多様体からカルラヤーマニフォールドの退化を構成することにより、鏡像対称性の逆問題を解くこと。
• トロピカルツリーの族を用いて、退化を canonical かつ順序ごとに記述すること。
• トロピカル幾何と鏡像対称性のBモデル側との直接的なリンクを確立し、明示的な周期計算を可能にすること。
• canonical な変形パラメータの存在を証明し、周期がトロピカル曲線を用いて表現可能であることを示すこと。
• 構成が特異点の分岐軌跡の選び方に依存しないことを示し、堅牢性と一貫性を保証すること。

提案手法

• 整数多面体を境界に沿って貼り合わせる組み合わせ的枠組みを用い、特異点が codimension 2 の集合に限る、整数アフィン構造をもつ位相的多様体を構成する。
• 変形プロセスをモデル化するため、スラブ、ウォール、スキャッタリング図を導入し、多面体分割におけるジョイント回りのループによって整合性条件を課す。
• アルゴリズムは3段階に分けられる：初期構造の設定、ジョイントにおけるスキャッタリング、スラブのホモロジー的修正、その後の正規化。
• 完成化されたべき級数環における無限積展開を用いて変形を構成し、各係数の有限台紙条件により収束を保証する。
• 各順序で変形パラメータの整数性を保証するため、tlog 写像を用いて対数構造を追跡する。
• 多様体を単位区間上で拡張し、同相な選択肢の間で一貫性が保たれることを示すことにより、構成が分岐軌跡の選び方に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 特異点をもつ実アフィン多様体から、カルラヤーマニフォールドの退化を明示的に構成できるか？
• RQ2 Bモデル上の座標に対応する canonical な変形パラメータが構成に存在するか？
• RQ3 鏡像対称性における周期積分は、トロピカル曲線を用いて表現可能か？
• RQ4 構成が分岐軌跡の異なる選び方に対しても不変であるか？
• RQ5 全変形プロセスを、トロピカルツリー構造を用いて順序ごとに記述できるか？

主な発見

• 本稿は、与えられた特異点をもつアフィン多様体と同型な双対交差複体をもつ、トーリック退化を構成する。
• トロピカルツリーの族を用いて、Bモデル側の鏡像対称性を完全に制御可能な形で順序ごとに明示的に記述する。
• 構成により canonical な変形パラメータが得られ、これはモジュライ空間上の自然な座標と期待される。
• 周期積分はトロピカル曲線を用いて表現可能であると予想され、鏡像対称性のトロピカル的証明への道筋が示唆される。
• 分岐軌跡の選び方に依存しないことが、単位区間上での構成拡張と、同相変形における一貫性の確認により示された。
• 各順序における非ゼロ係数の有限台紙条件により、変形関数の無限積展開は収束し、各段階でwell-definedであることが保証される。