[논문 리뷰] Another proof of M. Kontsevich formality theorem

Dmitry Tamarkin|ArXiv.org|1998. 03. 08.

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

한 줄 요약

이 논문은 $\mathbb{R}^n$에 대한 M. 컨체비치의 형식성 정리에 대한 대체 증명을 제시한다. 이는 $C^\infty(\mathbb{R}^n)$의 호흐실트 코호모로지에 대한 호모토피 게르스텐하버 대수의 구조를 구성하고, 게르스텐하버 작도 $e_2$의 해체와 호흐실트 코호모로지가 지배하는 $B_\infty$-작도 사이의 준동형사상에 의해 형식성을 증명한다. 주요 기여는 코프리미티브 코알제브라와 구성공간의 스펙트럴 시퀀스를 이용한 새로운 작도적 구성이다.

ABSTRACT

The paper contains an alternative proof of M. Kontsevich Formality Theorem.

연구 동기 및 목표

• 호흐실트 코호모로지에 대한 호모토피 게르스텐하버 대수의 구조를 이용하여 $\mathbb{R}^n$에 대한 컨체비치의 형식성 정리에 대한 새로운 증명을 제공한다.
• 호흐실트 코호모로지 복합체 $C^\infty(\mathbb{R}^n)$가 자연스러운 $B_\infty$-대수의 구조를 지닌다는 것을 확립한다.
• 게르스텐하버 작도 $e_2$의 해체로부터 $B_\infty$-작도로의 준동형사상을 구성하여 형식성을 증명한다.
• A = S\mathbb{R}^n 또는 $C^\infty(\mathbb{R}^n)$일 때 형식성의 장애물이 사라짐을 보여, 호흐실트 코호모로지의 게르스텐하버 대수가 형식적임을 시사한다.
• 코프리미티브 코알제브라의 구조와 스펙트럴 시퀀스를 이용하여 연관 작도 $As$의 해체로의 새로운 작도 $\mathcal{F}$를 구성한다.

제안 방법

• 논문은 이팅호프-카즈단 정리에 기반하여, 이중대수의 양자화를 이용해 $k: \mathcal{B}_\infty \to e_2$의 사상을 구성한다.
• 새로운 작도 $\mathcal{F}$는 $\mathcal{O}(\mathcal{A})$로 정의되며, 여기서 $\mathcal{A}$는 분해된 아소시아헤드론으로 구성된 연관 작도 $As$의 자유 해체이다.
• $\mathcal{F}$가 트리의 내부 정점에 의한 스펙트럴 시퀀스 필터링을 통해 $\mathcal{B}_\infty$와 준동형임을 보인다.
• 이 스펙트럴 시퀀스는 $\mathbb{R}^2$의 터널-맥퍼슨 컴acts화에서 유도된 것과 비교되며, 위상적 해석을 제공한다.
• $\mathcal{H}olie\{1\} \to \mathcal{F}$의 사상 $s$를 구성하여 게르스텐하버 괄호의 구조가 정확히 유지됨을 보장한다.
• 증명은 $\mathcal{O}\{m\}$의 이동 연산을 통해 그레이딩을 조정하고 $B_\infty$-구조를 $e_2$-구조와 일치시킨다.

실험 결과

연구 질문

• RQ1 호흐실트 코호모로지의 $C^\infty(\mathbb{R}^n)$에 대한 형식성은 컨체비치의 원래 방법이 아닌, 호모토피 게르스텐하버 대수의 구조를 통해 확립될 수 있는가?
• RQ2 S\mathbb{R}^n의 호흐실트 코호모로지의 게르스텐하버 대수에 대한 형식성의 장애물은 사라지는가?
• RQ3 게르스텐하버 작도 $e_2$의 해체와 호흐실트 코호모로지가 지배하는 $B_\infty$-작도 사이에 자연스러운 준동형사상이 존재하는가?
• RQ4 호흐실트 코호모로지의 $B_\infty$-구조는 새로운 작도적 구성에 의해 $e_2$의 해체로부터 사상으로서 올라갈 수 있는가?
• RQ5 형식성의 동치를 계산하기 위해 사용된 스펙트럴 시퀀스의 위상적 의미는 무엇인가?

주요 결과

• $\mathcal{F} \to \mathcal{B}_\infty$의 준동형사상을 트리의 내부 정점에 의한 스펙트럴 시퀀스 필터링을 통해 구성하여 $\mathcal{F}$가 $\mathcal{B}_\infty$의 해체임을 보였다.
• $\mathcal{F}$가 관련된 그레디드 스펙트럴 시퀀스를 분석함으로써 $\mathcal{B}_\infty$와 준동형임을 보였으며, 이는 터널-맥퍼슨 컴acts화의 것과 유사하다.
• $s: \mathcal{H}olie\{1\} \to \mathcal{F}$의 사상은 호흐실트 코호모로지의 게르스텐하버 괄호가 정확히 유도됨을 보장하여 괄호의 호환성을 검증한다.
• $\mathcal{F}$를 $As$의 자유 해체 $\mathcal{A}$로부터 $\mathcal{O}(\mathcal{A})$로 구성함으로써 게르스텐하버 대수의 구조를 위한 새로운 체인 작도를 얻었다.
• $k: \mathcal{B}_\infty \to e_2$의 사상은 이팅호프-카즈단 양자화를 통해 존재함을 보였으며, 이는 호흐실트 코호모로지의 $e_2$-대수의 구조를 제공한다.
• 증명는 $A = S\mathbb{R}^n$ 및 $C^\infty(\mathbb{R}^n)$일 때 형식성의 호모로지적 장애물이 사라짐을 확인하여, 호흐실트 코호모로지 복합체의 형식성을 입증한다.