[논문 리뷰] Tamarkin's proof of Kontsevich formality theorem

Vladimir Hinich|ArXiv.org|2000. 03. 09.

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

한 줄 요약

이 논문은 특성 0인 체 위의 다항식 대수에 대한 콘체비치의 형식성 정리에 대한 타마르킨의 증명을 상세히 기술한다. 미분합성대수의 이동된 호크시ลด 코호몰로지 복합체가 그 코호몰로지의 내재적 형식성에 의해, 코즐 운용 이론과 함께 호모토피 게르스텐하버 대수의 구조를 구성함으로써, 미분합성대수의 대수로서 형식적임을 입증한다.

ABSTRACT

In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result.

연구 동기 및 목표

• 특성 0인 체 위의 다항식 대수에 대한 콘체비치의 형식성 정리에 대한 타마르킨의 증명을 완전하고 접근 가능한 방식으로 기술하는 것.
• 코즐 운용 이론을 통해 미분합성대수의 호크시ลด 코호몰로지 위의 게르스텐하버 대수의 내재적 형식성을 입증하는 것.
• 호크시ลด 복합체 위의 호모토피 게르스텐하버 대수의 구조가 존재하면, 이는 형식성을 암시하므로 콘체비치의 정리를 증명하는 것.
• 타마르킨 원본 증명의 기술적 빈도를 타마르킨-츠간의 예비 논문의 통찰과 표준 운용 이론 장비를 통해 메우는 것.

제안 방법

• 특히, 가환 및 미분합성대수의 코즐 운용에 대한 운용 이론과 코즐 대칭 이론을 활용한다.
• 코즐 운용에 대한 대수의 내재적 형식성 개념을 적용하며, 코호몰로지의 소멸 조건을 기반으로 충분 조건을 도출한다.
• 미분합성대수의 호크시ลด 복합체의 코호몰로지를 계산하여, 이가 게르스텐하버 대수와 동형임을 보인다.
• 호크시ลด 복합체 위에 호모토피 게르스텐하버 대수의 구조를 구성하며, 델리뉴의 추측을 통해 형식성을 암시한다.
• 형식적 설정에서 리 이중대수와 호프 대수 사이의 에팅호프-카즈단 동치를 활용하여, 자유 리 대수 위의 미분합성대수 이중대수의 구조를 자유 호프 대수의 구조와 연결한다.
• 형식적 멱급수 환의 $k^*$-등변 구조를 이용하여, 자유 대수에서의 미분합성대수 이중대수의 구조를 그 완비화로 올리며, $\widetilde{\cal B}$와 $\cal B_\infty$ 운용 사이의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 코즐 운용에 대한 가환 대수는 어떤 조건에서 내재적으로 형식적인가?
• RQ2 미분합성대수의 호크시ลด 복합체의 코호몰로지는 게르스텐하버 대수의 구조와 어떻게 관련되는가?
• RQ3 호모토피 게르스텐하버 대수의 구조가 호크시ลด 복합체의 형식성을 증명하는 데 어떤 역할을 하는가?
• RQ4 형식적 멱급수 환의 $k^*$-등변 구조는 리 이중대수와 호프 대수 사이의 동치와 어떻게 관련되는가?
• RQ5 형식적 변형 양자화의 맥락에서, 운용 $\widetilde{\cal B}$와 $\cal B_\infty$ 사이의 정확한 관계는 무엇인가?

주요 결과

• 다항식 대수의 호크시ลด 복합체의 코호몰로지는 게르스텐하버 대수와 동형이며, 이 대수는 내재적으로 형식적이다.
• 호크시ลด 복합체 위에 호모토피 게르스텐하버 대수의 구조가 존재하면, 이는 이동된 복합체가 미분합성대수 이중대수로서 형식적임을 암시한다.
• 이 증명은 호모토피 게르스텐하버 대수의 구조를 다루는 운용 $\widetilde{\cal B}$가 호모토피 이중대수의 구조를 다루는 $\cal B_\infty$ 운용과 동형임을 입증한다.
• 에팅호프-카즈단 동치는 $k^*$-등변 설정으로 올라가며, 이는 $\widetilde{\cal B}$와 $\cal B_\infty$ 사이의 표준적 동형을 확립한다.
• 자유 결합 대수 $V[[h]]$에서 해당 호프 대수로의 표준 사상은 동형이며, 이는 미분합성대수 이중대수의 구조가 올라간다는 것을 확인한다.
• 호크시ลด 복합체의 형식성은 그 코호몰로지의 내재적 형식성에 의해 보장되며, 이는 코즐 쌍대 설정에서 특정 코호몰로지 군의 소멸에 의해 보장된다.