[논문 리뷰] Operads and algebraic homotopy

Justin R Smith|ArXiv.org|2000. 04. 02.

Homotopy and Cohomology in Algebraic Topology인용 수 10

한 줄 요약

이 논문은 단순연결된, 기저점을 가진 심플리셜 세트의 적분 호모토피 유형이 군산적 고차 대각선 사상이 부여된 체인 복합체—구체적으로는 $σ$-오페라드 위의 m-코알제브라의 구조—에 의해 완전히 결정됨을 보여준다. 이는 단순연결된, 유한한 심플리셜 세트의 호모토피 범주와 유한 생성되며 위상적으로 실현 가능한 m-코알제브라의 호모토피 범주 사이에 함자에 의한 동치를 유도하는 바, 스틴로드 연산자와 고차 대각선 구조가 적분 호모토피 이론의 전부를 캡처함을 보여준다.

ABSTRACT

This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to define Steenrod operations). The treatment of this problem is completely self-contained, and includes material that simplifies, extends, and corrects material from the authors AMS Memoir, "Iterating the cobar construction".

연구 동기 및 목표

• 단순연결된, 기저점을 가진 2-감소한 심플리셜 세트의 호모토피 유형이 스틴로드 연산자에서 사용된 것과 유사한 고차 대각선 사상이 부여된 체인 복합체에 의해 결정됨을 보이는 것.
• 오페라드 $σ$ 위의 m-코알제브라의 호모토피 이론을 개발하여 적분 호모토피 유형의 기초가 되는 대수적 구조를 포괄하는 것.
• 이러한 m-코알제브라 위의 코바르 건축이 원래 공간의 호모토피 유형을 복원함으로써, 위상적 실현 가능성의 순수 대수적 특성화를 제공하는 것.
• 유한한 단순연결된 심플리셜 세트의 호모토피 범주와 유한 생성되며 위상적으로 실현 가능한 m-코알제브라의 호모토피 범주 사이에 동치를 확립하는 것.
• 기본적인 동치를 통한 인수분해를 사용하여 이러한 공간들의 체인 복합체 간의 사상이 연속 사상에 의해 실현 가능한 조건을 명확히 하는 것.

제안 방법

• 논문은 대칭군에 의해 인덱싱된 고차 대각선 사상이 부여된 체인 복합체로서 m-코알제브라를 정의하며, $σ$-오페라드를 사용해 이 구조를 형식화한다.
• 모든 단순연결된 2-감소한 심플리셜 세트에 대해 그 정규화된 체인 복합체 위에 m-코알제브라 구조를 부여하는 함자 $σ(*)$를 구성한다.
• m-코알제브라의 범주 $Λ_0$를 정의하고, 약한 동치의 역할을 하는 '기본 동치'—즉, 약한 동치이자 $Η$-무관인 코어널이 있는 단사 사상—의 집합을 국소화하여 호모토피 범주 $Λ$를 구성한다.
• 바르 건축과 코바르 건축을 사용하여 m-코알제브라를 순환 공간과 연결하고, 원래 공간의 호모토피 유형을 모델링하는 분해를 수립한다.
• σ 위의 m-코알제브라 위의 코바르 건축이 원래 공간의 위상적 실현임을 증명하며, 오페라드 작용이 고차 호모토피 연산을 모두 캡처함을 보인다.
• 코바르 건축과 바르 건축 사이의 이중성을 확립하여, 코바르 건축이 범주 동치를 통해 원래 공간의 호모토피 유형을 복원함을 보여준다.

실험 결과

연구 질문

• RQ1 단순연결된, 기저점을 가진 심플리셜 세트의 적분 호모토피 유형은 고차 대각선 사상이 부여된 체인 복합체로부터 완전히 재구성될 수 있는가?
• RQ2 스틴로드 연산자와 고차 컵-$\psi$ 구조의 전부를 캡처하는 체인 복합체 위의 대수적 구조는 무엇인가?
• RQ3 이러한 공간들의 체인 복합체 간의 사상이 원래 공간 간의 연속 사상에 의해 실현 가능한 조건은 무엇인가?
• RQ4 체인 수준의 구조를 사용하여, 유한한 단순연결된 심플리셜 세트의 호모토피 범주를 어떻게 대수적으로 특성화할 수 있는가?
• RQ5 특히 $σ$-오페라드는 공간의 전체 호모토피 유형을 어떻게 캡처하는가?

주요 결과

• 기저점을 가진 단순연결된 CW-복합체의 호모토피 범주에서 $\mathfrak{L}^+$로의 함자 $\mathscr{C}(*)$는 호모토피 범주 간의 동치를 유도한다.
• 유한한 단순연결된 심플리셜 세트에 대해, 함자 $\mathscr{C}(*)$는 이러한 공간의 호모토피 범주와 유한 생성되며 위상적으로 실현 가능한 m-코알제브라의 호모토피 범주 사이에 동치를 유도한다.
• 체인 사상 $f: C(X) \to C(Y)$가 표준 체인 복합체 간에 존재할 때, 이는 유한한 m-코알제브라 $C$를 통해 m-코알제브라의 사상과 왼쪽 역원을 가진 기본 동치를 통한 인수분해를 거쳐 위상적으로 실현 가능하다.
• 오페라드 $\mathfrak{S}$ 위의 m-코알제브라 위의 코바르 건축은 원래 공간의 호모토피 유형을 복원하며, 오페라드 작용이 모든 고차 호모토피 연산을 캡처한다.
• $\mathfrak{S}$-오페라드 위의 m-코알제브라의 범주는 잘 정의된 호모토피 이론을 지니며, 기본 동치가 약한 동치의 역할을 한다.
• 논문은 코바르 건축 위의 $A_\infty$-구조가 원래 체인 복합체 위의 전체 $E_\infty$-구조를 복원하는 데에 충분함을 증명하며, $\mathfrak{S}$-오페라드가 전체 적분 호모토피 유형을 캡처함을 보여준다.