[논문 리뷰] $(q,t)$-deformed (skew) Hurwitz $τ$-functions

Fan Liu, A. Mironov외 5명|arXiv (Cornell University)|2023. 03. 01.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 Fock 표현에서의 양자 토로이드 대수 $U_{q,t^{-1}}(\hat{\hat{\mathfrak{gl}}}_1)$를 통해 구성된 가환성 가진 $W$-연산자 가중족을 사용하여 비대칭 히르츠 $\tau$-함수의 $(q,t)$-변형을 제안한다. 이는 컷-앤-조인 연산자를 매크도날 다항식 기저로 일반화하여, 적분 가능 계기법의 구조를 만족하고 미래의 행렬 모델 및 위상적 끈 이론 응용을 위한 기초를 마련하는 $(q,t)$-변형 히르츠 $\tau$-함수를 제공한다.

ABSTRACT

We follow the general recipe for constructing commutative families of $W$-operators, which provides Hurwitz-like expansions in symmetric functions (Macdonald polynomials), in order to obtain a difference operator example that gives rise to a $(q,t)$-deformation of the earlier studied models. As before, a key role is played by an appropriate deformation of the cut-and-join rotation operator. We outline its expression both in terms of generators of the quantum toroidal algebra and in terms of the Macdonald difference operators.

연구 동기 및 목표

• 가환성 가진 $W$-연산자 가중족을 사용하여 비대칭 히르츠 $\tau$-함수의 $(q,t)$-변형을 구성하는 것.
• 이전의 $W_{1+\infty}$-기반 모델을 매크도날 다항식 기저로 일반화하여 컷-앤-조인 로테이션 연산자의 $(q,t)$-변형을 가능하게 하는 것.
• Fock 표현 $\mathcal{F}_{q,t^{-1}}^{(1,0)}$에서 양자 토로이드 대수 $U_{q,t^{-1}}(\hat{\hat{\mathfrak{gl}}}_1)$의 생성자들을 통해 변형된 연산자를 실현하는 것.
• 미래의 행렬 모델 표현 및 $(q,t)$-변형 적분 가능 체계 탐구를 위한 기초를 마련하는 것.

제안 방법

• $(q,t)$-변형을 확장한 $W_{1+\infty}$-대수 프레임워크를 통해 가환성 가진 $W$-연산자 $\mathbf{W}_{-n}^{(m)}(q,t|\vec{N})$를 구성한다.
• 매크도날 차분 연산자 $D_N^{(k)}$와 그 생성 함수 $D_N(Y)$를 사용하여 $(q,t)$-변형 컷-앤-조인 연산자 $\hat{\mathbf{O}}(q,t|N)$를 정의한다.
• 특정 $Y = -q^{-k}t^{-N}z$ 조건 하에서 $D_N$ 연산자의 곱으로 $\hat{\mathbf{O}}$를 표현하고, 분할 상자에 대한 $q,t$-변형 곱으로 고유값 표현을 도출한다.
• Fock 표현 $\mathcal{F}_{q,t^{-1}}^{(1,0)}$에서 양자 토로이드 대수 $U_{q,t^{-1}}(\hat{\hat{\mathfrak{gl}}}_1)$를 통해 $\hat{\mathbf{O}}$를 실현하고, $W$-대수의 구조와 연결한다.
• 생성 함수 항등식 $\prod_{i=1}^N \frac{1 - z q^{\lambda_i} t^{-i}}{1 - z t^{-i}} = \prod_{(i,j) \in \lambda} \frac{1 - z q^j t^{-i}}{1 - z q^{j-1} t^{-i}}$를 이용하여 $\hat{\mathbf{O}}_{\text{aux}}(z)$의 고유값 표현을 유도한다.
• 최종 형태 $\hat{\mathbf{O}} = (1-q)^{-\hat{E}} \hat{\mathbf{O}}_{\text{aux}}(q^{-1}t^{N+1}) / \prod_{i,j} (1 - t^{N+1-i} q^{-j})$를 유도하여 정규화 및 수렴성을 확보한다.

실험 결과

연구 질문

• RQ1 어떻게 매크도날 다항식을 사용하여 $W_{1+\infty}$-기반 히르츠 $\tau$-함수를 $(q,t)$-변형 프레임워크로 일반화할 수 있는가?
• RQ2 컷-앤-조인 연산자의 $(q,t)$-변형은 무엇이며, 매크도날 다항식에 어떻게 작용하는가?
• RQ3 변형된 $W$-연산자들은 양자 토로이드 대수 $U_{q,t^{-1}}(\hat{\hat{\mathfrak{gl}}}_1)$의 어떤 방식으로 실현될 수 있는가?
• RQ4 가환성 가진 가중족 $\mathbf{W}_{-n}^{(m)}(q,t|\vec{N})$의 대수적 구조는 무엇이며, 적분 가능 체계와의 관계는 어떻게 되는가?
• RQ5 이 논문에서 구성된 $\tau$-함수들은 $1/N$ 전개 또는 스펙트럼 곡선을 통해 행렬 모델 또는 위상적 끈 이론과 연결될 수 있는가?

주요 결과

• 논문은 매크도날 다항식을 사용하여 비대칭 히르츠 $\tau$-함수의 $(q,t)$-변형을 구성하였으며, 이는 이전 연구에서 사용된 셀러 함수 기반 모델을 일반화한다.
• 변형된 $W$-연산자 $\mathbf{W}_{-n}^{(m)}(q,t|\vec{N})$는 가환성 가진 가중족을 이룬다. 이는 적분 가능성과 새로운 종류의 적분 가능 체계를 시사한다.
• 컷-앤-조인 연산자 $\hat{\mathbf{O}}(q,t|N)$는 매크도날 차분 연산자로 명시적으로 실현되었으며, 분할 상자에 대한 무한곱 형태로 고유값이 표현된다.
• 연산자 $\hat{\mathbf{O}}$는 $\hat{\mathbf{O}} = (1-q)^{-\hat{E}} \hat{\mathbf{O}}_{\text{aux}}(q^{-1}t^{N+1}) / \prod_{i=1}^N \prod_{j=1}^\infty (1 - t^{N+1-i} q^{-j})$ 형태로 구성되어 정규화 및 수렴성을 보장한다.
• 이 구성은 양자 토로이드 대수 $U_{q,t^{-1}}(\hat{\hat{\mathfrak{gl}}}_1)$의 Fock 표현 $\mathcal{F}_{q,t^{-1}}^{(1,0)}$에서 이루어졌으며, 이러한 $\tau$-함수에 대한 새로운 대수적 프레임워크를 제공한다.
• 결과는 향후 행렬 모델 표현, AMM/EO 위상적 추론, $5d/6d$ 이론에서의 $(q,t)$-변형 적분 가능 체계 연구를 위한 기초를 마련한다.