[論文レビュー] KP hierarchy for Hodge integrals

Maxim Kazarian|ArXiv.org|Sep 18, 2008

Algebraic Geometry and Number Theory参考文献 13被引用数 25

ひとこと要約

本稿では、ELSV公式とボソン-フェルミオン双対性から導かれる新しい変数変換を用いて、安定曲線のモジュライ空間上のホッジ積分の母関数が、全 Kadomtsev-Petviashvili (KP) システムを満たすことを確立する。ホッジ積分の母関数をKPに適合する変数に変換することで、ウィッテンの予想、バーラソロの制約、ファーバーの $\olimits_{g}$-予想といった主要な結果の統一的かつ簡素化された証明が可能となり、偶数変数をゼロに設定した特別な場合としてウィッテン＝コンツェビッチの汎関数が得られることを示している。

ABSTRACT

Starting from the ELSV formula, we derive a number of new equations on the generating functions for Hodge integrals over the moduli space of complex curves. This gives a new simple and uniform treatment of certain known results on Hodge integrals like Witten's conjecture, Virasoro constrains, Faber's lambda_g conjecture etc. Among other results we show that a properly arranged generating function for Hodge integrals satisfies the equations of the KP hierarchy.

研究の動機と目的

• ホッジ積分に関する既存の結果、特にウィッテンの予想、バーラソロの制約、ファーバーの $\\ olimits_{g}$-予想を、単一の代数的枠組みで統一・簡素化すること。
• KP構造を尊重する新しい変数変換を用いて、ホッジ積分の母関数に対して全KP階層を導出すること。
• 従来の手法で用いられる中間的な対称化操作の必要性を排除し、直接的にGJV変数変換を母関数に適用すること。
• ボソン-フェルミオン双対性を用いて、無限次元微分作用素の取り扱いを有限変数の計算に簡略化すること。
• 組合せ的複雑性を避け、ホッジ積分理論における可積分階層構造を一様かつ初等的に導出すること。

提案手法

• ホッジ積分から形式的変数 $ u $ と $ T_k $ を用いて母関数 $ G(u; q_1, q_2, \dots) $ を構成し、$ T_k $ は微分作用素 $ D = (u+z)^2 z \partial_z $ を含む線形変換によって定義される。
• $ T_k $ から $ q_i $ 変数への変換は、再帰的に $ T_{k+1} = \sum_{m \geq 1} m (u^2 q_m + 2u q_{m+1} + q_{m+2}) \partial_{q_m} T_k $ で定義され、線形な変数変換を形成する。
• ボソン-フェルミオン双対性を用いて、無限変数微分作用素を有限変数の表現に還元し、無限和を回避し計算を簡素化する。
• この変数変換がKP階層の自己同型を誘導することを示し、$ G $ がすべての $ u $ に対して $ q_i $ 変数で全KP階層を満たすことを保証する。
• ウィッテン＝コンツェビッチ汎関数 $ F $ は $ u=0 $ の特殊化として回復され、ここでは奇数次 $ q_{2d+1} $ のみが残り、KdV階層がKPの還元として現れる。
• 最終的に $ r_k = q_k / v $ の再スケーリングを施し、以前の研究で用いられた $ r $-変数と接続し、得られた系列 $ \Psi $ は明示的な $ v $-依存性を持つ修正KP型方程式を満たす。

実験結果

リサーチクエスチョン

• RQ1 ホッジ積分の母関数は、適切な変数変換のもとで全KP階層を満たすか？
• RQ2 ELSV公式とGJV変数変換を用いて、中間的な対称化操作を経由せずに可積分階層構造を導出できるか？
• RQ3 ボソン-フェルミオン双対性は、ホッジ積分のKP方程式導出をどのように簡素化するか？
• RQ4 ウィッテンの予想とファーバーの $ \lambda_g $-予想は、単一のKP解の特別な場合として一様に導出可能か？
• RQ5 再スケーリング後の $ r $-変数母関数系列が満たす $ v $-依存方程式の正確な形は何か？

主な発見

• ホッジ積分の母関数 $ G(u; q_1, q_2, \dots) $ は、$ u $ に関して恒等的に $ q_i $ 変数で全KP階層を満たし、深い可積分構造を確立する。
• $ \psi $-類の交差数に対応するウィッテン＝コンツェビッチ汎関数 $ F $ は、特殊化 $ u=0 $ として回復され、これはKPの還元としてKdV階層を満たす。
• $ T_k $ から $ q_i $ への変数変換は、微分作用素 $ D = (u+z)^2 z \partial_z $ を用いて定義され、KP階層の自己同型を誘導し、一度に全階層を導出可能となる。
• ボソン-フェルミオン双対性の使用により、すべての計算が有限変数表現に還元され、無限和や組合せ的複雑性を回避する。
• 最終的な再スケーリングされた母関数系列 $ \Psi $ は、$ v $、$ r_i $、および二階微分を含む微分方程式を満たし、$ v=0 $ とすると定理8.1の既知の式に還元される。
• 指数型公式 $ e^{\cal F} = e^W e^F $ における作用素 $ W $ は $ \widehat{\mathfrak{gl}(\infty)} $ と整合しないことが示され、これが主フレームワークからの除外が正当化される。