[논문 리뷰] Polarized deformation quantization

Paul Bressler, J. Donin|ArXiv.org|2000. 07. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 복소 극화를 지닌 심플렉틱 다양체 위에 편극화된 변형 양자화 프레임워크를 수립하며, 극화와 호환되는 스타곱 대수 $\omega$-구성과 함께, 페도소프 클래스 $\theta(\mathcal{A})$, 극화의 체르니 클래스 $c_1(P)$, 그리고 극화된 부분대수 $\mathcal{O}$의 도약 대수의 확장 클래스 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 사이의 정확한 관계식을 유도한다. 주요 결과는 $\theta(\mathcal{A}) = \frac{1}{t}\mathrm{cl}(\mathcal{A},\mathcal{O}) - \frac{1}{2}c_1(P)$라는 항등식으로, 이는 카라베고프의 변수분리 양자화를 편극화된 설정으로 일반화한다.

ABSTRACT

Let $A$ be a star product on a symplectic manifold $(M,ω_0)$, $\frac{1}{t}[ω]$ its Fedosov class, where $ω$ is a deformation of $ω_0$. We prove that for a complex polarization of $ω$ there exists a commutative subalgebra, $O$, in $A$ that is isomorphic to the algebra of functions constant along the polarization. Let $F(A)$ consists of elements of $A$ whose commutator with $O$ belongs to $O$. Then, $F(A)$ is a Lie algebra which is an $O$-extension of the Lie algebra of derivations of $O$. We prove a formula which relates the class of this extension, the Fedosov class, and the Chern class of $P$.

연구 동기 및 목표

• 심플렉틱 다양체 $(M,\omega_0)$ 위에 복소 극화 $P$ 와 호환되는 스타곱 대수 $\mathcal{A}$ 를 구성하는 것.
• 극화를 따라 상수인 함수들로 구성된 부분대수 $\mathcal{O} \subset \mathcal{A}$ 를 정의하고, 그 공통성과 가환성을 유지하는 것.
• 스칼라 $\mathcal{O}$-확장으로서의 도약 대수의 구조를 유지하는 $\mathcal{O}$-확장으로서의 도약 대수 $F(\mathcal{A}) = \{f \in \mathcal{A} \mid [f,\mathcal{O}] \subset \mathcal{O}\}$ 를 연구하는 것.
• 페도소프 클래스 $\theta(\mathcal{A})$, 체르니 클래스 $c_1(P)$, 그리고 $\mathcal{O}$-확장 $F(\mathcal{A})$ 의 확장 클래스 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 사이의 정확한 관계식을 유도하는 것.

제안 방법

• 심플렉틱 다양체에 복소 극화가 있는 경우에 페도소프 방법을 적응하여, 와일 대수 번들의 평탄한 접속을 사용해 스타곱을 구성하는 것.
• 삼중체 $(M,\omega_0,P)$ 의 변형 $(M,\omega,\mathcal{P})$ 을 도입하며, 여기서 $\mathcal{P}$ 는 극화 $P$ 의 변형이다.
• 극화된 스타곱 $(\mathcal{A},\mathcal{O})$ 를 정의하여 $\mathcal{O}$ 가 $\mathcal{P}$ 를 따라 상수인 함수들로 구성되며, $f \in \mathcal{O}$, $g \in \mathcal{A}$ 에 대해 $f \ast g = fg$ 가 성립하도록 하는 것.
• 스칼라 $\mathcal{O}$-확장으로서의 도약 대수 $F(\mathcal{A})$ 를 $\mathcal{A}$ 의 원소들 중에서 $\mathcal{O}$ 와의 교환자 연산 결과가 $\mathcal{O}$ 에 속하는 것들로 정의하며, 이는 $\mathrm{Der}(\mathcal{O})$ 의 $\mathcal{O}$-확장이 된다.
• 델리뉴의 장애 이론과 페도소프 클래스의 $t$-미분을 사용하여 확장 클래스 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 를 페도소프 클래스 $\theta(\mathcal{A})$ 와 체르니 클래스 $c_1(P)$ 와 연결하는 것.
• 역대수 $\mathcal{A}^{op}$ 와 $t$-역행 $\mathcal{A}^\sigma$ 에 페도소프 구성법을 적용하여 관계식 $\theta(\mathcal{A}) = \frac{1}{t}\mathrm{cl}(\mathcal{A},\mathcal{O}) - c$ 의 상수항을 유도하며, 최종적으로 $c = \frac{1}{2}c_1(P)$ 를 식별하는 것.

실험 결과

연구 질문

• RQ1 심플렉틱 다양체 $(M,\omega_0)$ 와 복소 극화 $P$ 가 주어졌을 때, $P$ 를 따라 상수인 함수들로 구성된 부분대수 $\mathcal{O}$ 가 스타곱에 대해 보존되고 가환성을 유지하는 스타곱 $\mathcal{A}$ 가 존재하는가?
• RQ2 극화 $\mathcal{O}$ 를 정규화하는 원소들의 도약 대수 $F(\mathcal{A})$ 는 $\mathcal{O}$-확장으로서의 $\mathrm{Der}(\mathcal{O})$ 의 구조로 어떻게 구성되는가?
• RQ3 편극화 양자화의 맥락에서 페도소프 클래스 $\theta(\mathcal{A})$, 극화의 체르니 클래스 $c_1(P)$, 그리고 $\mathcal{O}$-확장 $F(\mathcal{A})$ 의 확장 클래스 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 사이의 정확한 관계는 무엇인가?
• RQ4 확장 클래스 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 는 페도소프 클래스와 극화의 체르니 클래스로 표현될 수 있는가?
• RQ5 페도소프 클래스의 $t$-의존성과 장애 이론은 편극화 양자화에서 확장 클래스의 구조와 어떻게 관련되는가?

주요 결과

• 좋은 극화 $P$ 와 그 변형 $(M,\omega,\mathcal{P})$ 에 대해, 극화된 스타곱 $(\mathcal{A},\mathcal{O})$ 가 존재하며 $\theta(\mathcal{A}) = \frac{1}{t}[\omega]$ 를 만족한다. 이는 이전의 실극화 결과를 일반화한다.
• 부분대수 $\mathcal{O} \subset \mathcal{A}$ 는 변형된 극화 $\mathcal{P}$ 를 따라 상수인 함수들로 구성되며, 스타곱은 $\mathcal{O}$ 위에서 가환곱으로 제한된다.
• 극화 $\mathcal{O}$ 를 정규화하는 도약 대수 $F(\mathcal{A})$ 는 $\mathrm{Der}(\mathcal{O})$ 의 $\mathcal{O}$-확장이 되며, $P$ 가 강한 극화일 경우 국소적으로 분리 가능하다.
• 강한 극화에 대해 확장 클래스 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 는 $H^2(M, \frac{1}{t}\mathbb{C}[[t]])$ 에 잘 정의되어 있다.
• 주요 공식 $\theta(\mathcal{A}) = \frac{1}{t}\mathrm{cl}(\mathcal{A},\mathcal{O}) - \frac{1}{2}c_1(P)$ 가 성립하며, 이는 페도소프 클래스, 확장 클래스, 극화의 체르니 클래스 사이의 관계를 연결한다.
• 이 공식은 카라베고프의 변수분리 양자화를 일반화하며, 카일러의 경우에 $\mathrm{cl}(\mathcal{A},\mathcal{O})$ 가 카라베고프의 클래스와 일치한다.