[논문 리뷰] The Eckmann-Hilton argument, higher operads and En-spaces.

Michael Batanin|arXiv (Cornell University)|2002. 07. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 11

한 줄 요약

이 논문은 n-운반자에 의한 고차원 구조로 에크만-힐튼 논증을 일반화한다. n-운반자 A에 대한 n중 스트레칭 구조 Sⁿ(A)를 도입하여, A에 대한 n-운반자 대수를 대칭 대수로 변환한다. 이는 A에 대한 한 개의 객체, 한 개의 화살표 (n−1)-범주가 Sⁿ(A)-대수와 동치임을 증명하며, 적당한 조건 하에서 이는 Sⁿ(A)-대수에 대해 En-작용을 카테고리적 코일리미트를 통해 명시적으로 제공한다.

ABSTRACT

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2-category, then its Hom-set is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is ‘the same’ as a braided monoidal category. In this paper we extend this argument to arbitrary dimension. We demonstrate that for an n-operad A in the author’s sense there exists a symmetric operadS n (A) called the n-fold suspension of A such that the category of one object, one arrow , . . . , one (n 1)-arrow algebras of A is equivalent to the category of algebras ofS n (A). Moreover, under some mild conditions, we present an explicit formula forS n (A) which involves taking the colimit over a remarkable categorical En-operad. In the case, where A is contractible in an appropriate sense, this formula provides us with an action of the En-operad on algebras ofS n (A).

연구 동기 및 목표

• n-운반자를 사용하여 고차원 카테고리적 구조로 에크만-힐튼 논증을 일반화하는 것.
• n-운반자 A에 대한 n중 스트레칭 Sⁿ(A)를 정의하여, Sⁿ(A)-대수가 A에 대한 한 개의 객체, 한 개의 화살표 (n−1)-범주를 분류하도록 하는 것.
• 적당한 조건 하에서 Sⁿ(A)에 대한 명시적 공식을 카테고리적 En-운반자에 대한 코일리미트를 통해 구축하는 것.
• A가 수축 가능할 경우, Sⁿ(A)-대수가 자연스럽게 En-운반자의 작용을 갖는다는 것을 보여주는 것.

제안 방법

• 논문은 저자의 의미에서 n-운반자의 프레임워크를 사용하여 고차원 대수적 구조를 모델링한다.
• 특정 카테고리적 En-운반자 위에서 코일리미트 구조를 통해 Sⁿ(A)를 대칭 운반자로 구성한다.
• 핵심 기술적 도구는 n-범주에 적응된 고차원 일반화된 에크만-힐튼 논증이다.
• A에 대한 한 개의 객체, 한 개의 화살표 (n−1)-범주와 Sⁿ(A)-대수 사이의 동치는 카테고리적 대칭성과 조화 정리에 의해 확립된다.
• 이 구성은 A의 호모토피적 성질, 특히 A가 적절한 호모토피적 의미에서 수축 가능할 경우에 의존한다.
• Sⁿ(A)-대수에 대한 En-작용은 코일리미트 공식과 기초가 되는 En-운반자의 구조에서 자연스럽게 유도된다.

실험 결과

연구 질문

• RQ1 에크만-힐튼 논증은 어떻게 고차원 카테고리적 및 대수적 구조로 확장될 수 있는가?
• RQ2 n-운반자 A에 대한 n중 스트레칭 Sⁿ(A)의 정확한 구성은 무엇인가?
• RQ3 언제 Sⁿ(A)가 En-운반자의 자연스러운 작용을 갖는가?
• RQ4 A에 대한 한 개의 객체, 한 개의 화살표 (n−1)-범주는 Sⁿ(A)-대수와 어떻게 관련이 있는가?
• RQ5 카테고리적 En-운반자는 Sⁿ(A)의 대칭적 구조를 실현하는 데 어떤 역할을 하는가?

주요 결과

• n-운반자 A에 대한 한 개의 객체, 한 개의 화살표, ..., 한 개의 (n−1)-화살표 대수의 범주는 Sⁿ(A)-대수의 범주와 동치이다.
• 적당한 조건 하에서 Sⁿ(A)에 대한 명시적 공식이 카테고리적 En-운반자 위의 코일리미트로 주어진다.
• n-운반자 A가 적절한 호모토피적 의미에서 수축 가능할 경우, 운반자 Sⁿ(A)는 자연스럽게 En-운반자의 작용을 갖는다.
• Sⁿ(A)의 구성은 고전적 에크만-힐튼 논증을 고차원으로 일반화하여, 단순화된 구조와 대칭적 구조를 통합한다.
• 스트레칭 Sⁿ(A)는 낮은 차원의 대수적 자료로부터 En-대수를 체계적으로 생성하는 방법을 제공한다.
• 결과적으로 이는 스트레칭 구성을 통해 고차원 카테고리적 구조와 대칭 운반자 사이의 깊은 연결을 확립한다.