[논문 리뷰] Maurer-Cartan elements and homotopical perturbation theory

Ezra Getzler|arXiv (Cornell University)|2018. 02. 19.

Advanced Topics in Algebra참고 문헌 2인용 수 6

한 줄 요약

이 논문은 곡률이 있는 $L_\infty$-대수 $L$의 마우러–카르탕(Maurer–Cartan) 원소 중 호모토피 조건 $hx = 0$를 만족하는 것들과, 부분복합체 $M$의 마우러–카르탕 원소 사이에 자연스러운 전단사 사상이 존재함을 확립한다. 팽창된 호모토피 페르투르베이션 이론(Fukaya's homotopical perturbation theory)을 기반으로 하며, 수축 사상 원리와 조건 $h^2 = hf = gh = 0$를 이용하여, 사영 사상 $g: L \to M$가 Kuranishi 집합 $\operatorname{MC}(L,h)$와 $\operatorname{MC}(M)$ 사이에 자연스러운 전단사 사상을 유도함을 증명한다. 이는 고전적 호모로지 페르투르베이션 프레임워크를 곡률이 있는 $L_\infty$-대수로 일반화한 것이다.

ABSTRACT

Let L be a (pro-nilpotent) curved L-infinity algebra, and let h be a homotopy between L and a subcomplex M. Using homotopical perturbation theory, Fukaya constructed from this data a curved L-infinity structure on M. We prove that projection from L to M induces a bijection between the set of Maurer-Cartan elements x of L such that hx=0 and the set of Maurer-Cartan elements of M.

연구 동기 및 목표

• 곡률 원소 $R \in F_1\mathfrak{G}^2$에 대해 $\delta^2 x = [R,x]$를 만족하는 미분을 갖는 곡률이 있는 $L_\infty$-대수로 호모토피 페르투르베이션 이론을 확장한다.
• 조건 $hx = 0$ 하에서 원래의 곡률이 있는 $L_\infty$-대수 $L$의 마우러–카르탕 원소와 페르투르베이션된 부분복합체 $M$의 마우러–카르탕 원소 사이의 정확한 대응 관계를 확립한다.
• 사영 사상 $g: L \to M$가 Kuranishi 집합 $\operatorname{MC}(L,h) = \{x \in \operatorname{MC}(L) \mid hx = 0\}$과 $\operatorname{MC}(M)$ 사이에 전단사 사상을 유도함을 자그만한 증명으로 제시한다.

제안 방법

• 호모토피 페르투르베이션의 맥락을 형식화: 필터링된 코호전자복합체 $(V^\bullet, \delta)$와 $(W^\bullet, d)$의 쌍으로, 사상 $f: W \to V$, $g: V \to W$, 그리고 호모토피 $h: V \to V[-1]$가 존재하여 $1_V = fg + \delta h + h\delta$ 및 $h^2 = hf = gh = 0$를 만족한다.
• Fukaya의 구성 방법을 사용하여 $L$의 곡률이 있는 $L_\infty$-구조를 $M$으로 옮기며, $L_\infty$-사상 공간에서 고정점 방정식 $F = f - h\lambda \bullet F$를 적용한다.
• $L_\infty$-사상 공간에서 수축 사상 원리를 적용하여, 곡률이 있는 $L_\infty$-구조 $\lambda$의 프로-노름성(pro-nilpotence)을 활용해 페르투르베이션 급수의 수렴성을 보장한다.
• Kuranishi 집합 $\operatorname{MC}(L,h)$를 $\operatorname{MC}(L)$의 원소 중 $h$에 의해 영이 되는 원소들의 부분집합으로 정의하고, $g$가 $\operatorname{MC}(M)$ 위로 전단사로 제한됨을 보인다.
• Fukaya가 구성한 $L_\infty$-사상 $F: M \to L$가 $gF = 1_M$임을 확인하고, $x \in \operatorname{MC}(L,h)$에 대해 $F(gx) = x$임을 보이며, $L^0$에서 $-h\lambda(\cdot)$의 수축 성질을 이용한다.
• 부분 도함수의 필터링 차수 증가를 이용해 평균값 정리와 함께, $x \mapsto F(gx)$가 $\operatorname{MC}(L,h)$에서 항등사상임을 증명한다.

실험 결과

연구 질문

• RQ1 사영 사상 $g: L \to M$은 $hx = 0$ 조건을 만족하는 $L$의 마우러–카르탕 원소 집합과 $M$의 마우러–카르탕 원소 집합 사이에 전단사 사상을 유도하는가?
• RQ2 Fukaya의 곡률이 있는 $L_\infty$-대수에 대한 호모토피 페르투르베이션 구성은 호모토피 조건 $hx = 0$ 하에서 마우러–카르탕 조건을 유지하는가?
• RQ3 Fukaya가 구성한 $L_\infty$-사상 $F: M \to L$는 Kuranishi 집합 $\operatorname{MC}(L,h)$에서 가역적이며, 그 역이 $g$로 주어지는가?
• RQ4 곡률이 있는 $L_\infty$-구조 $\lambda$의 프로-노름성은 $F$와 $\mu$의 페르투르베이션 급수의 수렴성을 어떻게 보장하는가?
• RQ5 측면 조건 $h^2 = hf = gh = 0$는 $x \in \operatorname{MC}(L,h)$에 대해 $F(gx) = x$를 보장하는 데 어떤 정확한 역할을 하는가?

주요 결과

• 사영 사상 $g: L \to M$는 Kuranishi 집합 $\operatorname{MC}(L,h) = \{x \in \operatorname{MC}(L) \mid hx = 0\}$과 부분복합체 $M$의 마우러–카르탕 원소 집합 $\operatorname{MC}(M)$ 사이에 자연스러운 전단사 사상을 유도한다.
• Fukaya가 구성한 $L_\infty$-사상 $F: M \to L$는 $gF = 1_M$를 만족하며, $g$와의 복합사상이 $\operatorname{MC}(L,h)$ 위에서 항등사상으로 작용함을 확인하여, $g$가 이 집합에서 $F$의 역임을 확인한다.
• $L^0$에서 $y \mapsto -h\lambda(y)$는 부분 도함수가 필터링 차수를 증가시키므로 수축 사상이며, 이는 $F$의 고정점 반복과 항등사상 $F(gx) = x$의 수렴성을 보장한다.
• 곡률이 있는 $L_\infty$-대수 $L$의 곡률 $R$은 $F_1 L^2$에 속하며, $x \in F_1 L^1$의 엄밀한 양의 필터링 차수로 인해 마우러–카르탕 방정식 $\sum_{n=0}^\infty \frac{1}{n!} [x,\dots,x]_n = 0$가 잘 정의되어 있다.
• 장애 항목 $\alpha = \delta \bullet F + \lambda \bullet F - F \circ \delta - F \circ \mu$와 $\beta = \delta \mu + \mu \circ \mu$의 영성은 수축 사상 원리 하에 유일한 자명한 해를 갖는 시스템 $\alpha = -h(\lambda \circ_F \alpha)$, $\beta = -g(\lambda \circ_F \alpha)$를 통해 확인된다.
• 이 구성은 $L_\infty$-사상의 구조와 완전히 호환된다: 만약 $\phi: K \to L$과 $\psi: L \to M$이 $L_\infty$-사상이라면, 그 복합사상 $\psi \bullet \phi$ 역시 $L_\infty$-사상이 되며, 이는 $\operatorname{MC}$ 함자에 대한 함자성(functoriality)를 보장한다.