[论文解读] Logarithmic series and Hodge integrals in the tautological ring (with an appendix by D. Zagier)

Carel Faber, Rahul Pandharipande|ArXiv.org|Feb 14, 2000

Algebraic Geometry and Number Theory参考文献 20被引用 11

一句话总结

本文为模空间中典型霍奇积分的多项式性提供了直接的组合证明，特别针对出现在交点理论中的函数 $ P_g(k) $。它建立了 $ P_g(k) $ 作为 $ k $ 的多项式时各项系数的显式公式，揭示其与伯努利数和斯特林数的关系，并推导出生成函数与积分表示，从而确认其多项式性质，关键结果涉及 $ S_n(l) $、伯努利数及函数 $ F(x) $。该工作通过组合恒等式与生成函数系列，解决了一个非显然的多项式性性质。

ABSTRACT

We describe a new perspective on the intersection theory of the moduli space of curves involving both Virasoro constraints and Gorenstein conditions. The main result of the paper is the computation of a basic 1-point Hodge integral series occurring in the tautological ring of the moduli space of nonsingular curves. In the appendix by D. Zagier, "Polynomials arising from the tautological ring", a detailed study is made of certain polynomials whose coefficients are intersection numbers on moduli space. The paper and the appendix together provide proofs of all previously conjectured formulas for 1-point integrals in the tautological ring, and of natural extensions of these formulas as well.

研究动机与目标

• 为出现在曲线模空间上典型交点理论中的函数 $ P_g(k) $ 提供直接的组合证明，证明其多项式性。
• 推导 $ P_g(k) $ 作为 $ k $ 的多项式时各项系数的显式公式，特别是首项与最低次项系数。
• 建立确认 $ P_g(k) $ 多项式性质的生成函数与积分表示，包括一个新颖的涉及 $ F(x) $ 的积分生成函数。
• 通过函数 $ S_n(l) $（该函数插值斯特林数）将 $ P_g(k) $ 的系数与伯努利数及对称函数联系起来。
• 证明通过 $ P_g(k) $ 的二项式变换定义的数 $ A(g,n) $ 在 $ n \to g $ 时为零，并将其表达为关于 $ g $ 的多项式形式。

提出的方法

• 使用函数 $ S_n(l) = \mathcal{C}(x^n, ((e^x - 1)/x)^l) $，该函数插值第二类斯特林数，且是 $ l $ 的 $ n $ 次多项式。
• 推导恒等式 $ P_g(k) = \sum_{l=1}^k \frac{(k-1)!}{(k-l)!} \frac{1}{k^l} S_{2g-1}(l) $，将 $ P_g(k) $ 与对称函数及斯特林数联系起来。
• 通过生成函数恒等式 $ \sum_{g=1}^\infty P_g(t) x^{2g-1} = \frac{1}{2} F(x)^t \int_0^x F(y)^{-t} dy $ 证明 $ P_g(k) $ 的多项式性，其中 $ F(x) $ 是一个涉及伯努利数的指数生成函数。
• 使用函数 $ F(x) = \frac{\sinh(x/2)}{x/2} \exp\left(\frac{x/2}{\tanh(x/2)} - 1\right) $，其展开为幂级数，系数与 $ \beta_n = B_n / n! $ 相关。
• 引入多项式 $ Q_i(y) $，通过微分递推关系 $ y Q_{i+1}'(y) = (y-1) Q_i(y) $ 定义，并与 $ Y(x) = x/(1 - e^{-x}) $ 复合，以推导生成级数。
• 建立恒等式 $ \sum_{g=1}^\infty P_g(t) x^{2g-1} = \frac{1}{2} \sum_{i=0}^\infty (\widetilde{Q}_i(x) - \widetilde{Q}_i(-x)) t^i $，其中 $ \widetilde{Q}_i(x) = Q_i(Y(x)) $，以将生成函数与奇对称函数联系起来。

实验结果

研究问题

• RQ1 为何 $ P_g(k) $ 尽管其组合定义涉及阶乘与斯特林数，却仍是 $ k $ 的 $ g-1 $ 次多项式？
• RQ2 多项式 $ P_g(k) = \sum_{i=0}^{g-1} c_{g,i} k^i $ 的系数 $ c_{g,i} $ 的显式公式为何？其与伯努利数有何关系？
• RQ3 如何将 $ P_g(t) $ 的生成函数表示为积分或幂级数形式，使其多项性性质显而易见？
• RQ4 函数 $ S_n(l) $ 的作用是什么？它如何插值斯特林数，并允许对负的 $ l $ 值进行解析延拓？
• RQ5 为何通过 $ P_g(k) $ 的二项式变换定义的数 $ A(g,n) $ 在 $ n \geq g $ 时为零？其闭式表达为何？

主要发现

• 函数 $ P_g(k) $ 是 $ k $ 的 $ g-1 $ 次多项式，其首项与末项系数显式涉及伯努利数与组合因子。
• 在 $ P_g(k) $ 中 $ k^{g-j-1} $ 的系数 $ c_{g,g-j-1} $ 为 $ \frac{(g-1)!}{2^g (2g-1)!} C_j(g) $，其中 $ C_j(g) $ 是关于 $ g $ 的 $ 2j $ 次多项式，首项系数为 $ (-1/9)^j / j! $。
• 常数项 $ c_{g,0} = 0 $，一次项系数 $ c_{g,1} = \frac{1}{2} \beta_{2g-2} $，其中 $ \beta_n = B_n / n! $。
• 生成函数 $ \sum_{g=1}^\infty P_g(t) x^{2g-1} = \frac{1}{2} F(x)^t \int_0^x F(y)^{-t} dy $ 确认了多项式性，并提供了闭式积分表示。
• 当 $ n \geq g $ 时，数 $ A(g,n) $ 为零；当 $ n \leq g-1 $ 时，有 $ A(g,n) = \frac{(g-1)!}{2^g (2g-1)!} C^*_{g-n-1}(g-n-1) $，其中 $ C^*_r(h) $ 是关于 $ h $ 的 $ 2r $ 次多项式，首项系数为 $ (7/18)^r / r! $。
• 函数 $ S_n(l) $（插值斯特林数）满足 $ S_n(-r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} \binom{n-j-1}{r-j-1} S_j(-r) \beta_{n-j} $，将负 $ l $ 值与伯努利数联系起来。