[論文レビュー] Differential-difference operators and radial part formulas for non-invariant elements

Hiroshi Oda|arXiv (Cornell University)|Feb 13, 2014

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

ひとこと要約

この論文は、Cherednik作用素と一般化されたChevalley制限定理を用いて、$G/K$ 上の対称空間における不変微分作用素の古典的径数部分公式を、非不変設定へ一般化する。そのために、$G$ と階数付きヘッケ代数 $\mathbf{H}$ 間の表現論的概念を統一するカテゴリ $\mathscr{C}_{\text{rad}}$ を導入し、非$K$-不変要素に対する径数部分公式を確立する。主な貢献は、自然なファンクターと普遍性を持つ枠組みを通じて、Helgason-Fourier 変換と Opdam-Cherednik 変換をより広い文脈へ拡張することにある。

ABSTRACT

The classical radial part formula for the invariant differential operators and the K-invariant functions on a Riemannian symmetric space G/K is generalized to some non-invariant cases by use of Cherednik operators and a graded Hecke algebra H naturally attached to G/K. We introduce a category C_{rad} whose object is a pair of a (g_C,K)-module and an H-module satisfying some axioms which are formally the same as the generalized Chevalley restriction theorem and the generalized radial part formula. Various pairs of analogous notions in the representation theories for G and H, such as the Helgason-Fourier transform and the Opdam-Cherednik transform, are unified in terms of C_{rad}. We construct natural functors which send an H-module to a (g_C,K)-module and have some universal properties intimately related to C_{rad}.

研究の動機と目的

• 非不変要素を含む $G/K$ 対称空間における、$K$-不変微分作用素と関数に限定された古典的径数部分公式を、不変設定を超えて拡張すること。
• $((\mathfrak{g}_{\mathbb{C}}, K)$-加群と $\mathbf{H}$-加群の間の対応を形式化するカテゴリ $\mathscr{C}_{\text{rad}}$ を構成し、一般化されたChevalley制限定理に類似した構造を実現すること。
• 調和解析における主要な変換、すなわち Helgason-Fourier 変換と Opdam-Cherednik 変換を、自然なファンクターによる普遍的性質を備えた共通のカテゴリカル枠組みへ統合すること。
• $\mathbf{H}$-加群から $((\mathfrak{g}_{\mathbb{C}}, K)$-加群への構造的整合性を保つ普遍ファンクター $\Xi_{\text{rad}}$、$\Xi^{\text{min}}$、および $\Xi$ を確立すること。

提案手法

• 一般化されたChevalley制限定理から導かれる公理を満たす、$((\mathfrak{g}_{\mathbb{C}}, K)$-加群と $\mathbf{H}$-加群のペアからなるカテゴリ $\mathscr{C}_{\text{rad}}$ を導入する。
• Cherednik作用素 $\mathscr{T}$ を $S({\mathfrak{a}}_{\mathbb{C}})$ 上に定義し、非$K$-不変関数 $f$ と $\Delta \in U({\mathfrak{g}}_{\mathbb{C}})^K$ に対して、径数部分写像 $\gamma_0(r(\Delta)f) = \mathscr{T}(\gamma(\Delta))\gamma_0(f)$ を得る。
• Oda が導入した特殊な $K$-型（単一の花びら型）を持つ $K$-有限関数 $f$ に一般化された径数部分公式を適用する。
• 自然なファンクター $\Xi_{\text{rad}}$、$\Xi^{\text{min}}$、および $\Xi$ を構成し、$\mathbf{H}$-加群から $((\mathfrak{g}_{\mathbb{C}}, K)$-加群への写像を提供する。これらのファンクターは $\mathscr{C}_{\text{rad}}$ と関連する普遍的性質を示す。
• モノドロミーと経路連結性の議論を用いて、正則特異点を通じる正則関数の解析接続により、非対称超幾何系の解の解析接続を確立する。

実験結果

リサーチクエスチョン

• RQ1 非$K$-不変要素へ一般化された、$G/K$ 上の $K$-不変微分作用素に対する古典的径数部分公式は、どのように拡張可能か？
• RQ2 非不変設定において、$G$ の表現理論と階数付きヘッケ代数 $\mathbf{H}$ の表現理論を統合するカテゴリカル構造は何か？
• RQ3 非不変性を超えた一般化された枠組みにおいて、Helgason-Fourier 変換と Opdam-Cherednik 変換の関係は何か？
• RQ4 $\mathbf{H}$-加群から $((\mathfrak{g}_{\mathbb{C}}, K)$-加群への径数構造を保つ普遍ファンクターは何か？
• RQ5 非$K$-不変データに対して、径数部分公式 $\gamma_0(r(\Delta)f) = \mathscr{T}(\gamma(\Delta))\gamma_0(f)$ が成り立つ $f$ と $\Delta$ の条件は何か？

主な発見

• $\Delta \in U({\mathfrak{g}}_{\mathbb{C}})^K$ および $K$-有限関数 $f \in C^\infty(G/K)$ に対して、$f$ の $K$-型が単一の花びら型であるとき、径数部分公式 $\gamma_0(r(\Delta)f) = \mathscr{T}(\gamma(\Delta))\gamma_0(f)$ が成り立つ。
• カテゴリ $\mathscr{C}_{\text{rad}}$ は、非不変要素に対する一般化されたChevalley制限定理と径数部分公式を形式的に統一する枠組みを提供する。
• Helgason-Fourier 変換と Opdam-Cherednik 変換は、$\mathscr{C}_{\text{rad}}$ 内で、同一の基本的対応の双対的実現として統合される。
• $\Xi_{\text{rad}}$ は完全忠実であり、$\Xi^{\text{min}}$ は最小 $K$-型を保存するという性質を持つ、$\mathbf{H}$-加群から $((\mathfrak{g}_{\mathbb{C}}, K)$-加群への普遍ファンクター $\Xi_{\text{rad}}$、$\Xi^{\text{min}}$、および $\Xi$ が構成された。
• 非対称超幾何系の解は、余次元 ≥2 の特異点集合を越えても正則に拡張可能であり、$\Phi$ は複素化されたカルタン部分代数 $\mathfrak{a}+iU$ 全体で正則であることが保証される。