[논문 리뷰] Six model structures for DG-modules over DGAs: Model category theory in homological action

Tobias Barthel, May, J. P.외 1명|arXiv (Cornell University)|2013. 10. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 45

한 줄 요약

이 논문은 가환환 R 위의 미분가환대수(differential graded, DG) 대수 위의 DG 모듈에 대해 여섯 가지 모델 구조를 수립하며, 고전적 호모로지 대수학을 일반화하는 새로운 상대적 및 혼합 모델 구조를 도입한다. 고전적 모형 범주론의 작은 개체 작동의 강화 및 대수적 변형을 개발하여, 고전적 의미에서 코프로젝티브 생성되지 않는 모델 범주를 구성하고, 고전적 바 건축이 이들 구조 중 하나에서 코프로젝티브 해석을 제공함을 보여, 위상수학적 및 대수적 맥락에서 특별한 해석을 통해 명시적 계산이 가능하게 한다.

ABSTRACT

In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at least to folklore, but in the general case the new relative and mixed model structures offer interesting alternatives to the model structures in common use. The construction of some of these model structures requires two new variants of the small object argument, an enriched and an algebraic one, and we describe these more generally. In Part 2, we present a variety of theoretical and calculational cofibrant approximations in these model categories. The classical bar construction gives cofibrant approximations in the relative model structure, but generally not in the usual one. In the usual model structure, there are two quite different ways to lift cofibrant approximations from the level of homology modules over homology algebras, where they are classical projective resolutions, to the level of DG-modules over DG-algebras. The new theory makes model theoretic sense of earlier explicit calculations based on one of these constructions. A novel phenomenon we encounter is isomorphic cofibrant approximations with different combinatorial structure such that things proven in one avatar are not readily proven in the other.

연구 동기 및 목표

• 일반적인 가환환 R 위에서 모형 범주론을 활용하여 미분 호모로지 대수학을 현대화하는 것.
• 초기 미분 토르션 곱과 스펙트럴 시퀀스 작업에서의 기초적 애매함을 제거하기 위해 체계적인 모형 이론적 프레임워크를 제공하는 것.
• 고전적 의미에서 코프로젝티브 생성되지 않는 새로운 모델 구조—특히 상대적 및 혼합 구조—를 만들기 위해 작은 개체 작동의 새로운 변형을 사용하는 것.
• 추상적인 모형 범주론적 기계장치와 위상수학에서의 구체적 계산, 특히 Eilenberg-Moore 스펙트럴 시퀀스 맥락에서의 연결을 도모하는 것.
• Gugenheim와 May의 작업에서 유래한 특별한 해석이 모형 범주론적 코프로젝티브 근사로 어떻게 기능하는지 명확히 하는 것.

제안 방법

• 가환환 R 위의 DG 대수 A 위의 DG 모듈에 대해 여섯 가지 프로젝티브 유형의 모델 구조를 도입하며, 약한 동치로 세 가지 선택지를 구분한다: 준동치, 기본 DG-R-모듈의 호모토피 동치, DG-A-모듈의 호모토피 동치.
• 고전적 의미에서 코프로젝티브 생성되지 않는 모델 구조를 구성하기 위해, 작은 개체 작동의 강화 및 대수적 변형을 개발하여 새로운 상대적 및 혼합 모델 구조를 구성한다.
• 이중복합체가 아닌 다중복합체(multicomplexes)를 모형 범주론적 세포 구조의 기초 세포로 사용하여, 이중첨가에서 다중첨가로의 일반화를 반영한다.
• 상대적 모델 구조에서 고전적 바 건축을 적용하여 코프로젝티브 근사를 얻으며, 표준 모델 구조에서는 실패함을 보인다.
• 호모로지에서의 고전적 프로젝티브 해석을 두 가지 다른 방법으로 DG-모듈 해석으로 올리는 방법을 제시하며, 이로 인해 동형인 DG-모듈이지만 다른 조합론적 구조를 가짐을 보여준다.
• Gugenheim와 May의 '특수 해석'이 모형 범주론적 코프로젝티브 근사와 동치임을 입증함으로써, 이들이 명시적 계산에서 사용되는 것이 타당함을 보장한다.

실험 결과

연구 질문

• RQ1 일반적인 가환환 R 위에서 모형 범주론을 어떻게 체계적으로 미분 호모로지 대수학에 적용할 수 있는가? 특히 체 위에서가 아닌 경우에 대해.
• RQ2 고전적 바 건축이 주어진 DG-모듈에 대한 모델 구조에서 코프로젝티브 해석을 제공하는 정확한 조건은 무엇인가?
• RQ3 호모로지 해석에서 유도된 두 가지 다른 코프로젝티브 근사의 구성 방법이 동형인 DG-모듈을 생성하지만 다른 조합론적 구조를 가지는 이유는 무엇이며, 이는 호모토피 성질을 증명하는 데 어떤 함의를 갖는가?
• RQ4 Gugenheim와 May의 '특수 해석'이 어떤 모형 범주론적 구조에서 코프로젝티브 대체로 기능하는가? 이는 그들의 계산적 유용성을 어떻게 명확히 하는가?
• RQ5 모형 이론적 기초를 어떻게 활용하여, 스펙트럴 시퀀스의 분석만으로는 보장할 수 없는 Eilenberg-Moore 스펙트럴 시퀀스가 확장 문제 없이 붕괴함을 증명할 수 있는가?

주요 결과

• 가환환 R 위의 DG 대수 위의 DG-모듈에는 여섯 가지 모델 구조가 존재하며, R가 체일 경우 세 가지가 기존의 알려진 구조로 붕괴된다.
• 상대적 모델 구조는 고전적 바 건축을 통해 코프로젝티브 근사를 제공하지만, 표준 모델 구조는 그렇지 않다.
• 호모로지에서의 프로젝티브 해석을 DG-모듈 해석으로 올리는 데 두 가지 다른 구성 방법이 존재하며, 이는 동형인 DG-모듈이지만 다른 조합론적 구조를 가진다.
• Gugenheim와 May의 '특수 해석'이 모형 범주론적 코프로젝티브 근사로 동치임을 입증하여, 이들이 명시적 계산에서 사용되는 것이 타당함을 보였다.
• H^*(Ff; R)에 대한 Eilenberg-Moore 스펙트럴 시퀀스는 E^2 = E^lat 를 만족하며, 비자명한 덧셈적 확장이 없고, H^*(Ff; R) o ext{Tor}^{*}_{H^*(BG;R)}(H^*(BH;R), R) 의 동형이 모형 이론적 코프로젝티브 해석을 통해 증명됨으로써 이를 입증하였다.
• suspension 사상의 핵 ilde{H}^*(Y; R) o H^{*-1}( ext{Map}_*(Y, ext{pt}); R) 는 DH^*(Y; R) 와 같으며, 동치로 호모로지에 대해서도 마찬가지로 성립함을 확인하여, 위상수학적 K-이론에서의 추측을 확인하였다.