[논문 리뷰] Weyl quantization of degree 2 symplectic graded manifolds

Melchior Grützmann, Jean-Philippe Michel외 1명|arXiv (Cornell University)|2014. 10. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 8

한 줄 요약

이 논문은 스핀어 디피어렌셜 연산자 대수에 대한 새로운 필터를 도입하여, 그에 대응하는 호그레드 대수가 (E, g)에 자연스럽게 관련된 차수 2의 심플렉틱 그레디에이티드 다양체 위의 매끄러운 함수 대수와 동형임을 증명한다. 이를 통해 Weyl 양자화 사상이 구성되며, 이는 쿠르앙트 대수다형의 구조와 반대칭 디랙 생성 연산자 사이의 전단사 관계를 확립한다. 이 사상에서 $D^2$ 는 쿠르앙트 대수다형의 새로운 불변량으로서 카르탕 3형식의 제곱 노름을 일반화한다.

ABSTRACT

Let $S$ be a spinor bundle of a pseudo-Euclidean vector bundle $(E,\mathrm{g})$ of even rank. We introduce a new filtration on the algebra $\mathcal{D}(M,S)$ of differential operators on $S$. As main property, the associated graded algebra $\mathrm{gr}\mathcal{D}(M,S)$ is isomorphic to the algebra $\mathcal{O}(\mathcal{M})$ of functions on $\mathcal{M}$, where $\mathcal{M}$ is the symplectic graded manifold of degree $2$ canonically associated to $(E,\mathrm{g})$. Accordingly, we define the Weyl quantization on $\mathcal{M}$ as a map $\mathcal{WQ}_\hbar:\mathcal{O}(\mathcal{M}) o\mathcal{D}(M,S)$, and prove that $\mathcal{WQ}_\hbar$ satisfies all desired usual properties. As an application, we obtain a bijection between Courant algebroid structures $(E,\mathrm{g},ρ,[\cdot,\cdot])$, that are encoded by Hamiltonian generating functions on $\mathcal{M}$, and skew-symmetric Dirac generating operators $D\in\mathcal{D}(M,S)$. The operator $D^2$ gives a new invariant of $(E,\mathrm{g},ρ,[\cdot,\cdot])$, which generalizes the square norm of the Cartan $3$-form of a quadratic Lie algebra. We study in detail the particular case of $E$ being the double of a Lie bialgebroid $(A,A^*)$.

연구 동기 및 목표

• 스핀어 번들의 디피어렌셜 연산자 대수에 대한 새로운 필터를 개발한다.
• 이 필터의 관련 호그레드 대수가 (E, g)에 자연스럽게 관련된 차수 2의 심플렉틱 그레디에이티드 다양체 $\mathcal{M}$ 위의 매끄러운 함수 대수와 동형임을 증명한다.
• 표준 양자화 성질을 만족하는, 그레디에이티드 다양체 위의 함수에서 디피어렌셜 연산자로 가는 Weyl 양자화 사상 $\mathcal{WQ}_\hbar: \mathcal{O}(\mathcal{M}) \to \mathcal{D}(M,S)$ 를 구성한다.
• 이 양자화 사상을 적용하여 쿠르앙트 대수다형의 구조와 반대칭 디랙 생성 연산자 사이의 대응관계를 확립한다.
• 쿠르앙트 대수다형의 새로운 불변량 $D^2$ 를 정의하고 연구한다. 이는 이차 리 대수다형의 카르탕 3형식의 제곱 노름을 일반화한다.

제안 방법

