[논문 리뷰] Operads, tensor products, and the categorical Borel construction

Nick Gurski|arXiv (Cornell University)|2015. 08. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 작용 작용법을 Cat 위의 2-모나드로 매장하는 범주론적 Borel 구성법을 수립하며, 텐서 승수 위의 군 작용을 통해 모나이드 구조를 특성화한다. $Λ$-다중범주들은 클라이프이 bicategory 내의 모나드로 나타나며, 코버라운드 범주는 정확히 $n$-과일 캐서스 그룹 작용법과 대응된다.

ABSTRACT

We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in the image of this embedding, and as an example show that the theory of coboundary categories corresponds precisely to the operad of $n$-fruit cactus groups. We finally define $\mathbfΛ$-multicategories for an action operad $\mathbfΛ$, and show that they arise as monads in a Kleisli bicategory.

연구 동기 및 목표

• 작용 작용법에 대한 군 작용의 범주론적 일반화인 Borel 구성법을 형식화한다.
• 작용 작용법이 Cat 위의 2-모나드로 매장될 때의 이미지를 특성화하며, 구조화된 모나이드 범주를 코딩하는 모나드를 식별한다.
• $Λ$에 대한 $Λ$-다중범주를 정의하고, 그것이 클라이프이 bicategory 내의 모나드에서 기인함을 보인다.
• 코버라운드 범주가 정확히 $n$-과일 캐서스 그룹 작용법과 대응됨을 보이며, 표현 이론적 구조와 작용법적 구조를 통합한다.

제안 방법

• 군 $G$에 대해 전이 범주 $EX$와 분류 범주 $BG$를 사용하여 범주론적 Borel 구성법을 정의한다.
• 자연스러운 등기성 사상 $p: EUG \Rightarrow BG$를 사용하여 Cat 내의 유일한 배럴을 모델링하고, 이는 모나드 구성의 기초가 된다.
• 블록 합과 블록의 순열이라는 두 가지 연산을 통해 작용 작용법을 특성화하며, 대칭군 작용을 일반화한다.
• 범주론적 Borel 구성법을 통해 작용 작용법을 Cat 위의 2-모나드로 매장하고, 이미지가 $n$-중 텐서 승수 위에 $Λ(n)$-작용을 부여하는 모나드로 구성됨을 보인다.
• $Λ$-다중범주를 자유 $Λ$-작용법 구성의 클라이프이 bicategory 내의 모나드에 대한 대수로 구성한다.
• 로컬 수축성과 자연 변환의 성분별 분석을 통해 $Λ$-다중범주와 $Λ$의 클라이프이 bicategory 내의 모나드 사이의 이등치를 증명한다.

실험 결과

연구 질문

• RQ1 군 작용에 대한 고전적 Borel 구성법을 작용 작용법, 즉 군 작용을 갖는 작용법으로 일반화할 수 있는가?
• RQ2 작용 작용법에 대해 범주론적 Borel 구성법을 적용했을 때 Cat 위의 어떤 2-모나드가 유도되며, 이를 어떻게 특성화할 수 있는가?
• RQ3 $Λ$-다중범주의 기초가 되는 범주론적 구조는 무엇이며, 클라이프이 bicategory 내의 모나드와 어떻게 관련되어 있는가?
• RQ4 코버라운드 범주는 특정한 작용 작용법과 대응되는가? 만약 그렇다면 어떤 작용법인가?
• RQ5 자유 작용 작용법은 생성자와 관계를 통해 구성될 수 있으며, 이는 클럽 이론과 어떻게 관련되는가?

주요 결과

• 범주론적 Borel 구성법은 작용 작용법을 Cat 위의 2-모나드 2-범주에 완전 충실하게 매장하며, 이미지는 $n$-중 텐서 승수 위에 $Λ(n)$-작용을 갖는 모나드로 구성된다.
• 코버라운드 범주의 이론은 정확히 $n$-과일 캐서스 그룹 작용법에 의해 묘사되며, 표현 이론과 작용법적 구조 사이의 직접적인 연결 고리를 확립한다.
• $Λ$-다중범주의 bicategory는 자유 $Λ$-작용법 구성의 클라이프이 bicategory 내의 이산 범주 위의 모나드 bicategory와 이등치된다.
• 클라이프이 bicategory 내의 올락 모나드 사상은 정확히 $Λ$-다중함수로 표현되며, 2-세포는 기저 집합 위에서의 함수 일치에 의해 유일하게 결정된다.
• 모나드 bicategory의 호모로지 범주들은 본질적으로 이산적이며, 2-세포가 존재하거나 존재하지 않거나 둘 중 하나이므로, 사상에 대한 엄격한 제어가 보장된다.
• $Λ$-작용법의 범주는 클라이프이 bicategory 내의 단일 집합 위의 모나드의 bicategory와 동치이며, 이는 $Λ$-작용법이 모나드적 성격을 갖음을 확인한다.