[论文解读] Enumeration of curves via floor diagrams

Erwan Brugallé, Grigory Mikhalkin|ArXiv.org|Jun 1, 2007

Polynomial and algebraic computation参考文献 7被引用 9

一句话总结

本文引入了楼层图——带权、无环、定向图——作为枚举复与实代数曲线在射影空间中的组合工具。通过为带标记的楼层图分配复数与实数重数，作者推导出格罗莫夫-威滕不变量 $N^{(n)}_{d,g}(l_0,\dots,l_{n-2})$ 与韦尔斯奇纳尔不变量 $W^{(n)}_d$ 的闭式公式，证明这些不变量可表示为带标记楼层图的和，其中对 $n=2,3$ 及亏格 $g=0$ 给出了明确结果。该方法利用热带几何，精确计算至度数 7，包括 $W^{(3)}_5 = 45$ 与 $W^{(3)}_7 = -14589$。

ABSTRACT

In this note we compute some enumerative invariants of real and complex projective spaces by means of some enriched graphs called floor diagrams.

研究动机与目标

• 开发用于计算复射影空间与实射影空间中曲线枚举不变量的组合框架。
• 通过单一组合结构——带标记的楼层图——统一计算格罗莫夫-威滕数 $N^{(n)}_{d,g}$ 与韦尔斯奇纳尔不变量 $W^{(n)}_d$。
• 扩展现有实曲线枚举结果，特别是针对 $n=3$ 的情形，其中此前奇数 $d>3$ 的 $W^{(3)}_d$ 未知。
• 通过楼层图中的高度函数与刚性条件，建立热带几何与经典枚举几何之间的联系。
• 为 $N^{(3)}_{d,0}(2d,0)$ 与 $W^{(3)}_d$ 提供显式公式与数值结果，计算至度数 7，解决 $d=5,7$ 的开放问题。

提出的方法

• 将楼层图定义为具有指定顶点分歧条件与固定第一贝蒂数 $g$（表示曲线亏格）的无环、带权、定向图。
• 引入标记映射 $m: \nabla \to \text{Vert}(\text{D}) \setminus \text{Vert}^\text{infty}(\text{D})$，将约束（点或线性子空间）分配至内部顶点，保持顺序并兼容边的方向。
• 根据组合结构与权重分布，为每个带标记的楼层图分配复数重数 $\nu^\text{C}$ 与实数重数 $\nu^\text{R}$。
• 定义边 $e$ 的高度 $h(e)$ 以编码刚化子图 $\text{D}_{>e}$ 所需的约束维数，确保与模空间预期维数的一致性。
• 利用热带几何证明：任何通过热带线性子空间配置 $\nabla$ 的热带曲线，必被包含于包围所有约束点的超立方体 $HC$ 内，从而实现有限组合枚举。
• 将 $N^{(n)}_{d,g}(l_0,\dots,l_{n-2})$ 计算为所有度数为 $d$、亏格为 $g$ 且约束计数匹配的带标记楼层图的复数重数之和。

实验结果

研究问题

• RQ1 楼层图能否为 $ℝ\mathbb{P}^n$ 与 $ℂ\mathbb{P}^n$ 中的复格罗莫夫-威滕不变量与实韦尔斯奇纳尔不变量提供统一的组合框架？
• RQ2 三维韦尔斯奇纳尔不变量 $W^{(3)}_d$ 在奇数 $d$ 时的确切值是多少，特别是此前未知的 $d=5$ 与 $d=7$？
• RQ3 楼层图的实数重数如何与韦尔斯奇纳尔理论中的符号修正计数相关联，特别是在 $ℝ\mathbb{P}^3$ 中？
• RQ4 是否存在 $|W^{(3)}_d|$ 与 $N^{(3)}_{d,0}(2d,0)$ 之间的对数等价性，是否意味着其数量级具有渐近相似性？
• RQ5 该方法能否推广至射影空间以外的其他toric簇？其推广受到何种限制？

主要发现

• 格罗莫夫-威滕数 $N^{(2)}_{3,1}(9) = 1$ 被计算为度数 3、亏格 1 且含 9 个点的带标记楼层图的复数重数之和。
• 数 $N^{(2)}_{3,0}(8) = 12$ 通过 $ℂ\mathbb{P}^2$ 中带标记楼层图的枚举得到确认，与已知结果一致。
• 对于 $n=3$，$N^{(3)}_{5,0}(10,0) = 105$ 与 $N^{(3)}_{2,0}(0,8) = 92$ 均被计算为带标记楼层图的复数重数之和。
• 三维韦尔斯奇纳尔不变量 $W^{(3)}_5 = 45$ 被计算为 $(-1)^{5} \times $ 实数重数之和，解决了此前未知的值。
• 不变量 $W^{(3)}_7 = -14589$ 被显式计算，表明实数重数之和为 14589，符号因子为 $(-1)^{21} = -1$。
• 序列 $|W^{(3)}_d|$ 的增长呈对数形式，类似 $4k \to \text{log}(k)$，且对 $k>1$ 有 $|W^{(3)}_{2k+1}| > |W^{(3)}_{2k-1}|$，表明当 $d>1$ 的奇数 $d$ 时，其绝对值严格递增。