[論文レビュー] 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

ひとこと要約

本稿は、曲線のモジュライ空間におけるタウトロジカルHodge積分の多項式性について、直接的な組合せ的証明を提供する。特に、交線論に現れる関数 $ 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) $ を含む新しい積分型生成関数を導出すること。
• $ P_g(k) $ の係数をベルヌーイ数および対称関数と関連づけ、スターリング数を補間する関数 $ S_n(l) $ を用いること。
• $ P_g(k) $ の二項変換として定義される数 $ A(g,n) $ が $ n \to g $ で消えることの証明と、それらを $ g $ に関する多項式として表現すること。

提案手法

• スターリング数第二種を補間する多項式 $ l $ としての $ S_n(l) = \mathcal{C}(x^n, ((e^x - 1)/x)^l) $ の使用。
• $ 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! $ に関連する係数を持つべき級数に展開される。
• 微分再帰 $ y Q_{i+1}'(y) = (y-1) Q_i(y) $ で定義される多項式 $ 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 $ は多項式性を裏付け、閉形式の積分表現を提供する。
• $ A(g,n) $ は $ n \geq g $ で消え、$ 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 $ 値がベルヌーイ数と関連づけられる。