[논문 리뷰] On the cyclic Formality conjecture

Boris Shoikhet|arXiv (Cornell University)|1999. 03. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 13

한 줄 요약

이 논문은 호환성 호모로지로 일반화된 콘체비치의 형식성 정리에 대해 순환 $L_\infty$-모르피즘에 대한 명시적 공식을 제안한다. 첫 번째 타일러 성분인 순환 호크시드-코스타ント-로젠버그 사상이 코homological 형태의 콘네스-츠이간 이복합체를 구성함으로써 준위사상임을 증명하고, 이는 심플렉틱 다양체 위에 닫힌 스타곱의 존재를 암시하며, 콘네스-플라토-스테인하이머 추측의 개선된 형태를 확인한다.

ABSTRACT

We conjecture an explicit formula for a cyclic analog of the Formality $L_{\infty}$-morphism [K]. We prove that its first Taylor component, the cyclic Hochschild-Kostant-Rosenberg map, is in fact a morphism (and a quasiisomorphism) of the complexes. To prove it we construct a cohomological version of the Connes-Tsygan bicomplex in cyclic homology. As an application of the cyclic Formality conjecture, we obtain an explicit formula for cyclically invariant deformation quantization.We show that (a more precise version of) the Connes-Flato-Sternheimer conjecture [CFS] on the existence of closed star-products on a symplectic manifold also follows from our conjecture.

연구 동기 및 목표

• 콘체비치의 형식성 $L_\infty$-준위사상의 순환적 대응을 제시하기.
• 순환 호크시드-코스타ント-로젠버그 사상이 순환 호모로지의 맥락에서 복합체의 준위사상임을 증명하기.
• 순환 호모로지의 맥락에서 형식성 분석을 가능하게 하는 콘네스-츠이간 이복합체의 코homological 형태를 구성하기.
• 순환 형식성 추측과 심플렉틱 다양체 위의 닫힌 스타곱 존재성 간의 연결 고리를 설정하기.
• 콘네스-플라토-스테인하이머 추측의 개선된 형태에 대한 새로운 증명을 제공하기.

제안 방법

• 콘체비치의 형식성 정리의 일반화를 위한 순환 $L_\infty$-모르피즘에 대한 명시적 공식을 제안하기.
• 제안된 모표르피즘의 첫 번째 타일러 성분으로서 순환 호크시드-코스타ント-로젠버그 사상을 정의하기.
• 형식성 맥락에서 순환 호모로지를 분석하기 위해 콘네스-츠이간 이복합체의 코homological 형태를 구성하기.
• 코homological 이복합체를 사용하여 순환 HKR 사상이 준위사상임을 증명하기.
• 순환 형식성 추측을 적용하여 순환적으로 불변인 변형에 대한 명시적 공식 유도하기.
• 추측을 통해 심플렉틱 다양체 위의 닫힌 스타곱 존재성을 도출하고, 콘네스-플라토-스테인하이머 추측의 개선된 형태를 확인하기.

실험 결과

연구 질문

• RQ1 변형 양자화에서 순환 대칭을 유지하는 명시적 $L_\infty$-모르피즘을 구성할 수 있는가?
• RQ2 순환 호모로지 맥락에서 순환 호크시드-코스타ント-로젠버그 사상이 복합체의 준위사상인가?
• RQ3 콘네스-츠이간 이복합체의 코homological 형태가 순환 맥락에서의 형식성 증명에 사용될 수 있는가?
• RQ4 순환 형식성 추측은 심플렉틱 다양체 위의 닫힌 스타곱 존재성을 암시하는가?
• RQ5 추측은 변형 양자화에서 순환적으로 불변인 변형에 대한 구체적 공식을 제공하는가?

주요 결과

• 제안된 순환 $L_\infty$-모르피즘의 첫 번째 타일러 성분인 순환 호크시드-코스타ント-로젠버그 사상이 복합체의 준위사상임을 증명하였다.
• 형식성 맥락에서 순환 호모로지를 분석할 수 있도록 하는 콘네스-츠이간 이복합체의 코homological 형태를 구성하였다.
• 순환 형식성 추측은 임의의 심플렉틱 다양체 위에 닫힌 스타곱의 존재를 암시하며, 콘네스-플라토-스테인하이머 추측의 개선된 형태를 확인한다.
• 순환 형식성 추측에서 순환적으로 불변인 변형에 대한 명시적 공식을 도출하였다.
• 추측은 콘체비치의 형식성 정리를 순환 맥락으로 확장하는 체계적인 프레임워크를 제공한다.
• 결과적으로 순환 호모로지, 변형 양자화, 심플렉틱 기하학 간의 깊은 연결 고리를 확립하였다.