[논문 리뷰] The infinity Quillen functor, Maurer-Cartan elements and DGL realizations

Urtzi Buijs, Yves Félix외 2명|arXiv (Cornell University)|2017. 02. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 텐서 대수 위에 새로운 리 괄호 공식을 도입하여, 코심플리셜 완비 미분 가환 리 대수(cDGL) ${\mathfrak{L}}_{\bullet}$의 새로운 구성법을 제시한다. 이는 임의의 cDGL $L$에 대한 기하적 실현 $\langle L\rangle = \operatorname{Hom}_{\text{cDGL}}({\mathfrak{L}}_{\bullet}, L)$을 가능하게 하며, 핵심 결과로 $\langle L\rangle$가 Getzler-Hinich 실현의 변형수인 네르브 $\gamma_{\bullet}(L)$와 동형임을 증명한다. 이는 강한 호모토피 동치를 확립하고, 유리수 호모토피 이론에서 다양한 실현 방식을 통합한다.

ABSTRACT

We show an alternative construction of the cosimplicial free complete diferential graded Lie algebra $\mathfrak{L}_\bullet=\widehat{\mathbb{L}}(s^{-1}Δ^\bullet)$ based on a new Lie bracket formulae for Lie polynomials on a general tensor algebra. Based on it,we prove that for any complete differential graded Lie algebra $L$, its geometrical realization $\langle L angle= ext{Hom}_{ ext{cdgl}}(\mathfrak{L}_\bullet,L)$ is isomorphic to its nerve $γ_\bullet(L)$, a deformation retract of the Getzler-Hinich realization $ ext{MC}(\mathscr{A}_\bullet\widehat{\otimes} L)$.

연구 동기 및 목표

• 일반적인 텐서 대수 위에서 리 다항식에 대한 새로운 리 괄호 공식을 도입하여, 코심플리셜 cDGL ${\mathfrak{L}}_{\bullet} = \widehat{\mathbb{L}}(s^{-1}\Delta^{\bullet})$의 대체적이고 대수적으로 명시적인 구성법을 제공한다.
• 기존 모델과의 호환성을 확보하면서, $\operatorname{Hom}_{\text{cDGL}}({\mathfrak{L}}_{\bullet}, L)$를 통해 임의의 완비 미분 가환 리 대수 $L$에 대한 기하적 실현 $\langle L\rangle$를 수립한다.
• 이 기하적 실현 $\langle L\rangle$가 알려진 Getzler-Hinich 실현의 변형수인 네르브 $\gamma_{\bullet}(L)$와 동형임을 증명한다.
• 호모토피 변형수 기법과 $L_\infty$-대수의 구조를 통해, $\langle L\rangle \cong \gamma_{\bullet}(L)$를 통해 코심플리셜 cDGL의 다양한 실현 방식을 통합한다.

제안 방법

• 일반적인 텐서 대수 위에서 리 다항식에 대한 새로운 리 괄호 공식을 도입하여, 고전적 Quillen 함자 $\mathcal{L}$를 $C_\infty$-코알제브라로 확장한다.
• 코심플리셜 cDGL ${\mathfrak{L}}_{\bullet}$를 $\widehat{\mathbb{L}}(s^{-1}\Delta^{\bullet})$로 구성하며, 표준 $n$-심플렉스의 심플리셜 체인 복합체에 의해 유도된 미분을 갖는다.
• 호모토피 변형수 이론을 활용하여, 코커뮤터티 미분 가환 코알제브라 $C$와 그 유한 타입 부분복합체 $V$ 사이의 관계를 분석하고, $\operatorname{Hom}(V, L)$에 $L_\infty$-구조를 유도한다.
• 정리 0.3를 통해, $\operatorname{Hom}(V, L)$의 마우러-카르탕 원소들과 $\mathcal{L}(V)$에서 $L$로의 cDGL 준동형사상 사이의 전단사 관계를 수립한다.
• CDGA에 대해 이중화를 적용하여, $V \otimes L$에 $\operatorname{Hom}(V^\sharp, L)$과 동형인 $L_\infty$-구조를 얻고, 이를 통해 정리 0.4를 유도한다.
• 심플렉스 마우어-카르탕 집합 간의 사상 $\operatorname{MC}(I_n)$가 $\operatorname{MC}(I_n)(\alpha_{0\dots n} \otimes \Phi) = \omega_{0\dots n} \otimes \Phi$를 만족하며, $L_\infty$-준동형사상 $I_n$의 재귀적 테일러 급수 전개를 사용하여 증명한다.