• 스핀어 번들의 디피어렌셜 연산자 대수 $\mathcal{D}(M,S)$ 에 새로운 필터를 도입한다. 이는 짝수 차수의 의사유클리드 벡터 번들의 $(E,\mathrm{g})$ 에 대해 정의된다.
• 이 필터의 관련 호그레드 대수 $\operatorname{gr}\mathcal{D}(M,S)$ 가 $(E,\mathrm{g})$ 에 자연스럽게 관련된 차수 2의 심플렉틱 그레디에이티드 다양체 $\mathcal{M}$ 위의 매끄러운 함수 대수 $\mathcal{O}(\mathcal{M})$ 과 동형임을 증명한다.
• 이 동형을 이용하여 Weyl 양자화 사상 $\mathcal{WQ}_\hbar: \mathcal{O}(\mathcal{M}) \to \mathcal{D}(M,S)$ 를 구성하고, 표준 양자화 공리계를 만족하는지 검증한다.
• 이 양자화 사상을 사용하여 $E$ 위의 쿠르앙트 대수다형의 구조와 반대칭 디랙 생성 연산자 $D \in \mathcal{D}(M,S)$ 사이의 전단사 관계를 확립한다.
• $D^2$ 를 쿠르앙트 대수다형의 새로운 불변량으로 정의한다. 이는 이차 리 대수다형의 카르탕 3형식의 제곱 노름을 일반화한다.
• $(A,A^*)$ 가 리 이중대수다형일 때 $E$ 가 그 이중임을 고려하여, 국소적 표준형에서 $D^2 = \frac{1}{2}\langle\zeta_0,\eta_0\rangle - \widehat{Q}_*\eta_0$ 임을 분석한다.

실험 결과

연구 질문

• RQ1 스핀어 디피어렌셜 연산자 대수에 대해, 그 관련 호그레드 대수가 (E, g)에 자연스럽게 관련된 차수 2의 심플렉틱 그레디에이티드 다양체 위의 매끄러운 함수 대수와 동형이 되도록 하는 새로운 필터를 어떻게 구성할 수 있는가?
• RQ2 이러한 그레디에이티드 다양체 위의 함수에서 디피어렌셜 연산자로 가는 Weyl 양자화 사상을 정의할 수 있으며, 이는 양자화에 요구되는 성질을 만족하는가?
• RQ3 이 양자화를 통해 쿠르앙트 대수다형의 구조와 반대칭 디랙 생성 연산자 사이에 자연스러운 대응관계가 존재하는가?
• RQ4 $D^2$ 가 쿠르앙트 대수다형에 대해 기하학적·대수학적 의미를 가지며, 기존의 불변량을 어떻게 일반화하는가?
• RQ5 리 이중대수다형의 이중일 때 $D^2$ 는 어떻게 행동하며, 그 명시적 표현은 무엇인가?

주요 결과

• $\operatorname{gr}\mathcal{D}(M,S)$ 는 $(E,\mathrm{g})$ 에 자연스럽게 관련된 차수 2의 심플렉틱 그레디에이티드 다양체 $\mathcal{M}$ 위의 매끄러운 함수 대수 $\mathcal{O}(\mathcal{M})$ 과 동형이다.
• Weyl 양자화 사상 $\mathcal{WQ}_\hbar: \mathcal{O}(\mathcal{M}) \to \mathcal{D}(M,S)$ 가 구성되었고, 모든 표준 양자화 성질을 만족함을 증명하였다.
• 쿠르앙트 대수다형의 구조 $(E,\mathrm{g},\rho,\llbracket\cdot,\cdot\rrbracket)$ 와 반대칭 디랙 생성 연산자 $D \in \mathcal{D}(M,S)$ 사이에 전단사 관계가 존재한다.
• $D^2$ 는 쿠르앙트 대수다형의 새로운 불변량으로, 이차 리 대수다형의 카르탕 3형식의 제곱 노름을 일반화한다.
• $(A,A^*)$ 가 리 이중대수다형이고 $E$ 가 그 이중일 경우, 국소적 표준형에서 $D^2 = \frac{1}{2}\langle\zeta_0,\eta_0\rangle - \widehat{Q}_*\eta_0$ 로 주어지며, 여기서 $\zeta_0$ 와 $\eta_0$ 는 모듈러 1-코호몰로지이다.
• $\{\Theta,\Theta\}=0 \iff \left(\operatorname{L}_Q + \beta \circ \operatorname{L}_{Q_*} \circ \beta^{-1}\right)^2 \in C^\infty(M)$ 의 동치가 성립함을 증명하여, 해밀토니안 조건과 디랙 연산자의 제곱 사이의 연결고리를 확립하였다.