[論文レビュー] Exploded Manifolds

Brett Parker|arXiv (Cornell University)|Oct 21, 2009

Polynomial and algebraic computation参考文献 14被引用数 4

ひとこと要約

本稿では、滑らかな多様体の拡張としての爆発多様体（exploded manifolds）を導入し、特異的または退化した設定下でも安定した正則曲線理論を可能にするとともに、通常交叉除法子に関するグロモフ・ウィッテン不変量の計算をトロピカル曲線の数え上げによって実現する。主な貢献は、トロピカル部分（凸多面体が面に沿って貼り合わされたものの和集合）が幾何学的および数え上げ的情報を符号化する枠組みを提供することにある。

ABSTRACT

This paper provides an introduction to exploded manifolds. The category of exploded manifolds is an extension of the category of smooth manifolds with an excellent holomorphic curve theory. Each exploded manifold has a tropical part which is a union of convex polytopes glued along faces. Exploded manifolds are useful for defining and computing Gromov-Witten invariants relative to normal crossing divisors, and using tropical curve counts to compute Gromov-Witten invariants.

研究の動機と目的

• 滑らかな多様体のカテゴリを、退化または特異な状況下でも正則曲線理論を支えるより豊かな構造を含むように拡張すること。
• 通常交叉除法子に関するグロモフ・ウィッテン不変量を定義・計算するための幾何的枠組みを提供すること。
• 爆発多様体のトロピカル部分を通じて、トロピカル曲線の数え上げとグロモフ・ウィッテン不変量との間の関係を確立すること。
• トロピカル部分が面に沿って貼り合わされた凸多面体の和集合である爆発多様体のカテゴリを形式化し、組合せ論的および幾何的解析を可能にすること。

提案手法

• 滑らかな多様体を拡張するカテゴリとして爆発多様体を導入し、滑らかな関数を一般化する爆発構造の層を備えること。
• 爆発多様体のトロピカル部分を、面に沿って貼り合わされた凸多面体の和集合として定義し、退化の組合せ論的データを捉えること。
• トロピカル部分を用いて、特に通常交叉除法子に漸近する正則曲線をモデル化・分類すること。
• トロピカル曲線の数え上げ技術を応用し、トロピカル部分の多面体的構造を活用してグロモフ・ウィッテン不変量を計算すること。
• 爆発多様体内の正則曲線と、そのトロピカル部分内の組合せ論的トロピカル曲線との間の対応関係を確立すること。
• 爆発多様体の枠組みを用いて、標準的な滑らかな多様体の手法が失敗する状況においても相対グロモフ・ウィッテン不変量を定義すること。

実験結果

リサーチクエスチョン

• RQ1 通常交叉除法子を伴う状況下で、一般化された幾何的カテゴリを用いてグロモフ・ウィッテン不変量を定義・計算する方法は何か？
• RQ2 爆発多様体のトロピカル部分が正則曲線の数え上げ不変量をどのように符号化するか？
• RQ3 トロピカル部分の多面体的構造が正則曲線の数え上げをどのように支援するか？
• RQ4 爆発多様体の枠組みは、滑らかな多様体を超えて古典的な正則曲線理論をどのように拡張するか？
• RQ5 爆発多様体のトロピカル部分におけるトロピカル曲線の数え上げは、グロモフ・ウィッテン不変量を回復または計算できるか？

主な発見

• 爆発多様体は、滑らかな多様体を拡張するカテゴリを提供し、退化または特異な状況下でも良好に動作する正則曲線理論を支える。
• 爆発多様体のトロピカル部分は、面に沿って貼り合わされた凸多面体の和集合であり、曲線の数え上げの組合せ論的モデルを提供する。
• 通常交叉除法子に関するグロモフ・ウィッテン不変量は、爆発多様体の枠組みを用いて定義・計算可能である。
• 爆発多様体のトロピカル部分におけるトロピカル曲線の数え上げは、グロモフ・ウィッテン不変量の正確な計算をもたらす。
• この枠組みにより、爆発多様体内の正則曲線とそのトロピカル部分内のトロピカル曲線との間の直接的な対応関係が確立される。
• 爆発多様体の構造により、古典的な滑らかなカテゴリでは得られない、体系的かつ幾何的な相対不変量のアプローチが可能になる。