[논문 리뷰] Generalized André-Quillen Cohomology

David Blanc|ArXiv.org|2008. 02. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 56인용 수 6

한 줄 요약

이 논문은 스케치와 모델 범주를 사용하여 유도 함수자들을 다양한 범주를 관통해 통합함으로써, 대수적 및 일반화된 (코)호몰로지 이론을 모두 포함하는 앤드레-퀴렌 코호몰로지의 일반화를 수행한다. 주요 기여는 호몰로지와 코호몰로지를 연결하는 유니버설 계수 스펙트럴 시퀀스로, 이는 공간, 스펙트럼, 옵레라드, 다이어그램 등에 응용된다.

ABSTRACT

We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them. As a side benefit, we clarify exactly what assumptions on an (algebraic) category are needed in order for the approach of Beck and Andre-Quillen to work. We also show how the description may be applied to construct universal coefficient and reverse Adams spectral sequences.

연구 동기 및 목표

• 유도 함수자 기반의 단일 프레임워크를 통해 대수적 및 일반화된 (코)호몰로지 이론을 통합하기.
• 앤드레-퀴렌의 유도 함수자 접근법이 적용 가능한 범주적 조건을 명확히 하기.
• 공간, 스펙트럼, 옵레라드, 다이어그램의 일반화된 코호몰로지 이론으로 이론을 확장하기.
• 호모토피, 호몰로지, 코호몰로지를 통일된 설정에서 연결하는 스펙트럴 시퀀스를 수립하기.
• 표현 가능 함수자에서 코호몰로지 이론이 유도되는 조건을 규명함으로써 브라운 표현 가능성의 이중성을 제공하기.

제안 방법

• 오퍼레이드 및 그 대수와 같은 대수적 구조를 기술하기 위해 일반화된 이론인 스케치를 사용한다.
• 풍부한 범주에서 단순체 및 코단순체의 모델 범주를 사용하여 유도 함수자를 정의한다.
• 대칭 모나이드 범주 V, 범주 C, 스케치 Φ를 포함하는 완전한 코호몰로지 설정을 도입한다.
• Φ-대수 G로의 Hom(−, G)의 총 유도 함수자로 코호몰로지를 정의하며, 이는 코단순 Φ-대수에 값이 있다.
• 총합 함수자 Tot를 사용하여 코단순 대상에서 코호몰로지 군을 취득한다.
• Π-대수 범주에서의 자유 해체와 총합의 호모토피 군을 통해 스펙트럴 시퀀스를 구성한다.

실험 결과

연구 질문

• RQ1 앤드레-퀴렌 코호몰로지를 불안정하고 일반화된 코호몰로지 이론을 포함하도록 어떻게 일반화할 수 있는가?
• RQ2 표현 가능 함수자가 코호몰로지 이론을 유도하기 위해 필요한 범주적 조건는 무엇인가?
• RQ3 이 일반화된 프레임워크에서 호몰로지와 코호몰로지는 어떻게 관련되는가?
• RQ4 호모토피, 호몰로지, 코호몰로지를 통일적으로 연결하는 스펙트럴 시퀀스를 어떻게 구성할 수 있는가?
• RQ5 옵레라드와 다이어그램은 이 일반화된 코호몰로지 이론에서 어떤 역할을 하는가?

주요 결과

• E2-페이지가 π-대수 범주에서의 Ext 군과 동형이 되는 유니버설 계수 스펙트럴 시퀀스가 존재하며, 이는 일반화된 코호몰로지로 수렴한다.
• 유사한 스펙트럴 시퀀스가 호몰로지와 유도 텐서곱 사이를 연결하며, E2-페이지가 Π-대수 범주에서의 Tor 군과 동형이 된다.
• 공간의 일반화된 호몰로지에 대해 스펙트럴 시퀀스는 E2_{s,t} ≅ Tor^{π-mod}_{s,t}(π_*K, G) ⇒ H_{t+s}(K;G) 형태를 가진다.
• 코호몰로지의 경우 스펙트럴 시퀀스는 E2^{s,t} ≅ Ext^{s}_{t}(π_*K, G) ⇒ H^{t-s}(K;G)로 표현되며, 고전적 형태와 일치한다.
• 이론은 군, 대수, 스펙트럼, 옵레라드, 다이어그램에 대해 일관된 유도 함수자 정의를 통해 균일하게 적용된다.
• 역 아담스 유형의 스펙트럴 시퀀스가 구성되며, 이는 코단순 대상의 총합을 통해 호모토피와 (코)호몰로지를 연결한다.