[논문 리뷰] Delooping totalization of a multiplicative operad

Victor Tourtchine|arXiv (Cornell University)|2010. 12. 29.

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

한 줄 요약

이 논문은 다중곱 작용소로부터 유도된 코심플리셜 공간의 총합화와 그 작용소 자체로의 아소시아티브 작용소에서의 유도된 사상의 이중 루프 공간 사이의 호모토피 동치를 확립한다. 이중 루프 공간으로의 델루핑을 기하학적이고 호모토피 이론적인 방법으로 구성하기 위해, 이중 모듈러 및 작용소의 카테고리에서 명시적인 코프리프레센트 모델을 사용하여, 총합화 공간을 두 번 델루핑하는 기하학적 증명을 제시한다.

ABSTRACT

The paper shows that under some conditions the totalization of a cosimplicial space obtained from a multiplicative operad is a double loop space of the space of derived morphisms from the associative operad to the operad itself.

연구 동기 및 목표

• 다중곱 작용소로부터 유도된 코심플리셜 공간의 총합화와 아소시아티브 작용소에서 그 작용소 자체로의 유도된 사상의 이중 루프 공간 사이의 호모토피 동치를 확립하기 위해.
• 고도로 추상적인 호모토피 기법에 의존하지 않고, 총합화 공간의 이중 델루핑을 기하학적이고 호모토피 이론적인 방법으로 증명하기 위해.
• 이중 모듈러, 모듈러, 그리고 작용소의 중첩된 카테고리에서 아소시아티브 작용소에 대한 명시적인 코프리프레센트 모델을 구성하기 위해.
• 총합화 공간이 작용소 카테고리에서의 유도된 사상 공간의 이중 루프 공간과 호모토피 동치임을 보여주기 위해.

제안 방법

• 작용소 $\mathcal{A}_{\text{ssoc}}$ 위의 약한 이중 모듈러 카테고리에서 아소시아티브 작용소에 대한 코프리프레센트 모델 $\widetilde{\triangle}$ 을 구성하기 위해.
• $\mathcal{A}_{\text{ssoc}}$ 위의 이중 모듈러 카테고리에서 $\mathcal{A}_{\text{ssoc}}$ 에 대한 코프리프레센트 모델 $\widetilde{\square}$ 을 구성하기 위해.
• $\mathcal{A}_{\text{ssoc}}$ 위의 $\Sigma$-없는 작용소 카테고리에서 $\mathcal{A}_{\text{ssoc}}$ 에 대한 코프리프레센트 모델 $\widetilde{\text{\textasciigrave}}$ 를 구성하기 위해.
• 순차적인 델루핑 단계를 통해 호모토피 동치 $\Omega^2 \operatorname{Operads}(\widetilde{\text{\textasciigrave}}, \mathcal{O}) \simeq \operatorname{Tot} \mathcal{O}(\bullet)$ 를 확립하기 위해.
• 총합화 공간 간의 사상의 섬세한 분석을 통해 루프 공간에 유도된 사상이 호모토피 동치임을 증명하기 위해.
• 반등성 코심플리셜 총합화와 전체 총합화 사이의 동치를 활용하여, 처음에는 분해를 무시하고 구성 과정을 단순화하기 위해.

실험 결과

연구 질문

• RQ1 다중곱 작용소로부터 유도된 코심플리셜 공간의 총합화는 아소시아티브 작용소에서 그 작용소 자체로의 유도된 사상의 이중 루프 공간과 호모토피 동치인가?
• RQ2 고도로 발전된 호모토피 이론적 도구에 의존하지 않고, 총합화 공간의 이중 델루핑을 기하학적으로 구성할 수 있는가?
• RQ3 약한 이중 모듈러, 이중 모듈러, 그리고 작용소의 카테고리에서 아소시아티브 작용소에 대한 명시적인 코프리프레센트 모델은 무엇이 있는가?
• RQ4 이중 모듈러 구조에 세포의 포함이 총합화 공간의 호모토피 유형에 어떤 영향을 미치는가?
• RQ5 다중곱 작용소의 총합화와 작용소 카테고리에서의 유도된 사상 공간 사이의 정확한 관계는 무엇인가?

주요 결과

• 다중곱 작용소의 총합화 $\operatorname{Tot} \mathcal{O}(\bullet)$ 는 $\Omega^2 \widetilde{\operatorname{Operads}}(\mathcal{A}_{\text{ssoc}}, \mathcal{O})$ 와 호모토피 동치이다.
• 코프리프레센트 모델을 사용하여 명시적으로 호모토피 동치 $\Omega^2 \operatorname{Operads}(\widetilde{\text{\textasciigrave}}, \mathcal{O}) \simeq \operatorname{Tot} \mathcal{O}(\bullet)$ 를 구성하였다.
• $\mathcal{A}_{\text{ssoc}}$-위의 약한 이중 모듈러 카테고리 $\underset{\mathcal{A}_{\text{ssoc}}}{\operatorname{Wbimod}}$ 에서의 $\mathcal{A}_{\text{ssoc}}$ 의 코프리프레센트 모델인 $\widetilde{\triangle}$ 은 수축 가능하고 코프리프레센트인 코심플리셜 공간이며, 무한차원 $CW$-복합체 성분을 가진다.
• $\tilde{\zeta}_{n,i}$ 는 총합화 공간과 이중 모듈러 공간의 루프 공간 사이의 섬세한 분석에서 호모토피 동치를 유도한다. 이는 델루핑 단계를 단계적으로 증명한다.
• 이 구성은 $B\widetilde{\text{\textasciigrave}}_{n-1,i}$ 에서의 자유 세포 첨부와 이중 모듈러 섬세한 분석에서 구멍이 난 디스크의 포함에 의존한다.
• 이 결과는 Dwyer와 Hess의 이전 결과와 일치하지만, 증명은 더 기하학적이고 호모토피 이론 도구에 의존도가 낮다.