[논문 리뷰] On $b$-Whittaker functions

Gus Schrader, Alexander Shapiro|arXiv (Cornell University)|2018. 06. 03.

Algebraic structures and combinatorial models참고 문헌 24인용 수 7

한 줄 요약

이 논문은 양자 클러스터 대수를 통해 $b$-위트릭 함수의 해석 이론을 개발하며, 기존의 기하학적 적분 공식에 대한 모듈라 $b$-해석을 유도하고, $b$-위트릭 변환의 유니타리성을 증명한다. 이들 함수가 디엔 트위스트 연산자의 고유벡터임을 입증하고, 핵심 적분 항등식의 $b$-해석을 만족하며, 프렌켈과 이프의 텐서곱 추측과 포크 및 곤차로프의 모듈라 함수 추측에 대한 해석적 증명을 완성한다.

ABSTRACT

The $b$-Whittaker functions are eigenfunctions of the modular $q$-deformed $\mathfrak{gl}_n$ open Toda system introduced by Kharchev, Lebedev, and Semenov-Tian-Shansky. Using the quantum inverse scattering method, the named authors obtained a Mellin-Barnes integral representation for these eigenfunctions. In the present paper, we develop the analytic theory of the $b$-Whittaker functions from the perspective of quantum cluster algebras. We obtain a formula for the modular open Toda system's Baxter operator as a sequence of quantum cluster transformations, and thereby derive a new modular $b$-analog of Givental's integral formula for the undeformed Whittaker function. We also show that the $b$-Whittaker functions are eigenvectors of the Dehn twist operator from quantum higher Teichmüller theory, and obtain $b$-analogs of various integral identities satisfied by the undeformed Whittaker functions, including the continuous Cauchy-Littlewood identity of Stade and Corwin-O'Connell-Seppäläinen-Zygouras. Using these results, we prove the unitarity of the $b$-Whittaker transform, thereby completing the analytic part of the proof of the conjecture of Frenkel and Ip on tensor products of positive representations of $U_q(\mathfrak{sl}_n)$, as well as the main step in the modular functor conjecture of Fock and Goncharov. We conclude by explaining how the theory of $b$-Whittaker functions can be used to derive certain hyperbolic hypergeometric integral evaluations found by Rains.

연구 동기 및 목표

• 양자 클러스터 대수의 관점에서 $b$-위트릭 함수의 해석 이론을 개발한다.
• 비변형 위트릭 함수에 대한 기하학적 적분 공식의 모듈라 $b$-해석을 도출한다.
• $b$-위트릭 변환의 유니타리성을 증명하여, 프렌켈과 이프의 $U_q(\mathfrak{sl}_n)$의 양성 표현의 텐서곱에 관한 추측의 해석적 부분을 완성한다.
• 양자 고차 테이히뮐러 이론에서의 디엔 트위스트 연산자의 고유벡터임을 $b$-위트릭 함수가 만족함을 입증한다.
• 연속적 캐시-리틀우드 항등식과 같은 고전적 적분 항등식의 $b$-해석을 유도하고, 레인스의 쌍곡선 초함수 적분 평가와 연결한다.

제안 방법

• 저자들은 $b$-위트릭 함수에 대한 멜린–바른스 적분 표현을 도출하기 위해 양자 역산자 산술 방법을 사용한다.
• 그들은 모듈라 개방 토다 시스템의 백서 연산자를 연속적인 양자 클러스터 변환의 열로 표현한다.
• 저자들은 양자 클러스터 대수의 구조를 활용하여 기존의 기하학적 적분 공식에 대한 새로운 모듈라 $b$-해석을 도출한다.
• 다변수 위트릭 함수 적분을 순환적으로 평가하기 위해 적분 형태의 오각형 항등식을 적용한다.
• 균형 조건과 $\varphi$-함수의 성질을 이용하여 $\varphi$-함수의 곱을 단순화하고 재귀 관계를 유도한다.
• 우선 $u = -v$ 조건을 도입하고, 오각형 항등식을 이용해 변수들을 순차적으로 적분하여 최종 평가 공식을 도출한다.

실험 결과

연구 질문

• RQ1 $b$-위트릭 함수는 양자 클러스터 대수의 구조를 체계적으로 어떻게 분석할 수 있는가?
• RQ2 비변형 위트릭 함수에 대한 기하학적 적분 공식의 모듈라 $b$-해석은 무엇인가?
• RQ3 $b$-위트릭 함수는 양자 고차 테이히뮐러 이론에서의 디엔 트위스트 연산자와 어떻게 관련이 있는가?
• RQ4 $b$-위트릭 함수는 고전적 적분 항등식(예: 캐시-리틀우드)의 어떤 $b$-해석을 만족하는가?
• RQ5 레인스의 쌍곡선 초함수 적분 평가 결과는 $b$-위트릭 함수 이론으로부터 도출될 수 있는가?

주요 결과

• $b$-위트릭 변환 $\mathcal{W}$ 가 $L^2(\mathbb{R}^n)$와 스크리얀인 측도 $m(\boldsymbol{\lambda})$에 대해 대칭 $L^2$ 함수의 공간 사이의 유니타리 동치임을 증명하였다.
• $b$-위트릭 함수가 양자 고차 테이히뮐러 이론에서의 디엔 트위스트 연산자의 고유벡터임을 입증하였다.
• 저자들은 양자 클러스터 변환을 통해 비변형 위트릭 함수에 대한 새로운 모듈라 $b$-해석을 도출하였다.
• $b$-위트릭 함수는 스테이드와 코윈–오컨넬–세팔라인넨–지고라스의 연속적 캐시-리틀우드 항등식의 $b$-해석을 만족한다.
• 논문은 $b$-위트릭 함수를 이용해 레인스의 쌍곡선 초함수 적분 평가 결과에 대한 표현 이론적 유도를 제공한다.
• 오각형 항등식과 $\varphi$-함수 항등식을 통한 재귀 관계는 균형 조건 하에서 적분 $I_{n+1}(\boldsymbol{\alpha}, \boldsymbol{\beta}; u, v)$의 폐쇄형 평가를 이끌어낸다.