Relative Gromov-Witten and maximal contact conics

基本信息

• 论文ID: 2401.08487
• 标题: Relative Gromov-Witten and maximal contact conics
• 作者: Giosuè Muratore (CEMS.UL, University of Lisbon, and COPELABS/DEISI, Lusófona University)
• 分类: math.AG (代数几何)
• 发表时间: 2024年1月17日，最后修订于2025年8月16日
• 论文链接: https://arxiv.org/abs/2401.08487

摘要

本文研究了相对Gromov-Witten不变量的性质，这些不变量计算在一点具有最大接触阶的有理曲线。作者计算了任意光滑平面曲线Y的Cayley六次接触二次曲线的数量。特别地，计算了拐点线的双重覆盖对某个相对于Y的二次相对Gromov-Witten不变量的贡献。

研究背景与动机

1. 核心问题: 经典代数几何中一个重要问题是计算与给定曲线具有特定接触性质的有理曲线数量。当要求有理曲线在某点具有最大可能的接触阶时，这样的曲线数量是有限的。
2. 历史重要性: 对于度数为n的有理曲线，如果要求其与度数为d(≥3)的一般光滑平面曲线Y在某点的接触阶为3n（最大可能值），这是一个经典问题。当n=1时，这些曲线是拐点线；当n=2时，它们被称为六次接触二次曲线(sextactic conics)。
3. 现有方法局限: 虽然Cayley在1863年首次发现了六次接触二次曲线的计数公式，但使用相对Gromov-Witten理论的现代方法能够提供更深入的几何理解，特别是对于可约曲线贡献的精确计算。
4. 研究动机: 本文旨在通过相对Gromov-Witten不变量的方法重新证明经典结果，并为推广到更高次数的情况提供理论基础。

核心贡献

1. 主要定理: 证明了对于度数d≥3的一般光滑平面曲线Y，与Y具有接触阶6的二次曲线数量为 $n_d = 3d(4d-9)$
2. 理论框架: 建立了使用相对Gromov-Witten不变量计算最大接触曲线数量的系统方法
3. 双重覆盖贡献: 精确计算了拐点线的双重覆盖对相对Gromov-Witten不变量的贡献，每个贡献为3/4
4. 一般性公式: 给出了计算s维射影空间中度数为d的超曲面的最大接触线数量的闭式公式
5. 未来展望: 为计算更高次数曲线（如三次曲线）的最大接触数量提供了猜想和理论基础

方法详解

任务定义

给定复数域上度数d≥3的一般光滑平面曲线Y，计算所有与Y在某点具有接触阶6的不可约二次曲线的数量。

理论架构

1. 相对Gromov-Witten不变量

使用模空间 $M_Y^{(m)}(\mathbb{P}^s, n)$ 表示度数为n、在标记点处与Y具有重数至少为m的1-点相对稳定映射的模空间。其期望维数为： $\dim(M_{0,1}(\mathbb{P}^s, n)) - m = s + n(s+1) - 2 - m$

2. 递推关系

相对Gromov-Witten不变量满足基本递推关系： $(ev^*(Y) + m\psi) \cdot [M_Y^{(m)}(\mathbb{P}^s, n)] = [M_Y^{(m+1)}(\mathbb{P}^s, n)] + [D^{(m)}(\mathbb{P}^s, n)]$

其中$D^{(m)}(\mathbb{P}^s, n)$参数化可约曲线。

3. 最大接触曲线的虚拟数量

定义函数$T_{s,n}: \mathbb{N} \to \mathbb{Q}$： $T_{s,n}(d) = \deg([M_Y^{(s-2+n(s+1))}(\mathbb{P}^s, n)])$

技术创新点

1. 显式计算公式

对于线的情况，给出了闭式公式： $\deg([M_Y^{(2s-1)}(\mathbb{P}^s, 1)]) = (-1)^{s+1}\sum_{k=1}^s S(2s-1, k)\binom{2s-k}{s}d^k$

其中$S(n,k)$是带符号的第一类Stirling数。

2. 模空间分解

证明了$M_Y^{(5)}(\mathbb{P}^2, 2)$具有以下不可约分支：

• 参数化光滑二次曲线的分支$M^*$
• 每条拐点线$l$对应一个光滑有理曲线$M_l$

3. 虚拟基本类的计算

通过局部计算证明了：

