[論文レビュー] The Higher Dimensional Tropical Vertex

Hülya Argüz, Mark Gross|arXiv (Cornell University)|Jul 16, 2020

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

ひとこと要約

本稿は、トーリック多様体をブローモンで blown upして得られる対数ケーラー・ヤウ多様体の穴あきグロモフ＝ウィッテンインヴァリアントから構成される標準的散乱図と、トーリック幾何に基づいてアルゴリズム的に構成された散乱図との間の組合せ的同型を確立する。主な結果は、列挙幾何のデータを符号化する穴あきインヴァリアントが、ピecewise線形同型を介してアルゴリズム的構成から完全に回復可能であり、トロピカルバーテックスを高次元に一般化し、任意次元におけるミラー座標環の計算に実用的な手法を提供することである。

ABSTRACT

We study log Calabi-Yau varieties obtained as a blow-up of a toric variety along hypersurfaces in its toric boundary. Mirrors to such varieties are constructed by Gross-Siebert from a canonical scattering diagram built by using punctured log Gromov-Witten invariants of Abramovich-Chen-Gross-Siebert. We show that there is a piecewise linear isomorphism between the canonical scattering diagram and a scattering diagram defined algortihmically, following a higher dimensional generalisation of the Kontsevich-Soibelman construction. We deduce that the punctured log Gromov-Witten invariants of the log Calabi-Yau variety can be captured from this algorithmic construction. As a particular example, we compute these invariants for a non-toric blow-up of the three dimensional projective space along two lines. This generalizes previous results of Gross-Pandharipande-Siebert on "The Tropical Vertex" to higher dimensions.

研究の動機と目的

• グロス・パンダリパーンデ・シーベルトの2次元におけるトロピカルバーテックス構成を、高次元に拡張すること。
• 穴あきグロモフ＝ウィッテンインヴァリアントから構成される標準的散乱図と、アルゴリズム的に定義されたトーリック散乱図との間の組合せ的同型を確立すること。
• ミラー対称性の鍵をなす穴あきインヴァリアントが、純粋にアルゴリズム的散乱プロセスから抽出可能であることを示すこと。
• 任意次元における対数ケーラー・ヤウ多様体のミラー座標環を構成する計算フレームワークを提供すること。

提案手法

• X を境界の超曲面に沿ってブローモンで blown upしたトーリック多様体とし、対 (X, D) の穴あきグロモフ＝ウィッテンインヴァリアントを用いて標準的散乱図を構成する。
• 元のトーリック多様体のファング Σ とブローモンの中心 H を用いて、トロピカル曲線の数え上げから得られる壁関数を用いて、アルゴリズム的散乱図 D(XΣ,H) を定義する。
• 標準的散乱図とアルゴリズム的散乱図との間のピースワイズ線形（PL）同型を確立し、それらの同型を証明する。
• PL同型を用いて、穴あきインヴァリアント N~τ がアルゴリズム的図に符号化されていることを示し、それらの組合せ的計算を可能にする。
• 散乱壁の構造とその台を分析し、壁の幾何からトロピカル型 τ と接触順序を再構成する。
• 具体的な例に適用：P³ を2本の直線に沿ってブローモンした場合の計算。トロピカル族と壁キャンセレーションを用いて、明示的な多重被覆寄与を計算する。

実験結果

リサーチクエスチョン

• RQ1 標準的散乱図（穴あきグロモフ＝ウィッテンインヴァリアントから構成）は、高次元におけるトーリックデータからアルゴリズム的に再構成可能か？
• RQ2 高次元の対数ケーラー・ヤウペアに対して、標準的散乱図とアルゴリズム的に構成された散乱図との間にピースワイズ線形同型が存在するか？
• RQ3 穴あきグロモフ＝ウィッテンインヴァリアントは、直接的な幾何的計算なしに散乱図の組合せ論からどの程度回復可能か？
• RQ4 アルゴリズム的散乱図における壁キャンセレーションは、穴あき写像の背後にあるトロピカル型と接触順序をどのように反映するか？
• RQ5 本手法は、P³ を2本の直線に沿ってブローモンしたような非トーリックなブローモンに対しても、明示的なインヴァリアントを計算するために適用可能か？

主な発見

• 対数ケーラー・ヤウペア (X, D) の標準的散乱図は、ファングとブローモン中心に基づくアルゴリズム的散乱図とピースワイズ線形同型である。
• 穴あきグロモフ＝ウィッテンインヴァリアント N~τ は、アルゴリズム的散乱図によって完全に符号化されており、それにより組合せ的計算が可能である。
• P³ を2本の直線に沿ってブローモンした場合、例外的除算の k:1 被覆における多重被覆寄与は (−1)^k+1 / k² で与えられ、2次元の公式と一致するが、高次元に一般化されている。
• 散乱図の壁関数は幾何的データを符号化している：例えば、台 ⟨e1, −e2⟩ と関数 1 + tL−E2y + tL−E1−E2xy の壁は、3本の有理曲線からなるドメインチェーンを持つ穴あき写像の族を表す。
• 壁キャンセレーションの分析から、最終的な整合性のある図が複数の幾何的寄与を符号化していることが判明した。例えば、横断的に接続された有理曲線を持つ k:1 被覆は、各々 (k choose ℓ) の係数を寄与する。
• 関数 1 + tL−E1−E2xy の4つの壁は、直線族の厳密な変換が例外的除算 E ≅ P¹×P¹ においてクラス (1,1) の曲線と交わることを示しており、幾何的交差挙動を確認している。