[논문 리뷰] An Introduction To Geometric Prequantization

J. R. Geraci|ArXiv.org|2009. 11. 05.

Mathematics and Applications참고 문헌 3인용 수 4

한 줄 요약

이 논문은 양자역학을 해밀턴 역학의 심플렉틱 기하학에 엄밀한 수학적 프레임워크로 통합하기 위해 기하학적 전량화(geometric prequantization)를 소개한다. 심플렉틱 다양체 위에 U(1)-주다발과 그 위의 접속 1-form을 구성함으로써, 그 곡률이 심플렉틱 형식이 되도록 하여, 고전적 관측가능량(매끄러운 함수)에서 다발 위의 벡터장으로의 단사 리대수 준동형을 수립함으로써, 파울리 괄호와 교환자 사이의 대응을 실현하고, 파인만 경로적분의 위상 인자를 기하학적 호율성으로 복원한다.

ABSTRACT

Classical mechanics has a natural mathematical setting in symplectic geometry and it may be asked if the same is true for quantum mechanics. More precisely, is it possible to capture certain quantum idiosyncrasies within the symplectic framework of classical mechanics? Beginning with Dirac, the idea of quantizing a classical system involved associating the phase space variables with Hermitian operators which act on some Hilbert space, as well as associating the Poisson bracket on the phase space with the commutator for the operators. Mathematically the phase space is associated with some symplectic manifold $M$ and the non-degenerate 2-form $ω$, which comes with $M$. Geometric prequantization is a process by which one does this in a mathematically "rigorous" manner and we shall attempt to just introduce the methods here. We do this by exploring this contruction for ($\mathbb{R}^{2n}, \sum_{i=1}^n dp_i \wedge dq_i$) which avoids using complex line bundles in any non-trivial way. One should note however that the Hilbert space one obtains is in fact too "big", in the sense that it has too many functions in order to correspond with actual physically significant Hilbert spaces. Geometric quantization remedies this situation but it should be noted that not all manifolds are prequantizable. We shall not discuss either of these issues however.

연구 동기 및 목표

• 심플렉틱 다양체 위에서 고전역학과 양자역학 사이에 수학적으로 엄밀한 다리를 구축하기 위해 고전적 위상공간에 기하학적 구조를 추가함으로써, 고전역학과 양자역학의 연결 고리를 확립하는 것.
• 고전적 관측가능량의 파울리 괄호가 전량화 다발 위의 벡터장의 교환자로 어떻게 실현될 수 있는지 보여주는 것.
• 파인만 경로적분의 위상 인자가 고전적 심플렉틱 구조에서 자연스럽게 어떤 주다발 위의 접속의 호율성으로 나타나는지 보여주는 것.
• 심플렉틱 형식이 곡률이 되는 주다발 위의 접속 1-form을 통해 표준 교환관계의 기하학적 실현을 제공하는 것.

제안 방법

• 심플렉틱 다양체 $ M $ 위에 주다발 $ L $ 과 접속 1-form $ \alpha $ 를 구성하여 $ d\alpha = \omega $ 를 만족시키며, 여기서 $ \omega $ 는 심플렉틱 형식이다.
• 각 고전적 관측가능량 $ f \in C^\infty(M) $ 에 대해 다발 $ L $ 위의 벡터장 $ V_f $ 를 정의하여 $ \pi_* V_f = X_f $ 와 $ \alpha(V_f) = f $ 를 만족시키며, 심플렉틱 구조와의 일致성을 확보한다.
• 다르부 정리를 사용하여 국소적으로 $ (M, \omega) $ 를 $ (\mathbb{R}^{2n}, \sum dp_i \wedge dq_i) $ 와 동일시함으로써, 올린 벡터장의 명시적 계산을 가능하게 한다.
• 벡터장 $ V_H $ 의 적분곡선을 유도하여, $ \theta $-성분이 $ \theta(t) = -\int_{t_0}^t \Lambda(s) \, ds + \theta(t_0) $ 와 같이 진화함을 보이며, 여기서 $ \Lambda $ 는 라그랑지안이다. 이는 파인만 경로적분의 위상 인자를 재현한다.
• 사람 $ f \mapsto V_f $ 가 리대수 준동형임을 증명하여, $ \{f,g\} = \omega(X_f, X_g) $ 가 접속 형식에 의해 위상에 따라 $ [V_f, V_g] = -i V_{\{f,g\}} $ 와 대응됨을 보인다.
• 양자 상태의 힐베르트 공간이 $ L $ 의 단면들로부터 유도되며, 다만 물리적 사용에에는 너무 크므로 기하학적 양자화를 통한 추가 축소가 필요하다.

실험 결과

연구 질문

• RQ1 고전적 파울리 괄호와 양자 교환자 사이의 대응은 다발 구조를 통해 기하학적으로 실현될 수 있는가?
• RQ2 파인만 경로적분의 위상 인자는 고전적 심플렉틱 구조에서 어떻게 자연스럽게 유도되는가?
• RQ3 주다발 위의 접속 1-form이 고전적 관측가능량을 양자 연산자로 올리는 데 어떤 역할을 하는가?
• RQ4 기하학적 전량화 다발 위의 벡터장이 기저 심플렉틱 다양체 위의 해밀턴 벡터장과 어떻게 자연스럽게 대응되는가?
• RQ5 전량화 다발의 단면들로부터 유도된 힐베르트 공간이 물리적 양자역학에 너무 큰 이유는 무엇이며, 추가로 어떤 구조가 필요한가?

주요 결과

• 심플렉틱 형식 $ \omega $ 를 곡률로 가지는 접속 $ \alpha $ 를 지닌 전량화 다발 $ L $ 은 고전적 위상공간 위에서 양자역학의 기하학적 실현을 제공한다.
• 다발 $ L $ 위의 올린 벡터장 $ V_f $ 는 $ \pi_* V_f = X_f $ 와 $ \alpha(V_f) = f $ 를 만족하여 고전적 및 양자역학적 동역학 사이의 일致성을 보장한다.
• 파인만 경로적분의 위상 인자는 해밀턴 벡터장 $ X_H $ 의 흐름 沿해 접속 $ \alpha $ 의 호율성으로 기하학적으로 해석된다.
• 사람 $ f \mapsto V_f $ 는 단사 리대수 준동형이므로, 파울리 괄호 $ \{f,g\} $ 는 위상 인자에 따라 교환자 $ [V_f, V_g] $ 와 대응된다.
• 단면들의 공간이 너무 크기 때문에 이 구성은 물리적으로 유용한 힐베르트 공간을 제공하지 못하므로 기하학적 양자화를 통한 추가 축소가 필요하다.
• 일般적으로 다발 $ L $ 은 유일하지 않지만, 기저 다양체 $ M $ 이 단순연결일 경우에만 유일하게 정의되며, 이는 표준 전량화를 보장한다.