[论文解读] Dirac cohomology of unipotent representations of Sp(2n,R) and U(p,q)

Dan Barbasch, Pavle Pandžić|arXiv (Cornell University)|Feb 11, 2013

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

一句话总结

本文利用狄拉克算子和表示论技巧，计算了实李群 $\mathrm{Sp}(2n,\mathbb{R})$ 和 $U(p,q)$ 的特殊幺幂表示的狄拉克上同调。证明了狄拉克上同调由特定韦尔群作用确定的最高权 $\widetilde{K}$-型构成，其重数为 $\binom{p_2 + q_2}{p_2}$，从而对这些上同调模进行了完全分类。

ABSTRACT

In this paper we study the problem of computing the Dirac cohomology of the special unipotent representations of the real groups Sp(2n,R) and U(p,q).

研究动机与目标

• 计算 $\mathrm{Sp}(2n,\mathbb{R})$ 和 $U(p,q)$ 的特殊幺幂表示的狄拉克上同调，这些表示在实半单群的表示理论中具有基础性作用。
• 确定狄拉克上同调中出现的 $\widetilde{K}$-模的结构，特别是其最高权和重数。
• 利用狄拉克不等式和 Huang-Pandžić 定理，建立表示的无穷小特征标与上同调中 $\widetilde{K}$-型之间的精确对应关系。
• 通过分析 $\rho_{\mathfrak{g}}$ 和 $w\tilde{\tau}$ 的分量分布，对控制狄拉克上同调的方程组的所有可能解进行分类。

提出的方法

• 在 $U(\mathfrak{g}) \otimes C(\mathfrak{s})$ 中使用狄拉克算子 $D = \sum_i b_i \otimes d_i$，其中 $\{b_i\}$ 是 $\mathfrak{s}$ 的一组基，$\{d_i\}$ 是关于非退化不变形式 $B$ 的对偶基。
• 应用狄拉克不等式和 Huang-Pandžić 定理，将上同调中可能的 $\widetilde{K}$-型限制为满足 $x\Lambda = \tau + \rho_{\mathfrak{k}}$ 的类型，其中 $x$ 属于韦尔群 $W$。
• 分析 $\rho_{\mathfrak{g}}$ 及其在 $\sigma$ 和 $w$ 作用下的分量结构，特别关注最大的和最小的 $p_2 + q_2$ 个分量，以重构 $w\tilde{\tau}$。
• 采用 $(p_2, q_2)$-交错论证，证明 $\rho_{\mathfrak{g}}$ 分量的每种分布选择均对应于上同调方程 (5.7) 的唯一解。
• 利用对称性条件 $(\sigma\rho_{\mathfrak{g}})'_{q-i+1} = - (\sigma\bar{\rho}_{\mathfrak{g}})_i$，确保解中 $b_i$ 和 $a_j$ 分量之间的一致性。
• 验证所得的 $b_i$ 和 $a_j$ 序列严格递减，从而确保其定义了有效的 $\widetilde{K}$-模的最高权。

实验结果

研究问题

• RQ1 特殊幺幂表示 $\mathrm{Sp}(2n,\mathbb{R})$ 和 $U(p,q)$ 的狄拉克上同调具有怎样的结构？
• RQ2 哪些 $\widetilde{K}$-型出现在狄拉克上同调中，其重数是多少？
• RQ3 韦尔群作用和无穷小特征标如何约束上同调中可能的 $\widetilde{K}$-型？
• RQ4 一个给定的 $\widetilde{K}$-型要在上同调中出现，必须满足什么条件？如何系统地枚举所有此类类型？
• RQ5 $\rho_{\mathfrak{g}}$ 的分量分布如何决定上同调方程的解？

主要发现

• 对于 $\mathrm{Sp}(2n,\mathbb{R})$ 或 $U(p,q)$ 的任意特殊幺幂表示 $X(p_1, q_1, \xi)$，其狄拉克上同调由方程 (5.5) 定义的最高权 $\tau$ 所确定的 $\widetilde{K}$-模 $E_\tau$ 构成。
• 每个此类 $\widetilde{K}$-型 $E_\tau$ 在狄拉克上同调中出现的重数恰好为 $\binom{p_2 + q_2}{p_2}$。
• 上同调方程 (5.7) 的解与 $\rho_{\mathfrak{g}}$ 最大和最小分量的所有可能 $(p_2, q_2)$-交错一一对应。
• $w\tilde{\tau}$ 的分量结构完全由 $\sigma\rho_{\mathfrak{g}}$ 分量的分布决定，其中 $w\tilde{\tau}_{p_2+1} = i_1 + 1, \dots, w\tilde{\tau}_{p_2 + r} = i_r + r$ 且 $w\tilde{\tau}_{q_2 + 1} = k_1 + 1, \dots, w\tilde{\tau}_{q_2 + t} = k_t + t$。
• 该系统的相容性依赖于对称性条件 $(\sigma\bar{\rho}_{\mathfrak{g}})'_{q-i+1} = - (\sigma\bar{\rho}_{\mathfrak{g}})_i$，该条件确保所导出的 $b_i$ 和 $a_j$ 序列严格递减，从而定义了有效的最高权。