호흐코흐 복합체 형식성 정리와 응용

초록

본 논문은 호흐코흐 복합체의 형식성 정리를 직관적으로 소개하고, 최신 연구 동향을 정리한 뒤, 다항식 대수의 잘라낸 호흐코흐 코체인 복합체가 형식적이지 않음을 증명한다.

상세 분석

호흐코흐 복합체는 대수적 구조와 미분기하 사이의 다리 역할을 하며, 특히 형식성 정리는 복합체의 dg‑라 구조가 그 코호몰로지 대수와 동형사상(또는 L∞‑동형사상)으로 연결될 수 있음을 의미한다. 본 논문은 먼저 Kontsevich의 원래 형식성 정리를 간략히 재현하고, 그 확장판인 Tamarkin‑Shoikhet 정리와 Dolgushev‑Willwacher의 다중‑입력 버전을 정리한다. 이어서 형식성 정리가 어떻게 별곱 변형, 모듈 구조, 그리고 대수적 양자화 문제에 적용되는지를 구체적인 예시(예: 포아송 구조의 별곱, 대수적 디오네트와 그 변형)와 함께 설명한다. 핵심 기술적 단계는 두 가지이다. 첫째, Hochschild‑Cochain 복합체 C⁎(A,A) 에 대한 L∞‑구조를 명시적으로 구성하고, 이 구조가 Gerstenhaber 대수와 동형임을 보이는 과정이다. 둘째, 이 L∞‑구조를 코호몰로지 H⁎(A,A) 로 전달하는 전이 사상(전달 사상)의 존재와 그 강체성을 증명한다. 논문은 특히 다항식 대수 A = k