[论文解读] The $(g,K)$-module structures of principal series representations of $Sp(3,R)$

Tadashi Miyazaki|ArXiv.org|Jun 1, 2007

Algebraic structures and combinatorial models参考文献 9被引用 5

一句话总结

本论文通过计算编码了 pC 在 K-型上作用的线性映射 Γτ,i 的矩阵表示，显式确定了 Sp(3, R) 的主系列表示的 (g, K)-模结构。作为应用，推导出刻画 Whittaker 函数的微分方程的 holonomic 系统，从而为通过表示论方法显式计算这些函数的公式提供了完整系统。

ABSTRACT

We describe explicitly the whole structures of the $(g,K)$-modules of principal series representations of $Sp(3,R)$. We apply this result to determine the holonomic system characterizing those Whittaker functions.

研究动机与目标

• 确定 Sp(3, R)（一个秩为 3 的实辛群）主系列表示的完整 (g, K)-模结构。
• 将先前关于 Sp(2, R) 的结果推广到更高秩的经典群，其中此类结构尚不甚明了。
• 计算编码了 pC 在 K-型分量上作用的线性映射 Γτ,i，这对于实现模结构至关重要。
• 将这些计算应用于推导 Whittaker 函数所满足的微分方程的 holonomic 系统。
• 通过来自 (g, K)-模数据的系统，实现 Whittaker 函数的显式计算。

提出的方法

• 论文使用 kC ≃ gl(3, C) 的有限维不可约表示的单项基（Gelfand-Zelevinsky 基）来分析 K 对 pC 的伴随作用。
• 将 Vτ ⊗C pC 分解为不可约 K-模，并显式构造 K-同态 ιi: Vτi → Vτ ⊗C pC。
• 通过与 ιi 的复合以及 pC 的作用，定义映射 Γτ,i: HomK(Vτ, Hπ,K) → HomK(Vτi, Hπ,K)，并计算其矩阵表示。
• 该构造依赖于 Clebsch-Gordan 系数和 K-模的表示论分解技术。
• 由此得到的 Γτ,i 映射用于推导与 Casimir 元素相容的平移算子，从而导出微分方程。
• 这些方程在定理 6.12 中被证明构成刻画 Whittaker 函数的 holonomic 系统。

实验结果

研究问题

• RQ1 Sp(3, R) 主系列表示的完整 (g, K)-模结构是什么？
• RQ2 如何通过映射 Γτ,i 显式描述 pC 在 K-型上的作用？
• RQ3 何种 holonomic 微分方程系统刻画了 Sp(3, R) 的 Whittaker 函数？
• RQ4 Γτ,i 映射在 Whittaker 函数的上下文中如何与平移算子和 Casimir 元素相关联？
• RQ5 在此设定下，多重性自由的 K-型中 Whittaker 函数空间的维数是多少？

主要发现

• 定理 5.6 显式计算了映射 Γτ,i 的矩阵表示，从而完整描述了 Sp(3, R) 主系列表示的 (g, K)-模结构。
• 定理 6.12 中的 holonomic 微分方程系统刻画了 K-型 (l,l,l−1) 的 Whittaker 函数，其秩为 48，与 Kostant 结果中互换空间的维数一致。
• 对于 K-型 (l,l,l−1)，Whittaker 函数空间的维数为 48，确认了多重性自由行为，并与已知的表示论界一致。
• Whittaker 函数的方程系统包含三个分量 φ(2)T,l;i（i=1,2,3），每个分量满足具有变系数的耦合偏微分方程组。
• 该系统中的微分算子源自 Γτ,i 映射，包含对 y1, y2, y3 的一阶导数，以及含参数 l, ν, σ 的二阶项。
• 该系统是秩为 48 的 holonomic 系统，显式方程包含 ∂y1, ∂y2, ∂y3 以及以 l 和符号 εσ 为参数的 y1, y2, y3 的有理函数。