[논문 리뷰] Gorenstein homological algebra for rngs and Lie superalgebras

Kevin Coulembier|arXiv (Cornell University)|2017. 07. 17.

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

한 줄 요약

이 논문은 고체적 homological 대수학과 프로비니우스 확장을 임의의 아벨 범주로 일반화하며, 리 초대수의 BGG 범주 𝒪이 기저가 되는 리 대수의 범주 𝒪에 대한 프로비니우스 확장의 구조를 통해 고체적임을 증명한다. 핵심 기여는 리 초대수 대수의 모듈이 기저가 되는 리 대수로 제한되었을 때 그 프로젝티브 차원이 내재된 불변량임을 카테고리 이론적으로 설명한 것으로, 세르 함수와 고체적 확장 군에 대한 새로운 공식이 도입된다.

ABSTRACT

We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to the BGG category O for Lie superalgebras, which can now be seen as a "Frobenius extension" of the corresponding category for the underlying Lie algebra and is therefore "Gorenstein". In particular we obtain new and more general formulae for the Serre functors and instigate the theory of Gorenstein extension groups.

연구 동기 및 목표

• 링에서의 프로비니우스 확장과 고체적 homological 대수학을 임의의 아벨 범주로 일반화하는 것.
• 리 초대수 대수의 모듈이 기저가 되는 리 대수로 제한되었을 때 그 프로젝티브 차원이 내재된 카테고리적 성질임을 설명하는 것.
• 기저가 되는 리 대수의 범주 𝒪에 대한 프로비니우스 확장임을 보여, 리 초대수의 범주 𝒪가 고체적임을 확립하는 것.
• 이 일반화된 프레임워크에 적용 가능한 새로운 도구, 특히 고체적 확장 군과 세르 함수의 새로운 특성화를 개발하는 것.

제안 방법

• 노에테리안 링 위의 모듈 범주에서 고전적 프로비니우스 확장을 복원하는, 아벨 범주에 대한 새로운 프로비니우스 확장 정의를 도입한다.
• 표준적인 호모로지 대수 기법을 사용하여, 임의의 아벨 범주로의 고체적 프로젝티브 대상, G-차원, 타이트 코hom로지의 개념을 일반화한다.
• 특히, 충분한 프로젝티브 및 인젝티브 대상을 지닌 국소 유한한 k-선형 아벨 범주, 특히 충분한 아이디포텐트를 지닌 랑과 노에테리안 성질을 지닌 경우에 이론을 적용한다.
• 리 초대수의 보편 포괄 대수와 그 기저가 되는 리 대수의 보편 포괄 대수가 프로비니우스 확장임을 이용하여, 고체적 성질을 범주 𝒪로 이행한다.
• BGG 범주 𝒪에 이론을 적용하여, gl(m|n)에 대해 고체적 확장 군을 계산하고 특정 유형의 모듈에 대해 퇴화 결과를 증명한다.
• 번역 함수와 온드 리플렉션을 사용하여, 최고 가중치 모듈과 그 확장 성질을 초대수 대수 설정에서 분석한다.

실험 결과

연구 질문

• RQ1 프로비니우스 확장과 고체적 homological 대수학은 링에서 임의의 아벨 범주로 어떻게 일반화될 수 있는가?
• RQ2 리 초대수 대수의 모듈이 기저가 되는 리 대수로 제한되었을 때 그 프로젝티브 차원이 내재된 카테고리적 불변량인 이유는 무엇인가?
• RQ3 리 초대수의 BGG 범주 𝒪에서 고체적 확장 군의 구조는 어떠한가?
• RQ4 새로운 프레임워크를 통해 범주 𝒪의 세르 함수는 더 단순하게 특성화될 수 있는가?
• RQ5 gl(m|n)의 범주 𝒪에서 단순 모듈 간의 고체적 확장이 어떤 조건에서 퇴화하는가?

주요 결과

• 리 초대수의 범주 𝒪는 고체적이며, 모듈의 G-차원은 그 기저가 되는 리 대수로의 제한에 대한 프로젝티브 차원과 같다.
• 고체적 확장 군은 일반적인 Ext 군과 함께 장점 수열을 이룬다. 이는 [AM]에서의 핵심 결과를 일반화한다.
• gl(m|1)의 경우, 유한 차원의 비형태적 단순 모듈 L과 임의의 단순 모듈 L′에 대해 GExt1(L, L′) = 0이며, 이는 강력한 퇴화 성질을 나타낸다.
• 가중치가 형태적일 경우, GExt1(L(λ), L(μ))의 차원은 기저 리 대수 설정에서의 Ext1(L(λ), L(μ))의 차원과 같다.
• gl(2|1)의 경우, L 또는 L′ 중 적어도 하나가 비형태적일 경우 항상 GExt1(L, L′) = 0이며, 이는 저차수의 경우의 퇴화를 확인한다.
• 세르 함수에 대한 새로운 특성화를 확보하여, [MM]의 이전 결과를 단순화하고 일반화한다.