[論文レビュー] Corrigendum: The symplectic sum formula for Gromov-Witten invariants

Eleny-Nicoleta Ionel, Thomas H. Parker|arXiv (Cornell University)|Oct 14, 2015

Finite Group Theory Research参考文献 1被引用数 3

ひとこと要約

本稿は、Gromov-Witten不変量のシンプレクティック和の公式における曲率項の符号誤りを是正し、一般の交差重複度ベクトル $s = (s_1, \dots, s_\ell)$ を持つ写像を扱えるようにソボレフノルムを見直す。主な貢献は、重複度 $s_k \geq 2$ のノード付近で $\rho^{1-s_k}$ の重みを付ける修正されたノルムであり、これにより主要な推定式が再び有効となり、線形化作用素 $D_F$ の可逆性が保証され、あらゆる重複度タイプに対してシンプレクティック和の公式が一貫して証明可能となる。

ABSTRACT

We correct an error and an oversight in [IP]. The sign of the curvature in (8.7) is wrong, requiring a new proof of Proposition 8.1. Also, several lemmas addressed only the basic case of maps with intersection multiplicity s=1; the general case follows by applying the pointwise estimates in [IP] with a modified Sobolev norm. These corrections do not affect the results of the paper. We thank M. Tehrani and A. Zinger for pointing out these issues.

研究の動機と目的

• 文献[IP]で提示されたGromov-Witten不変量のシンプレクティック和の公式における曲率項 (8.7) の符号誤りを是正すること。
• 文献[IP]が交差重複度 $s = \mathbf{1}$ の写像のみを扱っていたという見落としを是正し、一般の重複度ベクトル $s = (s_1, \dots, s_\ell)$ で $s_k \geq 2$ を満たす場合にまで分析を拡張すること。
• 文献[IP, (6.9)]におけるソボレフノルムを、ノード付近の正規成分に $\rho^{1-s_k}$ の修正された重み因子を導入することで再定義し、一様な同値性と推定式の有効性を保証すること。
• 文献[IP]の点での推定式を用いて、新しいノルム下でも補題6.9, 7.1, 7.3, および補題9.2が有効であることを確認すること。
• 修正されたノルム下で線形化作用素 $D_F$ の一様に有界な近似逆作用素の存在を確立し、あらゆる重複度タイプに対してシンプレクティック和の公式が成立することを保証すること。

提案手法

• 重複度 $s_k \geq 2$ のノード付近の正規成分に $\rho^{1-s_k}$ 要素を含む修正されたソボレフノルム $|||\zeta|||_{m,p,s}$ を定義し、ノード領域における重み付き $L^p$-積分を用いる。
• 文献[IP, (6.10)–(6.11)]における $|||(.\xi,h)|||_m$ および $|||\eta|||_m$ の定義を、新しいノルムに適合させることで、作用素推定式の一貫性を確保すること。
• 文献[IP]の点推定式を用いて、$\overline{\partial}$-作用素およびその微分の差を、新しいノルム下で評価すること。特に $|\Phi_F - \Phi_{\tilde{f}}|$ および $|\Phi_{\tilde{f}} - \Phi_f|$ の評価を行う。
• 修正されたノルムを用いて、$|||D_F \Gamma_F - \gamma_F D_f|||_0$ に一様な有界性を確立し、$|\lambda|^{1/(5|s|)}$ および $|\log M|^{-1}$ の減衰を示す。これにより、近似逆作用素の構成が可能となる。
• 作用素 $A_F = \Gamma_{F,M} \circ P_f \circ \pi_F$ を、$D_F$ のスプライスされた近似右逆作用素として構成し、$|||D_F A_F \eta - \eta|||_0 \leq \frac{1}{2}|||\eta|||_0$ および $|||A_F \eta|||_1 \leq C|||\eta|||_0$ を証明する。
• 数学的結果に影響を与えない、[IP]におけるわずかなタイプセット誤り（符号誤りや誤った添え字）を是正すること。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック和の公式における曲率項 (8.7) の符号誤りが、[IP]における元の証明の有効性にどのように影響を与えるか？
• RQ2 重複度ベクトル $s = (s_1, \dots, s_\ell)$ で $s_k \geq 2$ を満たす一般の場合にまで分析を拡張するため、ソボレフノルムに必要な修正は何か？
• RQ3 補題6.9, 7.1, および補題7.3の主要な推定式は、新しいノルム下でも保持されるか？その場合、どのような条件下で成立するか？
• RQ4 修正されたノルム下でも、$D_F$ の一様に有界な近似逆作用素の存在は保たれるか？これによりシンプレクティック和の公式にどのような影響を与えるか？
• RQ5 修正されたノルムが、作用素ノルム $D_F \Gamma_F - \gamma_F D_f$ に与える影響は何か？また、これにより $A_F$ の構成にどのような影響を与えるか？

主な発見

• 文献[IP]における曲率項 (8.7) の符号誤りは是正され、補題8.1の再証明が必要となり、修正されたノルム枠組み下で現在は有効である。
• ノードの重複度 $s_k \geq 2$ の付近で $\rho^{1-s_k}$ の重みを付ける修正されたソボレフノルム $|||\zeta|||_{m,p,s}$ は、$s = \mathbf{1}$ の場合に元のノルムと一様に同値であり、一般の場合には推定式を強化する。
• $A_+$ 上で推定式 $|||\Phi_F - \Phi_{\tilde{f}}|||_{0,A_+} \leq c|\lambda|^{1/(3|s|)}$ が成り立つ。これは、修正されたノルムと $|\lambda| \sim |\mu|^{s_k}$ の関係により、指数が $1/(3|s|)$ に調整されたものである。
• 作用素ノルム $|||D_F \Gamma_F - \gamma_F D_f|||_0$ は $c_M |\lambda|^{1/(5|s|)} + c |\log M|^{-1}$ で有界であり、$M$ および $\lambda_0$ の選択により一様制御が可能となる。
• 近似逆作用素 $A_F = \Gamma_{F,M} \circ P_f \circ \pi_F$ が存在し、$|||D_F A_F \eta - \eta|||_0 \leq \frac{1}{2}|||\eta|||_0$ および $|||A_F \eta|||_1 \leq C|||\eta|||_0$ を満たす。これにより、新しいノルム下でも線形化作用素 $D_F$ が一様に可逆であることが証明される。
• [IP]におけるわずかなタイプセット誤り（符号誤りや誤った添え字）が是正され、数学的結論に影響を与えない。