[論文レビュー] Enumeration of holomorphic cylinders in log Calabi-Yau surfaces. II. Positivity, integrality and the gluing formula

Tony Yue Yu|arXiv (Cornell University)|Aug 26, 2016

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

ひとこと要約

この論文は、非アルキメデス幾何とトロピカル手法を用いて、対数ケーラー・ヤウ表面における正則円筒の数え上げに関して、基本的性質である正値性、整数性、および接合公式を確立する。仮想的数え上げが非負整数であり、乗法的接合法則を満たすことを証明し、それらがミラー対称性における役割およびグロス＝ハッキング＝キールの折れた線（broken lines）との予想的な関係を強く示唆する。

ABSTRACT

We prove three fundamental properties of counting holomorphic cylinders in log Calabi-Yau surfaces: positivity, integrality and the gluing formula. Positivity and integrality assert that the numbers of cylinders, defined via virtual techniques, are in fact nonnegative integers. The gluing formula roughly says that cylinders can be glued together to form longer cylinders, and the number of longer cylinders equals the product of the numbers of shorter cylinders. Our approach uses Berkovich geometry, tropical geometry, deformation theory and the ideas in the proof of associativity relations of Gromov-Witten invariants by Maxim Kontsevich. These three properties provide an evidence for a conjectural relation between counting cylinders and the broken lines of Gross-Hacking-Keel.

研究の動機と目的

• 対数ケーラー・ヤウ表面における正則円筒の仮想的数え上げが非負整数であることを確立し、その不変性および幾何的意味を確認する。
• 円筒の数え上げが、$F_1$ から $F_3$ に至る円筒の数が、$F_1$ から $F_2$ と $F_2$ から $F_3$ への数え上げの積に等しいという接合公式を検証する。
• ミラー対称性の文脈において、円筒の数え上げとグロス＝ハッキング＝キールの折れた線との深い関係を裏付ける証拠を提供する。
• これらの不変量が変形不変量であり、Looijenga対 $(Y,D)$ の一般的変形に対しても安定して保たれることを示す。
• ベルコヴィッチ幾何とトロピカル技法を用いて、バブルの発生を避け、滑らかで適切なモジュライ空間を保証する方法で、これらの不変量を厳密に定義し計算する。

提案手法

• ベルコヴィッチ解析的幾何を用いて、対数ケーラー・ヤウ表面の解析的化 $X^\mathrm{an}_k$ 上に非アルキメデス的 SYZ フibration $\tau: X^\mathrm{an}_k \to B$ を構成する。
• トロピカル幾何を用いて、特異な $\mathbb{Z}$-アフィン多様体 $B$ 内の分(piecewise linear)スプライン $L$ を用いて正則円筒をモデル化する。
• 曲面内の有理曲線の変形理論を用いて、一般的条件下で安定写像のモジュライ空間が滑らかでコンパクトであることを示す。
• 仮想的技法とモジュライスタック $\mathcal{M}^\mathrm{d}(\beta^\mathrm{d}, T)_{w}$ 内の次数計算を用いて、安定写像の数え上げを通じて不変量を抽出する。
• 安定写像のモジュライ空間間の同型を用いて、特に解析的近傍の積構造を通じて、異なるスプライン間での円筒数え上げを関連付ける。
• グロモフ＝ウィッテン不変量の結合則（コンツェビッチのアイデアを応用）を用いて、異なる配置におけるモジュライスタックの次数を比較することで、接合公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 対数ケーラー・ヤウ表面における正則円筒の仮想的数え上げは非負整数か？
• RQ2 円筒の数え上げが、$F_1$ から $F_3$ に至る円筒の数が、$F_1$ から $F_2$ と $F_2$ から $F_3$ への数え上げの積に等しいか？
• RQ3 円筒の数え上げは、Looijenga対 $(Y,D)$ の変形に関して不変量として解釈可能か？
• RQ4 ミラー対称性の文脈において、これらの円筒の数え上げとグロス＝ハッキング＝キールの折れた線との間に構造的関係があるか？
• RQ5 非アルキメデス的およびトロピカル手法は、関係するモジュライ空間の滑らかさとコンパクト性を保証するためにどのように作用するか？

主な発見

• スプライン $L$ および曲線類 $\beta$ に関連する正則円筒の数 $N(L, \beta)$ は非負整数である。整数性および正値性が証明された。
• 接合公式が成立する：$\sum_{\beta^1 + \beta^2 = \beta^3} N(L^1, \beta^1) \cdot N(L^2, \beta^2) = N(L^3, \beta^3)$ であり、$L^3$ は接合されたスプラインである。
• 不変量は Looijenga 対 $(Y,D)$ の変形不変量であり、一般的変形に対しても変わらない。
• 一般的 $(Y,D)$ に対して、正則円筒のモジュライ空間にバブルが発生しない。仮想的数え上げが実際に有効であり、安定して保たれる。
• 与えられた条件下で、安定写像のモジュライ空間は滑らかでコンパクトである。これにより、次数計算の妥当性が裏付けられる。
• トロピカル的および解析的接合によって誘導される同型の下で、モジュライスタック $\mathcal{M}^\mathrm{d}(\beta^\mathrm{d}, T)_w$ の次数が保存される。接合公式の一貫性が確認された。