[논문 리뷰] First Reduce or First Quantize? A Lagrangian Approach and Application to Coset Spaces

C. Ordóñez y J. M Pons|ArXiv.org|1993. 08. 16.

Advanced Topics in Algebra참고 문헌 2인용 수 3

한 줄 요약

이 논문은 제약 조건이 있는 제1종 해밀토니안 체계에서 감소와 양자화의 순서를 조사하며, 라그랑지안 프레임워크를 사용하여 '먼저 감소시킨 후 양자화'하는 방법과 '먼저 양자화한 후 감소시킴'(디랙의 방법)을 비교한다. 디랙의 방법에서 새로운 모순을 드러내고, 디랙의 보존자와 전체 공간 보존자 사이의 정확한 관계를 수립하여, 특히 $S^2 = SU(2)/U(1)$와 같은 컴팩트 리 군 코스엣 공간에서 양자화의 완전한 자기일관성과 동치성을 입증한다.

ABSTRACT

A Lagrangian treatment of the quantization of first class Hamiltonian systems with constraints and Hamiltonian linear and quadratic in the momenta respectively is performed. The ``first reduce and then quantize'' and the ``first quantize and then reduce'' (Dirac's) methods are compared. A new source of ambiguities in this latter approach is revealed and its relevance on issues concerning self-consistency and equivalence with the ``first reduce'' method is emphasized. One of our main results is the relation between the propagator obtained {\it à la Dirac} and the propagator in the full space, eq. (5.25).As an application of the formalism developed, quantization on coset spaces of compact Lie groups is presented. In this case it is shown that a natural selection of a Dirac quantization allows for full self-consistency and equivalence. Finally, the specific case of the propagator on a two-dimensional sphere $S^2$ viewed as the coset space $SU(2)/U(1)$ is worked out.

연구 동기 및 목표

• 제약 조건이 있는 제1종 체계에서 감소를 양자화 이전에 하느냐 이후에 하느냐에 대한 기초적인 질문을 해결하기 위해.
• 디랙의 '먼저 양자화한 후 감소시킴' 방법에서 발생하는 새로운 모순의 원인을 규명하고 분석하기 위해.
• 디랙의 방법이 '먼저 감소시키고 양자화하는' 방법과 자기일관성과 동치성을 보장하는 조건을 설정하기 위해.
• 컴팩트 리 군의 코스엣 공간, 특히 $S^2 = SU(2)/U(1)$에 이 형식을 적용하여 그 타당성을 입증하기 위해.

제안 방법

• 해밀토니안이 운동량에 대해 선형적이고 이차적인 제약 조건이 있는 해밀토니안 체계를 위한 라그랑지안 기반 수식을 개발한다.
• 전체 위상공간에서의 보존자와 디랙의 방법으로 얻어진 보존자를 비교한다.
• 제약 조건과 게이지 고정 조건의 순서에 기인한 새로운 유형의 모순을 디랙의 방법에서 식별한다.
• 라그랑지안 프레임워크를 활용하여 전체 공간 보존자와 디랙으로 제한된 보존자 사이의 정확한 수학적 관계를 유도한다 (식 5.25).
• 컴팩트 리 군의 코스엣 공간 $G/H$에 이 형식을 적용하고 자연스러운 디랙 양자화 체계를 선택한다.
• 특히 $S^2 = SU(2)/U(1)$에서 보존자를 명시적으로 계산하여 자기일관성과 동치성을 검증한다.

실험 결과

연구 질문

• RQ1 제약 조건을 양자화한 후 감소시키는 방식(디랙의 방법)을 적용할 때, 어떤 기본적인 모순이 발생하는가?
• RQ2 디랙의 '먼저 양자화한 후 감소시킴' 방법이 '먼저 감소시키고 양자화하는' 방법과 자기일관성과 동치성을 보장하는 조건은 무엇인가?
• RQ3 라그랑지안 기반 접근법은 전체 공간의 보존자와 축소된 위상공간의 보존자 간의 관계를 어떻게 명확히 하는가?
• RQ4 디랙의 방법을 사용하여 컴팩트 리 군의 코스엣 공간에서 일관성 있고 동치적인 양자화를 달성할 수 있는가?
• RQ5 디랙의 방법을 통해 유도된 $S^2 = SU(2)/U(1)$에서의 보존자의 명시적 형태는 무엇이며, 전체 공간 결과와 일치하는가?

주요 결과

• 디랙의 방법에서 게이지 고정과 제약 조건의 양자화 순서에 기인한 새로운 모순이 밝혀졌으며, 이는 자기일관성에 영향을 준다.
• 전체 위상공간 보존자와 디랙으로 제한된 보존자 사이의 정확한 수학적 관계가 유도되었으며, 이는 식 5.25에 기록되어 직접 비교할 수 있다.
• 컴팩트 리 군의 코스엣 공간에서는 자연스러운 디랙 양자화 선택이 전체 자기일관성과 '먼저 감소시키고 양자화하는' 방법과의 동치성을 보장한다.
• 디랙의 방법으로 유도된 $S^2 = SU(2)/U(1)$의 보존자가 기대되는 물리적 결과와 일치하여 일관성이 확인되었다.
• 라그랑지안 접근법은 제약 조건이 있는 양자화에서의 순서 모순을 분석하고 해결하는 체계적인 프레임워크를 제공한다.
• 이 형식은 대칭 공간에서 감소와 양자화의 순서에 대한 오랫동안 남아있던 질문을 성공적으로 해결하였다.