[논문 리뷰] Quantum Mechanics on Manifolds

Shogo Tanimura|ArXiv.org|1993. 06. 28.

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

한 줄 요약

이 논문은 동차 공간 M = G/H 위의 벡터 다발에 값이 있는 함수 위에서 등급군 G의 유니터리 표현을 사용하여 다양체 위의 양자역학을 위한 프레임워크를 제안한다. 비어 있지 않은 H에 대해, S^n, T^n, RP^n 등의 예시에서 보듯이 서로 동치가 아닌 무한한 양자 실현이 존재함을 보여준다.

ABSTRACT

A definition of quantum mechanics on a manifold $ M $ is proposed and a method to realize the definition is presented. This scheme is applicable to a homogeneous space $ M = G / H $. The realization is a unitary representation of the transformation group $ G $ on the space of vector bundle-valued functions. When $ H e \{ e \} $, there exist a number of inequivalent realizations. As examples, quantum mechanics on a sphere $ S^n $, a torus $ T^n $ and a projective space $ \RP $ are studied. In any case, it is shown that there are an infinite number of inequivalent realizations.

연구 동기 및 목표

• 비틀린 다양체, 특히 동차 공간 위에서 양자역학의 일반적 정의를 수립하기 위해.
• 표준 힐버트 공간 양자화가 실패하는 비자명한 위상수학적 공간 위에서 양자 시스템을 정의하는 데 도전하는 데에.
• 군 표현 이론을 사용하여 다양체 위에 양자 이론을 체계적으로 구성하는 방법을 제공하기 위해.
• 대칭 공간 위에서 서로 동치가 아닌 양자 실현의 존재와 분류를 탐색하기 위해.
• 구체적인 예시들인 구, 토러스, 실수 사영 공간 등을 통해 다양체 위의 양자 구조의 풍부함을 보여주기 위해.

제안 방법

• 다양체 M = G/H 위에서 등급군 G의 유니터리 표현을 사용하여 다발의 단면들 공간 위에서 양자역학을 정의한다.
• G의 군 구조를 활용하여 표현 이론을 통해 양자 역학적 동역학과 관측 가능량을 유도한다.
• G-불변 내적을 지닌, 관련 다발의 제곱-integrable 단면으로 양자 상태를 구성한다.
• H ≠ {e}일 때, 서로 다른 안정자 부분군의 선택에 대응하여 서로 동치가 아닌 양자 실현을 유도 표현을 통해 생성한다.
• 특정 다양체에 이 방법을 적용한다: S^n (SO(n+1)/SO(n)으로서), T^n (U(1)^n으로서), RP^n (SO(n+1)/O(n)으로서).
• 유도 표현 이론과 군의 특징을 사용하여 유도된 유니터리 표현과 그들의 동치성 여부를 분류한다.

실험 결과

연구 질문

• RQ1 일반적인 다양체, 특히 동차 공간 위에서 양자역학을 일관적으로 정의할 수 있는가?
• RQ2 동일한 다양체 위에서 서로 동치가 아닌 다수의 양자 실현이 존재하는 이유는 무엇인가?
• RQ3 M = G/H의 위상수학적 성질과 군론적 성질이 양자 상태의 구조에 어떤 영향을 미치는가?
• RQ4 안정자 부분군 H는 동일한 다양체 위에서 서로 다른 양자 이론을 생성하는 데 어떤 역할을 하는가?
• RQ5 이 프레임워크는 구, 토러스, 사영 공간과 같은 표준 대칭 공간에 대해 체계적으로 적용될 수 있는가?

주요 결과

• 제안된 프레임워크는 임의의 동차 다양체 M = G/H 위에서 G의 유니터리 표현을 사용하여 양자역학을 성공적으로 정의한다.
• 안정자 H가 비자명할 경우, 서로 동치가 아닌 무한한 유니터리 표현이 존재하여, 동일한 다양체 위에 무한히 많은 서로 다른 양자이론이 존재하게 된다.
• n차원 구 S^n의 경우, 이 방법은 서로 동치가 아닌 무한한 양자 실현의 가닥을 도출하며, 이는 다양한 스핀어 또는 텐서적 구조에 대응한다.
• n차원 토러스 T^n의 경우, 이 구성은 아벨성에 기반하여 서로 동치가 아닌 무한한 양자 시스템의 집합을 이룬다.
• 실수 사영 공간 RP^n의 경우, 비단순 연결 위상에 기인하여 다시 무한히 많은 서로 동치가 아닌 양자 실현이 생성된다.
• 이 실현의 분류는 군 G의 표현 이론과 부분군 H로부터의 유도 표현의 선택에 의해 결정된다.