[논문 리뷰] Quantization of Lie bialgebras revisited

Pavol Ševera|arXiv (Cornell University)|2014. 01. 23.

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

한 줄 요약

이 논문은 브라운드 모노이드 범주에서 코커뮤터티브 코알제브라와 브라운드 코모노이드 함자를 사용하여 리 이중대수의 양자화를 위한 새로운 간단한 방법을 제시한다. 코알제브라의 코바르 구조에 함자를 적용하여 호프 대수를 구성함으로써 이 접근법은 이중의 양자화가 필요로 하는 것을 피하고, 드린펠트의 약속자에 의존하면서도 무한소적으로 브라운드된 리 이중대수에 적용 가능한 더 직접적인 양자화 경로를 제공한다.

ABSTRACT

We describe a new method of quantization of Lie bialgebras, based on a construction of Hopf algebras out of a cocommutative coalgebra and a braided comonoidal functor.

연구 동기 및 목표

• 이중의 양자화를 피하는 더 직접적인 방법으로 리 이중대수의 함자적 양자화를 개발하는 것.
• 역전환 조건 하에서 코커뮤터티브 코알제브라와 브라운드 코모노이드 함수로부터 호프 대수를 구성하는 것.
• 이 방법을 무한소적으로 브라운드된 리 이중대수에서 브라운드 호프 대수로 일반화하는 것.
• 단순체의 구조와 불변량을 통한 기하학적이고 범주론적인 양자화의 해석을 제공함으로써, 군의 너브를 기반으로 한 영감을 제공하는 것.

제안 방법

• 메서드는 브라운드 모노이드 범주 $\mathcal{D}$ 안의 코커뮤터티브 코알제브라 $M$과 다른 브라운드 모노이드 범주 $\mathcal{C}$로의 브라운드 코모노이드 함수 $F:\mathcal{D}\to\mathcal{C}$로부터 호프 대수를 구성한다.
• 코알제브라의 코바르 구조 $E_nM = M^{n+1}$ 는 $\mathcal{D}$ 안의 단순체 코알제브라로 사용되며, $M$이 코커뮤터티일지라도 비코커뮤터티일 수 있다.
• 함수 $F$ 는 이 단순체 구조에 적용되어 $B_nM = F(E_nM)$ 를 형성하고, 호프 대수의 구조는 $B_1M = F(M \otimes M)$ 에서 실현된다.
• 곱과 코곱은 면 맵과 브라운드 텐서곱으로부터 유도되며, 브라운드 코모노이드 함수의 성질로 인해 호환성이 보장된다.
• 이 구조는 자연 변환의 역전환 조건에 의존하여 결과 대수가 호프 대수가 되도록 보장한다.
• 이 방법은 리 이중대수에 적용되며, $C^\infty(G)$ 를 $U\mathfrak{d}$-모듈의 범주 안의 코알제브라로 표현하고, $F$ 는 $\mathfrak{g}$-불변량을 취하는 것으로 주어진다.

실험 결과

연구 질문

• RQ1 이중의 양자화 없이 코커뮤터티브 코알제브라와 브라운드 코모노이드 함수로부터 직접 호프 대수를 구성할 수 있는가?
• RQ2 코바르 구조의 단순체 구조는 양자화 과정에서 호프 대수의 구조와 어떻게 관련이 있는가?
• RQ3 이 방법을 무한소적으로 브라운드된 리 이중대수에서 브라운드 호프 대수로 확장할 수 있는가?
• RQ4 드린펠트의 약속자는 이 구조에서 어떤 역할을 하는가? 에팅호프-카즈단 또는 타마르킨의 접근과 비교해보면 어떻게 다른가?
• RQ5 군의 네브의 기하학적 해석은 브라운드 범주에서의 코알제브라로 어떻게 일반화될 수 있는가?

주요 결과

• 역전환 조건 하에서 코커뮤터티브 코알제브라 $M$ 과 브라운드 코모노이드 함수 $F$ 로부터 $F(M \otimes M)$ 에서 호프 대수를 구성할 수 있다.
• 이 방법은 리 이중대수의 이중을 양자화할 필요 없이, 에팅호프-카즈단의 접근보다 전체적인 양자화 절차를 단순화한다.
• 결과적으로 $C^\infty(G)$ 에서의 곱은 파oisson 구조 $\pi$ 를 양자화하는 스타곱이며, 첫 번째 차수 항은 $\frac{\hbar}{2}\{f_1,f_2\}$ 로 주어진다.
• 코곱은 $\Delta_\hbar = D_\hbar \circ \Delta_0$ 의 형태를 띠며, $D_\hbar$ 는 고전적 코곱을 변형하는 미분연산자이다.
• 이 구조는 $U\mathfrak{d}\text{-mod}_\hbar^\Phi$ 범주 안에서 단순다양체 $E_\bullet G = G^{\bullet+1}$ 의 변형 양자화를 제공하며, 이는 $B_\bullet G$ 의 양자화로 내림내릴 수 있다.
• 이 방법은 무한소적으로 브라운드된 리 이중대수에 적용 가능하며, 동일한 함자적 메커니즘을 통해 브라운드 호프 대수를 도출한다.