[论文解读] A combinatorial analysis of Severi degrees

Fu Liu|arXiv (Cornell University)|Apr 4, 2013

Advanced Combinatorial Mathematics参考文献 10被引用 5

一句话总结

本文引入一种组合框架，利用广义的 $\tau$-图和 frac{\tau,\mathbf{n}}{-}-词，证明与长边图相关联的多元函数的线性性，从而为 Block-Colley-Kennedy 猜想提供了新证明。关键结果表明 Severi 度数的对数生成函数是线性的，这意味着系数 $Q^{d,\delta}$ 具有二次性，并可推导出 Göttsche-Yau-Zaslow 公式中通用幂级数的显式组合公式。

ABSTRACT

Based on results by Brugallé and Mikhalkin, Fomin and Mikhalkin give formulas for computing classical Severi degrees $N^{d, δ}$ using long-edge graphs. In 2012, Block, Colley and Kennedy considered the logarithmic version of a special function associated to long-edge graphs appeared in Fomin-Mikhalkin's formula, and conjectured it to be linear. They have since proved their conjecture. At the same time, motivated by their conjecture, we consider a special multivariate function associated to long-edge graphs that generalizes their function. The main result of this paper is that the multivariate function we define is always linear. A special case of our result gives an independent proof of Block-Colley-Kennedy's conjecture. The first application of our linearity result is that by applying it to classical Severi degrees, we recover quadraticity of $Q^{d, δ}$ and a bound $δ$ for the threshold of polynomiality of $N^{d, δ}.$ Next, in joint work with Osserman, we apply the linearity result to a special family of toric surfaces and obtain universal polynomial results having connections to the Göttsche-Yau-Zaslow formula. As a result, we provide combinatorial formulas for the two unidentified power series $B_1(q)$ and $B_2(q)$ appearing in the Göttsche-Yau-Zaslow formula. The proof of our linearity result is completely combinatorial. We define $τ$-graphs which generalize long-edge graphs, and a closely related family of combinatorial objects we call $(τ, n)$-words. By introducing height functions and a concept of irreducibility, we describe ways to decompose certain families of $(τ, n)$-words into irreducible words, which leads to the desired results.

研究动机与目标

• 将 Block、Colley 和 Kennedy 研究的对数函数推广到使用组合结构的多元设置。
• 证明该广义多元函数是线性的，从而为 Block-Colley-Kennedy 猜想提供独立证明。
• 将线性性结果应用于经典 Severi 度数的生成函数，以恢复已知的多项式阈值和 $Q^{d,\delta}$ 的二次性。
• 将该框架扩展到射影 торic 曲面，并推导出 Göttsche-Yau-Zaslow 公式中未知幂级数 $B_1(q)$ 和 $B_2(q)$ 的显式组合公式。

提出的方法

• 引入 $\tau$-图作为长边图的推广，以建模 Severi 度数的计数。
• 定义 $(\tau,\mathbf{n})$-词作为编码边配置、高度函数和不可约性条件的组合对象。
• 利用高度函数和不可约性分解，递归分析 $(\tau,\mathbf{n})$-词，证明生成函数的线性性。
• 将线性性结果应用于经典 Severi 度数的生成函数，推导出 $Q^{d,\delta}$ 的二次性。
• 在一类特殊的 toric 曲面上应用该框架，推导出 $B_1(q)$ 和 $B_2(q)$ 的闭式表达式。
• 利用生成函数和对数级数的系数提取，将组合学与枚举几何联系起来。

实验结果

研究问题

• RQ1 与长边图相关联的多元函数是否如 Block、Colley 和 Kennedy 所猜想的那样是线性的？
• RQ2 该函数的线性性是否可通过纯粹的组合框架建立？
• RQ3 该线性性是否意味着 Severi 度数对数生成函数中系数 $Q^{d,\delta}$ 的二次性？
• RQ4 该框架是否可扩展到 toric 曲面，以计算 Göttsche-Yau-Zaslow 公式中此前未知的幂级数？
• RQ5 Göttsche-Yau-Zaslow 公式中通用多项式的组合结构是什么？

主要发现

• 与长边图相关联的多元函数是线性的，为 Block-Colley-Kennedy 猜想提供了独立证明。
• 线性性意味着当 $d$ 足够大时，$Q^{d,\delta}$ 是 $d$ 的二次多项式，从而恢复了推论 1.2。
• 对于 $N^{d,\delta}$ 的多项式阈值由 $\lceil \delta/2 \rceil + 1$ 限制，与 Kleiman 和 Shende 的结果一致。
• 对于一类特殊的 toric 曲面，该框架为 Göttsche-Yau-Zaslow 公式中的幂级数 $B_1(q)$ 和 $B_2(q)$ 提供了显式组合公式。
• 表达式 $\log\left(1 + \sum_{n \in \mathbb{P}} \binom{\beta - rn + n}{n} x^n \right)$ 中 $x^n$ 的系数为 $\frac{(-1)^{n+1}}{n} \left( \frac{1}{r} \binom{rn}{n} \beta - \sum_{i=0}^{n-1} \binom{rn}{i} (r-1)^{n-1-i} \right)$。
• 对于 $\tau = ((\{1,2\}, r))$，系数 $\varphi_\tau(n, \boldsymbol{\beta})$ 显式计算为 $\frac{(-1)^{n+1}}{n} \left( \frac{1}{2r} \binom{2rn}{n} (\beta_1 + \beta_2 + 1) - \sum_{i=0}^{n-1} \binom{2rn}{i} (2r-1)^{n-1-i} \right)$。