[論文レビュー] Functorial quantization and the Guillemin-Sternberg conjecture

N.P. Landsman|ArXiv.org|Jul 29, 2003

Advanced Operator Algebra Research参考文献 36被引用数 5

ひとこと要約

本稿では、ケイサロフのKK理論を通じて、幾何学的量子化と変形量子化を関手的枠組みで統一し、非コンパクト群やリー群層へのギュイリム＝シュテルンバーグ予想の一般化を提案する。主な貢献は、「量子化は還元と可換である」が関手的性質の自然な帰結となることであり、予想は等式としての等精度的K理論に再定式化され、ディラック作用素の指数理論と解析的アセンブリーマップを用いて検証される。

ABSTRACT

We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and Sternberg then becomes a special case of the functoriality of quantization. In fact, our formulation yields almost unlimited generalizations of the Guillemin--Sternberg conjecture, extending it, for example, to arbitrary Lie groups or even Lie groupoids. Technically, this involves symplectic reduction and Weinstein's dual pairs on the classical side, and Kasparov's bivariant K-theory for C*-algebras (KK-theory) on the quantum side.

研究の動機と目的

• 幾何学的量子化と変形量子化を一つの関手的枠組みに統合すること。
• コンパクト群や多様体を超えたギュイリム＝シュテルンバーグ予想の一般化すること。
• C*-代数的およびK理論的道具を用いて、「量子化は還元と可換である」を厳密に数学的に定式化すること。
• 双対対を介したシンプレクティック還元およびリー群層作用を用いて予想を拡張すること。
• 解析的アセンブリーマップと等精度的指数を用いて、古典的還元の量子版を確立すること。

提案手法

• 幾何学的量子化を関手の矢印部分、変形量子化を対象部分として定式化する。
• カスパロフの双変K理論（KK理論）を用いて、量子観測量とその準同型を記述する。
• G作用を伴うシンプレクティック多様体の量子化を、K0(C*(G))におけるディラック作用素のG指数として表現する。
• 解析的アセンブリーマップを用いて、古典的双対対を量子的KK理論的要素に関連付ける。
• アティヤのL2指数定理を用いて、非コンパクト群、特に離散無限群の指数を計算する。
• フォリエーションの余接束同士の一般化された写像をKK理論的クラスとして解釈し、フォリエーションの余接束の双対対を量子化する。

実験結果

リサーチクエスチョン

• RQ1 ギュイリム＝シュテルンバーグ予想は、コンパクトでないシンプレクティック多様体やコンパクトリー群を超えて一般化可能か？
• RQ2 「量子化は還元と可換である」を、別個の予想ではなく関手的性質の帰結としてどのように理解できるか？
• RQ3 KK理論と解析的アセンブリーマップは、古典的シンプレクティック還元と量子観測量をどのように結びつけるか？
• RQ4 非コンパクト群作用の量子化は、指数理論を用いて一貫して定義可能か？
• RQ5 フォリエーション多様体間の一般化された写像の量子化は、関手的枠組みにおいてKK理論で記述可能か？

主な発見

• 非コンパクト群に対して一般化されたギュイリム＝シュテルンバーグ予想は、元の空間の量子化がK0(C*(G))におけるG指数として解釈される場合に成立する。
• 離散無限群Γに対して、予想はトレースと縮小群C*-代数を含む等式に帰着される：G-index(D+)0 = tr∘π*∘G-index(D+)。
• 双対対T*F1 ← T*Mf → T*F2の量子化は、KKクラスf! ∈ KK(C*(G(V1,F1)), C*(G(V2,F2)))として与えられ、これは関手的である。
• 量子化の関手的性質により、量子還元作用は双対対を介した古典的還元と自然に整合する。
• この構成はリー群層へ拡張可能であり、シンプレクティック還元と量子化は解析的アセンブリーマップを通じて関連づけられる。
• 本稿は、古典的双対対の概念と量子的KK理論的クラスの概念を直接結びつけることで、幾何的量子化と代数的量子化を統合する。