[논문 리뷰] On DS functor for affine Lie superalgebras

Maria Gorelik, Vera Serganova|arXiv (Cornell University)|2017. 11. 28.

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

한 줄 요약

이 논문은 비-twist된 아핀 리 초대수와 아핀 버텍스 초대수에 대한 Duflo-Serganova(DS) 함자를 연구하며, 적합한 수준과 주된 적합 수준에서 진공 모듈에 대한 그 행동에 초점을 맞춘다. 특정 아핀 리 초대수의 클래스에 대해 DS 함자가 단순 아핀 버텍스 초대수의 구조를 유지하고 단순 모듈을 단순 모듈로 보낸다는 것을 입증한다. 특히, DS 축소의 도출 대수의 결함이 0이고 단순 리 대수인 경우에 해당한다.

ABSTRACT

We study Duflo-Serganova functor for non-twisted affine Lie superalgebras and affine vertex superalgebras.

연구 동기 및 목표

• 비-twist된 아핀 리 초대수와 아핀 버텍스 초대수에 대한 Duflo-Serganova 함수를 확장하기.
• DS 함수가 진공 모듈과 단순 모듈의 구조를 유지하는 조건을 규명하기.
• 특히 주된 적합 수준에서 리 대수의 결과를 리 초대수로 일반화하기.
• 결과로 얻어진 대수가 결함이 0일 경우, DS 축소 하에서 버텍스 대수 간의 동형을 확립하기.
• DS 함수가 카테고리 O의 모듈에서의 행동과 적합 수준과의 호환성 탐색하기.

제안 방법

• x ∈ 𝔤_{\overline{1}} 이며 [x,x] = 0 인 경우, DS 함수 DS_x를 N ↦ ker_N x / im_N x 로 정의하고, 아핀 리 초대수 위의 모듈에 대해 작용한다.
• 적합한 진공 모듈에 대해 DS_x(Vac^k(𝔤)) = Vac^k(𝔤_x) 임을 이용한다.
• 도출 대수 𝔰˙𝔤_x가 결함이 0이고 ℂ가 아니며, 특별한 벡터와 Arakawa의 정리의 성질을 이용하여 DS_x(Vac_k(𝔤)) = Vac_k(𝔤_x) 를 증명한다.
• DS 함수를 버텍스 초대수에 적용하여, 적절한 조건 하에서 DS_x(V_k(𝔤)) ≅ V_k(𝔤_x) 임을 보인다.
• 주된 적합 수준의 분류와 최대 진부분모듈의 구조를 이용하여, 단순 진공 모듈의 이미지가 여전히 단순하다는 것을 증명한다.
• 카테고리 𝒪과의 호환성과 주된 적합 수준에서의 기약 모듈이 특별한 벡터에 의해 생성된다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 비-twist된 아핀 리 초대수에 대해 Duflo-Serganova 함수가 단순 진공 모듈 Vac_k(𝔤)의 구조를 유지하는 조건은 무엇인가?
• RQ2 비-twist된 아핀 리 초대수에 대해 DS_x(Vac_k(𝔤)) ≅ Vac_k(𝔤_x) 가 성립하는 조건은 무엇인가?
• RQ3 DS 함수는 주된 적합 수준에서 아핀 버텍스 초대수 V_k(𝔤)에 어떻게 작용하는가?
• RQ4 DS 함수와 아핀 리 초대수에 대한 카테고리 𝒪 사이의 관계는 무엇인가?
• RQ5 𝔤_x가 단순 리 대수이고 𝔰˙𝔤 ≠ B(n+1|n일 때, DS 함수가 버텍스 대수의 구조를 유지하는가?

주요 결과

• 비-twist된 아핀 리 초대수 𝔤 = 𝔰˙𝔤^{(1)} 과 x ∈ 𝔰˙𝔤_{\overline{1}} 에 대해, 𝔰˙𝔤_x가 결함이 0이고 𝔰˙𝔤_x ≠ ℂ이며, 비음수 정수 k일 때, DS_x(Vac_k(𝔤)) = Vac_k(𝔤_x) 이다.
• 주된 적합 수준에서, 𝔰˙𝔤_x가 단순 리 대수이고 𝔰˙𝔤 ≠ B(n+1|n일 때, DS 함수는 단순 아핀 버텍스 초대수 V_k(𝔤)를 V_k(𝔤_x)로 보낸다.
• 주된 적합 수준에서, DS_x(Vac_k(𝔤)) ≅ Vac_k(𝔤_x) 는 𝔤_x-모듈로서 성립하며, 이는 해당 버텍스 대수 간의 동형을 의미한다.
• 𝔰˙𝔤_x의 조건을 만족할 경우, 임의의 V_k(𝔤)-모듈 N에 대해 DS_x(N) 은 V_k(𝔤_x)-모듈이 된다.
• N 이 카테고리 𝒪에 속해 있다면, DS_x(N) 은 0이거나 수준 k의 주된 적합 모듈의 직합이 된다.
• x = ∑x_i 이며 각 x_i 가 최대 이소트로픽 루트 공간에 속할 때, 복합 함수 DS_S = DS_{x_1} ∘ ⋯ ∘ DS_{x_r} 는 DS_S(𝔤) ≅ DS_x(𝔤) 를 만족한다.