[논문 리뷰] Shukla cohomology and additive track theories

Hans-Joachim Baues, Teimuraz Pirashvili|ArXiv.org|2004. 01. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 10

한 줄 요약

이 논문은 기존의 단체 방법 대신 체인 대수를 사용하여 쇼크라 코homology의 새로운 기초를 수립함으로써 그 계산을 단순화하고 맥 랜드 코homology와 직접 비교할 수 있도록 한다. 주요 기여는 ℤ/p²ℤ 상에서의 쇼크라 코homology가 0–2 차수에서 𝔽_p 상에서의 그것과 동형임을 증명하고, 3차수에서의 핵을 H⁰(A, M)로 특정하며, 덧셈 트랙 카테고리에서의 차단 이론에의 응용을 제시하는 것이다.

ABSTRACT

The approach of Quillen to the cohomology of general algebraic systems is based on simplicial methods, which are usually quite hard to deal with. The aim of this work is to give the foundation of Shukla cohomology (of algebras over a commutative ring) based on chain algebras. We also give an application to the problem of strengthening additive track theories, which is based on the comparison homomorphism between Shukla and Mac Lane cohomology theories.

연구 동기 및 목표

• 이전 연구에서 사용된 복잡한 단체 방법을 피하고 체인 대수 기반의 더 단순한 쇼크라 코homology의 기초를 마련하는 것.
• 특히 체수 상의 대수에 대해 쇼크라 코homology와 맥 랜드 코homology 사이의 관계를 명확히 하는 것, 특히 3차수에서의 관계를 중심으로 한다.
• 코homological 비교를 통한 차단을 통해 덧셈 트랙 이론을 강화하는 문제에 쇼크라 코homology를 적용하는 것.
• 텐서 기반 구성법을 사용하여 체수 상의 대수에 대해 계수를 갖는 쇼크라 코homology에 대한 표준 코체인 복합체를 구성하는 것.
• ℤ/p²ℤ 상에서의 쇼크라 코homology에서 ℤ 상으로의 기본 변화 맵이 0–2 차수에서 동형임을 증명하고, 3차수에서의 핵을 결정하는 것.

제안 방법

• 기초 링 상의 체인 대수의 범주에서 유도된 호크시لد 코homology로서 쇼크라 코homology를 정의한다.
• 부록에서 확립된 체인 대수의 닫힌 모델 범주 구조를 사용하여 코homological 성질을 유도한다.
• 쇼크라의 원래의 명시적이지만 다루기 어려운 복합체와 대비하여, 텐서 곱을 사용한 새로운 코체인 복합체를 구성한다.
• ℤ/p²ℤ 상에서의 쇼크라 코homology와 ℤ 상에서의 그것 사이의 기본 변화 맵을 분석하고, 그것이 전성임을 증명하며 핵을 계산한다.
• 교차 이중모듈러와 트랙 이론적 구조 사이의 동치를 활용하여, 장애를 코homology의 용어로 해석한다.
• ≤2 차수에서 쇼크라 코hom로와 맥 랜드 코hom로 사이의 비교 동형을 적용하고, 이를 체수 상의 대수에 대해 3차수까지 확장한다.

실험 결과

연구 질문

• RQ1 쇼크라 코homology는 단체 방법을 피하고 체인 대수를 사용하여 재정의될 수 있는가? 계산을 단순화할 수 있는가?
• RQ2 체수 상의 대수에 대해 쇼크라 코homology와 맥 랜드 코hom로 사이의 관계는 3차수에서 정확히 어떻게 되는가?
• RQ3 ℤ/p²ℤ 상에서의 쇼크라 코호몰로지에서 ℤ 상으로의 기본 변화 맵은 낮은 차수에서 어떻게 행동하는가?
• RQ4 덧셈 트랙 이론이 동시에 강한 곱과 강한 쌓음이 되도록 강화하는 것을 막는 장애는 무엇인가?
• RQ5 어떤 조건에서 덧셈 트랙 이론이 강한 곱과 강한 쌓음을 모두 갖는 이론으로 동치로 대체될 수 있는가?

주요 결과

• ℤ/p²ℤ 상에서의 쇼크라 코호몰로지에서 ℤ 상으로의 기본 변화 맵은 모든 차수에서 전성이다.
• 𝔽_p 상에서의 대수에 대해 계수를 갖는 이중모듈러에 대한 쇼크라 코호몰로지에서, 기본 변화 맵은 0, 1, 2 차수에서 동형이다.
• 3차수에서 기본 변화 맵의 핵은 H⁰(A, M)과 동형이며, 이는 이중모듈러 M의 제로차 코호몰로지이다.
• 체수 상의 대수에 대해 쇼크라 코호몰로지와 맥 랜드 코호몰로지는 3차수에서 동형이며, 이는 이미 알려진 ≤2 차수에서의 동형을 연장한 것이다.
• 덧셈 트랙 이론이 동시에 강한 곱과 강한 쌓음을 갖도록 강화하는 데 걸리는 장애는 제3 쇼크라 코호몰로지 군에 있다.
• 제3 쇼크라 코호몰로지와 맥 랜드 코호몰로지 사이의 정확한 수열을 통해 장애가 명시적으로 묘사되며, 이를 통해 강화 가능성에 대한 코호몰로지 기준을 제공한다.