[논문 리뷰] Erratum to: "A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold"

Vasiliy Dolgushev|ArXiv.org|2007. 03. 04.

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

한 줄 요약

이 논문은 매끄러운 다양체에 대한 Tsygan의 형식성 추측에 대한 Dolgushev의 2007년 증명에서 Lemma 1의 결함을 수정하며, $L_\infty$-사상의 Maurer-Cartan 원소 해석을 사용하여 새로운 증명을 제시한다. 수정은 DG 코무터티브 코알제브라 위의 모델 범주 구조를 통해 $L_\infty$-사상 간의 호모토피를 재정의함으로써 원래의 결과, 특히 정리 6까지 모두 유지한다.

ABSTRACT

Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of math.QA/0504420 contains an error. In this note I give a correct proof of this lemma which was suggested to me by Dmitry Tamarkin. The correction does not change the results of math.QA/0504420.

연구 동기 및 목표

• Dolgushev의 2007년 논문의 2.3절에서 Lemma 1의 오류를 수정하기 위해.
• Maurer-Cartan 원소 해석을 통한 $L_\infty$-사상의 엄밀한 증명을 제공하기 위해.
• 모델 범주 이론과 일관된 방식으로 $L_\infty$-사상 간의 호모토피를 재정의하기 위해.
• 수정된 증명에도 불구하고 원래 논문의 정리 6 및 기타 결과의 타당성을 보장하기 위해.
• DG 코무터티브 코알제브라 위의 모델 범주 이론을 통해 $L_\infty$-사상 간 호모토피의 해석을 수립하기 위해.

제안 방법

• 원래의 $L_\infty$-사상들을 Hom-복합체로부터 구성된 보조 $L_\infty$-대수에서의 Maurer-Cartan 원소로 재해석한다.
• 스펜싱 $s$와 스처르 함수 $F_{{\Lambda}{\bf cocomm}}$를 사용하여 $L_\infty$-대수 ${\cal L}$에 대해 코알제브라 $C({\cal L})$를 정의한다.
• 하향 중심 필터링과 프로니르포텐시를 적용하여 무한 Maurer-Cartan 급수의 수렴을 보장한다.
• $L_\infty$-사상 간 호모토피를 다항식 De Rham 대수 $\Omega^\bullet(\mathbb{R})$를 사용한 경로 객체 구조를 통해 정의한다.
• 오른쪽 호모토피를 모델링하기 위해 매우 좋은 경로 객체 $C^+({\cal L}^\diamond)^I = C^+({\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R}))$를 구성한다.
• 호모토피 데이터를 $s\,{\rm Hom}(C({\cal L}), {\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R}))$ 내의 Maurer-Cartan 원소 $h = h^0 + h^1 dt$로 변환하며, 이는 식 (5.7)과 (5.8)을 만족한다.

실험 결과

연구 질문

• RQ1 원래 논문의 Lemma 1에서 오류가 발견된 바, 이에 대한 올바른 증명은 무엇인가? (Dolgushev의 2007년 논문의 2.3절)
• RQ2 어떻게 $L_\infty$-사상은 보조 $L_\infty$-대수 내의 Maurer-Cartan 원소로 올바르게 해석될 수 있는가?
• RQ3 모델 범주 이론과 일관된 방식으로 $L_\infty$-사상 간의 호모토피를 정의하는 올바른 방법은 무엇인가?
• RQ4 수정된 증명이 원래 논문의 정리 6 및 기타 결과의 타당성을 어떻게 유지하는가?
• RQ5 DG 코무터티브 코알제브라 위의 모델 범주 구조를 사용하여 $L_\infty$-사상 간 호모토피를 특성화할 수 있는가?

주요 결과

• 원래 논문의 Lemma 1에서의 오류는 Dmitry Tamarkin이 제안한, $L_\infty$-사상의 Maurer-Cartan 원소 해석을 기반으로 한 증명을 통해 수정된다.
• 수정된 증명은 두 $L_\infty$-사상이 호모토피일 조건이, 그 확장 $F^+$와 $\hat{F}^+$가 단위를 가진 DG 코무터티브 코알제브라의 모델 범주에서 호모토피일 조건과 정확히 일치함을 보여준다.
• 호모토피는 $C^+({\cal L}) \to C^+({\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R}))$인 사상 $H^+$를 통해 실현되며, 이는 $C^+(p_0) \circ H^+ = F^+$ 및 $C^+(p_1) \circ H^+ = \hat{F}^+$를 만족한다.
• 호모토피를 Encoding하는 Maurer-Cartan 원소 $h$는 $h = h^0 + h^1 dt$로 분해되며, $h^0$은 Maurer-Cartan 방정식을 만족하고 $h^1$은 변형의 시간 도함수를 Encoding한다.
• 경로 객체 $C^+({\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R}))$는 매우 좋은 경로 객체이므로, 호모토피가 모델 범주 의미에서 잘 행동함을 보장한다.
• 수정된 증명의 정확성과 호모토피 정의의 안정성 덕분에 원래 논문의 모든 결과, 특히 정리 6까지 그대로 유지된다.