• $M_l$上的虚拟基本类等于通常的基本类
• 截面$\sigma$在$M^*$与$M_l$的交点处以重数1消失

实验设置

数据验证

作者使用计算包MS22, Mur24手工计算了以下数值：

• $T_{2,2}(3) = \frac{135}{4}$, $T_{2,2}(4) = 102$
• $T_{2,3}(3) = 244$, $T_{2,3}(4) = \frac{2384}{3}$

多项式插值

通过多项式插值得到：

• $T_{2,2}(d) = \frac{57}{4}d^2 - \frac{63}{2}d$ (对于$d \geq 3$)
• $T_{2,3}(d) = \frac{352}{3}d^2 - \frac{812}{3}d$

验证方法

使用Gat软件包验证了公式在多个d值下的正确性。

实验结果

主要结果

定理1.1: 对于度数$d \geq 3$的一般光滑平面曲线Y，接触阶为6的二次曲线数量为： $n_d = 3d(4d-9)$

关键计算

引理4.7: 每个拐点线双重覆盖分支的贡献为$b_d = \frac{3}{4}$（对所有$d \geq 3$）。

具体数值验证

• 当$d=3$时：$n_3 = 3 \cdot 3 \cdot (4 \cdot 3 - 9) = 27$
• 当$d=4$时：$n_4 = 3 \cdot 4 \cdot (4 \cdot 4 - 9) = 84$

实验发现

1. 虚拟基本类的度数等于真实六次接触二次曲线数量加上双重覆盖贡献
2. 双重覆盖贡献具有普遍性，不依赖于曲线的具体度数
3. 公式与经典结果完全一致

相关工作

历史发展

1. Cayley (1863): 首次发现六次接触二次曲线的计数公式
2. Thorbergsson & Umehara (2002): 提供了另一种证明和历史背景
3. Gathmann (2005): 使用相对Gromov-Witten不变量计算五重相切二次曲线

现代理论

1. Takahashi (1996, 2001): 研究三次曲线情况下的高接触有理曲线
2. Cadman & Chen (2008): 三次曲线的有理平面曲线枚举
3. Nabijou & Ranganathan (2022): 最大接触的Gromov-Witten理论

相关技术

1. Gross, Pandharipande & Siebert (2010): 多重覆盖贡献公式
2. Bertone & Weimann (2025): 超曲面的超挠点轨迹

结论与讨论

主要结论

1. 成功使用相对Gromov-Witten理论重新证明了Cayley的经典结果
2. 精确计算了可约曲线（双重覆盖）对虚拟不变量的贡献
3. 为推广到更高次数情况提供了理论框架

局限性

1. 一般性假设: 结果要求曲线Y是一般的，对于特殊曲线可能不成立
2. 平面限制: 目前方法主要适用于平面曲线，推广到更高维需要额外工作
3. 计算复杂性: 对于更高次数的曲线，计算变得更加复杂

未来方向

1. 高次推广: 作者猜想三次最大接触曲线的数量为$N_d = 6d(19d-44)$
2. 空间曲线: 计划研究$\mathbb{P}^3$中曲面的最大接触曲线
3. 可约曲线贡献: 进一步研究来自不同类型可约曲线的贡献

深度评价

优点

1. 理论严谨: 使用现代代数几何工具提供了严格的数学证明
2. 方法创新: 系统地应用相对Gromov-Witten理论解决经典问题
3. 计算精确: 对双重覆盖贡献的精确计算填补了理论空白
4. 写作清晰: 论文结构清晰，从背景到技术细节都有详细说明

不足

1. 适用范围: 结果主要适用于一般曲线，特殊情况需要额外处理
2. 计算验证: 虽然有数值验证，但缺乏大规模的计算验证
3. 推广困难: 向更高维度或更复杂情况的推广仍面临技术挑战

影响力

1. 理论贡献: 为相对Gromov-Witten理论在枚举几何中的应用提供了重要例子
2. 方法价值: 所发展的技术可以应用于其他类似的枚举问题
3. 经典联系: 在现代理论与经典结果之间建立了重要桥梁

适用场景

1. 枚举几何: 计算各种几何对象的数量
2. 代数曲线理论: 研究曲线的接触性质
3. Gromov-Witten理论: 相对不变量的具体计算

参考文献

论文引用了41篇重要文献，涵盖了从Cayley的经典工作到最新的Gromov-Witten理论发展，体现了深厚的学术基础和广泛的理论联系。