[논문 리뷰] Formality conjecture for chains

Boris Tsygan|ArXiv.org|1999. 04. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 17

한 줄 요약

이 논문은 Hochschild 및 순환 체인의 $C^{\infty}(M)$에 대한 일반화된 형식성 추측을 제안하며, 코chains에 대한 Kontsevich의 형식성 정리의 확장이다. 이는 Hochschild 체계 복합체가 변형된 Gerstenhaber 대수 위에서 $G_{\infty}$-모듈로써 de Rham 복합체와 quasi-isomorphic하다는 추측을 하며, 이 quasi-isomorphism은 Hochschild 코chains의 작용에 대해 등변적임을 암시한다. 주요 기여는 호모토피 대수학을 통한 변형 양자화에서의 추적과 특성류를 계산하기 위한 프레임워크를 제공하는 것이다.

ABSTRACT

We state the analogs of Kontsevich's formality conjecture for Hochschild and cyclic chains, as well as their

연구 동기 및 목표

• Hochschild 코chains에 대한 Kontsevich의 형식성 정리를 Hochschild 및 음의 순환 체인의 맥락으로 확장한다.
• Hochschild 체계 복합체 $C^{\bullet}(C^{\infty}(M),C^{\infty}(M))$가 변형된 Gerstenhaber 대수 위에서 $G_{\infty}$-모듈로써 de Rham 복합체와 quasi-isomorphic하다는 추측을 제기한다.
• 호모토피 대수학을 사용하여 변형 양자화에서의 추적과 특성류(예: $\widehat{A}$-류)를 계산하기 위한 프레임워크를 수립한다.
• 형식성 원리를 $G_{\infty}$-모듈 구조와 $\epsilon$-변형을 도입하여 체계 복합체로 일반화한다.
• Connes의 Hochschild와 음의 순환 호모로피 사이의 quasi-isomorphism이 Hochschild 코chains에 대한 작용에 대해 등변적임을 보장하는 데 필요한 호모토피 기반을 확립한다.

제안 방법

• Hochschild 코chains 복합체 $C^{\bullet}(A,A)$에 Gerstenhaber 괄호와 미분을 확장하는 $G_{\infty}$-대수의 구조를 도입한다.
• 기본이 되는 Gerstenhaber 대수의 변형 $V^{\bullet}[\epsilon]$을 홀수 매개변수 $\epsilon$를 사용하여 정의하며, BV 연산자 구조를 포함한다.
• Hochschild 체계 복합체 $C_{\bullet}(A,A)$에 대해 $C^{\bullet}(A,A)[\epsilon]$ 위에서 $L_D$ 연산자로 주어진 $G_{\infty}$-모듈 구조를 구성한다.
• Tamarkin의 방법을 사용하여 $C_{\bullet}(A,A)$ 위의 $G_{\infty}$-모듈 구조의 호모로피가 de Rham 복합체 $\Omega^{\bullet}(M)$을 회복함을 보인다.
• Hochschild 체계 복합체 $C_{\bullet}(C^{\infty}(M),C^{\infty}(M))$와 $\Omega^{\bullet}(M)$ 사이의 $G_{\infty}$-quasi-isomorphism을 추측하며, 이는 $G_{\infty}$-모듈 작용과 호환된다.
• 추측된 형식성과 호모토피 이론적 방법을 통해 Poisson 다양체의 $\widehat{A}$-류를 구성하는 방법을 연결한다.

실험 결과

연구 질문

• RQ1 Hochschild 체계 복합체 $C^{\infty}(M)$은 $\epsilon$-변형된 Gerstenhaber 대수 위에서 $G_{\infty}$-모듈로써 de Rham 복합체와 quasi-isomorphic한가?
• RQ2 Hochschild와 음의 순환 호모로피 사이의 Connes의 quasi-isomorphism은 Hochschild 코chains에 대한 등변적 $G_{\infty}$-모듈 맵으로 올라갈 수 있는가?
• RQ3 Hochschild 코chains 복합체의 형식성이 $G_{\infty}$-모듈의 관점에서 체계 복합체의 형식성으로 이어지는가?
• RQ4 호모토피 대수학과 형식성을 사용하여 Poisson 다양체의 $\widehat{A}$-류를 어떻게 구성할 수 있는가?
• RQ5 $\epsilon$-변형은 체계 복합체 위에서 BV 구조와 호모토피 BV 대수를 실현하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 Hochschild 체계 복합체 $C_{\bullet}(C^{\infty}(M),C^{\infty}(M))$가 $\Gamma(M,\wedge^{\bullet}T)[\epsilon]$ 위에서 $G_{\infty}$-모듈로써 de Rham 복합체 $\Omega^{\bullet}(M)$과 quasi-isomorphic하다는 추측을 제기한다.
• 이 추측은 형식 Poisson 구조에 의한 변형 대수 $C^{\infty}(M)[[t]]$ 위의 추적 공간이 $M$의 de Rham 코homology와 등형적임을 암시한다.
• 정규 Poisson 다양체의 $\widehat{A}$-류는 그 심플렉틱 분할의 접선(bundle)의 $\widehat{A}$-류와 동일하다는 추측이 제기된다.
• 정리 5.3.3은 Hochschild 체계 복합체가 $\mathfrak{g}_{G}^{\bullet}(A)[\epsilon]$ 위에서 $L_{\infty}$-모듈 구조를 지닌다는 것을 확인한다. 이 구조는 연산자 $L_D$로 주어진다.
• 논문은 $G_{\infty}$-모듈과 $\epsilon$-변형을 사용하여 코chains에서 체계로의 형식성 일반화를 위한 호모토피 기반을 제공한다.
• 이 추측은 변형 대수의 음의 순환 호모로피가 원래 대수의 주기적 순환 호모로피와 $G_{\infty}$-등변 맵을 통해 등형적임을 암시한다.