[논문 리뷰] Descent of Deligne-Getzler $\infty$-groupoids

Ruggero Bandiera|arXiv (Cornell University)|2017. 05. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 31인용 수 8

한 줄 요약

이 논문은 Getzler의 $\infty$-군oids 구조가 $L_{\infty}$-대수에서 전체화와 호모토피 극한과 가환함을 증명하며, Hinich의 내림내림 정리(Descent theorem)를 고차 호모토피 구조로 일반화한다. $\Delta_{\infty}$-군oids와 사상 공간 사이의 자연스러운 약한 동치를 통해 저자는 $\Delta_{\infty}(-)$가 호모토피 이론적 극한을 보존함을 증명하며, 이는 음의 차수를 가진 $L_{\infty}$-대수로의 변형 이론을 확장한다.

ABSTRACT

We prove that Getzler's higher generalization of the Deligne groupoid commutes with totalization and homotopy limits.

연구 동기 및 목표

• Deligne 군oids의 Hinich 내림내림 정리를 Getzler의 $\infty$-군oids 구조로 $L_{\infty}$-대수의 맥락에서 일반화하기.
• 기존의 내림내림이 실패하는 $L_{\infty}$-대수가 음의 비영 차수를 가질 경우, 고차 군oids의 구조가 필요로 함을 다루기.
• $\Delta_{\infty}(-)$ 함자가 호모토피 극한과 전체화와 가환함을 보장하기 위해, 이는 유도 기하학적 구성과의 호환성을 확보한다.
• 이전 연구에서 제한 조건이 존재하는 것을 피한, 개념적이고 Reedy 모델 범주 기반의 증명을 제공하기.

제안 방법

• 단순 복합체 $X$와 $L_{\infty}$-대수 $L$에 대해 자연스러운 약한 동치 $\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$ 를 도입하여, 코homology와 사상 공간을 연결한다.
• Dupont의 수축을 통한 호모토피 전달을 사용하여 $C^{*}(\Delta_{\bullet};L)$ 에 $L_{\infty}$-구조를 부여함으로써, $\operatorname{Del}_{\infty}(L)$ 이 칸 복합체로 정의될 수 있도록 한다.
• Reedy 모델 범주 기법을 적용하여 $\operatorname{Del}_{\infty}(L_{\bullet})$ 가 Reedy 피브레이션임을 증명함으로써, 호모토피 극한과의 호환성을 확보한다.
• 부분 전체화의 탑재 구조를 구축하고, 피봇 공간도형과 약한 동치를 통해 귀납적으로 $\operatorname{Del}_{\infty}(-)$ 와 $\operatorname{Tot}(-)$ 간의 호환성을 증명한다.
• $\operatorname{Del}_{\infty}(-)$ 가 매칭 공간 함자 $M_{k-1}(-)$ 와 가환함을 이용하여, 단순 복합체의 사상 공간과의 귀납적 비교를 가능하게 한다.
• 코심플렉스 치환 함자 $\Pi(-)$ 를 사용하여 호모토피 극한과 전체화를 연결하고, 주요 약한 동치를 적용하여 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Getzler의 $\infty$-군oids 구조 $\operatorname{Del}_{\infty}(-)$ 는 $L_{\infty}$-대수 다이어그램의 전체화와 가환합니까?
• RQ2 $L_{\infty}$-대수가 비영 음의 차수를 가질 경우, 고전적 Deligne 군oids가 실패하는 상황에서 $\operatorname{Del}_{\infty}(-)$ 의 내림내림 성질을 어떻게 일반화할 수 있습니까?
• RQ3 단순 복합체 $X$에 대해 $\operatorname{Del}_{\infty}(C^{*}(X;L))$ 와 단순 복합체 사상 공간 $\underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$ 사이에 자연스러운 약한 동치가 존재합니까?
• RQ4 $\operatorname{Del}_{\infty}(-)$ 는 $L_{\infty}$-대수의 범주에서 호모토피 극한과 어떻게 상호작용합니까?
• RQ5 $L_{\infty}$-대수나 색인 범주에 대한 제한 조건 없이 $\operatorname{Del}_{\infty}(-)$ 와 호모토피 극한의 호환성을 어떻게 확립할 수 있습니까?

주요 결과

• 함자 $\operatorname{Del}_{\infty}(-)$ 는 전체화와 약한 동치로 가환함: $\operatorname{Del}_{\infty}(\operatorname{Tot}(F)) \xrightarrow{\sim} \operatorname{Tot}(\operatorname{Del}_{\infty} \circ F)$, 임의의 다이어그램 $F$ 에 대해 $\widehat{\mathbf{L}_{\infty}}^{\Delta}$ 에 속함.
• 함자 $\operatorname{Del}_{\infty}(-)$ 는 호모토피 극한과 가환함: $\operatorname{Del}_{\infty}(\underleftarrow{\operatorname{holim}}(F)) \xrightarrow{\sim} \underleftarrow{\operatorname{holim}}(\operatorname{Del}_{\infty} \circ F)$, 임의의 다이어그램 $F$ 에 대해 $\widehat{\mathbf{L}_{\infty}}^{\mathbf{S}}$ 에 속함.
• 임의의 단순 복합체 $X$ 와 $L_{\infty}$-대수 $L$ 에 대해 핵심적인 약한 동치 $\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$ 가 확립되었으며, 이는 코homology와 사상 공간 사이의 다리 역할을 한다.
• 증명은 Reedy 모델 범주 기법과 $\operatorname{Del}_{\infty}(L_{\bullet})$ 의 Reedy 피브레이션에 기반하여, 호모토피 극한과의 호환성을 보장한다.
• $\operatorname{Del}_{\infty}(\operatorname{Tot}(F))$ 의 기본 군oids 는 $\operatorname{Tot}(\operatorname{Del}_{\infty} \circ F)$ 와 동형임을 확인하여, 군oids 수준에서도 호환성이 입증된다.
• 결과는 Hinich의 내림내림 정리를 비음성 $L_{\infty}$-대수를 초월하여 전체적인 $\infty$-범주적 맥락으로 일반화한다.