[논문 리뷰] Rieffel induction as generalized quantum Marsden-Weinstein reduction

N.P. Landsman|ArXiv.org|1993. 05. 19.

Magnetism in coordination complexes참고 문헌 27인용 수 4

한 줄 요약

이 논문은 심플렉틱 군oids 대신 연산자 대수적 구조를 사용하여 일반화된 고전적 심플렉틱 축소의 양자적 해당을 Rieffel 유도로 설정한다. 힐버트 C*-모듈러에서 연산자 값의 내적을 통해 모멘트 맵을 기술함으로써, Rieffel의 유도 절차가 고전적 Marsden-Weinstein 축소를 정확히 반영함을 보여주며, Dirac 및 BRST 양자화에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

A new approach to the quantization of constrained or otherwise reduced classical mechanical systems is proposed. On the classical side, the generalized symplectic reduction procedure of Mikami and Weinstein, as further extended by Xu in connection with symplectic equivalence bimodules and Morita equivalence of Poisson manifolds, is rewritten so as to avoid the use of symplectic groupoids, whose quantum analogue is unknown. A theorem on symplectic reduction in stages is given. This allows one to discern that the `quantization' of the generalized moment map consists of an operator-valued inner product on a (pre-) Hilbert space (that is, a structure similar to a Hilbert $C^*$-module). Hence Rieffel's far-reaching operator-algebraic generalization of the notion of an induced representation is seen to be the exact quantum counterpart of the classical idea of symplectic reduction, with imprimitivity bimodules and strong Morita equivalence of $C^*$-algebras falling in the right place. Various examples involving groups as well as groupoids are given, and known difficulties with both Dirac and BRST quantization are seen to be absent in our approach.

연구 동기 및 목표

• 심플렉틱 군oids에 의존하지 않고 일반화된 고전적 심플렉틱 축소의 양자적 해당을 제공하기 위해.
• 문제적 기하적 구조 대신 연산자 대수적 도구를 사용하여 Dirac 및 BRST 양자화의 기초적 문제를 해결하기 위해.
• Rieffel 유도가 힐버트 C*-모듈러를 통한 일반화된 모멘트 맵의 양자화로부터 자연스럽게 유도됨을 보여주기 위해.
• 고전적 심플렉틱 축소와 양자 유도 표현 사이의 정확한 대응 관계를 강한 모리타 동치를 통해 수립하기 위해.
• 연산자 값의 내적과 임프리미티비티 이중모듈러를 사용하여 Marsden-Weinstein 축소 절차를 양자 시스템으로 일반화하기 위해.

제안 방법

• 심플렉틱 군oids를 사용하지 않고 Mikami-Weinstein-Xu의 일반화된 심플렉틱 축소를 재기록함으로써, 모멘트 맵과 단계별 축소에 중점을 두었다.
• 양자 모멘트 맵을 전힐베르트 공간 위의 연산자 값의 내적으로 표현하여, 힐베르트 C*-모듈러와 구조적으로 동일시함.
• 임프리미티비티 이중모듈러가 축소 데이터를 코딩함으로써, Rieffel의 유도 구성이 고전적 심플렉틱 축소의 양자적 해당임을 사용함.
• 단계별 축소의 정리를 적용하여 복잡한 축소를 더 단순하고 순차적인 단계로 분해함.
• 강한 모리타 동치가 고전적 설정에서 심플렉틱 동치성과 정확히 대응됨을 수립함.
• 일반화된 군과 군oids를 포함한 구체적 예시를 구성하여 이 프레임워크의 일반성과 일관성을 확인함.

실험 결과

연구 질문

• RQ1 심플렉틱 군oids의 양자적 해당이 알려져 있지 않은 상황에서 일반화된 심플렉틱 축소는 어떻게 재기록할 수 있는가?
• RQ2 제약 시스템의 맥락에서 고전적 Marsden-Weinstein 축소 절차의 정확한 양자적 해당은 무엇인가?
• RQ3 Rieffel 유도는 고전적 모멘트 맵 축소와 연산자 값의 내적과 어떻게 관련이 있는가?
• RQ4 기하적 구조를 연산자 대수적 도구로 대체함으로써 Dirac 및 BRST 양자화의 문제들을 극복할 수 있는가?
• RQ5 임프리미티비티 이중모듈러와 강한 모리타 동치는 이 양자 축소 프레임워크에서 어떻게 자연스럽게 나타나는가?

주요 결과

• 양자 모멘트 맵은 힐베르트 C*-모듈러 위의 연산자 값의 내적으로 실현되어 Rieffel 유도와 직접적인 연결 고리를 제공한다.
• Rieffel 유도는 심플렉틱 군oids가 없더라도 일반화된 고전적 심플렉틱 축소의 정확한 양자적 해당으로 확인된다.
• 단계별 축소의 정리는 복잡한 축소를 체계적으로 분해할 수 있게 하여 계산적이고 개념적인 명료성을 향상시킨다.
• 이 프레임워크는 강한 모리타 동치가 고전적 심플렉틱 동치성의 양자적 해당으로 자연스럽게 통합된다.
• 이 접근법은 기하적 기반에 의존하지 않기 때문에 Dirac 및 BRST 양자화에서 알려진 어려움—예를 들어 제약 처리의 비일관성—이 존재하지 않는다.
• 군과 군oids를 포함한 예시들은 이 방법의 일관성과 다양한 대칭 구조에 걸쳐 광범위하게 적용 가능함을 확인한다.