[论文解读] 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

一句话总结

本文更正了 [IP] 中关于 Gromov-Witten 不变量的辛和公式中曲率项 (8.7) 的符号错误，并针对具有通解交点重数向量 $s = (s_1, \dots, s_\ell)$（其中 $s_k \geq 2$）的映射，修订了索伯列夫范数。关键贡献在于引入一种带有 $\rho^{1-s_k}$ 加权的修改后范数，该范数在重数为 $s_k \geq 2$ 的节点附近生效，恢复了关键估计的有效性，并确保线性化算子 $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)] 的索伯列夫范数基础上，通过在重数 $s_k \geq 2$ 的节点附近的法向分量上引入修改后的加权因子 $\rho^{1-s_k}$，重新定义范数，以确保其与原范数的统一等价性并维持估计的有效性。
• 利用 [IP] 中的逐点估计，验证引理 6.9、7.1、命题 7.3 和引理 9.2 在新范数下依然成立。
• 在新范数下建立线性化算子 $D_F$ 的一致有界近似逆的存在性，从而确保辛和公式对所有重数类型均成立。

提出的方法

• 引入修订后的索伯列夫范数 $|||\zeta|||_{m,p,s}$，在重数 $s_k \geq 2$ 的节点附近的法向分量上引入 $\rho^{1-s_k}$ 因子，通过在节点区域上的加权 $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 = \mathbf{1}$ 扩展到通解重数向量 $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，该命题现可在修订后的范数框架下成立。
• 带有 $\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] 中的次要排版错误已修正，包括符号错误和错误的下标，但不影响数学结论。