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

Brooke Shipley|ArXiv.org|2007. 08. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 수정은 저자의 2007년 논문에서 함자 $ D $ 가 대칭 모나드임을 재확인하며, 정리 1.2의 원래 증명이 타당함을 입증한다. 이 정리는 $ H\mathbb{Q} $-대수 스펙트럼의 교환법적 성질이 $ \mathbb{Q} $ 위의 교환법적 미분적 가환 대수와 약하게 동치임을 보여준다. 수정은 사슬 복합체의 쌍대극한과 공간의 호모토피 쌍대극한을 혼동함으로써 발생한 혼란을 해결하며, 원래 결과의 정확성을 확인하고, 수정된 함자 $ \overline{\Theta} $ 를 통해 자연스럽지 않은 약한 동치를 제공한다.

ABSTRACT

This correction article is actually unnecessary. The proof of Theorem 1.2, concerning commutative HQ-algebra spectra and commutative differential graded algebras, in the author's paper [American Journal of Mathematics vol. 129 (2007) 351-379 (arxiv:math/0209215v4)] is correct as originally stated. Neil Strickland carefully proved that D is symmetric monoidal; so Proposition 4.7 and hence also Theorem 1.2 hold as stated. Strickland's proof will appear in joint work with Stefan Schwede; see related work in Strickland's [arxiv:0810.1747]. Note here D is defined as a colimit of chain complexes; in contrast, non-symmetric monoidal functors analogous to D are defined as homotopy colimits of spaces in previous work of the author.

연구 동기 및 목표

• 정리 1.2의 원래 증명에서 함자 $ D $ 의 대칭 모나드성에 관한 혼동을 해결하기 위해.
• 교환법적 $ H\mathbb{Q} $-대수 스펙트럼과 교환법적 미분적 가환 대수(DGA) 사이의 동치성에 대한 원래 증명이 정확한지 확인하기 위해.
• $ D $ 를 사슬 복합체의 쌍대극한으로 정의할 때(대칭 모나드), 그리고 $ D $ 를 공간의 호모토피 쌍대극한으로 정의할 때(비대칭 모나드)의 차이를 명확히 하여, 초기 혼동의 근본 원인을 밝혀내기 위해.
• 코프리밋 및 프리밋 치환 함자들을 통해 구성된 수정된 함자 $ \overline{\Theta} $ 를 사용하여, 비자연스러운 약한 동치의 대체 표현을 제공하기 위해.
• 스펙트럼의 기저에서 약한 동치와 필라션을 감지하는 모델 범주 구조를 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 의 교환법적 모노이드에 설정하기 위해.

제안 방법

• 닐 스트리클랜드의 증명이 $ D $ 가 대칭 모나드임을 재확인함으로써, 정리 1.2의 원래 논증이 타당함을 입증한다.
• 사슬 복합체의 쌍대극한으로 정의된 함자 $ D $ (대칭 모나드) 와 이전에 공간의 호모토피 쌍대극한으로 정의된 $ D $ (비대칭 모나드) 를 비교함으로써, 혼동의 근본 원인을 해결한다.
• 코프리밋 및 프리밋 치환 함자 $ c $ 와 $ f $ 를 사용하여 $ \overline{\Theta} = \operatorname{Ev}_0 fi\phi^*NZc $ 를 통해 비자연스러운 약한 동치를 구성한다.
• $ \operatorname{Ev}_0 $, $ i $, $ \phi^*N $, $ Z $ 의 대칭 모나드 성질을 이용하여 $ \overline{\Theta} $ 의 조합이 잘 정의되도록 보장하지만, $ c $ 와 $ f $ 의 영향으로 자연스럽지 않은 대칭 모나드가 된다.
• [ScSh, 2.3] 의 끼워넣기 성질을 적용하여, 자유 교환법적 모노이드 함자 $ \mathbb{P} $ 와 생성 코프리미티브 $ I $, $ J $ 를 사용하여 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 의 교환법적 모노이드에 모델 범주 구조를 설정한다.
• 레마 4 를 사용하여 궤도 구성이 호모토피 궤도로 대체될 수 있음을 보이고, [Ma] 의 필터링 기법을 활용하여 포지션 안정성(스테이블 에퀴벌런스)을 확립함으로써 $ \mathbb{P}(J) $-사상이 안정 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 정리 1.2 증명에서 $ D $ 가 사슬 복합체의 쌍대극한으로 정의될 때, 이는 대칭 모나드인가?
• RQ2 저자가 $ D $ 의 모나드성에 대해 초기에 혼동을 빚었음에도 불구하고, 시플리의 2007년 논문에서 정리 1.2의 원래 증명은 여전히 타당한가?
• RQ3 임의의 교환법적 $ H\mathbb{Q} $-대수 스펙트럼 $ C $ 에 대해, $ \overline{\Theta}C $ 와 교환법적 미분적 $ \mathbb{Q} $-대수 사이에 비자연스러운 약한 동치를 구성할 수 있는가?
• RQ4 스펙트럼의 기저에서 약한 동치와 필라션을 감지하는 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 의 교환법적 모노이드 범주에 모델 범주 구조가 존재하는가?
• RQ5 $ \mathbb{P}(J) $ 의 사상들의 포지션은 안정 동치와 레벨 코프리미티브를 유지하는가?

주요 결과

• 정리 1.2의 원래 증명은 정확하다: 닐 스트리클랜드의 증명이 확인한 바와 같이 $ D $ 는 대칭 모나드이므로, 주요 결과는 그대로 성립한다.
• 혼동은 사슬 복합체의 쌍대극한으로 정의된 $ D $ (대칭 모나드) 와 공간의 호모토피 쌍대극한으로 정의된 $ D $ (비대칭 모나드) 를 혼동함으로써 발생했으며, 이제 이 차이가 명확히 밝혀졌다.
• 대칭 모나드 함자와 프리밋 치환을 통해 $ \overline{\Theta}^\prime $ 와 $ \overline{\Theta}^{\prime\prime} $ 를 구성함으로써, $ \overline{\Theta}C $ 와 교환법적 미분적 $ \mathbb{Q} $-대수 사이에 비자연스러운 약한 동치가 존재한다.
• 약한 동치와 필라션을 스펙트럼의 기저에서 감지하는 방식으로, [ScSh, 2.3] 의 끼워넣기 기준을 사용하여 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 의 교환법적 모노이드에 모델 범주 구조가 설정되었다.
• 레마 5 를 사용하여 필터링 기법과 레마 4(궤도 대체)를 적용함으로써, $ \mathbb{P}(J) $ 의 사상들의 포지션은 안정 동치이자 레벨 코프리미티브임을 입증하였다.
• $ E\Sigma_n \otimes_{\Sigma_n} X^{(n)} \to X^{(n)}/\Sigma_n $ 는 레벨 동치이며, $ Y $ 와의 텐서곱에 의해 유도되는 사상 역시 레벨 동치이므로, 대칭군 작용 하에서 호모토피 불변성이 보장된다.