[論文レビュー] On quantizing semisimple basic algebras

Mark J. Gotay|ArXiv.org|Dec 18, 2000

Advanced Algebra and Geometry参考文献 12被引用数 3

ひとこと要約

この論文は、半単純リー代数の基本的可解余随伴軌道の座標環の多項式量子化が存在することを確立しているが、特に sl(2,ℝ)* においては、二次以上の多項式で消えるため本質的に自明である。さらに、sl(2,ℝ)* の基本的半単純軌道に対しては一貫した多項式量子化が存在しないことが証明され、軌道の定義イデアルの非斉次性に起因する Groenewold-Van Hove 障害が生じていることが示された。

ABSTRACT

We show that there is a consistent polynomial quantization of the coordinate ring of a basic nilpotent coadjoint orbit of a semisimple Lie group. We also show, at least in the case of a nilpotent orbit in sl(2,R)*, that any such quantization is essentially trivial. Furthermore, we prove that the coordinate ring of a basic semisimple orbit in sl(2,R)* cannot be consistently polynomially quantized.

研究の動機と目的

• 半単純リー代数の双対における基本的余随伴軌道の座標環に対して一貫した多項式量子化が存在するかを特定すること。
• 軌道の定義イデアルが斉次（ノルム軌道の場合）であるか非斉次（半単純軌道の場合）であるかに応じて、多項式量子化の構造を調査すること。
• 特にイデアルの斉次性に起因する余随伴軌道の幾何学的性質が、多項式量子化の実現可能性を促進または妨げる役割を明確にすること。
• 有限次元またはコンパクトな場合に限らない、無限次元の多項式量子化が非コンパクトなシンプレクティック多様体上で実現可能かどうかを拡張して理解すること。
• sl(2,ℝ)* の場合を詳細に分析し、ノルム軌道と半単純軌道の両者において、量子化の可能性に差を明らかにすること。

提案手法

• ノルム余随伴軌道のコーン構造を活用して多項式量子化を構成し、座標環が半直積に分解されることを保証する：P(M) = (ℝ ⊕ 𝔟) ⋉ P₂(M)，ここで P₂(M) は二次以上の多項式のイデアルである。
• ノルム軌道のイデアル I(M) の斉次性を用いて、P₂(M) 上で消える量子化を定義し、自明だが一貫性のある量子化写像を得る。
• sl(2,ℝ)理論からの表現論的技法を応用し、Casimir作用素と H の固有ベクトル上での E± の作用を用いてスペクトルと交換関係を分析する。
• 量子化された Casimir 演算子 Q(h²) の再帰関係 (3.13) を H の固有値の関数として導出し、多項式解が n の二次関数として得られることを示す一方で、超越解も存在することを示す。
• ディガンマ関数を用いて再帰関係の一般解を構成し、非多項式量子化が可能であるが、多項式量子化は不可能であることを示す。
• 多項式量子化は P(M) の代数的構造を保存しなければならないという原則を適用し、半単純軌道のように I(M) が非斉次である場合にはこれが成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 半単純リー代数の双対における基本的ノルム余随伴軌道の座標環に対して、一貫した多項式量子化を構成できるか？
• RQ2 このような多項式量子化は、特に I(M) が斉次である場合、常に自明であるとされるべきか？
• RQ3 sl(2,ℝ)* の半単純軌道における I(M) の非斉次性が、多項式量子化に対する障害を引き起こすか？
• RQ4 同じ設定において、非多項式（超越的）量子化の存在と多項式量子化の非存在が共存可能か？
• RQ5 軌道の定義イデアルの斉次性が、多項式量子化の実現可能性を決定づける程度はどの程度か？

主な発見

• ノルム余随伴軌道 M に対して、座標環 P(M) の一貫した多項式量子化が、I(M) のコーン的かつ斉次な性質のおかげで、任意の基本的ノルム余随伴軌道において存在する。
• sl(2,ℝ)* のノルム軌道における任意の多項式量子化は、P₂(M)（二次以上の多項式のイデアル）上で恒等的に消えるため、自明でなければならない。
• sl(2,ℝ)* の基本的半単純軌道に対しては、一貫した多項式量子化は存在しない。これは、I(M) の非斉次性に起因する Groenewold-Van Hove 障害によって示された。
• 量子化された Casimir 演算子 Q(h²) の再帰関係 (3.13) は、形式 ξₙ = γ − αn² の多項式解を許容するが、同時にディガンマ関数を含む超越解も存在するため、非多項式量子化が可能であることが示された。
• I(M) が非斉次である場合にのみ多項式量子化の実現が妨げられ、sl(2,ℝ)* の半単純軌道の事例で確認されたように、イデアルの斉次性と量子化の可能性の関係を支持するより広範な予想が裏付けられた。
• 多項式量子化の構成は、I(M) が斉次のときのみ有効な分解 P(M) = (ℝ ⊕ 𝔟) ⋉ P₂(M) に強く依存しており、そうでない場合には失敗する。