[논문 리뷰] Some homological properties of category O. III

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|2014. 04. 13.

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

한 줄 요약

이 논문은 복소 단순 리 대수의 두꺼운 카테고리 𝒪가 모든 모듈의 카테고리에 대해 확장 완비임을 증명하며, 정규 블록과 그에 관련된 하리슈-차이라 빈모듈에 대해 약한 알렉산드루 추측을 확인하고, 특이 블록에 대해서는 이를 반증한다. 또한 두꺼운 카테고리 𝒪에서 유한한 경우에서 무한한 경우로 넘어갈 때 프로젝티브 차원이 dim 𝔥만큼 증가함을 보인다.

ABSTRACT

We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick category $\mathcal{O}$ and the associated categories of Harish-Chandra bimodules, but disprove it for singular blocks.

연구 동기 및 목표

• BGG 카테고리 𝒪 및 관련 모듈 카테고리 내의 부분카테고리의 확장 완비성에 대한 연구.
• 두꺼운 카테고리 𝒪의 정규 블록과 관련된 하리슈-차이라 빈모듈에 대해 약한 알렉산드루 추측의 검증.
• 카테고리 𝒪의 특이 블록에 대해 약한 알렉산드루 추측의 반증.
• 두꺼운 카테고리 𝒪 내의 구조 모듈의 프로젝티브 차원을 계산하고, 표준 카테고리 𝒪의 것들과의 관계를 규명.
• 결과를 하리슈-차이라 빈모듈의 카테고리로 확장하고 그 호모로지 성질을 분석함.

제안 방법

• 요네다 확장과 세르 부분카테고리들을 사용한 아벨 카테고리에서의 확장 완비성에 대한 추상적 기준을 개발.
• 기준을 적용하여, 무게 모듈의 카테고리에 대해 𝒪가 확장 완비임을 보이고, 모든 모듈의 카테고리에 대해 두꺼운 카테고리 𝒪가 확장 완비임을 증명.
• 카즈단-루스티그 추측과 클라인-파라셀-스코트의 결과를 활용하여 정규 블록에서의 확장 완비성을 확립.
• 카테고리 𝒪의 특이 블록에서 약한 알렉산드루 추측을 반증하기 위한 명시적 반례를 구성.
• 두꺼운 카테고리 𝒪^∞에서의 프로젝티브 차원과 유한한 두꺼운 버전 𝒪^I에서의 것과의 관계를 기술하는 공식 유도: pd_{𝒪^∞}M = pd_{𝒪^I}M + dim 𝔥.
• 카테고리의 동치와 전반적 차원 계산을 통해 결과를 하리슈-차이라 빈모듈로 확장함.

실험 결과

연구 질문

• RQ1 두꺼운 카테고리 𝒪는 복소 단순 리 대수 위의 모든 모듈의 카테고리에 대해 확장 완비인가?
• RQ2 약한 알렉산드루 추측은 두꺼운 카테고리 𝒪의 정규 블록과 그에 관련된 하리슈-차이라 빈모듈에 대해 성립하는가?
• RQ3 약한 알렉산드루 추측은 카테고리 𝒪의 특이 블록에 대해 성립하는가?
• RQ4 유한한 두꺼운 버전 𝒪^I에서의 모듈에 대한 프로젝티브 차원과 무한한 두꺼운 카테고리 𝒪^∞에서의 것과의 관계는 무엇인가?
• RQ5 하리슈-차이라 빈모듈의 카테고리는 모든 𝔤-이중모듈의 카테고리에 대해 확장 완비인가?

주요 결과

• 복소 단순 리 대수 위에서 두꺼운 카테고리 𝒪는 모든 모듈의 카테고리에 대해 확장 완비이다.
• 약한 알렉산드루 추측은 두꺼운 카테고리 𝒪의 정규 블록과 그에 관련된 하리슈-차이라 빈모듈의 카테고리에 대해 성립한다.
• 카테고리 𝒪의 특이 블록에 대해서는 약한 알렉산드루 추측이 성립하지 않으며, 이는 𝔰𝔩(3)에서의 반례로 입증된다.
• 유한한 두꺼운 버전 𝒪^I에서 유한한 프로젝티브 차원을 갖는 임의의 모듈 M에 대해, 𝒪^∞에서의 프로젝티브 차원은 pd_{𝒪^∞}M = pd_{𝒪^I}M + dim 𝔥이다.
• 하리슈-차이라 빈모듈의 카테고리 ${}_{ heta}^{ ext{∞}} ext{H}^{ ext{∞}}_{ ext{χ}}$는 유한한 전반적 차원을 가지며, χ가 정수일 경우 그 값은 dim 𝔤와 같다.
• 카테고리 ${}_{ ext{χ}}^{ ext{∞}} ext{H}^{ ext{∞}}_{ ext{χ}}$는 모든 𝔤-이중모듈의 카테고리에 대해 확장 완비가 아니며, 이는 degree 2dim 𝔤에서의 비동형 사상으로 보여진다.