[논문 리뷰] The primitive spectrum and category O for the periplectic Lie superalgebra

Chih-Whi Chen, Kevin Coulembier|arXiv (Cornell University)|2018. 05. 22.

Algebraic structures and combinatorial models참고 문헌 18인용 수 5

한 줄 요약

이 논문은 periplectic Lie 초대수 𝔭𝔢(n)의 표현 이론에서 두 가지 주요 문제를 해결한다: category 𝒪과 왼쪽 𝔭𝔢(n)-작용과 오른쪽 𝔤0-작용을 갖는 Harish-Chandra 이중모듈의 새로운 등가성을 확립하여, twisting 함수자들을 통한 단순 모듈의 근기 이상의 기술을 가능하게 하고; BGG 재귀성 정리가 증명되어 category 𝒪의 완전한 블록 분해가 가능해진다. 핵심 결과는 twisting 함수자들과 Weyl 군 작용의 조합론을 통해 𝔭𝔢(2)의 전체 근기 이상을 분류하는 것이다.

ABSTRACT

We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem we establish a BGG reciprocity result for the periplectic Lie superalgebra.

연구 동기 및 목표

• braid 군의 함수적 실현을 통해 periplectic Lie 초대수 𝔭𝔢(n)의 근기 이상을 묘사하기.
• 𝔭𝔢(n)의 category 𝒪를 분해성 블록으로 나누기.
• 모든 고전적 Lie 초대수, 특히 비기본 초대수인 𝔭𝔢(n)를 포함한 비기본 초대수에 대해 category 𝒪와 Harish-Chandra 이중모듈의 새로운 등가성 수립.
• 𝔭𝔢(n)에 대한 BGG 재귀성 결과를 증명하여 category 𝒪 내 블록 분해를 가능하게 하기.

제안 방법

• Lie 초대수의 왼쪽 작용과 기본 Lie 대수 𝔤0의 오른쪽 작용을 갖는 새로운 유형의 Harish-Chandra 이중모듈 도입.
• 모든 고전적 Lie 초대수에 대해 category 𝒪와 이 이중모듈의 카테고리 사이의 등가성 수립 — 기존 결과를 기본 또는 단순한 경우를 넘어서 일반화.
• category 𝒪에서 완비화 함수자와 twisting 함수자를 사용하여 근기 이상을 다루며, 이들의 조합론적 성질이 단순 모듈의 소거 이상을 암시함을 보임.
• 이중성과 함께 type I Lie 초대수에서는 twisting 함수자와 완비화 함수자가 코어그래프에 의해 동치임을 증명 — 기존 결과의 일반화.
• 비표준인 Verma 모듈에 대해 Kostant의 문제를 일반화하여, 𝔭𝔢(n)에서 이중모듈 등가성을 구성.
• 가짜 Casimir 연산자를 사용하여 이동 함수자를 분해하고 BGG 재귀성을 증명함으로써 category 𝒪 내 블록 분해를 가능하게 함.

실험 결과

연구 질문

• RQ1 비표준 모듈이 없고 비기본적인 구조를 지닌 periplectic Lie 초대수 𝔭𝔢(n)의 근기 이상을 함수적 작용의 관점에서 어떻게 묘사할 수 있는가?
• RQ2 비기본 고전적 Lie 초대수, 예를 들어 𝔭𝔢(n)와 같은 경우에 대해 category 𝒪와의 등가성을 가능하게 하는 Harish-Chandra 이중모듈의 올바른 일반화는 무엇인가?
• RQ3 category 𝒪에서의 완비화 및 twisting 함수자가 𝔭𝔢(n)의 근기 이상을 어떻게 다스리는가? 이들은 Weyl 군 및 braid 군 작용과 어떤 관계가 있는가?
• RQ4 𝔭𝔢(n)에 대해 BGG 재귀성을 확립할 수 있으며, 이는 category 𝒪의 블록 분해를 어떻게 촉진하는가?
• RQ5 특수한 경우 𝔭𝔢(2)에 대해 근기 이상과 블록 분해의 명시적 구조는 무엇이며, 특성 공식과 Hasse 다이어그램을 포함하는가?

주요 결과

• 𝔭𝔢(2)의 근기 이상은 단순 최고 무게 모듈에 대한 twisting 함수자 T의 작용을 통해 완전히 묘사되며, λ₁−λ₂의 차이에 따라 다른 행동을 보인다: 비정수일 경우 T(Lλ) = Ls·λ; 음이 아닌 정수일 경우 T(Lλ) = 0; λ₂ = λ₁+1일 경우 T(Lλ) = Lλ; λ₂ = λ₁+2일 경우 ch(TLλ) = chLλ + chLs·λ + chLs·λ−ω.
• λ₂ > λ₁+2일 경우, TLλ의 특성은 chLλ + chLs·λ로 주어지며, 이는 twisting 함수자가 비정수 및 비특이 무게에 대해 비자명하게 작용함을 보여준다.
• 𝔭𝔢(2)의 근기 이상은 네 개의 연결 성분으로 이루어져 있다: (i) 비정수 차이를 갖는 무게 쌍, (ii) λ₁ = λ₂인 단일 무게, (iii) i ∈ ℤ에 따라 인덱싱된 체인 — 무게 (a+i, a+i) 및 (a+i, a+i+2), (iv) k > 0일 때 J(a−1,a+k+1) ⊂ J(a+k,a)의 엄밀한 포함관계.
• 𝔭𝔢(2)의 category 𝒪의 블록 분해는 BGG 재귀성과 가짜 Casimir 연산자를 통해 결정되며, 일반적인 블록이 Koszul임을 보이고, 비정수 블록이 𝔭𝔢(1)⊕𝔭𝔢(1)의 category 𝒪 내 정수 블록과 동치임을 보여준다.
• 이중성에 의해 코어그래프된 것까지의 등가성 — type I Lie 초대수에서 twisting 함수자와 완비화 함수자가 동치임을 증명함으로써, 기존 결과를 일반화하고 근기 이상을 twisting 함수자로 묘사할 수 있게 되었다.
• 비표준 Verma 모듈에 대해 Kostant의 문제를 일반화함으로써, 모든 고전적 Lie 초대수, 비기본 초대수 포함, category 𝒪와 Harish-Chandra 이중모듈의 카테고리 사이의 새로운 등가성을 구성하였다.