[논문 리뷰] Homological invariants in category O for the general linear superalgebra

Kevin Coulembier, Vera Serganova|arXiv (Cornell University)|2015. 01. 06.

Algebraic structures and combinatorial models참고 문헌 27인용 수 6

한 줄 요약

이 논문은 일반 선형 초대수 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪에서 호모로지 불변량—프로젝티브 차원, 관련 다양체, 복잡도—를 조사한다. 유한한 프로젝티브 차원은 정확히 자명한 관련 다양체와 대응되며, 복잡도는 비표준성을 캡처함을 보여준다. 핵심 결과는 동일한 전반적 호모로지 불변량(특이성과 비표준성)을 가진 정수 블록들 사이에도 동치가 아닐 수 있음을 보여주며, 이는 𝔤𝔪(3|1)에서 명시적으로 증명된 무한히 많은 동치가 아닌 블록이 존재함을 시사한다.

ABSTRACT

We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and complexity. We demonstrate connections between projective dimension and singularity of modules and blocks. Similarly we investigate the connection between complexity and atypicality. This creates concrete tools to describe singularity and atypicality as homological, and hence categorical, properties of a block. However, we also demonstrate how two integral blocks in category O with identical global categorical characteristics of singularity and atypicality will generally still be inequivalent. This principle implies that category O for gl(m|n) can contain infinitely many non-equivalent blocks, which we work out explicitly for gl(3|1). All of this is in sharp contrast with category O for Lie algebras, but also with the category of finite dimensional modules for superalgebras. Furthermore we characterise modules with finite projective dimension to be those with trivial associated variety. We also study the associated variety of Verma modules. To do this, we also classify the orbits in the cone of self-commuting odd elements under the action of an even Borel subgroup.

연구 동기 및 목표

• 기본적인 고전적 초대수군 𝔤𝔪(𝑚|𝑛)에 대해 프로젝티브 차원, 관련 다양체, 복잡도를 분석하여, 범주 𝒪의 호모로지적 구조를 이해하는 것.
• 특이성과 비표준성과 같은 전반적 호모로지 불변량이 범주 𝒪에서 동치가 아닌 블록을 분류하는 데 충분한가를 판단하는 것.
• 유한한 프로젝티브 차원을 가진 모듈을 특성화하고, 이와 관련 다양체 및 베르마 모듈의 구조와의 관계를 규명하는 것.
• 비표준성을 카테고리적으로 캡처하는 호모로지 불변량으로서의 복잡도를 정의하고 연구하는 것.
• 동일한 전반적 호모로지 특성을 가진 블록들 사이에도 동치가 아닐 수 있음을 보여주어, 초대수에 대한 범주 𝒪에서의 블록 분류에 관한 열린 문제를 해결하는 것.

제안 방법

• 짝순환하는 기저 요소들이 짝수 보렐 하위군의 작용 하에서의 궤도를 분류하여 모듈의 관련 다양체를 분석하는 것.
• 카즈단-루즈티그 이론과 베르마 모듈의 구조를 이용하여, 𝔤𝔪(1|𝑛), 𝔤𝔪(𝑚|1), 𝔤𝔪(2|2)에 대해 관련 다양체를 명시적으로 계산하는 것.
• 이 조건이 모듈에 비자명하게 작용하는 비자명한 짝순환하는 기저 요소가 존재하지 않을 때에 해당됨을 이용하여, 유한한 프로젝티브 차원을 가진 모듈을 자명한 관련 다양체를 가진 모듈로 특성화하는 것.
• 복잡도를 최소 프로젝티브 해체의 다항식 성장률로 정의하고, 범주 𝒪의 모든 모듈에 대해 유한함을 보이는 것.
• 입사 모듈의 프로젝티브 차원을 계산하고, 블록의 파운드스틱 전반적 호모로지 차원을 유도하며, 이를 중심 문자의 코어의 특이성과 연결하는 것.
• 𝔤𝔪(𝑚|𝑛)에 대한 KL 유형 이론을 사용하여 Ext^1-쿼버와 길이 함수를 분석하고, 동일한 전반적 불변량을 가진 블록들이 카테고리적으로 다를 수 있음을 보여주는 것.

실험 결과

연구 질문

• RQ1 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪에서 모듈의 프로젝티브 차원은 호모로지적으로 특성화될 수 있는가? 그리고 특이성 또는 지배성을 감지할 수 있는가?
• RQ2 관련 다양체와 복잡도가 블록에서 비표준성과 특이성을 감지하는 카테고리적 불변량으로서 어느 정도 기능하는가?
• RQ3 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪에서 정수 블록은 특이성과 비표준성과 같은 전반적 호모로지 불변량에 의해 동치로 분류되는가?
• RQ4 동일한 전반적 호모로지 성질(예: 동일한 파운드스틱 차원과 복잡도)을 가진 두 블록이 여전히 동치가 아닐 수 있는가?
• RQ5 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪에서 베르마 모듈과 단순 모듈의 복잡도는 그들의 비표준성 정도와 어떻게 관련되는가?

주요 결과

• 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪의 모듈은 관련 다양체가 자명할 때에만 유한한 프로젝티브 차원을 가진다.
• 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪에서 블록의 파운드스틱 전반적 호모로지 차원은 중심 문자의 코어의 특이성에 의해 결정된다.
• 𝔤𝔪(2|1)의 주요 블록에 대해, Ext^1-쿼버는 A_∞ 형식의 딜린 타입이며, 왼쪽 다이어그램의 화살표를 이중화된 화살표로 바꾸고 (10|1)과 (0-1|-1) 사이에 한 개의 화살표를 추가함으로써 얻어진다.
• 모든 기본적인 고전적 초대수군에 대해 범주 𝒪에서의 모듈의 복잡도는 유한하며, 𝔤𝔪(𝑚|𝑛)에서의 베르마 모듈과 단순 모듈의 경우 복잡도는 비표준성의 정도와 직접적으로 관련되어 있다.
• 𝔤𝔪(𝑚|𝑛)에 대한 범주 𝒪에서 정수 블록은 동일한 전반적 호모로지 불변량—특히 동일한 특이성과 비표준성—을 공유하더라도 동치가 아닐 수 있으며, 이는 이러한 불변량이 분류에 충분하지 않음을 증명한다.
• 논문은 𝔤𝔪(3|1)에 대해 무한히 많은 동치가 아닌 블록을 명시적으로 구성하여, 초대수에 대한 범주 𝒪에서의 블록 분류가 리 대수의 경우보다 훨씬 더 복잡하다는 것을 보여준다.