[论文解读] The cohomological comparison arising from the associated abelian object

Dominique Bourn|arXiv (Cornell University)|Jan 6, 2010

Advanced Topics in Algebra参考文献 15被引用 8

一句话总结

本文確立了在何種條件下，半阿貝爾範疇 $\mathbb{D}$ 及其在切片範疇 $\mathbb{D}/Y$ 中的阿貝爾對象子範疇的上同調群彼此同構。本文證明當 $\mathbb{D}$ 為週阿貝爾（peri-abelian）且 $Y$ 的投射維數為 1 時——此條件在群與李代數的範疇中均成立——則比較映射 $j^n_A$ 為同構，表示在此背景下，艾倫伯格-麥克萊恩上同調無法區分群與阿貝爾群的性質。

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.

研究动机与目标

• 確定上同調比較映射 $j^n_A: H^n_{M(\mathbb{D}/Y)}(A) \to H^n_{\mathbb{D}/Y}(A)$ 為同構的條件。
• 識別半阿貝爾範疇 $\mathbb{D}$ 的全局與局部條件，使得其在切片範疇 $\mathbb{D}/Y$ 中的阿貝爾對象上同調與完整範疇的上同調一致。
• 將這些條件應用於群的範疇 $Gp$ 與 $\mathbb{K}$-李代數的範疇 $\mathbb{K}$-Lie，顯示在此兩類中，艾倫伯格-麥克萊恩上同調對非阿貝爾結構不敏感。
• 透過 $M(\mathbb{D}/Y)$，即 $\mathbb{D}/Y$ 中的交換對象範疇，提供艾倫伯格-麥克萊恩上同調的新範疇解釋，並結合內部 $n$-群胚的結構。

提出的方法

• 本文使用有限完備且正合範疇中內部 $n$-群胚的框架，以實現上同調群，方法源自杜斯金與格倫。
• 本文引入「週阿貝爾」範疇 $\mathbb{D}$ 的概念，其定義基於阿貝爾對象包含映射 $j: Ab\mathbb{D} \to \mathbb{D}$ 所需的特定同調條件。
• 本文分析切片範疇 $\mathbb{D}/Y$ 中交換對象的包含映射 $j_Y: M(\mathbb{D}/Y) \to \mathbb{D}/Y$，並證明當 $Y$ 的投射維數為 1 時，此包含映射在上同調上誘導同構。
• 本文運用短正合五引理與上積的性質，證明當 $Y$ 的投射維數為 1 時，$M(\mathbb{D}/Y)$-特異的群胚在 $\mathbb{D}/Y$ 中存在。
• 本文利用自由群的子群與自由李代數的子代數皆為自由的性質，此性質暗示 $Gp$ 與 $\mathbb{K}$-Lie 範疇中所有對象的投射維數為 1。
• 本文確立了交叉 $n$-重擴張的範疇（實現艾倫伯格-麥克萊恩上同調）與 $\mathbb{D}/Y$ 中的消融 $n$-群胚的範疇之間的等價，進而實現上同調同構。

实验结果

研究问题

• RQ1 在何種條件下，對於半阿貝爾範疇 $\mathbb{D}$ 與對象 $Y$，比較映射 $j^n_A: H^n_{M(\mathbb{D}/Y)}(A) \to H^n_{\mathbb{D}/Y}(A)$ 為同構？
• RQ2 儘管群的範疇 $Gp$ 本身非阿貝爾，為何其艾倫伯格-麥克萊恩上同調仍無法偵測非阿貝爾結構？
• RQ3 此 $M(\mathbb{D}/Y)$ 與 $\mathbb{D}/Y$ 間的上同調同構是否可推廣至其他範疇，例如拓撲群？
• RQ4 $\mathbb{D}$ 中 $Y$ 的投射維數與 $\mathbb{D}/Y$ 中 $M(\mathbb{D}/Y)$-特異 $n$-群胚的存在性之間有何關係？

主要发现

• 在群的範疇 $Gp$ 中，由於每個群 $Y$ 的投射維數為 1，因此對所有 $n$ 與所有 $\mathbb{D}/Y$ 中的阿貝爾群 $A$，比較映射 $j^n_A$ 均為同構。
• 在域 $\mathbb{K}$ 上的李代數範疇 $\mathbb{K}$-Lie 中，同樣成立上同調同構，此結果源自謝爾紹夫-惠特 theorem，其表明所有李代數的投射維數為 1。
• 此同構表示艾倫伯格-麥克萊恩上同調在 $Gp$ 與 $\mathbb{K}$-Lie 範疇中無法區分阿貝爾對象與完整範疇的上同調，原因在於這些範疇具有「週阿貝爾」結構。
• $GpTop$ 拓撲群的範疇滿足本文方法所需的條件，但本文未明確回答投射維數論證是否可推廣至此設定。
• 本文確立了 $\mathbb{D}/Y$ 中消融 $n$-群胚的範疇與交叉 $n$-重擴張的範疇之間的等價，此等價實現了艾倫伯格-麥克萊恩上同調。