[논문 리뷰] Noncommutative differential calculus, homotopy BV algebras and formality conjectures

Dmitri Tamarkin, Boris Tsygan|ArXiv.org|2000. 02. 15.

Algebraic structures and combinatorial models참고 문헌 32인용 수 69

한 줄 요약

이 논문은 비가환 기하학에서 Hochschild 코호몰로지에 대한 형식성 추측을 제기하기 위해 강한 호모토피 BV 대수를 도입한다. $ C^\bullet(A,A) $ 코호몰로지 복합체가 $ G_\infty $ 대수의 구조를 지닌다는 것을 증명하고, $ A = C^\infty(\mathbb{R}^n) $ 인 경우 이 복합체가 고전적 다항벡터장과 준동형임을 보이며, Etingof-Kazhdan 탈량자화를 통해 Kontsevich의 형식성 정리의 일반화를 달성한다.

ABSTRACT

We define a notion of astrongly homotopy BV algebra and apply it to deformation theory problems. Formality conjectures for Hochschild and cyclic chains are formulated. We prove some partial results supporting these conjectures.

연구 동기 및 목표

• 강한 호모토피 대수를 사용하여 변형 이론의 형식성 정리를 비가환 설정으로 확장하기 위해.
• Hochschild 코호몰로지 복합체에 $ G_\infty $ 및 $ BV_\infty $ 구조를 정의하고 연구하기 위해.
• 비가환 기하학에서 Hochschild 코호몰로지와 다항벡터장 사이의 형식성 추측을 제안하고 증거를 제공하기 위해.
• Etingof-Kazhdan 탈량자화를 통해 $ BV_\infty $ 구조와 리 이대수의 변형 이론 사이의 연결 고리를 설정하기 위해.

제안 방법

• 강한 호모토피 BV 대수($ BV_\infty $)의 개념을 도입하여, $ \mathfrak{g}^\bullet $의 Etingof-Kazhdan 탈량자화인 $ T(C^\bullet(A,A)[1]) $ 위에서 $ \Delta = \delta + \partial^{\text{coLie}} + \sum \Delta_{2i-1} $ 형태의 미분 연산자로 정의한다.
• Etingof-Kazhdan 탈량자화를 양자화의 쌍대 개념으로 간주하여, $ C^\bullet(A,A) $ 위의 $ G_\infty $ 구조에 대한 간결한 증명을 가능하게 한다.
• 강한 호모토피 대수 이론($ A_\infty $, $ C_\infty $, $ L_\infty $, $ G_\infty $)을 활용하여 고전적 미분법의 구조를 비가환 대수로 일반화한다.
• 미분 가환 리 이대수 $ \mathfrak{g}^\bullet(A) $의 필터링된 변형 복합체의 코homology를 통해 $ BV_\infty $ 구조의 장애를 분석한다.
• 리 이대수의 변형 복합체와 그 Etingof-Kazhdan 양자화의 변형 복합체 사이에 자연스러운 준동형을 제안한다.
• 탈량자화 하에 $ \mathfrak{g}^\bullet $ 위의 자연스러운 미분 $ D $ 가 $ \frac{1}{2}\log(S^2) $ 로 표현되며, 여기서 $ S $ 는 양자화된 호프 대수의 반대항이다.

실험 결과

연구 질문

• RQ1 모든 결합 대수 $ A $ 에 대해 Hochschild 코호몰로지 복합체 $ C^\bullet(A,A) $ 는 강한 호모토피 게르스텐하버 대수($ G_\infty $)의 구조를 지닐 수 있는가?
• RQ2 $ G_\infty $ 대수 $ C^\bullet(A,A) $ 는 $ HH^\bullet(A,A) $ 의 변형과 준동형인가?
• RQ3 Kontsevich의 형식성 정리는 $ G_\infty $ 대수를 통해 비가환 설정으로 일반화될 수 있는가?
• RQ4 $ C^\bullet(A,A) $ 에 $ BV_\infty $ 구조가 존재하기 위한 장애는 무엇이며, 이는 필터링된 변형 복합체의 코homology에 어떻게 표현되는가?
• RQ5 리 이대수의 변형 복합체와 그 Etingof-Kazhdan 양자화의 변형 복합체 사이에 자연스러운 준동형이 존재하는가?

주요 결과

• Hochschild 코호몰로지 복합체 $ C^\bullet(A,A) $ 는 자연스러운 $ G_\infty $ 대수의 구조를 지니며, 게르스텐하버 괄호는 코homology 위에서 $ L_\infty $ 구조를 유도한다.
• 모든 대수 $ A $ 에 대해 $ C^\bullet(A,A) $ 는 $ HH^\bullet(A,A) $ 의 변형과 준동형이며, 이는 형식성 유형의 추측을 확인한다.
• $ A = C^\infty(\mathbb{R}^n) $ 인 경우, $ G_\infty $ 대수 $ \Gamma(M,\wedge^\bullet(TM)) $ 는 비자명한 $ G_\infty $ 변형을 가지지 않으며, 이는 형식성을 의미한다.
• $ C^\bullet(A,A) $ 에 대한 $ BV_\infty $ 구조의 첫 번째 장애는 $ \mathfrak{g}^\bullet(A) $ 의 자연스러운 미분 $ D $ 이며, 이는 코브라켓과 브라켓의 복합이다.
• 리 이대수와 그 Etingof-Kazhdan 양자화의 변형 복합체 사이에 자연스러운 준동형이 존재한다는 추측은 구조적 유사성과 코homology 매칭에 의해 지지된다.
• Etingof-Kazhdan 탈량자화 하에서 $ D $ 의 이미지는 $ \frac{1}{2}\log(S^2) $ 이며, 여기서 $ S $ 는 양자화된 호프 대수의 반대항이다.