[論文レビュー] Lectures on q-analogues of Cartan domains and associated Harish-Chandra modules

L. Vaksman|ArXiv.org|Sep 25, 2001

Algebraic structures and combinatorial models参考文献 17被引用数 7

ひとこと要約

本稿では、量子群理論を用いて、古典的リー群をDrinfeld-Jimbo量子普遍包あらゆる代数に置き換えることで、Cartan領域のqアナログおよび関連する量子ハリシュ＝チャンドラモジュールを導入する。量子ベクトル空間上の定数係数微分作用素と量子群の表現との間の対応関係を確立し、$ U_q\mathfrak{p}^{-} $ が量子正則多項式上に作用するとき、それがq微分作用素の部分代数に同型であることを証明することで、非可換な量子設定における古典的関数論および調和解析を一般化する。

ABSTRACT

This volume contains a mildly expanded version of lectures and talks at seminars and conferences, as well as review papers on subjects listed in the title of the volume. A great deal of these texts have already been published or sent to press. However, the only way to provide a good exposition of the field we are interested in is to collect all of those papers together. Bounded symmetric domains form a favorite subject of research in function theory, non-commutative harmonic analysis, and representation theory of real reductive Lie groups. The authors introduce the notions of q-analogues of bounded symmetric domains and q-Harish-Chandra modules. For that, they follow the traditions of quantum group theory in replacing Lie groups with the quantum universal enveloping Drinfeld-Jimbo algebras and representations of groups with associated Harish-Chandra modules. The purpose of this volume is to convince the reader in exceptional attraction of the deduced class of quantum homogeneous spaces and the related class of modules over quantum universal enveloping algebras.

研究の動機と目的

• 有界対称領域のqアナログ、特に量子単位円板上での非可換関数論の構築を目的とする。
• 量子群およびその関連モジュールを用いて、古典的調和解析および表現論を量子設定に一般化すること。
• ユニタリ化可能性および対合の制約を緩和することで、$ SU_{2,2} $ に対するハリシュ＝チャンドラモジュールのqアナログの構成と分類を行うこと。
• 良好な自明化を用いて、量子ベクトルバンドル上の定数係数q微分作用素を定義・特徴付けること。
• prehomogeneousベクトル空間のqアナログの複数のアプローチを統一し、q微分作用素代数に隠された対称性を明らかにすること。

提案手法

• Drinfeld-Jimbo量子普遍包あらゆる代数 $ U_q\mathfrak{g} $ 及びその拡張 $ \check{U}_q\mathfrak{g} $ に、群的生成子 $ L_i $ を用いて量子対称空間を定義する。
• 量子随伴作用を用いて $ U_q\mathfrak{k} $-可換代数としての量子正則多項式 $ \mathbb{C}[\mathfrak{p}^{-}]_q $ を構成する。
• 同型写像 $ \phi: \xi \mapsto \partial_\xi $ による $ U_q\mathfrak{p}^{-} $ の像として、定数係数q微分作用素 $ D(\mathfrak{p}^{-})^\mathrm{const}_q $ を定義する。
• $ U_q(\mathfrak{p}^{-} + \mathfrak{k}) $-加群としての量子バンドルの良好な自明化を導入し、定数係数q微分作用素を定義する。
• コプロダクト $ \Delta $ とテンソル積上の加群構造を用いて、自明化の整合性と作用素空間の不変性を保証する。
• $ \phi: U_q\mathfrak{p}^{-} \to D(\mathfrak{p}^{-})^\mathrm{const}_q $ の同型性の証明により、量子微分作用素が量子群作用と正確に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 有界対称領域上の古典的関数論は、非可換な量子アナログにどのように一般化できるか？
• RQ2 ユニタリ化可能性および対合の制約を除外した場合、ハリシュ＝チャンドラモジュールのqアナログの構造はいかなるものか？
• RQ3 良好な自明化の変更に対して、量子ベクトルバンドル上の定数係数q微分作用素はどのように定義され、不変であるか？
• RQ4 量子随伴作用は、$ U_q\mathfrak{p}^{-} $-加群が $ D(\mathfrak{p}^{-})^\mathrm{const}_q $ に同型であることを構成する上で果たす役割は何か？
• RQ5 qアナログのprehomogeneousベクトル空間の異なる構成法はどのように関係し合い、どのような隠れた対称性が出現するか？

主な発見

• 写像 $ \phi: U_q\mathfrak{p}^{-} \to D(\mathfrak{p}^{-})^\mathrm{const}_q $ が $ \xi \mapsto \partial_\xi $ で定義され、$ U_q\mathfrak{k} $-可換代数の同型であることが示され、量子群作用とq微分作用素との間の正確な対応関係が確立された。
• 良好な自明化の選択に依存しない、定数係数q微分作用素の空間が示された。変換則 $ \pi_2 \cdot \pi_1^{-1} = T \otimes 1 $（$ T \in \mathrm{Hom}_{U_q(\mathfrak{p}^{-}+\mathfrak{k})}(V_1,V_2) $）により、その不変性が保証された。
• $ \mathrm{ad}U_q\mathfrak{k}(F) \subset \check{U}_q\mathfrak{g} $ は、$ F = \mathrm{ad}F_{N-1} \cdots \mathrm{ad}F_1(L_1^{-2}) $ とおくと、有限次元であり、$ U_q\mathfrak{p}^{-} $ を生成する。
• $ D(\mathfrak{p}^{-})^\mathrm{const}_q $ は、量子随伴作用による $ U_q\mathfrak{p}^{-} $ の像と同型であり、量子微分作用素が自然に量子群表現から生じることを確認した。
• 量子行列空間上の微分計算の隠れた対称性は、$ U_q(\mathfrak{p}^{-} + \mathfrak{k}) $ の作用によって明らかになった。この作用は良好な自明化の構造を保存する。
• 複数のprehomogeneousベクトル空間のqアナログの構成法が、$ U_q(\mathfrak{p}^{-} + \mathfrak{k}) $-加群構造および良好な自明化の枠組みを通じて等価であることが示された。