[論文レビュー] A combinatorial analysis of Severi degrees

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

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

ひとこと要約

本稿は、一般化された$\tau$-グラフと$(\tau,\mathbf{n})$-語を用いた組合せ的枠組みを導入し、長辺グラフに関連する多変数関数の線形性を証明することで、Block-Colley-Kennedy予想の新たな証明を提示する。主な結果として、シーベルティ・デグリーの対数的母関数が線形であることが示され、これは係数$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予想の独立した証明を提供すること。
• 線形性の結果を応用し、古典的シーベルティ・デグリーにおける既知の多項式性の閾値と$Q^{d,\delta}$の二次性を回復すること。
• この枠組みをトーリック・サーフェスに拡張し、Göttsche-Yau-Zaslowの公式における未知のべき級数$B_1(q)$および$B_2(q)$の明示的組合せ的公式を導出すること。

提案手法

• シーベルティ・デグリーの数え上げをモデル化するため、長辺グラフの一般化として$\tau$-グラフを導入する。
• 高さ関数と既約性条件を符号化する組合せ的対象として$(\tau,\mathbf{n})$-語を定義する。
• 高さ関数と既約性の分解を用いて、$(\tau,\mathbf{n})$-語を再帰的に解析し、母関数の線形性を証明する。
• 線形性の結果を古典的シーベルティ・デグリーの母関数に適用し、$Q^{d,\delta}$の二次性を導出する。
• 特別なトーリック・サーフェスの族にこの枠組みを適用し、$B_1(q)$および$B_2(q)$の閉形式表現を導出する。
• 母関数と対数的級数による係数抽出を用いて、組合せ論と数え上げ幾何学を結びつける。

実験結果

リサーチクエスチョン

• RQ1 長辺グラフに関連する多変数関数は、Block, Colley, および Kennedyが予想したように線形であるか？
• RQ2 この関数の線形性は、純粋に組合せ的枠組みによって確立可能か？
• RQ3 この線形性は、シーベルティ・デグリーの対数母関数における係数$Q^{d,\delta}$の二次性を意味するか？
• RQ4 この枠組みはトーリック・サーフェスに拡張可能か？ それにより、Göttsche-Yau-Zaslowの公式における以前に未知であったべき級数を計算可能か？
• RQ5 Göttsche-Yau-Zaslowの公式における普遍的多項式の背後にある組合せ的構造は何か？

主な発見

• 長辺グラフに関連する多変数関数は線形である。これにより、Block-Colley-Kennedy予想の独立した証明が得られる。
• 線形性により、十分に大きな$d$に対して$Q^{d,\delta}$が$d$に関する二次多項式であることが示され、Corollary 1.2が回復される。
• $N^{d,\delta}$の多項式性の閾値は$\lceil \delta/2 \rceil + 1$で抑えられ、KleimanとShendeの結果と整合的である。
• 特別なトーリック・サーフェスの族に対して、この枠組みにより、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)$として計算される。