[논문 리뷰] Group operads as crossed interval groups

Jun Yoshida|arXiv (Cornell University)|2018. 06. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 군 작용자범주에서 교차 구간 군의 범주로의 완전 충실한 함자를 수립하여, 군 작용자가 대칭 작용자범주 위에서 온전히 타인성이고 작용자범적임을 증명한다. 핵심 기여는 군 작용자범주를 교차 구간 군의 반사 부분범주로 포함시키는 범주론적 동치를 제시함으로써, 대수적 토폴로지와 호모토피 이론에서 대칭을 표현하는 두 프레임워크를 통합하는 데 있다.

ABSTRACT

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads over the operad of symmetric groups. Comparing with the monoidal structure on the category of interval sets discussed in the author's previous work, we obtain a monoidal functor connecting these two categories. It will be shown that this actually induces a fully faithful functor on monoid objects and does not change the underlying sets, so we obtain a required embedding. The conditions for crossed interval groups to belong to the essential image will be proposed; namely in terms of commutativity of certain elements. As a result, it will turn out that the group operads form a reflective subcategory of the category of crossed interval groups. Finally, we will discuss monoid objects in symmetric monoidal category and Hochschild homologies on them.

연구 동기 및 목표

• 작용자범주에서 대칭을 표현하는 두 프레임워크인 군 작용자범주와 교차 구간 군을 통합하기 위해.
• 군 작용자범주와 특정 교차 구간 군의 클래스 사이의 범주론적 동치를 수립하기 위해.
• 군 작용자범주가 정확히 대칭 작용자범주 위에서 작용자범적이면서 타인성인 교차 구간 군과 대응됨을 보여주기 위해.
• 군 작용자범주에서 교차 구간 군의 범주로의 완전 충실한 함자 구축을 통해 반사 부분범주로서의 구조를 가능하게 하기 위해.
• 이 통합의 본질적 상사(image)를 명시적으로 기술하여, 교차 구간 군의 더 넓은 맥락 속에서 군 작용자범주의 구조적 조건을 명확히 하기 위해.

제안 방법

• 대칭 작용자범자 $\mathfrak{S}$ 위의 작용자범자 슬라이스 범주 $\mathbf{Op}^{/\mathfrak{S}}$에 이중곱 구조 $\rtimes$를 정의하여, 군 구조를 모나이드 객체로 표현할 수 있도록 한다.
• 엄격하게 모나이드적인 함자 $\Psi: (\mathbf{Op}^{/\mathfrak{S}})^{*/} \to \mathbf{Set}^{/\mathfrak{S}}_{\nabla}$를 정의하여, 모나이드 객체의 범주 간의 함자를 유도한다.
• $\Psi$의 엄격한 모나이드성 덕분에 군 작용자범주의 모나이드 구조를 교차 구간 군의 범주로 옮기며, 완전 충실한 함자 $\widehat{\Psi}: \mathbf{GrpOp} \to \mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$를 얻는다.
• $\widehat{\Psi}$의 본질적 상사(image)를 특정 조건으로 특성화한다: 작용자범성(일부 원소들의 교환 법칙 성립)과 타인성(유한성 및 호환성 조건).
• 함자에 대한 수반 함자 정리(Adjoint Functor Theorem)를 적용하여 $\widehat{\Psi}$가 왼쪽 수반을 가짐을 보이며, 이는 $\mathbf{GrpOp}$이 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$의 반사 부분범주임을 확인한다.
• 함자 $\mathfrak{J}: \widetilde{\Delta} \to \nabla$를 沿해 기본 전환(base change)을 활용하여 호크시ลด 체인 복합체와 구성된 교차 구간 군 간의 관계를 규명하며, 특히 브레이드 군 작용자범주의 경우에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 군 작용자는 어떻게 완전 충실하고 구조를 유지하는 방식으로 교차 구간 군의 범주에 통합될 수 있는가?
• RQ2 군 작용자로부터 유래할 수 있는 조건으로서, $\mathfrak{S}$ 위의 교차 구간 군에 대해 필수적이고 충분한 조건은 무엇인가?
• RQ3 군 작용자범주와 특정 교차 구간 군의 부분류 사이에 범주론적 동치가 존재하는가? 만약 존재한다면, 그 동치의 성격은 어떠한가?
• RQ4 모노이드가 $\mathcal{G}$-대칭 모노이드 범주에 속해 있을 때, 그에 대응하는 호크시ลด 체인 복합체는 어떻게 구성된 군의 교차 구간 군 구조로부터 재건될 수 있는가?
• RQ5 증강된 교차 단체 군 $\mathbfcal Z$는 군 작용자범주와 호크시ลด 호모로지 사이의 연결 고리로서 어떤 역할을 하는가? 특히 함자 $\mathfrak{J}^\natural\mathcal{G}$를 통해.

주요 결과

• 군 작용자범주 $\mathbf{GrpOp}$는 $\mathfrak{S}$ 위의 교차 구간 군의 범주 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$로의 완전 충실한 함자 $\widehat{\Psi}$를 통해 통합된다.
• 군 작용자범주는 정확히 $\mathfrak{S}$ 위에서 작용자범적이면서 타인성인 교차 구간 군들로 특성화되며, 이는 구조적 분류를 제공한다.
• 통합 $\widehat{\Psi}$는 완전 충실하며 왼쪽 수반을 가지며, 이는 $\mathbf{GrpOp}$이 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$의 반사 부분범주임을 뜻한다.
• 모노이드가 $\mathcal{G}$-대칭 모노이드 아벨 범주에 속해 있을 때, 그에 대응하는 호크시ลด 체인 복합체는 $\Delta^{\mathrm{op}}$로 제한된 파라사이클릭 대상 $A^{\circledcirc}_\bullet$에 대응하는 복합체와 동형이다. 이때 $\mathcal{G}$가 군 작용자범자일 경우에 해당한다.
• 브레이드 군 작용자범자 $\mathcal{B}$의 경우, $\mathbfcal Z$, $\mathfrak{J}^\natural\mathcal{B}$, $\mathfrak{J}^\natural\mathfrak{S}$를 포함하는 표준적인 당김 사각형(square)이 존재하며, 이는 표준적인 호크시ลด 체인 구성법을 보장한다.
• 증강된 교차 단체 군 $\mathbfcal Z$에서 $\mathfrak{J}^\natural\mathcal{G}$로의 사상은 증강된 교차 단체 군의 사상과 이원적으로 대응되며, 이는 연결된 경우에 호크시ลด 복합체가 잘 정의되고 선택에 영향을 받지 않음을 보장한다.