[논문 리뷰] On the Kontsevich and the Campbell-Baker-Hausdorff deformation quantizations of a linear Poisson structure

Boris Shoikhet|ArXiv.org|1999. 03. 06.

Advanced Topics in Algebra인용 수 8

한 줄 요약

이 논문은 선형 계수를 가진 다항벡터장에서 다항미분연산자로의 특수화된 $L_∞$-사상 $　\U_\text{lin}$을 구성하여, 오목한 순환을 포함하지 않는 콘테비치의 공식의 부분이 선형 파울리-포아송 구조에 대해 캄브-베이커-하우스도르프(CBH) 양자화에 해당함을 직접적으로 증명한다. 이 결과는 CBH 정리에 의존하지 않고, 형식 기하학적 방법을 사용하여 임의의 각도 맵에 대해 제한된 콘테비치 공식의 결합법칙을 확인한다.

ABSTRACT

For the Kirillov-Poisson structure on the vector space $\g^*$, where $\g$ is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K], and the formula, arising from the classical Campbell-Baker-Hausdorff formula [Ka]. It was proved in [Ka] that the last formula is exactly the part of Kontsevich's formula consisting of all the admissible graphs without (oriented) cycles between the vertices of the first type. It follows from the CBH-theorem that this part of Kontsevich's formula defines an associative product (in the case of a linear Poisson structure). The aim of these notes is to prove the last result directly, using the methods analogous to [K] instead of the CBH-formula. We construct an $L_\infty$-morphism $\U_\lin\colon[T^ dot_\poly]_\lin o D^ dot_\poly$ from the \dg Lie algebra of polyvector fields with linear coefficients to the \dg Lie algebra of polydifferential operators, which is not equal to the restriction of the Formality $L_\infty$-morphism $\U\colon T^ dot_\poly o D^ dot_\poly$ [K] to the subalgebra $[T^ dot_\poly]_\lin$. For a bivector field $α$ with linear coefficients such that $[α,α]=0$ the corresponding solution $\U_\lin(α)$ of the Maurer-Cartan equation in $D^ dot_\poly$ defines exactly the CBH-quantization,in the case of the harmonic angle map [K], Sect.2.We prove the associativity of the restricted Kontsevich formula (in the linear case) also for any angle map [K], Sect.6.2.

연구 동기 및 목표

• 선형 파울리-포아송 구조에 대해 캄브-베이커-하우스도르프(CBH) 양자화 공식의 결합법칙을 CBH 정리에 의존하지 않고 직접적으로 증명하는 것.
• 콘테비치의 보편 형식성 사상의 제한과 다를 바 있는, 선형 계수를 가진 다항벡터장의 dg 리 대수에서 다항미분연산자의 dg 리 대수로의 $L_\infty$-사상 $\U_\text{lin}$을 구성하는 것.
• 선형 이차벡터장 $\alpha$에 대해 $[\alpha,\alpha]=0$ 를 만족할 때, $\U_\text{lin}(\alpha)$의 해가 정확히 CBH 양자화를 나타낸다는 것을 보여주는 것.
• 콘테비치의 원래 작업에서 고려된 조화 각도 맵 외에도 임의의 각도 맵에 대해서도 결합법칙을 일반화하는 것.

제안 방법

• 선형 다항벡터장과 다항미분연산자에 특화된 새로운 $L_\infty$-사상 $\U_\text{lin}$을 구성하는 것.
• 콘테비치의 공식에서의 허용 가능한 그래프의 구조를 활용하며, 제1형 정점 간에 순환을 포함하지 않는 그래프에 집중하는 것.
• 다항미분연산자의 dg 리 대수에서의 머어러-카르탕 방정식을 적용하여 양자화 곱을 정의하는 것.
• 결과로 얻어진 곱이 리 대수의 쌍대 $\g^*$와 키릴로프-포아송 구조에서 CBH 공식과 정확히 일치함을 보여주는 것.
• 콘테비치의 형식성 정리에서 유사한 기법을 사용하며, 고전적 CBH 전개를 직접적으로 사용하지 않는 것.
• 임의의 각도 맵에 대해 구성이 검증되어, 조화 각도 맵의 경우를 초월한 일반화를 달성하는 것.

실험 결과

연구 질문

• RQ1 선형 파울리-포아송 구조에 대해 CBH 양자화 공식의 결합법칙을 CBH 정리에 의존하지 않고 직접적으로 증명할 수 있는가?
• RQ2 콘테비치의 형식성 사상의 제한을 통해 선형 구조로 제한되고 CBH 공식을 재현하는 $L_\infty$-사상 $\U_\text{lin}$이 존재하는가?
• RQ3 오목한 순환을 포함하지 않는 제한된 콘테비치 공식이 선형 파울리-포아송 구조에 대해 결합법칙을 가지는가?
• RQ4 조화 각도 맵 외에도 임의의 각도 맵에 대해 제한된 콘테비치 공식의 결합법칙을 확립할 수 있는가?
• RQ5 사상 $\U_\text{lin}$은 보편 형식성 사상의 선형 다항벡터장에 대한 제한과 어떻게 다를까?

주요 결과

• $L_\infty$-사상 $\U_\text{lin}$은 명시적으로 구성되었으며, 콘테비치의 보편 형식성 사상의 선형 부분대수에 대한 제한과 다름을 보였다.
• 선형 이차벡터장 $\alpha$가 $[\alpha,\alpha]=0$ 을 만족할 경우, $\U_\text{lin}(\alpha)$의 해는 정확히 CBH 양자화 공식을 제공한다.
• 오목한 순환을 포함하지 않는 허용 가능한 그래프로 구성된 제한된 콘테비치 공식은 $\g^*$ 위에서 결합법칙을 가지는 곱을 정의한다.
• 이 곱의 결합법칙은 조화 각도 맵 외에도 임의의 각도 맵에 대해 성립하며, $L_\infty$-사상 구성에 의해 증명되었다.
• 증명은 직접적이고 형식적인 것으로, 콘테비치의 방법과 유사한 기법을 사용하였으며, 고전적 CBH 전개에 의존하지 않았다.