[논문 리뷰] The relative lattice path operad

Alexandre Quesney|arXiv (Cornell University)|2015. 11. 18.

Advanced Topics in Algebra참고 문헌 24인용 수 3

한 줄 요약

이 논문은 레이어드 경로 구조를 기반으로 한 조합적 집합 수준의 작도 $ρ\mathcal{L}$ 를 스위스 페니 조합 작도의 모델로 구성하고, 바탄린-버지에의 농축 과정을 적용하여 위상적 및 체인 작도와 호환되는 약한 동치를 갖는 작도를 도출한다. 주요 결과는 농축된 작도 $Σρ\mathcal{L}_{m}$ 가 각각 위상적 및 체인 스위스 페니 작도 $σ\mathcal{C}_{m}$ 와 $C_*(\sigma\mathcal{C}_{m})$ 와 약한 동치임을 보이며, 2중 루프 공간이 상대 루프 공간에 작용하는 데 대한 대수적 모델을 제공한다.

ABSTRACT

We construct a set-theoretic coloured operad that may be thought of as a combinatorial model for the Swiss Cheese operad. This is the relative (or Swiss Cheese) version of the lattice path operad constructed by Batanin and Berger. By adapting their condensation process we obtain a topological (resp. chain) operad that we show to be weakly equivalent to the topological (resp. chain) Swiss Cheese operad.

연구 동기 및 목표

• 스위스 페니 작도의 조합적, 집합 수준의 모델을 레이어드 경로 구조를 기반으로 구축한다.
• 이 모델에 바탄린-버지에의 농축 과정을 적용하여 위상적 및 체인 작도와 약한 동치를 갖는다.
• 유도된 작도를 통해 2중 루프 공간이 2중 상대 루프 공간에 작용하는 데 대한 대수적 모델을 구축한다.
• 버지에의 리틀 큐브 작도의 세포 분해를 스위스 페니 설정으로 일반화한다.
• 포지트 작도 $ρ\mathcal{K}_{m}$ 를 사용하여 상대 루프 공간 작용의 인식 원리를 확립한다.

제안 방법

• 레이어드 경로를 기반으로 2색 작도 $ρ\mathcal{L}$ 를 집합에서 조합적 모델로 구성한다.
• 대칭 모노이드 범주에서의 영 대상을 갖는 범주에서 코심플리셜 대상 $δ$ 를 사용하여 $ρ\mathcal{L}_{m}$ 에 농축 함자 $F$ 를 적용한다.
• 두 가지 특정 코심플리셜 대상을 사용한다: 위상적 작도에 대한 $δ_{\text{Top}}$ 와 체인 복합체에 대한 $δ_{\mathbb{Z}}$.
• 포지트 작도 $ρ\mathcal{K}_{m}$ 를 사용하여 $σ\mathcal{C}_{m}$ 의 세포 분해를 정의한다. 이는 버지에의 리틀 큐브 작도 분해를 일반화한다.
• $σ\mathcal{C}_{m}$ 와 $ρ\mathcal{K}_{m}$ 의 분류 작도 사이에 징검다리 약한 동치를 확립하여, 임의의 $ρ\mathcal{K}_{m}$-세포 작도가 $σ\mathcal{C}_{m}$ 와 약한 동치임을 증명한다.
• 코바르 구조 $ΩB$ 와 상대 코바르 구조 $Ω(B,C)$ 에 명시적인 연산을 정의하여 농축된 체인 작도 $Σρ\mathcal{L}_{2}(\delta_{\mathbb{Z}})$ 와 그 부분작도 $ρ\mathcal{S}_{2}$ 의 작용을 정의한다.

실험 결과

연구 질문

• RQ1 스위스 페니 작도를 모델링하기 위해 조합적 집합 수준의 작도를 구성할 수 있는가?
• RQ2 이 모델에 농축 과정을 적용하면 표준 스위스 페니 작도와 약한 동치를 갖는 위상적 및 체인 작도를 얻을 수 있는가?
• RQ3 유도된 작도가 2중 루프 공간이 2중 상대 루프 공간에 작용하는 데 대해 대수적 모델을 제공할 수 있는가?
• RQ4 리틀 큐브 작도의 버지에 분해를 일반화한 스위스 페니 작도의 세포 분해가 존재하는가?
• RQ5 명시적인 연산을 통해 상대 코바르 구조에 $ρ\mathcal{S}_{2}$-대수의 구조를 줄 수 있는가?

주요 결과

• 작도 $Σρ\mathcal{L}_{m}(\delta_{\text{Top}})$ 는 위상적 스위스 페니 작도 $σ\mathcal{C}_{m}$ 와 약한 동치이다.
• 작도 $Σρ\mathcal{L}_{m}(\delta_{\mathbb{Z}})$ 는 체인 스위스 페니 작도 $C_*(\u03c3\mathcal{C}_{m})$ 와 약한 동치이다.
• 체인 작도 $Σρ\mathcal{L}_{2}(\delta_{\mathbb{Z}})$ 는 약한 동치를 갖는 부분작도 $ρ\mathcal{S}_{2}$ 를 포함하며, 이는 서지션 작도의 상대적 형태이다.
• 임의의 위상적 $ρ\mathcal{K}_{m}$-세포 작도는 스위스 페니 작도 $σ\mathcal{C}_{m}$ 와 약한 동치이다. 이는 인식 원리를 확립한다.
• 유니탈/코유니탈 바이알제브라 $B$ 와 $B$-코모듈 $C$ 를 갖는 유니탈 대수에서, 쌍 $(\underline{\Omega}_{u}B, \underline{\Omega}_{u}(B,C))$ 는 농축된 체인 작도 $Σρ\mathcal{L}_{2}(\delta_{\mathbb{Z}})$ 의 대수이다.
• 쌍 $(\underline{\Omega}C_*^1M, \underline{\Omega}(C_*^1M, C_*^1N))$ 는 코바르 구조에서 명시적으로 정의된 연산을 통해 작도 $ρ\mathcal{S}_{2}$ 의 작용을 갖는다.