[논문 리뷰] Erratum to "Homological algebra of homotopy algebras"

Vladimir Hinich|arXiv (Cornell University)|2003. 09. 28.

Algebraic structures and combinatorial models참고 문헌 3인용 수 27

한 줄 요약

이 수정문은 교환 법칙을 가진 체 위의 사슬 복합체에서의 작도에 대한 잘못된 모델 구조 정리에 대해 수정하며, B. 프레세가 제시한 반례를 규명한다. 이 반례는 작도에 콘트랙티블한 복합체를 추가하더라도 항상 준동형 작도가 되지 않음을 보여준다. 수정된 결과는 0차 연산이 자명하거나 특성 0인 환 위에서 모델 구조가 존재함을 보이며, 이는 이동된 콘과 나무 기반 분해를 통한 정교한 분석을 통해 도출된다.

ABSTRACT

Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem.

연구 동기 및 목표

• 힌히치(2003)의 정리 6.1.1에서 작도의 성분별 약한 동형과 올림을 갖는 사슬 복합체에서의 모델 범주 구조를 주장한 데 대한 오류를 규명하고 수정한다.
• 특히 양의 특성에서, 작도에 콘트랙티블한 복합체를 추가하더라도 일반적으로 준동형 작도가 유지되지 않음을 보여주는 반례를 제시한다.
• 작도의 0차 연산이 자명하거나 기저 환에 ℚ가 포함될 경우에 한하여 사슬 복합체에서의 작도에 대한 모델 구조가 성립하는 충분조건을 수정하여 제시한다.
• 원래 증명의 핵심 단계인 특정 포함 사상이 준동형 작도임을 확인하는 것이 일반적으로 실패하지만, 수정된 조건 하에서는 성립함을 보인다.
• 기존의 원래 정리에 기반한 응용들이 모델 구조의 결함에 의존하지 않는 다른 분해 성질 덕분에 여전히 타당함을 확인한다.

제안 방법

• 교환 법칙 작도 COM과 콘트랙티블한 복합체 M에 의한 자유 작도 확장을 포함하는 반례를 사용하여, 양의 특성에서 원래 작도와 준동형 작도가 아님을 보인다.
• 마킹된 감소한 나무를 사용하여 이동된 콘 M = cone(id_k)[s]에 의해 생성되는 자유 작도의 작도 성분을 기술한다.
• 마킹된 나무의 자기동형군을 통한 군oid 몫을 적용하여 자유 작도 확장의 텐서 곱 분해를 계산한다.
• O(0) = 0 이고 n > 0 이거나, k에 ℚ가 포함되어 있을 경우, 포함 사상 O → O ⊗ F(M,n)가 콘트랙티블성과 자동형군의 부재로 인해 성분별 준동형 작도가 됨을 증명한다.
• 버거와 모르다이크의 모노이드 범주에서의 작도에 대한 모델 구조 프레임워크를 활용하여, 수정된 조건이 그들의 일반 존재 정리와 일치함을 보인다.
• 기존의 모델 구조에 의존하지 않는 분해 체계를 통한 코프라이머티브 분해의 존재를 검증하여, 이는 기존 결과가 여전히 타당함을 보장한다.

실험 결과

연구 질문

• RQ1 O → O ⊗ F(M,n) 포함 사상이 성분별 준동형 작도가 되는 조건은 무엇인가?
• RQ2 왜 원래 정리 6.1.1은 양의 특성에서 실패하며, 반례의 정확한 성격은 무엇인가?
• RQ3 0차 성분이 자명하지 않을 경우에도 사슬 복합체에서의 작도에 대한 모델 구조를 여전히 확립할 수 있는가?
• RQ4 나무 기반 분해와 자동형군 몫은 자유 작도 확장에서 준동형 작도를 검증하는 데 어떻게 기여하는가?
• RQ5 기존의 모델 구조의 결함에 의존하는 결과들이 수정된 이후에도 어느 정도 여전히 타당한가?

주요 결과

• 콘트랙티블한 복합체 M을 교환 법칙 작도 COM에 추가하면 일반적으로 준동형 작도가 되지 않으며, 이는 정리 6.1.1이 일반적으로 성립하지 않음을 입증하는 반례를 제공한다.
• O(0) = 0 이고 n > 0 이거나, 기저 환 k에 ℚ가 포함되어 있을 경우, 포함 사상 O → O ⊗ F(M,n)는 성분별 준동형 작도가 된다.
• 기저 환 k에 ℚ가 포함되어 있을 경우, C(k)에서의 작도 범주에 대해 성분별 준동형 작도를 약한 동형, 성분별 전성사를 올림으로 하는 모델 구조가 존재한다.
• 기저 환 k가 임의의 교환 법칙 환일지라도 O(0) = 0 이면 같은 약한 동형과 올림 조건 하에서 모델 구조가 존재한다.
• 수정된 결과는 버거와 모르다이크의 일반적 프레임워크와 일치하며, 원래의 응용들은 모델 구조의 결함에 의존하지 않는 다른 분해 성질 덕분에 여전히 타당하다.
• 원래 정리의 실패는 비자명한 0차 연산이 있는 양의 특성의 경우에 국한되며, 코프라이머티브 분해나 분해 체계에는 영향을 주지 않는다.