[논문 리뷰] A Formality Theorem for Chains

Vasiliy Dolgushev|arXiv (Cornell University)|2004. 02. 16.

Algebraic structures and combinatorial models참고 문헌 23인용 수 6

한 줄 요약

이 논문은 부드러운 다변량의 호크시ลด 체인에 대해 츠야간의 형식성 추측을 증명한다. 이를 위해 페도소프 해법과 쇼이크헤트의 멱급수 대수에 대한 형식성 준동형을 조합한다. 주요 기여는 이 형식론을 통해 임의의 파울슨 다변량 위의 양자 함수 대수에서의 추적의 완전한 기술을 제공하는 것이다.

ABSTRACT

We prove Tsygan’s formality conjecture for ordinary Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y 1,...y d]] proposed in paper math.QA/0010321 by Shoikhet. This allows us to describe traces on the quantum algebra of functions on an arbitrary Poisson manifold. 1

연구 동기 및 목표

• 부드러운 다변량의 호크시ลด 체인에 대해 츠야간의 형식성 추측을 확립한다.
• 형식 멱급수 대수에서의 형식성 준동형을 일반적인 부드러운 다변량으로 확장한다.
• 임의의 파울슨 다변량 위의 양자 함수 대수에서의 추적의 완전한 기술을 제공한다.
• 호크시ลด 호모로지의 맥락에서 페도소프의 해법 방법과 쇼이크헤트의 형식성 결과를 통합한다.

제안 방법

• 다변량 위의 부드러운 함수 대수의 페도소프 해법을 사용하여 호크시ลด 체인의 해법을 구성한다.
• 각 다변량의 점 주변의 형식적 이웃에 대해 R[[y₁,…,yₙ]]에 대한 쇼이크헤트의 형식성 준동형을 적용한다.
• 페도소프 해법을 통해 국소 형식성 사상들을 접합하여 전역 형식성 준동형을 구성한다.
• 미분기하학적 및 호모로지 대수학 기법을 활용하여 파울슨 구조와의 호환성을 확보한다.
• 페도소프의 방법에 의해 C∞(M)의 호크시ลด 체인은 딜람 복합체와 준동형임을 이용한다.
• 호크시ลด 체인과 미분형식 사이의 체인 수준의 형식성을 확립하여 추적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 기존의 해법 기법을 사용하여 부드러운 다변량의 호크시ลด 체인에 대해 츠야간의 형식성 추측을 증명할 수 있는가?
• RQ2 쇼이크헤트의 형식성 결과를 형식 멱급수에 대해 확장하여 전역적인 부드러운 다변량으로 어떻게 일반화할 수 있는가?
• RQ3 임의의 파울슨 다변량 위의 양자 함수 대수에서의 추적의 구조는 무엇인가?
• RQ4 부드러운 다변량에서 호크시ลด 체인과 미분형식 사이에 표준 형식성 준동형이 존재하는가?
• RQ5 페도소프 해법 방법을 사용하여 파울슨 구조와 호환되는 전역 형식성 사상을 구성할 수 있는가?

주요 결과

• 논문은 페도소프 해법을 사용하여 C∞(M)의 호크시ลด 체인과 딜람 복합체 사이의 형식성 준동형을 확립한다.
• 이것은 임의의 부드러운 다변량 M에서 호크시ลด 체인에 대해 츠야간의 형식성 추측을 증명한다.
• 이 구성은 임의의 파울슨 다변량 위의 양자 함수 대수에서의 추적의 표준적 기술을 제공한다.
• 이 방법은 쇼이크헤트의 국소 형식성 결과를 페도소프 해법을 통해 전역 설정으로 확장한다.
• 결과는 미분형식과 파울슨 구조를 이용한 추적 사상의 완전하고 명시적인 기술을 제공한다.
• 이 형식론은 형식 멱급수에 의존하지 않고 변형 양자화에서의 추적 계산을 가능하게 한다.