[논문 리뷰] A Note on Br-infinity and KS-infinity formality

Thomas Willwacher|arXiv (Cornell University)|2011. 09. 16.

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

한 줄 요약

이 논문은 컨츠에비치의 형식성 사상(formality morphism)을 호모토피 브레이스와 G-무한형 사상으로 확장하며, 알렉세예프-토로시안 연관자(associator)를 사용할 경우 탐아르킨의 형식성 사상과 호모토피적 동치임을 증명한다. 이는 변형 양자화에서 여러 그래픽적 형식성 사상과 그 호모토피를 통합하고, 오랫동안 남아있던 분야의 핵심 문제를 해결한다.

ABSTRACT

We extend M. Kontsevich's formality morphism to a homotopy braces morphism and to a G-infinity morphism. We show that this morphism is homotopic to D. Tamarkin's formality morphism, obtained using formality of the little disks operad, if in the latter construction one uses the Alekseev-Torossian associator. Similar statements can also be shown in the chains case (i.e., on Hochschild homology instead of cohomology). This settles two well known questions in deformation quantization and unifies the several known graphical constructions of formality morphisms and homotopies by Kontsevich, Shoikhet, Calaque, Rossi, Alm, Cattaneo, Felder and the author.

연구 동기 및 목표

• 컨츠에비치의 형식성 사상(formality morphism)을 호모토피 브레이스 사상과 G-무한형 사상으로 확장한다.
• 이 확장된 사상과 탐아르킨의 형식성 사상 사이의 호모토피 동치성을 확립한다.
• 변형 양자화 분야에서 오랫동안 남아있던 형식성 사상과 관련된 두 가지 핵심 열린 문제를 해결한다.
• 다양한 저자들로부터 유래한 형식성 사상과 그 호모토피의 여러 그래픽적 구성 방식을 하나의 프레임워크 안에서 통합한다.
• 호크시하우드 코homology에서의 결과를 호크시하우드 호모로지(체인 케이스)로 확장한다.

제안 방법

• 컨츠에비치의 원래 형식성 사상(formality morphism)을 확장하는 호모토피 브레이스 사상(formalism)을 구성한다.
• 높은 차수의 호모토피 코herency를 포착하기 위해 호크시하우드 코호모로지 복합체에 G-무한형 구조(G-infinity structure)를 정의한다.
• 탐아르킨의 구성에서 알렉세예프-토로시안 연관자를 사용하여 확장된 사상과의 호환성을 확보한다.
• 명시적인 체인 호모토피 데이터를 통해 확장된 사상과 탐아르킨의 형식성 사상 사이의 호모토피를 수립한다.
• 동일한 프레임워크를 체인 케이스에 적용하여 호크시하우드 호모로지에서 유사한 결과를 도출한다.
• 소형 디스크 작용소(little disks operad)의 형식성(formality)을 구축의 기본 도구로 활용한다.

실험 결과

연구 질문

• RQ1 컨츠에비치의 형식성 사상(formality morphism)은 호모토피 브레이스 및 G-무한형 사상으로 확장될 수 있는가?
• RQ2 알렉세예프-토로시안 연관자를 사용할 경우, 확장된 사상이 탐아르킨의 형식성 사상과 호모토피적 동치인가?
• RQ3 다양한 저자들로부터 유래한 여러 그래픽적 형식성 사상과 그 호모토피를 하나의 프레임워크 안에서 통합할 수 있는가?
• RQ4 형식성 결과는 호크시하우드 코호모로지에서 호크시하우드 호모로지(체인 케이스)로 확장되는가?
• RQ5 기존에 알려진 다양한 그래픽적 형식성 사상과 그 호모토피들 사이의 정확한 관계는 무엇인가?

주요 결과

• 논문은 컨츠에비치의 형식성 사상(formality morphism)을 확장하는 G-무한형 사상(G-infinity morphism)을 구성하며, 이는 고차 호모토피 코herency를 갖는 구조를 제공한다.
• 알렉세예프-토로시안 연관자를 사용할 경우, 확장된 사상이 탐아르킨의 형식성 사상과 호모토피적 동치임을 증명한다.
• 이 구성은 컨츠에비치, 쇼이크헤트, 칼라크, 로시, 얼름, 카타네오, 펠더, 그리고 저자의 구성 방식을 포함한 여러 알려진 그래픽적 형식성 사상과 그 호모토피를 통합한다.
• 결과는 체인 케이스로 일반화되어 호크시하우드 호모로지에서의 형식성을 확립한다.
• 이 작업은 변형 양자화 분야에서 오랫동안 남아있던 형식성 사상의 호환성과 통합 문제를 해결한다.
• 이 프레임워크는 명시적인 호모토피 데이터와 작용소 구조를 통해 다양한 형식성 사상들 간의 관계를 체계적으로 연결할 수 있는 방법을 제공한다.