[论文解读] 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

一句话总结

本文通过引入一个统一了$G$与分次Hecke代数$\mathbf{H}$之间表示理论概念的范畴$\mathscr{C}\_{\text{rad}}$，将对称空间$G/K$上不变微分算子的经典径向部分公式推广至非不变情形，利用Cherednik算子和广义Chevalley限制定理，关键贡献在于为非$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}.

研究动机与目标

• 将仅适用于$K$-不变微分算子与函数的经典径向部分公式，推广至$G/K$对称空间中非$K$-不变元素的情形。
• 构造一个范畴$\mathscr{C}\_{\text{rad}}$，形式化$(\mathfrak{g}\_{\mathbb{C}}, K)$-模与$\mathbf{H}$-模之间的对应关系，镜像广义Chevalley限制定理。
• 通过具有普遍性质的自然函子，将在调和分析中关键的变换——Helgason-Fourier变换与Opdam-Cherednik变换——统一于同一范畴框架之中。
• 建立将$\mathbf{H}$-模映射至$(\mathfrak{g}\_{\mathbb{C}}, K)$-模并保持径向结构的普遍函子$\Xi_{\text{rad}}$、$\Xi^{\u005ctext{min}}$与$\Xi$，实现结构一致性。

提出的方法

• 引入范畴$\mathscr{C}\_{\text{rad}}$，其对象为满足由广义Chevalley限制定理导出公理的$(\mathfrak{g}\_{\mathbb{C}}, K)$-模与$\mathbf{H}$-模的配对。
• 利用$S(\mathfrak{a}\_{\mathbb{C}})$上的Cherednik算子$\mathscr{T}$，为非$K$-不变的$f$与$\Delta \in U(\mathfrak{g}\_{\mathbb{C}})^K$定义径向部分映射$\gamma_0(r(\Delta)f) = \mathscr{T}(\gamma(\Delta))\gamma_0(f)$。
• 将广义径向部分公式应用于$K$-有限函数$f$，其$K$-型为单瓣型，这是Oda引入的一类特殊$K$-型。
• 构造自然函子$\Xi_{\u005ctext{rad}}$、$\Xi^{\u005ctext{min}}$与$\Xi$，将$\mathbf{H}$-模映射至$(\mathfrak{g}\_{\mathbb{C}}, K)$-模，其普遍性质与$\mathscr{C}\_{\u005ctext{rad}}$相关联。
• 通过单值性与道路连通性论证，利用解析延拓方法，将非对称超几何系统解的解析性延拓至正则奇点附近。

实验结果

研究问题

• RQ1 如何将$G/K$上$K$-不变微分算子的径向部分公式推广至非$K$-不变元素？
• RQ2 在非不变情形下，何种范畴结构能统一$G$与分次Hecke代数$\mathbf{H}$的表示理论？
• RQ3 在超越$K$-不变性的广义框架下，Helgason-Fourier变换与Opdam-Cherednik变换之间有何关系？
• RQ4 存在哪些将$\mathbf{H}$-模映射至$(\mathfrak{g}\_{\mathbb{C}}, K)$-模并保持径向结构的普遍函子？
• RQ5 在何种$\Delta$与$f$的条件下，非$K$-不变数据的径向部分公式$\gamma_0(r(\Delta)f) = \mathscr{T}(\gamma(\Delta))\gamma_0(f)$成立？

主要发现

• 对于任意$\Delta \in U(\mathfrak{g}\_{\mathbb{C}})^K$以及任意$K$-有限$f \in C^\infty(G/K)$，若其$K$-型为单瓣型，则径向部分公式$\gamma_0(r(\Delta)f) = \mathscr{T}(\gamma(\Delta))\gamma_0(f)$成立。
• $\mathscr{C}\_{\u005ctext{rad}}$范畴为非不变元素的广义Chevalley限制定理与径向部分公式提供了正式的统一框架。
• Helgason-Fourier变换与Opdam-Cherednik变换在$\mathscr{C}\_{\u005ctext{rad}}$中作为同一基本对应关系的对偶实现而统一。
• $\Xi_{\u005ctext{rad}}$、$\Xi^{\u005ctext{min}}$与$\Xi$函子被构造为将$\mathbf{H}$-模映射至$(\mathfrak{g}\_{\mathbb{C}}, K)$-模的普遍函子，其中$\Xi_{\u005ctext{rad}}$是完全忠实的，而$\Xi^{\u005ctext{min}}$保持最小$K$-型。
• 非对称超几何系统解可沿余维数≥2的奇点集全纯延拓，确保$\Phi$在整个复化Cartan子代数$\mathfrak{a}+iU$上解析。