[논문 리뷰] Operads with general groups of equivariance, and some 2-categorical aspects of operads in Cat

Alexander S. Corner, Nick Gurski|arXiv (Cornell University)|2013. 12. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 10

한 줄 요약

이 논문은 대칭 모나드 범주에서 쌍대극한을 갖는 임의의 대칭 모나드 범주에서 일반적인 군의 등변성군을 갖는 G-오르세이드를 도입한다. 이는 대칭, 브레드, 비대칭 오르세이드를 일반화한다. Cat 내의 오르세이드는 유한성임을 증명하고, 카르테시안 오르세이드는 거의 자유인 군 작용을 통해 특성화하며, 엄격한 모나드 범주에 대한 브레드 오르세이드는 양의 최소 브레드와 음의 최소 브레드를 통해 서로 다른 두 가지 비대칭의 의사공통 구조를 갖는다.

ABSTRACT

We give a definition of an operad with general groups of equivariance suitable for use in any symmetric monoidal category with appropriate colimits. We then apply this notion to study the 2-category of algebras over an operad in Cat. We show that any operad is finitary, that an operad is cartesian if and only if the group actions are nearly free (in a precise fashion), and that the existence of a pseudo-commutative structure largely depends on the groups of equivariance. We conclude by showing that the operad for strict braided monoidal categories has two canonical pseudo-commutative structures.

연구 동기 및 목표

• 대칭 모나드 범주에서 임의의 군의 등변성군을 갖는 오르세이드의 일반적 프레임워크를 개발하기 위해.
• Cat 내 오르세이드의 2-범주적 구조, 특히 그것이 유도하는 2-모나드를 연구하기 위해.
• 군 작용의 성질을 사용하여 Cat 내 오르세이드가 카르테시안일 조건을 특성화하기 위해.
• Cat 내 오르세이드에 의사공통 구조가 존재하는지와 그 성격을 조사하기 위해.
• 브레드 엄격 모나드 범주에 대한 오르세이드가 두 가지 표준적인 비대칭 의사공통 구조를 갖는다는 것을 보여주기 위해.

제안 방법

• G(n)이 P(n)에 작용하는 작용 오르세이드 G = {G(n)}를 통해 G-오르세이드를 정의함으로써 대칭 및 브레드 오르세이드를 일반화함.
• 데이 콘볼루션과 코엔드 계산을 사용하여 G-오르세이드를 함자 범주 내의 모노이드로 형식화함.
• 그 기저가 2-모나드 구조를 분석함으로써 Cat 내의 모든 오르세이드가 유한성임을 증명함.
• 범주론적 및 군론적 추론을 사용하여 오르세이드가 카르테시안임은 그 군 작용이 거의 자유일 때에만 성립함을 증명함.
• 브레드 군 내의 양의 최소 브레드와 음의 최소 브레드를 사용하여 브레드 오르세이드 B에 대해 두 가지 의사공통 구조를 구성함.
• 브레드 군 Br_N 내에서의 브레드 합성의 최소성과 양의 성질을 통해 의사공통 구조의 공리가 성립함을 검증함.

실험 결과

연구 질문

• RQ1 Cat 내 오르세이드가 카르테시안일 조건은 무엇이며, 이는 그 군 작용의 구조와 어떻게 관련되는가?
• RQ2 Cat 내 오르세이드가 의사공통 구조를 갖는 조건는 무엇이며, 이는 등변성 군에 어떻게 의존하는가?
• RQ3 브레드 엄격 모나드 범주에 대한 오르세이드는 두 개 이상의 의사공통 구조를 갖을 수 있는가, 그리고 그것들은 대칭적인가?
• RQ4 Cat 내 오르세이드의 2-범주적 성질은 1-범주적 대응과 어떻게 다를까?
• RQ5 브레드 군 설정에서 의사공통 구조의 공리를 검증하는 데 있어 브레드의 최소성과 양의 성질은 어떤 역할을 하는가?

주요 결과

• Cat 내 모든 오르세이드는 유한성임을 의미하며, 그 기저 2-모나드가 필터링된 쌍대극한을 유지한다.
• Cat 내 오르세이드가 카르테시안임은 그 군 작용이 거의 자유일 때에만 성립한다. 즉, G(n)-작용에 대한 안정자군이 자명하거나 거의 자명하다.
• Cat 내 오르세이드에 의사공통 구조가 존재하는지는 등변성 군의 선택에 크게 의존하며, 특히 브레드 군의 경우 그러하다.
• 브레드 엄격 모나드 범주에 대한 오르세이드는 두 가지 표준적인 의사공통 구조를 갖는다: 하나는 양의 최소 브레드를 사용하고, 다른 하나는 음의 최소 브레드를 사용한다.
• 이 두 의사공통 구조 모두 대칭적이지 않다. 이는 t_{2,2} = σ₂ 가 Br₄ 내에서 2보다 큰 차수를 갖기 때문에 증명된다.
• 증명에 사용된 브레드 합성은 최소성과 양의 성질을 갖는다. 이는 브레드 군 내에서의 등식을 보장하며, 의사공통 구조의 공리를 확인한다.