[论文解读] Unitary Representations with Dirac cohomology: a finiteness result

Jian Ding, Chao-Ping Dong|arXiv (Cornell University)|Feb 7, 2017

Advanced Algebra and Geometry被引用 2

一句话总结

该论文证明了复单李群 $G$ 的非零狄拉克上同调的不可约酉表示集合由有限多个孤立表示和有限多组表示串构成。这些表示串通过 $\theta$-稳定的勒维子群 $L$ 的上同调归纳产生，且全部位于良好范围内，从而意味着整个集合 $\-widehat{G}^{\mathrm{d}}$ 可通过有限算法确定。

ABSTRACT

Let $G$ be a connected complex simple Lie group, and let $\widehat{G}^{\mathrm{d}}$ be the set of all equivalence classes of irreducible unitary representations with non-vanishing Dirac cohomology. We show that $\widehat{G}^{\mathrm{d}}$ consists of two parts: finitely many scattered representations, and finitely many strings of representations. Moreover, the strings of $\widehat{G}^{\mathrm{d}}$ come from $\widehat{L}^{\mathrm{d}}$ via cohomological induction and they are all in the good range. Here $L$ runs over the $ heta$-stable proper Levi subgroups of $G$. It follows that figuring out $\widehat{G}^{\mathrm{d}}$ requires a finite calculation in total. As an application, we report a complete description of $\widehat{F}_4^{\mathrm{d}}$.

研究动机与目标

• 对连通复单李群 $G$ 的所有不可约酉表示进行分类，这些表示具有非零狄拉克上同调。
• 理解集合 $\widehat{G}^\mathrm{d}$ 的结构，特别是其是否为有限或无限。
• 确定 $\widehat{G}^\mathrm{d}$ 中表示的起源与几何结构，尤其是勒维子群的作用。
• 证明 $\widehat{G}^\mathrm{d}$ 的分类可归约为一个有限的计算问题。
• 作为具体应用，完整描述 $\widehat{F}_4^\mathrm{d}$ 的结构。

提出的方法

• 使用表示论技术分析 $\widehat{G}^\mathrm{d}$ 的结构，特别是上同调归纳。
• 聚焦于 $G$ 的 $\theta$-稳定真勒维子群 $L$，作为 $\widehat{G}^\mathrm{d}$ 中表示串的来源。
• 对 $\widehat{L}^\mathrm{d}$ 中的表示应用上同调归纳，以构造 $\widehat{G}^\mathrm{d}$ 中的表示。
• 证明所有此类诱导表示均位于良好范围内，从而保证其酉性与非零狄拉克上同调。
• 利用真勒维子群 $L$ 的 $\widehat{L}^\mathrm{d}$ 的有限性，推导出 $\widehat{G}^\mathrm{d}$ 中表示串分量的有限性。
• 将孤立表示与诱导表示串结合，证明 $\widehat{G}^\mathrm{d}$ 可通过有限计算完全确定。

实验结果

研究问题

• RQ1 不可约酉表示集合 $\widehat{G}^\mathrm{d}$ 的全局结构是什么？
• RQ2 能否系统地从更小的子群构造 $\widehat{G}^\mathrm{d}$ 中的表示？
• RQ3 $\widehat{G}^\mathrm{d}$ 中的表示是有限多个，还是形成无限族？
• RQ4 上同调归纳在生成 $\widehat{G}^\mathrm{d}$ 中类似串的族中起什么作用？
• RQ5 能否在有限步内通过算法计算出整个集合 $\widehat{G}^\mathrm{d}$？

主要发现

• 集合 $\widehat{G}^\mathrm{d}$ 由有限多个孤立的不可约酉表示和有限多组表示串构成。
• 所有 $\widehat{G}^\mathrm{d}$ 中的表示串均来自对 $G$ 的 $\theta$-稳定真勒维子群 $L$ 的 $\widehat{L}^\mathrm{d}$ 中表示的上同调归纳。
• $\widehat{G}^\mathrm{d}$ 中表示串的所有表示均位于良好范围内，从而保证其酉性与非零狄拉克上同调。
• $\widehat{G}^\mathrm{d}$ 的整个分类可归约为有限计算，因为孤立部分与串分量均为有限。
• $\widehat{F}_4^\mathrm{d}$ 的结构作为一般理论的具体应用被完整描述。
• $\widehat{L}^\mathrm{d}$ 对于真勒维子群 $L$ 的有限性确保了 $\widehat{G}^\mathrm{d}$ 中串分量的有限性。