[논문 리뷰] Homologically optimal categories of sequences lead to N-complexes

Djalal Mirmohades|arXiv (Cornell University)|2014. 05. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 3

한 줄 요약

이 논문은 아벨 범주 위의 $\mathbb{Z}$-인덱스 시퀀스에 대해 정수 $a$와 $b$에 의해 매개화된 일반화된 호몰로지 함자 $\mathrm{H}^{(a,b)} = \ker d^a / \operatorname{im} d^b$를 제안하며, $N = a + b$인 $N$-복합체의 범주가 호몰로지적으로 최적의 부분범주임을 보여준다. 즉, 이 범주는 프로젝티브 분해를 지원하며, 이로부터 유도된 범주가 이보다 더 큰 어떤 범주와도 동치가 된다. 이 경우 호몰로지가 카프란옵의 $\ker d^a / \operatorname{im} d^b$로 간소화된다.

ABSTRACT

We study the category of $\mathbb{Z}$-indexed sequences over an abelian category and certain generalized homology functors for this category of sequences which are indexed by positive integers $a$ and $b$. By looking at the corresponding derived category, we show that there is an "optimal" subcategory of sequences for every choice of our generalized homology functors, namely, the category of $N$-complexes (sequences for which the differential $d$ satisfies $d^N = 0$) where $N = a + b$. In this optimal case we show that our homology functors reduce to Kapranov's homology functors $\operatorname{ker} d^a / \operatorname{im} d^b$.

연구 동기 및 목표

• 일반화된 호몰로지 함자 $\mathrm{H}^{(a,b)} = \ker d^a / \operatorname{im} d^b$에 대해 아벨 범주 위의 시퀀스에서 프로젝티브 분해를 지원하는 최소 부분범주를 규명하는 것.
• 유도 범주 $\mathrm{D}_\mathrm{H}(\mathcal{B})$가 프로젝티브가 충분히 존재하는 성질을 갖는 조건을 규명하는 것.
• 범주 $\mathrm{Com}_N(\mathcal{A})$가 $N = a + b$일 때 유도 범주 동치의 관점에서 최적임을 증명하는 것.
• 카프란옵의 호몰로지 $\ker d^a / \operatorname{im} d^b$가 일반화된 호몰로지의 제한으로 자연스럽게 유도됨을 보이는 것.

제안 방법

• 차수 $d$를 가진 $N$-복합체에서 $d^N = 0$를 만족하는 $\mathbb{Z}$-인덱스 시퀀스의 범주 $\mathrm{Seq}(\mathcal{A})$를 정의한다.
• 양의 정수 $a, b$에 대해 일반화된 호몰로지 함자 $\mathrm{H}^{(a,b)} = \ker d^a / \left(\ker d^a \cap \operatorname{im} d^b\right)$를 도입한다.
• 사슬 복합체에서 $N$-복합체로 가는 함자 $\mathrm{R}_N$을 구성하며, 일반화된 호몰로지 하에서 준위상동치를 보존한다.
• $\mathcal{B}$가 $\mathrm{Com}_N(\mathcal{A})$를 포함하는 임의의 범주일 때, $\mathrm{D}_\mathrm{H}(\mathcal{B})$가 $\mathrm{D}_\mathrm{H}(\mathrm{Com}_N(\mathcal{A}))$와 동치임을 증명한다.
• $N$-복합체에서 $d^N = 0$이므로 $\operatorname{im} d^b \subset \ker d^a$임을 이용해 $\mathrm{H}^{(a,b)}$를 카프란옵의 호몰로지로 간소화한다.
• $\mathrm{R}_N$을 통해 고전적 프로젝티브 분해를 올려 $\mathrm{Com}_N(\mathcal{A})$에서 $\mathrm{H}^{(a,b)}$-프로젝티브 분해를 확립한다.

실험 결과

연구 질문

• RQ1 아벨 범주 위의 시퀀스에서 일반화된 호몰로지 $\mathrm{H}^{(a,b)}$ 하에서 프로젝티브 분해를 지원하는 최소 부분범주는 무엇인가?
• RQ2 하나의 부분범주 $\mathcal{B}$에 대해 유도 범주 $\mathrm{D}_\mathrm{H}(\mathcal{B})$가 프로젝티브가 충분히 존재하는 성질을 갖는 조건은 무엇인가?
• RQ3 왜 $N = a + b$인 범주 $\mathrm{Com}_N(\mathcal{A})$는 유도 범주 동치의 관점에서 최적인가?
• RQ4 일반화된 호몰로지 $\mathrm{H}^{(a,b)}$는 $N$-복합체 설정에서 어떻게 카프란옵의 호몰로지 $\ker d^a / \operatorname{im} d^b$로 간소화되는가?
• RQ5 비프로젝티브 대상 $X \in \mathcal{A}$가 $\mathrm{Com}_N(\mathcal{A})$에서 $\mathrm{H}^{(a,b)}$-프로젝티브 분해를 갖는 데 필요한 최소 $N$은 얼마인가?

주요 결과

• $\mathrm{Com}_N(\mathcal{A})$ 범주가 $N = a + b$일 때 호몰로지적으로 최적이다. 이보다 더 큰 어떤 범주 $\mathcal{B}$라도 $\mathrm{D}_\mathrm{H}(\mathcal{B})$가 $\mathrm{D}_\mathrm{H}(\mathrm{Com}_N(\mathcal{A}))$와 동치가 된다.
• 일반화된 호몰로지 $\mathrm{H}^{(a,b)}$는 $d^N = 0$이므로 $\operatorname{im} d^b \subset \ker d^a$임을 이용해 카프란옵의 호몰로지 $\ker d^a / \operatorname{im} d^b$로 간소화된다.
• 만약 $\mathcal{A}$가 충분한 프로젝티브를 갖는다면, $\mathcal{A}$의 모든 대상은 고전적 분해에 $\mathrm{R}_N$을 적용함으로써 $\mathrm{Com}_N(\mathcal{A})$에서 $\mathrm{H}^{(a,b)}$-프로젝티브 분해를 갖는다.
• 비프로젝티브 대상 $X \in \mathcal{A}$에 대해, $\mathrm{Com}_N(\mathcal{A})$에서의 $\mathrm{H}^{(a,b)}$-프로젝티브 분해는 $\mathrm{Com}_{N-1}(\mathcal{A})$에 속할 수 없으며, 이는 $N = a + b$의 최소성임을 증명한다.
• $\mathrm{R}_N$은 준위상동치를 보존한다: $\mathrm{Com}_2(\mathcal{A})$에서의 고전적 준위상동치는 $\mathrm{Com}_N(\mathcal{A})$에서 $\mathrm{H}^{(a,b)}$-준위상동치로 매핑된다.
• $\mathrm{Com}_N(\mathcal{A})$의 유도 범주는 주어진 일반화된 호몰로지에 대해 유도 동치의 관점에서 최소이자 최대의 범주이다.