[論文レビュー] A degeneration formula of Gromov-Witten invariants with respect to a curve class for degenerations from blow-ups

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|Aug 11, 2004

Geometric and Algebraic Topology参考文献 28被引用数 6

ひとこと要約

この論文は、自明なファミリの blown-up に由来する分岐のための Gromov-Witten 不変量のジュン・リーの分岐公式を、曲線類に依存する形に精緻化する。交差数と blown-up の幾何におけるモーリー錐の分析を通じて、相対不変量が中心ファイバー上で寄与する部分を符号化する明示的に決定された有限集合 $\Omega_{(g,k;\beta)}$ が構成され、一般ファイバーの不変量が相対的データに基づいて正確に計算可能となる。

ABSTRACT

In two very detailed, technical, and fundamental works, Jun Li constructed a theory of Gromov-Witten invariants for a singular scheme of the gluing form $Y_1\cup_D Y_2$ that arises from a degeneration $W/{\Bbb A}^1$ and a theory of relative Gromov-Witten invariants for a codimension-1 relative pair $(Y,D)$. As a summit, he derived a degeneration formula that relates a finite summation of the usual Gromov-Witten invariants of a general smooth fiber $W_t$ of $W/{\Bbb A}^1$ to the Gromov-Witten invariants of the singular fiber $W_0=Y_1\cup_D Y_2$ via gluing the relative pairs $(Y_1,D)$ and $(Y_2,D)$. The finite sum mentioned above depends on a relative ample line bundle $H$ on $W/{\Bbb A}^1$. His theory has already applications to string theory and mathematics alike. For other new applications of Jun Li's theory, one needs a refined degeneration formula that depends on a curve class $β$ in $A_{\ast}(W_t)$ or $H_2(W_t;{\Bbb Z})$, rather than on the line bundle $H$. Some monodromy effect has to be taken care of to deal with this. For the simple but useful case of a degeneration $W/{\Bbb A}^1$ that arises from blowing up a trivial family $X imes{\Bbb A}^1$, we explain how the details of Jun Li's work can be employed to reach such a desired degeneration formula. The related set $Ω_{(g,k;β)}$ of admissible triples adapted to $(g,k;β)$ that appears in the formula can be obtained via an analysis on the intersection numbers of relevant cycles and a study of Mori cones that appear in the problem. This set is intrinsically determined by $(g,k;β)$ and the normal bundle ${\cal N}_{Z/X}$ of the smooth subscheme $Z$ in $X$ to be blown up.

研究の動機と目的

• 固定された曲線類 $\beta \in A_1(X)$ または $H_2(X;\mathbb{Z})$ に依存するように、ジュン・リーの分岐公式を相対的に十分なラインバンドルに依存するのではなく、拡張すること。
• $X \times \mathbb{A}^1$ に沿って $Z \times \{0\}$ でブロー・アップすることによって生じる分岐の特殊ケースに注目し、分岐公式におけるモノドロミー効果を解消すること。
• 中心ファイバー $Y_1 \cup_E Y_2$ 上の相対不変量の接合を支配する、標準的かつ内在的な集合 $\Omega_{(g,k;\beta)}$ を構成すること。
• 一般ファイバーの Gromov-Witten 不変量を、中心ファイバーの成分上の相対不変量の言語で実用的かつ計算可能に表現すること。
• 複数回のブロー・アップや非連結な中心に対しても、この枠組みを一般化し、構成に必要な主要な幾何的不変量を同定すること。

提案手法

• 著者たちは、拡張された分岐と相対的安定写像の基礎的枠組みを用いて、安定写像のスタック上の仮想基本類を定義する。
• 彼らは、モーリー錐 $\overline{\mathrm{NE}}(W_t)$ 及びそのブロー・アップにおける振る舞いを分析し、$A_1(X)$ 内の曲線類の構造と、それらがブロー・アップの成分へと押し出される様子に注目する。
• 集合 $\Omega_{(g,k;\beta)}$ は交差理論的制約により構成される：例外的除集合 $E$ に関する次数、種数、接合条件を満たす適切な三つ組 $(\Gamma_1, \Gamma_2, I)$ からなる。
• 重要な式には、$\beta$ の分解 $p_{1*}\widetilde{\beta}_1^0 + p_{2*}\widetilde{\beta}_2^0$ が含まれ、中心 $Z$ の正規バンドルを補正するための $E \cdot \widetilde{\beta}_1^0$ 項が含まれる。
• 公式は、$\eta \in \overline{\Omega}_{(g,k;\beta)}$ における和として、Gromov-Witten 不変量 $\Psi_{(g,k;\beta)}^X(\alpha,\zeta)$ を表し、自己同型因子 $\mathbf{m}(\eta)/|\mathrm{Eq}(\eta)|$ による重み付けを施した、$Y_1^\mathrm{rel}$ と $Y_2^\mathrm{rel}$ からの相対不変量の積の接合として表される。
• この構成は相対的十分ラインバンドルの選択に依存せず、$\beta$、種数 $g$、標識点の数 $k$、および正規バンドル $\mathcal{N}_{Z/X}$ のみに依存する。

実験結果

リサーチクエスチョン

• RQ1 ジュン・リーの分岐公式は、相対的十分ラインバンドルに依存するのではなく、固定された曲線類 $\beta$ に明示的に依存する形にどのように精緻化できるか？
• RQ2 ブロー・アップ分岐の文脈において、適切な三つ組 $\Omega_{(g,k;\beta)}$ を決定づける幾何的およびコhomオロジカルなデータは何か？
• RQ3 ブロー・アップ成分における交差数とモーリー錐構造は、分岐公式への寄与を制限するか？
• RQ4 このような分岐において、一般ファイバーから中心ファイバーへの遷移におけるモノドロミーの役割は何か？そしてブロー・アップの場合にどのように解消されるか？
• RQ5 精緻化された公式は、連続するブロー・アップや非連結な中心へ一般化可能か？また、その分解を支配する不変量は何か？

主な発見

• $\Omega_{(g,k;\beta)}$ は、正規バンドル $\mathcal{N}_{Z/X}$、曲線類 $\beta$、および位相的データ $(g,k)$ によって、補助的ラインバンドルとは独立に一意に決定される。
• $\beta \neq 0$ の場合、集合 $\Omega_{(g,k;\beta)}$ は三つの互いに素な部分に分解される：(1) $Y_1$ と $Y_2$ 上の非自明な曲線類に、$E \cdot \widetilde{\beta}_1^0$ を介した補正項を含むもの、(2) $Y_1$ 上の非自明なクラスに最大補正を施したもの、(3) $Y_2$ 上の非自明なクラスに補正なしのもの。
• 公式は、$\eta \in \overline{\Omega}_{(g,k;\beta)}$ における有限和として、Gromov-Witten 不変量 $\Psi_{(g,k;\beta)}^X(\alpha,\zeta)$ を表し、$\mathbf{m}(\eta)/|\mathrm{Eq}(\eta)|$ の重みを付けた、$Y_1^\mathrm{rel}$ と $Y_2^\mathrm{rel}$ からの相対不変量の積の接合として表される。
• 公式は $\beta \in H_2(X;\mathbb{Z})$ に対しても正確に成り立つため、代数的サイクルを超えた位相的自然性が示されている。
• この構成は一般化に対して頑健である：連続するブロー・アップや非連結な中心へと拡張可能であり、適切な三つ組に同じ構造的制約が適用される。
• 鍵となる洞察は、モーリー錐構造とブロー・アップ成分上の交差理論が、接合データを完全に決定し、補助的選択（例：$H$）に依存しないことである。