[논문 리뷰] Koszul duality in deformation quantization and Tamarkin's approach to Kontsevich formality

Boris Shoikhet|arXiv (Cornell University)|2008. 05. 02.

Algebraic structures and combinatorial models참고 문헌 12인용 수 5

한 줄 요약

이 논문은 다항식 대수의 일반적인 변형 양자화에서 이차 포아송 이차벡터와 관련된 경우, 대칭 대수 $ S(V^*) $ 와 외적 대수 $ \Lambda(V) $의 변형 양자화가, 각각의 그레이딩된 이차 대수로서 코즐러 듀얼리티를 가짐을 증명한다. 타마르킨의 $ L_\infty $ 준동형 및 모듈러 범주에 대한 호흐실트 복합체의 프레임워크를 사용하여, 변형된 코즐러 복합체가 두 양자화된 대수의 호흐실트 코hom로지 사이에 준동형을 유도함으로써, $ G_\infty $-구조와 $ \hbar = 0 $에서의 특수화를 통해 그들의 코즐러 듀얼리티를 확인한다.

ABSTRACT

Let $α$ be a quadratic Poisson bivector on a vector space $V$. Then one can also consider $α$ as a quadratic Poisson bivector on the vector space $V^*[1]$. Fixed a universal deformation quantization (prediction some weights to all Kontsevich graphs [K97]), we have deformation quantization of the both algebras $S(V^*)$ and $Λ(V)$. These are graded quadratic algebras, and therefore Koszul algebras. We prove that for some universal deformation quantization, independent on $α$, these two algebras are Koszul dual. We characterize some deformation quantizations for which this theorem is true in the framework of the Tamarkin's theory [T1].

연구 동기 및 목표

• 대칭 대수와 외적 대수에 대해 코즐러 듀얼리티와 호환되는 일반적인 변형 양자화를 확립하는 것.
• 이차 포아송 이차벡터와 그 쌍대와 관련된 $ S(V^*) $ 와 $ \Lambda(V) $ 의 변형 양자화가 코즐러 듀얼리티를 가지는 대수임을 증명하는 것.
• 타마르킨의 $ G_\infty $-준동형 이론과 $ L_\infty $-사상 이론을 사용하여 코즐러 복합체의 호환되는 변형을 구성하는 것.
• 변형된 코즐러 복합체 위의 $ B_{\hbar} $-모듈러 구조가 $ B_{\hbar} \cong (A_{\hbar})^! $ 인 이sov를 유도함으로써 코즐러 듀얼리티를 확인하는 것.

제안 방법

• 이차 포아송 이차벡터를 그 쌍대로 매핑하는 표준적인 리 대수 동형사상 $ \mathcal{D}: T_{\text{poly}}(V) \to T_{\text{poly}}(V^*[1]) $ 를 사용한다.
• 형식적 가중치 $ W_\Gamma $ 를 변수로 간주하여 콘체비치의 일반적인 변형 양자화 공식을 적용함으로써 $ \mathbb{C}[[\hbar]] $-대수의 구조를 정의한다.
• 모듈러 범주의 호흐실트 복합체 $ \mathsf{cat}(A,B,K) $ 에 대한 $ G_\infty $-준동형사상 $ \mathcal{F} $ 를 구성함으로써 호모토피적 교환 법칙을 보장한다.
• $ \mathcal{F} $ 를 $ L_\infty $-준동형사상으로 제한하여 $ T_{\text{poly}}(V) $ 에서의 메우어-카르탕 해 $ \alpha $ 가 호흐실트 복합체 내의 해로 올라가도록 한다.
• 변형된 코즐러 복합체 $ K_\hbar $ 를 $ A_\hbar $ 위에서 $ \mathbb{C}[[\hbar]] $ 의 자유 해체로 사용하고, $ B_\hbar $-모듈러 구조를 호환되게 한다.
• 대수 $ B_\hbar $ 가 $ \mathrm{RHom}_{A_\hbar}(K_\hbar, K_\hbar) $ 로 이sov로 매핑됨을 증명하며, 이는 코즐러 쌍대 대수 $ (A_\hbar)^! $ 의 정의이다. 이는 $ \hbar = 0 $ 에서의 특수화를 통해 이루어진다.

실험 결과

연구 질문

• RQ1 이차 포아송 이차벡터에 의한 변형 양자화가 존재할 경우, 양자화된 대칭 대수 $ S(V^*)_{\hbar} $ 와 양자화된 외적 대수 $ \Lambda(V)_{\hbar} $ 가 코즐러 듀얼리티를 가지는가?
• RQ2 타마르킨의 $ G_\infty $-준동형 이론을 사용하여 코즐러 복합체의 호환되는 변형을 구성할 수 있는가? 이는 이러한 듀얼리티를 실현하는가?
• RQ3 변형된 코즐러 복합체 위의 $ B_\hbar $-모듈러 구조가 호흐실트 코hom로지 $ \mathrm{RHom}_{A_\hbar}(K_\hbar, K_\hbar) $ 와 이sov인가? 이는 $ B_\hbar \cong (A_\hbar)^! $ 를 실현하는가?
• RQ4 변형된 복합체를 $ \hbar = 0 $ 에서 특수화하면, $ S(V^*) $ 와 $ \Lambda(V) $ 사이의 고전적 코즐러 듀얼리티가 복원되는가? 이는 $ \mathbb{C}[[\hbar]] $-선형성 구조가 유지되는가?
• RQ5 $ L_\infty $-사상 $ \mathcal{F} $ 를 사용하여 포아송 구조 $ \alpha $ 가 두 대수 $ A_\hbar $ 와 $ B_\hbar $ 에서 호환되는 스타곱을 유도하는 메우어-카르탕 해로 일관되게 올릴 수 있는가?

주요 결과

• 이차 포아송 이차벡터 $ \alpha $ 를 사용한 $ S(V^*) $ 의 변형 양자화는 그레이딩된 이차 대수 $ S(V^*)_{\hbar} $ 를 유도하며, 이는 코즐러 대수이다.
• 쌍대 이차벡터 $ \mathcal{D}(\alpha) $ 를 사용한 $ \Lambda(V) $ 의 변형 양자화는 그레이딩된 이차 대수 $ \Lambda(V)_{\hbar} $ 를 유도하며, 이 역시 코즐러 대수이다.
• $ S(V^*)_{\hbar} $ 와 $ \Lambda(V)_{\hbar} $ 는 코즐러 듀얼리티를 가지며, 즉 $ \Lambda(V)_{\hbar} \cong (S(V^*)_{\hbar})^! $ 이다. 이는 변형된 코즐러 복합체를 통해 증명된다.
• 변형된 코즐러 복합체 $ K_\hbar $ 위의 $ B_\hbar $-모듈러 구조는 $ B_\hbar \to \mathrm{RHom}_{A_\hbar}(K_\hbar, K_\hbar) $ 인 이sov를 유도하며, 이는 $ B_\hbar $ 가 $ A_\hbar $ 의 코즐러 쌍대 대수임을 확인한다.
• $ \hbar = 0 $ 에서의 $ B_\hbar $-행동의 특수화는 $ S(V^*) $ 와 $ \Lambda(V) $ 사이의 고전적 코즐러 듀얼리티를 복원하며, 이는 $ \mathbb{C}[[\hbar]] $-선형성의 유지됨을 확인한다.
• 타마르킨의 프레임워크에서 유도된 $ L_\infty $-준동형사상 $ \mathcal{F} $ 는 메우어-카르탕 해가 두 대수의 호환되는 스타곱으로 일관되게 올라가도록 보장한다.