[논문 리뷰] Deformations of $\mathcal W$ algebras via quantum toroidal algebras

Boris Feigin, M. Jimbo외 2명|arXiv (Cornell University)|2020. 03. 09.

Algebraic structures and combinatorial models참고 문헌 19인용 수 4

한 줄 요약

이 논문은 양자 토로이드럴 $\mathfrak{gl}_1$ 대수 $\mathcal{E}$ 를 사용하여 모든 고전적 유형 (A, B, C, D) 에서 변형된 $\mathcal{W}$ 대수를 통일적으로 구성한다. 이는 초대칭 및 비틀림 경우를 포함한다. 이는 $\mathcal{E}$ 위의 코모듈 류 $\mathcal{K}$ 를 도입하여 변형된 $\mathcal{W}$ 전류와 스크리닝 연산자를 생성하며, 베티 앤사즈를 통해 모든 비예외적 유형(단지 $\textsf{D}^{(2)}_{\ell+1}$ 를 제외하고)에서 교환 가능한 운동량 적분의 가족이 존재함을 증명한다.

ABSTRACT

The deformed $\mathcal W$ algebras of type $ extsf{A}$ have a uniform description in terms of the quantum toroidal $\mathfrak{gl}_1$ algebra $\mathcal E$. We introduce a comodule algebra $\mathcal K$ over $\mathcal E$ which gives a uniform construction of basic deformed $\mathcal W$ currents and screening operators in types $ extsf{B}, extsf{C}, extsf{D}$ including twisted and supersymmetric cases. We show that a completion of algebra $\mathcal K$ contains three commutative subalgebras. In particular, it allows us to obtain a commutative family of integrals of motion associated with affine Dynkin diagrams of all non-exceptional types except $ extsf{D}^{(2)}_{\ell+1}$. We also obtain in a uniform way deformed finite and affine Cartan matrices in all classical types together with a number of new examples, and discuss the corresponding screening operators.

연구 동기 및 목표

• 모든 고전적 유형(초대칭 및 비틀림 경우 포함)에서 변형된 $\mathcal{W}$ 대수를 통일적인 대수적 프레임워크로 제공하는 것.
• 기존의 $q$-변형된 $\mathcal{W}$ 대수의 유형 A를 양자 토로이드럴 대수를 사용하여 다른 고전적 유형으로 확장하는 것.
• 양자 토로이드럴 $\mathfrak{gl}_1$ 대수 $\mathcal{E}$ 위의 코모듈 류 $\mathcal{K}$ 를 구성하여 변형된 $\mathcal{W}$ 전류와 스크리닝 연산자를 통일적으로 생성하는 것.
• 베르트 앤사즈를 사용하여 모든 비예외적 유형(단지 $\textsf{D}^{(2)}_{\ell+1}$ 를 제외하고)의 아핀 딘킨 다이어그램과 관련된 교환 가능한 운동량 적분의 가족을 확립하는 것.

제안 방법

• 구성은 변형된 $\mathcal{W}$ 대수를 위한 통일된 대수적 프레임워크로 양자 토로이드럴 $\mathfrak{gl}_1$ 대수 $\mathcal{E}$ 를 사용한다.
• 변형된 $\mathcal{W}$ 전류 $A_i(z)$ 는 $\ell+1$ 개의 정점 연산자의 합에서 유래하는, 생성 전류 $e(z)$ 가 임의의 색상의 푸옥 모듈의 텐서 곱에 작용할 때 인접한 정점 연산자의 비율로 정의된다.
• 코모듈 류 $\mathcal{K}$ 는 고전적 유형 B, C, D(비틀림 및 초대칭 경우 포함)에서 변형된 $\mathcal{W}$ 전류와 스크리닝 연산자를 체계적으로 생성하기 위해 도입된다.
• 변형된 카르탕 행렬(유한 및 아핀)은 $A_i(z)$ 전류의 수축 구조에서 유도되며, 다양한 구성에 대해 명시적인 행렬 형태가 제공된다.
• 복수의 적분과 페이긴-오데스키 커널을 사용하여, $\boldsymbol{e}(z) = e(z)\tilde{Z}_\mu(z)$ 를 이용한 옷을 입힌 전류를 통해 운동량 적분을 구성한다.
• 스펙트럼은 베티 앤사즈를 통해 계산되며, 이 구성은 $\textsf{D}^{(2)}_{\ell+1}$ 를 제외한 모든 고전적 유형에서 일관되게 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 모든 고전적 유형 (A, B, C, D) 에서 양자 토로이드럴 대수를 사용하여 변형된 $\mathcal{W}$ 대수를 통일적으로 구성할 수 있는 방법은 무엇인가?
• RQ2 양자 토로이드럴 $\mathfrak{gl}_1$ 대수 $\mathcal{E}$ 위의 코모듈 류 $\mathcal{K}$ 는 변형된 $\mathcal{W}$ 전류와 스크리닝 연산자를 생성하는 데 어떤 역할을 하는가?
• RQ3 이 프레임워크를 사용하여 모든 비예외적 아핀 딘킨 유형에 대해 교환 가능한 운동량 적분의 가족을 구성할 수 있는가?
• RQ4 유한 및 아핀 유형의 변형된 카르탕 행렬은 $\mathcal{E}$ 와 그 푸옥 모듈의 대수적 구조에서 어떻게 유도되는가?
• RQ5 옷을 입힌 전류 $\boldsymbol{e}(z)$ 의 $qq$-특성 해석은 양자 아핀 $\mathfrak{sl}_{\ell+1}$ 의 첫 번째 기본 표현과 어떤 관련이 있는가?

주요 결과

• 양자 토로이드럴 $\mathfrak{gl}_1$ 대수 $\mathcal{E}$ 위의 코모듈 류 $\mathcal{K}$ 는 세 개의 교환 가능한 부분대수를 포함하며, 이는 고전적 유형 B, C, D(초대칭 및 비틀림 경우 포함)에서 변형된 $\mathcal{W}$ 전류와 스크리닝 연산자를 통일적으로 구성하는 데 기여한다.
• 모든 비예외적 아핀 딘킨 유형(단지 $\textsf{D}^{(2)}_{\ell+1}$ 를 제외하고)에 대해 교환 가능한 운동량 적분의 가족이 구성되었으며, 스펙트럼은 베티 앤사즈를 통해 계산되었다.
• 모든 고전적 유형에 대해 변형된 유한 및 아핀 카르탕 행렬이 명시적으로 유도되었으며, 다양한 색상과 유형의 구성에 대해 구체적인 행렬 형태가 제공되었다.
• 전류 $e(z)$ 와 정점 연산자 $\tilde{Z}_\mu(z)$ 의 곱으로 얻어진 옷을 입힌 전류 $\boldsymbol{e}(z)$ 는 양자 아핀 $\mathfrak{sl}_{\ell+1}$ 의 첫 번째 기본 표현의 $qq$-특성을 나타내며, 이는 기존의 적분 가능 시스템과 연결된다.
• 매개변수 $s_1, s_2, s_3$ 의 순열 또는 자료의 순서를 뒤집음으로써 새로운 변형된 카르탕 행렬의 예를 생성할 수 있으며, 최대 유한형 부분행렬의 중첩을 통해 안정된 행렬을 얻을 수 있다.
• 이 방법은 $q$-변형된 $\mathcal{W}$ 대수의 유형 A 에서 모든 고전적 유형으로의 일반화를 성공적으로 수행하였으며, 전류, 스크리닝 연산자 및 카르탕 행렬에 대한 명시적인 공식을 제공한다.