[논문 리뷰] Geometric Quantization and No Go Theorems

Viktor L. Ginzburg, Richard Montgomery|ArXiv.org|1997. 03. 18.

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

한 줄 요약

이 논문은 기하적 양자화에서 '불가능성 정리'를 수립하며, 구형과 같은 심플렉틱 동차 공간을 포함한 광범위한 켈러 다양체에 대해, 양자화의 번들의 위에 프로젝티브로 평탄한 접속을 정의할 수 없기 때문에 균일한 양자화가 존재하지 않음을 증명한다. 핵심 결과는 컴actsymplectic 다양체 위의 매끄러운 함수의 리 대수는 본질적으로 비자명한 유한차원 표현을 가지지 않으며, 이는 보편적 양자화 절차를 방해한다.

ABSTRACT

A geometric quantization of a Kähler manifold, viewed as a symplectic manifold, depends on the complex structure compatible with the symplectic form. The quantizations form a vector bundle over the space of such complex structures. Having a canonical quantization would amount to finding a natural (projectively) flat connection on this vector bundle. We prove that for a broad class of manifolds, including symplectic homogeneous spaces (e.g., the sphere), such connection does not exist. This is a consequence of a ``no go'' theorem claiming that the entire Lie algebra of smooth functions on a compact symplectic manifold cannot be quantized, i.e., it has no essentially nontrivial finite-dimensional representations.

연구 동기 및 목표

• 고정된 심플렉틱 형식과 호환되는 복소 구조 공간 위에서 기하적 양자화의 균일한 절차가 존재하는지 조사하기.
• 주어진 심플렉틱 형식과 호환되는 복소 구조 공간 위에서 양자화의 벡터 번들의 위에 자연스럽고 프로젝티브로 평탄한 접속을 정의할 수 있는지 판단하기.
• 컴팩트 심플렉틱 다양체 위의 매끄러운 함수의 전체 리 대수를 유한차원 표현을 통해 양자화할 수 없음을 확립하기.
• 양자역학에서의 '불가능성 정리'를 켈러 다양체 위의 더 넓은 기하적 양자화 프레임워크로 확장하기.
• 심플렉틱 및 켈러 기하학에서 보편적 양자화 절차의 장애 요인을 명확히 하기.

제안 방법

• 저자들은 고정된 심플렉틱 형식과 호환되는 복소 구조 공간 위에서 기하적 양자화의 번들을 분석한다.
• 균일한 양자화의 존재를 이 번들의 프로젝티브로 평탄한 접속의 존재로 환원한다.
• 표현 이론적 기법을 사용하여, 이러한 접속이 매끄러운 함수의 리 대수의 유한차원 표현의 존재를 암시할 것임을 보여준다.
• 컴팩트 심플렉틱 다양체 위의 매끄러운 함수의 리 대수에 대해 본질적으로 비자명한 유한차원 표현이 존재하지 않음을 증명한다.
• 증명은 컴팩트 심플렉틱 다양체와 그 함수 대수의 코homological 및 구조적 성질에 기반한다.
• 이러한 추론은 구형 및 기타 대칭 공간을 포함한 심플렉틱 동차 공간에 적용된다.

실험 결과

연구 질문

• RQ1 프로젝티브로 평탄한 접속을 통해 켈러 다양체에 대해 기하적 균일 양자화를 정의할 수 있는가?
• RQ2 컴팩트 심플렉틱 다양체 위의 매끄러운 함수의 리 대수를 유한차원 표현으로 표현할 수 있는가?
• RQ3 기하적 양자화에서 보편적 양자화 절차의 장애 요인은 무엇인가?
• RQ4 대칭적인 구조를 지닌 심플렉틱 동차 공간은 자연스러운 양자화를 갖는가?
• RQ5 매끄러운 함수 대수의 유한차원 표현이 존재하지 않는다는 것은 기하적 양자화에 근본적인 제약를 의미하는가?

주요 결과

• 구형과 같은 심플렉틱 동차 공간을 포함한 광범위한 켈러 다양체에 대해 균일한 기하적 양자화가 존재하지 않는다.
• 이 장애는 컴팩트 심플렉틱 다양체 위의 매끄러운 함수의 리 대수가 본질적으로 비자명한 유한차원 표현을 가지지 않기 때문이다.
• 이러한 표현의 부재는 복소 구조 공간 위에서 양자화의 번들의 프로젝티브로 평탄한 접속이 존재하지 않음을 암시한다.
• 이 결과는 기하적 양자화에서 '불가능성 정리'를 구성하며, 이전의 양자역학에서의 장애를 일반화한다.
• 이 정리는 다양체의 위상 또는 대칭성과 관계없이 모든 컴팩트 심플렉틱 다양체에 대해 일반적으로 적용된다.
• 이 불가능성은 컴팩트 심플렉틱 다양체 위의 매끄러운 함수 대수의 대수적 및 코homological 구조에 뿌리를 두고 있다.