[논문 리뷰] Weighted Hurwitz numbers and hypergeometric $τ$-functions: an overview

J. Harnad|arXiv (Cornell University)|2015. 04. 14.

Advanced Mathematical Identities인용 수 5

한 줄 요약

이 논문은 편미분 방정식의 2차원 토다 τ-함수와 가중 히르츠 수 사이의 포괄적인 프레임워크를 구축한다. 이는 페르미온 진공 기대값과 줌스-머피 원소를 통해 이루어지며, 초기함수 형태의 τ-함수는 슈어 다항식 전개를 통해 다종류, 부호가 있는, 양자화된 가중 히르츠 수를 생성함을 보여준다. 계수들은 대칭군의 카일리 그래프에서의 경로 수와 리만 곡면의 분지 덮개와 관련된 가중치를 반영한다.

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.

연구 동기 및 목표

• 다양한 유형의 가중 히르츠 수—다종류, 부호, 양자화된 것—을 하나의 생성 함수 프레임워크로 통합하는 것.
• 초기함수 형태의 2차원 토다 τ-함수가 다매개변수 가중 히르츠 수의 가중 생성 함수로서 기능함을 확립하는 것.
• 대칭군의 카일리 그래프에서의 경로 수 세기와 리만 구면의 n-겹 분지 덮개 기하학 사이의 연결 고리 설정.
• 줌스-머피 원소에 대한 작용을 통해 고전 히르츠 이론을 일반화하고, 가중 생성 함수 $G(z)$와 그 작용을 도입하는 것.
• 맥도널드 다항식과 대칭 함수의 $(q,t)$-변형을 사용하여 양자 변형 이론을 확장하는 것.

제안 방법

• 페르미온 포크 공간 내의 대각 행렬 원소를 사용하여 초기함수 τ-함수를 진공 기대값으로 표현함으로써, 대각 슈어 다항식 전개를 보장한다.
• 보스-페르미온 등가를 적용하여 τ-함수를 대칭 함수 기저, 특히 슈어 및 피보트 합 다항식과 연결한다.
• 가중 생성 함수 $G(z)$를 도입하여 줌스-머피 원소에 대한 평가를 통해 $\mathbf{Z}(\mathbf{C}[S_n])$의 중심 원소를 정의하고, 고유값 $r^G_\lambda$를 도출한다.
• 대칭 함수의 쌍대 기저에 대한 코시-리틀우드 공식을 사용하여 줌스-머피 원소에 평가함으로써, 가중 이중 히르츠 수를 생성한다.
• 코시-리틀우드 커널을 매크도널드 다항식 생성 함수로 대체하여 $(q,t)$-변형을 얻고, 이로 인해 양자화된 가중 히르츠 수를 도출한다.
• τ-함수를 피보트 합 기저로 전개하여, 조합론적이고 기하학적으로 모두 해석 가능한 가중 히르츠 수의 계수를 추출한다.

실험 결과

연구 질문

• RQ1 초기함수 형태의 2차원 토다 τ-함수는 어떻게 다종류 및 음의 가중 히르츠 수를 생성할 수 있는가?
• RQ2 줌스-머피 원소는 대칭 함수 기저에 대해 대각적으로 작용하는 중심 군 대수 원소를 정의하는 데 어떤 역할을 하는가?
• RQ3 다양한 가중 생성 함수 $G(z)$는 어떻게 다른 가중 히르츠 수의 가족을 유도하는가?
• RQ4 대칭군 $S_n$의 카일리 그래프에서의 조합론적 경로 수 계산과 분지 덮개 기하학 사이의 연결 고리는 무엇인가?
• RQ5 맥도널드 다항식 변형은 어떻게 양자화된 가중 히르츠 수를 도출하며, 그들의 구조적 성질은 무엇인가?

주요 결과

• 초기함수 τ-함수의 이중 슈어 다항식 전개에서의 계수 $r^G_\lambda$는 $G(z)$를 줌스-머피 원소에 평가하여 얻은 중심 원소의 고유값과 일치한다.
• τ-함수를 피보트 합 대칭 함수 기저로 전개하면, $d$-단계 경로의 가중치 $g^\alpha_\lambda({\bf c})$를 갖는 카일리 그래프에서의 경로 수를 세는 가중 히르츠 수 $F^d_{G}({\bf c},t)$가 도출된다.
• 잭 함수의 경우 ($t = q^\alpha$, $q \to 1$), 가중 함수는 $J(\alpha, {\bf c}, z) = \prod_{k=1}^\infty (1 - z c_k)^{-1/\alpha}$가 되며, 이에 대응하는 τ-함수는 잭-가중 히르츠 수를 생성한다.
• 양자화된 가중 히르츠 수 $H^d_{J(\alpha,{\bf c})}(\mu,\nu)$는 총 길이 $d$인 $k$-튜플의 분할에 대한 합으로 주어지며, $\binom{-1/\alpha}{k}$와 히르츠 수 $H(\mu^{(1)}, \dots, \mu^{(k)}, \mu, \nu)$의 곱으로 가중된다.
• 잭-가중 히르츠 수의 생성 함수는 $\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)$가 기하학적 히르츠 수 $H^d_{J(\alpha,{\bf c})}(\mu,\nu)$와 일치함을 보여, 조합론적 해석과 기하학적 해석 간의 일관성을 확인한다.