[논문 리뷰] Dwyer-Kan Homotopy Theory of Algebras over Operadic Collections

Donald Yau|arXiv (Cornell University)|2016. 08. 05.

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

한 줄 요약

이 논문은 편의적인 모나이드 모델 범주에서 증강된 작도적 컬렉션 위의 대수에 대해 Dwyer-Kan 모델 범주 구조를 수립하며, 확장된 작도, properad, prop 및 그 휠 형태 변형에 대한 기존 결과들을 통합하고 확장한다. 주요 기여는 코프리프레시브 생성, 다루기 쉬운 모델 구조를 보장하는 일반적 프레임워크를 제공하는 것으로, 비틀림 피브레이션은 색상에 대해 전사인 항별로 비틀림 피브레이션인 구조를 보장한다. 또한, 피브란트 대상은 기저 범주에서 항별로 피브란트인 대상들이다.

ABSTRACT

Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of enriched wheeled props, wheeled properads, and wheeled operads, among others. This result extends known model category structure on the categories of operads, properads, and props enriched in simplicial sets and other monoidal model categories. We also show that our Dwyer-Kan model category structure is well behaved with respect to simultaneous changes of the underlying monoidal model category and the augmented operadic collection.

연구 동기 및 목표

• 확장된 작도, properad, prop 및 그 휠 형태 변형을 포함하는 광범위한 작도 유사 대수적 구조에 대해 Dwyer-Kan 모델 범주 구조를 일반화한다.
• 확장된 작도, properad, prop에 대한 기존의 모델 범주 결과들을 하나의 프레임워크로 통합한다.
• 편의적인 모나이드 모델 범주에서 증강된 작도적 컬렉션 위의 대수에 대해 코프리프레시브 생성 모델 구조를 수립한다.
• 기저 모나이드 모델 범주와 작도적 컬렉션의 동시에 변화에 대해 모델 구조가 잘 유지되는지 보여준다.
• 표준 작도를 초월한 확장된 대수의 범주에 대해 Dwyer-Kan 구조를 체계적으로 구성하는 방법을 제공한다.

제안 방법

• 입력-출력 구조를 매개변수화하는 작도적 컬렉션 (S, O) 의 개념을 도입하며, 이를 통해 작도를 함의적으로 할당한다.
• 기본 증강을 통해 추가 항목을 가진 확장된 범주와 관련된 증강된 작도적 컬렉션을 정의한다.
• Quillen의 소형 객체 공격 기법과 릿지 기법을 적용하여 이러한 컬렉션 위의 대수에 대해 코프리프레시브 생성 모델 구조를 구성한다.
• 추가 항목을 가진 확장된 범주와 대수의 범주 사이의 수반 관계를 이용해 모델 구조를 이전한다.
• 비틀림 피브레이션이 정확히 색상에 대해 전사이면서 항별로 비틀림 피브레이션인 것임을 증명한다.
• 피브란트 대상이 기저 범주에서 항별로 피브란트인 대상들임을 보여준다.

실험 결과

연구 질문

• RQ1 확장된 작도, 휠 형태 변형을 포함하는 광범위한 작도 유사 구조에 대해 통합된 Dwyer-Kan 모델 범주 구조를 구성할 수 있는가?
• RQ2 증강된 작도적 컬렉션 위의 대수에 대한 모델 구조를 코프리프레시브 생성하고 다루기 쉽게 만들 수 있는가?
• RQ3 기저 모나이드 모델 범주에 대한 변화가 모델 구조를 유지하는 데 필요한 조건은 무엇인가?
• RQ4 대수 범주에서의 피브란트 대상과 비틀림 피브레이션은 기저 범주에서의 피브란트 대상과 비틀림 피브레이션과 어떻게 관련이 있는가?
• RQ5 이 프레임워크는 기존의 작도, prop, properad에 대한 모델 구조를 복원하면서도 그 휠 형태로 확장할 수 있는가?

주요 결과

• 편의적인 모나이드 모델 범주에서 증강된 작도적 컬렉션은 그 대수의 범주에 Dwyer-Kan 모델 범주 구조를 가진다.
• 모델 구조는 코프리프레시브 생성이며, 비틀림 피브레이션은 색상에 대해 전사이면서 항별로 비틀림 피브레이션인 것으로 특징지어진다.
• 대수 범주에서의 피브란트 대상은 정확히 기저 범주에서 항별로 피브란트인 대상들이다.
• 이 프레임워크는 심플리셜 집합과 같은 다른 모나이드 모델 범주에서 확장된 작도, properad, prop에 대한 알려진 Dwyer-Kan 모델 구조를 복원한다.
• 확장된 휠 형태의 작도, 휠 형태의 properad, 휠 형태의 prop에 대해 새로운 Dwyer-Kan 모델 범주 구조를 제공한다.
• 기저 모나이드 모델 범주와 작도적 컬렉션의 동시에 변화에 대해 이 구성은 안정적이며, 일반성과 강건성을 보장한다.