[논문 리뷰] Formality theorem for Lie bialgebras and quantization of coboundary r-matrices

Gilles Halbout|ArXiv.org|2005. 06. 23.

Advanced Topics in Algebra참고 문헌 6인용 수 3

한 줄 요약

이 논문은 리 대수의 불변 다중벡터장의 리 대수와 양자화된 보편 포괄 대수의 텐서 대수 사이의 형식성 준동형을 설정하며, 타마르킨의 형식성 결과를 코바운드리 경우로 확장한다. 에팅호프-카즈단 양자화의 맥락에서 고전적 $ r $-행렬의 양자화 $ R $ 가 존재함을 증명하며, 타마르킨과 츄간의 추측을 해결하고 코바운드리 리 대수에 대한 드리닐드의 마지막 미해결 문제를 해결한다.

ABSTRACT

Let $(g,δ_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),Δ_\hbar)$ a quantization of $(g,δ_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=Λ(g)$ and the tensor algebra $TU=T(U_\hbar(g)[-1])$ with Lie algebra structure given by the Gerstenhaber bracket. When $(g,δ_\hbar,r)$ is a coboundary Lie bialgebra, we deduce from the formality morphism the existence of a quantization $R$ of $r$.

연구 동기 및 목표

• 리 대수에 대한 불변 다중벡터장의 게르스텐하버 대수와 리 대수의 양자화된 보편 포괄 대수의 텐서 대수 사이의 형식적 $ L_{\infty} $-준동형을 구축하는 것.
• 타마르킨의 형식성 결과를 리 대수에 대한 코바운드리 경우로 확장하는 것.
• 양자 양형-베이저 방정식과 호프 대수 공리에 만족하는 코바운드리 $ r $-행렬의 양자화 $ R $ 가 존재함을 증명하는 것.
• 에팅호프-카즈단 양자화 절차와 호환되는 양자화된 보편 $ R $-행렬을 구성함으로써 드리닐드의 마지막 미해결 문제를 해결하는 것.
• 형식성 정리의 일반화를 통해 $ G_{\infty} $-구조를 포함하고, 추측적 확장에 의해 리 대수다형체와 다중미분 연산자 사이의 연결 고리를 설정하는 것.

제안 방법

• 에팅호프-카즈단의 양자화/해양화 함자를 사용하여 리 대수다형체 $ (\mathfrak{g}, \delta_{\hbar}) $ 에서 양자화된 호프 대수 $ (U_{\bar{\hbar}}(\mathfrak{g}), \Delta_{\hbar}) $ 를 구성하는 것.
• 변형된 게르스텐하버 브라켓과 공호치히르드 미분을 사용하여 텐서 대수 $ TU = T(U_{\hbar}(\mathfrak{g})[-1]) $ 에서 $ G_{\infty} $-구조를 구성하는 것.
• 다음 조건을 만족하는 $ L_{\infty} $-준동형 $ \varphi $ 를 $ C(\mathfrak{g}) = S(\mathfrak{g}[-1]) $ 와 $ TU $ 사이에 설정하는 것: $ \varphi^1 $ 이 $ v \in C(\mathfrak{g}) $ 를 $ \hbar $ 모듈로의 그의 교대화 $ \operatorname{Alt}(v) $ 로 보냄.
• $ L_{\infty} $-준동형을 사용하여 후보 $ R' = 1 \otimes 1 + \sum_{n \geq 1} \frac{1}{n!} \Lambda^n r' $ 을 정의하며, 여기서 $ r' = -\hbar r $ 이고 $ R = (R')^{-1} $ 으로 정의하는 것.
• $ L_{\infty} $-준동형의 성질을 이용하여 $ R $ 이 양자 양형-베이저 방정식 $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $ 을 만족함을 검증하는 것.
• 드리닐드의 대칭성과 에팅호프-카즈단의 해양화를 적용하여 $ TU $ 에 존재하는 $ G_{\infty} $-구조가 코자이어 텐서 코알제브라 위에서의 표준적 구성에서 유래됨을 보이는 것.

실험 결과

연구 질문

• RQ1 모든 리 대수다형체에 대해 불변 다중벡터장의 리 대수와 양자화된 보편 포괄 대수의 텐서 대수 사이에 형식적 $ L_{\infty} $-준동형을 구성할 수 있는가?
• RQ2 그러한 형식성 준동형의 존재가 드리닐드의 의미에서 코바운드리 $ r $-행렬의 양자화를 암시하는가?
• RQ3 코바운드리 경우에서 $ L_{\infty} $-준동형의 구조로부터 양자 양형-베이저 방정식을 유도할 수 있는가?
• RQ4 구성된 $ R $-행렬이 $ R^{-1} = R^{2,1} $ 과 $ R \Delta_{\hbar}(a) R^{-1} = \Delta_{\hbar}^{\text{op}}(a) $ 의 대칭성 및 비틀림 성질을 만족하는가?
• RQ5 에팅호프-카즈단 양자화 프레임워크를 리 대수다형체로 확장하여 텐서 장과 다중미분 연산자 사이의 전역 형식성 정리를 도출할 수 있는가?

주요 결과

• $ TU $ 에서 변형된 게르스텐하버 브라켓과 공호치히르드 미분을 기반으로 한 $ L_{\infty} $-구조를 갖는 $ G_{\infty} $-구조가 구성됨.
• $ C(\mathfrak{g}) $ 와 $ TU $ 사이에 $ \varphi^1(v) \equiv \operatorname{Alt}(v) \mod \hbar $ 를 만족하는 $ L_{\infty} $-준동형 $ \varphi $ 가 존재하며, 이는 캘라크의 결과를 리 대수다형체 경우로 일반화한다.
• 유한차원 코바운드리 리 대수다형체 $ (\mathfrak{g}, r, Z) $ 에 대해 $ R \in U_{\hbar}(\mathfrak{g})^{\tens 2} $ 이 존재하며, $ R = 1 + \hbar r + O(\hbar^2) $ 를 만족하고 양자 양형-베이저 방정식을 충족함.
• 구성된 $ R $-행렬이 $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $ 를 만족함을 확인하여, 이가 양자 양형-베이저 방정식의 해임을 확인함.
• 준동형이 $ U_{\hbar}(\mathfrak{g}) $ 의 공호치히르드 복합체와 코브라켓 미분을 갖는 외부 대수 $ C(\mathfrak{g}) $ 사이의 준동형을 유도하며, $ \delta_{\hbar} = 0 $ 인 경우에 알려진 결과를 일반화함.
• 이 구성은 코바운드리 경우에서 드리닐드의 마지막 미해결 문제에 대한 해결책을 제공하지만, 전체 호프 대수 공리(특히 $ R^{-1} = R^{2,1} $ 과 비틀림 대칭성)는 일반적으로 완전히 검증되지 않은 상태이다.