[論文レビュー] Spin_c quantization and the K-multiplicities of the discrete series

Paul-Émile Paradan|arXiv (Cornell University)|Mar 30, 2001

Advanced Operator Algebra Research参考文献 23被引用数 4

ひとこと要約

本稿では、実半単純リー群の離散的系列に対応する共伴軌道に関し、'量子化は還元と可換である'という原則が成り立つことを確立する。離散的系列表現のK-多重度を、共伴軌道のシンプレクティック還元上のSpin^c-インデックスとして表現し、スピン^c構造とモーメント写像による還元を通じて、表現論と幾何的量子化を結びつける。

ABSTRACT

In this paper we show that the `quantization commutes with reduction' principle of Guillemin-Sternberg holds for the coadjoint orbits that parametrize the discrete series of a real connected semi-simple Lie group.

研究の動機と目的

• 実半単純リー群の離散的系列に対応する共伴軌道に関して、'量子化は還元と可換である'という原則の妥当性を確立すること。
• 共伴軌道の幾何的不変量をSpin^c-量子化を介して、離散的系列表現のK-多重度に関連付けること。
• 離散的系列表現を、共伴軌道上の線束のL^2-コホモロジーとして幾何的に実現すること。
• グイリム＝シュテルンバーグ予想を、特に半単純群の共伴軌道を含む非コンパクトなハミルトニアンK多様体へと拡張すること。
• モーメント写像による還元とSpin^c構造を介して、表現論的多重度をシンプレクティック幾何学およびスピン幾何学と統一すること。

提案手法

• コンパクトなハミルトニアンK多様体上のSpin^c-量子化を用い、共伴軌道上のドルベオール＝ディラック作用素のインデックスを定義する。
• シュミッドのL^2-コホモロジー枠組みを適用し、離散的系列表現をG·λ上のドルベオール＝ディラック作用素の核として実現する。
• モーメント写像による還元を用いて、M_μ = Φ^{-1}(μ)/K_μ というシンプレクティック商を構成する。ここでμは正規のドミナント重みである。
• トランスバーサル楕円型作用素のインデックス定理を用い、K-多重度m_μ(λ)を還元空間M_μ上のSpin^c-インデックスとして計算する。
• カルタン分解およびルート空間分解の構造を用いて、モーメント写像の振る舞いと最大トーラスの作用を分析する。
• e^X·[X,m]のノルムに関する推定を用い、軌道の成長を制御し、還元過程における有界性を証明する。

実験結果

リサーチクエスチョン

• RQ1 '量子化は還元と可換である'という原則は、実半単純リー群の離散的系列をパラメータとする共伴軌道に対しても成り立つか？
• RQ2 離散的系列表現のK-多重度は、共伴軌道のシンプレクティック還元上のSpin^c-インデックスとして表現可能か？
• RQ3 G·λ上の線束のL^2-コホモロジーは、Gの表現論とどのように関係するか？
• RQ4 モーメント写像による還元の観点から、K-多重度のブラットナー公式の幾何的意味は何か？
• RQ5 最大トーラスの共伴軌道上での作用が、還元過程において有界な軌道をもたらす条件は何か？

主な発見

• 離散的系列表現のK-多重度m_μ(λ)は、μにおけるシンプレクティック還元M_μ = (G·λ)_μのSpin^c-インデックスに等しい。
• 離散的系列表現H_λは、共伴軌道G·λ上のドルベオール＝ディラック作用素のL^2-コホモロジーとして実現され、非自明なコホモロジーは常に次元dim(G/K)/2の次数にのみ現れる。
• 還元空間M_μ上のSpin^c-インデックスは、離散的系列表現H_λにおけるK型μの多重度を計算する。
• 証明は、||X||およびルート系のデータによるe^X·[X,m]のノルムの有界性に依拠しており、還元過程における収束を保証する。
• この結果は、非コンパクトなハミルトニアンK多様体の文脈において、グイリム＝シュテルンバーグ予想を確認する。特に、半単純群の共伴軌道に対して成立する。
• 本手法により、シンプレクティック還元とSpin^c-量子化を通じて、ブラットナー公式の幾何的解釈が得られ、表現論と微分幾何学が結びつけられる。