[論文レビュー] Computing Hodge integrals with one lambda-class

Yon-Seo Kim|ArXiv.org|Jan 9, 2005

Algebraic Geometry and Number Theory参考文献 21被引用数 5

ひとこと要約

本稿では、高々1つのλクラスを含むすべてのホッジ積分を、同じ制約を満たす低次元のホッジ積分の多項式として表現することにより、再帰的アルゴリズムを提示する。相対的モジュライ空間へのS¹作用を用いた局所化と、マリーノ＝バーファ公式から導かれる畳み込み公式を用いて、任意のこのような積分を既知の低次元ケースに還元する普遍的な再帰関係を確立する。これにより、1つのλクラスを含むすべてのホッジ積分の体系的な計算が可能になる。

ABSTRACT

Any hodge integrals involving psi-classes and one lambda-class is computed as a polynomial in terms of lower-dimensional ones. Algorithm and examples are presented.

研究の動機と目的

• 高々1つのλクラスを含むホッジ積分を体系的に計算するための手法を開発すること。
• 高次元のホッジ積分を低次元のものに還元する再帰的枠組みを確立すること。
• すべてのこのようなホッジ積分が、高々1つのλクラスを含む低次元のホッジ積分の多項式として表現可能であることを証明すること。
• 1つのλクラスを含むこれらの積分の明示的計算を可能にするアルゴリズム実装を提供すること。

提案手法

• S¹作用を伴う相対的安定写像のモジュライ空間への局所化を用いて、再帰関係を導出する。
• マリーノ＝バーファ公式とカットアンドジョイン方程式を適用し、ホッジ積分とダブルヒューリッツ数を関連付ける。
• ホッジ積分とダブルヒューリッツ数の母関数を含む畳み込み公式を導出する。
• ホッジ積分間の普遍的関係を、母関数におけるλ^{l(μ)−χ}の係数抽出によって得る。
• 一般ケースを計算を簡略化するため、μ = (d)（正の整数d）という特別なケースに還元する。
• 再帰をアルゴリズム的に実装し、1つのλクラスを含むホッジ積分を段階的に評価可能にする。

実験結果

リサーチクエスチョン

• RQ1 高々1つのλクラスを含むすべてのホッジ積分は、同じ制約を満たす低次元のホッジ積分の再帰的表現として表せるか？
• RQ2 1つのλクラスを含むホッジ積分の構造を支配する普遍的な再帰関係は何か？
• RQ3 相対的モジュライ空間への局所化公式は、このような再帰関係を導出するためにどのように利用できるか？
• RQ4 既知の公式（λg-予想やマリーノ＝バーファ公式）は、新しい再帰とどの程度整合するか？
• RQ5 アルゴリズムは、∫M̄1,4 ψ³λ₁ や ∫M̄2,1 ψ⁴ といった特定のホッジ積分を高い精度で計算できるか？

主な発見

• 高々1つのλクラスを含むすべてのホッジ積分は、同じ制約を満たす低次元のホッジ積分の多項式として明示的に表現可能である。
• アルゴリズムにより ∫M̄1,4 ψ³λ₁ = ∫M̄1,4 ψ⁴ = 1/24 が計算され、既知の結果と一致する。
• ∫M̄1,4 ψ²ψ¹λ₁ = ∫M̄1,4 ψ³ψ¹ = 1/8 が再帰により正しく計算されている。
• ∫M̄2,1 ψ⁴ = 1/1152 は確認され、λg-予想および先行計算と一致する。
• ∫M̄2,1 ψ³λ₁ = 1/480 は、λg−1に対するマリーノ＝バーファ公式と整合的である。
• 再帰は ∫M̄0,7 ψ²ψ¹ψ¹ = 12 および ∫M̄0,7 (ψ¹)⁴ = 24 も正しく再現し、 genus 0 のケースにおける手法の妥当性を検証している。