[논문 리뷰] Cohomology of diagrams of algebras

Michael Robinson|ArXiv.org|2008. 02. 25.

Advanced Topics in Algebra참고 문헌 11인용 수 5

한 줄 요약

이 논문은 베크의 코모나드 접근법을 사용하여 대수 구조의 다이어그램에 대한 통합 코homology 이론을 개발하며, 다이어그램의 코homology와 그 기초가 되는 대수의 코homology를 연결하는 스펙트럴 시퀀스를 수립한다. 주요 기여는 색인 카테고리의 바우스-위르슈링 코homology와 다이어그램의 코모나드 코homology를 연결하는 국소-전역 스펙트럴 시퀀스를 제공하는 것으로, 이는 $ψ$-링, $Π$-대수, 그리고 군의 다이어그램에 적용 가능하다.

ABSTRACT

We consider cohomology of diagrams of algebras by Beck's approach, using comonads. We then apply this theory to computing the cohomology of $Ψ$-rings. Our main result is that there is a spectral sequence connecting the cohomology of the diagram of an algebra to the cohomology of the underlying algebra.

연구 동기 및 목표

• 군, 리 대수, 결합 대수, $ψ$-링 등 다양한 대수적 구조의 다이어그램에 대한 기존 코homology 이론들을 코모나드 기반의 단일 프레임워크로 통합하는 것.
• 코모나드를 통한 다이어그램 코homology의 계산 도구를 제공하기 위해, 다이어그램의 코homology와 구성 대수의 코homology를 연결하는 국소-전역 스펙트럴 시퀀스를 구축하는 것.
• $ψ$-링에 이 이론을 적용하여, 그들의 코homology가 코모나드 프레임워크에 적합하고 스펙트럴 시퀀스 분해를 허용함을 보이는 것.
• 제안된 코homology 이론이 Cegarra의 군 다이어그램에 대한 이론과 Blanc-Johnson-Turner의 $Π$-대수에 대한 이론을 일반화하고 통합함을 보여주는 것.
• 적절한 모나드를 선택할 경우, 다이어그램의 코모나드 기반 코homology 이론이 알려진 이론과 동형임을 보여주어 프레임워크의 타당성을 검증하는 것.

제안 방법

• 베크의 코모나드 접근법 사용: $Σετσ$ 위의 모나드 $T$가 주어지면, $T$-대수의 카테고리 $\mathfrak{Alg}(T)$를 정의하고, $F \dashv U$의 가환관계에서 유도된 코모나드 $\mathbb{G} = FU$를 구성한다.
• 다이어그램 $A: I \to \mathfrak{Alg}(T)$와 $A$-모듈 $M$에 대한 코homology를 코모나드 해상과 유도된 함자들을 사용하여 $H^*_{I}(A,M)$로 정의한다.
• 색인 카테고리 $I$ 위에 자연스러운 체계 $\mathcal{H}^q_{\mathbb{G}}(A,M)$를 정의하며, 각 사상 $\alpha: i \to j$에 대해 값은 $H^q_{\mathbb{G}}(A(i), \alpha^*M(j))$가 된다.
• 자연스러운 체계에 바우스-위르슈링 코homology $H^*_{BW}(I, \mathcal{H}^q_{\mathbb{G}}(A,M))$를 적용하여 스펙트럴 시퀀스를 구축한다.
• 스펙트럴 시퀀스 수립: $E^{pq}_2 = H^p_{BW}(I, \mathcal{H}^q_{\mathbb{G}}(A,M)) \Rightarrow H^{p+q}_I(A,M)$로, 이는 중심적인 계산 도구가 된다.
• 색인 카테고리 $I$가 두 개의 객체와 하나의 비항성 사상만을 가질 때, 군의 다이어그램에 대해 Cegarra의 결과가 특수한 경우로 복원됨을 검증한다. 이는 적절한 모나드와 카테고리 선택을 통해 이루어진다.

실험 결과

연구 질문

• RQ1 코모나드를 사용하여 군, 리 대수, 결합 대수, $ψ$-링 등 다양한 대수적 구조의 다이어그램에 대한 코homology를 하나의 이론으로 통합할 수 있는가?
• RQ2 다이어그램의 코homology와 구성 대수의 코homology를 국소-전역 원리로 연결하는 스펙트럴 시퀀스가 존재하는가?
• RQ3 $ψ$-링(즉, $Π$-행동을 가진 교환 대수의 다이어그램)의 코homology는 코모나드 프레임워크에 어떻게 통합되고 스펙트럴 시퀀스 분해를 허용하는가?
• RQ4 제안된 코모나드 기반 다이어그램 코homology 이론이 기존의 군 다이어그램 및 $Π$-대수에 대한 코homology 이론을 어느 정도 복원하거나 일반화하는가?
• RQ5 색인 카테고리 $I$ 위의 자연스러운 체계 $\mathcal{H}^q_{\mathbb{G}}(A,M)$가 바우스-위르슈링 코homology를 통해 전역 다이어그램 코homology를 재구성하는 데 충분한가?

주요 결과

• 국소 대수의 코homology와 다이어그램의 전역 코homology 사이의 계산적 다리를 제공하는 스펙트럴 시퀀스 $E^{pq}_2 = H^p_{BW}(I, \mathcal{H}^q_{\mathbb{G}}(A,M)) \Rightarrow H^{p+q}_I(A,M)$가 구축되었다.
• $ψ$-링의 경우 스펙트럴 시퀀스는 $E^{p,q}_2 = H^p_{BW}(\mathbb{N}^{\text{mult}}, H^{q}_{AQ}(A,M)) \Rightarrow H^{p+q}_{\Psi}(A,M)$ 형태를 가지며, $ψ$-링의 코homology를 퀼렌-아서 코homology와 연결한다.
• 적절한 모나드를 선택할 경우, 다이어그램의 코모나드 기반 코homology 이론은 기존 이론과 동형이 되며, 군, $Π$-대수, 결합 대수의 경우에 해당된다.
• 색인 카테고리 $I$가 두 개의 객체와 하나의 비항성 사상을 가질 때, 군의 다이어그램에 대한 스펙트럴 시퀀스는 Cegarra의 결과를 특수한 경우로 복원한다.
• $ψ$-링은 승법 모노이드 $\mathbb{N}^{\text{mult}}$를 색인으로 하여 교환 대수의 다이어그램으로 모델링함으로써 이 이론에 적용 가능하다.
• 색인 카테고리 $I$ 위의 자연스러운 체계 $\mathcal{H}^q_{\mathbb{G}}(A,M)$는 잘 정의되어 있으며, 각 사상 $\alpha: i \to j$에 대해 값 $H^q_{\mathbb{G}}(A(i), \alpha^*M(j))$를 가지며, 스펙트럴 시퀀스의 구축을 가능하게 한다.