[論文レビュー] Weighted Hurwitz numbers and hypergeometric $ au$-functions: an overview

J. Harnad|arXiv (Cornell University)|Apr 13, 2015

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、対称関数とジュチス＝マーフィー要素を介して、超幾何的2次元Toda τ関数と重み付きHurwitz数を結びつける包括的な枠組みを確立する。対称群の群代数におけるジュチス＝マーフィー要素に重み生成関数を作用させることで、τ関数が多パrameter族の重み付きHurwitz数の生成関数として得られ、シュール関数展開とボーズ＝フェルミ双対性を通じて、幾何的および組合的解釈が統一される。

ABSTRACT

This is an overview of recent results on the use of 2D Toda $ au$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializing the fermionic formula to the case of diagonal group elements gives $ au$-functions of hypergeometric type, for which the expansion over products of Schur functions is diagonal, with coefficients of {\em content product} type. The corresponding abelian group action on the centre of the $S_n$ group algebra is determined by forming symmetric functions multiplicatively from a weight generating function $G(z)$ and evaluating on the Jucys-Murphy elements of the group algebra. The resulting central elements act diagonally on the basis of orthogonal idempotents and the eigenvalues $r^{G(z)}_\lambda$ are the {\em content product} coefficients appearing in the double Schur function expansion. Both the geometrical meaning of weighted Hurwitz numbers, as weighted sums over $n$-sheeted branched coverings, and the combinatorial one, as weighted enumeration of paths in the Cayley graph of $S_n$ generated by transpositions follow from expansion of the Cauchy-Littlewood generating functions over dual pairs of bases of the algebra of symmetric functions. The coefficients in the resulting $ au$-function expansion over products of power sum symmetric functions are the weighted Hurwitz numbers. Replacement of the Cauchy-Littlewood generating function by that for Macdonald polynomials provides $(q,t)$-deformations that yield generating functions for quantum weighted Hurwitz numbers.

研究の動機と目的

• 生成関数を用いてHurwitz数の幾何的および組合的解釈を統一すること。
• 超幾何的τ関数を用いて、古典的Hurwitz数を多パrameterの重み付き族へ拡張すること。
• 対称群の群代数における中心的要素とτ関数展開の係数との間の対応関係を確立すること。
• マクドナルド多項式および(q,t)-変形を用いて、量子変形に一般化すること。
• ジュチス＝マーフィー要素上の生成関数を用いて、多種類およびハイブリッドな重み付きHurwitz数の体系的枠組みを提供すること。

提案手法

• 重み付きHurwitz数の生成関数として、超幾何的タイプの2次元Toda τ関数を用いる。
• フェルミ的真空期待値を介した対角群作用を適用し、シュール関数展開を導出する。
• 重み生成関数$G(z)$から構成された対称関数をジュチス＝マーフィー要素に作用させ、群代数の中心的要素を定義する。
• 双対基底上の対称関数のカウチ＝リトルウッド生成関数を展開し、ジュチス＝マーフィー要素に作用させることで、重み付きHurwitz数を導出する。
• カウチ＝リトルウッド核をマクドナルド多項式の生成関数に置き換えることで、量子重み付きHurwitz数の(q,t)-変形を獲得する。
• ボーズ＝フェルミ双対性を用いて、冪和基底およびシュール基底におけるτ関数展開を関連付け、組合的論理と幾何学的解釈を結びつける。

実験結果

リサーチクエスチョン

• RQ1 超幾何的2次元Toda τ関数は、どのように多パrameter族の重み付きHurwitz数の生成関数として機能するか？
• RQ2 ジュチス＝マーフィー要素は、群代数の中心的要素の固有値をτ関数展開の係数として実現する上で果たす役割は何か？
• RQ3 異なる重み生成関数$G(z)$は、符号付き、多種類、または量子Hurwitz数といった既知のケースをどのように回復するか？
• RQ4 マクドナルド多項式の生成関数は、どのようにHurwitz数生成関数の(q,t)-変形を導くか？
• RQ5 同じτ関数枠組みから、重み付きHurwitz数の組合的および幾何的解釈はどのようにして導かれるか？

主な発見

• τ関数の二重シュール関数展開における係数$r_G^\nu$は、重み生成関数$G(z)$をジュチス＝マーフィー要素に作用させることで得られる固有値$r_G(z)_\nu$と一致する。
• 重み付き二重Hurwitz数は、τ関数が冪和対称関数の基底における展開の係数として回復される。
• ハル＝リトルウッドの場合の生成関数は、マクドナルド生成関数において$q = 0$と置くことで得られ、$r_L(t,c,z)_\nu = \prod_{(ij)\in\nu} \frac{1 - t z(j-i) c}{1 - z(j-i) c}$となる。これは、ハル＝リトルウッド重みを伴うケイリー群における重み付きパス数を表す。
• ジャック多項式の場合、重み係数は$g^\alpha_\lambda(c) = \alpha^{\ell(\lambda)} \prod_{i=1}^{\ell(\lambda)} P^{(\alpha)}_{\lambda_i}(c)$となり、τ関数はジャック重みを伴う組合的Hurwitz数を生成する。
• 量子完全重み付きHurwitz数は$t = 0$のとき発生し、重み生成関数$H(q,c,z) = \prod_{k=0}^\infty \prod_{i=1}^\infty (1 - z q^k c_i)^{-1}$により、$r_H(q,c,z)_\nu = \prod_{(ij)\in\nu} (z(j-i)c; q)^{-1}_\infty$が得られる。
• 重み付きHurwitz数の幾何的および組合的解釈は統一される：$F^d_{\ast}(\mu,\nu) = H^d_{\ast}(\mu,\nu)$、ここで$\ast$は関連する重みクラスを表し、両視点間の整合性が確認される。