[논문 리뷰] Poisson bracket, deformed bracket and gauge group actions in Kontsevich deformation quantization

Dominique Manchon|ArXiv.org|2000. 03. 01.

Advanced Topics in Algebra참고 문헌 1인용 수 8

한 줄 요약

이 논문은 콘체비치의 변형 양자화에서 형식성 준동형사상의 두 번째 도함수를 분석하여 파울리 괄호와 변형된 스타 곱 사이의 정확한 관계를 규명한다. 게이지 변환에 의한 파울리 구조의 변환이 형식성 스타 곱 공간 위의 형식적 미분형사군으로의 통합을 통해 비자명한 작용을 일으킴을 보여주며, 기하학, 호모로지 대수학, 변형 양자화 사이의 비자명한 상호작용을 드러낸다.

ABSTRACT

We express the difference between Poisson bracket and deformed bracket for Kontsevich deformation quantization on any Poisson manifold by means of second derivative of the formality quasi-isomorphism. The counterpart on star products of the action of formal diffeomorphisms on Poisson formal bivector fields is also investigated.

연구 동기 및 목표

• 콘체비치 체계에서 파울리 괄호가 어떻게 스타 곱 괄호로 변형되는지 기하학적·대수학적 메커니즘을 명확히 하는 것.
• 형식성 준동형사상의 두 번째 도함수와 그가 탄성 사상과 변형 괄호 사이의 관계를 어떻게 맺는지 분석하는 것.
• 형식적 미분형사의 작용이 파울리 이차형식장에 어떻게 작용하는지, 그리고 이 작용이 스타 곱 공간으로 어떻게 올라가는지 조사하는 것.
• 형식적 미분형사군의 게이지 군을 형식성 스타 곱 공간 위의 형식적 미분형사군으로 비자명하게 통합하는 것을 구성하는 것.
• 스피어 곱 공간에 유도된 작용이 기본 다양체 위의 미분형사에 의한 풀백으로부터 유래되지 않음을 입증함으로써, 형식성 사상의 비선형성을 부각하는 것.

제안 방법

• 논문은 다형장의 dg 리 대수와 다형미분연산자의 dg 리 대수 사이의 $L_∞$-준동형사상을 이론적으로 사용한다.
• 형식성 준동형사상의 두 번째 도함수를 $\hbar\gamma$에서 분석하여, 탄성 사상 $\Phi$와 두 번째 도함수 $\Psi$를 포함하는 핵심 공식을 통해 파울리 괄호와 변형 괄호의 차이를 연결한다.
• 형식적 미분형사와 그 작용의 구조를 묘사하기 위해 코프리미티브 코무터티브 등급 코알제브라의 슈퍼군형 요소 개념을 도입한다.
• 다형장 및 다형미분연산자 설정에서 마우레르-카르탕 원소의 모듈리 공간 위에 벡터장 $\mathcal{V}_Y^1$과 $\mathcal{V}_Y^2$를 각각 구성한다.
• 형식성 사상 $\mathcal{U}$가 이 벡터장의 작용을 유지함을 증명하여 $\mathcal{U} \circ \mathcal{V}_Y^1 = \mathcal{V}_Y^2 \circ \mathcal{U}$를 확립한다.
• 형식성 스타 곱 공간 위의 형식적 미분형사군 $\mathcal{G}$로의 $G_1$의 게이지 군인 형식적 미분형사군 $G_1$의 비자명한 통합 $\iota: G_1 \to \mathcal{G}$를 구성하며, $*_{g.\gamma} = \iota(g).{*}_\gamma$를 만족시킨다.

실험 결과

연구 질문

• RQ1 형식성 준동형사상의 두 번째 도함수는 파울리 괄호와 변형된 스타 곱 괄호 사이에 어떻게 관련되어 있는가?
• RQ2 변형 양자화의 맥락에서 형식적 미분형사의 파울리 이차형식장에 대한 정확한 작용은 무엇인가?
• RQ3 게이지 군의 작용이 파울리 구조에 대해 파울리 구조에 대해 정의된 형식성 스타 곱 공간으로 올라갈 수 있는가? 만약 가능하다면, 어떻게 이루어지는가?
• RQ4 왜 형식성 스타 곱 공간에 유도된 작용은 비자명하며, 두 번째 게이지 군 $G_2$에 포함되지 않는가?
• RQ5 형식성 스타 곱 공간 위의 유도된 벡터장의 대수적 구조는 무엇이며, 이는 다양체 위의 원래 벡터장과 어떻게 관련되어 있는가?

주요 결과

• 파울리 괄호와 변형 괄호의 차이는 형식성 준동형사상의 두 번째 도함수를 통해 표현된다: $\Psi(H_f, H_g) = \frac{1}{\hbar}\left( \Phi(\{f,g\}) - \frac{\Phi(f)*\Phi(g) - \Phi(g)*\Phi(f)}{\hbar} \right)$.
• 탄성 사상 $\Phi = \mathcal{U}'_{\hbar\gamma}$는 임의의 벡터장 $Y$에 대해 $[\mathcal{U}'_{\hbar\gamma}(Y), *_{\gamma}] = \hbar \mathcal{U}'_{\hbar\gamma}([Y, \gamma])$를 만족한다.
• 형식성 사상 $\mathcal{U}$는 벡터장 $\mathcal{V}_Y^1$과 $\mathcal{V}_Y^2$의 작용을 유지하며, $\mathcal{U} \circ \mathcal{V}_Y^1 = \mathcal{V}_Y^2 \circ \mathcal{U}$를 만족함으로써 유도된 작용의 호환성을 보장한다.
• 형식적 미분형사군 $G_1$의 게이지 군은 $\iota(g) = e^{\mathcal{V}_Y^2}$를 통해 형식성 스타 곱 공간 위의 형식적 미분형사군 $\mathcal{G}$로 비자명하게 통합된다.
• 유도된 작용은 $*_{g.\gamma} = \iota(g).{*}_\gamma$를 만족함으로써, $g.\gamma$에 대응하는 스타 곱이 $*_{\gamma}$를 형식적 미분형사 $\iota(g)$에 의해 이미지로 옮긴 것임을 보여준다.
• 통합 $\iota$는 비자명한데, 이는 벡터장 $\mathcal{V}_Y^2$가 비선형적이며, $G_1 \subset G_2$임에도 불구하고 두 번째 게이지 군 $G_2$에 포함되어 있지 않기 때문이다.