[論文レビュー] Geometric quantization for proper moment maps

Xiaonan Ma, Weiping Zhang|arXiv (Cornell University)|Dec 20, 2008

Homotopy and Cohomology in Algebraic Topology被引用数 7

ひとこと要約

この論文は、ハミルトニアン作用が非コンパクトなシンプレクティック多様体に作用する場合に、モーメント写像が固有であるとき、幾何学的量子化の公式を確立し、非コンパクトな設定におけるヴェルヌの予想を解決する。解析的および幾何学的技法を用いて、グイリーム＝シュテルンバーグの『量子化は還元と可換である』という予想を非コンパクト多様体へと拡張し、固有性の条件下で公式が成り立つことを証明する。

ABSTRACT

Abstract. We establish a geometric quantization formula for Hamiltonian actions of a compact Lie group acting on a non-compact symplectic manifold such that the associated moment map is proper. In particular, we resolve the conjecture of Vergne in this non-compact setting. The famous geometric quantization conjecture of Guillemin and Sternberg [9] states that for a compact pre-quantizable symplectic manifold admitting a Hamiltonian action of a compact Lie group, the principle of “quantization commutes with reduction ” holds. This conjecture was first proved independently by Meinrenken [14] and Vergne [23] for

研究の動機と目的

• コンパクトでないシンプレクティック多様体に作用するハミルトニアン作用に対して、ギュイリームとシュテルンバーグの幾何学的量子化予想を非コンパクトな状況へと拡張すること。
• 非コンパクトな状況における幾何学的量子化に関してヴェルヌの予想を解決すること。
• モーメント写像の固有性の下で有効である幾何学的量子化の公式を確立すること。
• コンパクト多様体を超えた範囲へと『量子化は還元と可換である』という原則を一般化すること。

提案手法

• 特にL2調和形式およびL2インデックス定理の理論を用いた、幾何学的量子化における解析的手法の利用。
• 非コンパクト空間における量子化の振る舞いを制御するため、固有なモーメント写像の理論の適用。
• コスタントの前量子化ラインバンドルを用い、多様体上に自然なL2セクション空間を構成。
• デュイステルマット＝ヘックマン測度および局所化技法を用いて、量子化公式の分析。
• アティヤ＝シンガーのL2インデックス定理を、群作用の存在下での量子化の計算に適用。
• 固有なモーメント写像を介して、元の多様体の量子化と還元空間の量子化との間の対応を確立。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトなシンプレクティック多様体に固有なモーメント写像が存在する場合、『量子化は還元と可換である』という原則は成り立つか？
• RQ2 ヴェルヌの幾何学的量子化に関する予想は、非コンパクトな設定へと拡張可能か？
• RQ3 モーメント写像の固有性が、幾何学的量子化公式の構成と有効性にどのように影響するか？
• RQ4 群作用を伴う非コンパクト多様体上で幾何学的量子化を定義し計算するために、どのような解析的道具が必要か？
• RQ5 この非コンパクトかつ固有なモーメント写像の設定において、L2インデックス定理は適用可能であり、量子化公式を回復できるか？

主な発見

• ハミルトニアン作用が非コンパクトなシンプレクティック多様体に作用する場合、モーメント写像が固有であれば、幾何学的量子化の公式が成り立つ。
• ヴェルヌの予想は非コンパクトな状況において解決され、固有性の下で量子化公式の有効性が確認された。
• 固有なモーメント写像を伴う非コンパクト多様体に対し、『量子化は還元と可換である』という原則が確立された。
• L2インデックス定理は、この設定における量子化の計算に重要な解析的道具を提供する。
• L2調和形式を用いた量子化空間の構成は、固有性の条件下で適切に定義され、かつ有限次元的である。
• 還元空間は、元の空間の量子化と一致するwell-definedな量子化を継承しており、可換性が確認された。