[논문 리뷰] An Additivity Theorem for the Interchange of E_n Structures

Zbigniew Fiedorowicz, R. M. Vogt|arXiv (Cornell University)|2011. 02. 07.

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

한 줄 요약

이 논문은 위상적 작용소의 텐서곱 내에서 비자명한 단어 문제를 해결함으로써 E_n 작용소의 상호교환성에 대한 가환성 정리를 수립한다. 이는 코프리프레임 E_k-작용소와 코프리프레임 E_l-작용소의 텐서곱이 E_{k+l}-작용소임을 증명하며, 반복 루프 공간 이론에서 오랫동안 남아있던 추측을 해결하고 고차 대수학과 n-카테고리 이론의 기초 결과를 제공한다.

ABSTRACT

The notion of interchange of two multiplicative structures on a topological space is encoded by the tensor product of the two operads parametrizing these structures. Intuitively one might thus expect that the tensor product of an E_m and an E_n operad (which encode the muliplicative structures of m-fold, respectively n-fold loop spaces) ought to be an E_{m+n} operad. However there are easy counterexamples to this naive conjecture. In this paper we show that the tensor product of a cofibrant E_m operad and a cofibrant E_n operad is an E_{m+n} operad. It follows that if A_i are E_{m_i} operads for i=1,2,...,k, then there is an E_{m_1+m_2+...+m_k} operad which maps into their tensor product.

연구 동기 및 목표

• 코프리프레임 E_k-작용소와 코프리프레임 E_l-작용소의 텐서곱이 E_{k+l}-작용소임을 증명하는 것.
• 특히 0항, 1항 및 2항 연산에 대해 위상적 작용소의 텐서곱 내에서 비자명한 단어 문제를 해결하는 것.
• 코프리프레임 E_k-작용소와 코프리프레임 E_l-작용소의 텐서곱이 E_{k+l}-작용소를 유도함으로써 반복 루프 공간 이론의 핵심 구성 요소를 검증하는 것.
• 고차 카테고리 이론과 A_∞-카테고리에서 대수적 구조의 상호교환성에 대한 호모토피적 기초를 제공하는 것.
• 이전 구성에서의 격차를 고려할 때, 작용소 텐서곱과 델로프 링크 기계 간의 관계를 명확히 하는 것.

제안 방법

• 단순 체인 집합과 순서 집합을 통해 작용소를 모델링하기 위해 네비 함수 N과 코엔드 계산법을 사용하는 것.
• 순서 집합 구조와 세포 분해를 이용하여 텐서곱 작용소 W|NM_k| ⊗ W|NM_l|의 수축 가능한 커버링을 구성하는 것.
• 호모토피적 일관성을 보장하기 위해 코엔드 함수 W를 사용해 작용소의 코프리프레임 대체를 생성하는 것.
• E_k 및 E_l 작용소의 구조를 통해 작용소 합성의 호환 가능한 분해를 코딩하는 순서 집합 작용소 I(k,l)를 정의하는 것.
• Cat-작용소의 사상 L: I(k,l) → Mk+l를 수립하여, 텐서곱이 유니버설 E_{k+l}-작용소와 호모토피적으로 동치임을 보이는 것.
• 바르센트릭 분할과 면 순서 집합 구조를 사용하여 커버링의 네비를 E_{k+l}-작용소의 분류 공간과 연결하는 것.

실험 결과

연구 질문

• RQ1 코프리프레임 E_k-작용소와 코프리프레임 E_l-작용소의 텐서곱은 E_{k+l}-작용소와 준동형임이 확인되는가?
• RQ2 E_n 작용소의 상호교환성을 표현하는 두 위상적 작용소의 텐서곱의 구조는 어떻게 되는가?
• RQ3 E_k 및 E_l-작용소의 텐서곱 내에서 0항, 1항 및 2항 연산에 대한 단어 문제를 해결할 수 있는가?
• RQ4 E_k 및 E_l-작용소의 텐서곱은 엄밀한 작용소가 아니더라도 E_{k+l}의 구조를 호모토피적으로 유지하는가?
• RQ5 작용소 텐서곱과 반복 루프 공간의 델로프 링크 간의 정확한 관계는 무엇인가?

주요 결과

• 코프리프레임 E_k-작용소와 코프리프레임 E_l-작용소의 텐서곱은 E_{k+l}-작용소임을 확인하여 가환성 정리를 확인한다.
• 위상적 작용소의 텐서곱 내에서 0항, 1항 및 2항 연산에 대한 단어 문제의 해법은 순서 집합 작용소 I(k,l) 위의 세포 분해를 통해 달성된다.
• 사상 L: I(k,l) → Mk+l 는 Cat-작용소의 약한 동치를 이룬다. 이는 W|NM_k| ⊗ W|NM_l| 가 Mk+l 와 호모토피적으로 동치임을 보장한다.
• 텐서곱의 작용소 구조는 대칭군 작용과 작용소 합성과 호환되어 일관성을 보장한다.
• 이 결과는 임의의 E_{k_i}-작용소 A_i에 대해, n중 텐서곱 A_1 ⊗ ⋯ ⊗ A_n 이 최소한 E_{k_1+⋯+k_n}-작용소임을 암시한다.
• 이 증명은 다양한 모델 구조에 대해 강건하다. 결과는 스트롬 및 쿠일렌 모델 구조 모두에서 성립한다.