[논문 리뷰] A curious example of two model categories and some associated differential graded algebras

Daniel Dugger, Brooke Shipley|arXiv (Cornell University)|2007. 10. 16.

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

한 줄 요약

이 논문은 복잡한 $K$-이론 계산에 의존하지 않고, 대신 호모토피 내림형 사상 스펙트럼을 사용하여 $\mathbb{Z}/p^2$와 $\mathbb{Z}/p[\epsilon]/(\epsilon^2)$ 위의 안정 모듈의 모델 범주가 Quillen 동치가 아니라는 새로운, 보다 원시적인 증명을 제공한다. 이는 유도 동치인 두 개의 미분 등급 대수를 구성하며, 이들의 모듈 모델 범주가 Quillen 동치가 아니라는 것을 보여주고, 유도 범주가 서로 동치이지만 $K$-이론이 서로 동형이 아닌 쌍의 dga를 제시한다.

ABSTRACT

The paper gives a new proof that the model categories of stable modules for the rings Z/(p^2) and (Z/p)[ε]/(ε^2) are not Quillen equivalent. The proof uses homotopy endomorphism ring spectra. Our considerations lead to an example of two differential graded algebras which are derived equivalent but whose associated model categories of modules are not Quillen equivalent. As a bonus, we also obtain derived equivalent dgas with non-isomorphic K-theories.

연구 동기 및 목표

• 복잡한 $K$-이론 계산에 의존하지 않고, $\mathcal{M} = \mathrm{Stmod}(\mathbb{Z}/p^2)$와 $\mathcal{M}_\epsilon = \mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$의 모델 범주가 Quillen 동치가 아니라는 더 원시적인 증명을 제공하는 것.
• 이 모델 범주의 호모토피 이론을 깊이 있게 탐구하여, 호모토피 범주를 넘는 고차원 불변량에 초점을 맞추는 것.
• 유도 동치이지만 그에 대응하는 모듈의 모델 범주가 Quillen 동치가 아닌 두 개의 미분 등급 대수의 예를 구성하는 것.
• 유도 동치이지만 $K$-이론이 서로 동형이 아닌 쌍의 dga를 제시하여, 유도 동치를 넘는 더 세밀한 불변량의 존재를 드러내는 것.

제안 방법

• 모델 범주의 고차 호모토피 구조의 차이를 감지하기 위해 호모토피 내림형 사상 스펙트럼을 사용하며, 이는 호모토피 범주에서는 드러나지 않는 것이다.
• 두 모델 범주가 특정한 미분 등급 대수 위의 모듈과 Quillen 동치임을 이용하여 문제를 dga 코homology와 $K$-이론으로 이전하는 것.
• 인덱싱 범주가 ${\mathbb{Z}}/p$-코homological 차원을 갖는다는 사실에 기반하여 다이어그램 범주의 사상 공간을 분석하기 위해 스펙트럼 수열을 사용하는 것.
• 저차수에서 스펙트럼 수열의 붕괴를 이용하여 $\mathrm{Ho}({\mathcal{M}}^I)$와 $\mathrm{Ho}({\mathcal{M}}_\epsilon^I)$의 호모토피 군을 비교하고, 이들이 $\mathbb{Z}/p$-벡터 공간으로 동형임을 보이는 것.
• 호모토피 가환 다이어그램에서 유도된 이중 복합체의 $0$-사이클의 존재를 통해 호모토피 범주에 사상이 존재함을 보장하며, 이는 코homological 차원 $\leq 1$ 인 이유로 인한 고장이 사라지기 때문이다.
• 핵심 기술 도구는 $\mathcal{M}^I$와 $\mathcal{M}_\epsilon^I$에서 사상 공간을 계산하는 스펙트럼 수열의 비교이며, 이는 $E_2$-항이 동일하고 저차수에서 붕괴함을 보여주어 호모토피 군이 동형임을 이끌어낸다.

실험 결과

연구 질문

• RQ1 호모토피 범주가 동치이지만, $\mathrm{Stmod}(\mathbb{Z}/p^2)$와 $\mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$의 모델 범주는 Quillen 동치가 아닐 수 있는가?
• RQ2 특히 $K_4$ 계산을 포함한 대수적 $K$-이론을 사용하지 않고도 비-Quillen 동치성은 감지할 수 있는가?
• RQ3 유도 동치이지만 그에 대응하는 모듈의 모델 범주가 Quillen 동치가 아닌 두 개의 미분 등급 대수가 존재하는가?
• RQ4 유도 동치이지만 $K$-이론이 서로 동형이 아닌 dga를 구성할 수 있는가? 이는 유도 동치를 넘는 더 세밀한 불변량을 드러내는가?

주요 결과

• 호모토피 내림형 사상 스펙트럼을 통한 분석을 통해 $\mathcal{M} = \mathrm{Stmod}(\mathbb{Z}/p^2)$와 $\mathcal{M}_\epsilon = \mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$의 모델 범주가 Quillen 동치가 아니라는 것이 입증되었으며, 이는 이전의 $K$-이론 기반 증명보다 더 원시적인 증명을 제공한다.
• 유도 동치이지만 그에 대응하는 모듈의 모델 범주가 Quillen 동치가 아닌 두 개의 미분 등급 대수가 존재함을 보여주며, 이는 유도 동치와 Quillen 동치 사이의 엄밀한 구분을 보여준다.
• $\mathbb{Z}/p^2$와 $\mathbb{Z}/p[\epsilon]/(\epsilon^2)$에 대응하는 dga의 $K$-이론은 서로 동형이 아니며, $K_4(\mathcal{M}) \cong \mathbb{Z}/p^2$이고 $K_4(\mathcal{M}_\epsilon) \cong \mathbb{Z}/p \oplus \mathbb{Z}/p$임을 확인하여, $K$-이론으로 감지 가능한 차이가 있음을 확인한다.
• $\mathbb{Z}/p$-코homological 차원 $\leq 1$인 인덱싱 범주에 대해, 호모토피 범주 $\mathrm{Ho}({\mathcal{M}}^I)$와 $\mathrm{Ho}({\mathcal{M}}_\epsilon^I)$는 삼각 범주로서 동형이며, $\mathbb{Z}/p$-벡터 공간으로서의 호모토피 군도 동형이다.
• $\mathcal{M}^I$와 $\mathcal{M}_\epsilon^I$에서 사상 공간을 계산하는 스펙트럼 수열은 저차수에서 붕괴하며, 이는 $E_2$-항이 동일하고 따라서 호모토피 군이 동형임을 이끌어낸다.
• 호모토피 가환 다이어그램에서 유도된 이중 복합체의 총복합체에서의 $0$-사이클 존재는, $\mathrm{Ho}({\mathcal{M}}^I)$의 모든 다이어그램이 $k$-벡터 공간의 다이어그램과 약하게 동치임을 보장하며, 이는 호모토피 군 간 비교를 가능하게 한다.