[論文レビュー] Lie-Rinehart algebras, descent, and quantization

Johannes Huebschmann|ArXiv.org|Mar 2, 2003

Advanced Topics in Algebra参考文献 48被引用数 34

ひとこと要約

この論文は、特異的状況下でのケーラー量子化がシンプレクティック減少と可換であるかどうかという問題を解消するためのカテゴリカルな枠組みとして、Lie-Rinehart代数を確立する。分層されたケーラー量子化は、共分層ヒルベルト空間と前量子モジュールを用いることで、量子化後に減少する場合と減少後に量子化する場合の等価性を保証し、減少空間が特異的であっても成り立つ。量子不変量は表現の対称冪を用いて明示的に実現される。

ABSTRACT

A Lie-Rinehart algebra consists of a commutative algebra and a Lie algebra with additional structure which generalizes the mutual structure of interaction between the algebra of functions and the Lie algebra of smooth vector fields on a smooth manifold. Lie-Rinehart algebras provide the correct categorical language to solve the problem whether Kaehler quantization commutes with reduction which, in turn, may be seen as a descent problem.

研究の動機と目的

• 特異的状況下でのケーラー量子化がシンプレクティック減少と可換であるかどうかという長年の問題を解決すること。
• 量子化を、減少位相空間が滑らかな多様体でないような分層されたケーラー空間へ拡張すること。
• 量子化における降下問題を、特異的状況に一般化した古典的結果を扱えるカテゴリカルな枠組み—Lie-Rinehart代数—を提供すること。
• 共分層ヒルベルト空間と分層化された極化を用いて、特異的位相空間上に一貫した量子論を構築すること。

提案手法

• 特異的空間上の滑らかな関数とベクトル場の間の相互作用を符号化する代数的構造として、Lie-Rinehart代数を用いる。
• 特異性の存在下でのディラック条件を表現するため、ポisson代数上の前量子モジュールの概念を適用する。
• 線形写像が閉包上の量子化と整合するように、分層ごとに適合する共分層ヒルベルト空間を量子状態空間として導入する。
• 分層化されたケーラー極化を用いることで、分層間を貫く量子表現の既約性を保証する。
• Kempfの降下補題を一般化した形で用い、減少と量子化の順序の等価性を確立する。
• 例えば $(E_s^{2k})^H$ のような表現の対称冪を用いて量子不変量を構成し、それらを減少空間上のラインバンドルの切断と特定する。

実験結果

リサーチクエスチョン

• RQ1 減少空間が特異的である場合、ケーラー量子化はシンプレクティック減少と可換か？
• RQ2 非滑らかなシンプレクティック分層を持つ分層的ケーラー空間上に一貫した量子論を定式化できるか？
• RQ3 特異的状況下で、幾何的量子化における降下問題をカテゴリカルに形式化する方法は何か？
• RQ4 古典的位相空間が特異的である場合、減少後の量子観測量の構造はいかなるものか？
• RQ5 群作用が存在する状況下で、減少空間上の量子不変量は、元の空間上の不変量とどのように関係するか？

主な発見

• 古典的系が正のケーラー多様体で、コン pact 群の作用を持つ場合、量子化後に減少する場合と減少後に量子化する場合の両方が、等価な量子位相空間をもたらす。
• 減少空間 $Q_s = \mathbb{P}^d\mathbb{C}$ 上のハイパーラインバンドルの $k$ 乗の正則切断の空間は、$H = \mathrm{O}(s,\mathbb{R})$ の不変部分空間 $(E_s^{2k})^H$ と同型である。
• 減少空間上の表現 $\widetilde{E}_s^k$ は、最高重量ベクトルが $\delta_1^\alpha \delta_2^\beta \cdots \delta_s^\gamma$ で、$\alpha + 2\beta + \cdots + s\gamma = k$ を満たすような、$\mathrm{U}(\ell)$-表現の直和である。
• $\widetilde{E}_s^k$ から $\widetilde{E}_{s-1}^k$ への制限写像は、$\delta_s$ を含まない表現の張る空間上で同型であり、$\delta_s$ を含む表現の張る空間を核として持つ。
• 系 $(\widetilde{E}_1^k, \widetilde{E}_2^k, \dots, \widetilde{E}_s^k)$ は、分層間を貫る量子構造を符号化する共分層量子空間を形成する。
• $k \geq 1$ のとき、奇数次元不変量 $(E_s^{2k-1})^H$ は消え、偶数次元不変量は減少分層上の完全な量子ヒルベルト空間を実現する。