[논문 리뷰] The quantization of constrained systems: from symplectic reduction to Rieffel induction

N.P. Landsman|UvA-DARE (University of Amsterdam)|1996. 01. 18.

Advanced Operator Algebra Research참고 문헌 25인용 수 6

한 줄 요약

이 논문은 제약을 가진 시스템에 대해 모멘트 맵 프레임워크를 사용하여 해밀턴 감소를 일반화하고, 원래 C*-대수 이론에서 유래한 Rieffel 유도가 사전 힐베르트 C*-모듈을 통해 이러한 시스템을 양자화할 수 있음을 보여준다. 주요 기여는 기하학적 감소와 연산자 대수적 양자화를 연결하는 통합된 프레임워크를 제공하는 것으로, 특이적이고 비정규적인 경우를 포함한 세 가지 유형의 제약 조건에 대해 검증되었다.

ABSTRACT

This is an introduction to the author's recent work on constrained systems. Firstly, a generalization of the Marsden-Weinstein reduction procedure in symplectic geometry is presented - this is a reformulation of ideas of Mikami-Weinstein and Xu. Secondly, it is shown how this procedure is quantized by Rieffel induction, a technique in operator algebra theory. The essential point is that a symplectic space with generalized moment map is quantized by a pre-(Hilbert) C^*-module. The connection with Dirac's constrained quantization method is explained. Three examples with a single constraint are discussed in some detail: the reduced space is either singular, or defined by a constraint with incomplete flow, or unproblematic but still interesting. In all cases, our quantization procedure may be carried out. Finally, we re-interpret and generalize Mackey's quantization on homogeneous spaces. This provides a double illustration of the connection between C^*-modules and the moment map.

연구 동기 및 목표

• 모든 제약 조건에 대해 모멘트 맵을 사용한 해밀턴 기하학의 Marsden-Weinstein 감소 절차를 일반화하고, Mikami-Weinstein 및 Xu의 이전 연구를 확장한다.
• 연산자 대수 이론에서 유도된 Rieffel 유도를 사용하여 제약 조건이 있는 시스템에 대한 엄밀한 양자화 절차를 수립한다.
• 해밀턴 및 C*-대수적 구조의 맥락에서 Dirac의 제약 양자화와 기하학적 감소 간의 관계를 명확히 한다.
• 모멘트 맵 기하학을 통해 Mackey의 동차 공간에서의 양자화를 더 넓은 범위의 제약 조건이 있는 시스템으로 확장한다.
• 기존 감소 방법이 실패하는 경우, 예를 들어 특이적 또는 비콤팩트 궤도가 존재하는 경우에도 양자화 절차의 타당성을 입증한다.

제안 방법

• 비콤팩트 리 군 작용에 대해 일반화된 해밀턴 감소를 모멘트 맵을 사용하여 적용하여 고전적인 Marsden-Weinstein 구성의 범위를 확장한다.
• 감소된 해밀턴 공간을 양자화하기 위해 사전 힐베르트 C*-모듈을 구성함으로써 Rieffel 유도를 적용한다.
• 모멘트 맵을 사용하여 위상공간 내에서 일반화된 제약 표면을 정의함으로써, 제약의 흐름이 완비되지 않은 경우에도 양자화가 가능하게 한다.
• C*-모듈 이론을 활용하여 양자 상태를 감소된 공간 위의 다발의 단면으로 표현함으로써 기하학적 구조를 유지한다.
• 대칭군의 작용과 모듈 구조를 연결하는 코ariant 양자화 맵을 도입한다.
• 형식을 세 가지 명시적 예제에 적용한다: 특이한 감소된 공간, 흐름이 완비되지 않은 경우, 그리고 정규적이지만 비자명한 제약 조건이 있는 경우.

실험 결과

연구 질문

• RQ1 비콤팩트 또는 특이적 군 작용을 가진 제약 시스템에 대해 어떻게 해밀턴 감소를 일반화할 수 있는가?
• RQ2 Rieffel 유도가 모멘트 맵에서 유도된 해밀턴 몫에 대해 자연스러운 양자화 절차를 어떻게 제공하는가?
• RQ3 제안된 프레임워크는 어떤 방식으로 Dirac의 제약 양자화 방법과 기하학적 감소를 조율하는가?
• RQ4 제약 흐름이 완비되지 않거나 감소된 공간이 특이적인 경우에도 양자화 절차를 어떻게 확장할 수 있는가?
• RQ5 이 접근법은 어떤 정도로 Mackey의 동차 공간에서의 양자화를 더 넓은 범위의 대칭 공간으로 일반화하는가?

주요 결과

• 일반화된 해밀턴 감소 절차는 흐름이 완비되지 않거나 감소된 공간이 특이적인 시스템을 성공적으로 처리하여 고전적 감소의 적용 범위를 확장한다.
• Rieffel 유도는 해밀턴 몫을 사전 힐베르트 C*-모듈로 변환하는 잘 정의된 양자화 맵을 제공하며, 기하학적 및 대수적 구조를 유지한다.
• Rieffel 유도를 통한 제약 시스템의 양자화는 감소된 대수의 힐베르트 모듈 위에서의 표현을 유도하며, Dirac의 제약 조건과 일관된다.
• 세 가지 예제 시스템—특이적, 흐름이 완비되지 않은 경우, 정규적이지만 비자명한 제약 조건—모두에서 양자화 절차는 완전히 실행 가능하며 잘 정의된 양자 상태를 도출한다.
• 이 프레임워크는 모멘트 맵이 기하학적 제약 조건으로서의 역할과 동시에 C*-모듈 이론으로의 다리를 놓는 이중 기능을 수행함을 밝혀낸다.
• 이 접근법은 C*-모듈 프레임워크 내에 막스키의 구성법을 통합함으로써, 비동차적 및 비콤팩트 설정에 적용 가능한 더 넓은 범위의 일반화를 이룬다.