실험 결과

연구 질문

• RQ1 코심플리셜 cDGL ${\mathfrak{L}}_{\bullet}$는 이전의 인도적 또는 호모토피 전달 방법에 의존하지 않고, 텐서 대수 위의 새로운 리 괄호 공식을 통해 구성될 수 있는가?
• RQ2 기하적 실현 $\langle L\rangle = \operatorname{Hom}_{\text{cDGL}}({\mathfrak{L}}_{\bullet}, L)$는 Getzler-Hinich 실현 $\operatorname{MC}({\mathscr{A}}_{\bullet} \widehat{\otimes} L)$과 호모토피 동치인가?
• RQ3 유한성 가정 없이도, 심플렉스 집합 $\langle L\rangle$는 $\operatorname{MC}({\mathscr{A}}_{\bullet} \widehat{\otimes} L)$의 부분심플렉스 집합인 네르브 $\gamma_{\bullet}(L)$와 일치하는가?
• RQ4 명시적인 $L_\infty$-준동형사상과 유도된 사상의 테일러 급수 전개를 통해 $\langle L\rangle$와 $\gamma_{\bullet}(L)$ 사이의 호모토피 동치를 확립할 수 있는가?

주요 결과

• 논문은 텐서 대수 위의 새로운 리 괄호 공식을 사용하여 코심플리셜 cDGL ${\mathfrak{L}}_{\bullet}$를 구성하며, 이는 이전의 인도적 방법에 의존하지 않는 대수적 대체 구성법을 제공한다.
• 기하적 실현 $\langle L\rangle = \operatorname{Hom}_{\text{cDGL}}({\mathfrak{L}}_{\bullet}, L)$는 심플렉스 집합으로서 네르브 $\gamma_{\bullet}(L)$와 동형이며, 정리 3.8에 의해 명시되어 있다.
• 이 동형성 $\langle L\rangle \cong \gamma_{\bullet}(L)$는 $\langle L\rangle \simeq \operatorname{MC}(C^*(\Delta^\bullet) \otimes L)$의 호모토피 동치와 $\gamma_{\bullet}(L) \simeq \operatorname{MC}(C^*(\Delta^\bullet) \otimes L)$의 알려진 호모토피 동치의 복합으로 증명된다.
• 모든 $n \geq 1$에 대해, 호모토피 군 $\pi_n \langle L^{(z)} \rangle$는 $H_{n-1}(L^{(z)})$와 동형이며, 이 동형은 1차 수준에서 베크-캠프벨-하우스도르프 공식에 의해 주어진다.
• $\operatorname{MC}(I_n)$은 마우어-카르탕 집합 간의 사상으로서 $\operatorname{MC}(I_n)(\alpha_{0\dots n} \otimes \Phi) = \omega_{0\dots n} \otimes \Phi$를 만족하며, $\omega_{0\dots n}$의 노름화 성질로 인해 고차항이 소멸한다.
• $L_\infty$-준동형사상 $I_n$은 재귀적 테일러 급수 전개를 가지며, $I_n^{(1)} = i_n$이고, $\alpha_{0\dots n} \otimes \Phi$에 대해 $k \geq 2$일 때 $I_n^{(k)} = 0$이 된다. 이는 $\omega_{0\dots n}$의 거듭제곱이 0이 되기 때문이다.