[논문 리뷰] Geometric Quantization

William Gordon Ritter|ArXiv.org|2002. 08. 02.

Advanced Topics in Algebra인용 수 6

한 줄 요약

이 논문은 심플렉틱 기하학과 분할을 통해 고전역학과 양자역학을 통합하는 엄밀한 기하적 프레임워크를 제시한다. 선다발과 접속을 통한 사전 양자화를 도입한 후, 특히 반형태와 밀도를 사용하여 분할된 섹션을 통해 양자 힐버트 공간을 구성하며, 이는 코어지안 오비트 위에서 유니터리 표현을 유도하고 스chrödinger 및 운동량 표현과 같은 표준 양자 표현을 복원한다.

ABSTRACT

We review the definition of geometric quantization, which begins with defining a mathematical framework for the algebra of observables that holds equally well for classical and quantum mechanics. We then discuss prequantization, and go into details of the general method of quantization with respect to a polarization using densities and half-forms. This has applications to the theory of unitary group representations and coadjoint orbits.

연구 동기 및 목표

• 고전역학과 양자역학을 공통의 대수적 및 기하적 구조를 통해 통합하는 수학적 프레임워크를 수립하기 위해.
• 심플렉틱 다양체 위에서 선다발, 접속, 심플렉틱 잠재함수를 사용하여 사전 양자화를 정의함으로써 양자화의 한 단계로 간주하기 위해.
• 특히 실분할과 허용 가능한 분할을 사용하여 기하적 양자화의 일반적 방법을 개발하고, 양자 힐버트 공간을 구성하기 위해.
• 결과로 얻어진 양자 연산자가 분할을 유지함으로써 양자 이론에서의 기약성 조건을 만족시키도록 보장하기 위해.
• 기본적인 양자 표현(예: 슈뢰딩거 및 운동량 표현)이 코타angent 다발 위에서 일반 형식의 특수한 경우로 복원됨을 확인하기 위해.

제안 방법

• 관측 가능량의 대수, 상태 공간, 기대값을 통한 쌍대성에 의해 물리의 수학적 구조를 정의하기 위해.
• 심플렉틱 다양체 위에 헤르미트 선다발과 접속을 도입하여 사전 양자화를 정의하며, 심플렉틱 형식을 곡률로 사용하기 위해.
• 실분할 $F$ 를 사용하여 분할된 섹션을 구성하며, 섹션은 $F$ 에 따라 코바리언트로 일정하고, 부분다양체 $M_k$ 에서만 정의됨을 보장하기 위해.
• 양자 힐버트 공간 $\mathcal{H}$ 를 $\mathcal{H}^k$ 들의 직합 $\bigoplus_{k=0}^n \mathcal{H}^k$ 으로 정의하며, 각 $\mathcal{H}^k$ 는 $M_k$ 위에서 $B \otimes \sqrt{\bigwedge^n F}$ 의 $L^2$-섹션으로 구성됨을 보장하기 위해.
• 반형태 다발 $\sqrt{\bigwedge^n F}$ 를 사용하여 $Q_i \subset M/D$ 에서의 적분을 통해 내적을 정의함으로써 유니터리성을 확보하기 위해.
• 양자화된 연산자를 분할을 유지하는 연산자로 정의하며, 해밀토니안 벡터장 $X_f$ 에 대해 $[X_f, P] \subset P$ 를 요구함으로써 양자화 가능한 관측 가능량의 집합을 제한하기 위해.

실험 결과

연구 질문

• RQ1 심플렉틱 기하학을 바탕으로 한 단일 수학적 프레임워크 안에서 고전역학과 양자역학을 어떻게 통합할 수 있는가?
• RQ2 기하적 양자화를 통해 고전적 관측 가능량이 일관되게 양자화되기 위한 조건은 무엇인가?
• RQ3 특히 실분할과 허용 가능한 분할이 양자 힐버트 공간의 구조를 어떻게 결정하는가?
• RQ4 반형태와 밀도는 기하적 양자화에서 잘 정의된 내적을 구성하는 데 어떤 역할을 하는가?
• RQ5 표준 양자 표현(예: 슈뢰딩거 및 운동량 표현)은 코타angent 다발 위에서 일반 기하적 양자화 절차로부터 어떻게 유도되는가?

주요 결과

• 사전 양자화는 심플렉틱 형식을 곡률로 사용하는 접속이 있는 선다발의 섹션 힐버트 공간 위에서 헤이젠베르크 대수의 유니터리 표현을 구성한다.
• 완전한 양자 힐버트 공간 $\mathcal{H}$ 는 직합 $\bigoplus_{k=0}^n \mathcal{H}^k$ 로 표현되며, 각 $\mathcal{H}^k$ 는 분할의 각 스트라툼 $M_k$ 와 대응된다.
• $\mathcal{H}^k$ 위의 내적은 $M/D$ 에서의 컴acts지지된 부분다양체 $Q_i \subset M/D$ 에서 섹션의 국소 내적의 적분을 통해 정의되며, 이는 $L^2$-완비성을 보장한다.
• 분할된 연산자는 해밀토니안 벡터장 $X_f$ 가 분할 $P$ 를 유지하는 경우, 즉 $[X_f, P] \subset P$ 를 만족할 때 성립하며, 이는 양자화 가능한 관측 가능량의 집합을 제한한다.
• $T^*Q$ 에서 수직 분할은 $\mathcal{O}_{q^j} = q^j$ 와 $\mathcal{O}_{p_j} = -i\hbar \partial / \partial q^j$ 를 가지며, 슈뢰딩거 표현을 유도하고, 수평 분할은 운동량 표현을 유도한다.
• 슈뢰딩거 표현과 운동량 표현 사이의 전이가 푸리에 변환을 통해 실현되며, 이는 기하적 양자화 프레임워크의 일관성을 확인한다.