[논문 리뷰] Screening operators and Parabolic inductions for Affine W-algebras

Naoki Genra|arXiv (Cornell University)|2018. 06. 12.

Algebraic structures and combinatorial models인용 수 6

한 줄 요약

이 논문은 아핀 W대수의 워키모토 자유장 실현을 스크리닝 연산자를 통해 소개함으로써, 이러한 대수에 대한 새로운 파라보릭 유도 구조를 가능하게 한다. 유형 A에서는 이 구조가 유한 W대수의 채널화된 쌍대곱을 실현하며, 유형 BCD에서는 특수한 경우에 대해 쌍대곱 구조를 일반화하여 아핀 W대수에서의 파라보릭 유도를 위한 통합된 프레임워크를 제공한다.

ABSTRACT

(Affine) $\mathcal{W}$-algebras are a family of vertex algebras defined by the generalized Drinfeld-Sokolov reductions associated with a finite-dimensional reductive Lie algebra $\mathfrak{g}$ over $\mathbb{C}$, a nilpotent element $f$ in $[\mathfrak{g},\mathfrak{g}]$, a good grading $\Gamma$ and a symmetric invariant bilinear form $\kappa$ on $\mathfrak{g}$. We introduce free field realizations of $\mathcal{W}$-algebras by using Wakimoto representations of affine Lie algebras, where $\mathcal{W}$-algebras are described as the intersections of kernels of screening operators. We call these Wakimoto free fields realizations of $\mathcal{W}$-algebras. As applications, under certain conditions that are valid in all cases of type $A$, we construct parabolic inductions for $\mathcal{W}$-algebras, which we expect to induce the parabolic inductions of finite $\mathcal{W}$-algebras defined by Premet and Losev. In type $A$, we show that our parabolic inductions are a chiralization of the coproducts for finite $\mathcal{W}$-algebras defined by Brundan-Kleshchev. In type $BCD$, we are able to obtain some generalizations of the coproducts in some special cases.

연구 동기 및 목표

• 워키모토 표현과 스크리닝 연산자를 사용하여 아핀 W대수의 자유장 실현을 개발한다.
• 아핀 W대수에 대한 파라보릭 유도의 체계적인 구조를 수립한다.
• 제안된 파라보릭 유도가 기존의 유한 W대수의 구조(특히 프레메트와 루세프의 것들)와 어떻게 연결되는지 밝힌다.
• 특히 BCD 유형에서, 유한 W대수의 쌍대곱 구조를 아핀 설정으로 일반화한다.
• 제안된 스크리닝 기반 프레임워크를 통해 유형 A에서 브룬단-클레슈체프 쌍대곱의 채널화를 제공한다.

제안 방법

• 아핀 리 대수의 워키모토 표현을 활용하여 아핀 W대수의 자유장 실현을 구성한다.
• 아핀 W대수를 워키모토 포크 공간에서 스크리닝 연산자들의 근무의 교차로 정의한다.
• 드린펠트-소코로프 축소의 일관성을 보장하기 위해 양호한 그레디에이션 Γ와 불변 이차형식 κ를 사용한다.
• 스크리닝 연산자 구조를 통해 더 작은 W대수를 더 큰 W대수에 통합함으로써 파라보릭 유도를 구성한다.
• 브룬단-클레슈체프 쌍대곱의 채널화를 보여줌으로써, 유형 A에서의 파라보릭 유도가 기존의 파라보릭 유도와 호환됨을 검증한다.
• 파라보릭 부분대수에서 스크리닝 연산자 시스템을 분석함으로써, BCD 유형에서의 유사 쌍대곱 구조를 일반화한다.

실험 결과

연구 질문

• RQ1 스크리닝 연산자는 아핀 W대수의 자유장 실현을 어떻게 구성할 수 있는가?
• RQ2 제안된 아핀 W대수의 파라보릭 유도는 기존의 유한 W대수의 파라보릭 유도를 어느 정도 복원하거나 일반화하는가?
• RQ3 유형 A에서 제안된 구조는 브룬단-클레슈체프 쌍대곱의 채널화를 유도하는가?
• RQ4 스크리닝 기반 프레임워크는 BCD 유형에서 일반화된 쌍대곱 구조를 생성하는 데 확장될 수 있는가?
• RQ5 아핀 W대수 설정에서 파라보릭 유도의 타당성을 보장하는 조건은 무엇인가?

주요 결과

• 논문은 워키모토 포크 모듈에서 스크리닝 연산자들의 근무의 교차로 아핀 W대수의 자유장 실현을 성공적으로 구성하였다.
• 유형 A에서는 제안된 파라보릭 유도가 유한 W대수의 브룬단-클레슈체프 쌍대곱의 채널화임을 입증하였다.
• BCD 유형에서는 특정 파라보릭 경우에서 쌍대곱 구조의 일반화를 얻었으며, 이는 기존의 유한형 결과를 확장한다.
• 이 구조는 모든 유형 A의 경우에서 성립하는 조건을 만족하므로, 이 설정에서 광범위한 적용 가능성을 보장한다.
• 스크리닝 연산자 프레임워크는 다양한 리 유형에서 파라보릭 유도를 정의하는 통일된 메커니즘을 제공한다.
• 이 접근은 스크리닝 연산자를 통해 워키모토 표현과 아핀 W대수의 구조 사이의 직접적인 연결을 수립한다.