[논문 리뷰] Homotopy Algebras for Operads

Tom Leinster|ArXiv.org|2000. 02. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 44인용 수 28

한 줄 요약

이 논문은 피rottation이 있는 임의의 모나이드 카테고리에서 호모토피 동치의 개념을 갖춘 경우, 피rottation에 대한 호모토피 대수의 일반적 정의를 제시한다. 이 정의는 피브레이션, 해상도 등 추가 구조를 요구하지 않는다. 주요 기여는 $A_\infty$-공간, $A_\infty$-대수, 그리고 루프 공간과 같은 다양한 약화된 대수적 구조를 하나의 개념적 프레임워크로 통합하는 것이다. 이를 통해 루프 공간이 자연스럽게 호모토피 모노이드이고, 반복 루프 공간이 고차 호모토피 모노이드임을 보여준다.

ABSTRACT

We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal categories, the definition of homotopy algebra is given. Specifically, suppose that M is a monoidal category in which it makes sense to talk about algebras for some operad P. Then our definition says what a homotopy P-algebra in M is, provided only that some of the morphisms in M have been marked out as `homotopy equivalences'. The bulk of the paper consists of examples of homotopy algebras. We show that any loop space is a homotopy monoid, and, in fact, that any n-fold loop space is an n-fold homotopy monoid in an appropriate sense. We try to compare weakened algebraic structures such as A_infinity-spaces, A_infinity-algebras and non-strict monoidal categories to our homotopy algebras, with varying degrees of success. We also prove results on `change of base', e.g. that the classifying space of a homotopy monoidal category is a homotopy topological monoid. Finally, we reflect on the advantages and disadvantages of our definition, and on how the definition really ought to be replaced by a more subtle infinity-categorical version.

연구 동기 및 목표

• 모나이드 카테고리에서 특정 호모토피 동치 클래스를 갖는 임의의 모나이드 카테고리에서 피rottation에 대한 호모토피 대수의 일반적, 카테고리 이론적 정의를 제공하는 것.
• 다양한 약화된 대수적 구조—예를 들어 $A_\infty$-공간, $A_\infty$-대수, 비엄격한 모나이드 카테고리—를 하나의 개념적 프레임워크로 통합하는 것.
• 루프 공간과 반복 루프 공간이 자연스럽게 연관 피rottation에 대한 호모토피 대수로 나타나며, 특히 호모토피 모노이드와 고차 호모토피 모노이드로 나타남을 보여주는 것.
• 기저 교환에 관한 기본 결과를 확립하여, 호모토피 모노이드 카테고리의 분류 공간이 호모토피 위상 모노이드임을 보여주는 것.
• 현재 정의의 한계를 비판적으로 성찰하고, 높은 차수의 일致성 데이터를 완전히 포괄할 수 있는 더 정교한 $\infty$-카테고리적 대체 정의를 제안하는 것.

제안 방법

• 피rottation $P$에 대해 모나이드 카테고리 $\mathcal{M}$에서 호모토피 동치의 자료만을 사용하여, 피브레이션, 실린더, 해상도 등을 요구하지 않고 호모토피 대수를 정의하는 것.
• 엄격한 대수 공리의 약화를 통해 정의를 구성: 교차 다이어그램이 정확히 교환되지 않고, 특정 호모토피 동치를 통해 교환됨.
• 강화된 카테고리 이론과 다중카테고리 이론을 활용하여, 특히 $\mathbf{Cat}$와 모나이드 2-카테고리에서의 강화된 설정으로 정의를 일반화하는 것.
• 피rottation에 대한 자유 모노이드 카테고리가 2-카테고리적 맥락에서 호모토피 대수를 이해하는 데 있어 보편적 프레임워크를 제공함을 보여주는 것.
• 핵심 예시에 정의를 적용: 루프 공간을 호모토피 모노이드로, $A_\infty$-공간과 $A_\infty$-대수를 연관 피rottation에 대한 호모토피 대수로 간주하는 것.
• 분류 공간 함자(함수)가 호모토피 모노이드 구조를 유지함을 증명하여, 호모토피 모노이드 카테고리의 분류 공간이 호모토피 위상 모노이드임을 보여주는 것.

실험 결과

연구 질문

• RQ1 피rottation에 대한 호모토피 대수를 피브레이션이나 해상도와 같은 보조 구조에 의존하지 않고 일반적인 모나이드 카테고리에서 어떻게 정의할 수 있는가?
• RQ2 루프 공간과 반복 루프 공간이 어떻게 자연스럽게 연관 피rottation에 대한 호모토피 대수로 나타나는가?
• RQ3 제안된 호모토피 대수 정의가 기존의 개념—예를 들어 $A_\infty$-공간, $A_\infty$-대수, 비엄격한 모나이드 카테고리—와 어떻게 관련이 있는가?
• RQ4 기저 교환에 관해 정의가 어떤 영향을 미치는가? 특히 호모토피 모노이드 카테고리와 호모토피 위상 모노이드 사이의 관계를 어떻게 설명할 수 있는가?
• RQ5 왜 현재 정의가 부족한가? 그리고 $\infty$-카테고리적 정의는 높은 차수의 일치성 데이터를 포괄하는 데 어떤 이점을 제공하는가?

주요 결과

• 모든 루프 공간은 호모토피 동치를 갖는 위상공간 카테고리에서 호모토피 모노이드이며, 모든 $n$-중 루프 공간은 $n$-중 호모토피 모노이드이다.
• 호모토피 모노이드 카테고리의 분류 공간은 호모토피 위상 모노이드이며, 이는 카테고리적이고 위상적인 호모토피 대수 사이의 강력한 연결 고리를 확립한다.
• 정의는 연관 피rottation에 대한 호모토피 대수로서 $A_\infty$-공간과 $A_\infty$-대수를 특수한 경우로 포괄하며, 조합의 임의의 선택 없이도 가능하다.
• 정의는 사슬 호모토피 동치를 통한 미분 체계 대수(예: 체인 호모토피 동치), 위상 공간(호모토피 동치), 그리고 카테고리(카테고리적 동치)에 모두 적용 가능한 일반성과 충분한 유연성을 지닌다.
• 현재 정의는 $\infty$-카테고리 이론의 1차원 근사로 간주되며, 일치 법칙이 부분적으로만 포괄된다.
• 논문은 '알고리즘적' 정의(선택된 복합)와 '개념적' 정의(복합이 유일성까지 동치로만 보장) 사이의 근본적 이분법을 밝혀내며, 제안된 정의는 후자를 선호한다.