[논문 리뷰] Simplicial localization of homotopy algebras over a prop

Sinan Yalin|arXiv (Cornell University)|2013. 07. 18.

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

한 줄 요약

이 논문은 코프리프레임 dg 프롭 사이의 약한 동치가 그들의 대수의 카테고리의 심플리셜 국소화에서 Dwyer-Kan 동치를 유도함을 증명하여, 프롭에 대한 호모토피 대수의 호모토피 이론이 코프리프레임 해석의 선택에 독립적임을 보장한다. 결과는 심플리셜 국소화와 완전한 세갈 공간을 사용하여 증명되며, 조합적 모나이드 dg 카테고리 내의 색이 칠해진 프롭에 대한 대수로 호모토피 불변성을 확장한다.

ABSTRACT

We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base change implies that the homotopy category of homotopy algebras over a prop P does not depend on the choice of a cofibrant resolution of P, and gives thus a coherence to the notion of algebra up to homotopy in this setting. The result is established more generally for algebras in combinatorial monoidal dg categories.

연구 동기 및 목표

• 기본 변화를 통한 약한 동치에 의한 프롭에 대한 호모토피 대수의 호모토피 이론의 호모토피 불변성을 확립하기 위해.
• 기본 프롭의 코프리프레임 해석의 선택에 따라 호모토피 대수의 호모토피 카테고리가 달라지는가에 대한 일관성 문제를 해결하기 위해.
• 기존의 오페라 및 프롭에 대한 결과를 조합적 모나이드 dg 카테고리 내의 색이 칠해진 dg 프롭으로 보다 광범위한 설정으로 확장하기 위해.
• 심플리셜 국소화 기법을 사용하여 프롭에 대한 호모토피 대수의 맥락에서 기본 변화 불변성 문제에 대한 최종적인 답을 제시하기 위해.
• 이전 결과를 일반화하여 자유 대수 함수자가 존재한다는 강한 가정이 필요한 설정을, 임의의 체 위의 체인 복합체를 포함하는 설정으로 확장하기 위해.

제안 방법

• 相対 카테고리의 심플리셜 국소화를 사용하여 프롭에 대한 대수의 호모토피 이론을 코딩하는 심플리셜 카테고리를 구성한다.
• 완전한 세갈 공간의 프레임워크를 적용하여 심플리셜 국소화의 분류 다이어그램을 비교한다.
• 다이어그램 카테고리에서의 외부 텐서곱과 임베딩 모델 구조를 활용하여 기저 카테고리의 호모토피 성질을 올려보내는 데 사용한다.
• Yalin(2017)의 정리 3.14에 의존하여 대수 카테고리 내의 준동치의 네르브 공간 간의 약한 동치를 확립한다.
• 다이어그램 카테고리의 임베딩 모델 구조에서의 모델 구조의 전이성과 푸시아웃곱 공리법칙을 적용하여 모나이드 성질을 검증한다.
• 고차 카테고리 이론과 호모토피 대수학의 기법을 융합하여 대수의 카테고리에 모델 구조가 존재하지 않는다는 가정 없이 Dwyer-Kan 동치를 증명한다.

실험 결과

연구 질문

• RQ1 프롭에 대한 호모토피 대수의 호모토피 카테고리가 프롭의 코프리프레임 해석의 선택에 따라 달라지는가?
• RQ2 코프리프레임 dg 프롭에 대한 대수의 카테고리의 심플리셜 국소화가 기저 프롭의 약한 동치에 대해 불변으로 만들 수 있는가?
• RQ3 자유 대수 함수자의 존재를 가정하지 않고도 프롭에 대한 호모토피 대수의 기본 변화에 대한 호모토피 불변성이 달성 가능한가?
• RQ4 체 위의 체인 복합체에서 색이 칠해진 프롭에 대한 호모토피 대수의 호모토피 이론이 해석의 선택에 독립적인가?
• RQ5 대수의 카테고리에 모델 구조가 존재하지 않는 상황에서 심플리셜 국소화와 완전한 세갈 공간 기법이 어떻게 상호작용하여 불변성을 확립하는가?

주요 결과

• 코프리프레임 dg 프롭 사이의 약한 동치는 그들의 대수의 카테고리의 심플리셜 국소화에서 Dwyer-Kan 동치를 유도한다.
• 프롭에 대한 호모토피 대수의 호모토피 카테고리는 코프리프레임 해석의 선택에 독립적이며, 호모토피 대수의 개념에 대한 일관성을 확립한다.
• 결과는 조합적 모나이드 dg 카테고리 내의 대수에 대해 성립하며, 임의의 체 위의 체인 복합체를 포함한다.
• 이론은 대수의 카테고리에 모델 구조가 존재하지 않는다는 점을 고려하여 기존 접근의 핵심 제약를 피한다.
• 이 방법은 1-색 프롭과 색이 칠해진 프롭 모두에 적용되며, 색이 칠해진 경우는 보편성을 확보하기 위해 0의 특성수를 요구한다.
• 보조정리 3.17은 특성수가 0인 체 위의 색이 칠해진 dg 프롭에 대한 호모토피 대수의 호모토피 이론이 코프리프레임 해석의 약한 동치에 의해 기본 변화에 대해 불변임을 확인한다.