[논문 리뷰] Kernel function and quantum algebras

Boris Feigin, Ayumu Hoshino외 3명|arXiv (Cornell University)|2010. 02. 12.

Algebraic structures and combinatorial models참고 문헌 6인용 수 40

한 줄 요약

이 논문은 대칭 함수의 텐서곱과 비특이한 $ \mathbb{C}\mathbb{P}^1 $ 위의 교환 대수 위에서 양자 커널 함수 $ K_n(x,z;q,t) $ 를 도입하며, 타일 합 공식을 통해 맥도널드 다항식과 연결한다. 수준 $ m $ 표현이 딩-이오하라 양자 대수 $ \mathcal{U}(q,t) $ 의 전류가 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수를 생성함을 보이며, $ K_n $ 는 최고에서 최고로의 상관 함수로 자연스럽게 나타난다.

ABSTRACT

We introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum formula of Macdonald polynomials. Next, we demonstrate that the integer level representation of the Ding-Iohara quantum algebra naturally produces the currents of the deformed $\mathcal{W}$ algebra. Then we remark that the $K_n(x,z;q,t)$ emerges in the highest-to-highest correlation function of the deformed $\mathcal{W}$ algebra.

연구 동기 및 목표

• 대칭 함수의 환 $ \Lambda_{\mathbb{F}} $ 와 비특이한 $ \mathbb{C}\mathbb{P}^1 $ 위의 교환 대수 $ \mathcal{A} $ 의 텐서곱에서 양자 커널 함수 $ K_n(x,z;q,t) $ 를 구성하는 것.
• Macdonald 다항식의 타일 합 공식을 통해 $ K_n(x,z;q,t) $ 의 제약된 형태가 어떻게 기술되는지 보여주는 것.
• 딩-이오하라 양자 대수 $ \mathcal{U}(q,t) $ 의 수준 $ m $ 표현이 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수의 전류를 생성함을 보여주는 것.
• 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수에서 최고에서 최고로의 상관 함수로 $ K_n(x,z;q,t) $ 가 자연스럽게 나타남을 확립하는 것.

제안 방법

• 체 $ \mathbb{F} = \mathbb{Q}(q_1,q_2) $ 위에서 연산자 $ \partial^{(0,k)} $ 와 $ \partial^{(\infty,k)} $ 를 도입하여 $ \mathbb{C}\mathbb{P}^1 $ 에서의 비특이성을 강제하는 교환 대수 $ \mathcal{A} $ 를 정의하는 것.
• 합리적 함수 $ \omega(x,y) = \frac{(x-q_1y)(x-q_2y)(x-q_3y)}{(x-y)^3} $ 를 사용하여 $ \mathcal{A} $ 위의 곱 연산 $ * $ 를 정의하고, $ \operatorname{Sym} $ 을 통해 대칭화하는 것.
• 계수 $ q_1 = q^{-1}, q_2 = t, q_3 = qt^{-1} $ 를 가진 $ \Lambda_{\mathbb{F}} \otimes \mathcal{A} $ 에서 카우치 커널의 유사체로 커널 함수 $ K_n(x,z;q,t) $ 를 구성하는 것.
• 맥도널드 다항식의 타일 합 공식을 사용하여 $ z $ 에 대한 $ K_n $ 의 제약을 기술함으로써 대칭 함수 이론과의 직접적 연결을 확립하는 것.
• 딩-이오하라 양자 대수 $ \mathcal{U}(q,t) $ 의 수준 $ m $ 표현을 통해 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수의 전류를 실현하는 것.
• 연산자 곱 전개와 정점 연산자 구성법을 통해 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수에서 $ K_n(x,z;q,t) $ 가 최고에서 최고로의 상관 함수로 나타남을 확인하는 것.

실험 결과

연구 질문

• RQ1 대칭 함수와 비특이한 $ \mathbb{C}\mathbb{P}^1 $ 기반 대수의 텐서곱에서 양자 커널 함수 $ K_n(x,z;q,t) $ 는 어떻게 구성될 수 있는가?
• RQ2 z에 대한 $ K_n(x,z;q,t) $ 의 제약은 맥도널드 다항식의 타일 합 공식과 어떤 방식으로 관련되어 있는가?
• RQ3 딩-이오하라 양자 대수 $ \mathcal{U}(q,t) $ 의 수준 $ m $ 표현은 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수의 전류를 어떻게 생성하는가?
• RQ4 $ K_n(x,z;q,t) $ 는 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수의 상관 함수에서 어떤 역할을 하는가, 특히 최고에서 최고로의 채널에서?
• RQ5 연산자 곱 전개와 정점 연산자 항등식과 같은 대수적 구조는 이 맥락에서 $ K_n $ 가 어떻게 나타나는지를 뒷받침하는가?

주요 결과

• 커널 함수 $ K_n(x,z;q,t) $ 는 $ x $ 와 $ z $ 에 대해 대칭적인 유리 함수로서, 계수들이 $ \mathbb{F} = \mathbb{Q}(q,t) $ 에 속하는 $ \Lambda_{\mathbb{F}} \otimes \mathcal{A} $ 에 값이 있는 것으로 구성된다.
• 특정 제약 조건을 가진 $ K_n(x,z;q,t) $ 는 맥도널드 다항식의 타일 합 공식으로 깔끔하게 기술되며, 대칭 함수 이론과의 직접적 연결을 확립한다.
• 딩-이오하라 양자 대수 $ \mathcal{U}(q,t) $ 의 수준 $ m $ 표현은 정점 연산자 실현을 통해 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수의 전류를 자연스럽게 생성한다.
• 커널 함수 $ K_n(x,z;q,t) $ 는 타원형 $ \mathcal{W}_{q,p}(\mathfrak{sl}_n) $ 대수에서 최고에서 최고로의 상관 함수로 나타나며, 연산자 곱 전개의 명시적 계산을 통해 확인된다.
• $ \Lambda_i^*(z) \Lambda_j^*(w) $ 의 연산자 곱 전개는 $ f_{1,m}(w/z) \Lambda_i^*(z) \Lambda_j^*(w) = :\Lambda_i^*(z) \Lambda_j^*(w): $ 를 만족하며, $ f_{1,m} $ 은 타원형 $ \mathcal{W} $ 대수의 구조 상수를 캡슐화한다.
• $ $ k $-번째 텐서 성분은 명시적으로 계산되었으며, $ \widetilde{\Lambda}_i^*(p^{(m-2)/2}z) $ 의 성분과 일치함을 확인하여 전류 대수와 커널 함수 사이의 동형사상이 성립함을 확인한다.