[논문 리뷰] The cohomological comparison arising from the associated abelian object

Dominique Bourn|arXiv (Cornell University)|2010. 01. 06.

Advanced Topics in Algebra참고 문헌 15인용 수 8

한 줄 요약

이 논문은 반아벨 범주 $\mathbb{D}$와 그 슬라이스 범주 $\mathbb{D}/Y$ 내의 아벨 대상의 부분범주에서의 코homology 군이 서로 동형이 되는 조건을 규명한다. $\mathbb{D}$가 peri-abelian 이고 $Y$의 프로젝티브 차수(차원)가 1인 경우—이 조건은 군의 범주와 리 대수의 범주에서 모두 만족된다—비교 사상 $j^n_A$가 동형이 되며, 이는 에일렌베르크-맥클레인 코homology가 이 맥락에서 군과 아벨 군을 구분하지 못함을 의미한다.

ABSTRACT

We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at the level of the slice category D/Y, are actually isomorphisms. These conditions hold in particular when D is the category Gp of groups, and this allows us to give a new insight on the Eilenberg-Mac Lane cohomology of groups. They hold also when D is the category K-Lie of Lie-algebras.

연구 동기 및 목표

• 슬라이스 범주 $\mathbb{D}/Y$ 내에서 아벨 대상의 코homology 비교 사상 $j^n_A: H^n_{M(\mathbb{D}/Y)}(A) \to H^n_{\mathbb{D}/Y}(A)$가 동형이 되는 조건을 규명하는 것.
• 반아벨 범주 $\mathbb{D}$에 대한 전역적이고 국소적인 조건을 특정하여, $\mathbb{D}/Y$ 내의 아벨 대상의 코homology가 전체 범주와 일치함을 보이는 조건을 도출하는 것.
• 이 조건들을 군의 범주 $Gp$와 리 대수의 범주 $\mathbb{K}$-Lie에 적용하여, 에일렌베르크-맥클레인 코homology가 이러한 경우에 비아벨 구조를 감지하지 못함을 보이는 것.
• 내부 $n$-군oids와 $M(\mathbb{D}/Y)$—즉, $\mathbb{D}/Y$ 내의 교환 대상의 범주—의 구조를 통해 에일렌베르크-맥클레인 코homology에 대한 새로운 범주론적 해석을 제공하는 것.

제안 방법

• 논문은 끝으로 완비되고 정확한 범주에서 내부 $n$-군oids의 프레임워크를 사용하여 코homology 군을 실현하며, 두스킨과 글렌의 접근을 따르고 있다.
• 논문은 아벨 대상의 포함 사상 $j: Ab\mathbb{D} \to \mathbb{D}$에 대한 특정 호모로지 조건을 만족하는 'peri-abelian' 범주 $\mathbb{D}$의 개념을 도입한다.
• 슬라이스 범주 $\mathbb{D}/Y$ 내의 교환 대상의 포함 사상 $j_Y: M(\mathbb{D}/Y) \to \mathbb{D}/Y$를 분석하고, $Y$의 프로젝티브 차수가 1이면 이 포함 사상이 코homology에 대해 동형을 유도함을 증명한다.
• 짧은 다섯 번째 보조정리와 피보트의 성질을 활용하여, $Y$의 프로젝티브 차수가 1이면 $M(\mathbb{D}/Y)$-특화된 $n$-군oids가 $\mathbb{D}/Y$ 내에 존재함을 보인다.
• 자유 군의 부분군과 자유 리 대수의 부분대수는 모두 자유임을 이용하여, 이는 $Gp$와 $\mathbb{K}$-Lie 내의 모든 대상에 대해 프로젝티브 차수가 1임을 의미한다.
• 교차 $n$-중 확장의 범주(에일렌베르크-맥클레인 코homology를 실현함)가 $\mathbb{D}/Y$ 내의 비아벨 $n$-군oids의 범주와 동치임을 증명함으로써, 코homology의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 반아벨 범주 $\mathbb{D}$와 대상 $Y$에 대해 비교 사상 $j^n_A: H^n_{M(\mathbb{D}/Y)}(A) \to H^n_{\mathbb{D}/Y}(A)$가 동형이 되는 조건은 무엇인가?
• RQ2 비아벨 성격을 지닌 $Gp$의 범주임에도 불구하고, 군의 에일렌베르크-맥클레인 코homology는 비아벨 성격을 감지하지 못하는 이유는 무엇인가?
• RQ3 코homology 동형이 $M(\mathbb{D}/Y)$와 $\mathbb{D}/Y$ 사이에 성립한다면, 이는 위상군과 같은 다른 범주로도 확장될 수 있는가?
• RQ4 $\mathbb{D}$ 내에서 $Y$의 프로젝티브 차수와 $\mathbb{D}/Y$ 내에서 $M(\mathbb{D}/Y)$-특화된 $n$-군oids의 존재성 간의 관계는 무엇인가?

주요 결과

• 군의 범주 $Gp$에서는 모든 $n$과 $\mathbb{D}/Y$ 내의 모든 아벨 군 $A$에 대해 비교 사상 $j^n_A$가 동형이 되며, 이는 모든 군 $Y$의 프로젝티브 차수가 1이기 때문이다.
• 체 $\mathbb{K}$ 위의 리 대수의 범주 $\mathbb{K}$-Lie에서는 동일한 코homology 동형이 성립하며, 이는 셰르쇼프-위트 정리에 의해 모든 리 대수의 프로젝티브 차수가 1임을 의미하기 때문이다.
• 이 동형은 에일렌베르크-맥클레인 코homology가 $Gp$와 $\mathbb{K}$-Lie에서 아벨 대상의 코homology와 전체 범주의 코homology를 구분하지 못함을 의미하며, 이는 이러한 범주들이 'peri-abelian' 성질을 지닌다.
• 위상군의 범주 $GpTop$는 해당 방법에 필요한 조건을 만족하지만, 논문은 이 설정으로 프로젝티브 차수 논증이 확장되는지 여부를 열려 있는 문제로 남긴다.
• 논문은 $\mathbb{D}/Y$ 내의 비아벨 $n$-군oids의 범주가 교차 $n$-중 확장의 범주와 동치임을 증명하며, 이는 에일렌베르크-맥클레인 코homology를 실현한다.