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

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

Advanced Mathematical Identities被引用数 5

ひとこと要約

本稿は、フェルミオン真空期待値とジュチス＝マーフィー要素を介して、超幾何的2次元Toda τ関数と重み付きHurwitz数を結びつける包括的な枠組みを確立する。超幾何的形のτ関数がシュール関数展開を通じて、多系統的・符号付き・量子的重み付きHurwitz数を生成することを示しており、その係数は対称群のカイリー群における重み付き経路数およびリーマン面の分岐被覆に対応する。

ABSTRACT

This is an overview of recent results on the use of 2D Toda $τ$-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 $τ$-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)}_λ$ 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 $τ$-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数を一つの生成関数枠組みで統一すること。
• 超幾何的2次元Toda τ関数が、重み付きHurwitz数の多重パラメータ族の生成関数として機能することを確立すること。
• 対称群のカイリー群における経路の組合せ的数え上げと、リーマン球面へのn枚被覆の幾何学的構造との関係を結ぶこと。
• 重み生成関数$G(z)$を導入し、ジュチス＝マーフィー要素への作用を通じて、中心的群代数要素を定義することで、古典的Hurwitz理論を一般化すること。
• マクドナルド多項式と対称関数の$(q,t)$変形を用いて、量子変形を拡張すること。

提案手法

• フェルミオンFock空間における対角的群要素を用い、超幾何的τ関数を真空期待値として表現することで、対角的シュール関数展開を保証する。
• ボーズ＝フェルミオン双対性を適用し、τ関数と対称関数基底（特にシュール関数と単純対称関数）との関係を確立する。
• 重み生成関数$G(z)$を導入し、ジュチス＝マーフィー要素への評価を通じて、$\mathbf{Z}(\mathbf{C}[S_n])$における中心的要素を定義し、固有値$r^G_\lambda$を導出する。
• 双対基底における対称関数のカウチ＝リトルウッドの公式を用い、ジュチス＝マーフィー要素への評価により、重み付き二重Hurwitz数を生成する。
• カウチ＝リトルウッド核をマクドナルド多項式の生成関数に置き換えることで、$(q,t)$変形を導出し、量子的重み付きHurwitz数を得る。
• τ関数を単純対称関数基底で展開し、その係数を組合せ論的および幾何学的に重み付きHurwitz数として解釈する。

実験結果

リサーチクエスチョン

• RQ1 超幾何的2次元Toda τ関数を用いて、多系統的および符号付き重み付きHurwitz数をどのように生成できるか。
• RQ2 ジュチス＝マーフィー要素が、対称関数基底に作用する対角的中心的群代数要素を定義する役割を果たす仕組みは何か。
• RQ3 異なる重み生成関数$G(z)$が、どのように異なる重み付きHurwitz数の族を生じるか。
• RQ4 対称群$S_n$のカイリー群における経路の組合せ的数え上げと、分岐被覆の幾何学的構造との関係は何か。
• RQ5 マクドナルド多項式の変形が、量子的重み付きHurwitz数をどのように導出し、その構造的性質は何か。

主な発見

• 超幾何的τ関数の二重シュール関数展開における係数$r^G_\lambda$は、$G(z)$をジュチス＝マーフィー要素に評価することで得られる中心的要素の固有値に一致する。
• τ関数を単純対称関数の積の基底で展開すると、重み付きHurwitz数$F^d_{G}({\bf c},t)$が得られ、これは重み$g^\alpha_\lambda({\bf c})$を伴う$S_n$のカイリー群における$d$ステップの経路を数える。
• ジャック関数の場合（$t = q^\alpha$, $q \to 1$）では、重み関数は$J(\alpha, {\bf c}, z) = \prod_{k=1}^\infty (1 - z c_k)^{-1/\alpha}$となり、関連するτ関数はジャック重み付きHurwitz数を生成する。
• 量子的重み付きHurwitz数$H^d_{J(\alpha,{\bf c})}(\mu,\nu)$は、総長さ$d$の$k$-重の分割の組の和として与えられ、$\binom{-1/\alpha}{k}$およびHurwitz数$H(\mu^{(1)}, \dots, \mu^{(k)}, \mu, \nu)$の積で重み付けられる。
• ジャック重み付きHurwitz数の生成関数は$\tau^{J(\alpha,{\bf c},z)}({\bf t},{\bf s}) = \sum_{\lambda} r^{J(\alpha,{\bf c},z)}_\lambda s_\lambda({\bf t}) s_\lambda({\bf s})$であり、内容積係数は$r^{J(\alpha,{\bf c},z)}_\lambda = \prod_{(ij)\in\lambda} (1 - z(j-i)c_k)^{-1/\alpha}$である。
• 同じ係数$F^d_{J(\alpha,{\bf c})}(\mu,\nu)$が幾何的Hurwitz数$H^d_{J(\alpha,{\bf c})}(\mu,\nu)$に等しいことが示され、組合せ論的および幾何的解釈の整合性が確認された。