[논문 리뷰] HZ-algebra spectra are differential graded algebras

Brooke Shipley|ArXiv.org|2002. 09. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 9

한 줄 요약

이 논문은 ℤ 위의 무한대 차수 미분가환대수의 호모토피 이론과 Hℤ-가환대수 스펙트럼의 호모토피 이론 사이에 쿠일렌 동치를 확립하며, 이들이 동일한 유도 대수적 구조를 나타냄을 보여준다. 모델 범주 기법과 단순화된 수반관계를 사용하여, 미분가환대수와 Hℤ-가환대수 스펙트럼 사이에 명시적인 쿠일렌 동치를 구축하고, 이를 모듈러로 확장함으로써 유리수 안정 호모토피 범주의 대수적 모델을 가능하게 한다.

ABSTRACT

We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZ-algebra spectra. We also construct Quillen equivalences between the differential graded modules and module spectra over these algebras. We use these equivalences in turn to produce algebraic models for rational stable model categories. We show that bascially any rational stable model category is Quillen equivalent to modules over a differential graded Q-algebra (with many objects).

연구 동기 및 목표

• ℤ 위의 무한대 차수 미분가환대수의 모델 범주와 Hℤ-가환대수 스펙트럼의 모델 범주 사이에 쿠일렌 동치를 확립하기.
• 이 동치를 이러한 대수 위의 모듈러 범주로 확장하여, 미분가환대수 모듈러와 Hℤ-모듈러 스펙트럼이 쿠일렌 동치임을 보여주기.
• 이 동치를 사용하여 유리수 안정 모델 범주에 대한 대수적 모델을 구축하기.
• 모든 유리수 안정 모델 범주는 다수의 객체를 가진 미분가환대수 ℚ 위의 모듈러와 쿠일렌 동치임을 보여주기.

제안 방법

• Hℤ-가환대수 스펙트럼의 모델 범주와 ℤ 위의 미분가환대수의 모델 범주 사이에 쿠일렌 수반관계를 구축하기 위해, ℚ-대수와 단순화된 수반관계를 포함하는 쿠일렌 동치의 진동(지그재그)을 사용하기.
• 복합 함수에 대한 단순화된 수반관계와 바르 구조를 사용하여, 바르 구조와 단순화된 수반관계를 통해 쿠일렌 동치를 정의하기.
• Hℤ-가환대수 스펙트럼에서 스펙트럼으로의 잊어버림 함숫름이 피브레이션과 약한 동치를 유지하므로, 쿠일렌 수반관계의 구축이 가능함을 활용하기.
• 기준 [HSS, 4.1.7]을 적용하여, 생성자에서의 유도된 수반관계를 검토하고 약한 동치를 식별함으로써 쿠일렌 동치를 확인하기.
• 함수 i와 C₀의 강한 단순화된 구조를 활용하여, 쿠일렌 동치가 범주들의 대칭 단순화 구조를 유지함을 보장하기.
• ℚ 위의 단순화된 수반관계의 단위와 곱이 스칼라 확장과 제한을 통해 쿠일렌 동치를 유도함을 활용하기.

실험 결과

연구 질문

• RQ1 ℤ 위의 미분가환대수와 Hℤ-가환대수 스펙트럼의 호모토피 이론은 쿠일렌 동치인가?
• RQ2 dg 모듈러와 Hℤ-모듈러 스펙트럼 사이의 쿠일렌 동치는 대수 수준으로 확장될 수 있는가?
• RQ3 쿠일렌 동치는 관련 범주의 대칭 단순화 구조를 유지하는가?
• RQ4 모든 유리수 안정 모델 범주는 다수의 객체를 가진 미분가환대수 ℚ 위의 모듈러로 대수적으로 모델링될 수 있는가?
• RQ5 Hℤ-가환대수 스펙트럼의 모델 범주와 ℤ 위의 dg 대수의 모델 범주를 연결하는 지그재그 쿠일렌 동치가 존재하는가?

주요 결과

• Hℤ-가환대수 스펙트럼의 모델 범주는 ℤ 위의 무한대 차수 미분가환대수의 모델 범주와 쿠일렌 동치이다.
• 쿠일렌 동치는 모듈러로 확장되며, ℤ 위의 dg 모듈러의 호모토피 이론은 Hℤ-모듈러 스펙트럼의 호모토피 이론과 쿠일렌 동치이다.
• 쿠일렌 동치는 강한 단순화된 구조를 유지하며, 범주들의 대칭 단순화 구조를 보존한다.
• 모든 유리수 안정 모델 범주는 다수의 객체를 가진 미분가환대수 ℚ 위의 모듈러와 쿠일렌 동치이다.
• Hℤ-가환대수 스펙트럼에서 ℤ 위의 dg 대수로의 복합 함수는 ℚ-대수와 단순화된 수반관계를 포함하는 지그재그 쿠일렌 동치를 통해 쿠일렌 동치이다.
• ℚ 위의 단순화된 수반관계의 단위와 곱은 확장과 제한을 통해 쿠일렌 동치를 유도하며, 복합 함숫름 사이의 자연스러운 약한 동치를 구성할 수 있다.