[논문 리뷰] Uniqueness in geometric quantization

László Lempert, Róbert Szőke|arXiv (Cornell University)|2010. 04. 27.

Geometry and complex manifolds인용 수 8

한 줄 요약

이 논문은 기하적 양자화의 유일성을 분석하기 위해 연결을 지닌 힐베르트(bundle)의 섬유로 구성된 힐베르트 공간의 가중치 $H_s$ 가중치 가중치를 연구한다. 평탄하고 해석적인 필드가 단순연결된 기저 위에서 경로에 의존하지 않는 평행 이동을 갖는다는 것을 증명하며, 동차한 해석적 리만다이안 다양체의 경우, 카이러 구조에서 유도된 직접 이미지 구성이 평탄하고 해석적인 힐베르트 필드를 유도한다는 것을 증명한다. 이는 이러한 경우에 고유한 양자화를 의미한다.

ABSTRACT

Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and [Hi] suggest to view $H_s$ as fibers of a Hilbert bundle $H$, introduce a connection on $H$, and use parallel transport to identify different fibers. Here we explore to what extent this can be done. First we introduce the notion of smooth and analytic fields of Hilbert spaces, and prove that if an analytic field over a simply connected base is flat, then it corresponds to a Hermitian Hilbert bundle with a flat connection and path independent parallel transport. Second we address a general direct image problem in complex geometry: pushing forward a Hermitian holomorphic vector bundle $E-->Y$ along a non-proper map $Y-->S$. We give criteria for the direct image to be a smooth field of Hilbert spaces. Third we consider quantizing an analytic Riemannian manifold $M$ by endowing $TM$ with the family of adapted K\ahler structures from arxiv:1004.4069 [LSz]. This leads to a direct image problem. When $M$ is homogeneous, we prove the direct image is an analytic field of Hilbert spaces. For certain such $M$---but not all---the direct image is even flat; which means that in those cases quantization is unique.

연구 동기 및 목표

• 기하적 양자화가 종종 힐베르트 공간의 가중치 $H_s$ 를 유도하더라도, 어떤 조건에서 이 가중치들이 고유한 힐베르트 공간을 생성하는지 결정하는 것.
• 기하적 양자화 가중치 내의 서로 다른 힐베르트 공간 $H_s$ 가 힐베르트 필드의 평행 이동을 통해 자연스럽게 동형임을 조사하는 것.
• 비-고유한 사상에 沿해 헤르미트 헬름리츠 해석적 벡터 필드를 직접 이미지로 옮길 때, 매끄럽거나 해석적인 힐베르트 공간의 필드를 유도할 수 있는 기준을 설정하는 것.
• 적합한 카이러 구조를 사용하여 해석적 리만다이안 다양체를 양자화하고, 그 결과로 유도된 직접 이미지가 평탄한지 분석하여 고유성을 결정하는 것.

제안 방법

• 기저 다양체 $S$ 위에서 매끄럽고 해석적인 힐베르트 공간의 필드 개념을 도입하는 것.
• 단순연결된 기저 $S$ 위에서 평탄하고 해석적인 필드가 헤르미트 힐베르트 필드와 평탄한 연결을 지닌 것으로 대응되며, 경로에 의존하지 않는 평행 이동을 갖는다는 것을 증명하는 것.
• 복소기하학에서 일반적인 직접 이미지 문제를 다루기: $Y \to S$ 라는 비-고유한 사상에 따라 헤르미트 헬름리츠 해석적 벡터 필드 $E \to Y$ 를 옮기는 것.
• 특히 탄성장 $TM$ 에서의 카이러 구조의 맥락에서, 직접 이미지가 매끄러운 힐베르트 공간의 필드가 되는 데 필요한 충분한 조건을 제시하는 것.
• arXiv:1004.4069 [LSz] 에서 유도된 $TM$ 상에서 적합한 카이러 구조의 가중치를 구성하여 해석적 리만다이안 다양체의 양자화를 가능하게 하는 것.
• 유도된 직접 이미지 필드를 분석하고, 동차 다양체의 경우 평탄함을 증명하여 기저 전반에 걸쳐 힐베르트 공간들이 자연스럽게 동형임을 보이는 것.

실험 결과

연구 질문

• RQ1 기하적 양자화에서 힐베르트 공간의 가중치 $H_s$ 가 서로 다른 $s$ 에서 자연스럽게 동형이 되는 조건은 무엇인가?
• RQ2 단순연결된 기저 위에서 평탄하고 해석적인 힐베르트 공간의 필드는 평행 이동을 통해 자연스럽게 식별될 수 있는가?
• RQ3 비-고유한 사상에 따라 헤르미트 헬름리츠 해석적 벡터 필드의 직접 이미지가 매끄럽거나 해석적인 힐베르트 공간의 필드를 유도할 수 있는 조건은 무엇인가?
• RQ4 어떤 해석적 리만다이안 다양체에서 $TM$ 상의 적합한 카이러 구조를 사용한 양자화가 고유한가?
• RQ5 카이러 양자화 구성에서 유도된 직접 이미지 필드가 평탄할 때, 양자 힐베르트 공간의 고유성이 어떻게 보장되는가?

주요 결과

• 단순연결된 기저 위에서 평탄하고 해석적인 힐베르트 공간의 필드는 헤르미트 힐베르트 필드와 평탄한 연결을 지닌 것으로 대응되며, 경로에 의존하지 않는 평행 이동을 갖는다.
• 적절한 기하 조건 하에서 비-고유한 사상에 따라 헤르미트 헬름리츠 해석적 벡터 필드의 직접 이미지는 매끄러운 힐베르트 공간의 필드가 될 수 있다.
• 동차한 해석적 리만다이안 다양체의 경우, $TM$ 상의 적합한 카이러 구조에서 유도된 직접 이미지 구성은 해석적인 힐베르트 공간의 필드를 유도한다.
• 일부 동차 사례에서 직접 이미지 필드는 평탄하며, 이는 기저 전반에 걸쳐 유도된 양자 힐베르트 공간들이 자연스럽게 동형임을 의미한다.
• 직접 이미지가 평탄할 경우, 평행 이동이 힐베르트 공간 $H_s$ 를 자연스럽게 식별하므로 양자화가 고유하다.
• 이 구성은 기하적 양자화가 기저 기하학이 직접 이미지 필드의 평탄성을 지원할 경우 고유한 양자 표현을 유도할 수 있음을 확인한다.