[論文レビュー] Rieffel induction as generalized quantum Marsden-Weinstein reduction

N.P. Landsman|ArXiv.org|May 19, 1993

Magnetism in coordination complexes参考文献 27被引用数 4

ひとこと要約

この論文は、シンプレクティック・グループイドの代わりに作用素代数的構造を用いることで、一般化された古典的シンプレクティック還元の量子版としてリエフエル誘導を確立する。ヒルベルト C*-加群上の作用素値内積を用いてモーメント写像を定式化することで、リエフエルの誘導手続きが古典的マーズデン＝ウインスターン還元を正確に模倣することを示し、ディラックおよび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.

研究の動機と目的

• シンプレクティック・グループイドに依存しない一般化された古典的シンプレクティック還元の量子版を提供すること。
• 問題のある幾何的構造の代わりに作用素代数的ツールを用いることで、ディラックおよびBRST量子化における基礎的問題を解消すること。
• リエフエル誘導がヒルベルト C*-加群による一般化されたモーメント写像の量子化から自然に生じることを示すこと。
• 古典的シンプレクティック還元と量子誘導表現の間の明確な対応関係を、強いモラータ同値性を通じて確立すること。
• 作用素値内積と不変性双モジュールを用いて、量子系におけるマーズデン＝ウインスターン還元手続きを一般化すること。

提案手法

• シンプレクティック・グループイドを避けて、モーメント写像と段階的還元に注目することで、ミカミ＝ウインスターン＝シューの一般化されたシンプレクティック還元を再定式化すること。
• 予ヒルベルト空間上の作用素値内積として量子モーメント写像を表現し、ヒルベルト C*-加群と構造的に同等にすること。
• 不変性双モジュールが還元データを符号化するように、リエフエルの誘導構成を古典的シンプレクティック還元の量子版として用いること。
• 段階的還元の定理を適用して、複雑な還元を単純化された逐次的ステップに分解すること。
• C*-代数の強いモラータ同値性が、古典的設定におけるシンプレクティック同値性に正確に対応することを確立すること。
• 一般化された対称性構造を有する群や群系列の具体例を構築し、フレームワークの一般性と一貫性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック・グループイドの量子版が未知であるため、それらに依存しない一般化されたシンプレクティック還元をどのように再定式化できるか。
• RQ2 制約付き系の文脈において、古典的マーズデン＝ウインスターン還元手続きの正確な量子版は何か。
• RQ3 リエフエル誘導は、古典的モーメント写像還元と作用素値内積の間でどのように関係するか。
• RQ4 幾何的構造の代わりに作用素代数的構造を用いることで、ディラックおよびBRST量子化における問題を克服できるか。
• RQ5 不変性双モジュールと強いモラータ同値性は、この量子還元フレームワークにおいてどのように自然に出現するのか。

主な発見

• 量子モーメント写像はヒルベルト C*-加群上の作用素値内積として実現され、リエフエル誘導と直接的な関係をもつ。
• リエフエル誘導は、シンプレクティック・グループイドが存在しない状況においても、一般化された古典的シンプレクティック還元の正確な量子版であることが特定された。
• 段階的還元の定理により、複雑な還元を体系的に分解可能にし、計算的・概念的明確性が向上した。
• このフレームワークは、C*-代数の強いモラータ同値性を、ポisson多様体のシンプレクティック同値性の量子版として自然に組み込んでいる。
• 代数的基盤に立つこのアプローチでは、制約処理における一貫性の欠如といった、従来のディラックおよびBRST量子化における既知の困難が存在しない。
• 群や群系列を用いた具体例により、この方法の整合性と、さまざまな対称性構造にわたる広範な適用可能性が確認された。