[論文レビュー] Recursion Formulas for Spin Hurwitz Numbers

Junho Lee, Thomas H. Parker|arXiv (Cornell University)|Dec 8, 2012

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

ひとこと要約

本稿は、奇数分岐をもつスピン曲線への次数$d$の被覆を数えるデフォーメーション不変量であるスピン・ハーウィッツ数について、スピン曲線の分解、$¯\partial$-作用素のスペクトルフロー不変量、および偶数分岐を持つ写像を相殺するペアリング機構を用いて、再帰的公式を確立する。主な結果は、すべてのスピン・ハーウィッツ数（$h=0$および$h=p=1$を除く）が、Eskin-Okounkov-Pandharipande数の再帰的計算として得られることであり、これは、正の幾何的 genus をもつケーラー多様体の次元ゼロのグロモフ＝ウィッテン不変量の計算を可能にする。

ABSTRACT

The classical Hurwitz numbers which count coverings of a complex curve have an analog when the curve is endowed with a theta characteristic. These "spin Hurwitz numbers", recently studied by Eskin, Okounkov and Pandharipande, are interesting in their own right. By the authors' previous work, they are also related to the Gromov-Witten invariants of Kahler surfaces. We prove a recursive formula for spin Hurwitz numbers, which then gives the dimension zero GW invariants of Kahler surfaces with positive geometric genus. The proof uses a degeneration of spin curves, an invariant defined by the spectral flow of certain anti-linear deformations of the d-bar operator, and an interesting localization phenomenon for eigenfunctions that shows that maps with even ramification points cancel in pairs.

研究の動機と目的

• 奇数分岐およびパリティによる符号をもつスピン曲線への次数$d$被覆を数えるスピン・ハーウィッツ数の再帰的公式を導出すること。
• 以前は$ h=1 $, $ p=-1 $ のみに適用可能であったEskin-Okounkov-Pandharipandeの手法を、$ h \geq 2 $ または $ h=1 $, $ p=1 $ のすべてのスピン曲線に拡張すること。
• 局所不変量$ GT^{\text{loc}}_{\chi,n} $ を介して、スピン・ハーウィッツ数と複素射影多様体のグロモフ＝ウィッテン不変量を結びつけること。
• 偶数分岐点をもつ写像が、$\overline{\partial}$-変形の固有関数における局所化現象によって、ペアで相殺されることを証明すること。
• 分割積と自己同型重みを用いた、スピン・ハーウィッツ数を完全に再帰的に計算するフレームワークを確立すること。

提案手法

• スピン曲線の分解を用いて、モジュライ空間を低 genus 成分に分解し、再帰的削減を可能にする。
• $\overline{\partial}$-作用素の反線形変形におけるスペクトルフロー不変量を定義し、$ N_f = f^*N \otimes \mathcal{O}(\frac{1}{2}\mathcal{R}_f) $ のねじれ引き戻し$ N_f $ におけるパリティの変化を追跡する。
• 固有関数がノードにおいて零になる条件を特定する局所化機構を適用し、分岐が奇数でない場合に限り、偶数分岐写像が相殺されることを示す。
• 奇数分割$m$の$d$への分割の和をとり、$|m|m!$ で重みづけ、低 genus 成分からの不変量をペアリングすることで、再帰的公式 (1.8) および (1.9) を構成する。
• 退化族における$L^2$-ノルム推定と収束議論を用いて、固有関数の$L^2$-ノルムがノードに蓄積しないことを示し、極限セクションの連続性と非退化性を保証する。
• 変形された$\overline{\partial}$-作用素が1パラメータ族の実作用素に拡張可能であることに着目し、退化の下でもスペクトルフローと位相的不変量が保存されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 genus $ h \geq 2 $ または $ h=1 $, $ p=1 $ のスピン・ハーウィッツ数は、既知の $ h=1 $, $ p=-1 $ の値から再帰的に計算可能か？
• RQ2 スピン曲線の退化の下で、$\overline{\partial}$-変形におけるスペクトルフローの役割は、不変量の保存にどのように寄与するか？
• RQ3 変形された$\overline{\partial}$-作用素の固有関数はノードでどのように振る舞い、その局所化からどのような相殺機構が生じるか？
• RQ4 スピン・ハーウィッツ数不変量の文脈で、なぜ偶数分岐点をもつ写像がペアで相殺されるのか？
• RQ5 ケーラー多様体の次元ゼロのグロモフ＝ウィッテン不変量は、再帰的削減によりスピン・ハーウィッツ数から完全に回復可能か？

主な発見

• 定理1.1は、$ h = h_1 + h_2 $ かつ $ p \equiv p_1 + p_2 \pmod{2} $ のとき、$ d $ の奇数分割$ m $ についての和をとり、$ |m|m! $ で重みづけた、低 genus 不変量の積の形でスピン・ハーウィッツ数を再帰的に表す公式 (1.8) を提供する。
• 公式 (1.9) は、$ h \geq 2 $ または $ (h,p) = (1,+) $ のスピン・ハーウィッツ数を、$ h-1 $ の不変量を用いた和として再帰的に削減する。これは帰納的計算を可能にする。
• 自明な分割$ (1^d) $に対応するエタールスピン・ハーウィッツ数$ H_d^{h,p} $ は、正則分岐束$ D $ をもつケーラー多様体の次元ゼロの局所グロモフ＝トービーズ不変量$ GT^{\text{loc}}_{d}^{h,p} $ に等しい。
• 系1.2は、$ h \geq 2 $ について、$ GT^{\text{loc}}_{d}^{h,p} $ の明示的公式を提供する。これは、$ h-1 $ 個の$ d $ の奇数分割$ m^1, \dots, m^{h-1} $ についての和をとり、$ H_m^{1,-} $ の積の形で表され、$ h $ と$ p $ のパリティに依存する。
• 証明は、相殺機構に依存している：変形された$\overline{\partial}$-作用素の固有関数はノードに局所化され、スペクトルフローにおける対称性により、偶数分岐写像がペアで相殺される。
• 退化の下で、固有関数の$L^2$-ノルムはノードに蓄積しない。これにより極限セクションが連続的かつ非ゼロであることが保証され、直交性仮定と矛盾し、スペクトルフロー不変量の非退化性が証明される。