[논문 리뷰] Deformations of W-algebras associated to simple Lie algebras

Edward Frenkel, Nicolai Reshetikhin|ArXiv.org|1997. 08. 04.

Algebraic structures and combinatorial models참고 문헌 10인용 수 94

한 줄 요약

이 논문은 임의의 단순 리 대수 $\mathfrak{g}$ 에 대해 두 파라미터로 변형된 $\mathcal{W}_{q,t}(\mathfrak{g})$ 를 자유장 실현과 스크리닝 연산자를 통해 도입한다. 고전적 유형의 경우 생성자에 대한 명시적 공식을 확립하고, 양자 아핀 통합 모델에서의 해석적 베티 앙사츠와 깊은 연관성을 드러내며, $\mathcal{W}_{q,t}(\mathfrak{g})$ 가 $U_q(\widehat{\mathfrak{g}})$, $U_t({}^L\widehat{\mathfrak{g}})$, 및 $U_t(\widehat{\mathfrak{g}}^\vee)$ 의 전이 행렬과 연결됨을 보여주어 표현 환의 통합된 변형을 시사한다.

ABSTRACT

Deformed $\W$--algebra $\W_{q,t}(\g)$ associated to an arbitrary simple Lie algebra $\g$ is defined together with its free field realizations and the screening operators. Explicit formulas are given for generators of $\W_{q,t}(\g)$ when $\g$ is of classical type. These formulas exhibit a deep connection between $\W_{q,t}(\g)$ and the analytic Bethe Ansatz in integrable models associated to quantum affine algebras $U_q(\G)$ and $U_t(\GL)$. The scaling limit of $\W_{q,t}(\g)$ is closely related to affine Toda field theories.

연구 동기 및 목표

• 임의의 단순 리 대수 $\mathfrak{g}$ 에 대해 두 파라미터 변형 $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 정의.
• 고전적 유형인 $\mathfrak{g}$ 에 대해 $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 명시적 자유장 실현과 스크리닝 연산자 제공.
• 양자 아핀 통합 모델에서 전이 행렬에 대한 해석적 베티 앙사츠 공식과 $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 생성자 간의 연관성 확립.
• $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 포아송 근사치를 탐색하고, 임계 수준에서 양자화된 포괄 대수의 중심과의 동형을 추측.

제안 방법

• 각 단순 리 대수 $\mathfrak{g}$ 에 대해 카르탕 행렬의 두 파라미터 변형 정의.
• 헤이젠베르크 대수 $\mathcal{H}_{q,t}(\mathfrak{g})$ 를 구성하고, 그 위에 작용하는 스크리닝 연산자 도입.
• $\mathcal{W}_{q,t}(\mathfrak{g})$ 를 $\mathcal{H}_{q,t}(\mathfrak{g})$ 내부의 스크리닝 연산자 중심화자로 정의.
• 생성자의 형태를 추측하고, 이 추측에서 생성자 간의 교환 관계 유도.
• 스크리닝 전류 간의 관계를 계산하고, 기존의 대수적 구조와의 일致성 검증.
• 변형된 캐릭터리스틱 대수 프레임워크를 사용하여 연산자 곱의 구조와 유수성 조건을 체계화.

실험 결과

연구 질문

• RQ1 임의의 단순 리 대수에 대해 두 파라미터로 변형된 W-대수를 일관되게 정의할 수 있는가?
• RQ2 고전적 리 대수에 대해 $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 명시적 자유장 실현은 무엇인가?
• RQ3 $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 생성자들은 $U_q(\widehat{\mathfrak{g}})$ 와 $U_t({}^L\widehat{\mathfrak{g}})$ 의 통합 모델에서 전이 행렬의 고유값과 어떻게 관련이 있는가?
• RQ4 $\mathcal{W}_{1,t}(\mathfrak{g})$ 의 포아송 대수의 구조는 무엇이며, $G((z))$ 의 드린펠트-소콜로프 축소와 어떻게 관련되는가?
• RQ5 $q\to\epsilon$ 근사에서 얻어지는 교환 부분대수 $\mathcal{W}'_{\epsilon,t}(\mathfrak{g})$ 는 임계 수준에서 $U_t({}^L\widehat{\mathfrak{g}})$ 의 중심과 동형인가?

주요 결과

• $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 생성자에 대한 명시적 공식이 $A_\ell$, $B_\ell$, $C_\ell$, $D_\ell$ 과 같은 고전적 리 대수에 대해 $q$ 와 $t$ 에 대한 유리 함수로 제공된다.
• $\mathcal{W}_{q,t}(\mathfrak{g})$ 의 자유장 실현은 $U_q(\widehat{\mathfrak{g}})$, $U_t({}^L\widehat{\mathfrak{g}})$, 및 $U_t(\widehat{\mathfrak{g}}^\vee)$ 의 전이 행렬에 대한 베티 앙사츠 공식과 직접적인 대응을 보인다.
• $q\to 1$ 근사에서 $\mathcal{W}_{q,t}(\mathfrak{g})$ 는 $\mathfrak{g}$ 와 관련된 일반적인 $\mathcal{W}$-대수로 복원된다.
• $t\to 1$ 근사에서 $\mathcal{W}_{q,t}(\mathfrak{g})$ 는 교환 가능해지고 포아송 구조를 갖는다. 이는 임계 수준에서 $U_q(\widehat{\mathfrak{g}})$ 의 중심과 동형일 것이라 추측된다.
• $\mathfrak{g}=C_2$ 인 경우, 포아송 대수 $\mathcal{W}_{1,t}(C_2)$ 는 $\mathcal{W}^{t^2}(C_2)$ 와 동형이며, 이 경우 추측이 확인된다.
• $q\to\epsilon$ 근사에서 교환 부분대수 $\mathcal{W}'_{\epsilon,t}(\mathfrak{g})$ 가 얻어지며, 이는 포아송 구조를 갖는다. 이는 임계 수준에서 $U_t({}^L\widehat{\mathfrak{g}})$ 의 중심과 동형일 것이라 추측된다.