HZ‑대수 스펙트럼과 미분 그레이드 대수의 동등성 재확인

본 교정 논문은 2007년 Shipley가 발표한 “HZ‑algebra spectra are differential graded algebras”에서 제시된 정리 1.2의 증명이 실제로는 오류가 없으며, 원래대로 유지될 수 있음을 공식적으로 밝힌다. 정리 1.2는 커뮤터티브 HQ‑알제브라 스펙트럼 C에 대해, 특정 함수 Θ(C)가 약하게 동등한 커뮤터티브 DG Q‑알제브라와 연결된다는 내용을 담고 있다. 원 논문에서는 Θ가 대칭적 모노이달이 아니므로 약한 동등성만을 얻을 수 있다고 기술했으며, 이를 보완하기 위해 복잡한 교체 함자 체인을 도입했다. 그러나 스트리클랜드가 사적인 커뮤니케이션을 통해 D 함자(체인 복합체들의 콜리밋)가 대칭적 모노이달임을 증명했으며, 이 결과는 곧 공동 작업인 Schwede‑Strickland(‘ScSt’) 논문에 포함될 예정이다. D의 대칭성은 명제 4.7의 핵심 가정이며, 따라서 정리 1.2의 증명에 사용된 전체 구조가 그대로 유효함을 의미한다. 논문은 먼저 D와 이전에 사용된 비대칭적 D(공간들의 호모토피 콜리밋) 사이의 차이를 명확히 구분한다. 전자는 체인 복합체 수준에서 정의된 콜리밋으로, 모델 범주 이론에서 자유 커뮤터티브 모노이드 함자 P와의 상호작용을 통해 대칭성을 확보한다. 반면 후자는 위상학적 설정에서 호모토피 콜리밋을 사용하므로 대칭적 모노이달 구조를 갖지 않는다. 이 차이 때문에 저자는 원 논문에서 혼동이 발생했으며, 교정 논문에서는 이를 바로잡는다. 다음으로, Θ 함수를 구성하는 네 단계(코피브런트 교체 c, 피브런트 교체 f, 그리고 Ev₀, i, φ∗, N, Z 등)의 각각이 대칭적 모노이달인지 여부를 검토한다. 특히, 코피브런트와 피브런트 교체 함자 c와 f는 일반적으로 대칭적이지 않으며, 이 때문에 Θ 자체는 대칭적 모노이달이 아니다. 저자는 이를 보완하기 위해 대칭적 함자 α∗eQ와의 자연스러운 약한 동등성 사슬을 구성하고, f를 f′(커뮤터티브 모노이드 모델 범주에서의 피브런트 교체)로 교체함으로써 최종적으로 Θ′′(C) = Ev₀ f′ i φ∗ N α∗eQ 가 실제 커뮤터티브 DG Q‑알제브라가 됨을 보인다. 이 과정에서 모델 범주의 리프팅 성질, 안정 동등성, 그리고 레벨 코피브런트와 코페어 구조를 이용한 검증이 핵심적으로 사용된다. Lemma 4와 Lemma 5는 Σₙ‑작용을 포함한 자유 모노이드 생성 함자 P가 J‑생성 사소 사상에 대해 안정 동등성을 보존함을 보이며, 이는 ScSh(2000)의 승강 기준을 만족시키는 데 필수적이다. 마지막으로, 교정 논문은 원 논문의 다른 주요 결과(정리 1.1, Corollary 2.15, Corollary 2.16)도 동일한 “세 단계” 함수 체계(H, Θ) 대신 “네 단계” 체계(H = U Lc C₀ f F₀ c, Θ = Ev₀ f i φ∗ N Zc)로 대체 가능함을 언급한다. 이 경우에도 Ev₀, i, φ∗, N, Z가 대칭적 모노이달이므로, 전체 구조는 여전히 신뢰할 수 있다. 부록에서는 모델 범주 구조를 커뮤터티브 모노이드에 적용하는 구체적인 구축 과정을 제시하고, Σₙ‑작용을 포함한 자유 모노이드 생성 함자 P가 코피브런트와 트리비얼 코피브런트 사상에 대해 안정 동등성을 유지함을 증명한다. 최종적으로, 교정 논문은 스트리클랜드의 결과를 인용함으로써 원 논문의 핵심 정리들이 변함없이 유효함을 확인하고, 독자들에게 기존 증명 흐름을 그대로 따를 것을 권고한다.