[논문 리뷰] Affine Screening Operators, Affine Laumon Spaces, and Conjectures Concerning Non-Stationary Ruijsenaars Functions

Jun’ichi Shiraishi|arXiv (Cornell University)|2019. 03. 18.

Nonlinear Waves and Solitons인용 수 5

한 줄 요약

이 논문은 아핀 스크리닝 연산자를 통해 유도된 형식적 멱급수로서 비정상적인 Ruijsenaars 함수 $ f^{\widehat{\mathfrak{gl}}}_N(x,p|s,\kappa|q,t) $ 를 도입하며, 이를 아핀 Laumon 공간의 오일러 특성의 생성함수와 동일시한다. 주요 기여는 비정상적인 Ruijsenaars 연산자의 고유함수와 $ \widehat{\mathfrak{sl}}_N $ 의 주로 통합 가능한 문자열과의 연결을 제안하는 추측들—이중성의 이중성, Poincaré 이중성, 평가 공식—을 제기하는 것이다. 주요 추측은 $ \kappa \to 1 $ 극한에서 정상적인 고유함수로의 정규화 및 수렴을 주장한다.

ABSTRACT

Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat{gl}_N}(x,p|s,kappa|q,q/t) gives us the dominant integrable characters of hat{sl}_N multiplied by 1/(p^N;p^N)_infty (i.e. the hat{gl}_1 character). Several conjectures are presented for f^{hat{gl}_N}(x,p|s,kappa|q,t), including the bispectral and the Poincare dualities, and the evaluation formula. Main Conjecture asserts that (i) one can normalize f^{hat{gl}_N}(x,p|s,kappa|q,t) in such a way that the limit kappa rightarrow 1 exists, and (ii) the limit f^{st.hat{gl}_N}(x,p|s|q,t) gives us the eigenfunction of the elliptic Ruijsenaars operator. The non-stationary affine q-difference Toda operator T^{hat{gl}_N}(kappa) is introduced, which comes as an outcome of the study of the Poincare duality conjecture in the affine Toda limit t rightarrow 0. Main Conjecture is examined also in the limiting cases of the affine q-difference Toda (t rightarrow 0), and the elliptic Calogero-Sutherland (q,t rightarrow 1) equations.

연구 동기 및 목표

• 아핀 스크리닝 연산자를 사용하여 Ruijsenaars 고유함수의 비정상적인 일반화를 정의하고 구성한다.
• 특성 비교를 통해 생성함수 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 를 아핀 Laumon 공간의 오일러 특성과 동일시한다.
• 비정상적인 함수 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 이 타원 Ruijsenaars 연산자의 고유함수와 $ \widehat{\mathfrak{sl}}_N $ 의 주로 통합 가능한 문자열과 관련이 있음을 추측으로서 제시한다.
• 특히 $ q $-차분 아핀 Toda 및 타원 Calogero-Sutherland 시스템에 대한 특수한 극한을 통해 함수의 분해 극한을 탐색한다.

제안 방법

• 아핀 스크리닝 연산자와 관련된 스크리닝된 버텍스 연산자의 조합의 행렬 원소로서 비정상적인 Ruijsenaars 함수 $ f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,t) $ 를 유도한다.
• 모듈로 $ N $ 의 순환 인덱스에 대한 분할된 곱을 통해 $ q $-데오파라미터화된 $ K $-이론적 Nekrasov 함수 $ {\mathsf{N}}^{(k|N)}_{\lambda,\mu}(u|q,\kappa) $ 를 사용하여 급수를 구성한다.
• Poincaré 이중성 추측의 $ t \to 0 $ 극한에서 비정상적인 아핀 $ q $-차분 Toda 연산자 $ \mathcal{T}^{{\widehat{\mathfrak{gl}}}_N}(\kappa) $ 를 도출한다.
• $ q $-이항정리와 $ \theta $-함수의 성질을 적용하여, 특히 $ k=0 $ 에서의 분해 극한에서의 수렴성과 정규성을 분석한다.
• $ k=0 $ 에서의 해석적 행동을 가정하여, 정규화 $ \varphi^{\text{st. eCS}} = \varphi^{\text{eCS}} / \alpha(p|\lambda,k|\beta) \big|_{k=0} $ 를 통해 정상 극한 $ \varphi^{\text{st. eCS}} $ 를 정의한다.
• 준기저 상태 $ \psi_0(x,p|\beta) $ 와 $ (p^N; p^N)_\infty $ 에 의한 정규화를 통해 Weyl-Kac 분모를 복원하고, 특수한 경우에서 추측을 검증한다.

실험 결과

연구 질문

• RQ1 비정상적인 Ruijsenaars 함수 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 이 $ \kappa \to 1 $ 극한이 존재하도록 정규화될 수 있는가?
• RQ2 $ \kappa \to 1 $ 극한에서 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 이 타원 Ruijsenaars 연산자의 고유함수를 생성하는가?
• RQ3 비정상적인 함수 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 는 특성 비교를 통해 아핀 Laumon 공간의 오일러 특성과 관련이 있는가?
• RQ4 $ t \to 0 $ 극한에서 함수가 비정상적인 아핀 $ q $-차분 Toda 연산자를 생성하는가?
• RQ5 $ f^{\text{eCS}} / \alpha(p|\lambda,k|\beta) $ 는 $ k=0 $ 에서 정칙한가? 그리고 $ \frac{1}{k} p \frac{\partial}{\partial p} \log \alpha $ 는 $ p^N $ 에 대한 비자명한 테일러 급수로 수렴하는가?

주요 결과

• 비정상적인 Ruijsenaars 함수 $ f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,t) $ 는 특성 비교를 통해 아핀 Laumon 공간의 오일러 특성의 생성함수로 동일시된다.
• 매개변수 $ s_i, \kappa $ 가 정의 1.6에 따라 설정될 경우(즉, 주로 통합 가능한 $ \widehat{\mathfrak{sl}}_N $ 표현의 경우), $ f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,q/t) $ 는 정규화를 제외하고 Etingof와 Kirillov Jr. 의 아핀 Macdonald 다항식과 일치한다.
• 주요 추측은 $ f^{{\rm st.}\,\widehat{\mathfrak{gl}}_N}(x,p|s|q,t) = \lim_{\kappa \to 1} f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,t) $ 가 타원 Ruijsenaars 연산자의 고유함수임을 주장한다.
• $ t \to 0 $ 극한에서 Poincaré 이중성 추측은 비정상적인 아핀 $ q $-차분 Toda 연산자 $ \mathcal{T}^{{\widehat{\mathfrak{gl}}}_N}(\kappa) $ 를 이끌어낸다.
• $ \beta = 1 $ 인 경우, 함수 $ x^\mu \varphi^{\text{eCS}} $ 는 고유값이 $ \frac{1}{2} \sum \mu_i^2 $ 인 열린 방정식을 만족하며, 이는 추측의 특수한 경우를 확인한다.
• $ K=0, \mu=\emptyset $ 인 경우, 함수 $ \psi_0(x,p|\beta) / (p^N; p^N)_\infty $ 는 Langmann의 커널 항등식을 만족하며, 이는 $ \beta $-독립적 극한에서의 추측 7.2 를 확인한다.