[論文レビュー] Double Hurwitz numbers via the infinite wedge

Paul D. Johnson|arXiv (Cornell University)|Aug 19, 2010

Holomorphic and Operator Theory参考文献 10被引用数 9

ひとこと要約

本稿では、無限楔形式を用いたアルゴリズムを開発し、二重Hurwitz数の母関数を計算することで、その区分的多項式構造を証明し、強い区分的多項式性予想を解決する。この手法は、無限楔上の作用素計算を活用して明示的な公式を導出し、分岐型パラメータ空間におけるチャネル構造とウォールクロスイングの挙動を明らかにする。

ABSTRACT

We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operators on the infinite wedge. We begin with a introduction to the infinite wedge tailored to our use.

研究の動機と目的

• 二重Hurwitz数の母関数を、無限楔形式を用いて計算するためのアルゴリズムを開発すること。
• 二重Hurwitz数がその分岐パラメータに関して区分的多項式であるという新たな証明を提供すること。
• チャネル構造とウォールクロスイングの挙動を分析することで、強い区分的多項式性予想を解決すること。
• 共通接続被覆と非接続被覆を分類する役割を果たす共鳴配置の理解を拡張すること。
• 共鳴配置によって定義されるチャネル間を跨ぐHurwitz数の簡略化されたウォールクロスイング公式を導出すること。

提案手法

• 本手法は、無限楔フォック空間上でのOkounkovの作用素表現を、二重Hurwitz数に適用する。
• 生成・消滅作用素の積の真空期待値を計算することで、母関数を抽出する。
• 分岐データを符号化するために、関数 $\varsigma(z) = e^{z/2} - e^{-z/2}$ と $\mathcal{S}(z) = \varsigma(z)/z$ を用いる。
• 全交換関係パターンを用いて、$\mu$ と $\nu$ の部品の標準的全順序 $\varphi$ を定義し、チャネルを特定する。
• アルゴリズムは、各項が行列成分の $\varsigma$-関数を含む、交換関係パターンに関する和として生成関数 $H_{\mu,\nu}(z)$ を計算する。
• チャネル依存性は、$\varphi$-順序付けられた部品の部分和に関係する不等式による項の消滅または非消滅に起因する。

実験結果

リサーチクエスチョン

• RQ1 作用素形式を用いて、二重Hurwitz数の母関数を体系的に計算する方法は何か？
• RQ2 分岐型パラメータ空間におけるチャネル分解の正確な構造は何か？
• RQ3 なぜ二重Hurwitz数は区分的多項式であり、チャネル間のウォールクロスイング挙動は何かが支配するのか？
• RQ4 母関数が積公式に簡略化される条件は何か？
• RQ5 この形式を用いて、強い区分的多様式性予想を証明できるか？

主な発見

• 本稿では、二重Hurwitz数が分岐型 $\mu$ と $\nu$ に関して区分的多項式であることを証明し、共鳴配置によって定義されるチャネルで構成されることを示した。
• 強い区分的多様式性予想が解決された：母関数 $H_{\mu,\nu}(z)$ は $\mu$ と $\nu$ に関して区分的多項式であり、壁 $W_{I,J}$ によって分離された多項式の断片から成る。
• 従来のものより簡潔な新規のウォールクロスイング公式が導出され、共鳴壁を跨ぐ母関数の変化を記述する。
• $\varphi$-完全負のチャネルでは、母関数が1つの項に簡略化され、部品の重み付き和の $\varsigma$-関数を含む積公式が得られる。
• エネルギー保存則による真空期待値の観点から、$\varphi$-完全負のチャネルでは、唯一非消滅する項が全交換関係パターンであることが示された。
• 本手法により、任意の固定された $\mu$ と $\nu$ に対して $H_{\mu,\nu}(z)$ の閉形式が得られ、[GJV05] の1部型公式を一般化する。