[논문 리뷰] Variations on Prequantization

Alan Weinstein, Marco Zambon|ArXiv.org|2004. 12. 27.

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

한 줄 요약

이 논문은 주어진 $U(1)$-_bundle와 호환되는 Dirac-Jacobi 구조를 갖는 주 $U(1)$-_bundle를 정의하여 Dirac 다양체에 대해 사전량자를 일반화한다. 이는 선형 다중체의 섹션 위에서 파워슨 대수의 해밀토니안 작용을 가능하게 하며, 특히 경계가 있는 다양체에서 고정점을 가진 $U(1)$-작용을 允許함으로써, 선형 다중체가 아닌 셰이프-값 섹션을 사용하는 방식으로 사전량자를 일반화한다. 이는 심플렉틱, 파우송, 프레심플렉틱 사전량자를 하나의 프레임워크로 통합한다.

ABSTRACT

We extend known prequantization procedures for Poisson and presymplectic manifolds by defining the prequantization of a Dirac manifold P as a principal U(1)-bundle Q with a compatible Dirac-Jacobi structure. We study the action of Poisson algebras of admissible functions on P on various spaces of locally (with respect to P) defined functions on Q, via hamiltonian vector fields. Finally, guided by examples arising in complex analysis and contact geometry, we propose an extension of the notion of prequantization in which the action of U(1) on Q is permitted to have some fixed points.

연구 동기 및 목표

• 주어진 $U(1)$-bundle 위에 호환되는 Dirac-Jacobi 구조를 갖는 Dirac 다양체 $P$에 대해 사전량자를 정의함으로써, 심플렉틱, 파우송, 프레심플렉틱 다양체의 사전량자를 통합한다.
• 기본 사전량자를 고정점을 가진 $U(1)$-작용을 允許함으로써 확장함으로써, 특히 경계가 있는 다양체에서 섹션들이 선형 다중체의 전역 섹션이 아닌 셰이프-값 섹션이 되는 경우를 다룬다.
• 기하학적 양자화를 일반화하기 위해 전역 극화된 섹션을 코homological 또는 비가환 구조로 대체함으로써, 파우송 대수의 새로운 표현을 가능하게 한다.

제안 방법

• Dirac 다양체 $P$의 사전량자를 주 $U(1)$-bundle $Q$에 부여하고, 이에 호환되는 Dirac-Jacobi 구조를 갖춘 것으로 정의한다.
• 함수 $f$에 대해 $Q$ 위에서의 해밀토니안 벡터장 $X_f^H$와 $U(1)$-작용의 무한소 생성자 $E$를 사용하여 $P$ 위의 함수를 표현한다.
• 벡터장 $-X_f^H + \tilde{f}E$를 통해 $Q$ 위의 국소적으로 정의된 함수들에 대한 $C^\infty(P)$의 작용을 구성한다. 여기서 $\tilde{f} = \tilde{f} \times \text{pr}^*f$이다.
• 기저 다양체 $P$가 경계를 가질 경우, $Q$ 위의 $U(1)$-작용에 고정점이 존재할 수 있도록 허용함으로써, 선형 다중체의 섹션이 아닌 셰이프-값 섹션이 된다.
• 복소해석학과 접촉 기하학의 예를 들어 고정점 확장을 동기화하며, 구의 임bedding과 LeBrun-Poisson 다양체의 사전량화를 포함한다.
• 셰이프 코호몰로지와 $L_\infty$-대수를 사용하여 사전량화의 코homological 및 비가환적 일반화를 제안하며, 특성 폴리아션의 종방향 de Rham 복합체 위에서의 $L_\infty$-대수를 활용한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 파우송 및 프레심플렉틱 사례를 통합하는 Dirac 다양체에 대해 사전량자를 일반화할 수 있는가?
• RQ2 기저 다양체에 경계가 있을 경우, 사전량화 다중체 위의 $U(1)$-작용에서 고정점의 역할은 무엇인가?
• RQ3 고정점이 있는 $U(1)$-작용이 존재할 경우, 섹션들이 선형 다중체의 전역 섹션이 아닌 셰이프-값 섹션이 되는 경우, 표준 기하학적 양자화 절차를 어떻게 확장할 수 있는가?
• RQ4 사전량화 단계에서 코호몰로지 방법이 파우송 대수의 표현을 어떻게 정교화하는가?
• RQ5 특성 폴리아션의 군집 대수에서 유래하는 비가환 파우송 대수는 사전량화될 수 있으며, 어떤 표현을 갖는가?

주요 결과

• 주어진 $U(1)$-bundle $Q$에 호환되는 Dirac-Jacobi 구조를 갖춘 Dirac 다양체 $P$의 사전량화는 심플렉틱, 파우송, 프레심플렉틱 사전량화를 일반화한다.
• $Q$ 위의 국소적으로 정의된 함수들에 대한 $C^\infty(P)$의 작용은 벡터장 $-X_f^H + \tilde{f}E$를 통해 실현되며, 이는 $Q$ 위의 접촉 구조에 대한 함수 $f$의 해밀토니안 흐름을 생성한다.
• $U(1)$-작용이 고정점을 가질 경우(예: $P$의 경계 위에서), 섹션의 공간은 선형 다중체가 아닌 셰이프-값이 되며, 이는 더 일반적인 기하학적 양자화 프레임워크를 가능하게 한다.
• 비특이 파우송 구조를 가진 파우송 다양체(예: LeBrun-Poisson 다양체)의 사전량화는 디스크의 표준 사전량화와 붙임으로써 콪팩티피케이션될 수 있으며, 이는 $S^{2n+1}$과 같은 콤팩트 접촉 다양체를 얻는다.
• 코호몰로지 접근법은 국소 적응 함수의 첫 번째 셰이프 코호몰로지 위에 있는 파우송 대수의 리 대수 작용을 두 번째 국소 함수의 코호몰로지 위에 일반화하여 표준 표현을 정교화한다.
• 종방향 de Rham 복합체 위의 특성 폴리아션에 대해 $L_\infty$-대수의 구조를 사용하여 비가환 사전량화를 제안하며, 이는 Dirac 다양체의 대수적 양자화를 위한 새로운 길을 제시한다.